1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-vrp1" } */
3 
f(int x,int y)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" } } */
19