sdcc/support/regression/tests/gcc-torture-execute-20020506-1.c

   1 /*
   2    20020506-1.c from the execute part of the gcc torture suite.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #ifdef __SDCC
   8 #pragma std_c99
   9 #endif
  10
  11 #if !defined(__SDCC_pic14) && !defined(__SDCC_pic16) && !defined(__SDCC_pdk14)
  12 /* Copyright (C) 2002  Free Software Foundation.
  13
  14    Test that (A & C1) op C2 optimizations behave correctly where C1 is
  15    a constant power of 2, op is == or !=, and C2 is C1 or zero.
  16
  17    Written by Roger Sayle, 5th May 2002.  */
  18
  19 #include <limits.h>
  20
  21 void fest1 (signed char c, int set);
  22 void fest2 (unsigned char c, int set);
  23 void fest3 (short s, int set);
  24 void fest4 (unsigned short s, int set);
  25 void fest5 (int i, int set);
  26 void fest6 (unsigned int i, int set);
  27 void fest7 (long long l, int set);
  28 void fest8 (unsigned long long l, int set);
  29
  30 #ifndef LONG_LONG_MAX
  31 #define LONG_LONG_MAX LLONG_MAX
  32 #endif
  33 #ifndef LONG_LONG_MIN
  34 #define LONG_LONG_MIN (-LONG_LONG_MAX-1)
  35 #endif
  36 #ifndef ULONG_LONG_MAX
  37 #define ULONG_LONG_MAX (LONG_LONG_MAX * 2ULL + 1)
  38 #endif
  39
  40
  41 void
  42 fest1 (signed char c, int set)
  43 {
  44   if ((c & (SCHAR_MAX+1)) == 0)
  45     {
  46       if (set) ASSERT (0);
  47     }
  48   else
  49     if (!set) ASSERT (0);
  50
  51   if ((c & (SCHAR_MAX+1)) != 0)
  52     {
  53       if (!set) ASSERT (0);
  54     }
  55   else
  56     if (set) ASSERT (0);
  57
  58   if ((unsigned char) (c & (SCHAR_MAX+1)) == (SCHAR_MAX+1))
  59     {
  60       if (!set) ASSERT (0);
  61     }
  62   else
  63     if (set) ASSERT (0);
  64
  65   if ((unsigned char) (c & (SCHAR_MAX+1)) != (SCHAR_MAX+1))
  66     {
  67       if (set) ASSERT (0);
  68     }
  69   else
  70     if (!set) ASSERT (0);
  71 }
  72
  73 void
  74 fest2 (unsigned char c, int set)
  75 {
  76   if ((c & (SCHAR_MAX+1)) == 0)
  77     {
  78       if (set) ASSERT (0);
  79     }
  80   else
  81     if (!set) ASSERT (0);
  82
  83   if ((c & (SCHAR_MAX+1)) != 0)
  84     {
  85       if (!set) ASSERT (0);
  86     }
  87   else
  88     if (set) ASSERT (0);
  89
  90   if ((c & (SCHAR_MAX+1)) == (SCHAR_MAX+1))
  91     {
  92       if (!set) ASSERT (0);
  93     }
  94   else
  95     if (set) ASSERT (0);
  96
  97   if ((c & (SCHAR_MAX+1)) != (SCHAR_MAX+1))
  98     {
  99       if (set) ASSERT (0);
 100     }
 101   else
 102     if (!set) ASSERT (0);
 103 }
 104
 105 void
 106 fest3 (short s, int set)
 107 {
 108   if ((s & (SHRT_MAX+1)) == 0)
 109     {
 110       if (set) ASSERT (0);
 111     }
 112   else
 113     if (!set) ASSERT (0);
 114
 115   if ((s & (SHRT_MAX+1)) != 0)
 116     {
 117       if (!set) ASSERT (0);
 118     }
 119   else
 120     if (set) ASSERT (0);
 121
 122   if ((s & (SHRT_MAX+1)) == (SHRT_MAX+1))
 123     {
 124       if (!set) ASSERT (0);
 125     }
 126   else
 127     if (set) ASSERT (0);
 128
 129   if ((s & (SHRT_MAX+1)) != (SHRT_MAX+1))
 130     {
 131       if (set) ASSERT (0);
 132     }
 133   else
 134     if (!set) ASSERT (0);
 135 }
 136
 137 void
 138 fest4 (unsigned short s, int set)
 139 {
 140   if ((s & (SHRT_MAX+1)) == 0)
 141     {
 142       if (set) ASSERT (0);
 143     }
 144   else
 145     if (!set) ASSERT (0);
 146
 147   if ((s & (SHRT_MAX+1)) != 0)
 148     {
 149       if (!set) ASSERT (0);
 150     }
 151   else
 152     if (set) ASSERT (0);
 153
 154   if ((s & (SHRT_MAX+1)) == (SHRT_MAX+1))
 155     {
 156       if (!set) ASSERT (0);
 157     }
 158   else
 159     if (set) ASSERT (0);
 160
 161   if ((s & (SHRT_MAX+1)) != (SHRT_MAX+1))
 162     {
 163       if (set) ASSERT (0);
 164     }
 165   else
 166     if (!set) ASSERT (0);
 167 }
 168 #if !(defined (__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
 169 void
 170 fest5 (int i, int set)
 171 {
 172   if ((i & (INT_MAX+1U)) == 0)
 173     {
 174       if (set) ASSERT (0);
 175     }
 176   else
 177     if (!set) ASSERT (0);
 178
 179   if ((i & (INT_MAX+1U)) != 0)
 180     {
 181       if (!set) ASSERT (0);
 182     }
 183   else
 184     if (set) ASSERT (0);
 185
 186   if ((i & (INT_MAX+1U)) == (INT_MAX+1U))
 187     {
 188       if (!set) ASSERT (0);
 189     }
 190   else
 191     if (set) ASSERT (0);
 192
 193   if ((i & (INT_MAX+1U)) != (INT_MAX+1U))
 194     {
 195       if (set) ASSERT (0);
 196     }
 197   else
 198     if (!set) ASSERT (0);
 199 }
 200
 201 void
 202 fest6 (unsigned int i, int set)
 203 {
 204   if ((i & (INT_MAX+1U)) == 0)
 205     {
 206       if (set) ASSERT (0);
 207     }
 208   else
 209     if (!set) ASSERT (0);
 210
 211   if ((i & (INT_MAX+1U)) != 0)
 212     {
 213       if (!set) ASSERT (0);
 214     }
 215   else
 216     if (set) ASSERT (0);
 217
 218   if ((i & (INT_MAX+1U)) == (INT_MAX+1U))
 219     {
 220       if (!set) ASSERT (0);
 221     }
 222   else
 223     if (set) ASSERT (0);
 224
 225   if ((i & (INT_MAX+1U)) != (INT_MAX+1U))
 226     {
 227       if (set) ASSERT (0);
 228     }
 229   else
 230     if (!set) ASSERT (0);
 231 }
 232
 233 void
 234 fest7 (long long l, int set)
 235 {
 236   if ((l & (LONG_LONG_MAX+1ULL)) == 0)
 237     {
 238       if (set) ASSERT (0);
 239     }
 240   else
 241     if (!set) ASSERT (0);
 242
 243   if ((l & (LONG_LONG_MAX+1ULL)) != 0)
 244     {
 245       if (!set) ASSERT (0);
 246     }
 247   else
 248     if (set) ASSERT (0);
 249
 250   if ((l & (LONG_LONG_MAX+1ULL)) == (LONG_LONG_MAX+1ULL))
 251     {
 252       ASSERT (set);
 253     }
 254   else
 255     if (set) ASSERT (0);
 256
 257   if ((l & (LONG_LONG_MAX+1ULL)) != (LONG_LONG_MAX+1ULL))
 258     {
 259       if (set) ASSERT (0);
 260     }
 261   else
 262     ASSERT (set);
 263 }
 264
 265 void
 266 fest8 (unsigned long long l, int set)
 267 {
 268   if ((l & (LONG_LONG_MAX+1ULL)) == 0)
 269     {
 270       if (set) ASSERT (0);
 271     }
 272   else
 273     if (!set) ASSERT (0);
 274
 275   if ((l & (LONG_LONG_MAX+1ULL)) != 0)
 276     {
 277       if (!set) ASSERT (0);
 278     }
 279   else
 280     if (set) ASSERT (0);
 281
 282   if ((l & (LONG_LONG_MAX+1ULL)) == (LONG_LONG_MAX+1ULL))
 283     {
 284       if (!set) ASSERT (0);
 285     }
 286   else
 287     if (set) ASSERT (0);
 288
 289   if ((l & (LONG_LONG_MAX+1ULL)) != (LONG_LONG_MAX+1ULL))
 290     {
 291       if (set) ASSERT (0);
 292     }
 293   else
 294     if (!set) ASSERT (0);
 295 }
 296 #endif
 297 #endif
 298
 299 void
 300 testTortureExecute (void)
 301 {
 302 #if !defined(__SDCC_pic14) && !defined(__SDCC_pic16) && !defined(__SDCC_pdk14)
 303   fest1 (0, 0);
 304   fest1 (SCHAR_MAX, 0);
 305   fest1 (SCHAR_MIN, 1);
 306   fest1 (UCHAR_MAX, 1);
 307
 308   fest2 (0, 0);
 309   fest2 (SCHAR_MAX, 0);
 310   fest2 (SCHAR_MIN, 1);
 311   fest2 (UCHAR_MAX, 1);
 312
 313   fest3 (0, 0);
 314   fest3 (SHRT_MAX, 0);
 315   fest3 (SHRT_MIN, 1);
 316   fest3 (USHRT_MAX, 1);
 317
 318   fest4 (0, 0);
 319   fest4 (SHRT_MAX, 0);
 320   fest4 (SHRT_MIN, 1);
 321   fest4 (USHRT_MAX, 1);
 322 #if !(defined (__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
 323   fest5 (0, 0);
 324   fest5 (INT_MAX, 0);
 325   fest5 (INT_MIN, 1);
 326   fest5 (UINT_MAX, 1);
 327
 328   fest6 (0, 0);
 329   fest6 (INT_MAX, 0);
 330   fest6 (INT_MIN, 1);
 331   fest6 (UINT_MAX, 1);
 332
 333   fest7 (0, 0);
 334   fest7 (LONG_LONG_MAX, 0);
 335   fest7 (LONG_LONG_MIN, 1);
 336   fest7 (ULONG_LONG_MAX, 1);
 337
 338   fest8 (0, 0);
 339   fest8 (LONG_LONG_MAX, 0);
 340   fest8 (LONG_LONG_MIN, 1);
 341   fest8 (ULONG_LONG_MAX, 1);
 342
 343   return;
 344 #endif
 345 #endif
 346 }
 347