gcc/testsuite/gcc.dg/tree-ssa/vrp63.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 >> 1 == 0)
  13     {
  14       if (s == 2 || s == -1U)
  15         link_error ();
  16     }
  17   else
  18     {
  19       if (s == 0 || s == 1)
  20         link_error ();
  21     }
  22 }
  23
  24 void
  25 f2 (unsigned int s)
  26 {
  27   if (s >> 4 != 3)
  28     {
  29       if (s == 48 || s == 57 || s == 63)
  30         link_error ();
  31     }
  32   else
  33     {
  34       if (s == 47 || s == 64 || s == 0 || s == -1U)
  35         link_error ();
  36     }
  37 }
  38
  39 void
  40 f3 (int s)
  41 {
  42   if (s >> 3 == -2)
  43     {
  44       if (s == -17 || s == -8 || s == 0
  45           || s == -__INT_MAX__ - 1 || s == __INT_MAX__)
  46         link_error ();
  47     }
  48   else
  49     {
  50       if (s == -16 || s == -12 || s == -9)
  51         link_error ();
  52     }
  53 }
  54
  55 void
  56 f4 (unsigned int s)
  57 {
  58   if (s >> 2 < 4)
  59     {
  60       if (s == 16 || s == 20 || s == -1U)
  61         link_error ();
  62     }
  63   else
  64     {
  65       if (s == 0 || s == 2 || s == 14 || s == 15)
  66         link_error ();
  67     }
  68 }
  69
  70 void
  71 f5 (unsigned int s)
  72 {
  73   if (s >> 3 <= 7)
  74     {
  75       if (s == 64 || s == 68 || s == -1U)
  76         link_error ();
  77     }
  78   else
  79     {
  80       if (s == 0 || s == 1 || s == 62 || s == 63)
  81         link_error ();
  82     }
  83 }
  84
  85 void
  86 f6 (unsigned int s)
  87 {
  88   if (s >> 1 > 2)
  89     {
  90       if (s == 0 || s == 3 || s == 5)
  91         link_error ();
  92     }
  93   else
  94     {
  95       if (s == 6 || s == 8 || s == -1U)
  96         link_error ();
  97     }
  98 }
  99
 100 void
 101 f7 (unsigned int s)
 102 {
 103   if (s >> 5 >= 7)
 104     {
 105       if (s == 0 || s == 2 || s == 221 || s == 223)
 106         link_error ();
 107     }
 108   else
 109     {
 110       if (s == 224 || s == 256 || s == 258 || s == -1U)
 111         link_error ();
 112     }
 113 }
 114
 115 void
 116 f8 (int s)
 117 {
 118   if (s >> 2 < -3)
 119     {
 120       if (s == -12 || s == -10 || s == 0 || s == __INT_MAX__)
 121         link_error ();
 122     }
 123   else
 124     {
 125       if (s == -13 || s == -16 || s == -__INT_MAX__ - 1)
 126         link_error ();
 127     }
 128 }
 129
 130 void
 131 f9 (int s)
 132 {
 133   if (s >> 3 <= -2)
 134     {
 135       if (s == -8 || s == -6 || s == 0 || s == __INT_MAX__)
 136         link_error ();
 137     }
 138   else
 139     {
 140       if (s == -9 || s == -11 || s == -__INT_MAX__ - 1)
 141         link_error ();
 142     }
 143 }
 144
 145 void
 146 f10 (int s)
 147 {
 148   if (s >> 1 > -4)
 149     {
 150       if (s == -7 || s == -9 || s == -__INT_MAX__ - 1)
 151         link_error ();
 152     }
 153   else
 154     {
 155       if (s == -6 || s == -4 || s == 0 || s == __INT_MAX__)
 156         link_error ();
 157     }
 158 }
 159
 160 void
 161 f11 (int s)
 162 {
 163   if (s >> 3 >= -6)
 164     {
 165       if (s == -49 || s == -51 || s == -__INT_MAX__ - 1)
 166         link_error ();
 167     }
 168   else
 169     {
 170       if (s == -48 || s == -46 || s == 0 || s == __INT_MAX__)
 171         link_error ();
 172     }
 173 }
 174
 175 void
 176 f12 (int s)
 177 {
 178   if (s >> 2 < 4)
 179     {
 180       if (s == 16 || s == 20 || s == __INT_MAX__)
 181         link_error ();
 182     }
 183   else
 184     {
 185       if (s == 0 || s == 2 || s == 14 || s == 15
 186           || s == -2 || s == -__INT_MAX__ - 1)
 187         link_error ();
 188     }
 189 }
 190
 191 void
 192 f13 (int s)
 193 {
 194   if (s >> 3 <= 7)
 195     {
 196       if (s == 64 || s == 68 || s == __INT_MAX__)
 197         link_error ();
 198     }
 199   else
 200     {
 201       if (s == 0 || s == 1 || s == 62 || s == 63
 202           || s == -2 || s == -__INT_MAX__ - 1)
 203         link_error ();
 204     }
 205 }
 206
 207 void
 208 f14 (int s)
 209 {
 210   if (s >> 1 > 2)
 211     {
 212       if (s == 0 || s == 3 || s == 5
 213           || s == -2 || s == -__INT_MAX__ - 1)
 214         link_error ();
 215     }
 216   else
 217     {
 218       if (s == 6 || s == 8 || s == __INT_MAX__)
 219         link_error ();
 220     }
 221 }
 222
 223 void
 224 f15 (int s)
 225 {
 226   if (s >> 5 >= 7)
 227     {
 228       if (s == 0 || s == 2 || s == 221 || s == 223
 229           || s == -2 || s == -__INT_MAX__ - 1)
 230         link_error ();
 231     }
 232   else
 233     {
 234       if (s == 224 || s == 256 || s == 258 || s == __INT_MAX__)
 235         link_error ();
 236     }
 237 }
 238
 239 unsigned int
 240 f16 (unsigned int s)
 241 {
 242   unsigned int t = s >> BITSM1;
 243   if (t != 0)
 244     {
 245       if (s == 0 || s == 5 || s == __INT_MAX__)
 246         link_error ();
 247     }
 248   else
 249     {
 250       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
 251         link_error ();
 252     }
 253   return t;
 254 }
 255
 256 int
 257 f17 (int s)
 258 {
 259   int t = s >> BITSM1;
 260   if (t == 0)
 261     {
 262       if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
 263         link_error ();
 264     }
 265   else
 266     {
 267       if (s == 0 || s == 5 || s == __INT_MAX__)
 268         link_error ();
 269     }
 270   return t;
 271 }
 272
 273 unsigned int
 274 f18 (unsigned int s)
 275 {
 276   unsigned int t = s >> BITSM1;
 277   if (t >= 1)
 278     {
 279       if (s == 0 || s == 5 || s == __INT_MAX__)
 280         link_error ();
 281     }
 282   else
 283     {
 284       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
 285         link_error ();
 286     }
 287   return t;
 288 }
 289
 290 int
 291 f19 (int s)
 292 {
 293   int t = s >> BITSM1;
 294   if (t >= 0)
 295     {
 296       if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
 297         link_error ();
 298     }
 299   else
 300     {
 301       if (s == 0 || s == 5 || s == __INT_MAX__)
 302         link_error ();
 303     }
 304   return t;
 305 }
 306
 307 unsigned int
 308 f20 (unsigned int s)
 309 {
 310   unsigned int t = s >> BITSM1;
 311   if (t < 1)
 312     {
 313       if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
 314         link_error ();
 315     }
 316   else
 317     {
 318       if (s == 0 || s == 5 || s == __INT_MAX__)
 319         link_error ();
 320     }
 321   return t;
 322 }
 323
 324 int
 325 f21 (int s)
 326 {
 327   int t = s >> BITSM1;
 328   if (t < 0)
 329     {
 330       if (s == 0 || s == 5 || s == __INT_MAX__)
 331         link_error ();
 332     }
 333   else
 334     {
 335       if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
 336         link_error ();
 337     }
 338   return t;
 339 }
 340
 341 int
 342 main ()
 343 {
 344   return 0;
 345 }