gcc/testsuite/gcc.dg/tree-ssa/vrp84.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 extern void vrp_keep (void);
   5
   6 void
   7 f2 (int s, int b)
   8 {
   9   if (s > 1)
  10     s = 1;
  11   /* s in [minint, 1].   */
  12   b = (b & 1) + 1;
  13   /* b in range [1, 2].  */
  14   b = s << b;
  15   /* b in range [minint+4, maxint-3].  */
  16   if (b == -2)
  17     vrp_keep ();
  18 }
  19
  20 /* { dg-final { scan-tree-dump-times "vrp_keep \\(" 1 "vrp1"} } */