PR target/55146
[official-gcc.git] / gcc / testsuite / gcc.dg / vect / vect-80-big-array.c
blob611d8260d4d6aad3aa73eccf1138831ea89c636c
1 /* { dg-require-effective-target vect_float } */
3 #include <stdarg.h>
4 #include "tree-vect.h"
6 #define N 128
8 float fa[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
9 float fb[N+4] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
10 float fc[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
12 /* Check handling of accesses for which the "initial condition" -
13 the expression that represents the first location accessed - is
14 more involved than just an ssa_name. */
16 volatile int y = 0;
18 __attribute__ ((noinline)) int
19 main1 (float * __restrict__ pa, float * __restrict__ pb, float *__restrict__ pc)
21 int i;
22 float *q = pb + 4;
23 for (i = 0; i < N; i++)
25 fb[i] = i;
26 fc[i] = 0.5+i;
27 if (y)
28 abort ();
30 for (; i < N+4; i++)
32 fb[i] = i;
33 if (y)
34 abort ();
37 for (i = 0; i < N; i++)
39 pa[i] = q[i] * pc[i];
42 for (i = 0; i < N; i++)
44 if (pa[i] != q[i] * pc[i])
45 abort ();
48 return 0;
52 int main (void)
54 check_vect ();
56 main1 (fa, fb, fc);
58 return 0;
61 /* For targets that don't support misaligned loads we version for the
62 all three accesses (peeling to align the store will not force the
63 two loads to be aligned). */
65 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
66 /* Uncomment when this testcase gets vectorized again:
67 dg-final { scan-tree-dump-times "Vectorizing an unaligned access" 2 "vect" { xfail vect_no_align } }
68 dg-final { scan-tree-dump-times "Alignment of access forced using peeling" 1 "vect" { xfail vect_no_align } }
69 dg-final { scan-tree-dump-times "Alignment of access forced using versioning." 3 "vect" { target vect_no_align } }
71 /* { dg-final { cleanup-tree-dump "vect" } } */