2 /* { dg-options "-std=gnu99 -fwrapv" } */
6 extern void abort (void);
7 extern void exit (int);
9 typedef unsigned _Fract fx_t
;
10 typedef unsigned _Sat _Fract satfx_t
;
11 typedef unsigned int intfx_t
;
13 US_LFUN (us_add
, +, fx_t
, ur
, >)
14 US_LFUN (us_sub
, -, fx_t
, ur
, <)
17 __attribute__((noinline,noclone)) \
18 satfx_t us_add2_##N (satfx_t a) \
20 return us_add_ur (a, X##P##-##16ur); \
22 __attribute__((noinline,noclone)) \
23 satfx_t us_add_##N (satfx_t a) \
25 return a + X##P##-##16ur; \
27 __attribute__((noinline,noclone)) \
28 satfx_t us_sub2_##N (satfx_t a) \
30 return us_sub_ur (a, X##P##-##16ur); \
32 __attribute__((noinline,noclone)) \
33 satfx_t us_sub_##N (satfx_t a) \
35 return a - X##P##-##16ur; \
37 #include "vals-ur.def"
40 satfx_t (* __flash
const fun
[])(satfx_t
) =
43 us_add_##N, us_add2_##N, \
44 us_sub_##N, us_sub2_##N,
45 #include "vals-ur.def"
50 const volatile __flash intfx_t vals
[] =
52 0, -1, 1, -2, 2, -127, -128, -129,
53 0x7f, 0x80, 0x81, 0x100,
54 0x4000, 0x3e80, 0x3f80,
56 0x7f7f, 0x7f81, 0x7f80,
58 0x8000, 0x8001, 0x8080,
59 0x8081, 0x80ff, 0x80fe,
60 0x8100, 0x8180, 0x817f,
61 0xff00, 0xff01, 0xff01,
68 for (unsigned int i
= 0; i
< sizeof (vals
) / sizeof (*vals
); i
++)
71 intfx_t val
= vals
[i
];
72 __builtin_memcpy (&a
, &val
, sizeof (satfx_t
));
73 for (unsigned int f
= 0; f
< sizeof (fun
) / sizeof (*fun
); f
+= 2)
75 if (fun
[f
](a
) != fun
[f
+1](a
))