X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbelower.c;h=f4bfd78c72bee9e78d7af4a865967f008861dbe3;hb=f7aeba1c435b8ea674263f30aff4deb53c84eed0;hp=f02056a02391acf8f39a2bba7b4f2a38c7ebcddf;hpb=7810c05d733b7f5d406a772d5fc44d25ae8614cb;p=libfirm

diff --git a/ir/be/belower.c b/ir/be/belower.c
index f02056a02..f4bfd78c7 100644
--- a/ir/be/belower.c
+++ b/ir/be/belower.c
@@ -19,7 +19,7 @@
 #include "belower.h"
 #include "benode_t.h"
 #include "bechordal_t.h"
-#include "besched.h"
+#include "besched_t.h"
 
 #include "irgmod.h"
 #include "iredges_t.h"
@@ -384,6 +384,8 @@ static void lower_perm_node(ir_node *irn, void *walk_env) {
 	sched_remove(irn);
 }
 
+
+
 /**
  * Adds Projs to keep nodes for each register class, which eats the
  * caller saved registers.
@@ -401,6 +403,7 @@ static void lower_call_node(ir_node *call, void *walk_env) {
 	arch_isa_t                  *isa      = arch_env_get_isa(arch_env);
 	const ir_node               *proj_T   = NULL;
 	ir_node                     **in_keep, *block = get_nodes_block(call);
+	ir_node                     *last_proj = NULL;
 	bitset_t                    *proj_set;
 	const ir_edge_t             *edge;
 	const arch_register_t       *reg;
@@ -424,8 +427,21 @@ static void lower_call_node(ir_node *call, void *walk_env) {
 
 	/* set all used arguments */
 	if (proj_T) {
+
+
 		foreach_out_edge(proj_T, edge) {
+			ir_node *proj       = get_edge_src_irn(edge);
+
+			assert(is_Proj(proj));
 			bitset_set(proj_set, get_Proj_proj(get_edge_src_irn(edge)));
+
+			/*
+			 * Filter out the last proj in the schedule.
+			 * After that one, we have to insert the Keep node.
+			 */
+			if(!last_proj || sched_comes_after(last_proj, proj))
+				last_proj = proj;
+
 		}
 	}
 	else {
@@ -448,14 +464,21 @@ static void lower_call_node(ir_node *call, void *walk_env) {
 			if (arch_register_type_is(reg, caller_saved)) {
 				pn = isa->impl->get_projnum_for_register(isa, reg);
 				if (!bitset_is_set(proj_set, pn)) {
-					in_keep[keep_arity++] = new_r_Proj(current_ir_graph, block, (ir_node *)proj_T, mode_Is, pn);
+					ir_node *proj = new_r_Proj(current_ir_graph, block, (ir_node *)proj_T, mode_Is, pn);
+
+					in_keep[keep_arity++] = proj;
+					sched_add_after(last_proj, proj);
+					last_proj = proj;
 				}
 			}
 		}
 
 		/* ok, we found some caller save register which are not in use but must be saved */
 		if (keep_arity) {
-			be_new_Keep(reg_class, current_ir_graph, block, keep_arity, in_keep);
+			ir_node *keep;
+
+			keep = be_new_Keep(reg_class, current_ir_graph, block, keep_arity, in_keep);
+			sched_add_after(last_proj, keep);
 		}
 	}
 
@@ -463,6 +486,51 @@ static void lower_call_node(ir_node *call, void *walk_env) {
 	return;
 }
 
+
+
+/**
+ * Calls the backend code generator functions to lower Spill and
+ * Reload nodes into Store and Load. The backend is fully responsible
+ * for creating the new nodes and setting their input correct.
+ * Note: The caller of this has to make sure that irn is a Spill
+ *       or Reload!
+ *
+ * @param irn      The Spill/Reload node
+ * @param walk_env The walker environment
+ */
+static void lower_spill_reload(ir_node *irn, void *walk_env) {
+	lower_env_t           *env  = walk_env;
+	arch_code_generator_t *cg   = env->chord_env->main_env->cg;
+	const arch_env_t      *aenv = env->chord_env->main_env->arch_env;
+	ir_node               *res  = NULL;
+	ir_node               *sched_point;
+
+	if (be_is_Spill(irn) && cg->impl->lower_spill) {
+		res = cg->impl->lower_spill(cg, irn);
+	}
+	else if (be_is_Reload(irn) && cg->impl->lower_reload) {
+		res = cg->impl->lower_reload(cg, irn);
+		if (res && res != irn) {
+			/* copy the result register from the reload to the load */
+			arch_set_irn_register(aenv, res, arch_get_irn_register(aenv, irn));
+		}
+	}
+
+	if (res && res != irn) {
+		sched_point = sched_prev(irn);
+		sched_remove(irn);
+		exchange(irn, res);
+		sched_add_after(sched_point, res);
+	}
+	else {
+		DBG((env->dbg_module, LEVEL_1, "node %+F not lowered\n", irn));
+	}
+
+	return;
+}
+
+
+
 /**
  * Calls the corresponding lowering function for the node.
  *
@@ -473,14 +541,15 @@ static void lower_nodes_walker(ir_node *irn, void *walk_env) {
 	lower_env_t      *env      = walk_env;
 	const arch_env_t *arch_env = env->chord_env->main_env->arch_env;
 
-	if (!is_Block(irn)) {
-		if (!is_Proj(irn)) {
-			if (is_Perm(arch_env, irn)) {
-				lower_perm_node(irn, walk_env);
-			}
-			else if (is_Call(arch_env, irn)) {
-				lower_call_node(irn, walk_env);
-			}
+	if (!is_Block(irn) && !is_Proj(irn)) {
+		if (is_Perm(arch_env, irn)) {
+			lower_perm_node(irn, walk_env);
+		}
+		else if (is_Call(arch_env, irn)) {
+			lower_call_node(irn, walk_env);
+		}
+		else if (be_is_Spill(irn) || be_is_Reload(irn)) {
+			lower_spill_reload(irn, walk_env);
 		}
 	}