diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-09-10 15:59:41 -0700 |
|---|---|---|
| committer | Andrew Pinski <apinski@marvell.com> | 2023-09-10 19:19:14 -0700 |
| commit | 190cf0ce8f4c141ac5b42d53b9ddeba367495333 (patch) | |
| tree | 64f50600b3fc6e70f75888e8f65c619e38d86433 /gcc/match.pd | |
| parent | f197392a16ffb1327f1d12ff8ff05f9295e015cb (diff) | |
| download | gcc-190cf0ce8f4c141ac5b42d53b9ddeba367495333.zip gcc-190cf0ce8f4c141ac5b42d53b9ddeba367495333.tar.gz gcc-190cf0ce8f4c141ac5b42d53b9ddeba367495333.tar.bz2 | |
MATCH: [PR111346] `X CMP MINMAX` pattern missing :c on CMP
I noticed this while working on other MINMAX optimizations. It was
hard to find a simplified testcase though because it was dependent on
the ssa name versions. Adding the `:c` to cmp allows the pattern to
be match for the case where minmax as the first operand of the comparison
rather than the second.
Committed as obvious after a bootstrap/test on x86_64-linux-gnu.
PR tree-optimization/111346
gcc/ChangeLog:
* match.pd (`X CMP MINMAX`): Add `:c` on the cmp part
of the pattern
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/minmaxcmp-1.c: New test.
Diffstat (limited to 'gcc/match.pd')
| -rw-r--r-- | gcc/match.pd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index c7b6db4..a60fe04 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -3942,7 +3942,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (for minmax (min min max max ) cmp (ge lt le gt ) (simplify - (cmp @0 (minmax:c @0 @1)) + (cmp:c @0 (minmax:c @0 @1)) { constant_boolean_node (cmp == GE_EXPR || cmp == LE_EXPR, type); } )) /* Undo fancy ways of writing max/min or other ?: expressions, like |