Searched refs:int16_t_x2 (Results 1 – 1 of 1) sorted by relevance
7976 } int16_t_x2; typedef7978 static KRML_MUSTINLINE int16_t_x27989 return (CLITERAL(int16_t_x2){.fst = r0, .snd = r1}); in libcrux_ml_kem_vector_portable_serialize_deserialize_12_int()7994 int16_t_x2 v0_1 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12()7996 int16_t_x2 v2_3 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12()7998 int16_t_x2 v4_5 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12()8000 int16_t_x2 v6_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12()8002 int16_t_x2 v8_9 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12()8004 int16_t_x2 v10_11 = in libcrux_ml_kem_vector_portable_serialize_deserialize_12()8007 int16_t_x2 v12_13 = in libcrux_ml_kem_vector_portable_serialize_deserialize_12()[all …]