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

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