Recent version :-)

[libfirm] / ir / be / benode.c

diff --git a/ir/be/benode.c b/ir/be/benode.c
index 27c359b..84d69c0 100644 (file)
--- a/ir/be/benode.c
+++ b/ir/be/benode.c
@@ -8,6 +8,9 @@
  * Copyright (C) 2005 Universitaet Karlsruhe
  * Released under the GPL
  */
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
 
 #include <stdlib.h>
 
@@ -19,9 +22,15 @@
 #include "irop_t.h"
 #include "irmode_t.h"
 #include "irnode_t.h"
+#include "ircons_t.h"
 
+#include "be_t.h"
+#include "belive_t.h"
+#include "besched_t.h"
 #include "benode_t.h"
 
+#include "beirgmod.h"
+
 typedef enum _node_kind_t {
   node_kind_spill,
   node_kind_reload,
@@ -310,25 +319,56 @@ be_node_factory_t *be_node_factory_init(be_node_factory_t *factory,
   return factory;
 }
 
-#if 0
-ir_node *be_spill(const be_node_factory_t *factory,
-    const arch_env_t *env, ir_node *node_to_spill)
+ir_node *insert_Perm_after(const be_main_session_env_t *env,
+    const arch_register_class_t *cls, ir_node *pos)
 {
-  ir_node *res;
-  if(is_Reload(node_to_spill))
-    res = get_irn_n(node_to_spill, 0);
-  else {
-    ir_node *bl = get_nodes_block(node_to_spill);
-    ir_graph *irg = get_irn_irg(bl);
-
-    res = new_Spill(factory, cls, irg, bl, node_to_spill);
+  const arch_env_t *arch_env = env->main_env->arch_env;
+  ir_node *bl = is_Block(pos) ? pos : get_nodes_block(pos);
+  ir_graph *irg = get_irn_irg(bl);
+  pset *live = put_live_end(bl, pset_new_ptr_default());
+  ir_node *curr, *irn, *perm, **nodes;
+  int i, n;
+
+  ir_printf("Insert Perm after: %+F\n", pos);
+
+  sched_foreach_reverse(bl, irn) {
+
+    if(arch_irn_has_reg_class(arch_env, irn, arch_pos_make_out(0), cls))
+      pset_remove_ptr(live, irn);
+
+    for(i = 0, n = get_irn_arity(irn); i < n; ++i) {
+      ir_node *op = get_irn_n(irn, i);
+
+      if(arch_irn_has_reg_class(arch_env, op, arch_pos_make_out(0), cls))
+        pset_insert_ptr(live, op);
+    }
+
+    if(sched_prev(irn) == pos)
+      break;
   }
 
-  return res;
-}
+  n = pset_count(live);
+  nodes = malloc(n * sizeof(nodes[0]));
 
-ir_node *be_reload(const be_node_factory_t *factory,
-    const arch_env_t *env, ir_node *spill)
-{
+  for(irn = pset_first(live), i = 0; irn; irn = pset_next(live), i++)
+    nodes[i] = irn;
+
+  perm = new_Perm(env->main_env->node_factory, cls, irg, bl, n, nodes);
+  sched_add_after(pos, perm);
+  free(nodes);
+
+  curr = perm;
+  for(i = 0; i < n; ++i) {
+    ir_node *copies[1];
+    ir_node *perm_op = get_irn_n(perm, i);
+
+    ir_mode *mode = get_irn_mode(perm_op);
+    ir_node *proj = new_r_Proj(irg, bl, perm, mode, i);
+    sched_add_after(curr, proj);
+    curr = proj;
+
+    copies[0] = proj;
+    be_introduce_copies(env->dom_front, perm_op, array_size(copies), copies);
+  }
+  return perm;
 }
-#endif