Searched refs:shifted_to_positive (Results 1 – 1 of 1) sorted by relevance
6999 int16_t shifted_to_positive = mask ^ shifted; in libcrux_ml_kem_vector_portable_compress_compress_message_coefficient() local7000 int16_t shifted_positive_in_range = shifted_to_positive - (int16_t)832; in libcrux_ml_kem_vector_portable_compress_compress_message_coefficient()