Eurydice_arr_4d
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit
Eurydice_arr_4d *simd_unit
Eurydice_arr_4d *out,
Eurydice_arr_4d *out,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_units
Eurydice_arr_4d *simd_unit
Eurydice_arr_4d *out
Eurydice_arr_4d *out
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit
Eurydice_arr_4d *out
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit
Eurydice_arr_4d *out
Eurydice_arr_4d *simd_unit,
typedef struct Eurydice_arr_a3_s { Eurydice_arr_4d data[32U]; } Eurydice_arr_a3;
Eurydice_arr_4d tmp = re->data[index + step_by];
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)1U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)2U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)4U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)4U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)4U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)4U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)8U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)8U];
Eurydice_arr_4d rej = re->data[j];
Eurydice_arr_4d rejs = re->data[j + (size_t)16U];
libcrux_ml_dsa_simd_portable_barrett_reduce_simd_unit_65(Eurydice_arr_4d *simd_unit)
static inline Eurydice_arr_4d
libcrux_ml_dsa_simd_portable_vector_type_clone_a5(const Eurydice_arr_4d *self)
Eurydice_arr_4d repeat_expression[32U];
memcpy(lit.data, repeat_expression, (size_t)32U * sizeof (Eurydice_arr_4d));
libcrux_ml_dsa_simd_portable_arithmetic_shift_left_then_reduce_84(Eurydice_arr_4d *simd_unit)
libcrux_ml_dsa_simd_portable_shift_left_then_reduce_65_84(Eurydice_arr_4d *simd_unit)
const Eurydice_arr_4d *simd_unit = &re->data[i0];
const Eurydice_arr_4d *simd_unit = &re->data[i0];
const Eurydice_arr_4d *simd_unit = &re->data[i0];
const Eurydice_arr_4d *simd_unit = &re->data[i0];
const Eurydice_arr_4d *simd_unit = &re->data[i0];
Eurydice_array_to_subslice_shared_44(const Eurydice_arr_4d *a, core_ops_range_Range_87 r)
Eurydice_array_to_slice_shared_fd(const Eurydice_arr_4d *a)
static inline Eurydice_dst_ref_mut_83 Eurydice_array_to_slice_mut_fd(Eurydice_arr_4d *a)
typedef Eurydice_arr_4d libcrux_ml_dsa_simd_portable_vector_type_Coefficients;
static KRML_MUSTINLINE Eurydice_arr_4d libcrux_ml_dsa_simd_portable_vector_type_zero(void)
return (KRML_CLITERAL(Eurydice_arr_4d){ .data = { 0U } });
static inline Eurydice_arr_4d libcrux_ml_dsa_simd_portable_zero_65(void)
Eurydice_arr_4d *out
Eurydice_arr_4d *out
const Eurydice_arr_4d *value,
const Eurydice_arr_4d *value,
libcrux_ml_dsa_simd_portable_arithmetic_add(Eurydice_arr_4d *lhs, const Eurydice_arr_4d *rhs)
libcrux_ml_dsa_simd_portable_add_65(Eurydice_arr_4d *lhs, const Eurydice_arr_4d *rhs)
Eurydice_arr_4d *lhs,
const Eurydice_arr_4d *rhs
libcrux_ml_dsa_simd_portable_subtract_65(Eurydice_arr_4d *lhs, const Eurydice_arr_4d *rhs)
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *low,
Eurydice_arr_4d *high
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *low,
Eurydice_arr_4d *high
const Eurydice_arr_4d *low,
const Eurydice_arr_4d *high,
Eurydice_arr_4d *hint
const Eurydice_arr_4d *low,
const Eurydice_arr_4d *high,
Eurydice_arr_4d *hint
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *hint
const Eurydice_arr_4d *simd_unit,
Eurydice_arr_4d *hint
Eurydice_arr_4d *lhs,
const Eurydice_arr_4d *rhs
Eurydice_arr_4d *lhs,
const Eurydice_arr_4d *rhs
libcrux_ml_dsa_simd_portable_arithmetic_barrett_reduce_simd_unit(Eurydice_arr_4d *simd_unit)
libcrux_ml_dsa_simd_portable_arithmetic_power2round(Eurydice_arr_4d *t0, Eurydice_arr_4d *t1)
libcrux_ml_dsa_simd_portable_power2round_65(Eurydice_arr_4d *t0, Eurydice_arr_4d *t1)