diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-06-05 19:12:43 -0700 |
|---|---|---|
| committer | Andrew Pinski <apinski@marvell.com> | 2023-06-06 19:57:18 -0700 |
| commit | cc155ff9c38848a8e6a7125dd0b66ac0aef47880 (patch) | |
| tree | a9937355faa4b4d301d58e2c7589f1033d622643 /gcc/expr.cc | |
| parent | 3fe017ee79211820ca774f4c87ef86753eeef567 (diff) | |
| download | gcc-cc155ff9c38848a8e6a7125dd0b66ac0aef47880.zip gcc-cc155ff9c38848a8e6a7125dd0b66ac0aef47880.tar.gz gcc-cc155ff9c38848a8e6a7125dd0b66ac0aef47880.tar.bz2 | |
For the `-A CMP -B -> B CMP A` pattern allow EQ/NE for all integer types
I noticed while looking at some code generation issue, that forwprop
was not handling `-a == 0` for unsigned types and I was confused why
it was not.
r6-1814-g66e1cacf608045 removed these from fold because they
were supposed to be already handled by the match.pd patterns
but it was missed that the match.pd patterns checked
TYPE_OVERFLOW_UNDEFINED while fold didn't do that for NE/EQ.
This patch removes the restriction on NE/EQ on TYPE_OVERFLOW_UNDEFINED.
OK? Bootstrapped and tested on x86_64-linux-gnu.
gcc/ChangeLog:
PR tree-optimization/110134
* match.pd (-A CMP -B -> B CMP A): Allow EQ/NE for all integer
types.
(-A CMP CST -> B CMP (-CST)): Likewise.
gcc/testsuite/ChangeLog:
PR tree-optimization/110134
* gcc.dg/tree-ssa/negneq-1.c: New test.
* gcc.dg/tree-ssa/negneq-2.c: New test.
* gcc.dg/tree-ssa/negneq-3.c: New test.
* gcc.dg/tree-ssa/negneq-4.c: New test.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions