sdcc/support/regression/tests/bug-2805.c

   1 /* bug-2822.c
   2    A division optimization evaluated operands to double precision only, thus losing information on long long variables.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #include <limits.h>
   8
   9 unsigned long long f(void)
  10 {
  11     unsigned long long left = (ULLONG_MAX - 2);
  12     return(left / (ULLONG_MAX - 3));
  13 }
  14
  15 unsigned long long g(void)
  16 {
  17     unsigned long long left = (ULLONG_MAX - 2);
  18     return(left % (ULLONG_MAX - 3));
  19 }
  20
  21 unsigned long long fs(void)
  22 {
  23     unsigned long long left = (LLONG_MAX - 2);
  24     return(left / (LLONG_MAX - 3));
  25 }
  26
  27 unsigned long long gs(void)
  28 {
  29     unsigned long long left = (LLONG_MAX - 2);
  30     return(left % (LLONG_MAX - 3));
  31 }
  32
  33 void testBug(void)
  34 {
  35     ASSERT (f() == (ULLONG_MAX - 2) / (ULLONG_MAX - 3));
  36     ASSERT (g() == (ULLONG_MAX - 2) % (ULLONG_MAX - 3));
  37     ASSERT (fs() == (LLONG_MAX - 2) / (LLONG_MAX - 3));
  38     ASSERT (gs() == (LLONG_MAX - 2) % (LLONG_MAX - 3));
  39 }
  40