diff options
| author | Richard Biener <rguenther@suse.de> | 2017-06-30 08:08:33 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-06-30 08:08:33 +0000 |
| commit | 4812f0b73c076ead7371785770a1736cf4ed1f49 (patch) | |
| tree | d9d3ce92557a66fe1c5d1bfe7920384473f8ed14 | |
| parent | 5ef4d61d2b24760fe5f7dad84f8201e094bacad9 (diff) | |
| download | gcc-4812f0b73c076ead7371785770a1736cf4ed1f49.zip gcc-4812f0b73c076ead7371785770a1736cf4ed1f49.tar.gz gcc-4812f0b73c076ead7371785770a1736cf4ed1f49.tar.bz2 | |
re PR tree-optimization/81249 (ICE: error: incompatible types in PHI argument 0)
2017-06-30 Richard Biener <rguenther@suse.de>
PR tree-optimization/81249
* tree-vect-loop.c (vect_create_epilog_for_reduction): Convert
condition reduction result to original scalar type.
* g++.dg/torture/pr81249.C: New testcase.
From-SVN: r249831
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr81249.C | 25 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.c | 14 |
4 files changed, 44 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ebb0bf3..eab752a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-06-30 Richard Biener <rguenther@suse.de> + + PR tree-optimization/81249 + * tree-vect-loop.c (vect_create_epilog_for_reduction): Convert + condition reduction result to original scalar type. + 2017-06-30 Andreas Krebbel <krebbel@linux.vnet.ibm.com> * profile-count.h (enum profile_quality): Fix typos and whitespace diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f3dad9e..9b92e44 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-06-30 Richard Biener <rguenther@suse.de> + + PR tree-optimization/81249 + * g++.dg/torture/pr81249.C: New testcase. + 2017-06-29 Paolo Carlini <paolo.carlini@oracle.com> * g++.dg/cpp0x/inh-ctor3.C: Adjust for dg-message vs dg-error. diff --git a/gcc/testsuite/g++.dg/torture/pr81249.C b/gcc/testsuite/g++.dg/torture/pr81249.C new file mode 100644 index 0000000..7bf617b --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr81249.C @@ -0,0 +1,25 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-mavx2 -mprefer-avx128" { target x86_64-*-* i?86-*-* } } */ + +typedef struct rtx_def *rtx; +union rtunion { + rtx rt_rtx; +}; +struct rtx_def { + struct { + rtunion fld[0]; + } u; + rtx elem[]; +} a; +int b, c, d; +rtx e; +int main() { + for (;;) { + d = 0; + for (; d < b; d++) + if (a.elem[d]) + e = a.elem[d]->u.fld[1].rt_rtx; + if (e) + c = 0; + } +} diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 576a42f..bab0cdd 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -4835,12 +4835,9 @@ vect_create_epilog_for_reduction (vec<tree> vect_defs, gimple *stmt, /* Convert the reduced value back to the result type and set as the result. */ - tree data_reduc_cast = build1 (VIEW_CONVERT_EXPR, scalar_type, - data_reduc); - epilog_stmt = gimple_build_assign (new_scalar_dest, data_reduc_cast); - new_temp = make_ssa_name (new_scalar_dest, epilog_stmt); - gimple_assign_set_lhs (epilog_stmt, new_temp); - gsi_insert_before (&exit_gsi, epilog_stmt, GSI_SAME_STMT); + gimple_seq stmts = NULL; + new_temp = gimple_convert (&stmts, scalar_type, data_reduc); + gsi_insert_seq_before (&exit_gsi, stmts, GSI_SAME_STMT); scalar_results.safe_push (new_temp); } else if (STMT_VINFO_VEC_REDUCTION_TYPE (stmt_info) == COND_REDUCTION @@ -4905,6 +4902,11 @@ vect_create_epilog_for_reduction (vec<tree> vect_defs, gimple *stmt, val = new_val; } } + /* Convert the reduced value back to the result type and set as the + result. */ + gimple_seq stmts = NULL; + val = gimple_convert (&stmts, scalar_type, val); + gsi_insert_seq_before (&exit_gsi, stmts, GSI_SAME_STMT); scalar_results.safe_push (val); } |