* @file
* @brief restarting SSA construction for values.
* @author Michael Beck
- * @version $Id$
*/
#include "config.h"
#include "irnode_t.h"
#include "irgwalk.h"
+/** Note: start and finish must use the same kind of walker */
+static void (*ssa_cons_walker)(ir_graph *, irg_walk_func *, irg_walk_func *, void *)
+ = irg_block_walk_graph;
+
/**
- * Post-walker: prepare the graph nodes for new SSA construction cycle by allocation
- * new arrays.
+ * Post-walker: prepare the graph nodes for new SSA construction cycle by
+ * allocation new arrays.
*/
-static void prepare_nodes(ir_node *irn, void *env)
+static void prepare_blocks(ir_node *block, void *env)
{
- (void)env;
-
- switch (get_irn_opcode(irn)) {
- case iro_Block:
- /* reset mature flag */
- irn->attr.block.is_matured = 0;
- irn->attr.block.graph_arr = NEW_ARR_D(ir_node *, current_ir_graph->obst,
- current_ir_graph->n_loc);
- memset(irn->attr.block.graph_arr, 0, sizeof(ir_node *) * current_ir_graph->n_loc);
- irn->attr.block.phis = NULL;
- break;
- /* note that the frag array must be cleared first, else firm_alloc_frag_arr()
- will not allocate new memory. */
- case iro_Quot:
- irn->attr.except.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Quot, &irn->attr.except.frag_arr);
- break;
- case iro_DivMod:
- irn->attr.except.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_DivMod, &irn->attr.except.frag_arr);
- break;
- case iro_Div:
- irn->attr.except.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Div, &irn->attr.except.frag_arr);
- break;
- case iro_Mod:
- irn->attr.except.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Mod, &irn->attr.except.frag_arr);
- break;
- case iro_Call:
- irn->attr.call.exc.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Call, &irn->attr.call.exc.frag_arr);
- break;
- case iro_Load:
- irn->attr.load.exc.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Load, &irn->attr.load.exc.frag_arr);
- break;
- case iro_Store:
- irn->attr.store.exc.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Store, &irn->attr.store.exc.frag_arr);
- break;
- case iro_Alloc:
- irn->attr.alloc.exc.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Alloc, &irn->attr.alloc.exc.frag_arr);
- break;
- case iro_CopyB:
- irn->attr.copyb.exc.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_CopyB, &irn->attr.copyb.exc.frag_arr);
- break;
- case iro_Raise:
- irn->attr.bound.exc.frag_arr = NULL;
- firm_alloc_frag_arr(irn, op_Bound, &irn->attr.bound.exc.frag_arr);
- break;
- default:
- break;
- }
+ unsigned n_loc = current_ir_graph->n_loc;
+ struct obstack *obst = current_ir_graph->obst;
+ (void)env;
+ /* reset mature flag */
+ set_Block_matured(block, 0);
+ block->attr.block.graph_arr = NEW_ARR_D(ir_node *, obst, n_loc);
+ memset(block->attr.block.graph_arr, 0, sizeof(ir_node*) * n_loc);
+ set_Block_phis(block, NULL);
}
/*
* seems worth to do this. First, we have to check if they really exists and
* then clear them. We do not expect SSA construction is used often.
*/
- irg_walk_graph(irg, NULL, prepare_nodes, NULL);
+ ssa_cons_walker(irg, NULL, prepare_blocks, NULL);
}
/**
*/
void ssa_cons_finish(ir_graph *irg)
{
- irg_block_walk_graph(irg, NULL, finish_block, NULL);
+ ssa_cons_walker(irg, NULL, finish_block, NULL);
irg_finalize_cons(irg);
}