procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix ICE in loop splitting with -fno-guess-branch-probability

Browse source 
PR tree-optimization/111054

gcc/ChangeLog:

	* tree-ssa-loop-split.cc (split_loop): Check for profile being present.

gcc/testsuite/ChangeLog:

	* gcc.c-torture/compile/pr111054.c: New test.
This commit is contained in:
Jan Hubicka 2024-02-14 17:37:34 +01:00
parent 16ae5efedd
commit 8d51bfe0f9
2 changed files with 13 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
gcc/testsuite/gcc.c-torture/compile/pr111054.c Normal file
View file

@ -0,0 +1,11 @@
/* { dg-additional-options "-fno-guess-branch-probability" } */
void *p, *q;
int i, j;
void
foo (void)
{
for (i = 0; i < 20; i++)
if (i < j)
p = q;
}

3
gcc/tree-ssa-loop-split.cc
View file

@ -712,7 +712,8 @@ split_loop (class loop *loop1)
? true_edge->probability.to_sreal () : (sreal)1;
sreal scale2 = false_edge->probability.reliable_p ()
? false_edge->probability.to_sreal () : (sreal)1;
sreal div1 = loop1_prob.to_sreal ();
sreal div1 = loop1_prob.initialized_p ()
? loop1_prob.to_sreal () : (sreal)1/(sreal)2;
/* +1 to get header interations rather than latch iterations and then
-1 to convert back. */
if (div1 != 0)