diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2025-03-14 15:34:32 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2025-03-14 15:34:32 +0100 |
| commit | ab0133cdba5dbcc29655593377e80586f7080472 (patch) | |
| tree | 3ee8f1ddee25f50f543dde1f1738730cf3e09d88 /gcc | |
| parent | d0d7c6632c2913c0243f048a15ff64aec6b6232e (diff) | |
| download | gcc-ab0133cdba5dbcc29655593377e80586f7080472.zip gcc-ab0133cdba5dbcc29655593377e80586f7080472.tar.gz gcc-ab0133cdba5dbcc29655593377e80586f7080472.tar.bz2 | |
match.pd: Fix up r15-8025 simplification [PR119287]
The following testcase ICEs since r15-8025.
tree_nop_conversion_p doesn't imply TREE_TYPE (@0) is uselessly convertible
to type, e.g. they could be INTEGER_TYPEs with the same precision but
different TYPE_SIGN.
The following patch just adds a convert so that it creates a valid IL
even in those cases.
2025-03-14 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/119287
* match.pd (((X >> C1) & C2) * (1 << C1) to X & (C2 << C1)): Use
(convert @0) instead of @0 in the substitution.
* gcc.dg/pr119287.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/match.pd | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr119287.c | 16 |
2 files changed, 17 insertions, 1 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 89612d1..98f6373 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -5284,7 +5284,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) || tree_int_cst_sgn (@2) >= 0) && wi::to_wide (@3) == wi::set_bit_in_zero (shift, prec)) (with { auto mask = wide_int::from (wi::to_wide (@2), prec, UNSIGNED); } - (bit_and @0 { wide_int_to_tree (type, mask << shift); })))))) + (bit_and (convert @0) { wide_int_to_tree (type, mask << shift); })))))) /* ~(~X >> Y) -> X >> Y (for arithmetic shift). */ (simplify diff --git a/gcc/testsuite/gcc.dg/pr119287.c b/gcc/testsuite/gcc.dg/pr119287.c new file mode 100644 index 0000000..b4b29af --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr119287.c @@ -0,0 +1,16 @@ +/* PR tree-optimization/119287 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fwrapv" } */ + +unsigned a; +int b; +signed char c, d; + +void +foo (void) +{ + c = a >> 14 & 1; + for (; d;) + c = 1; + b = c << 14; +} |