re PR middle-end/71762 (~X & Y to X < Y doesn't work for uninitialized values)
authorRichard Biener <rguenth@gcc.gnu.org>
Thu, 24 Nov 2016 09:45:01 +0000 (09:45 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 24 Nov 2016 09:45:01 +0000 (09:45 +0000)
commitc14988fe8db29759c6b82fa0947d06b978bc21c3
tree65b152eb3a1d52bcaf5c31a5d23ba8d54eb53e0f
parent3884190f00c5817c09262fe188d623fb45ea03e6
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: r242822
gcc/testsuite/gcc.dg/tree-ssa/forwprop-28.c