Searched refs:a_plus_b (Results 1 – 1 of 1) sorted by relevance
21643 int16_t a_plus_b = vec->data[j] + vec->data[i]; in libcrux_ml_kem_vector_portable_ntt_inv_ntt_step() local21644 int16_t o0 = libcrux_ml_kem_vector_portable_arithmetic_barrett_reduce_element(a_plus_b); in libcrux_ml_kem_vector_portable_ntt_inv_ntt_step()