diff options
| author | Richard Biener <rguenther@suse.de> | 2019-11-29 09:18:48 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-11-29 09:18:48 +0000 |
| commit | 438d9c4afa635c7a1475feebbc220fe8d335c664 (patch) | |
| tree | b64ff536de838c4039de3c593cb9221c80eb74f3 /gcc | |
| parent | 52702016ad1b45888ddd37e95e3eb093181fd4d3 (diff) | |
| download | gcc-438d9c4afa635c7a1475feebbc220fe8d335c664.zip gcc-438d9c4afa635c7a1475feebbc220fe8d335c664.tar.gz gcc-438d9c4afa635c7a1475feebbc220fe8d335c664.tar.bz2 | |
re PR tree-optimization/92715 (error: position plus size exceeds size of referenced object in ‘bit_field_ref’)
2019-11-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/92715
* tree-ssa-forwprop.c (simplify_vector_constructor): Bail
out for uniform vectors and source vectors with less elements
than the destination.
* gcc.dg/torture/pr92715.c: New testcase.
From-SVN: r278833
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr92715.c | 17 | ||||
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 11 |
4 files changed, 36 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 229e2b6..3eaa9ac 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2019-11-29 Richard Biener <rguenther@suse.de> + + PR tree-optimization/92715 + * tree-ssa-forwprop.c (simplify_vector_constructor): Bail + out for uniform vectors and source vectors with less elements + than the destination. + 2019-11-29 Martin Liska <mliska@suse.cz> PR lto/91574 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 45c9de3..5d32365 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-11-29 Richard Biener <rguenther@suse.de> + + PR tree-optimization/92715 + * gcc.dg/torture/pr92715.c: New testcase. + 2019-11-29 Jakub Jelinek <jakub@redhat.com> PR c++/60228 diff --git a/gcc/testsuite/gcc.dg/torture/pr92715.c b/gcc/testsuite/gcc.dg/torture/pr92715.c new file mode 100644 index 0000000..170179c --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr92715.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-mavx2" { target x86_64-*-* i?86-*-* } } */ + +typedef double v4si __attribute__((vector_size(32))); +typedef double v2si __attribute__((vector_size(16))); + +void foo (v4si *dstp, v2si *srcp) +{ + v2si src = *srcp; + *dstp = (v4si) { src[0], src[1], src[0], src[1] }; +} + +void bar (v4si *dstp, v2si *srcp) +{ + v2si src = *srcp; + *dstp = (v4si) { src[0], src[0], src[0], src[0] }; +} diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index b275a63..36e6267 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -2038,13 +2038,13 @@ simplify_vector_constructor (gimple_stmt_iterator *gsi) constructor_elt *elt; bool maybe_ident; - gcc_checking_assert (gimple_assign_rhs_code (stmt) == CONSTRUCTOR); - op = gimple_assign_rhs1 (stmt); type = TREE_TYPE (op); - gcc_checking_assert (TREE_CODE (type) == VECTOR_TYPE); + gcc_checking_assert (TREE_CODE (op) == CONSTRUCTOR + && TREE_CODE (type) == VECTOR_TYPE); - if (!TYPE_VECTOR_SUBPARTS (type).is_constant (&nelts)) + if (!TYPE_VECTOR_SUBPARTS (type).is_constant (&nelts) + || uniform_vector_p (op)) return false; elem_type = TREE_TYPE (type); elem_size = TREE_INT_CST_LOW (TYPE_SIZE (elem_type)); @@ -2136,6 +2136,9 @@ simplify_vector_constructor (gimple_stmt_iterator *gsi) || ! VECTOR_TYPE_P (TREE_TYPE (orig[0]))) return false; refnelts = TYPE_VECTOR_SUBPARTS (TREE_TYPE (orig[0])).to_constant (); + /* We currently do not handle larger destination vectors. */ + if (refnelts < nelts) + return false; if (maybe_ident) { |