1  /* { dg-do compile } */
       2  /* { dg-options "-fdump-tree-gimple" } */
       3  
       4  unsigned f1(unsigned a, unsigned b)
       5  {
       6    return (a ^ b) | a; 
       7  }
       8  
       9  /* { dg-final { scan-tree-dump "a | b" "gimple" } } */