Searched refs:try_10 (Results 1 – 1 of 1) sorted by relevance
10055 int32_t try_10 = (int32_t)(uint32_t)try_1; in libcrux_ml_dsa_simd_portable_sample_rejection_sample_less_than_eta_equals_2() local10056 int32_t try_1_mod_5 = try_10 - (try_10 * 26 >> 7U) * 5; in libcrux_ml_dsa_simd_portable_sample_rejection_sample_less_than_eta_equals_2()