X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbearch.c;h=83c066154679c13fb8778f4edc4b801ee7626d37;hb=95617329d1409c4662ab0a1dcca5a923a9abd897;hp=70c20cdef33d2e78be349aff7d98856e13d2d03c;hpb=10978e64425e6d1c4b184294f7504324cab49fa3;p=libfirm

diff --git a/ir/be/bearch.c b/ir/be/bearch.c
index 70c20cdef..83c066154 100644
--- a/ir/be/bearch.c
+++ b/ir/be/bearch.c
@@ -28,7 +28,7 @@
 #include <string.h>
 
 #include "bearch.h"
-#include "benode_t.h"
+#include "benode.h"
 #include "beinfo.h"
 #include "ircons_t.h"
 #include "irnode_t.h"
@@ -71,36 +71,20 @@ static inline const arch_irn_ops_t *get_irn_ops(const ir_node *irn)
 
 const arch_register_req_t *arch_get_register_req(const ir_node *irn, int pos)
 {
-	const arch_irn_ops_t *ops;
-
 	if (is_Proj(irn)) {
 		assert(pos == -1);
 		pos = -1-get_Proj_proj(irn);
 		irn = get_Proj_pred(irn);
 	}
-	ops = get_irn_ops_simple(irn);
+
 	if (pos < 0) {
-		return ops->get_irn_reg_req_out(irn, -pos-1);
+		return arch_get_out_register_req(irn, -pos-1);
 	} else {
+		const arch_irn_ops_t *ops = get_irn_ops_simple(irn);
 		return ops->get_irn_reg_req_in(irn, pos);
 	}
 }
 
-const arch_register_req_t *arch_get_register_req_out(const ir_node *irn)
-{
-	int                   pos = 0;
-	const arch_irn_ops_t *ops;
-
-	if (is_Proj(irn)) {
-		pos = get_Proj_proj(irn);
-		irn = get_Proj_pred(irn);
-	} else if (get_irn_mode(irn) == mode_T) {
-		return arch_no_register_req;
-	}
-	ops = get_irn_ops(irn);
-	return ops->get_irn_reg_req_out(irn, pos);
-}
-
 void arch_set_frame_offset(ir_node *irn, int offset)
 {
 	const arch_irn_ops_t *ops = get_irn_ops(irn);
@@ -179,7 +163,8 @@ void arch_put_non_ignore_regs(const arch_register_class_t *cls, bitset_t *bs)
 	}
 }
 
-int arch_reg_is_allocatable(const ir_node *irn, int pos, const arch_register_t *reg)
+int arch_reg_is_allocatable(const ir_node *irn, int pos,
+                            const arch_register_t *reg)
 {
 	const arch_register_req_t *req = arch_get_register_req(irn, pos);
 
@@ -187,7 +172,8 @@ int arch_reg_is_allocatable(const ir_node *irn, int pos, const arch_register_t *
 		return 0;
 
 	if(arch_register_req_is(req, limited)) {
-		assert(arch_register_get_class(reg) == req->cls);
+		if (arch_register_get_class(reg) != req->cls)
+			return 0;
 		return rbitset_is_set(req->limited, arch_register_get_index(reg));
 	}
 
@@ -332,6 +318,50 @@ void arch_dump_register_req(FILE *F, const arch_register_req_t *req,
 	}
 }
 
+void arch_dump_reqs_and_registers(FILE *F, const ir_node *node)
+{
+	int              n_ins  = get_irn_arity(node);
+	int              n_outs = arch_irn_get_n_outs(node);
+	arch_irn_flags_t flags  = arch_irn_get_flags(node);
+	int              i;
+
+	for (i = 0; i < n_ins; ++i) {
+		const arch_register_req_t *req = arch_get_in_register_req(node, i);
+		fprintf(F, "inreq #%d = ", i);
+		arch_dump_register_req(F, req, node);
+		fputs("\n", F);
+	}
+	for (i = 0; i < n_outs; ++i) {
+		const arch_register_req_t *req = arch_get_out_register_req(node, i);
+		fprintf(F, "outreq #%d = ", i);
+		arch_dump_register_req(F, req, node);
+		fputs("\n", F);
+	}
+	for (i = 0; i < n_outs; ++i) {
+		const arch_register_t     *reg = arch_irn_get_register(node, i);
+		const arch_register_req_t *req = arch_get_out_register_req(node, i);
+		if (req->cls == NULL)
+			continue;
+		fprintf(F, "reg #%d = %s\n", i, reg != NULL ? reg->name : "n/a");
+	}
+
+	fprintf(F, "flags =");
+	if (flags == arch_irn_flags_none) {
+		fprintf(F, " none");
+	} else {
+		if (flags & arch_irn_flags_dont_spill) {
+			fprintf(F, " unspillable");
+		}
+		if (flags & arch_irn_flags_rematerializable) {
+			fprintf(F, " remat");
+		}
+		if (flags & arch_irn_flags_modify_flags) {
+			fprintf(F, " modify_flags");
+		}
+	}
+	fprintf(F, " (%d)\n", flags);
+}
+
 static const arch_register_req_t no_requirement = {
 	arch_register_req_type_none,
 	NULL,