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

   1 /* { dg-do link } */
   2 /* { dg-options "-O2 -fno-tree-switch-conversion" } */
   3
   4 extern void link_error (void);
   5
   6 /* Test <<.  */
   7
   8 void
   9 f3 (int s, int b)
  10 {
  11   if (s >> 3 == -2)
  12     /* s in range [-16, -9].  */
  13     {
  14       s += 17;
  15       /* s in range [1, 8].  */
  16       b = (b & 1) + 1;
  17       /* b in range [1, 2].  */
  18       b =  b << s;
  19       /* b in range [bmin << smin, bmax << smax],
  20                     == [1 << 1, 2 << 8]
  21                     == [2, 512].  */
  22       if (b == 1 || b == 513)
  23         link_error ();
  24     }
  25 }
  26
  27 int
  28 main ()
  29 {
  30   return 0;
  31 }
  32
  33