aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2020-11-09 11:26:24 +0100
committerRichard Biener <rguenther@suse.de>2020-11-09 14:07:01 +0100
commitede8cfb8a450ff95f5c510605de76958613dc4a5 (patch)
tree70f5b46ed576e5f618cb83304d63941abd9ae97a /gcc
parent17c25a454e056f4677649a5ed4a8b8587d29177c (diff)
downloadgcc-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.c43
-rw-r--r--gcc/tree-ssa-sccvn.c16
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;