1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized -fno-ipa-icf" }  */
       3  
       4  /* Should produce <=.  */
       5  int test1 (int a, int b)
       6  {
       7    return (a < b || a == b);
       8  }
       9  
      10  /* Should produce <=.  */
      11  int test2 (int a, int b)
      12  {
      13    int lt = a < b;
      14    int eq = a == b;
      15  
      16    return (lt || eq);
      17  }
      18  
      19  /* Should produce <= (just deleting redundant test).  */
      20  int test3 (int a, int b)
      21  {
      22    int lt = a <= b;
      23    int eq = a == b;
      24  
      25    return (lt || eq);
      26  }
      27  
      28  /* Should produce <= (operands reversed to test the swap logic).  */
      29  int test4 (int a, int b)
      30  {
      31    int lt = a < b;
      32    int eq = b == a;
      33  
      34    return (lt || eq);
      35  }
      36  
      37  /* Should produce constant 0.  */
      38  int test5 (int a, int b)
      39  {
      40    int lt = a < b;
      41    int eq = a == b;
      42  
      43    return (lt && eq);
      44  }
      45  
      46  /* { dg-final { scan-tree-dump-times " <= " 4 "optimized" } } */
      47  /* { dg-final { scan-tree-dump-times "return 0" 1 "optimized" } } */
      48  /* { dg-final { scan-tree-dump-not " < " "optimized" } } */
      49  /* { dg-final { scan-tree-dump-not " == " "optimized" } } */