|
131
|
1 /* { dg-require-effective-target vect_int } */
|
|
|
2
|
|
|
3 #include "tree-vect.h"
|
|
|
4
|
|
|
5 #define N 50
|
|
|
6
|
|
|
7 #ifndef SIGNEDNESS_1
|
|
|
8 #define SIGNEDNESS_1 unsigned
|
|
|
9 #define SIGNEDNESS_2 unsigned
|
|
|
10 #define SIGNEDNESS_3 unsigned
|
|
|
11 #endif
|
|
|
12
|
|
|
13 SIGNEDNESS_1 int __attribute__ ((noipa))
|
|
|
14 f (SIGNEDNESS_1 int res, SIGNEDNESS_3 char *restrict a,
|
|
|
15 SIGNEDNESS_3 char *restrict b)
|
|
|
16 {
|
|
|
17 for (__INTPTR_TYPE__ i = 0; i < N; ++i)
|
|
|
18 {
|
|
|
19 int av = a[i];
|
|
|
20 int bv = b[i];
|
|
|
21 SIGNEDNESS_2 short mult = av * bv;
|
|
|
22 res += mult;
|
|
|
23 }
|
|
|
24 return res;
|
|
|
25 }
|
|
|
26
|
|
|
27 #define BASE ((SIGNEDNESS_3 int) -1 < 0 ? -126 : 4)
|
|
|
28 #define OFFSET 20
|
|
|
29
|
|
|
30 int
|
|
|
31 main (void)
|
|
|
32 {
|
|
|
33 check_vect ();
|
|
|
34
|
|
|
35 SIGNEDNESS_3 char a[N], b[N];
|
|
|
36 int expected = 0x12345;
|
|
|
37 for (int i = 0; i < N; ++i)
|
|
|
38 {
|
|
|
39 a[i] = BASE + i * 5;
|
|
|
40 b[i] = BASE + OFFSET + i * 4;
|
|
|
41 asm volatile ("" ::: "memory");
|
|
|
42 expected += (SIGNEDNESS_2 short) (a[i] * b[i]);
|
|
|
43 }
|
|
|
44 if (f (0x12345, a, b) != expected)
|
|
|
45 __builtin_abort ();
|
|
|
46 }
|
|
|
47
|
|
|
48 /* { dg-final { scan-tree-dump "vect_recog_dot_prod_pattern: detected" "vect" } } */
|
|
|
49 /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" { target vect_sdot_qi } } } */
|
