re PR tree-optimization/79887 (ICE in set_uid_loop_bbs, at tree-vectorizer.c:482)

2017-03-06  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/79894
	* tree-vectorizer.c (vectorize_loops): Set loop_vectorized_call
	to NULL after folding it.

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

From-SVN: r245923
This commit is contained in:
Richard Biener 2017-03-06 13:58:57 +00:00 committed by Richard Biener
parent 522fcdd739
commit a8d25fd0dd
4 changed files with 27 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2017-03-06 Richard Biener <rguenther@suse.de>
PR tree-optimization/79894
* tree-vectorizer.c (vectorize_loops): Set loop_vectorized_call
to NULL after folding it.
2017-03-06 Richard Biener <rguenther@suse.de>
PR tree-optimization/79824

View File

@ -1,3 +1,8 @@
2017-03-06 Richard Biener <rguenther@suse.de>
PR tree-optimization/79894
* gcc.dg/vect/pr79887.c: New testcase.
2017-03-06 Richard Biener <rguenther@suse.de>
PR tree-optimization/79824

View File

@ -0,0 +1,14 @@
/* Test for pr79887. */
/* { dg-do compile } */
/* { dg-require-effective-target vect_condition } */
/* { dg-additional-options "-fno-trapping-math --param vect-epilogues-nomask=1" } */
/* { dg-additional-options "-mavx512ifma" { target x86_64-*-* i?86-*-* } } */
void
foo (float a[32], float b[2][32])
{
int i;
for (i = 0; i < 32; i++)
a[i] = (b[0][i] > b[1][i]) ? b[0][i] : b[1][i];
}

View File

@ -651,6 +651,7 @@ vectorize_loops (void)
"basic block vectorized\n");
fold_loop_vectorized_call (loop_vectorized_call,
boolean_true_node);
loop_vectorized_call = NULL;
ret |= TODO_cleanup_cfg;
}
}
@ -703,6 +704,7 @@ vectorize_loops (void)
if (loop_vectorized_call)
{
fold_loop_vectorized_call (loop_vectorized_call, boolean_true_node);
loop_vectorized_call = NULL;
ret |= TODO_cleanup_cfg;
}