annotate gcc/testsuite/gcc.dg/vect/vect-reduc-dot-s8a.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-require-effective-target vect_int } */
kono
parents:
diff changeset
2 /* { dg-require-effective-target arm_v8_2a_dotprod_neon_hw { target { aarch64*-*-* || arm*-*-* } } } */
kono
parents:
diff changeset
3 /* { dg-additional-options "-march=armv8.2-a+dotprod" { target { aarch64*-*-* } } } */
kono
parents:
diff changeset
4 /* { dg-add-options arm_v8_2a_dotprod_neon } */
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 #include <stdarg.h>
kono
parents:
diff changeset
7 #include "tree-vect.h"
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 #define N 64
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 #define DOT1 43680
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 signed char X[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
kono
parents:
diff changeset
14 signed char Y[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 /* char->short->int dot product.
kono
parents:
diff changeset
17 The dot-product pattern should be detected.
kono
parents:
diff changeset
18 Vectorizable on vect_sdot_qi targets (targets that support dot-product of
kono
parents:
diff changeset
19 signed chars).
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 In the future could also be vectorized as widening-mult + widening-summation,
kono
parents:
diff changeset
22 or with type-conversion support.
kono
parents:
diff changeset
23 */
kono
parents:
diff changeset
24 __attribute__ ((noinline)) int
kono
parents:
diff changeset
25 foo1(int len) {
kono
parents:
diff changeset
26 int i;
kono
parents:
diff changeset
27 int result = 0;
kono
parents:
diff changeset
28 short prod;
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 for (i=0; i<len; i++) {
kono
parents:
diff changeset
31 prod = X[i] * Y[i];
kono
parents:
diff changeset
32 result += prod;
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34 return result;
kono
parents:
diff changeset
35 }
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 int main (void)
kono
parents:
diff changeset
38 {
kono
parents:
diff changeset
39 int i, dot1;
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 check_vect ();
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 for (i=0; i<N; i++) {
kono
parents:
diff changeset
44 X[i] = i;
kono
parents:
diff changeset
45 Y[i] = 64-i;
kono
parents:
diff changeset
46 __asm__ volatile ("");
kono
parents:
diff changeset
47 }
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 dot1 = foo1 (N);
kono
parents:
diff changeset
50 if (dot1 != DOT1)
kono
parents:
diff changeset
51 abort ();
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 return 0;
kono
parents:
diff changeset
54 }
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 /* { dg-final { scan-tree-dump-times "vect_recog_dot_prod_pattern: detected" 1 "vect" } } */
kono
parents:
diff changeset
57 /* { dg-final { scan-tree-dump-times "vect_recog_widen_mult_pattern: detected" 1 "vect" } } */
kono
parents:
diff changeset
58 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_sdot_qi } } } */
kono
parents:
diff changeset
59 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_widen_mult_qi_to_hi && vect_widen_sum_hi_to_si } } } } */
kono
parents:
diff changeset
60