Match: Support form 1 for scalar signed integer .SAT_ADD
[official-gcc.git] / gcc / testsuite / gcc.dg / vect / vect-double-reduc-6.c
blobd1d1faf7c3add6ce2c3378d4d094bf0fc2aba046
1 /* { dg-require-effective-target vect_int_mult } */
3 #include <stdarg.h>
4 #include "tree-vect.h"
6 #define K 4
8 int in[2*K][K] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
9 int out[K];
10 int check_result[K] = {0,16,256,4096};
12 __attribute__ ((noinline)) void
13 foo ()
15 int sum;
16 int i, j, k;
18 for (k = 0; k < K; k++)
20 sum = 1;
21 for (j = 0; j < K; j++)
22 #pragma GCC unroll 0
23 for (i = 0; i < K; i++)
24 sum *= in[i+k][j];
25 out[k] = sum;
29 int main ()
31 int i, j, k;
33 check_vect ();
35 for (i = 0; i < 2*K; i++)
36 for (j = 0; j < K; j++)
37 in[i][j] = (i+2)/3;
39 foo();
41 #pragma GCC novector
42 for (k = 0; k < K; k++)
43 if (out[k] != check_result[k])
44 abort ();
46 return 0;
49 /* { dg-final { scan-tree-dump-times "OUTER LOOP VECTORIZED" 1 "vect" } } */