git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/77879 (mpd gets miscompiled since r235622) 

2016-10-07  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/77879
	* tree-ssa-structalias.c (handle_const_call): Properly handle
	NRV return slots.
	(handle_pure_call): Likewise.

From-SVN: r240854
This commit is contained in:
Richard Biener 2016-10-07 07:44:47 +00:00 committed by Richard Biener
parent 729232db0b
commit 4023bc5647
2 changed files with 43 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2016-10-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/77879
* tree-ssa-structalias.c (handle_const_call): Properly handle
NRV return slots.
(handle_pure_call): Likewise.
2016-10-06 Aaron Sawdey <acsawdey@linux.vnet.ibm.com> 2016-10-06 Aaron Sawdey <acsawdey@linux.vnet.ibm.com>
* config/rs6000/rs6000.c (rs6000_elf_asm_out_constructor) * config/rs6000/rs6000.c (rs6000_elf_asm_out_constructor)

37
gcc/tree-ssa-structalias.c
View File

@ -4063,15 +4063,34 @@ handle_const_call (gcall *stmt, vec<ce_s> *results)
{ {
struct constraint_expr rhsc; struct constraint_expr rhsc;
unsigned int k; unsigned int k;
bool need_uses = false;
/* Treat nested const functions the same as pure functions as far /* Treat nested const functions the same as pure functions as far
as the static chain is concerned. */ as the static chain is concerned. */
if (gimple_call_chain (stmt)) if (gimple_call_chain (stmt))
{
varinfo_t uses = get_call_use_vi (stmt);
make_constraint_to (uses->id, gimple_call_chain (stmt));
need_uses = true;
}
/* And if we applied NRV the address of the return slot escapes as well. */
if (gimple_call_return_slot_opt_p (stmt)
&& gimple_call_lhs (stmt) != NULL_TREE
&& TREE_ADDRESSABLE (TREE_TYPE (gimple_call_lhs (stmt))))
{
varinfo_t uses = get_call_use_vi (stmt);
auto_vec<ce_s> tmpc;
get_constraint_for_address_of (gimple_call_lhs (stmt), &tmpc);
make_constraints_to (uses->id, tmpc);
need_uses = true;
}
if (need_uses)
{ {
varinfo_t uses = get_call_use_vi (stmt); varinfo_t uses = get_call_use_vi (stmt);
make_any_offset_constraints (uses); make_any_offset_constraints (uses);
make_transitive_closure_constraints (uses); make_transitive_closure_constraints (uses);
make_constraint_to (uses->id, gimple_call_chain (stmt));
rhsc.var = uses->id; rhsc.var = uses->id;
rhsc.offset = 0; rhsc.offset = 0;
rhsc.type = SCALAR; rhsc.type = SCALAR;
@ -4140,6 +4159,22 @@ handle_pure_call (gcall *stmt, vec<ce_s> *results)
make_constraint_to (uses->id, gimple_call_chain (stmt)); make_constraint_to (uses->id, gimple_call_chain (stmt));
} }
/* And if we applied NRV the address of the return slot. */
if (gimple_call_return_slot_opt_p (stmt)
&& gimple_call_lhs (stmt) != NULL_TREE
&& TREE_ADDRESSABLE (TREE_TYPE (gimple_call_lhs (stmt))))
{
if (!uses)
{
uses = get_call_use_vi (stmt);
make_any_offset_constraints (uses);
make_transitive_closure_constraints (uses);
}
auto_vec<ce_s> tmpc;
get_constraint_for_address_of (gimple_call_lhs (stmt), &tmpc);
make_constraints_to (uses->id, tmpc);
}
/* Pure functions may return call-used and nonlocal memory. */ /* Pure functions may return call-used and nonlocal memory. */
if (uses) if (uses)
{ {