sdcc/support/regression/tests/gcc-torture-execute-20040409-3.c

   1 /*
   2    20040409-3.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 #include <limits.h>
  12
  13 int ftest1(int x)
  14 {
  15   return ~(x ^ INT_MIN);
  16 }
  17
  18 unsigned int ftest1u(unsigned int x)
  19 {
  20   return ~(x ^ (unsigned int)INT_MIN);
  21 }
  22
  23 int ftest2(int x)
  24 {
  25   return ~(x + INT_MIN);
  26 }
  27
  28 unsigned int ftest2u(unsigned int x)
  29 {
  30   return ~(x + (unsigned int)INT_MIN);
  31 }
  32
  33 unsigned int ftest3u(unsigned int x)
  34 {
  35   return ~(x - (unsigned int)INT_MIN);
  36 }
  37
  38 int ftest4(int x)
  39 {
  40   int y = INT_MIN;
  41   return ~(x ^ y);
  42 }
  43
  44 unsigned int ftest4u(unsigned int x)
  45 {
  46   unsigned int y = (unsigned int)INT_MIN;
  47   return ~(x ^ y);
  48 }
  49
  50 int ftest5(int x)
  51 {
  52   int y = INT_MIN;
  53   return ~(x + y);
  54 }
  55
  56 unsigned int ftest5u(unsigned int x)
  57 {
  58   unsigned int y = (unsigned int)INT_MIN;
  59   return ~(x + y);
  60 }
  61
  62 unsigned int ftest6u(unsigned int x)
  63 {
  64   unsigned int y = (unsigned int)INT_MIN;
  65   return ~(x - y);
  66 }
  67
  68
  69
  70 void ftest(int a, int b)
  71 {
  72   if (ftest1(a) != b)
  73     ASSERT (0);
  74 #if 0 // This tests triggers signed integer overflow, which is undefined behaviour in C (though GCC apparently makes it implementation-defined, and tests for the implementation-defined behaviour here).
  75   if (ftest2(a) != b)
  76     ASSERT (0);
  77 #endif
  78   if (ftest4(a) != b)
  79     ASSERT (0);
  80 #if 0 // This tests triggers signed integer overflow, which is undefined behaviour in C (though GCC apparently makes it implementation-defined, and tests for the implementation-defined behaviour here).
  81   if (ftest5(a) != b)
  82     ASSERT (0);
  83 #endif
  84 }
  85
  86 void ftestu(unsigned int a, unsigned int b)
  87 {
  88   if (ftest1u(a) != b)
  89     ASSERT (0);
  90   if (ftest2u(a) != b)
  91     ASSERT (0);
  92   if (ftest3u(a) != b)
  93     ASSERT (0);
  94   if (ftest4u(a) != b)
  95     ASSERT (0);
  96   if (ftest5u(a) != b)
  97     ASSERT (0);
  98   if (ftest6u(a) != b)
  99     ASSERT (0);
 100 }
 101
 102
 103 void
 104 testTortureExecute (void)
 105 {
 106 #if INT_MAX == 2147483647
 107   ftest(0x00000000,0x7fffffff);
 108   ftest(0x80000000,0xffffffff);
 109   ftest(0x12345678,0x6dcba987);
 110   ftest(0x92345678,0xedcba987);
 111   ftest(0x7fffffff,0x00000000);
 112   ftest(0xffffffff,0x80000000);
 113
 114   ftestu(0x00000000,0x7fffffff);
 115   ftestu(0x80000000,0xffffffff);
 116   ftestu(0x12345678,0x6dcba987);
 117   ftestu(0x92345678,0xedcba987);
 118   ftestu(0x7fffffff,0x00000000);
 119   ftestu(0xffffffff,0x80000000);
 120 #endif
 121
 122 #if INT_MAX == 32767
 123   ftest(0x0000,0x7fff);
 124   ftest(0x8000,0xffff);
 125   ftest(0x1234,0x6dcb);
 126   ftest(0x9234,0xedcb);
 127   ftest(0x7fff,0x0000);
 128   ftest(0xffff,0x8000);
 129
 130   ftestu(0x0000,0x7fff);
 131   ftestu(0x8000,0xffff);
 132   ftestu(0x1234,0x6dcb);
 133   ftestu(0x9234,0xedcb);
 134   ftestu(0x7fff,0x0000);
 135   ftestu(0xffff,0x8000);
 136 #endif
 137
 138   return;
 139 }