| /* { dg-xfail-run-if "" { { i?86-*-* x86_64-*-* } && ia32 } } */ |
| /* { dg-require-effective-target vect_double } */ |
| /* { dg-add-options ieee } */ |
| /* { dg-additional-options "-fno-fast-math" } */ |
| |
| #include "tree-vect.h" |
| |
| #define N (VECTOR_BITS * 17) |
| |
| double __attribute__ ((noinline, noclone)) |
| reduc_plus_double (double *a, double *b) |
| { |
| double r = 0, q = 3; |
| for (int i = 0; i < N; i++) |
| { |
| r += a[i]; |
| q -= b[i]; |
| } |
| return r * q; |
| } |
| |
| int __attribute__ ((optimize (1))) |
| main () |
| { |
| double a[N]; |
| double b[N]; |
| double r = 0, q = 3; |
| for (int i = 0; i < N; i++) |
| { |
| a[i] = (i * 0.1) * (i & 1 ? 1 : -1); |
| b[i] = (i * 0.3) * (i & 1 ? 1 : -1); |
| r += a[i]; |
| q -= b[i]; |
| asm volatile ("" ::: "memory"); |
| } |
| double res = reduc_plus_double (a, b); |
| if (res != r * q) |
| __builtin_abort (); |
| return 0; |
| } |
| |
| /* { dg-final { scan-tree-dump-times {using an in-order \(fold-left\) reduction} 2 "vect" } } */ |