diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2014-07-29 11:39:06 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2014-07-29 09:39:06 +0000 |
| commit | 3339f0bcb06a145e127e5274e223827a6aeb3cb0 (patch) | |
| tree | 17a1672ffb371dd2e673d37baa24eda5b181647f /gcc/ipa-prop.c | |
| parent | f8a39967a57f8880b7050d53cbf888218626c493 (diff) | |
| download | gcc-3339f0bcb06a145e127e5274e223827a6aeb3cb0.zip gcc-3339f0bcb06a145e127e5274e223827a6aeb3cb0.tar.gz gcc-3339f0bcb06a145e127e5274e223827a6aeb3cb0.tar.bz2 | |
cgraph.c (cgraph_node::create_indirect_edge): Copy speculative data.
* cgraph.c (cgraph_node::create_indirect_edge): Copy speculative data.
* cgraph.h (cgraph_indirect_call_info): Add speculative data.
* gimple-fold.c (fold_gimple_assign): Fix check for virtual
call.
* ipa-devirt.c (ipa_dummy_polymorphic_call_context): Update
(contains_type_p): Forward declare.
(polymorphic_call_target_hasher::hash): Hash speculative info.
(polymorphic_call_target_hasher::equal): Compare speculative info.
(get_class_context): Handle speuclation.
(contains_type_p): Update.
(get_polymorphic_call_info_for_decl): Update.
(walk_ssa_copies): Break out from ...
(get_polymorphic_call_info): ... here; set speculative context
before giving up.
* ipa-prop.c (ipa_write_indirect_edge_info, ipa_read_indirect_edge_info):
Stream speculative context.
* ipa-utils.h (ipa_polymorphic_call_context): Add speculative info
(SPECULATIVE_OFFSET, SPECULATIVE_OUTER_TYPE,
SPECULATIVE_MAYBE_DERIVED_TYPE).
(possible_polymorphic_call_targets overriders): Update.
(dump_possible_polymorphic_call_targets overriders): Update.
(dump_possible_polymorphic_call_target_p overriders): Update.
From-SVN: r213152
Diffstat (limited to 'gcc/ipa-prop.c')
| -rw-r--r-- | gcc/ipa-prop.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index 9c65076..576e59a 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -4693,6 +4693,7 @@ ipa_write_indirect_edge_info (struct output_block *ob, bp_pack_value (&bp, ii->by_ref, 1); bp_pack_value (&bp, ii->maybe_in_construction, 1); bp_pack_value (&bp, ii->maybe_derived_type, 1); + bp_pack_value (&bp, ii->speculative_maybe_derived_type, 1); streamer_write_bitpack (&bp); if (ii->polymorphic) @@ -4700,6 +4701,9 @@ ipa_write_indirect_edge_info (struct output_block *ob, streamer_write_hwi (ob, ii->otr_token); stream_write_tree (ob, ii->otr_type, true); stream_write_tree (ob, ii->outer_type, true); + stream_write_tree (ob, ii->speculative_outer_type, true); + if (ii->speculative_outer_type) + streamer_write_hwi (ob, ii->speculative_offset); } } @@ -4723,11 +4727,15 @@ ipa_read_indirect_edge_info (struct lto_input_block *ib, ii->by_ref = bp_unpack_value (&bp, 1); ii->maybe_in_construction = bp_unpack_value (&bp, 1); ii->maybe_derived_type = bp_unpack_value (&bp, 1); + ii->speculative_maybe_derived_type = bp_unpack_value (&bp, 1); if (ii->polymorphic) { ii->otr_token = (HOST_WIDE_INT) streamer_read_hwi (ib); ii->otr_type = stream_read_tree (ib, data_in); ii->outer_type = stream_read_tree (ib, data_in); + ii->speculative_outer_type = stream_read_tree (ib, data_in); + if (ii->speculative_outer_type) + ii->speculative_offset = (HOST_WIDE_INT) streamer_read_hwi (ib); } } |