Searched refs:shifted_positive_in_range (Results 1 – 1 of 1) sorted by relevance
7000 int16_t shifted_positive_in_range = shifted_to_positive - (int16_t)832; in libcrux_ml_kem_vector_portable_compress_compress_message_coefficient() local7001 return (uint8_t)(shifted_positive_in_range >> 15U & (int16_t)1); in libcrux_ml_kem_vector_portable_compress_compress_message_coefficient()