libcrux_secrets_int_as_u8_f5

usr.bin/ssh/libcrux_mlkem768_sha3.h

5918

return libcrux_secrets_int_as_u8_f5(r1);

usr.bin/ssh/libcrux_mlkem768_sha3.h

6330

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6331

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6332

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6333

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6334

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6335

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6336

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6337

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6339

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6340

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6341

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6342

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6343

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6344

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6345

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6346

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

usr.bin/ssh/libcrux_mlkem768_sha3.h

6448

uint8_t result0 = (uint32_t)libcrux_secrets_int_as_u8_f5(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6451

(uint32_t)libcrux_secrets_int_as_u8_f5(Eurydice_slice_index(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6453

uint8_t result1 = (uint32_t)libcrux_secrets_int_as_u8_f5(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6456

(uint32_t)libcrux_secrets_int_as_u8_f5(Eurydice_slice_index(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6458

uint8_t result2 = (uint32_t)libcrux_secrets_int_as_u8_f5(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6461

(uint32_t)libcrux_secrets_int_as_u8_f5(Eurydice_slice_index(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6463

uint8_t result3 = (uint32_t)libcrux_secrets_int_as_u8_f5(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6466

(uint32_t)libcrux_secrets_int_as_u8_f5(Eurydice_slice_index(

usr.bin/ssh/libcrux_mlkem768_sha3.h

6591

uint8_t r0 = libcrux_secrets_int_as_u8_f5(