diff options
| author | Richard Biener <rguenther@suse.de> | 2017-07-27 13:44:51 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-07-27 13:44:51 +0000 |
| commit | 719488f819ceb7e7185bf324f04aa9030ba9c2ad (patch) | |
| tree | a5112dcccea389b89c2b45df21c4b1bd83af3533 /gcc | |
| parent | e88a93840b20153a80b9504b3233e58012b009d5 (diff) | |
| download | gcc-719488f819ceb7e7185bf324f04aa9030ba9c2ad.zip gcc-719488f819ceb7e7185bf324f04aa9030ba9c2ad.tar.gz gcc-719488f819ceb7e7185bf324f04aa9030ba9c2ad.tar.bz2 | |
re PR tree-optimization/81571 (ICE at -O3 in both 32-bit and 64-bit modes (internal compiler error: in as_a, at is-a.h:192))
2017-07-27 Richard Biener <rguenther@suse.de>
PR tree-optimization/81571
* tree-vect-slp.c (vect_build_slp_tree): Properly verify reduction
PHIs.
* gcc.dg/torture/pr81571.c: New testcase.
From-SVN: r250626
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr81571.c | 13 | ||||
| -rw-r--r-- | gcc/tree-vect-slp.c | 24 |
4 files changed, 44 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3beab6c..3ae2f46 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-07-27 Richard Biener <rguenther@suse.de> + + PR tree-optimization/81571 + * tree-vect-slp.c (vect_build_slp_tree): Properly verify reduction + PHIs. + 2017-07-27 Eric Botcazou <ebotcazou@adacore.com> * config/sparc/sparc.c (sparc_option_override): Set MASK_FSMULD flag diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 292fa5b..e126544 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2017-07-27 Richard Biener <rguenther@suse.de> + PR tree-optimization/81571 + * gcc.dg/torture/pr81571.c: New testcase. + +2017-07-27 Richard Biener <rguenther@suse.de> + PR tree-optimization/81502 * gcc.target/i386/vect-insert-1.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/torture/pr81571.c b/gcc/testsuite/gcc.dg/torture/pr81571.c new file mode 100644 index 0000000..74bceb7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr81571.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ + +int a, b, c, d; +short fn1(int p1, int p2) { return p1; } + +int fn2(int p1) {} + +int main() +{ + for (; c; c++) + a |= fn1(1, a) | fn2(b |= d); + return 0; +} diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index 7cfeeb9..15d589d 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -947,11 +947,27 @@ vect_build_slp_tree (vec_info *vinfo, the recursion. */ if (gimple_code (stmt) == GIMPLE_PHI) { + vect_def_type def_type = STMT_VINFO_DEF_TYPE (vinfo_for_stmt (stmt)); /* Induction from different IVs is not supported. */ - if (STMT_VINFO_DEF_TYPE (vinfo_for_stmt (stmt)) == vect_induction_def) - FOR_EACH_VEC_ELT (stmts, i, stmt) - if (stmt != stmts[0]) - return NULL; + if (def_type == vect_induction_def) + { + FOR_EACH_VEC_ELT (stmts, i, stmt) + if (stmt != stmts[0]) + return NULL; + } + else + { + /* Else def types have to match. */ + FOR_EACH_VEC_ELT (stmts, i, stmt) + { + /* But for reduction chains only check on the first stmt. */ + if (GROUP_FIRST_ELEMENT (vinfo_for_stmt (stmt)) + && GROUP_FIRST_ELEMENT (vinfo_for_stmt (stmt)) != stmt) + continue; + if (STMT_VINFO_DEF_TYPE (vinfo_for_stmt (stmt)) != def_type) + return NULL; + } + } node = vect_create_new_slp_node (stmts); return node; } |