/**
* Calculates the iterated dominance frontier of a set of blocks. Marks the
* blocks as visited. Sets the link fields of the blocks in the dominance
* frontier to the block itself.
*/
static
/**
* Calculates the iterated dominance frontier of a set of blocks. Marks the
* blocks as visited. Sets the link fields of the blocks in the dominance
* frontier to the block itself.
*/
static
- ir_node *block = waitq_get(worklist);
- ir_node **domfront = be_get_dominance_frontier(domfronts, block);
+ ir_node *block = waitq_get(env->worklist);
+ ir_node **domfront = be_get_dominance_frontier(env->domfronts, block);
int domfront_len = ARR_LEN(domfront);
for (i = 0; i < domfront_len; ++i) {
ir_node *y = domfront[i];
int domfront_len = ARR_LEN(domfront);
for (i = 0; i < domfront_len; ++i) {
ir_node *y = domfront[i];
- if(Block_block_visited(y))
+ if (Block_block_visited(y))
+ continue;
+
+ /*
+ * It makes no sense to add phi-functions to blocks
+ * that are not dominated by any definition;
+ * all uses are dominated, hence the paths reaching the uses
+ * have to stay in the dominance subtrees of the given definitions.
+ */
+
+ if (!is_inside(get_Block_dom_tree_pre_num(y), env->min_dom, env->max_dom))
DBG((dbg, LEVEL_3, " %+F", y));
mark_Block_block_visited(y);
DBG((dbg, LEVEL_3, " %+F", y));
mark_Block_block_visited(y);
ir_node *def = get_def_at_idom(env, block);
mark_irn_visited(block);
set_irn_link(block, def);
ir_node *def = get_def_at_idom(env, block);
mark_irn_visited(block);
set_irn_link(block, def);
+static
+void update_domzone(be_ssa_construction_env_t *env, const ir_node *bl)
+{
+ int start = get_Block_dom_tree_pre_num(bl);
+ int end = get_Block_dom_max_subtree_pre_num(bl) + 1;
+
+ env->min_dom = MIN(env->min_dom, start);
+ env->max_dom = MAX(env->max_dom, end);
+}
+
/**
* Adds a definition into the link field of the block. The definitions are
* sorted by dominance. A non-visited block means no definition has been
/**
* Adds a definition into the link field of the block. The definitions are
* sorted by dominance. A non-visited block means no definition has been
void be_ssa_construction_init(be_ssa_construction_env_t *env, be_irg_t *birg)
{
ir_graph *irg = be_get_birg_irg(birg);
void be_ssa_construction_init(be_ssa_construction_env_t *env, be_irg_t *birg)
{
ir_graph *irg = be_get_birg_irg(birg);
- memset(env, 0, sizeof(env[0]));
+ ir_node *sb = get_irg_start_block(irg);
+ int n_blocks = get_Block_dom_max_subtree_pre_num(sb);
+
+ stat_ev_ctx_push_fobj("bessaconstr", irg);
+ stat_ev_tim_push();
be_assure_dom_front(birg);
env->irg = irg;
env->domfronts = be_get_birg_dom_front(birg);
env->new_phis = NEW_ARR_F(ir_node*, 0);
env->worklist = new_waitq();
be_assure_dom_front(birg);
env->irg = irg;
env->domfronts = be_get_birg_dom_front(birg);
env->new_phis = NEW_ARR_F(ir_node*, 0);
env->worklist = new_waitq();
del_waitq(env->worklist);
DEL_ARR_F(env->new_phis);
clear_using_visited(env->irg);
clear_using_block_visited(env->irg);
clear_using_irn_link(env->irg);
del_waitq(env->worklist);
DEL_ARR_F(env->new_phis);
clear_using_visited(env->irg);
clear_using_block_visited(env->irg);
clear_using_irn_link(env->irg);
waitq_put(env->worklist, block);
}
introduce_def_at_block(block, copy);
waitq_put(env->worklist, block);
}
introduce_def_at_block(block, copy);
waitq_put(env->worklist, block);
}
introduce_def_at_block(block, copy);
waitq_put(env->worklist, block);
}
introduce_def_at_block(block, copy);
-void be_ssa_construction_fix_users(be_ssa_construction_env_t *env,
- ir_node *value)
+void be_ssa_construction_fix_users_array(be_ssa_construction_env_t *env,
+ ir_node **nodes, size_t nodes_len)
- /*
- * Search the valid def for each use and set it.
- */
- foreach_out_edge_safe(value, edge, next) {
- ir_node *use = get_edge_src_irn(edge);
- ir_node *at = use;
- int pos = get_edge_src_pos(edge);
- ir_node *def;
-
- if(env->ignore_uses != NULL &&
- ir_nodeset_contains(env->ignore_uses, use))
- continue;
- if(is_Anchor(use))
- continue;
-
- if(is_Phi(use)) {
- ir_node *block = get_nodes_block(use);
- ir_node *predblock = get_Block_cfgpred_block(block, pos);
- at = sched_last(predblock);
- }
+ stat_ev_int("bessaconstr_domzone", env->max_dom - env->min_dom);
+ stat_ev_tim_push();
+ for(i = 0; i < nodes_len; ++i) {
+ ir_node *value = nodes[i];
+
+ /*
+ * Search the valid def for each use and set it.
+ */
+ foreach_out_edge_safe(value, edge, next) {
+ ir_node *use = get_edge_src_irn(edge);
+ ir_node *at = use;
+ int pos = get_edge_src_pos(edge);
+ ir_node *def;
+
+ if(env->ignore_uses != NULL &&
+ ir_nodeset_contains(env->ignore_uses, use))
+ continue;
+ if(is_Anchor(use))
+ continue;
- def = search_def(env, at);
+ if(is_Phi(use)) {
+ ir_node *block = get_nodes_block(use);
+ ir_node *predblock = get_Block_cfgpred_block(block, pos);
+ at = sched_last(predblock);
+ }
- DBG((dbg, LEVEL_2, "\t%+F(%d) -> %+F\n", use, pos, def));
- set_irn_n(use, pos, def);
+ if(def == NULL) {
+ panic("no definition found for %+F at position %d\n", use, pos);
+ }
+
+ DBG((dbg, LEVEL_2, "\t%+F(%d) -> %+F\n", use, pos, def));
+ set_irn_n(use, pos, def);
+ stat_ev_cnt_inc(uses);
+ }
-void be_ssa_construction_fix_users_array(be_ssa_construction_env_t *env,
- ir_node **nodes, size_t nodes_len)
+void be_ssa_construction_fix_users(be_ssa_construction_env_t *env, ir_node *value)
- size_t i;
-
- for(i = 0; i < nodes_len; ++i) {
- ir_node *node = nodes[i];
- be_ssa_construction_fix_users(env, node);
- }
+ be_ssa_construction_fix_users_array(env, &value, 1);