gcc/testsuite/gcc.target/avr/torture/sat-k-plus-minus.c

   1 /* { dg-do run } */
   2 /* { dg-options "-std=gnu99 -fwrapv" } */
   3
   4 #include "fix-types.h"
   5
   6 extern void abort (void);
   7 extern void exit (int);
   8
   9 typedef _Accum fx_t;
  10 typedef _Sat _Accum satfx_t;
  11 typedef long intfx_t;
  12
  13 SS_FUN (ss_add, +, fx_t, k)
  14 SS_FUN (ss_sub, -, fx_t, k)
  15
  16 #define VAL(N, X)                               \
  17   __attribute__((noinline,noclone))             \
  18   satfx_t ss_add2_##N (satfx_t a)               \
  19   {                                             \
  20     return ss_add_k (a, X##P##-##16k);          \
  21   }                                             \
  22   __attribute__((noinline,noclone))             \
  23   satfx_t ss_add_##N (satfx_t a)                \
  24   {                                             \
  25     return a + X##P##-##16k;                    \
  26   }                                             \
  27   __attribute__((noinline,noclone))             \
  28   satfx_t ss_sub2_##N (satfx_t a)               \
  29   {                                             \
  30     return ss_sub_k (a, X##P##-##16k);          \
  31   }                                             \
  32   __attribute__((noinline,noclone))             \
  33   satfx_t ss_sub_##N (satfx_t a)                \
  34   {                                             \
  35     return a - X##P##-##16k;                    \
  36   }
  37 #include "vals-k.def"
  38 #undef VAL
  39
  40 __attribute__((noinline,noclone))
  41 satfx_t ss_add2_99 (satfx_t a)
  42 {
  43   return ss_add_k (a, __ACCUM_MIN__);
  44 }
  45
  46 __attribute__((noinline,noclone))
  47 satfx_t ss_add_99 (satfx_t a)
  48 {
  49   return a + __ACCUM_MIN__;
  50 }
  51
  52 __attribute__((noinline,noclone))
  53 satfx_t ss_sub2_99 (satfx_t a)
  54 {
  55   return ss_sub_k (a, __ACCUM_MIN__);
  56 }
  57
  58 __attribute__((noinline,noclone))
  59 satfx_t ss_sub_99 (satfx_t a)
  60 {
  61   return a - __ACCUM_MIN__;
  62 }
  63
  64
  65 satfx_t (* __flash const fun[])(satfx_t) =
  66 {
  67 #define VAL(N, X)                               \
  68   ss_add_##N, ss_add2_##N,                      \
  69   ss_sub_##N, ss_sub2_##N,
  70 #include "vals-k.def"
  71   VAL (99,)
  72 #undef VAL
  73 };
  74
  75
  76 const volatile __flash intfx_t vals[] =
  77   {
  78     0, -1, 1, -2, 2, -127, -128, -129,
  79     0x7f, 0x80, 0x81, 0x100,
  80     0x40000000, 0x3e800000, 0x3f800000,
  81     0x7ffffffe, 0x7fffffff, 0x7f800000,
  82     0x7f7f7f7f, 0x7f810080, 0x7f008000,
  83     0x7f000001,
  84     0x80000000, 0x80000001, 0x80808080,
  85     0x80810000, 0x80ffffff, 0x80fffffe,
  86     0x81000000, 0x81800000, 0x81800000,
  87     0xff000000, 0xffffff01, 0xffffff80,
  88     0xffffff7f, 0xff80ff80
  89   };
  90
  91
  92 int main (void)
  93 {
  94   for (unsigned int i = 0; i < sizeof (vals) / sizeof (*vals); i++)
  95     {
  96       satfx_t a, f1, f2;
  97       intfx_t val = vals[i];
  98       __builtin_memcpy (&a, &val, sizeof (satfx_t));
  99       for (unsigned int f = 0; f < sizeof (fun) / sizeof (*fun); f += 2)
 100         {
 101           if (fun[f](a) != fun[f+1](a))
 102             abort();
 103         }
 104     }
 105
 106   exit (0);
 107   return 0;
 108 }