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

   1 /* PR tree-optimization/51721 */
   2 /* { dg-do link } */
   3 /* { dg-options "-O2" } */
   4
   5 extern void link_error (void);
   6
   7 #define BITSM1 (sizeof (int) * __CHAR_BIT__ - 1)
   8
   9 void
  10 f1 (unsigned int s)
  11 {
  12   if (s >> BITSM1 != 0)
  13     {
  14       if (s == 0 || s == 5 || s == __INT_MAX__)
  15         link_error ();
  16     }
  17   else
  18     {
  19       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
  20         link_error ();
  21     }
  22 }
  23
  24 void
  25 f2 (int s)
  26 {
  27   if (s >> BITSM1 == 0)
  28     {
  29       if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
  30         link_error ();
  31     }
  32   else
  33     {
  34       if (s == 0 || s == 5 || s == __INT_MAX__)
  35         link_error ();
  36     }
  37 }
  38
  39 void
  40 f3 (unsigned int s)
  41 {
  42   if ((s & (1U << BITSM1)) != 0)
  43     {
  44       if (s == 0 || s == 5 || s == __INT_MAX__)
  45         link_error ();
  46     }
  47   else
  48     {
  49       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
  50         link_error ();
  51     }
  52 }
  53
  54 void
  55 f4 (int s)
  56 {
  57   if ((s & (1U << BITSM1)) == 0)
  58     {
  59       if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
  60         link_error ();
  61     }
  62   else
  63     {
  64       if (s == 0 || s == 5 || s == __INT_MAX__)
  65         link_error ();
  66     }
  67 }
  68
  69 void
  70 f5 (unsigned int s)
  71 {
  72   if ((int) s < 0)
  73     {
  74       if (s == 0 || s == 5 || s == __INT_MAX__)
  75         link_error ();
  76     }
  77   else
  78     {
  79       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
  80         link_error ();
  81     }
  82 }
  83
  84 void
  85 f6 (unsigned int s)
  86 {
  87   if ((int) s < 4)
  88     {
  89       if (s == 4 || s == 6 || s == __INT_MAX__)
  90         link_error ();
  91     }
  92   else
  93     {
  94       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U
  95           || s == 3 || s == 0)
  96         link_error ();
  97     }
  98 }
  99
 100 void
 101 f7 (unsigned int s)
 102 {
 103   if ((int) s <= -7)
 104     {
 105       if (s == -6U || s == -1U || s == 0 || s == 4 || s == 6 || s == __INT_MAX__)
 106         link_error ();
 107     }
 108   else
 109     {
 110       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -9U
 111           || s == -7U)
 112         link_error ();
 113     }
 114 }
 115
 116 void
 117 f8 (unsigned int s)
 118 {
 119   if ((int) s >= 4)
 120     {
 121       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U
 122           || s == 3 || s == 0)
 123         link_error ();
 124     }
 125   else
 126     {
 127       if (s == 4 || s == 6 || s == __INT_MAX__)
 128         link_error ();
 129     }
 130 }
 131
 132 void
 133 f9 (unsigned int s)
 134 {
 135   if ((int) s > -7)
 136     {
 137       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -9U
 138           || s == -7U)
 139         link_error ();
 140     }
 141   else
 142     {
 143       if (s == -6U || s == -1U || s == 0 || s == 4 || s == 6 || s == __INT_MAX__)
 144         link_error ();
 145     }
 146 }
 147
 148 int
 149 main ()
 150 {
 151   return 0;
 152 }