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

tree.c (substitute_in_expr): Also inline a call if the replacement expression is another instance of one of...

Browse source 
* tree.c (substitute_in_expr) <tcc_vl_exp>: Also inline a call if the
	replacement expression is another instance of one of its arguments.

From-SVN: r247431
This commit is contained in:
Eric Botcazou 2017-05-01 10:18:18 +00:00 • committed by Eric Botcazou
parent 30776a1468
commit 3a324b98c5
2 changed files with 24 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,3 +1,8 @@
2017-05-01 Eric Botcazou <ebotcazou@adacore.com>
* tree.c (substitute_in_expr) <tcc_vl_exp>: Also inline a call if the
replacement expression is another instance of one of its arguments.
2017-05-01 Jakub Jelinek <jakub@redhat.com>
PR target/79430

24
gcc/tree.c
View file

@ -3886,15 +3886,29 @@ substitute_in_expr (tree exp, tree f, tree r)
new_tree = NULL_TREE;
/* If we are trying to replace F with a constant, inline back
/* If we are trying to replace F with a constant or with another
instance of one of the arguments of the call, inline back
functions which do nothing else than computing a value from
the arguments they are passed. This makes it possible to
fold partially or entirely the replacement expression. */
if (CONSTANT_CLASS_P (r) && code == CALL_EXPR)
if (code == CALL_EXPR)
{
tree t = maybe_inline_call_in_expr (exp);
if (t)
return SUBSTITUTE_IN_EXPR (t, f, r);
bool maybe_inline = false;
if (CONSTANT_CLASS_P (r))
maybe_inline = true;
else
for (i = 3; i < TREE_OPERAND_LENGTH (exp); i++)
if (operand_equal_p (TREE_OPERAND (exp, i), r, 0))
{
maybe_inline = true;
break;
}
if (maybe_inline)
{
tree t = maybe_inline_call_in_expr (exp);
if (t)
return SUBSTITUTE_IN_EXPR (t, f, r);
}
}
for (i = 1; i < TREE_OPERAND_LENGTH (exp); i++)