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