sdcc/support/regression/tests/gcc-torture-execute-divconst-2.c

   1 /*
   2    divconst-2.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 #pragma disable_warning 85
  12
  13 #ifndef __SDCC_pdk14 // Lack of memory
  14 long
  15 f (long x)
  16 {
  17   return x / (-0x7fffffffL - 1L);
  18 }
  19
  20 long
  21 r (long x)
  22 {
  23   return x % (-0x7fffffffL - 1L);
  24 }
  25
  26 #if !(defined(__SDCC_pic14) && !defined(__SDCC_PIC14_ENHANCED)) // Pseudo-stack size limit
  27 /* Since we have a negative divisor, this equation must hold for the
  28    results of / and %; no specific results are guaranteed.  */
  29 long
  30 std_eqn (long num, long denom, long quot, long rem)
  31 {
  32   /* For completeness, a check for "ABS (rem) < ABS (denom)" belongs here,
  33      but causes trouble on 32-bit machines and isn't worthwhile.  */
  34   return quot * (-0x7fffffffL - 1L) + rem == num;
  35 }
  36 #endif
  37
  38 long nums[] =
  39 {
  40   -1L, 0x7fffffffL, -0x7fffffffL - 1L
  41 };
  42 #endif
  43
  44 void
  45 testTortureExecute (void)
  46 {
  47 #ifndef __SDCC_pdk14 // Lack of memory
  48 #if !(defined (__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
  49   int i;
  50
  51   for (i = 0;
  52        i < sizeof (nums) / sizeof (nums[0]);
  53        i++)
  54 #if !(defined(__SDCC_pic14) && !defined(__SDCC_PIC14_ENHANCED)) // Pseudo-stack size limit
  55     if (std_eqn (nums[i], -0x7fffffffL - 1L, f (nums[i]), r (nums[i])) == 0)
  56       ASSERT (0);
  57 #endif
  58 #endif
  59 #endif
  60   return;
  61 }