From: Matthias Braun <matze@braunis.de>
Date: Fri, 20 Apr 2007 12:47:04 +0000 (+0000)
Subject: assert that in and out entities of memperms have the same size, we produce such buggy... 
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=a92ff34e623ded0eb85277c1f37235947855dffb;p=libfirm

assert that in and out entities of memperms have the same size, we produce such buggy situations at the moment

[r13431]
---

diff --git a/ir/be/ia32/bearch_ia32.c b/ir/be/ia32/bearch_ia32.c
index 2c24f2972..1b862525c 100644
--- a/ir/be/ia32/bearch_ia32.c
+++ b/ir/be/ia32/bearch_ia32.c
@@ -1183,6 +1183,7 @@ static void transform_MemPerm(ia32_code_gen_t *cg, ir_node *node) {
 		ir_node *mem = get_irn_n(node, i + 1);
 		ir_node *push;
 
+		assert(get_entity_type(be_get_MemPerm_out_entity(node, i)) == enttype);
 		assert( (entbits == 32 || entbits == 64) && "spillslot on x86 should be 32 or 64 bit");
 
 		push = create_push(cg, node, node, sp, mem, ent);
@@ -1202,7 +1203,6 @@ static void transform_MemPerm(ia32_code_gen_t *cg, ir_node *node) {
 		ir_entity *ent = be_get_MemPerm_out_entity(node, i);
 		ir_type *enttype = get_entity_type(ent);
 		int entbits = get_type_size_bits(enttype);
-
 		ir_node *pop;
 
 		assert( (entbits == 32 || entbits == 64) && "spillslot on x86 should be 32 or 64 bit");