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" } } */