projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efb7123) | patch
re PR middle-end/71762 (~X & Y to X < Y doesn't work for uninitialized values)
authorRichard Biener <rguenther@suse.de>
Wed, 23 Nov 2016 11:33:03 +0000 (11:33 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 23 Nov 2016 11:33:03 +0000 (11:33 +0000)
commit0eb078fe20d443e2981a7b69067547e7ab80565c
treea629c915e64cc49bb9a5f59a7fbcef57017d423atree
parentefb71232412323c504f3af95ed6679abfd15cb7acommit | diff
re PR middle-end/71762 (~X & Y to X < Y doesn't work for uninitialized values)

2016-11-23  Richard Biener  <rguenther@suse.de>

PR middle-end/71762
* match.pd ((~X & Y) -> X < Y, (X & ~Y) -> Y < X,
(~X | Y) -> X <= Y, (X | ~Y) -> Y <= X): Remove.

* gcc.dg/torture/pr71762-1.c: New testcase.
* gcc.dg/torture/pr71762-2.c: Likewise.
* gcc.dg/torture/pr71762-3.c: Likewise.
* gcc.dg/tree-ssa/forwprop-28.c: XFAIL.

From-SVN: r242747
gcc/ChangeLog diff | blob | history
gcc/match.pd diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/torture/pr71762-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/torture/pr71762-2.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/torture/pr71762-3.c [new file with mode: 0644] blob