Lines Matching refs:fst
140 .fst = EURYDICE_SLICE((element_type *)slice.ptr, 0, mid), \
144 .fst = {.ptr = slice.ptr, .len = mid}, \
295 uint8_t fst[1152U]; member
399 Eurydice_slice fst[4U]; member
544 libcrux_ml_kem_mlkem768_MlKem768Ciphertext fst; member
740 Eurydice_slice fst; member
745 Eurydice_slice fst[1U]; member
1026 Eurydice_slice out00 = uu____0.fst; in libcrux_sha3_portable_keccak_split_at_mut_1()
1029 lit.fst[0U] = out00; in libcrux_sha3_portable_keccak_split_at_mut_1()
2480 memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e9()
2498 memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e9()
2839 memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e90()
2857 memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e90()
2967 memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e91()
2985 memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e91()
3208 memcpy(o0, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_three_blocks_cc()
3215 memcpy(o1, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_three_blocks_cc()
3574 memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e92()
3592 memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e92()
3933 memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e93()
3951 memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e93()
4229 memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e94()
4247 memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e94()
4437 memcpy(o0, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
4444 memcpy(o1, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
4451 memcpy(o2, uu____2.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
4458 memcpy(o3, uu____3.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
5515 memcpy(out00, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_96()
5534 memcpy(out0, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_96()
5634 memcpy(out00, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_960()
5653 memcpy(out0, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_960()
5899 uint8_t fst; member
5972 return (CLITERAL(uint8_t_x11){.fst = r0, in libcrux_ml_kem_vector_portable_serialize_serialize_11_int()
5996 result[0U] = r0_10.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_11()
6007 result[11U] = r11_21.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_11()
6032 int16_t fst; member
6095 return (CLITERAL(int16_t_x8){.fst = r0, in libcrux_ml_kem_vector_portable_serialize_deserialize_11_int()
6136 v.elements[0U] = v0_7.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()
6144 v.elements[8U] = v8_15.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()
7412 uint8_t fst; member
7441 .fst = result0, .snd = result1, .thd = result2, .f3 = result3}); in libcrux_ml_kem_vector_portable_serialize_serialize_4_int()
7457 result[0U] = result0_3.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_4()
7461 result[4U] = result4_7.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_4()
7509 return (CLITERAL(int16_t_x8){.fst = v0, in libcrux_ml_kem_vector_portable_serialize_deserialize_4_int()
7527 v.elements[0U] = v0_7.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_4()
7535 v.elements[8U] = v8_15.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_4()
7556 uint8_t fst; member
7585 .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4}); in libcrux_ml_kem_vector_portable_serialize_serialize_5_int()
7598 result[0U] = r0_4.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_5()
7603 result[5U] = r5_9.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_5()
7663 return (CLITERAL(int16_t_x8){.fst = v0, in libcrux_ml_kem_vector_portable_serialize_deserialize_5_int()
7681 v.elements[0U] = v0_7.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_5()
7689 v.elements[8U] = v8_15.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_5()
7742 .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4}); in libcrux_ml_kem_vector_portable_serialize_serialize_10_int()
7760 result[0U] = r0_4.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7765 result[5U] = r5_9.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7770 result[10U] = r10_14.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7775 result[15U] = r15_19.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7842 return (CLITERAL(int16_t_x8){.fst = r0, in libcrux_ml_kem_vector_portable_serialize_deserialize_10_int()
7861 v.elements[0U] = v0_7.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_10()
7869 v.elements[8U] = v8_15.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_10()
7890 uint8_t fst; member
7908 return (CLITERAL(uint8_t_x3){.fst = r0, .snd = r1, .thd = r2}); in libcrux_ml_kem_vector_portable_serialize_serialize_12_int()
7936 result[0U] = r0_2.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7939 result[3U] = r3_5.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7942 result[6U] = r6_8.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7945 result[9U] = r9_11.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7948 result[12U] = r12_14.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7951 result[15U] = r15_17.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7954 result[18U] = r18_20.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7957 result[21U] = r21_23.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7974 int16_t fst; member
7989 return (CLITERAL(int16_t_x2){.fst = r0, .snd = r1}); in libcrux_ml_kem_vector_portable_serialize_deserialize_12_int()
8015 re.elements[0U] = v0_1.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8017 re.elements[2U] = v2_3.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8019 re.elements[4U] = v4_5.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8021 re.elements[6U] = v6_7.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8023 re.elements[8U] = v8_9.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8025 re.elements[10U] = v10_11.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8027 re.elements[12U] = v12_13.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8029 re.elements[14U] = v14_15.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8451 libcrux_ml_kem_vector_portable_vector_type_PortableVector fst; member
8486 .fst = a, .snd = b}); in libcrux_ml_kem_ntt_ntt_layer_int_vec_step_0c()
8511 libcrux_ml_kem_vector_portable_vector_type_PortableVector x = uu____0.fst; in libcrux_ml_kem_ntt_ntt_at_layer_4_plus_51()
9003 .fst = a, .snd = b}); in libcrux_ml_kem_invert_ntt_inv_ntt_layer_int_vec_step_reduce_65()
9031 libcrux_ml_kem_vector_portable_vector_type_PortableVector x = uu____0.fst; in libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_4_plus_6e()
9890 libcrux_ml_kem_polynomial_PolynomialRingElement_f0 fst[3U]; member
10188 lit.fst, copy_of_re_as_ntt, in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc()
10255 lit.fst, copy_of_error_1, in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac()
10828 r_as_ntt, uu____1.fst, in libcrux_ml_kem_ind_cpa_encrypt_60()
10838 error_1, uu____3.fst, in libcrux_ml_kem_ind_cpa_encrypt_60()
10922 Eurydice_slice ind_cpa_secret_key = uu____0.fst; in libcrux_ml_kem_ind_cca_decapsulate_70()
10926 Eurydice_slice ind_cpa_public_key = uu____1.fst; in libcrux_ml_kem_ind_cca_decapsulate_70()
10931 Eurydice_slice ind_cpa_public_key_hash = uu____2.fst; in libcrux_ml_kem_ind_cca_decapsulate_70()
10951 Eurydice_slice shared_secret0 = uu____3.fst; in libcrux_ml_kem_ind_cca_decapsulate_70()
11111 Eurydice_slice shared_secret = uu____1.fst; in libcrux_ml_kem_ind_cca_encapsulate_cd()
11135 lit.fst = uu____5; in libcrux_ml_kem_ind_cca_encapsulate_cd()
11424 Eurydice_slice seed_for_A0 = uu____0.fst; in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11440 secret_as_ntt, uu____2.fst, in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11451 .fst, in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11476 memcpy(lit.fst, copy_of_secret_key_serialized, in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11568 memcpy(ind_cpa_private_key, uu____0.fst, (size_t)1152U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11687 Eurydice_slice ind_cpa_secret_key = uu____0.fst; in libcrux_ml_kem_ind_cca_decapsulate_700()
11691 Eurydice_slice ind_cpa_public_key = uu____1.fst; in libcrux_ml_kem_ind_cca_decapsulate_700()
11696 Eurydice_slice ind_cpa_public_key_hash = uu____2.fst; in libcrux_ml_kem_ind_cca_decapsulate_700()
11716 Eurydice_slice shared_secret0 = uu____3.fst; in libcrux_ml_kem_ind_cca_decapsulate_700()
11860 Eurydice_slice shared_secret = uu____1.fst; in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11884 lit.fst = uu____5; in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11974 Eurydice_slice seed_for_A0 = uu____0.fst; in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
11990 secret_as_ntt, uu____2.fst, in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12001 .fst, in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12026 memcpy(lit.fst, copy_of_secret_key_serialized, in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12066 memcpy(ind_cpa_private_key, uu____0.fst, (size_t)1152U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_generate_keypair_8c0()