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/cfgloop.c | |
| 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/cfgloop.c')
0 files changed, 0 insertions, 0 deletions