diff options
author | Richard Biener <rguenther@suse.de> | 2020-11-09 11:26:24 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2020-11-09 14:07:01 +0100 |
commit | ede8cfb8a450ff95f5c510605de76958613dc4a5 (patch) | |
tree | 70f5b46ed576e5f618cb83304d63941abd9ae97a /gcc | |
parent | 17c25a454e056f4677649a5ed4a8b8587d29177c (diff) | |
download | gcc-ede8cfb8a450ff95f5c510605de76958613dc4a5.zip gcc-ede8cfb8a450ff95f5c510605de76958613dc4a5.tar.gz gcc-ede8cfb8a450ff95f5c510605de76958613dc4a5.tar.bz2 |
CSE VN_INFO calls in PRE and VN
The following CSEs VN_INFO calls which nowadays are hashtable queries.
2020-11-09 Richard Biener <rguenther@suse.de>
* tree-ssa-pre.c (get_representative_for): CSE VN_INFO calls.
(create_expression_by_pieces): Likewise.
(insert_into_preds_of_block): Likewsie.
(do_pre_regular_insertion): Likewsie.
* tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_insert):
Likewise.
(eliminate_dom_walker::eliminate_stmt): Likewise.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/tree-ssa-pre.c | 43 | ||||
-rw-r--r-- | gcc/tree-ssa-sccvn.c | 16 |
2 files changed, 34 insertions, 25 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 79bb9e2..fec3b2f 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -1343,10 +1343,11 @@ get_representative_for (const pre_expr e, basic_block b = NULL) ??? We should be able to re-use this when we insert the statement to compute it. */ name = make_temp_ssa_name (get_expr_type (e), gimple_build_nop (), "pretmp"); - VN_INFO (name)->value_id = value_id; - VN_INFO (name)->valnum = valnum ? valnum : name; + vn_ssa_aux_t vn_info = VN_INFO (name); + vn_info->value_id = value_id; + vn_info->valnum = valnum ? valnum : name; /* ??? For now mark this SSA name for release by VN. */ - VN_INFO (name)->needs_insertion = true; + vn_info->needs_insertion = true; add_to_value (value_id, get_or_alloc_expr_for_name (name)); if (dump_file && (dump_flags & TDF_DETAILS)) { @@ -2990,10 +2991,11 @@ create_expression_by_pieces (basic_block block, pre_expr expr, if (forcedname != folded) { - VN_INFO (forcedname)->valnum = forcedname; - VN_INFO (forcedname)->value_id = get_next_value_id (); + vn_ssa_aux_t vn_info = VN_INFO (forcedname); + vn_info->valnum = forcedname; + vn_info->value_id = get_next_value_id (); nameexpr = get_or_alloc_expr_for_name (forcedname); - add_to_value (VN_INFO (forcedname)->value_id, nameexpr); + add_to_value (vn_info->value_id, nameexpr); bitmap_value_replace_in_set (NEW_SETS (block), nameexpr); bitmap_value_replace_in_set (AVAIL_OUT (block), nameexpr); } @@ -3016,11 +3018,12 @@ create_expression_by_pieces (basic_block block, pre_expr expr, the expression may have been represented. There is no harm in replacing here. */ value_id = get_expr_value_id (expr); - VN_INFO (name)->value_id = value_id; - VN_INFO (name)->valnum = vn_valnum_from_value_id (value_id); - if (VN_INFO (name)->valnum == NULL_TREE) - VN_INFO (name)->valnum = name; - gcc_assert (VN_INFO (name)->valnum != NULL_TREE); + vn_ssa_aux_t vn_info = VN_INFO (name); + vn_info->value_id = value_id; + vn_info->valnum = vn_valnum_from_value_id (value_id); + if (vn_info->valnum == NULL_TREE) + vn_info->valnum = name; + gcc_assert (vn_info->valnum != NULL_TREE); nameexpr = get_or_alloc_expr_for_name (name); add_to_value (value_id, nameexpr); if (NEW_SETS (block)) @@ -3122,10 +3125,11 @@ insert_into_preds_of_block (basic_block block, unsigned int exprnum, temp = make_temp_ssa_name (type, NULL, "prephitmp"); phi = create_phi_node (temp, block); - VN_INFO (temp)->value_id = val; - VN_INFO (temp)->valnum = vn_valnum_from_value_id (val); - if (VN_INFO (temp)->valnum == NULL_TREE) - VN_INFO (temp)->valnum = temp; + vn_ssa_aux_t vn_info = VN_INFO (temp); + vn_info->value_id = val; + vn_info->valnum = vn_valnum_from_value_id (val); + if (vn_info->valnum == NULL_TREE) + vn_info->valnum = temp; bitmap_set_bit (inserted_exprs, SSA_NAME_VERSION (temp)); FOR_EACH_EDGE (pred, ei, block->preds) { @@ -3367,10 +3371,11 @@ do_pre_regular_insertion (basic_block block, basic_block dom) gimple_stmt_iterator gsi = gsi_after_labels (block); gsi_insert_before (&gsi, assign, GSI_NEW_STMT); - VN_INFO (temp)->value_id = val; - VN_INFO (temp)->valnum = vn_valnum_from_value_id (val); - if (VN_INFO (temp)->valnum == NULL_TREE) - VN_INFO (temp)->valnum = temp; + vn_ssa_aux_t vn_info = VN_INFO (temp); + vn_info->value_id = val; + vn_info->valnum = vn_valnum_from_value_id (val); + if (vn_info->valnum == NULL_TREE) + vn_info->valnum = temp; bitmap_set_bit (inserted_exprs, SSA_NAME_VERSION (temp)); pre_expr newe = get_or_alloc_expr_for_name (temp); add_to_value (val, newe); diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 8c9880e..24bbd8d 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -5843,8 +5843,9 @@ eliminate_dom_walker::eliminate_insert (basic_block bb, else { gsi_insert_seq_before (gsi, stmts, GSI_SAME_STMT); - VN_INFO (res)->valnum = val; - VN_INFO (res)->visited = true; + vn_ssa_aux_t vn_info = VN_INFO (res); + vn_info->valnum = val; + vn_info->visited = true; } insertions++; @@ -5884,10 +5885,12 @@ eliminate_dom_walker::eliminate_stmt (basic_block b, gimple_stmt_iterator *gsi) it has an expression it wants to use as replacement, insert that. */ tree val = VN_INFO (lhs)->valnum; + vn_ssa_aux_t vn_info; if (val != VN_TOP && TREE_CODE (val) == SSA_NAME - && VN_INFO (val)->needs_insertion - && VN_INFO (val)->expr != NULL + && (vn_info = VN_INFO (val), true) + && vn_info->needs_insertion + && vn_info->expr != NULL && (sprime = eliminate_insert (b, gsi, val)) != NULL_TREE) eliminate_push_avail (b, sprime); } @@ -6274,8 +6277,9 @@ eliminate_dom_walker::eliminate_stmt (basic_block b, gimple_stmt_iterator *gsi) only process new ones. */ if (! has_VN_INFO (def)) { - VN_INFO (def)->valnum = def; - VN_INFO (def)->visited = true; + vn_ssa_aux_t vn_info = VN_INFO (def); + vn_info->valnum = def; + vn_info->visited = true; } if (gsi_stmt (prev) == gsi_stmt (*gsi)) break; |