https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71762
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Thu Nov 24 09:45:01 2016 New Revision: 242822 URL: https://gcc.gnu.org/viewcvs?rev=242822&root=gcc&view=rev Log: 2016-11-23 Richard Biener <rguent...@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. Modified: trunk/gcc/testsuite/gcc.dg/tree-ssa/forwprop-28.c