sdcc/support/regression/tests/gcc-torture-execute-pr63302.c

   1 /*
   2    pr63302.c from the execute part of the gcc torture tests.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #ifdef __SDCC
   8 #pragma std_c99
   9 #endif
  10
  11 /* PR tree-optimization/63302 */
  12
  13 #if LLONG_MAX == 9223372036854775807ll
  14 #define USE_LLONG
  15 #endif
  16
  17 #ifdef USE_INT128
  18 __attribute__((noinline, noclone)) int
  19 foo (__int128 x)
  20 {
  21   __int128 v = x & (((__int128) -1 << 63) | 0x7ff);
  22
  23   return v == 0 || v == ((__int128) -1 << 63);
  24 }
  25 #endif
  26
  27 #ifdef USE_LLONG
  28 __attribute__((noinline, noclone)) int
  29 bar (long long x)
  30 {
  31   long long v = x & (((long long) -1 << 31) | 0x7ff);
  32
  33   return v == 0 || v == ((long long) -1 << 31);
  34 }
  35 #endif
  36
  37 void
  38 testTortureExecute (void)
  39 {
  40 #ifdef USE_INT128
  41   if (foo (0) != 1
  42       || foo (1) != 0
  43       || foo (0x800) != 1
  44       || foo (0x801) != 0
  45       || foo ((__int128) 1 << 63) != 0
  46       || foo ((__int128) -1 << 63) != 1
  47       || foo (((__int128) -1 << 63) | 1) != 0
  48       || foo (((__int128) -1 << 63) | 0x800) != 1
  49       || foo (((__int128) -1 << 63) | 0x801) != 0)
  50     ASSERT (0);
  51 #endif
  52 #ifdef USE_LLONG
  53   if (bar (0) != 1
  54       || bar (1) != 0
  55       || bar (0x800) != 1
  56       || bar (0x801) != 0
  57       || bar (1LL << 31) != 0
  58       || bar (-1LL << 31) != 1
  59       || bar ((-1LL << 31) | 1) != 0
  60       || bar ((-1LL << 31) | 0x800) != 1
  61       || bar ((-1LL << 31) | 0x801) != 0)
  62     ASSERT (0);
  63 #endif
  64   return;
  65 }