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