1  /* { dg-do run { target { ! avr_tiny } } } */
       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 unsigned short _Fract fx_t;
      10  typedef unsigned short _Sat _Fract satfx_t;
      11  typedef unsigned char intfx_t;
      12  
      13  US_LFUN (us_add, +, fx_t, uhr, >)
      14  US_LFUN (us_sub, -, fx_t, uhr, <)
      15  
      16  #define VAL(N, X)                               \
      17    __attribute__((noinline,noclone))             \
      18    satfx_t us_add2_##N (satfx_t a)               \
      19    {                                             \
      20      return us_add_uhr (a, X##P##-##8uhr);       \
      21    }                                             \
      22    __attribute__((noinline,noclone))             \
      23    satfx_t us_add_##N (satfx_t a)                \
      24    {                                             \
      25      return a + X##P##-##8uhr;                   \
      26    }                                             \
      27    __attribute__((noinline,noclone))             \
      28    satfx_t us_sub2_##N (satfx_t a)               \
      29    {                                             \
      30      return us_sub_uhr (a, X##P##-##8uhr);       \
      31    }                                             \
      32    __attribute__((noinline,noclone))             \
      33    satfx_t us_sub_##N (satfx_t a)                \
      34    {                                             \
      35      return a - X##P##-##8uhr;                   \
      36    }
      37  #include "vals-uhr.def"
      38  #undef VAL
      39  
      40  satfx_t (* __flash const fun[])(satfx_t) =
      41  {
      42  #define VAL(N, X)                               \
      43    us_add_##N, us_add2_##N,                      \
      44    us_sub_##N, us_sub2_##N,
      45  #include "vals-uhr.def"
      46  #undef VAL
      47  };
      48  
      49  
      50  const volatile __flash intfx_t vals[] =
      51    {
      52      0, 1, 2, 0x7f, 0x80, 0x81, 0xff,
      53      0x40, 0x3e, 0x3f, 0xbf, 0xc0, 0xc1
      54    };
      55  
      56  
      57  int main (void)
      58  {
      59    for (unsigned int i = 0; i < sizeof (vals) / sizeof (*vals); i++)
      60      {
      61        satfx_t a, f1, f2;
      62        intfx_t val = vals[i];
      63        __builtin_memcpy (&a, &val, sizeof (satfx_t));
      64        for (unsigned int f = 0; f < sizeof (fun) / sizeof (*fun); f += 2)
      65          {
      66            if (fun[f](a) != fun[f+1](a))
      67              abort();
      68          }
      69      }
      70  
      71    exit (0);
      72    return 0;
      73  }