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

ipa-sra: Check also ECF_LOOPING_CONST_OR_PURE when evaluating calls

Browse source 
in PR 103267 Honza found out that IPA-SRA does not look at
ECF_LOOPING_CONST_OR_PURE when evaluating if a call can have side
effects.  Fixed with this patch.  The testcase infinitely loops in a
const function, so it would not make a good addition to the testsuite.

gcc/ChangeLog:

2021-11-29  Martin Jambor  <mjambor@suse.cz>

	PR ipa/103267
	* ipa-sra.c (scan_function): Also check ECF_LOOPING_CONST_OR_PURE flag.
This commit is contained in:
Martin Jambor 2021-11-30 18:45:11 +01:00
parent 7057b8f8c2
commit e5440bc08e
No known key found for this signature in database
GPG key ID: BF63C1BC3FA43540
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gcc/ipa-sra.c
View file

@ -1925,7 +1925,8 @@ scan_function (cgraph_node *node, struct function *fun)
if (lhs)
scan_expr_access (lhs, stmt, ISRA_CTX_STORE, bb);
int flags = gimple_call_flags (stmt);
if ((flags & (ECF_CONST | ECF_PURE)) == 0)
if (((flags & (ECF_CONST | ECF_PURE)) == 0)
|| (flags & ECF_LOOPING_CONST_OR_PURE))
bitmap_set_bit (final_bbs, bb->index);
}
break;