On 2017.04.03 at 15:20 +0200, Richard Biener wrote: > I'm re-testing the following variant. > > Richard. > > 2017-04-03 Richard Biener <rguent...@suse.de> > > PR middle-end/80281 > * match.pd (A + (-B) -> A - B): Make sure to preserve unsigned > arithmetic done for the negate or the plus. Simplify. > (A - (-B) -> A + B): Likewise. > * fold-const.c (split_tree): Make sure to not negate pointers. > > * gcc.dg/torture/pr80281.c: New testcase.
gcc.dg/tree-ssa/pr40921.c started to fail with -march=skylake: % gcc -march=skylake -c -O2 -fdump-tree-optimized -ffast-math -c gcc.dg/tree-ssa/pr40921.c % cat pr40921.i.227t.optimized | grep "\-y" _3 = -y_4(D); -- Markus