Searched refs:try_00 (Results 1 – 1 of 1) sorted by relevance
10048 int32_t try_00 = (int32_t)(uint32_t)try_0; in libcrux_ml_dsa_simd_portable_sample_rejection_sample_less_than_eta_equals_2() local10049 int32_t try_0_mod_5 = try_00 - (try_00 * 26 >> 7U) * 5; in libcrux_ml_dsa_simd_portable_sample_rejection_sample_less_than_eta_equals_2()