Searched refs:positive7_convert_signed_int_to_signed_char (Results 1 – 1 of 1) sorted by relevance
145 int8_t positive7_convert_signed_int_to_signed_char(int32_t x) { in positive7_convert_signed_int_to_signed_char() function161 positive7_convert_signed_int_to_signed_char(0); in test_positives()171 positive7_convert_signed_int_to_signed_char(1); in test_positives()189 positive7_convert_signed_int_to_signed_char((int32_t)UINT32_MAX); in test_positives()205 positive7_convert_signed_int_to_signed_char((int32_t)INT32_MIN); in test_positives()217 positive7_convert_signed_int_to_signed_char((int32_t)INT32_MAX); in test_positives()234 positive7_convert_signed_int_to_signed_char((int32_t)UINT8_MAX); in test_positives()251 positive7_convert_signed_int_to_signed_char((int32_t)INT8_MIN); in test_positives()266 positive7_convert_signed_int_to_signed_char((int32_t)(~((uint32_t)((uint8_t)INT8_MIN)))); in test_positives()284 …positive7_convert_signed_int_to_signed_char((int32_t)((uint32_t)INT32_MIN | (uint32_t)((uint8_t)IN… in test_positives()