From: Richard Sandiford Date: Thu, 9 Nov 2017 15:18:32 +0000 (+0000) Subject: Add a vect_variable_length target selector X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=32c7bafd50e6553f2f79858cf365907979d5eb2a;p=gcc.git Add a vect_variable_length target selector This patch adds a target selector for variable-length vectors. Initially it's always false, but the SVE patch provides a case in which it's true. 2017-11-09 Richard Sandiford Alan Hayward David Sherwood gcc/ * doc/sourcebuild.texi (vect_variable_length): Document. gcc/testsuite/ * lib/target-supports.exp (check_effective_target_vect_variable_length): New proc. * gcc.dg/vect/pr60482.c: XFAIL test for no epilog loop if vect_variable_length. * gcc.dg/vect/slp-reduc-6.c: XFAIL two-operation SLP if vect_variable_length. * gcc.dg/vect/vect-alias-check-5.c: XFAIL alias optimization if vect_variable_length. * gfortran.dg/vect/fast-math-mgrid-resid.f: XFAIL predictive commoning optimization if vect_variable_length. Co-Authored-By: Alan Hayward Co-Authored-By: David Sherwood From-SVN: r254595 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 01743bd724e..0c56090da27 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-11-09 Richard Sandiford + Alan Hayward + David Sherwood + + * doc/sourcebuild.texi (vect_variable_length): Document. + 2017-11-09 Richard Sandiford Alan Hayward David Sherwood diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi index cdee0502e47..25e1103fd21 100644 --- a/gcc/doc/sourcebuild.texi +++ b/gcc/doc/sourcebuild.texi @@ -1486,6 +1486,9 @@ Target prefers vectors to have an alignment greater than element alignment, but also allows unaligned vector accesses in some circumstances. +@item vect_variable_length +Target has variable-length vectors. + @item vect_widen_sum_hi_to_si Target supports a vector widening summation of @code{short} operands into @code{int} results, or can promote (unpack) from @code{short} diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 76d9f3cca7d..0a17dfa8593 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,18 @@ +2017-11-09 Richard Sandiford + Alan Hayward + David Sherwood + + * lib/target-supports.exp + (check_effective_target_vect_variable_length): New proc. + * gcc.dg/vect/pr60482.c: XFAIL test for no epilog loop if + vect_variable_length. + * gcc.dg/vect/slp-reduc-6.c: XFAIL two-operation SLP if + vect_variable_length. + * gcc.dg/vect/vect-alias-check-5.c: XFAIL alias optimization if + vect_variable_length. + * gfortran.dg/vect/fast-math-mgrid-resid.f: XFAIL predictive + commoning optimization if vect_variable_length. + 2017-11-09 Richard Sandiford Alan Hayward David Sherwood diff --git a/gcc/testsuite/gcc.dg/vect/pr60482.c b/gcc/testsuite/gcc.dg/vect/pr60482.c index 4c5c20c8109..b07fe1ef33e 100644 --- a/gcc/testsuite/gcc.dg/vect/pr60482.c +++ b/gcc/testsuite/gcc.dg/vect/pr60482.c @@ -16,4 +16,6 @@ foo (double *x, int n) return p; } -/* { dg-final { scan-tree-dump-not "epilog loop required" "vect" } } */ +/* Until fully-masked loops are supported, we always need an epilog + loop for variable-length vectors. */ +/* { dg-final { scan-tree-dump-not "epilog loop required" "vect" { xfail vect_variable_length } } } */ diff --git a/gcc/testsuite/gcc.dg/vect/slp-reduc-6.c b/gcc/testsuite/gcc.dg/vect/slp-reduc-6.c index 88591c5bdcb..49a0ffc2168 100644 --- a/gcc/testsuite/gcc.dg/vect/slp-reduc-6.c +++ b/gcc/testsuite/gcc.dg/vect/slp-reduc-6.c @@ -44,5 +44,5 @@ int main (void) /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 2 "vect" { xfail { vect_no_int_add || { ! { vect_unpack || vect_strided2 } } } } } } */ /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 0 "vect" } } */ -/* { dg-final { scan-tree-dump-times "different interleaving chains in one node" 1 "vect" { target { ! vect_no_int_add } } } } */ +/* { dg-final { scan-tree-dump-times "different interleaving chains in one node" 1 "vect" { target { ! vect_no_int_add } xfail vect_variable_length } } } */ diff --git a/gcc/testsuite/gcc.dg/vect/vect-alias-check-5.c b/gcc/testsuite/gcc.dg/vect/vect-alias-check-5.c index bfa946b9ad2..e17c7150a06 100644 --- a/gcc/testsuite/gcc.dg/vect/vect-alias-check-5.c +++ b/gcc/testsuite/gcc.dg/vect/vect-alias-check-5.c @@ -15,5 +15,5 @@ f1 (struct s *a, struct s *b) } /* { dg-final { scan-tree-dump-times "consider run-time aliasing" 1 "vect" } } */ -/* { dg-final { scan-tree-dump-times "improved number of alias checks from 1 to 0" 1 "vect" } } */ +/* { dg-final { scan-tree-dump-times "improved number of alias checks from 1 to 0" 1 "vect" { xfail vect_variable_length } } } */ /* { dg-final { scan-tree-dump-times "LOOP VECTORIZED" 1 "vect" } } */ diff --git a/gcc/testsuite/gfortran.dg/vect/fast-math-mgrid-resid.f b/gcc/testsuite/gfortran.dg/vect/fast-math-mgrid-resid.f index 7e2816b8b4f..2e0840d256b 100644 --- a/gcc/testsuite/gfortran.dg/vect/fast-math-mgrid-resid.f +++ b/gcc/testsuite/gfortran.dg/vect/fast-math-mgrid-resid.f @@ -42,5 +42,5 @@ C ! vectorized loop. If vector factor is 2, the vectorized loop can ! be predictive commoned, we check if predictive commoning PHI node ! is created with vector(2) type. -! { dg-final { scan-tree-dump "Executing predictive commoning without unrolling" "pcom" } } -! { dg-final { scan-tree-dump "vectp_u.*__lsm.* = PHI <.*vectp_u.*__lsm" "pcom" } } +! { dg-final { scan-tree-dump "Executing predictive commoning without unrolling" "pcom" { xfail vect_variable_length } } } +! { dg-final { scan-tree-dump "vectp_u.*__lsm.* = PHI <.*vectp_u.*__lsm" "pcom" { xfail vect_variable_length } } } diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp index 353887dac8c..8d49ed2e687 100644 --- a/gcc/testsuite/lib/target-supports.exp +++ b/gcc/testsuite/lib/target-supports.exp @@ -6714,6 +6714,12 @@ proc check_effective_target_vect_multiple_sizes { } { return [expr { [llength [available_vector_sizes]] > 1 }] } +# Return true if variable-length vectors are supported. + +proc check_effective_target_vect_variable_length { } { + return [expr { [lindex [available_vector_sizes] 0] == 0 }] +} + # Return 1 if the target supports vectors of 64 bits. proc check_effective_target_vect64 { } {