Searched refs:r0_4 (Results 1 – 1 of 1) sorted by relevance
7592 uint8_t_x5 r0_4 = libcrux_ml_kem_vector_portable_serialize_serialize_5_int( in libcrux_ml_kem_vector_portable_serialize_serialize_5() local7598 result[0U] = r0_4.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_5()7599 result[1U] = r0_4.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_5()7600 result[2U] = r0_4.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_5()7601 result[3U] = r0_4.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_5()7602 result[4U] = r0_4.f4; in libcrux_ml_kem_vector_portable_serialize_serialize_5()7749 uint8_t_x5 r0_4 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int( in libcrux_ml_kem_vector_portable_serialize_serialize_10() local7760 result[0U] = r0_4.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7761 result[1U] = r0_4.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7762 result[2U] = r0_4.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()[all …]