Viewing file: slp_7_costly.c (1.29 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* { dg-do compile } */ /* { dg-options "-O2 -ftree-vectorize -msve-vector-bits=scalable -ffast-math -fno-vect-cost-model" } */
#include <stdint.h>
#define VEC_PERM(TYPE) \ void __attribute__ ((noinline, noclone)) \ vec_slp_##TYPE (TYPE *restrict a, TYPE *restrict b, int n) \ { \ TYPE x0 = b[0]; \ TYPE x1 = b[1]; \ TYPE x2 = b[2]; \ TYPE x3 = b[3]; \ for (int i = 0; i < n; ++i) \ { \ x0 += a[i * 4]; \ x1 += a[i * 4 + 1]; \ x2 += a[i * 4 + 2]; \ x3 += a[i * 4 + 3]; \ } \ b[0] = x0; \ b[1] = x1; \ b[2] = x2; \ b[3] = x3; \ }
#define TEST_ALL(T) \ T (int64_t) \ T (uint64_t) \ T (double)
TEST_ALL (VEC_PERM)
/* We can't use SLP for the 64-bit loops, since the number of reduction results might be greater than the number of elements in the vector. */ /* { dg-final { scan-assembler-times {\tld4d\t} 3 } } */ /* { dg-final { scan-assembler-not {\tld1d\t} } } */ /* { dg-final { scan-assembler-times {\tuaddv\td[0-9]+, p[0-7], z[0-9]+\.d} 8 } } */ /* { dg-final { scan-assembler-times {\tfaddv\td[0-9]+, p[0-7], z[0-9]+\.d} 4 } } */
/* { dg-final { scan-assembler-times {\twhilelo\tp[0-7]\.d} 6 } } */
/* { dg-final { scan-assembler-not {\tuqdec} } } */
|