X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fcommon%2Firtools.c;h=37eae69fb1038b226a5ecca503039086d38f42e3;hb=20742ebed71c0e1c703185128afb18d986ad5db9;hp=bb0fddaa0c85e20d52de546eee9e2a84dba8d27d;hpb=a7e8e01c9d4de334f435bfe95436b40997330cf7;p=libfirm

diff --git a/ir/common/irtools.c b/ir/common/irtools.c
index bb0fddaa0..37eae69fb 100644
--- a/ir/common/irtools.c
+++ b/ir/common/irtools.c
@@ -13,11 +13,123 @@
 # include "config.h"
 #endif
 
+#include "pset.h"
+
 #include <stdlib.h>
 #include "irnode_t.h"
+#include "irbackedge_t.h"
 #include "irtools.h"
+#include "irprintf.h"
 
 /* the famous clear_link implementation. */
 void firm_clear_link(ir_node *n, void *env) {
   set_irn_link(n, NULL);
 }
+
+/*
+ * Copies a node to a new irg. The Ins of the new node point to
+ * the predecessors on the old irg.  n->link points to the new node.
+ *
+ * Does NOT copy standard nodes like Start, End etc that are fixed
+ * in an irg. Instead, the corresponding nodes of the new irg are returned.
+ * Note further, that the new nodes have no block.
+ */
+void
+copy_irn_to_irg(ir_node *n, ir_graph *irg)
+{
+  ir_op *op = get_irn_op(n);
+  ir_graph *old_irg;
+  ir_node *nn = NULL;
+
+  /* do not copy standard nodes */
+  if (op == op_Bad)
+    nn = get_irg_bad(irg);
+  else if (op == op_NoMem)
+    n = get_irg_no_mem(irg);
+  else if (op == op_Block) {
+    old_irg = get_irn_irg(n);
+
+    if (n == get_irg_start_block(old_irg))
+      nn = get_irg_start_block(irg);
+    else if (n == get_irg_end_block(old_irg))
+      nn = get_irg_end_block(irg);
+  }
+  else if (op == op_Start)
+    nn = get_irg_start(irg);
+  else if (op == op_End)
+    nn = get_irg_end(irg);
+  else if (op == op_Proj) {
+    old_irg = get_irn_irg(n);
+
+    if (n == get_irg_frame(old_irg))
+      nn = get_irg_frame(irg);
+    else if (n == get_irg_globals(old_irg))
+      nn = get_irg_globals(irg);
+    else if (n == get_irg_initial_mem(old_irg))
+      nn = get_irg_initial_mem(irg);
+    else if (n == get_irg_args(old_irg))
+      nn = get_irg_args(irg);
+  }
+
+  if (nn) {
+    set_irn_link(n, nn);
+    return;
+  }
+
+  nn = new_ir_node(get_irn_dbg_info(n),
+         irg,
+         NULL,            /* no block yet, will be set later */
+         op,
+         get_irn_mode(n),
+         get_irn_arity(n),
+         get_irn_in(n) + 1);
+
+
+  /* Copy the attributes.  These might point to additional data.  If this
+     was allocated on the old obstack the pointers now are dangling.  This
+     frees e.g. the memory of the graph_arr allocated in new_immBlock. */
+  copy_node_attr(n, nn);
+  new_backedge_info(nn);
+  set_irn_link(n, nn);
+
+  /* fix the irg for blocks */
+  if (is_Block(nn))
+    nn->attr.block.irg = irg;
+}
+
+/*
+ * Creates an exact copy of a node.
+ * The copy resides in the same graph in the same block.
+ */
+ir_node *exact_copy(const ir_node *n) {
+  ir_graph *irg = get_irn_irg(n);
+  ir_node *res, *block = NULL;
+
+  if (is_no_Block(n))
+		block = get_nodes_block(n);
+
+  res = new_ir_node(get_irn_dbg_info(n),
+                    irg,
+                    block,
+                    get_irn_op(n),
+                    get_irn_mode(n),
+                    get_irn_arity(n),
+                    get_irn_in(n) + 1);
+
+
+  /* Copy the attributes.  These might point to additional data.  If this
+     was allocated on the old obstack the pointers now are dangling.  This
+     frees e.g. the memory of the graph_arr allocated in new_immBlock. */
+  copy_node_attr(n, res);
+  new_backedge_info(res);
+  return res;
+}
+
+void firm_pset_dump(pset *set)
+{
+	void *obj;
+
+	foreach_pset(set, obj) {
+		ir_fprintf(stderr, "%+F\n", obj);
+	}
+}