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

   1 /*
   2    20040311-1.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 /* Copyright (C) 2004 Free Software Foundation.
  12
  13    Check that constant folding and RTL simplification of -(x >> y) doesn't
  14    break anything and produces the expected results.
  15
  16    Written by Roger Sayle, 11th March 2004.  */
  17
  18 #define INT_BITS  (sizeof(int)*8)
  19
  20 int ftest1(int x)
  21 {
  22   return -(x >> (INT_BITS-1));
  23 }
  24
  25 int ftest2(unsigned int x)
  26 {
  27   return -((int)(x >> (INT_BITS-1)));
  28 }
  29
  30 int ftest3(int x)
  31 {
  32   int y;
  33   y = INT_BITS-1;
  34   return -(x >> y);
  35 }
  36
  37 int ftest4(unsigned int x)
  38 {
  39   int y;
  40   y = INT_BITS-1;
  41   return -((int)(x >> y));
  42 }
  43
  44 void
  45 testTortureExecute (void)
  46 {
  47   if (ftest1(0) != 0)
  48     ASSERT (0);
  49   if (ftest1(1) != 0)
  50     ASSERT (0);
  51   if (ftest1(-1) != 1)
  52     ASSERT (0);
  53
  54   if (ftest2(0) != 0)
  55     ASSERT (0);
  56   if (ftest2(1) != 0)
  57     ASSERT (0);
  58   if (ftest2((unsigned int)-1) != -1)
  59     ASSERT (0);
  60
  61   if (ftest3(0) != 0)
  62     ASSERT (0);
  63   if (ftest3(1) != 0)
  64     ASSERT (0);
  65   if (ftest3(-1) != 1)
  66     ASSERT (0);
  67
  68   if (ftest4(0) != 0)
  69     ASSERT (0);
  70   if (ftest4(1) != 0)
  71     ASSERT (0);
  72   if (ftest4((unsigned int)-1) != -1)
  73     ASSERT (0);
  74
  75   return;
  76 }
  77