- res = (ir_graph *) malloc (sizeof (ir_graph));
- current_ir_graph = res;
- res->n_loc = 1; /* Only the memory. */
- res->visited = 0; /* visited flag, for the ir walker */
- res->block_visited=0; /* visited flag, for the 'block'-walker */
-#if USE_EXPLICIT_PHI_IN_STACK
- res->Phi_in_stack = NULL;
-#endif
- res->kind = k_ir_graph;
- res->obst = (struct obstack *) xmalloc (sizeof (struct obstack));
- obstack_init (res->obst);
- res->phase_state = phase_building;
- res->pinned = pinned;
- res->value_table = new_identities (); /* value table for global value
- numbering for optimizing use in
- iropt.c */
- res->ent = NULL;
- res->frame_type = NULL;
- res->start_block = new_immBlock ();
- res->end_block = new_immBlock ();
- res->end = new_End ();
- mature_block(get_cur_block());
- res->bad = new_ir_node (NULL, res, res->start_block, op_Bad, mode_T, 0, NULL);
- res->unknown = new_ir_node (NULL, res, res->start_block, op_Unknown, mode_T, 0, NULL);
- res->start = new_Start ();
- /* Proj results of start node */
- projX = new_Proj (res->start, mode_X, pns_initial_exec);
- set_store (new_Proj (res->start, mode_M, pns_global_store));
- add_in_edge(res->start_block, projX);
- mature_block (res->current_block);
- add_in_edge (new_immBlock (), projX);
- mature_block(get_cur_block());
- /* Set the visited flag high enough that the block will never be visited. */
- set_irn_visited(get_cur_block(), -1);
- set_Block_block_visited(get_cur_block(), -1);
- set_Block_block_visited(res->start_block, -1);
- return res;
-}
-
-/* Frees the passed irgraph.
- Deallocates all nodes in this graph and the ir_graph structure.
- Sets the field irgraph in the corresponding entity to NULL.
- Does not remove the irgraph from the list in irprog (requires
- inefficient search, call remove_irp_irg by hand).
- Does not free types, entities or modes that are used only by this
- graph, nor the entity standing for this graph. */
-void free_ir_graph (ir_graph *irg) {
- set_entity_irg(irg->ent, NULL);
- free(irg->obst);
-#if USE_EXPLICIT_PHI_IN_STACK
- free_Phi_in_stack(irg->Phi_in_stack);
-#endif
- free(irg);
+ /* inform statistics here, as blocks will be already build on this graph */
+ hook_new_graph(res, NULL);
+
+ res->n_loc = 1; /* Only the memory. */
+ res->irg_pinned_state = op_pin_state_pinned;
+ res->fp_model = fp_model_precise;
+
+ add_irg_constraints(res, IR_GRAPH_CONSTRAINT_CONSTRUCTION);
+
+ /* the Anchor node must be created first */
+ res->anchor = new_r_Anchor(res);
+
+ /* -- The end block -- */
+ end_block = new_r_Block_noopt(res, 0, NULL);
+ set_irg_end_block(res, end_block);
+ end = new_r_End(res, 0, NULL);
+ set_irg_end(res, end);
+
+ /* -- The start block -- */
+ start_block = new_r_Block_noopt(res, 0, NULL);
+ set_irg_start_block(res, start_block);
+ no_mem = new_r_NoMem(res);
+ set_irg_no_mem(res, no_mem);
+ start = new_r_Start(res);
+ set_irg_start(res, start);
+
+ /* Proj results of start node */
+ set_irg_initial_mem(res, new_r_Proj(start, mode_M, pn_Start_M));
+ projX = new_r_Proj(start, mode_X, pn_Start_X_initial_exec);
+
+ body_block = new_r_Block(res, 1, &projX);
+
+ set_r_cur_block(res, body_block);
+
+ /* Set the visited flag high enough that the blocks will never be visited. */
+ set_irn_visited(body_block, -1);
+ set_Block_block_visited(body_block, -1);
+ set_Block_block_visited(start_block, -1);
+ set_irn_visited(start_block, -1);
+
+ return res;
+}
+
+/**
+ * Pre-Walker: Copies blocks and nodes from the original method graph
+ * to the copied graph.
+ *
+ * @param n A node from the original method graph.
+ * @param env The copied graph.
+ */
+static void copy_all_nodes(ir_node *node, void *env)
+{
+ ir_graph *irg = (ir_graph*)env;
+ ir_node *new_node = irn_copy_into_irg(node, irg);
+
+ set_irn_link(node, new_node);
+
+ /* fix access to entities on the stack frame */
+ if (is_Sel(new_node)) {
+ ir_entity *ent = get_Sel_entity(new_node);
+ ir_type *tp = get_entity_owner(ent);
+
+ if (is_frame_type(tp)) {
+ /* replace by the copied entity */
+ ent = (ir_entity*)get_entity_link(ent);
+
+ assert(is_entity(ent));
+ assert(get_entity_owner(ent) == get_irg_frame_type(irg));
+ set_Sel_entity(new_node, ent);
+ }
+ }
+}
+
+/**
+ * Post-walker: Set the predecessors of the copied nodes.
+ * The copied nodes are set as link of their original nodes. The links of
+ * "irn" predecessors are the predecessors of copied node.
+ */
+static void rewire(ir_node *irn, void *env)
+{
+ (void) env;
+ irn_rewire_inputs(irn);