gcc/testsuite/gcc.dg/vrp-min-max-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp2" } */
   3 /* { dg-require-effective-target int32plus } */
   4
   5 int Foo (int X)
   6 {
   7   if (X < 0)
   8     X = 0;
   9   if (X > 191)
  10     X = 191;
  11
  12   return X << 23;
  13 }
  14
  15 /* We expect this min/max pair to survive.  */
  16
  17 /* { dg-final { scan-tree-dump-times "MIN_EXPR" 1 "vrp2" } } */
  18 /* { dg-final { scan-tree-dump-times "MAX_EXPR" 1 "vrp2" } } */