usr.bin/ssh/libcrux_internal.h

21472

libcrux_secrets_int_as_i16_59(libcrux_ml_kem_vector_portable_compress_compress_message_coefficient(libcrux_secrets_int_as_u16_f5(a.data[i0])));

usr.bin/ssh/libcrux_internal.h

21910

int16_t result0 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] & 1U);

usr.bin/ssh/libcrux_internal.h

21911

int16_t result1 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 1U & 1U);

usr.bin/ssh/libcrux_internal.h

21912

int16_t result2 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 2U & 1U);

usr.bin/ssh/libcrux_internal.h

21913

int16_t result3 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 3U & 1U);

usr.bin/ssh/libcrux_internal.h

21914

int16_t result4 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 4U & 1U);

usr.bin/ssh/libcrux_internal.h

21915

int16_t result5 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 5U & 1U);

usr.bin/ssh/libcrux_internal.h

21916

int16_t result6 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 6U & 1U);

usr.bin/ssh/libcrux_internal.h

21917

int16_t result7 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[0U] >> 7U & 1U);

usr.bin/ssh/libcrux_internal.h

21918

int16_t result8 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] & 1U);

usr.bin/ssh/libcrux_internal.h

21919

int16_t result9 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 1U & 1U);

usr.bin/ssh/libcrux_internal.h

21920

int16_t result10 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 2U & 1U);

usr.bin/ssh/libcrux_internal.h

21921

int16_t result11 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 3U & 1U);

usr.bin/ssh/libcrux_internal.h

21922

int16_t result12 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 4U & 1U);

usr.bin/ssh/libcrux_internal.h

21923

int16_t result13 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 5U & 1U);

usr.bin/ssh/libcrux_internal.h

21924

int16_t result14 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 6U & 1U);

usr.bin/ssh/libcrux_internal.h

21925

int16_t result15 = libcrux_secrets_int_as_i16_59((uint32_t)v.ptr[1U] >> 7U & 1U);

usr.bin/ssh/libcrux_internal.h

22016

int16_t v0 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[0U] & 15U);

usr.bin/ssh/libcrux_internal.h

22017

int16_t v1 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[0U] >> 4U & 15U);

usr.bin/ssh/libcrux_internal.h

22018

int16_t v2 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[1U] & 15U);

usr.bin/ssh/libcrux_internal.h

22019

int16_t v3 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[1U] >> 4U & 15U);

usr.bin/ssh/libcrux_internal.h

22020

int16_t v4 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[2U] & 15U);

usr.bin/ssh/libcrux_internal.h

22021

int16_t v5 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[2U] >> 4U & 15U);

usr.bin/ssh/libcrux_internal.h

22022

int16_t v6 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[3U] & 15U);

usr.bin/ssh/libcrux_internal.h

22023

int16_t v7 = libcrux_secrets_int_as_i16_59((uint32_t)bytes.ptr[3U] >> 4U & 15U);

usr.bin/ssh/libcrux_internal.h

22147

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)(libcrux_secrets_int_as_i16_59(bytes.ptr[1U])

usr.bin/ssh/libcrux_internal.h

22150

| (libcrux_secrets_int_as_i16_59(bytes.ptr[0U]) & 255));

usr.bin/ssh/libcrux_internal.h

22153

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)(libcrux_secrets_int_as_i16_59(bytes.ptr[2U])

usr.bin/ssh/libcrux_internal.h

22156

| libcrux_secrets_int_as_i16_59(bytes.ptr[1U]) >> 2U);

usr.bin/ssh/libcrux_internal.h

22159

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)(libcrux_secrets_int_as_i16_59(bytes.ptr[3U])

usr.bin/ssh/libcrux_internal.h

22162

| libcrux_secrets_int_as_i16_59(bytes.ptr[2U]) >> 4U);

usr.bin/ssh/libcrux_internal.h

22165

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)libcrux_secrets_int_as_i16_59(bytes.ptr[4U])

usr.bin/ssh/libcrux_internal.h

22167

| libcrux_secrets_int_as_i16_59(bytes.ptr[3U]) >> 6U);

usr.bin/ssh/libcrux_internal.h

22170

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)(libcrux_secrets_int_as_i16_59(bytes.ptr[6U])

usr.bin/ssh/libcrux_internal.h

22173

| (libcrux_secrets_int_as_i16_59(bytes.ptr[5U]) & 255));

usr.bin/ssh/libcrux_internal.h

22176

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)(libcrux_secrets_int_as_i16_59(bytes.ptr[7U])

usr.bin/ssh/libcrux_internal.h

22179

| libcrux_secrets_int_as_i16_59(bytes.ptr[6U]) >> 2U);

usr.bin/ssh/libcrux_internal.h

22182

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)(libcrux_secrets_int_as_i16_59(bytes.ptr[8U])

usr.bin/ssh/libcrux_internal.h

22185

| libcrux_secrets_int_as_i16_59(bytes.ptr[7U]) >> 4U);

usr.bin/ssh/libcrux_internal.h

22188

libcrux_secrets_int_as_i16_f5((int16_t)((uint32_t)libcrux_secrets_int_as_i16_59(bytes.ptr[9U])

usr.bin/ssh/libcrux_internal.h

22190

| libcrux_secrets_int_as_i16_59(bytes.ptr[8U]) >> 6U);

usr.bin/ssh/libcrux_internal.h

22320

int16_t byte0 = libcrux_secrets_int_as_i16_59(bytes.ptr[0U]);

usr.bin/ssh/libcrux_internal.h

22321

int16_t byte1 = libcrux_secrets_int_as_i16_59(bytes.ptr[1U]);

usr.bin/ssh/libcrux_internal.h

22322

int16_t byte2 = libcrux_secrets_int_as_i16_59(bytes.ptr[2U]);