gcc/testsuite/gcc.dg/zero_sign_ext_test.c

   1 extern void abort (void);
   2
   3 /* { dg-options "-O2" } */
   4 /* { dg-do run } */
   5 /* { dg-require-effective-target int32plus } */
   6
   7 #define TYPE_MAX(type, sign)    \
   8   ((!sign) ? ((1 << (sizeof (type) * 8 - 1)) - 1) :     \
   9    ((1 << (sizeof (type) * 8)) - 1))
  10 #define TYPE_MIN(type, sign)    \
  11   ((!sign) ? -(1 << (sizeof (type) * 8 - 1)) : 0)
  12
  13 #define TEST_FN(NAME, ARG_TYPE, RET_TYPE, CAST_TYPE, VAL, VR_MIN, VR_MAX)\
  14   __attribute__((noinline, noclone)) RET_TYPE                           \
  15       NAME (ARG_TYPE arg){                                              \
  16       RET_TYPE ret = VAL;                                               \
  17       if (arg + 1 < VR_MIN || arg + 1 > VR_MAX) return ret;             \
  18       /* Value Range of arg at this point will be  [VR_min, VR_max].  */\
  19       arg = arg + VAL;                                                  \
  20       ret = (CAST_TYPE)arg;                                             \
  21       return arg;                                                       \
  22   }
  23
  24 /* Signed to signed conversion with value in-range.  */
  25 TEST_FN (foo1, short, short, char, 1, TYPE_MIN (char, 0), TYPE_MAX (char, 0));
  26 TEST_FN (foo2, short, short, char, 1, TYPE_MIN (char, 0) + 1,\
  27         TYPE_MAX (char, 0) - 1);
  28
  29 /* Signed to signed conversion with value not in-range.  */
  30 TEST_FN (foo3, short, short, char, -1, TYPE_MIN (short, 0) + 1,  100);
  31 TEST_FN (foo4, short, short, char, 1, 12, TYPE_MAX (short, 0) + 1);
  32
  33 /* Unsigned to unsigned conversion with value in-range.  */
  34 TEST_FN (foo5, unsigned short, unsigned short, unsigned char, 1,\
  35         TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 1) - 1);
  36 TEST_FN (foo6, unsigned short, unsigned short, unsigned char, 1,\
  37         TYPE_MIN (char, 1), TYPE_MAX (char, 1));
  38
  39 /* Unsigned to unsigned conversion with value not in-range.  */
  40 TEST_FN (foo7, unsigned short, unsigned short, unsigned char, 1,\
  41         TYPE_MIN (short, 1) + 1, TYPE_MAX (short, 1) - 1);
  42 TEST_FN (foo8, unsigned short, unsigned short, unsigned char, 1,\
  43         TYPE_MIN (short, 1), TYPE_MAX (short, 1));
  44
  45 /* Signed to unsigned conversion with value range positive.  */
  46 TEST_FN (foo9, short, short, unsigned char, -1, 1,\
  47         TYPE_MAX (char, 1) - 1);
  48 TEST_FN (foo10, short, short, unsigned char, 1, 0,\
  49         TYPE_MAX (char, 1));
  50
  51 /* Signed to unsigned conversion with value range negative.  */
  52 TEST_FN (foo11, short, short, unsigned char, 1,\
  53         TYPE_MIN (char, 0) + 1, TYPE_MAX (char, 0) - 1);
  54 TEST_FN (foo12, short, short, unsigned char, 1,\
  55         TYPE_MIN (char, 0), TYPE_MAX (char, 0));
  56
  57 /* Unsigned to Signed conversion with value range in signed equiv range.  */
  58 TEST_FN (foo13, unsigned short, unsigned short, char, 1,\
  59         TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 0) - 1);
  60 TEST_FN (foo14, unsigned short, unsigned short, char, 1,\
  61         TYPE_MIN (char, 1), TYPE_MAX (char, 0));
  62
  63 /* Unsigned to Signed conversion with value range not-in signed range.  */
  64 TEST_FN (foo15, unsigned short, unsigned short, char, 1,\
  65         TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 1) - 1);
  66 TEST_FN (foo16, unsigned short, unsigned short, char, 1,\
  67         TYPE_MIN (char, 1), TYPE_MAX (char, 1));
  68
  69 int main ()
  70 {
  71   /* Signed to signed conversion with value in-range.  */
  72   /* arg + 1.  */
  73   if (foo1 (-32) != -31)
  74     abort ();
  75   /* arg + 1.  */
  76   if (foo2 (32) != 33)
  77     abort ();
  78
  79   /* Signed to signed conversion with value not in-range.  */
  80   /* arg - 1.  */
  81   if (foo3 (-512) != -513)
  82     abort ();
  83   /* arg + 1.  */
  84   if (foo4 (512) != 513)
  85     abort ();
  86
  87   /* Unsigned to unsigned conversion with value in-range.  */
  88   /* arg + 1.  */
  89   if (foo5 (64) != 65)
  90     abort ();
  91   /* arg + 1.  */
  92   if (foo6 (64) != 65)
  93     abort ();
  94
  95   /* Unsigned to unsigned conversion with value not in-range.  */
  96   /* arg + 1.  */
  97   if (foo7 (512) != 513)
  98     abort ();
  99   /* arg + 1.  */
 100   if (foo8 (512) != 513)
 101     abort ();
 102
 103   /* Signed to unsigned conversion with value range positive.  */
 104   /* arg - 1.  */
 105   if (foo9 (2) != 1)
 106     abort ();
 107   /* arg + 1.  */
 108   if (foo10 (2) != 3)
 109     abort ();
 110
 111   /* Signed to unsigned conversion with value range negative.  */
 112   /* arg + 1.  */
 113   if (foo11 (-125) != -124)
 114     abort ();
 115   /* arg + 1.  */
 116   if (foo12 (-125) != -124)
 117     abort ();
 118
 119   /* Unsigned to Signed conversion with value range in signed equiv range.  */
 120   /* arg + 1.  */
 121   if (foo13 (125) != 126)
 122     abort ();
 123   /* arg + 1.  */
 124   if (foo14 (125) != 126)
 125     abort ();
 126
 127   /* Unsigned to Signed conversion with value range not-in signed range.  */
 128   /* arg + 1.  */
 129   if (foo15 (250) != 251)
 130     abort ();
 131   /* arg + 1.  */
 132   if (foo16 (250) != 251)
 133     abort ();
 134
 135   return 0;
 136 }
 137