diff options
| author | Martin Liska <mliska@suse.cz> | 2020-10-12 12:54:31 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2020-10-12 15:23:20 +0200 |
| commit | bd28b730cf35dbeeb2b26aa17397163bbbb0ca9e (patch) | |
| tree | b97374ae42f110294f8e7a0d426eedc358f48b70 /gcc | |
| parent | a7825bb6556da6fa991b7ea1b72e3851026dc2cd (diff) | |
| download | gcc-bd28b730cf35dbeeb2b26aa17397163bbbb0ca9e.zip gcc-bd28b730cf35dbeeb2b26aa17397163bbbb0ca9e.tar.gz gcc-bd28b730cf35dbeeb2b26aa17397163bbbb0ca9e.tar.bz2 | |
SLP: fix SVE issues
The patch fixes the following 2 issues:
.MASK_STORE_LANES (&a, 4B, max_mask_34, vect_array.12);
here we miss to return the last argument as stored value.
ivtmp_32 = ivtmp_31 + POLY_INT_CST [4, 4];
here we miss a bail out in vect_recog_over_widening_pattern.
gcc/ChangeLog:
PR tree-optimization/97079
* internal-fn.c (internal_fn_stored_value_index): Handle also
.MASK_STORE_LANES.
* tree-vect-patterns.c (vect_recog_over_widening_pattern): Bail
out for unsupported TREE_TYPE.
gcc/testsuite/ChangeLog:
PR tree-optimization/97079
* gcc.target/aarch64/sve/pr97079.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/internal-fn.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/aarch64/sve/pr97079.c | 22 | ||||
| -rw-r--r-- | gcc/tree-vect-patterns.c | 2 |
3 files changed, 25 insertions, 0 deletions
diff --git a/gcc/internal-fn.c b/gcc/internal-fn.c index 92cb3cd..792d2ca 100644 --- a/gcc/internal-fn.c +++ b/gcc/internal-fn.c @@ -3795,6 +3795,7 @@ internal_fn_stored_value_index (internal_fn fn) switch (fn) { case IFN_MASK_STORE: + case IFN_MASK_STORE_LANES: case IFN_SCATTER_STORE: case IFN_MASK_SCATTER_STORE: case IFN_LEN_STORE: diff --git a/gcc/testsuite/gcc.target/aarch64/sve/pr97079.c b/gcc/testsuite/gcc.target/aarch64/sve/pr97079.c new file mode 100644 index 0000000..06e6a7c --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/sve/pr97079.c @@ -0,0 +1,22 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -march=armv8.2-a+sve" } */ + +void g(void); + +int a[8][3]; +int b; +void c(void) +{ + int d[] = {7, 3}; + int *e = a[0]; + int f; + b = 0; + for (; b < 8; b++) + { + f = 0; + for (; f < 3; f++) + a[b][f] = 0; + } + g(); + *e = (long)d; +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index bc5f2e6..ac56ace 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -1638,6 +1638,8 @@ vect_recog_over_widening_pattern (vec_info *vinfo, single_use_p |= op_single_use_p; } } + else + return NULL; } /* Although the operation could be done in operation_precision, we have |