mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-23 00:41:25 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/92555 (ICE in exact_div, at poly-int.h:2162)

Browse Source 
2019-09-19  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/92555
	* tree-vect-loop.c (vect_update_vf_for_slp): Also scan PHIs
	for non-SLP stmts.

	* gcc.dg/vect/pr92555.c: New testcase.

From-SVN: r278430
This commit is contained in:
Richard Biener 2019-11-19 07:31:28 +00:00 committed by Richard Biener
parent e89a689f0a
commit f1e0c7e0eb
4 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2019-09-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/92555
* tree-vect-loop.c (vect_update_vf_for_slp): Also scan PHIs
for non-SLP stmts.
2019-11-19 Martin Liska <mliska@suse.cz>
PR bootstrap/92540

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2019-09-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/92555
* gcc.dg/vect/pr92555.c: New testcase.
2019-11-19 Joseph Myers <joseph@codesourcery.com>
* gcc.dg/c2x-attr-fallthrough-5.c, gcc.dg/c2x-attr-syntax-5.c: New

22
gcc/testsuite/gcc.dg/vect/pr92555.c Normal file
View File

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-additional-options "-fwrapv" } */
signed char rq;
signed char
pu (int tr, int al)
{
signed char x8;
while (tr != 0)
{
for (x8 = 0; x8 >= 0; x8 += 2)
;
rq ^= al ^ 1;
++x8;
++tr;
}
return x8;
}

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

@ -1398,6 +1398,18 @@ vect_update_vf_for_slp (loop_vec_info loop_vinfo)
for (i = 0; i < nbbs; i++)
{
basic_block bb = bbs[i];
for (gphi_iterator si = gsi_start_phis (bb); !gsi_end_p (si);
gsi_next (&si))
{
stmt_vec_info stmt_info = loop_vinfo->lookup_stmt (si.phi ());
if (!stmt_info)
continue;
if ((STMT_VINFO_RELEVANT_P (stmt_info)
|| VECTORIZABLE_CYCLE_DEF (STMT_VINFO_DEF_TYPE (stmt_info)))
&& !PURE_SLP_STMT (stmt_info))
/* STMT needs both SLP and loop-based vectorization. */
only_slp_in_loop = false;
}
for (gimple_stmt_iterator si = gsi_start_bb (bb); !gsi_end_p (si);
gsi_next (&si))
{