1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-original" } */
       3  
       4  /* x & ~(x & y) -> x & ~y */
       5  int fn1 (int x, int y)
       6  {
       7  	return x & ~(x & y);
       8  }
       9  int fn2 (int x, int y)
      10  {
      11  	return ~(x & y) & x;
      12  }
      13  int fn3 (int x, int y)
      14  {
      15  	return x & ~(y & x);
      16  }
      17  int fn4 (int x, int y)
      18  {
      19  	return ~(y & x) & x;
      20  }
      21  int fn5 (int z)
      22  {
      23  	return z & ~(z & 3);
      24  }
      25  int fn6 (int z)
      26  {
      27  	return ~(z & 3) & z;
      28  }
      29  
      30  
      31  /* { dg-final { scan-tree-dump-times "~y & x" 4 "original" } } */
      32  /* { dg-final { scan-tree-dump-times "z & -4" 2 "original" } } */