1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized" } */
       3  /* { dg-final { scan-tree-dump-not "x_\[0-9]+\\\(D\\\) & y_\[0-9]+\\\(D\\\);" "optimized" } } */
       4  /* { dg-final { scan-tree-dump-not "x_\[0-9]+\\\(D\\\) \\| y_\[0-9]+\\\(D\\\);" "optimized" } } */
       5  /* { dg-final { scan-tree-dump-times "x_\[0-9]+\\\(D\\\) \\^ y_\[0-9]+\\\(D\\\);" 5 "optimized" } } */
       6  /* { dg-final { scan-tree-dump-times "~_\[0-9]\+" 5 "optimized" } } */
       7  
       8  int
       9  a (int x, int y)
      10  {
      11    return (x & y) - (x | y) - 1;
      12  }
      13  
      14  int
      15  b (int x, int y)
      16  {
      17    return (x & y) - 1 - (x | y);
      18  }
      19  
      20  int
      21  c (int x, int y)
      22  {
      23    return (x & y) - ((x | y) + 1);
      24  }
      25  
      26  int
      27  d (int x, int y)
      28  {
      29    return (x & y) - (1 + (x | y));
      30  }
      31  
      32  int
      33  e (int x, int y)
      34  {
      35    return (unsigned) ((x & y) - (x | y)) + -1u;
      36  }