gcc/testsuite/c-c++-common/torture/builtin-arith-overflow-7.c

   1 /* Test __builtin_{add,sub}_overflow on {,un}signed char.  */
   2 /* { dg-do run } */
   3 /* { dg-skip-if "" { ! run_expensive_tests }  { "*" } { "-O0" "-O2" } } */
   4
   5 #define UCHAR_MAX ((unsigned char) ~0)
   6 #ifndef SHIFT
   7 typedef signed char S;
   8 typedef unsigned char U;
   9 typedef int W;
  10 #define SHIFT 0
  11 #define S_MAX __SCHAR_MAX__
  12 #define S_MIN (-__SCHAR_MAX__ - 1)
  13 #define COND (__SIZEOF_INT__ > 1)
  14 #endif
  15
  16 #define F(n, t1, t2, tr, b) \
  17 __attribute__((noinline, noclone)) tr           \
  18 n (t1 x, t2 y, int *ovf)                        \
  19 {                                               \
  20   tr res;                                       \
  21   *ovf = __builtin_##b##_overflow (x, y, &res); \
  22   return res;                                   \
  23 }
  24
  25 F (spses, S, S, S, add)
  26 F (upueu, U, U, U, add)
  27 F (spseu, S, S, U, add)
  28 F (upues, U, U, S, add)
  29 F (spues, S, U, S, add)
  30 F (upses, U, S, S, add)
  31 F (spueu, S, U, U, add)
  32 F (upseu, U, S, U, add)
  33 F (ssses, S, S, S, sub)
  34 F (usueu, U, U, U, sub)
  35 F (ssseu, S, S, U, sub)
  36 F (usues, U, U, S, sub)
  37 F (ssues, S, U, S, sub)
  38 F (usses, U, S, S, sub)
  39 F (ssueu, S, U, U, sub)
  40 F (usseu, U, S, U, sub)
  41
  42 int
  43 main ()
  44 {
  45 #if COND
  46   int i, j;
  47   for (i = 0; i < UCHAR_MAX; i++)
  48     for (j = 0; j < UCHAR_MAX; j++)
  49       {
  50         S s1 = ((W) i << SHIFT) + S_MIN;
  51         U u1 = ((W) i << SHIFT);
  52         S s2 = ((W) j << SHIFT) + S_MIN;
  53         U u2 = ((W) j << SHIFT);
  54         W w;
  55         int ovf;
  56 #define T(n, t1, t2, tr, op) \
  57         w = ((W) t1##1) op ((W) t2##2);         \
  58         if (n (t1##1, t2##2, &ovf) != (tr) w    \
  59             || ovf != (w != (tr) w))            \
  60           __builtin_abort ();
  61         T (spses, s, s, S, +)
  62         T (upueu, u, u, U, +)
  63         T (spseu, s, s, U, +)
  64         T (upues, u, u, S, +)
  65         T (spues, s, u, S, +)
  66         T (upses, u, s, S, +)
  67         T (spueu, s, u, U, +)
  68         T (upseu, u, s, U, +)
  69         T (ssses, s, s, S, -)
  70         T (usueu, u, u, U, -)
  71         T (ssseu, s, s, U, -)
  72         T (usues, u, u, S, -)
  73         T (ssues, s, u, S, -)
  74         T (usses, u, s, S, -)
  75         T (ssueu, s, u, U, -)
  76         T (usseu, u, s, U, -)
  77       }
  78 #endif
  79   return 0;
  80 }