Lines Matching refs:snd
141 .snd = EURYDICE_SLICE((element_type *)slice.ptr, mid, slice.len)})
145 .snd = {.ptr = (char *)slice.ptr + mid * sizeof(element_type), \
296 uint8_t snd[1184U]; member
400 Eurydice_slice snd[4U]; member
545 uint8_t snd[32U]; member
741 Eurydice_slice snd; member
746 Eurydice_slice snd[1U]; member
1027 Eurydice_slice out01 = uu____0.snd; in libcrux_sha3_portable_keccak_split_at_mut_1()
1030 lit.snd[0U] = out01; in libcrux_sha3_portable_keccak_split_at_mut_1()
2482 memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e9()
2500 memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e9()
2841 memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e90()
2859 memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e90()
2969 memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e91()
2987 memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e91()
3210 memcpy(o10, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_three_blocks_cc()
3217 memcpy(o2, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_three_blocks_cc()
3576 memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e92()
3594 memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e92()
3935 memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e93()
3953 memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e93()
4231 memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e94()
4249 memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_keccak_e94()
4439 memcpy(o10, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
4446 memcpy(o20, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
4453 memcpy(o30, uu____2.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
4460 memcpy(o4, uu____3.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()
5517 memcpy(out_rest, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_96()
5536 memcpy(tmp, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_96()
5636 memcpy(out_rest, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_960()
5655 memcpy(tmp, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice)); in libcrux_sha3_generic_keccak_squeeze_9d_960()
5900 uint8_t snd; member
5973 .snd = r1, in libcrux_ml_kem_vector_portable_serialize_serialize_11_int()
5997 result[1U] = r0_10.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_11()
6008 result[12U] = r11_21.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_11()
6033 int16_t snd; member
6096 .snd = r1, in libcrux_ml_kem_vector_portable_serialize_deserialize_11_int()
6137 v.elements[1U] = v0_7.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()
6145 v.elements[9U] = v8_15.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()
7413 uint8_t snd; member
7441 .fst = result0, .snd = result1, .thd = result2, .f3 = result3}); in libcrux_ml_kem_vector_portable_serialize_serialize_4_int()
7458 result[1U] = result0_3.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()
7462 result[5U] = result4_7.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()
7510 .snd = v1, in libcrux_ml_kem_vector_portable_serialize_deserialize_4_int()
7528 v.elements[1U] = v0_7.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_4()
7536 v.elements[9U] = v8_15.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_4()
7557 uint8_t snd; member
7585 .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4}); in libcrux_ml_kem_vector_portable_serialize_serialize_5_int()
7599 result[1U] = r0_4.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_5()
7604 result[6U] = r5_9.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_5()
7664 .snd = v1, in libcrux_ml_kem_vector_portable_serialize_deserialize_5_int()
7682 v.elements[1U] = v0_7.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_5()
7690 v.elements[9U] = v8_15.snd; 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()
7761 result[1U] = r0_4.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7766 result[6U] = r5_9.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7771 result[11U] = r10_14.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7776 result[16U] = r15_19.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7843 .snd = r1, in libcrux_ml_kem_vector_portable_serialize_deserialize_10_int()
7862 v.elements[1U] = v0_7.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_10()
7870 v.elements[9U] = v8_15.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_10()
7891 uint8_t snd; member
7908 return (CLITERAL(uint8_t_x3){.fst = r0, .snd = r1, .thd = r2}); in libcrux_ml_kem_vector_portable_serialize_serialize_12_int()
7937 result[1U] = r0_2.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7940 result[4U] = r3_5.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7943 result[7U] = r6_8.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7946 result[10U] = r9_11.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7949 result[13U] = r12_14.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7952 result[16U] = r15_17.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7955 result[19U] = r18_20.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7958 result[22U] = r21_23.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7975 int16_t snd; member
7989 return (CLITERAL(int16_t_x2){.fst = r0, .snd = r1}); in libcrux_ml_kem_vector_portable_serialize_deserialize_12_int()
8016 re.elements[1U] = v0_1.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8018 re.elements[3U] = v2_3.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8020 re.elements[5U] = v4_5.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8022 re.elements[7U] = v6_7.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8024 re.elements[9U] = v8_9.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8026 re.elements[11U] = v10_11.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8028 re.elements[13U] = v12_13.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8030 re.elements[15U] = v14_15.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_12()
8452 libcrux_ml_kem_vector_portable_vector_type_PortableVector snd; member
8486 .fst = a, .snd = b}); in libcrux_ml_kem_ntt_ntt_layer_int_vec_step_0c()
8512 libcrux_ml_kem_vector_portable_vector_type_PortableVector y = uu____0.snd; 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()
9032 libcrux_ml_kem_vector_portable_vector_type_PortableVector y = uu____0.snd; in libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_4_plus_6e()
9891 uint8_t snd; member
10190 lit.snd = domain_separator; in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc()
10257 lit.snd = domain_separator; in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac()
10830 uint8_t domain_separator0 = uu____1.snd; in libcrux_ml_kem_ind_cpa_encrypt_60()
10840 uint8_t domain_separator = uu____3.snd; in libcrux_ml_kem_ind_cpa_encrypt_60()
10923 Eurydice_slice secret_key0 = uu____0.snd; in libcrux_ml_kem_ind_cca_decapsulate_70()
10927 Eurydice_slice secret_key = uu____1.snd; in libcrux_ml_kem_ind_cca_decapsulate_70()
10932 Eurydice_slice implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_ind_cca_decapsulate_70()
10952 Eurydice_slice pseudorandomness = uu____3.snd; in libcrux_ml_kem_ind_cca_decapsulate_70()
11112 Eurydice_slice pseudorandomness = uu____1.snd; in libcrux_ml_kem_ind_cca_encapsulate_cd()
11136 memcpy(lit.snd, copy_of_shared_secret_array, (size_t)32U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_encapsulate_cd()
11425 Eurydice_slice seed_for_secret_and_error = uu____0.snd; in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11442 uint8_t domain_separator = uu____2.snd; in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11478 memcpy(lit.snd, copy_of_public_key_serialized, in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11570 memcpy(public_key, uu____0.snd, (size_t)1184U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11688 Eurydice_slice secret_key0 = uu____0.snd; in libcrux_ml_kem_ind_cca_decapsulate_700()
11692 Eurydice_slice secret_key = uu____1.snd; in libcrux_ml_kem_ind_cca_decapsulate_700()
11697 Eurydice_slice implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_ind_cca_decapsulate_700()
11717 Eurydice_slice pseudorandomness = uu____3.snd; in libcrux_ml_kem_ind_cca_decapsulate_700()
11861 Eurydice_slice pseudorandomness = uu____1.snd; in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11885 memcpy(lit.snd, copy_of_shared_secret_array, (size_t)32U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11975 Eurydice_slice seed_for_secret_and_error = uu____0.snd; in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
11992 uint8_t domain_separator = uu____2.snd; in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12028 memcpy(lit.snd, copy_of_public_key_serialized, in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12068 memcpy(public_key, uu____0.snd, (size_t)1184U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cca_generate_keypair_8c0()