1 /* { dg-require-effective-target vect_int } */
10 unsigned short X[N] __attribute__ ((__aligned__(16)));
11 unsigned short Y[N] __attribute__ ((__aligned__(16)));
13 /* short->int->int dot product.
14 Currently not detected as a dot-product pattern: the multiplication
15 promotes the ushorts to int, and then the product is promoted to unsigned
16 int for the addition. Which results in an int->unsigned int cast, which
17 since no bits are modified in the cast should be trivially vectorizable. */
18 __attribute__ ((noinline)) unsigned int
21 unsigned int result = 0;
23 for (i=0; i<len; i++) {
24 result += (X[i] * Y[i]);
49 /* { dg-final { scan-tree-dump-times "vect_recog_dot_prod_pattern: detected" 1 "vect" { xfail *-*-* } } } */
51 /* Once the dot-product pattern is detected, we expect
52 that loop to be vectorized on vect_udot_hi targets (targets that support
53 dot-product of unsigned shorts) and targets that support widening multiplication. */
54 /* The induction loop in main is vectorized. */
55 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 2 "vect" { xfail *-*-* } } } */
56 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_pack_trunc } } } */
58 /* { dg-final { cleanup-tree-dump "vect" } } */