OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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
This commit is contained in:
Richard Biener 2017-06-30 08:08:33 +00:00 committed by Richard Biener
parent 5ef4d61d2b
commit 4812f0b73c
4 changed files with 44 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -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

5
gcc/testsuite/ChangeLog
View File

@ -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.

25
gcc/testsuite/g++.dg/torture/pr81249.C Normal file
View File

@ -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;
}
}

14
gcc/tree-vect-loop.c
View File

@ -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);
}