gcc/testsuite/gcc.dg/tree-ssa/minmaxcmp-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-optimized -fdump-tree-original" } */
   3 /* PR tree-optimization/111346 */
   4
   5 int f();
   6 int g();
   7
   8 _Bool test1(int a, int b)
   9 {
  10         return ((a > b) ? a : b) >= a; // return 1;
  11 }
  12 _Bool test1_(int a, int b)
  13 {
  14         return a <= ((a > b) ? a : b); // return 1;
  15 }
  16 /* test1 and test1_ should be able to optimize to `return 1;` during fold.  */
  17 /* { dg-final { scan-tree-dump-times "return 1;" 2 "original" } } */
  18 /* { dg-final { scan-tree-dump-not " MAX_EXPR " "original" } } */
  19
  20 _Bool test2(int a, int b)
  21 {
  22         a = f();
  23         a = g();
  24         int t = a;
  25         if (t < b) t = b;
  26         return t >= a; // return 1;
  27 }
  28
  29 _Bool test2_(int a, int b)
  30 {
  31         a = g();
  32         int t = a;
  33         if (t < b) t = b;
  34         return t >= a; // return 1;
  35 }
  36
  37 /* All of these should be optimized to just be the function calls and `return 1;` */
  38 /* { dg-final { scan-tree-dump-times "return 1;" 4 "optimized" } } */
  39 /* { dg-final { scan-tree-dump-not " MAX_EXPR " "optimized" } } */