gcc/testsuite/gcc.dg/tree-ssa/negate.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-reassoc1" } */
   3
   4 int f (int a, int b)
   5 {
   6   int x = -a;
   7   int y = b - x;
   8   return y;
   9 }
  10
  11 /* We tested for reassociation to -(a + b) on the following which
  12    isn't a transform that makes things cheaper.  With reassoc
  13    no longer applying to types with undefined overflow we lost
  14    this transform.
  15
  16 int g (int a, int b)
  17 {
  18   int x = -a;
  19   int y = x - b;
  20   return y;
  21 }
  22
  23 */
  24
  25 /* There should be an addition now.  */
  26 /* { dg-final { scan-tree-dump-times "\\+" 1 "reassoc1"} } */