1/* { dg-do run } */
2/* { dg-options "-std=gnu99 -fwrapv" } */
3
4#include "fix-types.h"
5
6extern void abort (void);
7extern void exit (int);
8
9typedef unsigned short _Fract fx_t;
10typedef unsigned short _Sat _Fract satfx_t;
11typedef unsigned char intfx_t;
12
13US_LFUN (us_add, +, fx_t, uhr, >)
14US_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
40satfx_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
50const volatile __flash intfx_t vals[] =
51  {
52    0, 1, 2, 0x7f, 0x80, 0x81, 0xff,
53    0x40, 0x3e, 0x3f, 0xbf, 0xc0, 0xc1
54  };
55
56
57int 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}
74