diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2014-07-05 19:22:44 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2014-07-05 17:22:44 +0000 |
| commit | 058d0a9059789682ccef8f56aa04182d71d17e78 (patch) | |
| tree | a316c1d813e71ce225a70f30c867801face3d5aa /gcc/ipa-utils.h | |
| parent | aed773a2c8a20550b32cd223ecc44d87b6676974 (diff) | |
| download | gcc-058d0a9059789682ccef8f56aa04182d71d17e78.tar.gz | |
cgraph.c (cgraph_create_indirect_edge): Update call of get_polymorphic_call_info.
* cgraph.c (cgraph_create_indirect_edge): Update call of
get_polymorphic_call_info.
* ipa-utils.h (get_polymorphic_call_info): Add parameter CALL.
(possible_polymorphic_call_targets): Add parameter call.
(decl_maybe_in_construction_p): New predicate.
(get_polymorphic_call_info): Add parameter call;
use decl_maybe_in_construction_p.
* gimple-fold.c (fold_gimple_assign): Update use of
possible_polymorphic_call_targets.
(gimple_fold_call): Likewise.
* ipa-prop.c: Inlcude calls.h
(ipa_binfo_from_known_type_jfunc): Check that known type is record.
(param_type_may_change_p): New predicate.
(detect_type_change_from_memory_writes): Break out from ...
(detect_type_change): ... this one; use
param_type_may_change_p.
(detect_type_change_ssa): Use param_type_may_change_p.
(compute_known_type_jump_func): Use decl_maybe_in_construction_p.
* g++.dg/ipa/devirt-26.C: Update testcase.
* g++.dg/ipa/imm-devirt-1.C: Update testcase.
* g++.dg/ipa/imm-devirt-2.C: Update testcase.
From-SVN: r212304
Diffstat (limited to 'gcc/ipa-utils.h')
| -rw-r--r-- | gcc/ipa-utils.h | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/gcc/ipa-utils.h b/gcc/ipa-utils.h index 82aa23fe403..470f4959f3c 100644 --- a/gcc/ipa-utils.h +++ b/gcc/ipa-utils.h @@ -87,9 +87,11 @@ bool possible_polymorphic_call_target_p (tree, HOST_WIDE_INT, tree method_class_type (const_tree); tree get_polymorphic_call_info (tree, tree, tree *, HOST_WIDE_INT *, - ipa_polymorphic_call_context *); + ipa_polymorphic_call_context *, + gimple call = NULL); bool get_polymorphic_call_info_from_invariant (ipa_polymorphic_call_context *, tree, tree, HOST_WIDE_INT); +bool decl_maybe_in_construction_p (tree, tree, gimple, tree); tree vtable_pointer_value_to_binfo (const_tree); bool vtable_pointer_value_to_vtable (const_tree, tree *, unsigned HOST_WIDE_INT *); bool contains_polymorphic_type_p (const_tree); @@ -125,7 +127,8 @@ possible_polymorphic_call_targets (struct cgraph_edge *e, /* Same as above but taking OBJ_TYPE_REF as an parameter. */ inline vec <cgraph_node *> -possible_polymorphic_call_targets (tree call, +possible_polymorphic_call_targets (tree ref, + gimple call, bool *final = NULL, void **cache_token = NULL) { @@ -134,11 +137,11 @@ possible_polymorphic_call_targets (tree call, ipa_polymorphic_call_context context; get_polymorphic_call_info (current_function_decl, - call, - &otr_type, &otr_token, &context); - return possible_polymorphic_call_targets (obj_type_ref_class (call), + ref, + &otr_type, &otr_token, &context, call); + return possible_polymorphic_call_targets (obj_type_ref_class (ref), tree_to_uhwi - (OBJ_TYPE_REF_TOKEN (call)), + (OBJ_TYPE_REF_TOKEN (ref)), context, final, cache_token); } |