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 _Accum fx_t; 10typedef _Sat _Accum satfx_t; 11typedef long intfx_t; 12 13SS_FUN (ss_add, +, fx_t, k) 14SS_FUN (ss_sub, -, fx_t, k) 15 16#define VAL(N, X) \ 17 __attribute__((noinline,noclone)) \ 18 satfx_t ss_add2_##N (satfx_t a) \ 19 { \ 20 return ss_add_k (a, X##P##-##16k); \ 21 } \ 22 __attribute__((noinline,noclone)) \ 23 satfx_t ss_add_##N (satfx_t a) \ 24 { \ 25 return a + X##P##-##16k; \ 26 } \ 27 __attribute__((noinline,noclone)) \ 28 satfx_t ss_sub2_##N (satfx_t a) \ 29 { \ 30 return ss_sub_k (a, X##P##-##16k); \ 31 } \ 32 __attribute__((noinline,noclone)) \ 33 satfx_t ss_sub_##N (satfx_t a) \ 34 { \ 35 return a - X##P##-##16k; \ 36 } 37#include "vals-k.def" 38#undef VAL 39 40__attribute__((noinline,noclone)) 41satfx_t ss_add2_99 (satfx_t a) 42{ 43 return ss_add_k (a, __ACCUM_MIN__); 44} 45 46__attribute__((noinline,noclone)) 47satfx_t ss_add_99 (satfx_t a) 48{ 49 return a + __ACCUM_MIN__; 50} 51 52__attribute__((noinline,noclone)) 53satfx_t ss_sub2_99 (satfx_t a) 54{ 55 return ss_sub_k (a, __ACCUM_MIN__); 56} 57 58__attribute__((noinline,noclone)) 59satfx_t ss_sub_99 (satfx_t a) 60{ 61 return a - __ACCUM_MIN__; 62} 63 64 65satfx_t (* __flash const fun[])(satfx_t) = 66{ 67#define VAL(N, X) \ 68 ss_add_##N, ss_add2_##N, \ 69 ss_sub_##N, ss_sub2_##N, 70#include "vals-k.def" 71 VAL (99,) 72#undef VAL 73}; 74 75 76const volatile __flash intfx_t vals[] = 77 { 78 0, -1, 1, -2, 2, -127, -128, -129, 79 0x7f, 0x80, 0x81, 0x100, 80 0x40000000, 0x3e800000, 0x3f800000, 81 0x7ffffffe, 0x7fffffff, 0x7f800000, 82 0x7f7f7f7f, 0x7f810080, 0x7f008000, 83 0x7f000001, 84 0x80000000, 0x80000001, 0x80808080, 85 0x80810000, 0x80ffffff, 0x80fffffe, 86 0x81000000, 0x81800000, 0x81800000, 87 0xff000000, 0xffffff01, 0xffffff80, 88 0xffffff7f, 0xff80ff80 89 }; 90 91 92int main (void) 93{ 94 for (unsigned int i = 0; i < sizeof (vals) / sizeof (*vals); i++) 95 { 96 satfx_t a, f1, f2; 97 intfx_t val = vals[i]; 98 __builtin_memcpy (&a, &val, sizeof (satfx_t)); 99 for (unsigned int f = 0; f < sizeof (fun) / sizeof (*fun); f += 2) 100 { 101 if (fun[f](a) != fun[f+1](a)) 102 abort(); 103 } 104 } 105 106 exit (0); 107 return 0; 108} 109