From: Trevor Saunders <tsaund...@mozilla.com> Hi,
This patch replaces a bunch of usage of pointer_map with hash_map. It also adds an overload to hash_map::traverse that allows modifying the value, and a remove method. bootstrapped + regtested on x86_64-unknown-linux-gnu, ok? Trev c-family/ * cilk.c: Use hash_map instead of pointer_map. c/ * c-typeck.c: Use hash_map instead of pointer_map. cp/ * optimize.c, semantics.c: Use hash_map instead of pointer_map. gcc/ * hash-map.h (default_hashmap_traits::mark_key_deleted): Fix cast. (hash_map::remove): New method. (hash_map::traverse): New method. * cgraph.h, except.c, except.h, gimple-ssa-strength-reduction.c, ipa-utils.c, lto-cgraph.c, lto-streamer.h, omp-low.c, predict.c, tree-cfg.c, tree-cfgcleanup.c, tree-eh.c, tree-eh.h, tree-inline.c, tree-inline.h, tree-nested.c, tree-sra.c, tree-ssa-loop-im.c, tree-ssa-loop-ivopts.c, tree-ssa-reassoc.c, tree-ssa-structalias.c, tree-ssa.c, tree-ssa.h, var-tracking.c: Use hash_map instead of pointer_map. diff --git a/gcc/c-family/cilk.c b/gcc/c-family/cilk.c index b864bb1..e0d1141 100644 --- a/gcc/c-family/cilk.c +++ b/gcc/c-family/cilk.c @@ -64,7 +64,7 @@ struct wrapper_data /* Containing function. */ tree context; /* Disposition of all variables in the inner statement. */ - struct pointer_map_t *decl_map; + hash_map<tree, tree> *decl_map; /* True if this function needs a static chain. */ bool nested; /* Arguments to be passed to wrapper function, currently a list. */ @@ -335,12 +335,11 @@ create_cilk_helper_decl (struct wrapper_data *wd) /* A function used by walk tree to find wrapper parms. */ -static bool -wrapper_parm_cb (const void *key0, void **val0, void *data) +bool +wrapper_parm_cb (tree const &key0, tree *val0, wrapper_data *wd) { - struct wrapper_data *wd = (struct wrapper_data *) data; - tree arg = * (tree *)&key0; - tree val = (tree)*val0; + tree arg = key0; + tree val = *val0; tree parm; if (val == error_mark_node || val == arg) @@ -387,7 +386,7 @@ build_wrapper_type (struct wrapper_data *wd) wd->parms = NULL_TREE; wd->argtypes = void_list_node; - pointer_map_traverse (wd->decl_map, wrapper_parm_cb, wd); + wd->decl_map->traverse<wrapper_data *, wrapper_parm_cb> (wd); gcc_assert (wd->type != CILK_BLOCK_FOR); /* Now build a function. @@ -452,25 +451,22 @@ copy_decl_for_cilk (tree decl, copy_body_data *id) /* Copy all local variables. */ -static bool -for_local_cb (const void *k_v, void **vp, void *p) +bool +for_local_cb (tree const &k, tree *vp, copy_body_data *id) { - tree k = *(tree *) &k_v; - tree v = (tree) *vp; + tree v = *vp; if (v == error_mark_node) - *vp = copy_decl_no_change (k, (copy_body_data *) p); + *vp = copy_decl_no_change (k, id); return true; } /* Copy all local declarations from a _Cilk_spawned function's body. */ -static bool -wrapper_local_cb (const void *k_v, void **vp, void *data) +bool +wrapper_local_cb (tree const &key, tree *vp, copy_body_data *id) { - copy_body_data *id = (copy_body_data *) data; - tree key = *(tree *) &k_v; - tree val = (tree) *vp; + tree val = *vp; if (val == error_mark_node) *vp = copy_decl_for_cilk (key, id); @@ -514,8 +510,11 @@ cilk_outline (tree inner_fn, tree *stmt_p, void *w) insert_decl_map (&id, wd->block, DECL_INITIAL (inner_fn)); /* We don't want the private variables any more. */ - pointer_map_traverse (wd->decl_map, nested ? for_local_cb : wrapper_local_cb, - &id); + if (nested) + wd->decl_map->traverse<copy_body_data *, for_local_cb> (&id); + else + wd->decl_map->traverse<copy_body_data *, wrapper_local_cb> (&id); + walk_tree (stmt_p, copy_tree_body_r, (void *) &id, NULL); /* See if this function can throw or calls something that should @@ -576,7 +575,7 @@ init_wd (struct wrapper_data *wd, enum cilk_block_type type) wd->type = type; wd->fntype = NULL_TREE; wd->context = current_function_decl; - wd->decl_map = pointer_map_create (); + wd->decl_map = new hash_map<tree, tree>; /* _Cilk_for bodies are always nested. Others start off as normal functions. */ wd->nested = (type == CILK_BLOCK_FOR); @@ -590,7 +589,7 @@ init_wd (struct wrapper_data *wd, enum cilk_block_type type) static void free_wd (struct wrapper_data *wd) { - pointer_map_destroy (wd->decl_map); + delete wd->decl_map; wd->nested = false; wd->arglist = NULL_TREE; wd->argtypes = NULL_TREE; @@ -618,12 +617,11 @@ free_wd (struct wrapper_data *wd) (var, ???) -- Pure output argument, handled similarly to above. */ -static bool -declare_one_free_variable (const void *var0, void **map0, - void *data ATTRIBUTE_UNUSED) +bool +declare_one_free_variable (tree const &var0, tree *map0, wrapper_data &) { - const_tree var = (const_tree) var0; - tree map = (tree)*map0; + const_tree var = var0; + tree map = *map0; tree var_type = TREE_TYPE (var), arg_type; bool by_reference; tree parm; @@ -713,7 +711,7 @@ create_cilk_wrapper (tree exp, tree *args_out) } else extract_free_variables (exp, &wd, ADD_READ); - pointer_map_traverse (wd.decl_map, declare_one_free_variable, &wd); + wd.decl_map->traverse<wrapper_data &, declare_one_free_variable> (wd); wd.block = TREE_BLOCK (exp); if (!wd.block) wd.block = DECL_INITIAL (current_function_decl); @@ -884,9 +882,7 @@ cilk_install_body_pedigree_operations (tree frame_ptr) static void add_variable (struct wrapper_data *wd, tree var, enum add_variable_type how) { - void **valp; - - valp = pointer_map_contains (wd->decl_map, (void *) var); + tree *valp = wd->decl_map->get (var); if (valp) { tree val = (tree) *valp; @@ -907,7 +903,7 @@ add_variable (struct wrapper_data *wd, tree var, enum add_variable_type how) if (how != ADD_WRITE) return; /* This variable might have been entered as read but is now written. */ - *valp = (void *) var; + *valp = var; wd->nested = true; return; } @@ -971,7 +967,7 @@ add_variable (struct wrapper_data *wd, tree var, enum add_variable_type how) break; } } - *pointer_map_insert (wd->decl_map, (void *) var) = val; + wd->decl_map->put (var, val); } } diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c index 06fd565..bedb63e 100644 --- a/gcc/c/c-typeck.c +++ b/gcc/c/c-typeck.c @@ -11783,15 +11783,15 @@ c_clone_omp_udr (tree stmt, tree omp_decl1, tree omp_decl2, tree decl, tree placeholder) { copy_body_data id; - struct pointer_map_t *decl_map = pointer_map_create (); + hash_map<tree, tree> decl_map; - *pointer_map_insert (decl_map, omp_decl1) = placeholder; - *pointer_map_insert (decl_map, omp_decl2) = decl; + decl_map.put (omp_decl1, placeholder); + decl_map.put (omp_decl2, decl); memset (&id, 0, sizeof (id)); id.src_fn = DECL_CONTEXT (omp_decl1); id.dst_fn = current_function_decl; id.src_cfun = DECL_STRUCT_FUNCTION (id.src_fn); - id.decl_map = decl_map; + id.decl_map = &decl_map; id.copy_decl = copy_decl_no_change; id.transform_call_graph_edges = CB_CGE_DUPLICATE; @@ -11800,7 +11800,6 @@ c_clone_omp_udr (tree stmt, tree omp_decl1, tree omp_decl2, id.transform_lang_insert_block = NULL; id.eh_lp_nr = 0; walk_tree (&stmt, copy_tree_body_r, &id, NULL); - pointer_map_destroy (decl_map); return stmt; } diff --git a/gcc/cgraph.h b/gcc/cgraph.h index f8f76c4..0fa8635 100644 --- a/gcc/cgraph.h +++ b/gcc/cgraph.h @@ -21,6 +21,7 @@ along with GCC; see the file COPYING3. If not see #ifndef GCC_CGRAPH_H #define GCC_CGRAPH_H +#include "hash-map.h" #include "is-a.h" #include "plugin-api.h" #include "vec.h" @@ -1204,7 +1205,7 @@ public: can appear in multiple sets. */ struct cgraph_node_set_def { - struct pointer_map_t *map; + hash_map<cgraph_node *, size_t> *map; vec<cgraph_node *> nodes; }; @@ -1217,7 +1218,7 @@ class varpool_node; can appear in multiple sets. */ struct varpool_node_set_def { - struct pointer_map_t * map; + hash_map<varpool_node *, size_t> * map; vec<varpool_node *> nodes; }; diff --git a/gcc/cp/optimize.c b/gcc/cp/optimize.c index 3cd8047..6eeca4d 100644 --- a/gcc/cp/optimize.c +++ b/gcc/cp/optimize.c @@ -86,7 +86,7 @@ clone_body (tree clone, tree fn, void *arg_map) id.src_fn = fn; id.dst_fn = clone; id.src_cfun = DECL_STRUCT_FUNCTION (fn); - id.decl_map = (struct pointer_map_t *) arg_map; + id.decl_map = static_cast<hash_map<tree, tree> *> (arg_map); id.copy_decl = copy_decl_no_change; id.transform_call_graph_edges = CB_CGE_DUPLICATE; @@ -527,7 +527,7 @@ maybe_clone_body (tree fn) tree parm; tree clone_parm; int parmno; - struct pointer_map_t *decl_map; + hash_map<tree, tree> *decl_map; bool alias = false; clone = fns[idx]; @@ -587,7 +587,7 @@ maybe_clone_body (tree fn) } /* Remap the parameters. */ - decl_map = pointer_map_create (); + decl_map = new hash_map<tree, tree>; for (parmno = 0, parm = DECL_ARGUMENTS (fn), clone_parm = DECL_ARGUMENTS (clone); @@ -600,7 +600,7 @@ maybe_clone_body (tree fn) { tree in_charge; in_charge = in_charge_arg_for_name (DECL_NAME (clone)); - *pointer_map_insert (decl_map, parm) = in_charge; + decl_map->put (parm, in_charge); } else if (DECL_ARTIFICIAL (parm) && DECL_NAME (parm) == vtt_parm_identifier) @@ -611,19 +611,22 @@ maybe_clone_body (tree fn) if (DECL_HAS_VTT_PARM_P (clone)) { DECL_ABSTRACT_ORIGIN (clone_parm) = parm; - *pointer_map_insert (decl_map, parm) = clone_parm; + decl_map->put (parm, clone_parm); clone_parm = DECL_CHAIN (clone_parm); } /* Otherwise, map the VTT parameter to `NULL'. */ else - *pointer_map_insert (decl_map, parm) - = fold_convert (TREE_TYPE (parm), null_pointer_node); + { + tree t + = fold_convert (TREE_TYPE (parm), null_pointer_node); + decl_map->put (parm, t); + } } /* Map other parameters to their equivalents in the cloned function. */ else { - *pointer_map_insert (decl_map, parm) = clone_parm; + decl_map->put (parm, clone_parm); clone_parm = DECL_CHAIN (clone_parm); } } @@ -632,14 +635,14 @@ maybe_clone_body (tree fn) { parm = DECL_RESULT (fn); clone_parm = DECL_RESULT (clone); - *pointer_map_insert (decl_map, parm) = clone_parm; + decl_map->put (parm, clone_parm); } /* Clone the body. */ clone_body (clone, fn, decl_map); /* Clean up. */ - pointer_map_destroy (decl_map); + delete decl_map; } /* The clone can throw iff the original function can throw. */ diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 735284e..4868d69 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -4977,15 +4977,15 @@ clone_omp_udr (tree stmt, tree omp_decl1, tree omp_decl2, tree decl, tree placeholder) { copy_body_data id; - struct pointer_map_t *decl_map = pointer_map_create (); + hash_map<tree, tree> decl_map; - *pointer_map_insert (decl_map, omp_decl1) = placeholder; - *pointer_map_insert (decl_map, omp_decl2) = decl; + decl_map.put (omp_decl1, placeholder); + decl_map.put (omp_decl2, decl); memset (&id, 0, sizeof (id)); id.src_fn = DECL_CONTEXT (omp_decl1); id.dst_fn = current_function_decl; id.src_cfun = DECL_STRUCT_FUNCTION (id.src_fn); - id.decl_map = decl_map; + id.decl_map = &decl_map; id.copy_decl = copy_decl_no_change; id.transform_call_graph_edges = CB_CGE_DUPLICATE; @@ -4994,7 +4994,6 @@ clone_omp_udr (tree stmt, tree omp_decl1, tree omp_decl2, id.transform_lang_insert_block = NULL; id.eh_lp_nr = 0; walk_tree (&stmt, copy_tree_body_r, &id, NULL); - pointer_map_destroy (decl_map); return stmt; } diff --git a/gcc/except.c b/gcc/except.c index c8dbc50..ec08e91 100644 --- a/gcc/except.c +++ b/gcc/except.c @@ -527,7 +527,7 @@ struct duplicate_eh_regions_data { duplicate_eh_regions_map label_map; void *label_map_data; - struct pointer_map_t *eh_map; + hash_map<void *, void *> *eh_map; }; static void @@ -536,12 +536,9 @@ duplicate_eh_regions_1 (struct duplicate_eh_regions_data *data, { eh_landing_pad old_lp, new_lp; eh_region new_r; - void **slot; new_r = gen_eh_region (old_r->type, outer); - slot = pointer_map_insert (data->eh_map, (void *)old_r); - gcc_assert (*slot == NULL); - *slot = (void *)new_r; + gcc_assert (!data->eh_map->put (old_r, new_r)); switch (old_r->type) { @@ -586,9 +583,7 @@ duplicate_eh_regions_1 (struct duplicate_eh_regions_data *data, continue; new_lp = gen_eh_landing_pad (new_r); - slot = pointer_map_insert (data->eh_map, (void *)old_lp); - gcc_assert (*slot == NULL); - *slot = (void *)new_lp; + gcc_assert (!data->eh_map->put (old_lp, new_lp)); new_lp->post_landing_pad = data->label_map (old_lp->post_landing_pad, data->label_map_data); @@ -609,7 +604,7 @@ duplicate_eh_regions_1 (struct duplicate_eh_regions_data *data, that allows the caller to remap uses of both EH regions and EH landing pads. */ -struct pointer_map_t * +hash_map<void *, void *> * duplicate_eh_regions (struct function *ifun, eh_region copy_region, int outer_lp, duplicate_eh_regions_map map, void *map_data) @@ -623,7 +618,7 @@ duplicate_eh_regions (struct function *ifun, data.label_map = map; data.label_map_data = map_data; - data.eh_map = pointer_map_create (); + data.eh_map = new hash_map<void *, void *>; outer_region = get_eh_region_from_lp_number (outer_lp); diff --git a/gcc/except.h b/gcc/except.h index bab13e1..5c2aa3d 100644 --- a/gcc/except.h +++ b/gcc/except.h @@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see # define GCC_EXCEPT_H #endif +#include "hash-map.h" #include "hashtab.h" struct function; @@ -249,7 +250,7 @@ extern rtx expand_builtin_extend_pointer (tree); extern void expand_dw2_landing_pad_for_region (eh_region); typedef tree (*duplicate_eh_regions_map) (tree, void *); -extern struct pointer_map_t *duplicate_eh_regions +extern hash_map<void *, void *> *duplicate_eh_regions (struct function *, eh_region, int, duplicate_eh_regions_map, void *); extern void sjlj_emit_function_exit_after (rtx); diff --git a/gcc/gimple-ssa-strength-reduction.c b/gcc/gimple-ssa-strength-reduction.c index d7c5db5..b13b7f7 100644 --- a/gcc/gimple-ssa-strength-reduction.c +++ b/gcc/gimple-ssa-strength-reduction.c @@ -38,6 +38,7 @@ along with GCC; see the file COPYING3. If not see #include "coretypes.h" #include "tree.h" #include "pointer-set.h" +#include "hash-map.h" #include "hash-table.h" #include "basic-block.h" #include "tree-ssa-alias.h" @@ -373,7 +374,7 @@ enum count_phis_status }; /* Pointer map embodying a mapping from statements to candidates. */ -static struct pointer_map_t *stmt_cand_map; +static hash_map<gimple, slsr_cand_t> *stmt_cand_map; /* Obstack for candidates. */ static struct obstack cand_obstack; @@ -435,7 +436,7 @@ static hash_table<cand_chain_hasher> *base_cand_map; /* Pointer map used by tree_to_aff_combination_expand. */ static struct pointer_map_t *name_expansions; /* Pointer map embodying a mapping from bases to alternative bases. */ -static struct pointer_map_t *alt_base_map; +static hash_map<tree, tree> *alt_base_map; /* Given BASE, use the tree affine combiniation facilities to find the underlying tree expression for BASE, with any @@ -447,7 +448,7 @@ static struct pointer_map_t *alt_base_map; static tree get_alternative_base (tree base) { - tree *result = (tree *) pointer_map_contains (alt_base_map, base); + tree *result = alt_base_map->get (base); if (result == NULL) { @@ -459,13 +460,9 @@ get_alternative_base (tree base) aff.offset = 0; expr = aff_combination_to_tree (&aff); - result = (tree *) pointer_map_insert (alt_base_map, base); - gcc_assert (!*result); + gcc_assert (!alt_base_map->put (base, base == expr ? NULL : expr)); - if (expr == base) - *result = NULL; - else - *result = expr; + return expr == base ? NULL : expr; } return *result; @@ -724,7 +721,7 @@ base_cand_from_table (tree base_in) if (!def) return (slsr_cand_t) NULL; - result = (slsr_cand_t *) pointer_map_contains (stmt_cand_map, def); + result = stmt_cand_map->get (def); if (result && (*result)->kind != CAND_REF) return *result; @@ -737,9 +734,7 @@ base_cand_from_table (tree base_in) static void add_cand_for_stmt (gimple gs, slsr_cand_t c) { - void **slot = pointer_map_insert (stmt_cand_map, gs); - gcc_assert (!*slot); - *slot = c; + gcc_assert (!stmt_cand_map->put (gs, c)); } /* Given PHI which contains a phi statement, determine whether it @@ -3628,7 +3623,7 @@ pass_strength_reduction::execute (function *fun) cand_vec.create (128); /* Allocate the mapping from statements to candidate indices. */ - stmt_cand_map = pointer_map_create (); + stmt_cand_map = new hash_map<gimple, slsr_cand_t>; /* Create the obstack where candidate chains will reside. */ gcc_obstack_init (&chain_obstack); @@ -3637,7 +3632,7 @@ pass_strength_reduction::execute (function *fun) base_cand_map = new hash_table<cand_chain_hasher> (500); /* Allocate the mapping from bases to alternative bases. */ - alt_base_map = pointer_map_create (); + alt_base_map = new hash_map<tree, tree>; /* Initialize the loop optimizer. We need to detect flow across back edges, and this gives us dominator information as well. */ @@ -3654,7 +3649,7 @@ pass_strength_reduction::execute (function *fun) dump_cand_chains (); } - pointer_map_destroy (alt_base_map); + delete alt_base_map; free_affine_expand_cache (&name_expansions); /* Analyze costs and make appropriate replacements. */ @@ -3664,7 +3659,7 @@ pass_strength_reduction::execute (function *fun) delete base_cand_map; base_cand_map = NULL; obstack_free (&chain_obstack, NULL); - pointer_map_destroy (stmt_cand_map); + delete stmt_cand_map; cand_vec.release (); obstack_free (&cand_obstack, NULL); diff --git a/gcc/hash-map.h b/gcc/hash-map.h index 0b50f72..ec48844 100644 --- a/gcc/hash-map.h +++ b/gcc/hash-map.h @@ -93,7 +93,7 @@ private: static void mark_key_deleted (T *&k) { - k = static_cast<T *> (1); + k = reinterpret_cast<T *> (1); } template<typename T> @@ -185,6 +185,11 @@ public: return e->m_value; } + void remove (const Key &k) + { + m_table.remove_elt_with_hash (k, Traits::hash (k)); + } + /* Call the call back on each pair of key and value with the passed in arg. */ @@ -196,6 +201,15 @@ public: f ((*iter).m_key, (*iter).m_value, a); } + template<typename Arg, bool (*f)(const Key &, Value *, Arg)> + void traverse (Arg a) const + { + for (typename hash_table<hash_entry>::iterator iter = m_table.begin (); + iter != m_table.end (); ++iter) + if (!f ((*iter).m_key, &(*iter).m_value, a)) + break; + } + private: hash_table<hash_entry> m_table; }; diff --git a/gcc/ipa-utils.c b/gcc/ipa-utils.c index 7810e55..a391b5d 100644 --- a/gcc/ipa-utils.c +++ b/gcc/ipa-utils.c @@ -389,7 +389,7 @@ cgraph_node_set_new (void) cgraph_node_set new_node_set; new_node_set = XCNEW (struct cgraph_node_set_def); - new_node_set->map = pointer_map_create (); + new_node_set->map = new hash_map<cgraph_node *, size_t>; new_node_set->nodes.create (0); return new_node_set; } @@ -400,19 +400,17 @@ cgraph_node_set_new (void) void cgraph_node_set_add (cgraph_node_set set, struct cgraph_node *node) { - void **slot; + bool existed_p; + size_t &index = set->map->get_or_insert (node, &existed_p); - slot = pointer_map_insert (set->map, node); - - if (*slot) + if (existed_p) { - int index = (size_t) *slot - 1; gcc_checking_assert ((set->nodes[index] == node)); return; } - *slot = (void *)(size_t) (set->nodes.length () + 1); + index = set->nodes.length () + 1; /* Insert into node vector. */ set->nodes.safe_push (node); @@ -424,15 +422,14 @@ cgraph_node_set_add (cgraph_node_set set, struct cgraph_node *node) void cgraph_node_set_remove (cgraph_node_set set, struct cgraph_node *node) { - void **slot, **last_slot; int index; struct cgraph_node *last_node; - slot = pointer_map_contains (set->map, node); + size_t *slot = set->map->get (node); if (slot == NULL || !*slot) return; - index = (size_t) *slot - 1; + index = *slot - 1; gcc_checking_assert (set->nodes[index] == node); @@ -441,16 +438,16 @@ cgraph_node_set_remove (cgraph_node_set set, struct cgraph_node *node) last_node = set->nodes.pop (); if (last_node != node) { - last_slot = pointer_map_contains (set->map, last_node); + size_t *last_slot = set->map->get (last_node); gcc_checking_assert (last_slot && *last_slot); - *last_slot = (void *)(size_t) (index + 1); + *last_slot = index + 1; /* Move the last element to the original spot of NODE. */ set->nodes[index] = last_node; } /* Remove element from hash table. */ - *slot = NULL; + set->map->remove (node); } @@ -460,14 +457,14 @@ cgraph_node_set_remove (cgraph_node_set set, struct cgraph_node *node) cgraph_node_set_iterator cgraph_node_set_find (cgraph_node_set set, struct cgraph_node *node) { - void **slot; + size_t *slot; cgraph_node_set_iterator csi; - slot = pointer_map_contains (set->map, node); + slot = set->map->get (node); if (slot == NULL || !*slot) csi.index = (unsigned) ~0; else - csi.index = (size_t)*slot - 1; + csi.index = *slot - 1; csi.set = set; return csi; @@ -505,7 +502,7 @@ void free_cgraph_node_set (cgraph_node_set set) { set->nodes.release (); - pointer_map_destroy (set->map); + delete set->map; free (set); } @@ -518,7 +515,7 @@ varpool_node_set_new (void) varpool_node_set new_node_set; new_node_set = XCNEW (struct varpool_node_set_def); - new_node_set->map = pointer_map_create (); + new_node_set->map = new hash_map<varpool_node *, size_t>; new_node_set->nodes.create (0); return new_node_set; } @@ -529,19 +526,18 @@ varpool_node_set_new (void) void varpool_node_set_add (varpool_node_set set, varpool_node *node) { - void **slot; - - slot = pointer_map_insert (set->map, node); + bool existed; + size_t &slot = set->map->get_or_insert (node, &existed); - if (*slot) + if (existed) { - int index = (size_t) *slot - 1; + int index = slot - 1; gcc_checking_assert ((set->nodes[index] == node)); return; } - *slot = (void *)(size_t) (set->nodes.length () + 1); + slot = set->nodes.length () + 1; /* Insert into node vector. */ set->nodes.safe_push (node); @@ -553,15 +549,14 @@ varpool_node_set_add (varpool_node_set set, varpool_node *node) void varpool_node_set_remove (varpool_node_set set, varpool_node *node) { - void **slot, **last_slot; int index; varpool_node *last_node; - slot = pointer_map_contains (set->map, node); + size_t *slot = set->map->get (node); if (slot == NULL || !*slot) return; - index = (size_t) *slot - 1; + index = *slot - 1; gcc_checking_assert (set->nodes[index] == node); @@ -570,16 +565,16 @@ varpool_node_set_remove (varpool_node_set set, varpool_node *node) last_node = set->nodes.pop (); if (last_node != node) { - last_slot = pointer_map_contains (set->map, last_node); + size_t *last_slot = set->map->get (last_node); gcc_checking_assert (last_slot && *last_slot); - *last_slot = (void *)(size_t) (index + 1); + *last_slot = index + 1; /* Move the last element to the original spot of NODE. */ set->nodes[index] = last_node; } /* Remove element from hash table. */ - *slot = NULL; + set->map->remove (node); } @@ -589,14 +584,13 @@ varpool_node_set_remove (varpool_node_set set, varpool_node *node) varpool_node_set_iterator varpool_node_set_find (varpool_node_set set, varpool_node *node) { - void **slot; varpool_node_set_iterator vsi; - slot = pointer_map_contains (set->map, node); + size_t *slot = set->map->get (node); if (slot == NULL || !*slot) vsi.index = (unsigned) ~0; else - vsi.index = (size_t)*slot - 1; + vsi.index = *slot - 1; vsi.set = set; return vsi; @@ -625,7 +619,7 @@ void free_varpool_node_set (varpool_node_set set) { set->nodes.release (); - pointer_map_destroy (set->map); + delete set->map; free (set); } diff --git a/gcc/lto-cgraph.c b/gcc/lto-cgraph.c index 42b0790..28a30ad 100644 --- a/gcc/lto-cgraph.c +++ b/gcc/lto-cgraph.c @@ -93,7 +93,7 @@ lto_symtab_encoder_new (bool for_input) lto_symtab_encoder_t encoder = XCNEW (struct lto_symtab_encoder_d); if (!for_input) - encoder->map = pointer_map_create (); + encoder->map = new hash_map<symtab_node *, size_t>; encoder->nodes.create (0); return encoder; } @@ -106,7 +106,7 @@ lto_symtab_encoder_delete (lto_symtab_encoder_t encoder) { encoder->nodes.release (); if (encoder->map) - pointer_map_destroy (encoder->map); + delete encoder->map; free (encoder); } @@ -120,7 +120,6 @@ lto_symtab_encoder_encode (lto_symtab_encoder_t encoder, symtab_node *node) { int ref; - void **slot; if (!encoder->map) { @@ -131,18 +130,17 @@ lto_symtab_encoder_encode (lto_symtab_encoder_t encoder, return ref; } - slot = pointer_map_contains (encoder->map, node); + size_t *slot = encoder->map->get (node); if (!slot || !*slot) { lto_encoder_entry entry = {node, false, false, false}; ref = encoder->nodes.length (); if (!slot) - slot = pointer_map_insert (encoder->map, node); - *slot = (void *) (intptr_t) (ref + 1); + encoder->map->put (node, ref + 1); encoder->nodes.safe_push (entry); } else - ref = (size_t) *slot - 1; + ref = *slot - 1; return ref; } @@ -153,15 +151,14 @@ bool lto_symtab_encoder_delete_node (lto_symtab_encoder_t encoder, symtab_node *node) { - void **slot, **last_slot; int index; lto_encoder_entry last_node; - slot = pointer_map_contains (encoder->map, node); + size_t *slot = encoder->map->get (node); if (slot == NULL || !*slot) return false; - index = (size_t) *slot - 1; + index = *slot - 1; gcc_checking_assert (encoder->nodes[index].node == node); /* Remove from vector. We do this by swapping node with the last element @@ -169,16 +166,14 @@ lto_symtab_encoder_delete_node (lto_symtab_encoder_t encoder, last_node = encoder->nodes.pop (); if (last_node.node != node) { - last_slot = pointer_map_contains (encoder->map, last_node.node); - gcc_checking_assert (last_slot && *last_slot); - *last_slot = (void *)(size_t) (index + 1); + gcc_assert (encoder->map->put (last_node.node, index + 1)); /* Move the last element to the original spot of NODE. */ encoder->nodes[index] = last_node; } /* Remove element from hash table. */ - *slot = NULL; + encoder->map->remove (node); return true; } diff --git a/gcc/lto-streamer.h b/gcc/lto-streamer.h index d350ad9..b2486dd 100644 --- a/gcc/lto-streamer.h +++ b/gcc/lto-streamer.h @@ -443,7 +443,7 @@ struct lto_encoder_entry struct lto_symtab_encoder_d { vec<lto_encoder_entry> nodes; - pointer_map_t *map; + hash_map<symtab_node *, size_t> *map; }; typedef struct lto_symtab_encoder_d *lto_symtab_encoder_t; @@ -1046,8 +1046,8 @@ static inline int lto_symtab_encoder_lookup (lto_symtab_encoder_t encoder, symtab_node *node) { - void **slot = pointer_map_contains (encoder->map, node); - return (slot && *slot ? (size_t) *(slot) - 1 : LCC_NOT_FOUND); + size_t *slot = encoder->map->get (node); + return (slot && *slot ? *(slot) - 1 : LCC_NOT_FOUND); } /* Return true if iterator LSE points to nothing. */ diff --git a/gcc/omp-low.c b/gcc/omp-low.c index b46693b..0fe2a40 100644 --- a/gcc/omp-low.c +++ b/gcc/omp-low.c @@ -812,16 +812,14 @@ is_reference (tree decl) static inline tree lookup_decl (tree var, omp_context *ctx) { - tree *n; - n = (tree *) pointer_map_contains (ctx->cb.decl_map, var); + tree *n = ctx->cb.decl_map->get (var); return *n; } static inline tree maybe_lookup_decl (const_tree var, omp_context *ctx) { - tree *n; - n = (tree *) pointer_map_contains (ctx->cb.decl_map, var); + tree *n = ctx->cb.decl_map->get (const_cast<tree> (var)); return n ? *n : NULL_TREE; } @@ -1359,7 +1357,7 @@ new_omp_context (gimple stmt, omp_context *outer_ctx) ctx->depth = 1; } - ctx->cb.decl_map = pointer_map_create (); + ctx->cb.decl_map = new hash_map<tree, tree>; return ctx; } @@ -1408,7 +1406,7 @@ delete_omp_context (splay_tree_value value) { omp_context *ctx = (omp_context *) value; - pointer_map_destroy (ctx->cb.decl_map); + delete ctx->cb.decl_map; if (ctx->field_map) splay_tree_delete (ctx->field_map); @@ -6541,7 +6539,6 @@ expand_omp_for_static_chunk (struct omp_region *region, gimple_stmt_iterator psi; gimple phi; edge re, ene; - edge_var_map_vector *head; edge_var_map *vm; size_t i; @@ -6552,7 +6549,7 @@ expand_omp_for_static_chunk (struct omp_region *region, appropriate phi nodes in iter_part_bb instead. */ se = single_pred_edge (fin_bb); re = single_succ_edge (trip_update_bb); - head = redirect_edge_var_map_vector (re); + vec<edge_var_map> *head = redirect_edge_var_map_vector (re); ene = single_succ_edge (entry_bb); psi = gsi_start_phis (fin_bb); @@ -9219,7 +9216,7 @@ task_copyfn_remap_type (struct omp_taskcopy_context *tcctx, tree orig_type) walk_tree (&DECL_FIELD_OFFSET (new_f), copy_tree_body_r, &tcctx->cb, NULL); new_fields = new_f; - *pointer_map_insert (tcctx->cb.decl_map, f) = new_f; + tcctx->cb.decl_map->put (f, new_f); } TYPE_FIELDS (type) = nreverse (new_fields); layout_type (type); @@ -9286,7 +9283,7 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) tcctx.cb.copy_decl = task_copyfn_copy_decl; tcctx.cb.eh_lp_nr = 0; tcctx.cb.transform_call_graph_edges = CB_CGE_MOVE; - tcctx.cb.decl_map = pointer_map_create (); + tcctx.cb.decl_map = new hash_map<tree, tree>; tcctx.ctx = ctx; if (record_needs_remap) @@ -9311,12 +9308,12 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) tree *p; decl = OMP_CLAUSE_DECL (c); - p = (tree *) pointer_map_contains (tcctx.cb.decl_map, decl); + p = tcctx.cb.decl_map->get (decl); if (p == NULL) continue; n = splay_tree_lookup (ctx->sfield_map, (splay_tree_key) decl); sf = (tree) n->value; - sf = *(tree *) pointer_map_contains (tcctx.cb.decl_map, sf); + sf = *tcctx.cb.decl_map->get (sf); src = build_simple_mem_ref_loc (loc, sarg); src = omp_build_component_ref (src, sf); t = build2 (MODIFY_EXPR, TREE_TYPE (*p), *p, src); @@ -9335,11 +9332,11 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) break; f = (tree) n->value; if (tcctx.cb.decl_map) - f = *(tree *) pointer_map_contains (tcctx.cb.decl_map, f); + f = *tcctx.cb.decl_map->get (f); n = splay_tree_lookup (ctx->sfield_map, (splay_tree_key) decl); sf = (tree) n->value; if (tcctx.cb.decl_map) - sf = *(tree *) pointer_map_contains (tcctx.cb.decl_map, sf); + sf = *tcctx.cb.decl_map->get (sf); src = build_simple_mem_ref_loc (loc, sarg); src = omp_build_component_ref (src, sf); dst = build_simple_mem_ref_loc (loc, arg); @@ -9356,13 +9353,13 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) break; f = (tree) n->value; if (tcctx.cb.decl_map) - f = *(tree *) pointer_map_contains (tcctx.cb.decl_map, f); + f = *tcctx.cb.decl_map->get (f); n = splay_tree_lookup (ctx->sfield_map, (splay_tree_key) decl); if (n != NULL) { sf = (tree) n->value; if (tcctx.cb.decl_map) - sf = *(tree *) pointer_map_contains (tcctx.cb.decl_map, sf); + sf = *tcctx.cb.decl_map->get (sf); src = build_simple_mem_ref_loc (loc, sarg); src = omp_build_component_ref (src, sf); if (use_pointer_for_field (decl, NULL) || is_reference (decl)) @@ -9382,13 +9379,13 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) n = splay_tree_lookup (ctx->field_map, (splay_tree_key) decl); f = (tree) n->value; if (tcctx.cb.decl_map) - f = *(tree *) pointer_map_contains (tcctx.cb.decl_map, f); + f = *tcctx.cb.decl_map->get (f); n = splay_tree_lookup (ctx->sfield_map, (splay_tree_key) decl); if (n != NULL) { sf = (tree) n->value; if (tcctx.cb.decl_map) - sf = *(tree *) pointer_map_contains (tcctx.cb.decl_map, sf); + sf = *tcctx.cb.decl_map->get (sf); src = build_simple_mem_ref_loc (loc, sarg); src = omp_build_component_ref (src, sf); if (use_pointer_for_field (decl, NULL)) @@ -9419,7 +9416,7 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) if (n == NULL) continue; f = (tree) n->value; - f = *(tree *) pointer_map_contains (tcctx.cb.decl_map, f); + f = *tcctx.cb.decl_map->get (f); gcc_assert (DECL_HAS_VALUE_EXPR_P (decl)); ind = DECL_VALUE_EXPR (decl); gcc_assert (TREE_CODE (ind) == INDIRECT_REF); @@ -9427,7 +9424,7 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) n = splay_tree_lookup (ctx->sfield_map, (splay_tree_key) TREE_OPERAND (ind, 0)); sf = (tree) n->value; - sf = *(tree *) pointer_map_contains (tcctx.cb.decl_map, sf); + sf = *tcctx.cb.decl_map->get (sf); src = build_simple_mem_ref_loc (loc, sarg); src = omp_build_component_ref (src, sf); src = build_simple_mem_ref_loc (loc, src); @@ -9438,7 +9435,7 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) n = splay_tree_lookup (ctx->field_map, (splay_tree_key) TREE_OPERAND (ind, 0)); df = (tree) n->value; - df = *(tree *) pointer_map_contains (tcctx.cb.decl_map, df); + df = *tcctx.cb.decl_map->get (df); ptr = build_simple_mem_ref_loc (loc, arg); ptr = omp_build_component_ref (ptr, df); t = build2 (MODIFY_EXPR, TREE_TYPE (ptr), ptr, @@ -9450,7 +9447,7 @@ create_task_copyfn (gimple task_stmt, omp_context *ctx) append_to_statement_list (t, &list); if (tcctx.cb.decl_map) - pointer_map_destroy (tcctx.cb.decl_map); + delete tcctx.cb.decl_map; pop_gimplify_context (NULL); BIND_EXPR_BODY (bind) = list; pop_cfun (); diff --git a/gcc/predict.c b/gcc/predict.c index 72a3b53..34ebdc3 100644 --- a/gcc/predict.c +++ b/gcc/predict.c @@ -52,6 +52,7 @@ along with GCC; see the file COPYING3. If not see #include "target.h" #include "cfgloop.h" #include "pointer-set.h" +#include "hash-map.h" #include "tree-ssa-alias.h" #include "internal-fn.h" #include "gimple-expr.h" @@ -490,11 +491,6 @@ rtl_predicted_by_p (const_basic_block bb, enum br_predictor predictor) return false; } -/* This map contains for a basic block the list of predictions for the - outgoing edges. */ - -static struct pointer_map_t *bb_predictions; - /* Structure representing predictions in tree level. */ struct edge_prediction { @@ -504,6 +500,11 @@ struct edge_prediction { int ep_probability; }; +/* This map contains for a basic block the list of predictions for the + outgoing edges. */ + +static hash_map<const_basic_block, edge_prediction *> *bb_predictions; + /* Return true if the one of outgoing edges is already predicted by PREDICTOR. */ @@ -511,12 +512,12 @@ bool gimple_predicted_by_p (const_basic_block bb, enum br_predictor predictor) { struct edge_prediction *i; - void **preds = pointer_map_contains (bb_predictions, bb); + edge_prediction **preds = bb_predictions->get (bb); if (!preds) return false; - for (i = (struct edge_prediction *) *preds; i; i = i->ep_next) + for (i = *preds; i; i = i->ep_next) if (i->ep_predictor == predictor) return true; return false; @@ -618,10 +619,10 @@ gimple_predict_edge (edge e, enum br_predictor predictor, int probability) && flag_guess_branch_prob && optimize) { struct edge_prediction *i = XNEW (struct edge_prediction); - void **preds = pointer_map_insert (bb_predictions, e->src); + edge_prediction *&preds = bb_predictions->get_or_insert (e->src); - i->ep_next = (struct edge_prediction *) *preds; - *preds = i; + i->ep_next = preds; + preds = i; i->ep_probability = probability; i->ep_predictor = predictor; i->ep_edge = e; @@ -633,16 +634,14 @@ gimple_predict_edge (edge e, enum br_predictor predictor, int probability) void remove_predictions_associated_with_edge (edge e) { - void **preds; - if (!bb_predictions) return; - preds = pointer_map_contains (bb_predictions, e->src); + edge_prediction **preds = bb_predictions->get (e->src); if (preds) { - struct edge_prediction **prediction = (struct edge_prediction **) preds; + struct edge_prediction **prediction = preds; struct edge_prediction *next; while (*prediction) @@ -664,13 +663,13 @@ remove_predictions_associated_with_edge (edge e) static void clear_bb_predictions (basic_block bb) { - void **preds = pointer_map_contains (bb_predictions, bb); + edge_prediction **preds = bb_predictions->get (bb); struct edge_prediction *pred, *next; if (!preds) return; - for (pred = (struct edge_prediction *) *preds; pred; pred = next) + for (pred = *preds; pred; pred = next) { next = pred->ep_next; free (pred); @@ -903,7 +902,6 @@ combine_predictions_for_bb (basic_block bb) int nedges = 0; edge e, first = NULL, second = NULL; edge_iterator ei; - void **preds; FOR_EACH_EDGE (e, ei, bb->succs) if (!(e->flags & (EDGE_EH | EDGE_FAKE))) @@ -935,12 +933,12 @@ combine_predictions_for_bb (basic_block bb) if (dump_file) fprintf (dump_file, "Predictions for bb %i\n", bb->index); - preds = pointer_map_contains (bb_predictions, bb); + edge_prediction **preds = bb_predictions->get (bb); if (preds) { /* We implement "first match" heuristics and use probability guessed by predictor with smallest index. */ - for (pred = (struct edge_prediction *) *preds; pred; pred = pred->ep_next) + for (pred = *preds; pred; pred = pred->ep_next) { enum br_predictor predictor = pred->ep_predictor; int probability = pred->ep_probability; @@ -2243,14 +2241,14 @@ tree_bb_level_predictions (void) #ifdef ENABLE_CHECKING -/* Callback for pointer_map_traverse, asserts that the pointer map is +/* Callback for hash_map::traverse, asserts that the pointer map is empty. */ -static bool -assert_is_empty (const void *key ATTRIBUTE_UNUSED, void **value, - void *data ATTRIBUTE_UNUSED) +bool +assert_is_empty (const_basic_block const &, edge_prediction *const &value, + void *) { - gcc_assert (!*value); + gcc_assert (!value); return false; } #endif @@ -2375,7 +2373,7 @@ tree_estimate_probability (void) create_preheaders (CP_SIMPLE_PREHEADERS); calculate_dominance_info (CDI_POST_DOMINATORS); - bb_predictions = pointer_map_create (); + bb_predictions = new hash_map<const_basic_block, edge_prediction *>; tree_bb_level_predictions (); record_loop_exits (); @@ -2389,9 +2387,9 @@ tree_estimate_probability (void) combine_predictions_for_bb (bb); #ifdef ENABLE_CHECKING - pointer_map_traverse (bb_predictions, assert_is_empty, NULL); + bb_predictions->traverse<void *, assert_is_empty> (NULL); #endif - pointer_map_destroy (bb_predictions); + delete bb_predictions; bb_predictions = NULL; estimate_bb_frequencies (false); diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index e034762..cfa6527 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -22,6 +22,7 @@ along with GCC; see the file COPYING3. If not see #include "system.h" #include "coretypes.h" #include "hash-table.h" +#include "hash-map.h" #include "tm.h" #include "tree.h" #include "trans-mem.h" @@ -92,7 +93,7 @@ static const int initial_cfg_capacity = 20; more persistent. The key is getting notification of changes to the CFG (particularly edge removal, creation and redirection). */ -static struct pointer_map_t *edge_to_cases; +static hash_map<edge, tree> *edge_to_cases; /* If we record edge_to_cases, this bitmap will hold indexes of basic blocks that end in a GIMPLE_SWITCH which we touched @@ -1048,19 +1049,17 @@ make_cond_expr_edges (basic_block bb) SWITCH_EXPRs and structure sharing rules, then free the hash table element. */ -static bool -edge_to_cases_cleanup (const void *key ATTRIBUTE_UNUSED, void **value, - void *data ATTRIBUTE_UNUSED) +bool +edge_to_cases_cleanup (edge const &, tree const &value, void *) { tree t, next; - for (t = (tree) *value; t; t = next) + for (t = value; t; t = next) { next = CASE_CHAIN (t); CASE_CHAIN (t) = NULL; } - *value = NULL; return true; } @@ -1070,7 +1069,7 @@ void start_recording_case_labels (void) { gcc_assert (edge_to_cases == NULL); - edge_to_cases = pointer_map_create (); + edge_to_cases = new hash_map<edge, tree>; touched_switch_bbs = BITMAP_ALLOC (NULL); } @@ -1089,8 +1088,8 @@ end_recording_case_labels (void) { bitmap_iterator bi; unsigned i; - pointer_map_traverse (edge_to_cases, edge_to_cases_cleanup, NULL); - pointer_map_destroy (edge_to_cases); + edge_to_cases->traverse<void *, edge_to_cases_cleanup> (NULL); + delete edge_to_cases; edge_to_cases = NULL; EXECUTE_IF_SET_IN_BITMAP (touched_switch_bbs, 0, i, bi) { @@ -1113,7 +1112,7 @@ end_recording_case_labels (void) static tree get_cases_for_edge (edge e, gimple t) { - void **slot; + tree *slot; size_t i, n; /* If we are not recording cases, then we do not have CASE_LABEL_EXPR @@ -1121,9 +1120,9 @@ get_cases_for_edge (edge e, gimple t) if (!recording_case_labels_p ()) return NULL; - slot = pointer_map_contains (edge_to_cases, e); + slot = edge_to_cases->get (e); if (slot) - return (tree) *slot; + return *slot; /* If we did not find E in the hash table, then this must be the first time we have been queried for information about E & T. Add all the @@ -1139,12 +1138,12 @@ get_cases_for_edge (edge e, gimple t) /* Add it to the chain of CASE_LABEL_EXPRs referencing E, or create a new chain. */ - slot = pointer_map_insert (edge_to_cases, this_edge); - CASE_CHAIN (elt) = (tree) *slot; - *slot = elt; + tree &s = edge_to_cases->get_or_insert (this_edge); + CASE_CHAIN (elt) = s; + s = elt; } - return (tree) *pointer_map_contains (edge_to_cases, e); + return *edge_to_cases->get (e); } /* Create the edges for a GIMPLE_SWITCH starting at block BB. */ @@ -2577,12 +2576,11 @@ last_and_only_stmt (basic_block bb) static void reinstall_phi_args (edge new_edge, edge old_edge) { - edge_var_map_vector *v; edge_var_map *vm; int i; gimple_stmt_iterator phis; - v = redirect_edge_var_map_vector (old_edge); + vec<edge_var_map> *v = redirect_edge_var_map_vector (old_edge); if (!v) return; @@ -6268,22 +6266,20 @@ gather_blocks_in_sese_region (basic_block entry, basic_block exit, The duplicates are recorded in VARS_MAP. */ static void -replace_by_duplicate_decl (tree *tp, struct pointer_map_t *vars_map, +replace_by_duplicate_decl (tree *tp, hash_map<tree, tree> *vars_map, tree to_context) { tree t = *tp, new_t; struct function *f = DECL_STRUCT_FUNCTION (to_context); - void **loc; if (DECL_CONTEXT (t) == to_context) return; - loc = pointer_map_contains (vars_map, t); + bool existed; + tree &loc = vars_map->get_or_insert (t, &existed); - if (!loc) + if (!existed) { - loc = pointer_map_insert (vars_map, t); - if (SSA_VAR_P (t)) { new_t = copy_var_decl (t, DECL_NAME (t), TREE_TYPE (t)); @@ -6296,10 +6292,10 @@ replace_by_duplicate_decl (tree *tp, struct pointer_map_t *vars_map, } DECL_CONTEXT (new_t) = to_context; - *loc = new_t; + loc = new_t; } else - new_t = (tree) *loc; + new_t = loc; *tp = new_t; } @@ -6309,15 +6305,14 @@ replace_by_duplicate_decl (tree *tp, struct pointer_map_t *vars_map, VARS_MAP maps old ssa names and var_decls to the new ones. */ static tree -replace_ssa_name (tree name, struct pointer_map_t *vars_map, +replace_ssa_name (tree name, hash_map<tree, tree> *vars_map, tree to_context) { - void **loc; tree new_name; gcc_assert (!virtual_operand_p (name)); - loc = pointer_map_contains (vars_map, name); + tree *loc = vars_map->get (name); if (!loc) { @@ -6335,11 +6330,10 @@ replace_ssa_name (tree name, struct pointer_map_t *vars_map, new_name = copy_ssa_name_fn (DECL_STRUCT_FUNCTION (to_context), name, SSA_NAME_DEF_STMT (name)); - loc = pointer_map_insert (vars_map, name); - *loc = new_name; + vars_map->put (name, new_name); } else - new_name = (tree) *loc; + new_name = *loc; return new_name; } @@ -6350,9 +6344,9 @@ struct move_stmt_d tree new_block; tree from_context; tree to_context; - struct pointer_map_t *vars_map; + hash_map<tree, tree> *vars_map; htab_t new_label_map; - struct pointer_map_t *eh_map; + hash_map<void *, void *> *eh_map; bool remap_decls_p; }; @@ -6429,11 +6423,9 @@ static int move_stmt_eh_region_nr (int old_nr, struct move_stmt_d *p) { eh_region old_r, new_r; - void **slot; old_r = get_eh_region_from_number (old_nr); - slot = pointer_map_contains (p->eh_map, old_r); - new_r = (eh_region) *slot; + new_r = static_cast<eh_region> (*p->eh_map->get (old_r)); return new_r->index; } @@ -6767,7 +6759,7 @@ new_label_mapper (tree decl, void *data) subblocks. */ static void -replace_block_vars_by_duplicates (tree block, struct pointer_map_t *vars_map, +replace_block_vars_by_duplicates (tree block, hash_map<tree, tree> *vars_map, tree to_context) { tree *tp, t; @@ -6845,7 +6837,7 @@ move_sese_region_to_fn (struct function *dest_cfun, basic_block entry_bb, edge e; edge_iterator ei; htab_t new_label_map; - struct pointer_map_t *vars_map, *eh_map; + hash_map<void *, void *> *eh_map; struct loop *loop = entry_bb->loop_father; struct loop *loop0 = get_loop (saved_cfun, 0); struct move_stmt_d d; @@ -6989,14 +6981,14 @@ move_sese_region_to_fn (struct function *dest_cfun, basic_block entry_bb, /* Move blocks from BBS into DEST_CFUN. */ gcc_assert (bbs.length () >= 2); after = dest_cfun->cfg->x_entry_block_ptr; - vars_map = pointer_map_create (); + hash_map<tree, tree> vars_map; memset (&d, 0, sizeof (d)); d.orig_block = orig_block; d.new_block = DECL_INITIAL (dest_cfun->decl); d.from_context = cfun->decl; d.to_context = dest_cfun->decl; - d.vars_map = vars_map; + d.vars_map = &vars_map; d.new_label_map = new_label_map; d.eh_map = eh_map; d.remap_decls_p = true; @@ -7051,13 +7043,12 @@ move_sese_region_to_fn (struct function *dest_cfun, basic_block entry_bb, } replace_block_vars_by_duplicates (DECL_INITIAL (dest_cfun->decl), - vars_map, dest_cfun->decl); + &vars_map, dest_cfun->decl); if (new_label_map) htab_delete (new_label_map); if (eh_map) - pointer_map_destroy (eh_map); - pointer_map_destroy (vars_map); + delete eh_map; /* Rewire the entry and exit blocks. The successor to the entry block turns into the successor of DEST_FN's ENTRY_BLOCK_PTR in diff --git a/gcc/tree-cfgcleanup.c b/gcc/tree-cfgcleanup.c index bc4d83e..2b6927e 100644 --- a/gcc/tree-cfgcleanup.c +++ b/gcc/tree-cfgcleanup.c @@ -865,16 +865,14 @@ remove_forwarder_block_with_phi (basic_block bb) if (TREE_CODE (def) == SSA_NAME) { - edge_var_map_vector *head; - edge_var_map *vm; - size_t i; - /* If DEF is one of the results of PHI nodes removed during redirection, replace it with the PHI argument that used to be on E. */ - head = redirect_edge_var_map_vector (e); - FOR_EACH_VEC_SAFE_ELT (head, i, vm) + vec<edge_var_map> *head = redirect_edge_var_map_vector (e); + size_t length = head ? head->length () : 0; + for (size_t i = 0; i < length; i++) { + edge_var_map *vm = &(*head)[i]; tree old_arg = redirect_edge_var_map_result (vm); tree new_arg = redirect_edge_var_map_def (vm); diff --git a/gcc/tree-eh.c b/gcc/tree-eh.c index 38842e8..db28184 100644 --- a/gcc/tree-eh.c +++ b/gcc/tree-eh.c @@ -406,7 +406,7 @@ struct leh_tf_state size_t goto_queue_active; /* Pointer map to help in searching goto_queue when it is large. */ - struct pointer_map_t *goto_queue_map; + hash_map<gimple, goto_queue_node *> *goto_queue_map; /* The set of unique labels seen as entries in the goto queue. */ vec<tree> dest_array; @@ -441,7 +441,6 @@ static gimple_seq find_goto_replacement (struct leh_tf_state *tf, treemple stmt) { unsigned int i; - void **slot; if (tf->goto_queue_active < LARGE_GOTO_QUEUE) { @@ -456,19 +455,18 @@ find_goto_replacement (struct leh_tf_state *tf, treemple stmt) if (!tf->goto_queue_map) { - tf->goto_queue_map = pointer_map_create (); + tf->goto_queue_map = new hash_map<gimple, goto_queue_node *>; for (i = 0; i < tf->goto_queue_active; i++) { - slot = pointer_map_insert (tf->goto_queue_map, - tf->goto_queue[i].stmt.g); - gcc_assert (*slot == NULL); - *slot = &tf->goto_queue[i]; + bool existed = tf->goto_queue_map->put (tf->goto_queue[i].stmt.g, + &tf->goto_queue[i]); + gcc_assert (!existed); } } - slot = pointer_map_contains (tf->goto_queue_map, stmt.g); + goto_queue_node **slot = tf->goto_queue_map->get (stmt.g); if (slot != NULL) - return (((struct goto_queue_node *) *slot)->repl_stmt); + return ((*slot)->repl_stmt); return NULL; } @@ -1372,7 +1370,7 @@ lower_try_finally_switch (struct leh_state *state, struct leh_tf_state *tf) tree tmp; gimple switch_stmt; gimple_seq finally; - struct pointer_map_t *cont_map = NULL; + hash_map<tree, gimple> *cont_map = NULL; /* The location of the TRY_FINALLY stmt. */ location_t tf_loc = gimple_location (tf->try_finally_expr); /* The location of the finally block. */ @@ -1511,32 +1509,27 @@ lower_try_finally_switch (struct leh_state *state, struct leh_tf_state *tf) if (case_label_vec.length () <= case_index || !case_label_vec[case_index]) { tree case_lab; - void **slot; tmp = build_int_cst (integer_type_node, switch_id); case_lab = build_case_label (tmp, NULL, create_artificial_label (tf_loc)); /* We store the cont_stmt in the pointer map, so that we can recover it in the loop below. */ if (!cont_map) - cont_map = pointer_map_create (); - slot = pointer_map_insert (cont_map, case_lab); - *slot = q->cont_stmt; + cont_map = new hash_map<tree, gimple>; + cont_map->put (case_lab, q->cont_stmt); case_label_vec.quick_push (case_lab); } } for (j = last_case_index; j < last_case_index + nlabels; j++) { gimple cont_stmt; - void **slot; last_case = case_label_vec[j]; gcc_assert (last_case); gcc_assert (cont_map); - slot = pointer_map_contains (cont_map, last_case); - gcc_assert (slot); - cont_stmt = *(gimple *) slot; + cont_stmt = *cont_map->get (last_case); x = gimple_build_label (CASE_LABEL (last_case)); gimple_seq_add_stmt (&switch_body, x); @@ -1544,7 +1537,7 @@ lower_try_finally_switch (struct leh_state *state, struct leh_tf_state *tf) maybe_record_in_goto_queue (state, cont_stmt); } if (cont_map) - pointer_map_destroy (cont_map); + delete cont_map; replace_goto_queue (tf); @@ -1734,7 +1727,7 @@ lower_try_finally (struct leh_state *state, gimple tp) this_tf.dest_array.release (); free (this_tf.goto_queue); if (this_tf.goto_queue_map) - pointer_map_destroy (this_tf.goto_queue_map); + delete this_tf.goto_queue_map; /* If there was an old (aka outer) eh_seq, append the current eh_seq. If there was no old eh_seq, then the append is trivially already done. */ @@ -2921,10 +2914,10 @@ maybe_clean_or_replace_eh_stmt (gimple old_stmt, gimple new_stmt) bool maybe_duplicate_eh_stmt_fn (struct function *new_fun, gimple new_stmt, struct function *old_fun, gimple old_stmt, - struct pointer_map_t *map, int default_lp_nr) + hash_map<void *, void *> *map, + int default_lp_nr) { int old_lp_nr, new_lp_nr; - void **slot; if (!stmt_could_throw_p (new_stmt)) return false; @@ -2941,8 +2934,7 @@ maybe_duplicate_eh_stmt_fn (struct function *new_fun, gimple new_stmt, eh_landing_pad old_lp, new_lp; old_lp = (*old_fun->eh->lp_array)[old_lp_nr]; - slot = pointer_map_contains (map, old_lp); - new_lp = (eh_landing_pad) *slot; + new_lp = static_cast<eh_landing_pad> (*map->get (old_lp)); new_lp_nr = new_lp->index; } else @@ -2950,8 +2942,7 @@ maybe_duplicate_eh_stmt_fn (struct function *new_fun, gimple new_stmt, eh_region old_r, new_r; old_r = (*old_fun->eh->region_array)[-old_lp_nr]; - slot = pointer_map_contains (map, old_r); - new_r = (eh_region) *slot; + new_r = static_cast<eh_region> (*map->get (old_r)); new_lp_nr = -new_r->index; } @@ -3154,7 +3145,7 @@ make_pass_refactor_eh (gcc::context *ctxt) /* At the end of gimple optimization, we can lower RESX. */ static bool -lower_resx (basic_block bb, gimple stmt, struct pointer_map_t *mnt_map) +lower_resx (basic_block bb, gimple stmt, hash_map<eh_region, tree> *mnt_map) { int lp_nr; eh_region src_r, dst_r; @@ -3199,14 +3190,13 @@ lower_resx (basic_block bb, gimple stmt, struct pointer_map_t *mnt_map) if (lp_nr < 0) { basic_block new_bb; - void **slot; tree lab; /* We are resuming into a MUST_NOT_CALL region. Expand a call to the failure decl into a new block, if needed. */ gcc_assert (dst_r->type == ERT_MUST_NOT_THROW); - slot = pointer_map_contains (mnt_map, dst_r); + tree *slot = mnt_map->get (dst_r); if (slot == NULL) { gimple_stmt_iterator gsi2; @@ -3221,12 +3211,11 @@ lower_resx (basic_block bb, gimple stmt, struct pointer_map_t *mnt_map) gimple_set_location (x, dst_r->u.must_not_throw.failure_loc); gsi_insert_after (&gsi2, x, GSI_CONTINUE_LINKING); - slot = pointer_map_insert (mnt_map, dst_r); - *slot = lab; + mnt_map->put (dst_r, lab); } else { - lab = (tree) *slot; + lab = *slot; new_bb = label_to_block (lab); } @@ -3334,24 +3323,21 @@ unsigned pass_lower_resx::execute (function *fun) { basic_block bb; - struct pointer_map_t *mnt_map; bool dominance_invalidated = false; bool any_rewritten = false; - mnt_map = pointer_map_create (); + hash_map<eh_region, tree> mnt_map; FOR_EACH_BB_FN (bb, fun) { gimple last = last_stmt (bb); if (last && is_gimple_resx (last)) { - dominance_invalidated |= lower_resx (bb, last, mnt_map); + dominance_invalidated |= lower_resx (bb, last, &mnt_map); any_rewritten = true; } } - pointer_map_destroy (mnt_map); - if (dominance_invalidated) { free_dominance_info (CDI_DOMINATORS); diff --git a/gcc/tree-eh.h b/gcc/tree-eh.h index cd9b40d..51c2adc 100644 --- a/gcc/tree-eh.h +++ b/gcc/tree-eh.h @@ -20,6 +20,10 @@ along with GCC; see the file COPYING3. If not see #ifndef GCC_TREE_EH_H #define GCC_TREE_EH_H +#include "hash-map.h" + +typedef struct eh_region_d *eh_region; + extern void using_eh_for_cleanups (void); extern void add_stmt_to_eh_lp (gimple, int); extern bool remove_stmt_from_eh_lp_fn (struct function *, gimple); @@ -43,7 +47,7 @@ extern bool maybe_clean_eh_stmt (gimple); extern bool maybe_clean_or_replace_eh_stmt (gimple, gimple); extern bool maybe_duplicate_eh_stmt_fn (struct function *, gimple, struct function *, gimple, - struct pointer_map_t *, int); + hash_map<void *, void *> *, int); extern bool maybe_duplicate_eh_stmt (gimple, gimple); extern void maybe_remove_unreachable_handlers (void); extern bool verify_eh_edges (gimple); diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c index 6af4912..e2b7990 100644 --- a/gcc/tree-inline.c +++ b/gcc/tree-inline.c @@ -135,7 +135,7 @@ static tree declare_return_variable (copy_body_data *, tree, tree, basic_block); static void remap_block (tree *, copy_body_data *); static void copy_bind_expr (tree *, int *, copy_body_data *); static void declare_inline_vars (tree, tree); -static void remap_save_expr (tree *, void *, int *); +static void remap_save_expr (tree *, hash_map<tree, tree> *, int *); static void prepend_lexical_block (tree current_block, tree new_block); static tree copy_decl_to_var (tree, copy_body_data *); static tree copy_result_decl_to_var (tree, copy_body_data *); @@ -149,12 +149,12 @@ static bool delete_unreachable_blocks_update_callgraph (copy_body_data *id); void insert_decl_map (copy_body_data *id, tree key, tree value) { - *pointer_map_insert (id->decl_map, key) = value; + id->decl_map->put (key, value); /* Always insert an identity map as well. If we see this same new node again, we won't want to duplicate it a second time. */ if (key != value) - *pointer_map_insert (id->decl_map, value) = value; + id->decl_map->put (value, value); } /* Insert a tree->tree mapping for ID. This is only used for @@ -176,9 +176,9 @@ insert_debug_decl_map (copy_body_data *id, tree key, tree value) gcc_assert (TREE_CODE (value) == VAR_DECL); if (!id->debug_map) - id->debug_map = pointer_map_create (); + id->debug_map = new hash_map<tree, tree>; - *pointer_map_insert (id->debug_map, key) = value; + id->debug_map->put (key, value); } /* If nonzero, we're remapping the contents of inlined debug @@ -197,7 +197,7 @@ remap_ssa_name (tree name, copy_body_data *id) gcc_assert (TREE_CODE (name) == SSA_NAME); - n = (tree *) pointer_map_contains (id->decl_map, name); + n = id->decl_map->get (name); if (n) return unshare_expr (*n); @@ -213,7 +213,7 @@ remap_ssa_name (tree name, copy_body_data *id) gimple_stmt_iterator gsi; tree val = SSA_NAME_VAR (name); - n = (tree *) pointer_map_contains (id->decl_map, val); + n = id->decl_map->get (val); if (n != NULL) val = *n; if (TREE_CODE (val) != PARM_DECL) @@ -342,7 +342,7 @@ remap_decl (tree decl, copy_body_data *id) /* See if we have remapped this declaration. */ - n = (tree *) pointer_map_contains (id->decl_map, decl); + n = id->decl_map->get (decl); if (!n && processing_debug_stmt) { @@ -562,7 +562,7 @@ remap_type (tree type, copy_body_data *id) return type; /* See if we have remapped this type. */ - node = (tree *) pointer_map_contains (id->decl_map, type); + node = id->decl_map->get (type); if (node) return *node; @@ -887,7 +887,7 @@ remap_gimple_op_r (tree *tp, int *walk_subtrees, void *data) { /* If the enclosing record type is variably_modified_type_p, the field has already been remapped. Otherwise, it need not be. */ - tree *n = (tree *) pointer_map_contains (id->decl_map, *tp); + tree *n = id->decl_map->get (*tp); if (n) *tp = *n; *walk_subtrees = 0; @@ -981,8 +981,7 @@ remap_gimple_op_r (tree *tp, int *walk_subtrees, void *data) if (old_block) { tree *n; - n = (tree *) pointer_map_contains (id->decl_map, - TREE_BLOCK (*tp)); + n = id->decl_map->get (TREE_BLOCK (*tp)); if (n) new_block = *n; } @@ -1108,7 +1107,7 @@ copy_tree_body_r (tree *tp, int *walk_subtrees, void *data) tree decl = TREE_OPERAND (*tp, 0), value; tree *n; - n = (tree *) pointer_map_contains (id->decl_map, decl); + n = id->decl_map->get (decl); if (n) { value = *n; @@ -1125,7 +1124,7 @@ copy_tree_body_r (tree *tp, int *walk_subtrees, void *data) /* Get rid of *& from inline substitutions that can happen when a pointer argument is an ADDR_EXPR. */ tree decl = TREE_OPERAND (*tp, 0); - tree *n = (tree *) pointer_map_contains (id->decl_map, decl); + tree *n = id->decl_map->get (decl); if (n) { /* If we happen to get an ADDR_EXPR in n->value, strip @@ -1206,8 +1205,7 @@ copy_tree_body_r (tree *tp, int *walk_subtrees, void *data) if (TREE_BLOCK (*tp)) { tree *n; - n = (tree *) pointer_map_contains (id->decl_map, - TREE_BLOCK (*tp)); + n = id->decl_map->get (TREE_BLOCK (*tp)); if (n) new_block = *n; } @@ -1261,11 +1259,9 @@ static int remap_eh_region_nr (int old_nr, copy_body_data *id) { eh_region old_r, new_r; - void **slot; old_r = get_eh_region_from_number_fn (id->src_cfun, old_nr); - slot = pointer_map_contains (id->eh_map, old_r); - new_r = (eh_region) *slot; + new_r = static_cast<eh_region> (*id->eh_map->get (old_r)); return new_r->index; } @@ -1483,7 +1479,7 @@ remap_gimple_stmt (gimple stmt, copy_body_data *id) tree decl = gimple_assign_lhs (stmt), value; tree *n; - n = (tree *) pointer_map_contains (id->decl_map, decl); + n = id->decl_map->get (decl); if (n) { value = *n; @@ -1597,7 +1593,7 @@ remap_gimple_stmt (gimple stmt, copy_body_data *id) if (gimple_block (copy)) { tree *n; - n = (tree *) pointer_map_contains (id->decl_map, gimple_block (copy)); + n = id->decl_map->get (gimple_block (copy)); gcc_assert (n); gimple_set_block (copy, *n); } @@ -2191,8 +2187,7 @@ copy_phis_for_bb (basic_block bb, copy_body_data *id) if (LOCATION_BLOCK (locus)) { tree *n; - n = (tree *) pointer_map_contains (id->decl_map, - LOCATION_BLOCK (locus)); + n = id->decl_map->get (LOCATION_BLOCK (locus)); gcc_assert (n); if (*n) locus = COMBINE_LOCATION_DATA (line_table, locus, *n); @@ -2638,7 +2633,7 @@ copy_cfg_body (copy_body_data * id, gcov_type count, int frequency_scale, if (id->eh_map) { - pointer_map_destroy (id->eh_map); + delete id->eh_map; id->eh_map = NULL; } @@ -2659,7 +2654,7 @@ copy_debug_stmt (gimple stmt, copy_body_data *id) if (gimple_block (stmt)) { - n = (tree *) pointer_map_contains (id->decl_map, gimple_block (stmt)); + n = id->decl_map->get (gimple_block (stmt)); gimple_set_block (stmt, n ? *n : id->block); } @@ -2675,14 +2670,14 @@ copy_debug_stmt (gimple stmt, copy_body_data *id) t = gimple_debug_bind_get_var (stmt); if (TREE_CODE (t) == PARM_DECL && id->debug_map - && (n = (tree *) pointer_map_contains (id->debug_map, t))) + && (n = id->debug_map->get (t))) { gcc_assert (TREE_CODE (*n) == VAR_DECL); t = *n; } else if (TREE_CODE (t) == VAR_DECL && !is_global_var (t) - && !pointer_map_contains (id->decl_map, t)) + && !id->decl_map->get (t)) /* T is a non-localized variable. */; else walk_tree (&t, remap_gimple_op_r, &wi, NULL); @@ -3076,7 +3071,7 @@ initialize_inlined_parameters (copy_body_data *id, gimple stmt, parameter following the array. */ for (p = parms, i = 0; p; p = DECL_CHAIN (p), i++) { - tree *varp = (tree *) pointer_map_contains (id->decl_map, p); + tree *varp = id->decl_map->get (p); if (varp && TREE_CODE (*varp) == VAR_DECL) { @@ -3089,7 +3084,7 @@ initialize_inlined_parameters (copy_body_data *id, gimple stmt, by the parameter setup. */ if (def) { - tree *defp = (tree *) pointer_map_contains (id->decl_map, def); + tree *defp = id->decl_map->get (def); if (defp && TREE_CODE (*defp) == SSA_NAME && SSA_NAME_VAR (*defp) == var) @@ -4135,7 +4130,8 @@ expand_call_inline (basic_block bb, gimple stmt, copy_body_data *id) { tree use_retvar; tree fn; - struct pointer_map_t *st, *dst; + hash_map<tree, tree> *dst; + hash_map<tree, tree> *st = NULL; tree return_slot; tree modify_dest; location_t saved_location; @@ -4291,7 +4287,7 @@ expand_call_inline (basic_block bb, gimple stmt, copy_body_data *id) /* Local declarations will be replaced by their equivalents in this map. */ st = id->decl_map; - id->decl_map = pointer_map_create (); + id->decl_map = new hash_map<tree, tree>; dst = id->debug_map; id->debug_map = NULL; @@ -4415,10 +4411,10 @@ expand_call_inline (basic_block bb, gimple stmt, copy_body_data *id) /* Clean up. */ if (id->debug_map) { - pointer_map_destroy (id->debug_map); + delete id->debug_map; id->debug_map = dst; } - pointer_map_destroy (id->decl_map); + delete id->decl_map; id->decl_map = st; /* Unlink the calls virtual operands before replacing it. */ @@ -4772,14 +4768,13 @@ copy_tree_r (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED) the function into which the copy will be placed. */ static void -remap_save_expr (tree *tp, void *st_, int *walk_subtrees) +remap_save_expr (tree *tp, hash_map<tree, tree> *st, int *walk_subtrees) { - struct pointer_map_t *st = (struct pointer_map_t *) st_; tree *n; tree t; /* See if we already encountered this SAVE_EXPR. */ - n = (tree *) pointer_map_contains (st, *tp); + n = st->get (*tp); /* If we didn't already remap this SAVE_EXPR, do so now. */ if (!n) @@ -4787,9 +4782,9 @@ remap_save_expr (tree *tp, void *st_, int *walk_subtrees) t = copy_node (*tp); /* Remember this SAVE_EXPR. */ - *pointer_map_insert (st, *tp) = t; + st->put (*tp, t); /* Make sure we don't remap an already-remapped SAVE_EXPR. */ - *pointer_map_insert (st, t) = t; + st->put (t, t); } else { @@ -4836,7 +4831,7 @@ replace_locals_op (tree *tp, int *walk_subtrees, void *data) { struct walk_stmt_info *wi = (struct walk_stmt_info*) data; copy_body_data *id = (copy_body_data *) wi->info; - struct pointer_map_t *st = id->decl_map; + hash_map<tree, tree> *st = id->decl_map; tree *n; tree expr = *tp; @@ -4846,7 +4841,7 @@ replace_locals_op (tree *tp, int *walk_subtrees, void *data) || TREE_CODE (expr) == LABEL_DECL) { /* Lookup the declaration. */ - n = (tree *) pointer_map_contains (st, expr); + n = st->get (expr); /* If it's there, remap it. */ if (n) @@ -4928,7 +4923,7 @@ copy_gimple_seq_and_replace_locals (gimple_seq seq) memset (&id, 0, sizeof (id)); id.src_fn = current_function_decl; id.dst_fn = current_function_decl; - id.decl_map = pointer_map_create (); + id.decl_map = new hash_map<tree, tree>; id.debug_map = NULL; id.copy_decl = copy_decl_no_change; @@ -4953,9 +4948,9 @@ copy_gimple_seq_and_replace_locals (gimple_seq seq) walk_gimple_seq (copy, replace_locals_stmt, replace_locals_op, &wi); /* Clean up. */ - pointer_map_destroy (id.decl_map); + delete id.decl_map; if (id.debug_map) - pointer_map_destroy (id.debug_map); + delete id.debug_map; return copy; } @@ -5145,7 +5140,7 @@ copy_arguments_for_versioning (tree orig_parm, copy_body_data * id, *parg = new_tree; parg = &DECL_CHAIN (new_tree); } - else if (!pointer_map_contains (id->decl_map, arg)) + else if (!id->decl_map->get (arg)) { /* Make an equivalent VAR_DECL. If the argument was used as temporary variable later in function, the uses will be @@ -5368,7 +5363,7 @@ tree_function_versioning (tree old_decl, tree new_decl, /* Generate a new name for the new version. */ id.statements_to_fold = new hash_set<gimple>; - id.decl_map = pointer_map_create (); + id.decl_map = new hash_map<tree, tree>; id.debug_map = NULL; id.src_fn = old_decl; id.dst_fn = new_decl; @@ -5530,9 +5525,9 @@ tree_function_versioning (tree old_decl, tree new_decl, } /* Clean up. */ - pointer_map_destroy (id.decl_map); + delete id.decl_map; if (id.debug_map) - pointer_map_destroy (id.debug_map); + delete id.debug_map; free_dominance_info (CDI_DOMINATORS); free_dominance_info (CDI_POST_DOMINATORS); @@ -5587,22 +5582,22 @@ maybe_inline_call_in_expr (tree exp) /* We can only try to inline "const" functions. */ if (fn && TREE_READONLY (fn) && DECL_SAVED_TREE (fn)) { - struct pointer_map_t *decl_map = pointer_map_create (); call_expr_arg_iterator iter; copy_body_data id; tree param, arg, t; + hash_map<tree, tree> decl_map; /* Remap the parameters. */ for (param = DECL_ARGUMENTS (fn), arg = first_call_expr_arg (exp, &iter); param; param = DECL_CHAIN (param), arg = next_call_expr_arg (&iter)) - *pointer_map_insert (decl_map, param) = arg; + decl_map.put (param, arg); memset (&id, 0, sizeof (id)); id.src_fn = fn; id.dst_fn = current_function_decl; id.src_cfun = DECL_STRUCT_FUNCTION (fn); - id.decl_map = decl_map; + id.decl_map = &decl_map; id.copy_decl = copy_decl_no_change; id.transform_call_graph_edges = CB_CGE_DUPLICATE; @@ -5620,7 +5615,6 @@ maybe_inline_call_in_expr (tree exp) id.eh_lp_nr = 0; t = copy_tree_body (&id); - pointer_map_destroy (decl_map); /* We can only return something suitable for use in a GENERIC expression tree. */ @@ -5642,15 +5636,15 @@ build_duplicate_type (tree type) id.src_fn = current_function_decl; id.dst_fn = current_function_decl; id.src_cfun = cfun; - id.decl_map = pointer_map_create (); + id.decl_map = new hash_map<tree, tree>; id.debug_map = NULL; id.copy_decl = copy_decl_no_change; type = remap_type_1 (type, &id); - pointer_map_destroy (id.decl_map); + delete id.decl_map; if (id.debug_map) - pointer_map_destroy (id.debug_map); + delete id.debug_map; TYPE_CANONICAL (type) = type; diff --git a/gcc/tree-inline.h b/gcc/tree-inline.h index c13e6c7..53059da 100644 --- a/gcc/tree-inline.h +++ b/gcc/tree-inline.h @@ -21,6 +21,7 @@ along with GCC; see the file COPYING3. If not see #ifndef GCC_TREE_INLINE_H #define GCC_TREE_INLINE_H +#include "hash-map.h" #include "hash-set.h" struct cgraph_edge; @@ -64,7 +65,7 @@ struct copy_body_data /* The map from local declarations in the inlined function to equivalents in the function into which it is being inlined. */ - struct pointer_map_t *decl_map; + hash_map<tree, tree> *decl_map; /* Create a new decl to replace DECL in the destination function. */ tree (*copy_decl) (tree, struct copy_body_data *); @@ -81,7 +82,7 @@ struct copy_body_data /* Maps region and landing pad structures from the function being copied to duplicates created within the function we inline into. */ - struct pointer_map_t *eh_map; + hash_map<void *, void *> *eh_map; /* We use the same mechanism do all sorts of different things. Rather than enumerating the different cases, we categorize the behavior @@ -132,7 +133,7 @@ struct copy_body_data equivalents in the function into which it is being inlined, where the originals have been mapped to a value rather than to a variable. */ - struct pointer_map_t *debug_map; + hash_map<tree, tree> *debug_map; /* Cilk keywords currently need to replace some variables that ordinary nested functions do not. */ diff --git a/gcc/tree-nested.c b/gcc/tree-nested.c index 45c5cf7..7d5c039 100644 --- a/gcc/tree-nested.c +++ b/gcc/tree-nested.c @@ -93,8 +93,8 @@ struct nesting_info struct nesting_info *inner; struct nesting_info *next; - struct pointer_map_t *field_map; - struct pointer_map_t *var_map; + hash_map<tree, tree> *field_map; + hash_map<tree, tree> *var_map; hash_set<tree *> *mem_refs; bitmap suppress_expansion; @@ -286,15 +286,13 @@ static tree lookup_field_for_decl (struct nesting_info *info, tree decl, enum insert_option insert) { - void **slot; - if (insert == NO_INSERT) { - slot = pointer_map_contains (info->field_map, decl); - return slot ? (tree) *slot : NULL_TREE; + tree *slot = info->field_map->get (decl); + return slot ? *slot : NULL_TREE; } - slot = pointer_map_insert (info->field_map, decl); + tree *slot = &info->field_map->get_or_insert (decl); if (!*slot) { tree field = make_node (FIELD_DECL); @@ -324,7 +322,7 @@ lookup_field_for_decl (struct nesting_info *info, tree decl, info->any_parm_remapped = true; } - return (tree) *slot; + return *slot; } /* Build or return the variable that holds the static chain within @@ -521,15 +519,13 @@ static tree lookup_tramp_for_decl (struct nesting_info *info, tree decl, enum insert_option insert) { - void **slot; - if (insert == NO_INSERT) { - slot = pointer_map_contains (info->var_map, decl); - return slot ? (tree) *slot : NULL_TREE; + tree *slot = info->var_map->get (decl); + return slot ? *slot : NULL_TREE; } - slot = pointer_map_insert (info->var_map, decl); + tree *slot = &info->var_map->get_or_insert (decl); if (!*slot) { tree field = make_node (FIELD_DECL); @@ -543,7 +539,7 @@ lookup_tramp_for_decl (struct nesting_info *info, tree decl, info->any_tramp_created = true; } - return (tree) *slot; + return *slot; } /* Build or return the field within the non-local frame state that holds @@ -730,8 +726,8 @@ static struct nesting_info * create_nesting_tree (struct cgraph_node *cgn) { struct nesting_info *info = XCNEW (struct nesting_info); - info->field_map = pointer_map_create (); - info->var_map = pointer_map_create (); + info->field_map = new hash_map<tree, tree>; + info->var_map = new hash_map<tree, tree>; info->mem_refs = new hash_set<tree *>; info->suppress_expansion = BITMAP_ALLOC (&nesting_info_bitmap_obstack); info->context = cgn->decl; @@ -834,12 +830,11 @@ get_nonlocal_debug_decl (struct nesting_info *info, tree decl) tree target_context; struct nesting_info *i; tree x, field, new_decl; - void **slot; - slot = pointer_map_insert (info->var_map, decl); + tree *slot = &info->var_map->get_or_insert (decl); if (*slot) - return (tree) *slot; + return *slot; target_context = decl_function_context (decl); @@ -1483,11 +1478,10 @@ static tree get_local_debug_decl (struct nesting_info *info, tree decl, tree field) { tree x, new_decl; - void **slot; - slot = pointer_map_insert (info->var_map, decl); + tree *slot = &info->var_map->get_or_insert (decl); if (*slot) - return (tree) *slot; + return *slot; /* Make sure frame_decl gets created. */ (void) get_frame_type (info); @@ -2064,7 +2058,6 @@ convert_nl_goto_reference (gimple_stmt_iterator *gsi, bool *handled_ops_p, { struct nesting_info *const info = (struct nesting_info *) wi->info, *i; tree label, new_label, target_context, x, field; - void **slot; gimple call; gimple stmt = gsi_stmt (*gsi); @@ -2098,7 +2091,7 @@ convert_nl_goto_reference (gimple_stmt_iterator *gsi, bool *handled_ops_p, (hairy target-specific) non-local goto receiver code to be generated when we expand rtl. Enter this association into var_map so that we can insert the new label into the IL during a second pass. */ - slot = pointer_map_insert (i->var_map, label); + tree *slot = &i->var_map->get_or_insert (label); if (*slot == NULL) { new_label = create_artificial_label (UNKNOWN_LOCATION); @@ -2106,7 +2099,7 @@ convert_nl_goto_reference (gimple_stmt_iterator *gsi, bool *handled_ops_p, *slot = new_label; } else - new_label = (tree) *slot; + new_label = *slot; /* Build: __builtin_nl_goto(new_label, &chain->nl_goto_field). */ field = get_nl_goto_field (i); @@ -2136,7 +2129,6 @@ convert_nl_goto_receiver (gimple_stmt_iterator *gsi, bool *handled_ops_p, struct nesting_info *const info = (struct nesting_info *) wi->info; tree label, new_label; gimple_stmt_iterator tmp_gsi; - void **slot; gimple stmt = gsi_stmt (*gsi); if (gimple_code (stmt) != GIMPLE_LABEL) @@ -2147,7 +2139,7 @@ convert_nl_goto_receiver (gimple_stmt_iterator *gsi, bool *handled_ops_p, label = gimple_label_label (stmt); - slot = pointer_map_contains (info->var_map, label); + tree *slot = info->var_map->get (label); if (!slot) { *handled_ops_p = false; @@ -2513,7 +2505,7 @@ static tree nesting_copy_decl (tree decl, copy_body_data *id) { struct nesting_copy_body_data *nid = (struct nesting_copy_body_data *) id; - void **slot = pointer_map_contains (nid->root->var_map, decl); + tree *slot = nid->root->var_map->get (decl); if (slot) return (tree) *slot; @@ -2542,15 +2534,14 @@ contains_remapped_vars (tree *tp, int *walk_subtrees, void *data) { struct nesting_info *root = (struct nesting_info *) data; tree t = *tp; - void **slot; if (DECL_P (t)) { *walk_subtrees = 0; - slot = pointer_map_contains (root->var_map, t); + tree *slot = root->var_map->get (t); if (slot) - return (tree) *slot; + return *slot; } return NULL; } @@ -2580,7 +2571,7 @@ remap_vla_decls (tree block, struct nesting_info *root) && variably_modified_type_p (type, NULL))) continue; - if (pointer_map_contains (root->var_map, TREE_OPERAND (val, 0)) + if (root->var_map->get (TREE_OPERAND (val, 0)) || walk_tree (&type, contains_remapped_vars, root, NULL)) break; } @@ -2590,7 +2581,7 @@ remap_vla_decls (tree block, struct nesting_info *root) memset (&id, 0, sizeof (id)); id.cb.copy_decl = nesting_copy_decl; - id.cb.decl_map = pointer_map_create (); + id.cb.decl_map = new hash_map<tree, tree>; id.root = root; for (; var; var = DECL_CHAIN (var)) @@ -2598,7 +2589,6 @@ remap_vla_decls (tree block, struct nesting_info *root) { struct nesting_info *i; tree newt, context; - void **slot; val = DECL_VALUE_EXPR (var); type = TREE_TYPE (var); @@ -2608,7 +2598,7 @@ remap_vla_decls (tree block, struct nesting_info *root) && variably_modified_type_p (type, NULL))) continue; - slot = pointer_map_contains (root->var_map, TREE_OPERAND (val, 0)); + tree *slot = root->var_map->get (TREE_OPERAND (val, 0)); if (!slot && !walk_tree (&type, contains_remapped_vars, root, NULL)) continue; @@ -2651,7 +2641,7 @@ remap_vla_decls (tree block, struct nesting_info *root) SET_DECL_VALUE_EXPR (var, val); } - pointer_map_destroy (id.cb.decl_map); + delete id.cb.decl_map; } /* Fold the MEM_REF *E. */ @@ -2830,7 +2820,7 @@ finalize_nesting_tree_1 (struct nesting_info *root) memset (&id, 0, sizeof (id)); id.cb.copy_decl = nesting_copy_decl; - id.cb.decl_map = pointer_map_create (); + id.cb.decl_map = new hash_map<tree, tree>; id.root = root; for (; debug_var; debug_var = DECL_CHAIN (debug_var)) @@ -2865,7 +2855,7 @@ finalize_nesting_tree_1 (struct nesting_info *root) TYPE_NAME (newt) = remap_decl (TYPE_NAME (newt), &id.cb); } - pointer_map_destroy (id.cb.decl_map); + delete id.cb.decl_map; } scope = gimple_seq_first_stmt (gimple_body (root->context)); @@ -2931,8 +2921,8 @@ free_nesting_tree (struct nesting_info *root) do { next = iter_nestinfo_next (node); - pointer_map_destroy (node->var_map); - pointer_map_destroy (node->field_map); + delete node->var_map; + delete node->field_map; delete node->mem_refs; free (node); node = next; diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index f9d39ac..2231314 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -74,11 +74,11 @@ along with GCC; see the file COPYING3. If not see #include "config.h" #include "system.h" #include "coretypes.h" +#include "hash-map.h" #include "hash-table.h" #include "alloc-pool.h" #include "tm.h" #include "tree.h" -#include "pointer-set.h" #include "basic-block.h" #include "tree-ssa-alias.h" #include "internal-fn.h" @@ -290,7 +290,7 @@ struct assign_link static alloc_pool link_pool; /* Base (tree) -> Vector (vec<access_p> *) map. */ -static struct pointer_map_t *base_access_vec; +static hash_map<tree, auto_vec<access_p> > *base_access_vec; /* Candidate hash table helpers. */ @@ -518,13 +518,7 @@ access_has_replacements_p (struct access *acc) static vec<access_p> * get_base_access_vector (tree base) { - void **slot; - - slot = pointer_map_contains (base_access_vec, base); - if (!slot) - return NULL; - else - return *(vec<access_p> **) slot; + return base_access_vec->get (base); } /* Find an access with required OFFSET and SIZE in a subtree of accesses rooted @@ -667,24 +661,13 @@ sra_initialize (void) gcc_obstack_init (&name_obstack); access_pool = create_alloc_pool ("SRA accesses", sizeof (struct access), 16); link_pool = create_alloc_pool ("SRA links", sizeof (struct assign_link), 16); - base_access_vec = pointer_map_create (); + base_access_vec = new hash_map<tree, auto_vec<access_p> >; memset (&sra_stats, 0, sizeof (sra_stats)); encountered_apply_args = false; encountered_recursive_call = false; encountered_unchangable_recursive_call = false; } -/* Hook fed to pointer_map_traverse, deallocate stored vectors. */ - -static bool -delete_base_accesses (const void *key ATTRIBUTE_UNUSED, void **value, - void *data ATTRIBUTE_UNUSED) -{ - vec<access_p> *access_vec = (vec<access_p> *) *value; - vec_free (access_vec); - return true; -} - /* Deallocate all general structures. */ static void @@ -699,8 +682,7 @@ sra_deinitialize (void) free_alloc_pool (link_pool); obstack_free (&name_obstack, NULL); - pointer_map_traverse (base_access_vec, delete_base_accesses, NULL); - pointer_map_destroy (base_access_vec); + delete base_access_vec; } /* Remove DECL from candidates for SRA and write REASON to the dump file if @@ -849,9 +831,7 @@ mark_parm_dereference (tree base, HOST_WIDE_INT dist, gimple stmt) static struct access * create_access_1 (tree base, HOST_WIDE_INT offset, HOST_WIDE_INT size) { - vec<access_p> *v; struct access *access; - void **slot; access = (struct access *) pool_alloc (access_pool); memset (access, 0, sizeof (struct access)); @@ -859,16 +839,7 @@ create_access_1 (tree base, HOST_WIDE_INT offset, HOST_WIDE_INT size) access->offset = offset; access->size = size; - slot = pointer_map_contains (base_access_vec, base); - if (slot) - v = (vec<access_p> *) *slot; - else - vec_alloc (v, 32); - - v->safe_push (access); - - *((vec<access_p> **) - pointer_map_insert (base_access_vec, base)) = v; + base_access_vec->get_or_insert (base).safe_push (access); return access; } diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c index c614978..0cbb3ae 100644 --- a/gcc/tree-ssa-loop-im.c +++ b/gcc/tree-ssa-loop-im.c @@ -26,6 +26,7 @@ along with GCC; see the file COPYING3. If not see #include "basic-block.h" #include "gimple-pretty-print.h" #include "pointer-set.h" +#include "hash-map.h" #include "hash-table.h" #include "tree-ssa-alias.h" #include "internal-fn.h" @@ -103,7 +104,7 @@ struct lim_aux_data /* Maps statements to their lim_aux_data. */ -static struct pointer_map_t *lim_aux_data_map; +static hash_map<gimple, lim_aux_data *> *lim_aux_data_map; /* Description of a memory reference location. */ @@ -225,20 +226,20 @@ static bool ref_indep_loop_p (struct loop *, mem_ref_p); static struct lim_aux_data * init_lim_data (gimple stmt) { - void **p = pointer_map_insert (lim_aux_data_map, stmt); + lim_aux_data *p = XCNEW (struct lim_aux_data); + lim_aux_data_map->put (stmt, p); - *p = XCNEW (struct lim_aux_data); - return (struct lim_aux_data *) *p; + return p; } static struct lim_aux_data * get_lim_data (gimple stmt) { - void **p = pointer_map_contains (lim_aux_data_map, stmt); + lim_aux_data **p = lim_aux_data_map->get (stmt); if (!p) return NULL; - return (struct lim_aux_data *) *p; + return *p; } /* Releases the memory occupied by DATA. */ @@ -253,11 +254,11 @@ free_lim_aux_data (struct lim_aux_data *data) static void clear_lim_data (gimple stmt) { - void **p = pointer_map_contains (lim_aux_data_map, stmt); + lim_aux_data **p = lim_aux_data_map->get (stmt); if (!p) return; - free_lim_aux_data ((struct lim_aux_data *) *p); + free_lim_aux_data (*p); *p = NULL; } @@ -2429,7 +2430,7 @@ tree_ssa_lim_initialize (void) bitmap_obstack_initialize (&lim_bitmap_obstack); gcc_obstack_init (&mem_ref_obstack); - lim_aux_data_map = pointer_map_create (); + lim_aux_data_map = new hash_map<gimple, lim_aux_data *>; if (flag_tm) compute_transaction_bits (); @@ -2484,7 +2485,7 @@ tree_ssa_lim_finalize (void) SET_ALWAYS_EXECUTED_IN (bb, NULL); bitmap_obstack_release (&lim_bitmap_obstack); - pointer_map_destroy (lim_aux_data_map); + delete lim_aux_data_map; delete memory_accesses.refs; memory_accesses.refs = NULL; diff --git a/gcc/tree-ssa-loop-ivopts.c b/gcc/tree-ssa-loop-ivopts.c index 3b4a6cd..158a081 100644 --- a/gcc/tree-ssa-loop-ivopts.c +++ b/gcc/tree-ssa-loop-ivopts.c @@ -70,7 +70,7 @@ along with GCC; see the file COPYING3. If not see #include "tm_p.h" #include "basic-block.h" #include "gimple-pretty-print.h" -#include "pointer-set.h" +#include "hash-map.h" #include "hash-table.h" #include "tree-ssa-alias.h" #include "internal-fn.h" @@ -293,7 +293,7 @@ struct ivopts_data struct loop *current_loop; /* Numbers of iterations for all exits of the current loop. */ - struct pointer_map_t *niters; + hash_map<edge, tree_niter_desc *> *niters; /* Number of registers used in it. */ unsigned regs_used; @@ -814,15 +814,15 @@ static struct tree_niter_desc * niter_for_exit (struct ivopts_data *data, edge exit) { struct tree_niter_desc *desc; - void **slot; + tree_niter_desc **slot; if (!data->niters) { - data->niters = pointer_map_create (); + data->niters = new hash_map<edge, tree_niter_desc *>; slot = NULL; } else - slot = pointer_map_contains (data->niters, exit); + slot = data->niters->get (exit); if (!slot) { @@ -837,11 +837,10 @@ niter_for_exit (struct ivopts_data *data, edge exit) XDELETE (desc); desc = NULL; } - slot = pointer_map_insert (data->niters, exit); - *slot = desc; + data->niters->put (exit, desc); } else - desc = (struct tree_niter_desc *) *slot; + desc = *slot; return desc; } @@ -6704,15 +6703,12 @@ remove_unused_ivs (struct ivopts_data *data) } /* Frees memory occupied by struct tree_niter_desc in *VALUE. Callback - for pointer_map_traverse. */ + for hash_map::traverse. */ -static bool -free_tree_niter_desc (const void *key ATTRIBUTE_UNUSED, void **value, - void *data ATTRIBUTE_UNUSED) +bool +free_tree_niter_desc (edge const &, tree_niter_desc *const &value, void *) { - struct tree_niter_desc *const niter = (struct tree_niter_desc *) *value; - - free (niter); + free (value); return true; } @@ -6727,8 +6723,8 @@ free_loop_data (struct ivopts_data *data) if (data->niters) { - pointer_map_traverse (data->niters, free_tree_niter_desc, NULL); - pointer_map_destroy (data->niters); + data->niters->traverse<void *, free_tree_niter_desc> (NULL); + delete data->niters; data->niters = NULL; } diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index f9bd9a4..2e8337c 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -30,7 +30,7 @@ along with GCC; see the file COPYING3. If not see #include "basic-block.h" #include "gimple-pretty-print.h" #include "tree-inline.h" -#include "pointer-set.h" +#include "hash-map.h" #include "tree-ssa-alias.h" #include "internal-fn.h" #include "gimple-fold.h" @@ -216,7 +216,7 @@ static int next_operand_entry_id; static long *bb_rank; /* Operand->rank hashtable. */ -static struct pointer_map_t *operand_rank; +static hash_map<tree, long> *operand_rank; /* Forward decls. */ static long get_rank (tree); @@ -362,8 +362,8 @@ propagate_rank (long rank, tree op) static inline long find_operand_rank (tree e) { - void **slot = pointer_map_contains (operand_rank, e); - return slot ? (long) (intptr_t) *slot : -1; + long *slot = operand_rank->get (e); + return slot ? *slot : -1; } /* Insert {E,RANK} into the operand rank hashtable. */ @@ -371,11 +371,8 @@ find_operand_rank (tree e) static inline void insert_operand_rank (tree e, long rank) { - void **slot; gcc_assert (rank > 0); - slot = pointer_map_insert (operand_rank, e); - gcc_assert (!*slot); - *slot = (void *) (intptr_t) rank; + gcc_assert (!operand_rank->put (e, rank)); } /* Given an expression E, return the rank of the expression. */ @@ -4635,7 +4632,7 @@ init_reassoc (void) deeper loops come later. */ pre_and_rev_post_order_compute (NULL, bbs, false); bb_rank = XCNEWVEC (long, last_basic_block_for_fn (cfun)); - operand_rank = pointer_map_create (); + operand_rank = new hash_map<tree, long>; /* Give each default definition a distinct rank. This includes parameters and the static chain. Walk backwards over all @@ -4676,7 +4673,7 @@ fini_reassoc (void) statistics_counter_event (cfun, "Built-in powi calls created", reassociate_stats.pows_created); - pointer_map_destroy (operand_rank); + delete operand_rank; free_alloc_pool (operand_entry_pool); free (bb_rank); plus_negates.release (); diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 1879fc0..08e384b 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -319,7 +319,7 @@ static inline bool type_can_have_subvars (const_tree); static alloc_pool variable_info_pool; /* Map varinfo to final pt_solution. */ -static pointer_map_t *final_solutions; +static hash_map<varinfo_t, pt_solution *> *final_solutions; struct obstack final_solutions_obstack; /* Table of variable info structures for constraint variables. @@ -393,19 +393,19 @@ new_var_info (tree t, const char *name) /* A map mapping call statements to per-stmt variables for uses and clobbers specific to the call. */ -static struct pointer_map_t *call_stmt_vars; +static hash_map<gimple, varinfo_t> *call_stmt_vars; /* Lookup or create the variable for the call statement CALL. */ static varinfo_t get_call_vi (gimple call) { - void **slot_p; varinfo_t vi, vi2; - slot_p = pointer_map_insert (call_stmt_vars, call); - if (*slot_p) - return (varinfo_t) *slot_p; + bool existed; + varinfo_t *slot_p = &call_stmt_vars->get_or_insert (call, &existed); + if (existed) + return *slot_p; vi = new_var_info (NULL_TREE, "CALLUSED"); vi->offset = 0; @@ -421,7 +421,7 @@ get_call_vi (gimple call) vi->next = vi2->id; - *slot_p = (void *) vi; + *slot_p = vi; return vi; } @@ -431,11 +431,9 @@ get_call_vi (gimple call) static varinfo_t lookup_call_use_vi (gimple call) { - void **slot_p; - - slot_p = pointer_map_contains (call_stmt_vars, call); + varinfo_t *slot_p = call_stmt_vars->get (call); if (slot_p) - return (varinfo_t) *slot_p; + return *slot_p; return NULL; } @@ -2794,7 +2792,7 @@ solve_graph (constraint_graph_t graph) } /* Map from trees to variable infos. */ -static struct pointer_map_t *vi_for_tree; +static hash_map<tree, varinfo_t> *vi_for_tree; /* Insert ID as the variable id for tree T in the vi_for_tree map. */ @@ -2802,10 +2800,8 @@ static struct pointer_map_t *vi_for_tree; static void insert_vi_for_tree (tree t, varinfo_t vi) { - void **slot = pointer_map_insert (vi_for_tree, t); gcc_assert (vi); - gcc_assert (*slot == NULL); - *slot = vi; + gcc_assert (!vi_for_tree->put (t, vi)); } /* Find the variable info for tree T in VI_FOR_TREE. If T does not @@ -2814,11 +2810,11 @@ insert_vi_for_tree (tree t, varinfo_t vi) static varinfo_t lookup_vi_for_tree (tree t) { - void **slot = pointer_map_contains (vi_for_tree, t); + varinfo_t *slot = vi_for_tree->get (t); if (slot == NULL) return NULL; - return (varinfo_t) *slot; + return *slot; } /* Return a printable name for DECL */ @@ -2876,11 +2872,11 @@ alias_get_name (tree decl) static varinfo_t get_vi_for_tree (tree t) { - void **slot = pointer_map_contains (vi_for_tree, t); + varinfo_t *slot = vi_for_tree->get (t); if (slot == NULL) return get_varinfo (create_variable_info_for (t, alias_get_name (t))); - return (varinfo_t) *slot; + return *slot; } /* Get a scalar constraint expression for a new temporary variable. */ @@ -6075,7 +6071,6 @@ find_what_var_points_to (varinfo_t orig_vi) bitmap finished_solution; bitmap result; varinfo_t vi; - void **slot; struct pt_solution *pt; /* This variable may have been collapsed, let's get the real @@ -6083,9 +6078,9 @@ find_what_var_points_to (varinfo_t orig_vi) vi = get_varinfo (find (orig_vi->id)); /* See if we have already computed the solution and return it. */ - slot = pointer_map_insert (final_solutions, vi); + pt_solution **slot = &final_solutions->get_or_insert (vi); if (*slot != NULL) - return *(struct pt_solution *)*slot; + return **slot; *slot = pt = XOBNEW (&final_solutions_obstack, struct pt_solution); memset (pt, 0, sizeof (struct pt_solution)); @@ -6685,8 +6680,8 @@ init_alias_vars (void) sizeof (struct variable_info), 30); constraints.create (8); varmap.create (8); - vi_for_tree = pointer_map_create (); - call_stmt_vars = pointer_map_create (); + vi_for_tree = new hash_map<tree, varinfo_t>; + call_stmt_vars = new hash_map<gimple, varinfo_t>; memset (&stats, 0, sizeof (stats)); shared_bitmap_table = new hash_table<shared_bitmap_hasher> (511); @@ -6694,7 +6689,7 @@ init_alias_vars (void) gcc_obstack_init (&fake_var_decl_obstack); - final_solutions = pointer_map_create (); + final_solutions = new hash_map<varinfo_t, pt_solution *>; gcc_obstack_init (&final_solutions_obstack); } @@ -6943,8 +6938,8 @@ delete_points_to_sets (void) fprintf (dump_file, "Points to sets created:%d\n", stats.points_to_sets_created); - pointer_map_destroy (vi_for_tree); - pointer_map_destroy (call_stmt_vars); + delete vi_for_tree; + delete call_stmt_vars; bitmap_obstack_release (&pta_obstack); constraints.release (); @@ -6965,7 +6960,7 @@ delete_points_to_sets (void) obstack_free (&fake_var_decl_obstack, NULL); - pointer_map_destroy (final_solutions); + delete final_solutions; obstack_free (&final_solutions_obstack, NULL); } diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 73a4d1c..217b9fc 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -49,6 +49,7 @@ along with GCC; see the file COPYING3. If not see #include "tree-into-ssa.h" #include "tree-ssa.h" #include "tree-inline.h" +#include "hash-map.h" #include "hashtab.h" #include "tree-pass.h" #include "diagnostic-core.h" @@ -56,7 +57,7 @@ along with GCC; see the file COPYING3. If not see #include "cfgexpand.h" /* Pointer map of variable mappings, keyed by edge. */ -static struct pointer_map_t *edge_var_maps; +static hash_map<edge, auto_vec<edge_var_map> > *edge_var_maps; /* Add a mapping with PHI RESULT and PHI DEF associated with edge E. */ @@ -64,23 +65,17 @@ static struct pointer_map_t *edge_var_maps; void redirect_edge_var_map_add (edge e, tree result, tree def, source_location locus) { - void **slot; - edge_var_map_vector *head; edge_var_map new_node; if (edge_var_maps == NULL) - edge_var_maps = pointer_map_create (); + edge_var_maps = new hash_map<edge, auto_vec<edge_var_map> >; - slot = pointer_map_insert (edge_var_maps, e); - head = (edge_var_map_vector *) *slot; - if (!head) - vec_safe_reserve (head, 5); + auto_vec<edge_var_map> &slot = edge_var_maps->get_or_insert (e); new_node.def = def; new_node.result = result; new_node.locus = locus; - vec_safe_push (head, new_node); - *slot = head; + slot.safe_push (new_node); } @@ -89,82 +84,51 @@ redirect_edge_var_map_add (edge e, tree result, tree def, source_location locus) void redirect_edge_var_map_clear (edge e) { - void **slot; - edge_var_map_vector *head; - if (!edge_var_maps) return; - slot = pointer_map_contains (edge_var_maps, e); + auto_vec<edge_var_map> *head = edge_var_maps->get (e); - if (slot) - { - head = (edge_var_map_vector *) *slot; - vec_free (head); - *slot = NULL; - } + if (head) + head->release (); } /* Duplicate the redirected var mappings in OLDE in NEWE. - Since we can't remove a mapping, let's just duplicate it. This assumes a - pointer_map can have multiple edges mapping to the same var_map (many to - one mapping), since we don't remove the previous mappings. */ + This assumes a hash_map can have multiple edges mapping to the same + var_map (many to one mapping), since we don't remove the previous mappings. + */ void redirect_edge_var_map_dup (edge newe, edge olde) { - void **new_slot, **old_slot; - edge_var_map_vector *head; - if (!edge_var_maps) return; - new_slot = pointer_map_insert (edge_var_maps, newe); - old_slot = pointer_map_contains (edge_var_maps, olde); - if (!old_slot) + auto_vec<edge_var_map> *head = edge_var_maps->get (olde); + if (!head) return; - head = (edge_var_map_vector *) *old_slot; - edge_var_map_vector *new_head = NULL; - if (head) - new_head = vec_safe_copy (head); - else - vec_safe_reserve (new_head, 5); - *new_slot = new_head; + edge_var_maps->get_or_insert (newe).safe_splice (*head); } /* Return the variable mappings for a given edge. If there is none, return NULL. */ -edge_var_map_vector * +vec<edge_var_map> * redirect_edge_var_map_vector (edge e) { - void **slot; - /* Hey, what kind of idiot would... you'd be surprised. */ if (!edge_var_maps) return NULL; - slot = pointer_map_contains (edge_var_maps, e); + auto_vec<edge_var_map> *slot = edge_var_maps->get (e); if (!slot) return NULL; - return (edge_var_map_vector *) *slot; -} - -/* Used by redirect_edge_var_map_destroy to free all memory. */ - -static bool -free_var_map_entry (const void *key ATTRIBUTE_UNUSED, - void **value, - void *data ATTRIBUTE_UNUSED) -{ - edge_var_map_vector *head = (edge_var_map_vector *) *value; - vec_free (head); - return true; + return slot; } /* Clear the edge variable mappings. */ @@ -172,12 +136,8 @@ free_var_map_entry (const void *key ATTRIBUTE_UNUSED, void redirect_edge_var_map_destroy (void) { - if (edge_var_maps) - { - pointer_map_traverse (edge_var_maps, free_var_map_entry, NULL); - pointer_map_destroy (edge_var_maps); - edge_var_maps = NULL; - } + delete edge_var_maps; + edge_var_maps = NULL; } @@ -223,12 +183,11 @@ void flush_pending_stmts (edge e) { gimple phi; - edge_var_map_vector *v; edge_var_map *vm; int i; gimple_stmt_iterator gsi; - v = redirect_edge_var_map_vector (e); + vec<edge_var_map> *v = redirect_edge_var_map_vector (e); if (!v) return; diff --git a/gcc/tree-ssa.h b/gcc/tree-ssa.h index c866206..835686c 100644 --- a/gcc/tree-ssa.h +++ b/gcc/tree-ssa.h @@ -35,7 +35,7 @@ typedef vec<edge_var_map, va_heap, vl_embed> edge_var_map_vector; extern void redirect_edge_var_map_add (edge, tree, tree, source_location); extern void redirect_edge_var_map_clear (edge); extern void redirect_edge_var_map_dup (edge, edge); -extern edge_var_map_vector *redirect_edge_var_map_vector (edge); +extern vec<edge_var_map> *redirect_edge_var_map_vector (edge); extern void redirect_edge_var_map_destroy (void); extern edge ssa_redirect_edge (edge, basic_block); extern void flush_pending_stmts (edge); diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c index 00810b9..3b72fce 100644 --- a/gcc/var-tracking.c +++ b/gcc/var-tracking.c @@ -94,6 +94,7 @@ #include "varasm.h" #include "stor-layout.h" #include "pointer-set.h" +#include "hash-map.h" #include "hash-table.h" #include "basic-block.h" #include "tm_p.h" @@ -2019,12 +2020,12 @@ vt_get_canonicalize_base (rtx loc) /* This caches canonicalized addresses for VALUEs, computed using information in the global cselib table. */ -static struct pointer_map_t *global_get_addr_cache; +static hash_map<rtx, rtx> *global_get_addr_cache; /* This caches canonicalized addresses for VALUEs, computed using information from the global cache and information pertaining to a basic block being analyzed. */ -static struct pointer_map_t *local_get_addr_cache; +static hash_map<rtx, rtx> *local_get_addr_cache; static rtx vt_canonicalize_addr (dataflow_set *, rtx); @@ -2036,13 +2037,13 @@ static rtx get_addr_from_global_cache (rtx const loc) { rtx x; - void **slot; gcc_checking_assert (GET_CODE (loc) == VALUE); - slot = pointer_map_insert (global_get_addr_cache, loc); - if (*slot) - return (rtx)*slot; + bool existed; + rtx *slot = &global_get_addr_cache->get_or_insert (loc, &existed); + if (existed) + return *slot; x = canon_rtx (get_addr (loc)); @@ -2056,8 +2057,7 @@ get_addr_from_global_cache (rtx const loc) { /* The table may have moved during recursion, recompute SLOT. */ - slot = pointer_map_contains (global_get_addr_cache, loc); - *slot = x = nx; + *global_get_addr_cache->get (loc) = x = nx; } } @@ -2072,16 +2072,16 @@ static rtx get_addr_from_local_cache (dataflow_set *set, rtx const loc) { rtx x; - void **slot; decl_or_value dv; variable var; location_chain l; gcc_checking_assert (GET_CODE (loc) == VALUE); - slot = pointer_map_insert (local_get_addr_cache, loc); - if (*slot) - return (rtx)*slot; + bool existed; + rtx *slot = &local_get_addr_cache->get_or_insert (loc, &existed); + if (existed) + return *slot; x = get_addr_from_global_cache (loc); @@ -2095,7 +2095,7 @@ get_addr_from_local_cache (dataflow_set *set, rtx const loc) rtx nx = vt_canonicalize_addr (set, x); if (nx != x) { - slot = pointer_map_contains (local_get_addr_cache, loc); + slot = local_get_addr_cache->get (loc); *slot = x = nx; } return x; @@ -2116,7 +2116,7 @@ get_addr_from_local_cache (dataflow_set *set, rtx const loc) rtx nx = vt_canonicalize_addr (set, l->loc); if (x != nx) { - slot = pointer_map_contains (local_get_addr_cache, loc); + slot = local_get_addr_cache->get (loc); *slot = x = nx; } break; @@ -2503,11 +2503,10 @@ val_store (dataflow_set *set, rtx val, rtx loc, rtx insn, bool modified) /* Clear (canonical address) slots that reference X. */ -static bool -local_get_addr_clear_given_value (const void *v ATTRIBUTE_UNUSED, - void **slot, void *x) +bool +local_get_addr_clear_given_value (rtx const &, rtx *slot, rtx x) { - if (vt_get_canonicalize_base ((rtx)*slot) == x) + if (vt_get_canonicalize_base (*slot) == x) *slot = NULL; return true; } @@ -2530,11 +2529,10 @@ val_reset (dataflow_set *set, decl_or_value dv) if (var->onepart == ONEPART_VALUE) { rtx x = dv_as_value (dv); - void **slot; /* Relationships in the global cache don't change, so reset the local cache entry only. */ - slot = pointer_map_contains (local_get_addr_cache, x); + rtx *slot = local_get_addr_cache->get (x); if (slot) { /* If the value resolved back to itself, odds are that other @@ -2543,8 +2541,8 @@ val_reset (dataflow_set *set, decl_or_value dv) old X but resolved to something else remain ok as long as that something else isn't also reset. */ if (*slot == x) - pointer_map_traverse (local_get_addr_cache, - local_get_addr_clear_given_value, x); + local_get_addr_cache + ->traverse<rtx, local_get_addr_clear_given_value> (x); *slot = NULL; } } @@ -6660,7 +6658,7 @@ compute_bb_dataflow (basic_block bb) dataflow_set_copy (out, in); if (MAY_HAVE_DEBUG_INSNS) - local_get_addr_cache = pointer_map_create (); + local_get_addr_cache = new hash_map<rtx, rtx>; FOR_EACH_VEC_ELT (VTI (bb)->mos, i, mo) { @@ -6943,7 +6941,7 @@ compute_bb_dataflow (basic_block bb) if (MAY_HAVE_DEBUG_INSNS) { - pointer_map_destroy (local_get_addr_cache); + delete local_get_addr_cache; local_get_addr_cache = NULL; dataflow_set_equiv_regs (out); @@ -9477,13 +9475,13 @@ vt_emit_notes (void) emit_notes_for_differences (BB_HEAD (bb), &cur, &VTI (bb)->in); if (MAY_HAVE_DEBUG_INSNS) - local_get_addr_cache = pointer_map_create (); + local_get_addr_cache = new hash_map<rtx, rtx>; /* Emit the notes for the changes in the basic block itself. */ emit_notes_in_bb (bb, &cur); if (MAY_HAVE_DEBUG_INSNS) - pointer_map_destroy (local_get_addr_cache); + delete local_get_addr_cache; local_get_addr_cache = NULL; /* Free memory occupied by the in hash table, we won't need it @@ -9916,7 +9914,7 @@ vt_initialize (void) valvar_pool = create_alloc_pool ("small variable_def pool", sizeof (struct variable_def), 256); preserved_values.create (256); - global_get_addr_cache = pointer_map_create (); + global_get_addr_cache = new hash_map<rtx, rtx>; } else { @@ -10263,7 +10261,7 @@ vt_finalize (void) if (MAY_HAVE_DEBUG_INSNS) { if (global_get_addr_cache) - pointer_map_destroy (global_get_addr_cache); + delete global_get_addr_cache; global_get_addr_cache = NULL; if (loc_exp_dep_pool) free_alloc_pool (loc_exp_dep_pool); -- 2.0.1