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

   1 /* bug 460000
   2    Right shift of negative values is implementation-defined by SDCC to arithmetic right shift.
   3  */
   4 #include <testfwk.h>
   5
   6 int
   7 func( int a )
   8 {
   9   return a;
  10 }
  11
  12 int x = -1024;
  13
  14 void
  15 testByteShift(void)
  16 {
  17   ASSERT(func( x >> 8 ) == -4);
  18   ASSERT(func( x / 256 ) == -4);
  19 }
  20
  21 void
  22 testOtherSignedShifts(void)
  23 {
  24   volatile int left;
  25
  26   left = -2345;
  27   ASSERT(left >> 3 == (-2345>>3));
  28   ASSERT(left >> 8 == (-2345>>8));
  29   ASSERT(left >> 9 == (-2345>>9));
  30 }
  31
  32 void
  33 testShiftByParam(void)
  34 {
  35   volatile int left, count;
  36
  37   left = -2345;
  38
  39   count = 3;
  40   ASSERT(left >> count == (-2345>>3));
  41   count = 8;
  42   ASSERT(left >> count == (-2345>>8));
  43   count = 9;
  44   ASSERT(left >> count == (-2345>>9));
  45 }