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 _Accum fx_t; 10typedef unsigned _Sat _Accum satfx_t; 11typedef unsigned long intfx_t; 12 13US_LFUN (us_add, +, fx_t, uk, >) 14US_LFUN (us_sub, -, fx_t, uk, <) 15 16#define VAL(N, X) \ 17 __attribute__((noinline,noclone)) \ 18 satfx_t us_add2_##N (satfx_t a) \ 19 { \ 20 return us_add_uk (a, X##P##-##16uk); \ 21 } \ 22 __attribute__((noinline,noclone)) \ 23 satfx_t us_add_##N (satfx_t a) \ 24 { \ 25 return a + X##P##-##16uk; \ 26 } \ 27 __attribute__((noinline,noclone)) \ 28 satfx_t us_sub2_##N (satfx_t a) \ 29 { \ 30 return us_sub_uk (a, X##P##-##16uk); \ 31 } \ 32 __attribute__((noinline,noclone)) \ 33 satfx_t us_sub_##N (satfx_t a) \ 34 { \ 35 return a - X##P##-##16uk; \ 36 } 37#include "vals-uk.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-uk.def" 46#undef VAL 47}; 48 49 50const volatile __flash intfx_t vals[] = 51 { 52 0, -1, 1, -2, 2, -127, -128, -129, 53 0x7f, 0x80, 0x81, 0x100, 54 0x40000000, 0x3e800000, 0x3f800000, 55 0x7ffffffe, 0x7fffffff, 0x7f800000, 56 0x7f7f7f7f, 0x7f810080, 0x7f008000, 57 0x7f000001, 58 0x80000000, 0x80000001, 0x80808080, 59 0x80810000, 0x80ffffff, 0x80fffffe, 60 0x81000000, 0x81800000, 0x81800000, 61 0xff000000, 0xffffff01, 0xffffff80, 62 0xffffff7f, 0xff80ff80 63 }; 64 65 66int main (void) 67{ 68 for (unsigned int i = 0; i < sizeof (vals) / sizeof (*vals); i++) 69 { 70 satfx_t a, f1, f2; 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) 74 { 75 if (fun[f](a) != fun[f+1](a)) 76 abort(); 77 } 78 } 79 80 exit (0); 81 return 0; 82} 83