diff options
| author | Martin Jambor <mjambor@suse.cz> | 2016-05-18 18:38:56 +0200 |
|---|---|---|
| committer | Martin Jambor <jamborm@gcc.gnu.org> | 2016-05-18 18:38:56 +0200 |
| commit | 91bb9f80e58963d65a5cd305b438a2d7009cdb09 (patch) | |
| tree | 857c7ed3fa77c5bf5bc4f278c87060f145482f7d /gcc/ipa-prop.h | |
| parent | c584aca60cbface2621ebf1ccc943df1b7af52ca (diff) | |
| download | gcc-91bb9f80e58963d65a5cd305b438a2d7009cdb09.zip gcc-91bb9f80e58963d65a5cd305b438a2d7009cdb09.tar.gz gcc-91bb9f80e58963d65a5cd305b438a2d7009cdb09.tar.bz2 | |
Indirect inlining of targets from references of global constants
2016-05-18 Martin Jambor <mjambor@suse.cz>
PR ipa/69708
* cgraph.h (cgraph_indirect_call_info): New field
guaranteed_unmodified.
* ipa-cp.c (ipa_get_indirect_edge_target_1): Also pass parameter value
to ipa_find_agg_cst_for_param, check guaranteed_unmodified when
appropriate.
* ipa-inline-analysis.c (evaluate_conditions_for_known_args): Also
pass the parameter value to ipa_find_agg_cst_for_param.
* ipa-prop.c (ipa_load_from_parm_agg): New parameter
guaranteed_unmodified, store AA results there instead of bailing out
if present.
(ipa_note_param_call): Also initialize guaranteed_unmodified flag.
(ipa_analyze_indirect_call_uses): Also set guaranteed_unmodified flag.
(find_constructor_constant_at_offset): New function.
(ipa_find_agg_cst_from_init): Likewise.
(ipa_find_agg_cst_for_param): Also seearch for aggregate values in
static initializers of contants, report back through a new paameter
from_global_constant if that was the case.
(try_make_edge_direct_simple_call): Also pass parameter value to
ipa_find_agg_cst_for_param, check guaranteed_unmodified when
appropriate.
(ipa_write_indirect_edge_info): Stream new flag guaranteed_unmodified.
(ipa_read_indirect_edge_info): Likewise.
* ipa-prop.h (ipa_find_agg_cst_for_param): Update declaration.
(ipa_load_from_parm_agg): Likewise.
testsuite/
* gcc.dg/ipa/iinline-cstagg-1.c: New test.
* gcc.dg/ipa/ipcp-cstagg-1.c: Likewise.
* gcc.dg/ipa/ipcp-cstagg-2.c: Likewise.
* gcc.dg/ipa/ipcp-cstagg-3.c: Likewise.
* gcc.dg/ipa/ipcp-cstagg-4.c: Likewise.
From-SVN: r236416
Diffstat (limited to 'gcc/ipa-prop.h')
| -rw-r--r-- | gcc/ipa-prop.h | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/ipa-prop.h b/gcc/ipa-prop.h index 4e11ca6..e32d078 100644 --- a/gcc/ipa-prop.h +++ b/gcc/ipa-prop.h @@ -636,11 +636,14 @@ tree ipa_impossible_devirt_target (struct cgraph_edge *, tree); void ipa_analyze_node (struct cgraph_node *); /* Aggregate jump function related functions. */ -tree ipa_find_agg_cst_for_param (struct ipa_agg_jump_function *, HOST_WIDE_INT, - bool); -bool ipa_load_from_parm_agg (struct ipa_func_body_info *, - vec<ipa_param_descriptor>, gimple *, tree, int *, - HOST_WIDE_INT *, HOST_WIDE_INT *, bool *); +tree ipa_find_agg_cst_for_param (struct ipa_agg_jump_function *agg, tree scalar, + HOST_WIDE_INT offset, bool by_ref, + bool *from_global_constant = NULL); +bool ipa_load_from_parm_agg (struct ipa_func_body_info *fbi, + vec<ipa_param_descriptor> descriptors, + gimple *stmt, tree op, int *index_p, + HOST_WIDE_INT *offset_p, HOST_WIDE_INT *size_p, + bool *by_ref, bool *guaranteed_unmodified = NULL); /* Debugging interface. */ void ipa_print_node_params (FILE *, struct cgraph_node *node); |