usr.bin/ssh/libcrux_internal.h

21462

return libcrux_secrets_int_as_u8_f5(r1);

usr.bin/ssh/libcrux_internal.h

21871

(((((((uint32_t)libcrux_secrets_int_as_u8_f5(v.data[0U]) |

usr.bin/ssh/libcrux_internal.h

21872

(uint32_t)libcrux_secrets_int_as_u8_f5(v.data[1U]) << 1U)

usr.bin/ssh/libcrux_internal.h

21873

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[2U]) << 2U)

usr.bin/ssh/libcrux_internal.h

21874

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[3U]) << 3U)

usr.bin/ssh/libcrux_internal.h

21875

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[4U]) << 4U)

usr.bin/ssh/libcrux_internal.h

21876

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[5U]) << 5U)

usr.bin/ssh/libcrux_internal.h

21877

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[6U]) << 6U)

usr.bin/ssh/libcrux_internal.h

21878

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[7U]) << 7U;

usr.bin/ssh/libcrux_internal.h

21881

(((((((uint32_t)libcrux_secrets_int_as_u8_f5(v.data[8U]) |

usr.bin/ssh/libcrux_internal.h

21882

(uint32_t)libcrux_secrets_int_as_u8_f5(v.data[9U]) << 1U)

usr.bin/ssh/libcrux_internal.h

21883

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[10U]) << 2U)

usr.bin/ssh/libcrux_internal.h

21884

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[11U]) << 3U)

usr.bin/ssh/libcrux_internal.h

21885

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[12U]) << 4U)

usr.bin/ssh/libcrux_internal.h

21886

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[13U]) << 5U)

usr.bin/ssh/libcrux_internal.h

21887

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[14U]) << 6U)

usr.bin/ssh/libcrux_internal.h

21888

| (uint32_t)libcrux_secrets_int_as_u8_f5(v.data[15U]) << 7U;

usr.bin/ssh/libcrux_internal.h

21958

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[1U]) << 4U |

usr.bin/ssh/libcrux_internal.h

21959

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[0U]);

usr.bin/ssh/libcrux_internal.h

21962

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[3U]) << 4U |

usr.bin/ssh/libcrux_internal.h

21963

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[2U]);

usr.bin/ssh/libcrux_internal.h

21966

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[5U]) << 4U |

usr.bin/ssh/libcrux_internal.h

21967

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[4U]);

usr.bin/ssh/libcrux_internal.h

21970

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[7U]) << 4U |

usr.bin/ssh/libcrux_internal.h

21971

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[6U]);

usr.bin/ssh/libcrux_internal.h

22080

uint8_t r0 = libcrux_secrets_int_as_u8_f5(v.ptr[0U] & 255);

usr.bin/ssh/libcrux_internal.h

22083

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[1U] & 63) << 2U |

usr.bin/ssh/libcrux_internal.h

22084

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[0U] >> 8U & 3);

usr.bin/ssh/libcrux_internal.h

22087

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[2U] & 15) << 4U |

usr.bin/ssh/libcrux_internal.h

22088

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[1U] >> 6U & 15);

usr.bin/ssh/libcrux_internal.h

22091

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[3U] & 3) << 6U |

usr.bin/ssh/libcrux_internal.h

22092

(uint32_t)libcrux_secrets_int_as_u8_f5(v.ptr[2U] >> 4U & 63);

usr.bin/ssh/libcrux_internal.h

22093

uint8_t r4 = libcrux_secrets_int_as_u8_f5(v.ptr[3U] >> 2U & 255);

usr.bin/ssh/libcrux_internal.h

22247

uint8_t r0 = libcrux_secrets_int_as_u8_f5(v.ptr[0U] & 255);

usr.bin/ssh/libcrux_internal.h

22250

libcrux_secrets_int_as_u8_f5(v.ptr[0U] >> 8U | (int16_t)((uint32_t)(v.ptr[1U] & 15) << 4U));

usr.bin/ssh/libcrux_internal.h

22251

uint8_t r2 = libcrux_secrets_int_as_u8_f5(v.ptr[1U] >> 4U & 255);