https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102622
--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> --- here is the C testcase: static inline const unsigned *max1(const unsigned *t, const unsigned *t1) { return *t > *t1 ? t : t1; } int var_20 = 0; int var_22 = 0; short arr_32 [13]; char arr_45 [69]; void test(int a, unsigned b, const long long *c) __attribute__((noipa)); void test(int a, unsigned b, const long long *c) { for (short d = 0; d < 13; d++) { for (int e = 0; e < a; e += 3) var_20 = 0; unsigned t = (short)b; if (*max1(&b, &t)) { arr_32[d] = 0; var_22 = *c; } for (unsigned f = 0; f < 69; f += 4) arr_45[f] = 0; } } int main() { long long t = 42; test(-1, 1, &t); if (var_22 != 42) __builtin_abort(); return 0; } ---- CUT ----- Here is the patch which I tested and is working: diff --git a/gcc/match.pd b/gcc/match.pd index a9791ceb74a..4fd2a8c3ea9 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -3950,10 +3950,12 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (if (integer_onep (@1)) (convert (convert:boolean_type_node @0))) /* a ? -1 : 0 -> -a. */ - (if (INTEGRAL_TYPE_P (type) && integer_all_onesp (@1)) + (if (INTEGRAL_TYPE_P (type) && integer_all_onesp (@1) + && TYPE_PRECISION (type) != 1) (negate (convert (convert:boolean_type_node @0)))) /* a ? powerof2cst : 0 -> a << (log2(powerof2cst)) */ - (if (INTEGRAL_TYPE_P (type) && integer_pow2p (@1)) + (if (INTEGRAL_TYPE_P (type) && integer_pow2p (@1) + && TYPE_PRECISION (type) != 1) (with { tree shift = build_int_cst (integer_type_node, tree_log2 (@1)); } @@ -3967,10 +3969,12 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (if (integer_onep (@2)) (convert (bit_xor (convert:boolean_type_node @0) { booltrue; } ))) /* a ? -1 : 0 -> -(!a). */ - (if (INTEGRAL_TYPE_P (type) && integer_all_onesp (@2)) + (if (INTEGRAL_TYPE_P (type) && integer_all_onesp (@2) + && TYPE_PRECISION (type) != 1) (negate (convert (bit_xor (convert:boolean_type_node @0) { booltrue; } )))) /* a ? powerof2cst : 0 -> (!a) << (log2(powerof2cst)) */ - (if (INTEGRAL_TYPE_P (type) && integer_pow2p (@2)) + (if (INTEGRAL_TYPE_P (type) && integer_pow2p (@2) + && TYPE_PRECISION (type) != 1) (with { tree shift = build_int_cst (integer_type_node, tree_log2 (@2)); }