diff options
| author | Richard Biener <rguenther@suse.de> | 2022-08-16 09:43:24 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-08-16 11:20:03 +0200 |
| commit | 5e88fccf4be7e8ab22734d87f8e520b25d92d845 (patch) | |
| tree | a4ca9b133ede0162e5007e617247053e12ff7af7 | |
| parent | bae12e2f832b2fb0189348c2650362ce9308e4f5 (diff) | |
| download | gcc-5e88fccf4be7e8ab22734d87f8e520b25d92d845.tar.gz | |
middle-end/106630 - avoid ping-pong between extract_muldiv and match.pd
The following avoids ping-pong between the match.pd pattern changing
(sizetype) ((a_9 + 1) * 48) to (sizetype)(a_9 + 1) * 48 and
extract_muldiv performing the reverse transform by restricting the
match.pd pattern to narrowing conversions as the comment indicates.
PR middle-end/106630
* match.pd ((T)(x * CST) -> (T)x * CST): Restrict to
narrowing conversions.
* gcc.dg/torture/pr106630.c: New testcase.
| -rw-r--r-- | gcc/match.pd | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr106630.c | 13 |
2 files changed, 14 insertions, 1 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index e32bda64e64..07d0a61fc3a 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1917,7 +1917,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (convert (mult@0 zero_one_valued_p@1 INTEGER_CST@2)) (if (INTEGRAL_TYPE_P (type) && INTEGRAL_TYPE_P (TREE_TYPE (@0)) - && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0))) + && TYPE_PRECISION (type) < TYPE_PRECISION (TREE_TYPE (@0))) (mult (convert @1) (convert @2)))) /* (X << C) != 0 can be simplified to X, when C is zero_one_valued_p. diff --git a/gcc/testsuite/gcc.dg/torture/pr106630.c b/gcc/testsuite/gcc.dg/torture/pr106630.c new file mode 100644 index 00000000000..d608b9151be --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr106630.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ + +short d, e; +int f; +extern short g[][24]; +char c; +void h() { + char a = 6; + c = a; + for (unsigned long a = (d || e) - 1; a < c; a += f) + for (signed b = 0; b < 24; b++) + g[a][b] = 4; +} |