diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2014-11-16 22:01:45 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2014-11-16 21:01:45 +0000 |
| commit | df0d8136f133fe11790812caee0712f37c0ae5d9 (patch) | |
| tree | b591fcf9084565e571a8a71a0b47d8f967b437ee /gcc/cgraph.h | |
| parent | 70486010428fdaeabd875022fee05122e9866424 (diff) | |
| download | gcc-df0d8136f133fe11790812caee0712f37c0ae5d9.zip gcc-df0d8136f133fe11790812caee0712f37c0ae5d9.tar.gz gcc-df0d8136f133fe11790812caee0712f37c0ae5d9.tar.bz2 | |
* ipa-polymorphic-call.c
(ipa_polymorphic_call_context::speculation_consistent_p): Constify.
(ipa_polymorphic_call_context::meet_speculation_with): New function.
(ipa_polymorphic_call_context::combine_with): Handle types in construction
better.
(ipa_polymorphic_call_context::equal_to): Do not bother about useless
speculation.
(ipa_polymorphic_call_context::meet_with): New function.
* cgraph.h (class ipa_polymorphic_call_context): Add
meet_width, meet_speculation_with; constify speculation_consistent_p.
* ipa-cp.c (ipa_context_from_jfunc): Handle speculation; combine with incomming
context.
(propagate_context_accross_jump_function): Likewise; be more cureful.
about set_contains_variable.
(ipa_get_indirect_edge_target_1): Fix handling of dynamic type changes.
(find_more_scalar_values_for_callers_subset): Fix.
(find_more_contexts_for_caller_subset): Perform meet operation.
From-SVN: r217634
Diffstat (limited to 'gcc/cgraph.h')
| -rw-r--r-- | gcc/cgraph.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/cgraph.h b/gcc/cgraph.h index 77c2a60..fc5fe82 100644 --- a/gcc/cgraph.h +++ b/gcc/cgraph.h @@ -1389,6 +1389,7 @@ public: If actual type the context is being used in is known, OTR_TYPE should be set accordingly. This improves quality of combined result. */ bool combine_with (ipa_polymorphic_call_context, tree otr_type = NULL); + bool meet_with (ipa_polymorphic_call_context, tree otr_type = NULL); /* Return TRUE if context is fully useless. */ bool useless_p () const; @@ -1406,9 +1407,10 @@ public: private: bool combine_speculation_with (tree, HOST_WIDE_INT, bool, tree); + bool meet_speculation_with (tree, HOST_WIDE_INT, bool, tree); void set_by_decl (tree, HOST_WIDE_INT); bool set_by_invariant (tree, tree, HOST_WIDE_INT); - bool speculation_consistent_p (tree, HOST_WIDE_INT, bool, tree); + bool speculation_consistent_p (tree, HOST_WIDE_INT, bool, tree) const; void make_speculative (tree otr_type = NULL); }; |