usr.bin/ssh/libcrux_internal.h

10125

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10164

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10219

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10251

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10266

Eurydice_arr_4d *simd_unit

usr.bin/ssh/libcrux_internal.h

10305

Eurydice_arr_4d *simd_unit

usr.bin/ssh/libcrux_internal.h

10358

Eurydice_arr_4d *out,

usr.bin/ssh/libcrux_internal.h

10390

Eurydice_arr_4d *out,

usr.bin/ssh/libcrux_internal.h

10399

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10423

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10451

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10480

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10491

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10523

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10571

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10601

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10613

Eurydice_arr_4d *simd_units

usr.bin/ssh/libcrux_internal.h

10636

Eurydice_arr_4d *simd_unit

usr.bin/ssh/libcrux_internal.h

10666

Eurydice_arr_4d *out

usr.bin/ssh/libcrux_internal.h

10696

Eurydice_arr_4d *out

usr.bin/ssh/libcrux_internal.h

10713

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10767

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10779

Eurydice_arr_4d *simd_unit

usr.bin/ssh/libcrux_internal.h

10847

Eurydice_arr_4d *out

usr.bin/ssh/libcrux_internal.h

10855

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10890

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10900

Eurydice_arr_4d *simd_unit

usr.bin/ssh/libcrux_internal.h

10938

Eurydice_arr_4d *out

usr.bin/ssh/libcrux_internal.h

10946

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

10965

typedef struct Eurydice_arr_a3_s { Eurydice_arr_4d data[32U]; } Eurydice_arr_a3;

usr.bin/ssh/libcrux_internal.h

10975

Eurydice_arr_4d tmp = re->data[index + step_by];

usr.bin/ssh/libcrux_internal.h

11574

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

11591

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

11650

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

11711

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

11960

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

11975

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

12216

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

12387

Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

12469

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12470

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12492

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12493

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12515

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12516

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12538

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12539

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12561

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12562

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12584

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12585

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12607

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12608

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12630

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12631

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12653

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12654

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12676

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12677

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12699

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12700

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12722

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12723

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12745

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12746

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12768

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12769

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12791

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12792

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12814

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12815

Eurydice_arr_4d rejs = re->data[j + (size_t)1U];

usr.bin/ssh/libcrux_internal.h

12858

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12859

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

12881

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12882

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

12904

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12905

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

12927

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12928

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

12950

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12951

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

12973

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12974

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

12996

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

12997

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

13019

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13020

Eurydice_arr_4d rejs = re->data[j + (size_t)2U];

usr.bin/ssh/libcrux_internal.h

13055

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13056

Eurydice_arr_4d rejs = re->data[j + (size_t)4U];

usr.bin/ssh/libcrux_internal.h

13078

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13079

Eurydice_arr_4d rejs = re->data[j + (size_t)4U];

usr.bin/ssh/libcrux_internal.h

13101

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13102

Eurydice_arr_4d rejs = re->data[j + (size_t)4U];

usr.bin/ssh/libcrux_internal.h

13124

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13125

Eurydice_arr_4d rejs = re->data[j + (size_t)4U];

usr.bin/ssh/libcrux_internal.h

13156

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13157

Eurydice_arr_4d rejs = re->data[j + (size_t)8U];

usr.bin/ssh/libcrux_internal.h

13179

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13180

Eurydice_arr_4d rejs = re->data[j + (size_t)8U];

usr.bin/ssh/libcrux_internal.h

13209

Eurydice_arr_4d rej = re->data[j];

usr.bin/ssh/libcrux_internal.h

13210

Eurydice_arr_4d rejs = re->data[j + (size_t)16U];

usr.bin/ssh/libcrux_internal.h

13256

libcrux_ml_dsa_simd_portable_barrett_reduce_simd_unit_65(Eurydice_arr_4d *simd_unit)

usr.bin/ssh/libcrux_internal.h

13432

static inline Eurydice_arr_4d

usr.bin/ssh/libcrux_internal.h

13433

libcrux_ml_dsa_simd_portable_vector_type_clone_a5(const Eurydice_arr_4d *self)

usr.bin/ssh/libcrux_internal.h

14164

Eurydice_arr_4d repeat_expression[32U];

usr.bin/ssh/libcrux_internal.h

14169

memcpy(lit.data, repeat_expression, (size_t)32U * sizeof (Eurydice_arr_4d));

usr.bin/ssh/libcrux_internal.h

14271

libcrux_ml_dsa_simd_portable_arithmetic_shift_left_then_reduce_84(Eurydice_arr_4d *simd_unit)

usr.bin/ssh/libcrux_internal.h

14290

libcrux_ml_dsa_simd_portable_shift_left_then_reduce_65_84(Eurydice_arr_4d *simd_unit)

usr.bin/ssh/libcrux_internal.h

14687

const Eurydice_arr_4d *simd_unit = &re->data[i0];

usr.bin/ssh/libcrux_internal.h

14981

const Eurydice_arr_4d *simd_unit = &re->data[i0];

usr.bin/ssh/libcrux_internal.h

