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

   1 /*
   2 cmpsi-1.c from the execute part of the gcc torture tests.
   3 */
   4
   5 #include <testfwk.h>
   6
   7 void dummy (void) {}
   8
   9 int
  10 f1 (unsigned int x, unsigned int y)
  11 {
  12   if (x == 0)
  13     dummy ();
  14   x -= y;
  15   /* 0xfffffff2 < 0x80000000? */
  16   ASSERT(!(x < ~(~(unsigned int) 0 >> 1)));
  17   return x;
  18 }
  19
  20 int
  21 f2 (unsigned long int x, unsigned long int y)
  22 {
  23   if (x == 0)
  24     dummy ();
  25   x -= y;
  26   /* 0xfffffff2 < 0x80000000? */
  27   ASSERT(!(x < ~(~(unsigned long int) 0 >> 1)));
  28   return x;
  29 }
  30
  31 void
  32 testTortureExecute (void)
  33 {
  34   /*      0x7ffffff3                    0x80000001 */
  35   f1 ((~(unsigned int) 0 >> 1) - 12, ~(~(unsigned int) 0 >> 1) + 1);
  36   f2 ((~(unsigned long int) 0 >> 1) - 12, ~(~(unsigned long int) 0 >> 1) + 1);
  37   return;
  38 }