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

   1 /* { dg-do link } */
   2 /* { dg-options "-O2" } */
   3
   4 extern void link_error (void);
   5
   6 void
   7 f2 (int c, int b)
   8 {
   9   int s = 0;
  10   if (c == 0)
  11     s += 1;
  12   else if (c < 1)
  13     s -= 1;
  14   /* s in [-1, 1].   */
  15   b = (b & 1) + 1;
  16   /* b in range [1, 2].  */
  17   b = s << b;
  18   /* b in range [-4, 4].  */
  19   if (b == -5 || b == 5)
  20     link_error ();
  21 }
  22
  23 void
  24 f3 (int s, int b)
  25 {
  26   if (s >> 3 == -2)
  27     {
  28       /* s in range [-16, -9].  */
  29       b = (b & 1) + 1;
  30       /* b in range [1, 2].  */
  31       b = s << b;
  32       /* b in range [bmin << smax, bmax << smin],
  33                     == [-16 << 2, -9 << 1]
  34                     == [-64, -18].  */
  35       if (b == -65 || b == -17)
  36         link_error ();
  37     }
  38 }
  39
  40 void
  41 f4 (unsigned int s, unsigned int b)
  42 {
  43   s |= ~0xffU;
  44   /* s in [0xffffff00, 0xffffffff].  */
  45   b = (b & 1) + 1;
  46   /* b in [1, 2].  */
  47   b = s << b;
  48   /* s in [0xfffffc00, 0xfffffffe].  */
  49   if (b == ~0x3ffU - 1 || b == ~0x1U + 1)
  50     link_error ();
  51 }
  52
  53 int
  54 main ()
  55 {
  56   return 0;
  57 }