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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-vrp1" } */
   3
   4 int f(int x, int y)
   5 {
   6   int ret;
   7   if (x == y)
   8     ret = x ^ y;
   9   else
  10     ret = 1;
  11
  12   return ret;
  13 }
  14
  15 /* We should have computed x ^ y as zero and propagated the result into the
  16    PHI feeding the result.  */
  17
  18 /* { dg-final { scan-tree-dump "ret_\[0-9\]+ = PHI <\[01\]\\\(\[0-9\]+\\\), \[01\]\\\(\[0-9\]+\\\)>" "vrp1" } } */