15271

const Eurydice_arr_4d *simd_unit = &re->data[i0];

usr.bin/ssh/libcrux_internal.h

15300

const Eurydice_arr_4d *simd_unit = &re->data[i0];

usr.bin/ssh/libcrux_internal.h

15328

const Eurydice_arr_4d *simd_unit = &re->data[i0];

usr.bin/ssh/libcrux_internal.h

3692

Eurydice_array_to_subslice_shared_44(const Eurydice_arr_4d *a, core_ops_range_Range_87 r)

usr.bin/ssh/libcrux_internal.h

3729

Eurydice_array_to_slice_shared_fd(const Eurydice_arr_4d *a)

usr.bin/ssh/libcrux_internal.h

3755

static inline Eurydice_dst_ref_mut_83 Eurydice_array_to_slice_mut_fd(Eurydice_arr_4d *a)

usr.bin/ssh/libcrux_internal.h

9505

typedef Eurydice_arr_4d libcrux_ml_dsa_simd_portable_vector_type_Coefficients;

usr.bin/ssh/libcrux_internal.h

9507

static KRML_MUSTINLINE Eurydice_arr_4d libcrux_ml_dsa_simd_portable_vector_type_zero(void)

usr.bin/ssh/libcrux_internal.h

9509

return (KRML_CLITERAL(Eurydice_arr_4d){ .data = { 0U } });

usr.bin/ssh/libcrux_internal.h

9515

static inline Eurydice_arr_4d libcrux_ml_dsa_simd_portable_zero_65(void)

usr.bin/ssh/libcrux_internal.h

9523

Eurydice_arr_4d *out

usr.bin/ssh/libcrux_internal.h

9543

Eurydice_arr_4d *out

usr.bin/ssh/libcrux_internal.h

9551

const Eurydice_arr_4d *value,

usr.bin/ssh/libcrux_internal.h

9563

const Eurydice_arr_4d *value,

usr.bin/ssh/libcrux_internal.h

9571

libcrux_ml_dsa_simd_portable_arithmetic_add(Eurydice_arr_4d *lhs, const Eurydice_arr_4d *rhs)

usr.bin/ssh/libcrux_internal.h

9585

libcrux_ml_dsa_simd_portable_add_65(Eurydice_arr_4d *lhs, const Eurydice_arr_4d *rhs)

usr.bin/ssh/libcrux_internal.h

9592

Eurydice_arr_4d *lhs,

usr.bin/ssh/libcrux_internal.h

9593

const Eurydice_arr_4d *rhs

usr.bin/ssh/libcrux_internal.h

9608

libcrux_ml_dsa_simd_portable_subtract_65(Eurydice_arr_4d *lhs, const Eurydice_arr_4d *rhs)

usr.bin/ssh/libcrux_internal.h

9615

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

9645

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

9691

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

9692

Eurydice_arr_4d *low,

usr.bin/ssh/libcrux_internal.h

9693

Eurydice_arr_4d *high

usr.bin/ssh/libcrux_internal.h

9715

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

9716

Eurydice_arr_4d *low,

usr.bin/ssh/libcrux_internal.h

9717

Eurydice_arr_4d *high

usr.bin/ssh/libcrux_internal.h

9759

const Eurydice_arr_4d *low,

usr.bin/ssh/libcrux_internal.h

9760

const Eurydice_arr_4d *high,

usr.bin/ssh/libcrux_internal.h

9762

Eurydice_arr_4d *hint

usr.bin/ssh/libcrux_internal.h

9783

const Eurydice_arr_4d *low,

usr.bin/ssh/libcrux_internal.h

9784

const Eurydice_arr_4d *high,

usr.bin/ssh/libcrux_internal.h

9786

Eurydice_arr_4d *hint

usr.bin/ssh/libcrux_internal.h

9852

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

9853

Eurydice_arr_4d *hint

usr.bin/ssh/libcrux_internal.h

9874

const Eurydice_arr_4d *simd_unit,

usr.bin/ssh/libcrux_internal.h

9875

Eurydice_arr_4d *hint

usr.bin/ssh/libcrux_internal.h

9913

Eurydice_arr_4d *lhs,

usr.bin/ssh/libcrux_internal.h

9914

const Eurydice_arr_4d *rhs

usr.bin/ssh/libcrux_internal.h

9931

Eurydice_arr_4d *lhs,

usr.bin/ssh/libcrux_internal.h

9932

const Eurydice_arr_4d *rhs

usr.bin/ssh/libcrux_internal.h

9946

libcrux_ml_dsa_simd_portable_arithmetic_barrett_reduce_simd_unit(Eurydice_arr_4d *simd_unit)

usr.bin/ssh/libcrux_internal.h

9972

libcrux_ml_dsa_simd_portable_arithmetic_power2round(Eurydice_arr_4d *t0, Eurydice_arr_4d *t1)

usr.bin/ssh/libcrux_internal.h

9988

libcrux_ml_dsa_simd_portable_power2round_65(Eurydice_arr_4d *t0, Eurydice_arr_4d *t1)