beverify: test register width in regalloc verification

[libfirm] / ir / be / bestack.c

diff --git a/ir/be/bestack.c b/ir/be/bestack.c
index 1e42e8b..7cb40ef 100644 (file)
--- a/ir/be/bestack.c
+++ b/ir/be/bestack.c
@@ -86,12 +86,11 @@ static ir_entity *search_ent_with_offset(ir_type *t, int offset)
 
 static int stack_frame_compute_initial_offset(be_stack_layout_t *frame)
 {
-       ir_type  *base = frame->stack_dir < 0 ? frame->between_type : frame->frame_type;
+       ir_type  *base = frame->between_type;
        ir_entity *ent = search_ent_with_offset(base, 0);
 
        if (ent == NULL) {
-               frame->initial_offset
-                       = frame->stack_dir < 0 ? get_type_size_bytes(frame->frame_type) : get_type_size_bytes(frame->between_type);
+               frame->initial_offset = get_type_size_bytes(frame->frame_type);
        } else {
                frame->initial_offset = be_get_stack_entity_offset(frame, ent, 0);
        }
@@ -186,34 +185,24 @@ static int process_stack_bias(ir_node *bl, int real_bias)
                if (be_is_IncSP(irn)) {
                        ofs = be_get_IncSP_offset(irn);
                        /* fill in real stack frame size */
-                       if (ofs == BE_STACK_FRAME_SIZE_EXPAND) {
-                               ir_type *frame_type = get_irg_frame_type(irg);
-                               ofs = (int) get_type_size_bytes(frame_type);
-                               be_set_IncSP_offset(irn, ofs);
-                       } else if (ofs == BE_STACK_FRAME_SIZE_SHRINK) {
-                               ir_type *frame_type = get_irg_frame_type(irg);
-                               ofs = - (int)get_type_size_bytes(frame_type);
-                               be_set_IncSP_offset(irn, ofs);
+                       if (be_get_IncSP_align(irn)) {
+                               /* patch IncSP to produce an aligned stack pointer */
+                               ir_type *between_type = layout->between_type;
+                               int      between_size = get_type_size_bytes(between_type);
+                               int      alignment    = 1 << arch_env->stack_alignment;
+                               int      delta        = (real_bias + ofs + between_size) & (alignment - 1);
+                               assert(ofs >= 0);
+                               if (delta > 0) {
+                                       be_set_IncSP_offset(irn, ofs + alignment - delta);
+                                       real_bias += alignment - delta;
+                               }
                        } else {
-                               if (be_get_IncSP_align(irn)) {
-                                       /* patch IncSP to produce an aligned stack pointer */
-                                       ir_type *between_type = layout->between_type;
-                                       int      between_size = get_type_size_bytes(between_type);
-                                       int      alignment    = 1 << arch_env->stack_alignment;
-                                       int      delta        = (real_bias + ofs + between_size) & (alignment - 1);
-                                       assert(ofs >= 0);
-                                       if (delta > 0) {
-                                               be_set_IncSP_offset(irn, ofs + alignment - delta);
-                                               real_bias += alignment - delta;
-                                       }
-                               } else {
-                                       /* adjust so real_bias corresponds with wanted_bias */
-                                       int delta = wanted_bias - real_bias;
-                                       assert(delta <= 0);
-                                       if (delta != 0) {
-                                               be_set_IncSP_offset(irn, ofs + delta);
-                                               real_bias += delta;
-                                       }
+                               /* adjust so real_bias corresponds with wanted_bias */
+                               int delta = wanted_bias - real_bias;
+                               assert(delta <= 0);
+                               if (delta != 0) {
+                                       be_set_IncSP_offset(irn, ofs + delta);
+                                       real_bias += delta;
                                }
                        }
                        real_bias   += ofs;
@@ -294,12 +283,12 @@ static void collect_stack_nodes_walker(ir_node *node, void *data)
                insn = get_Proj_pred(node);
        }
 
-       if (arch_irn_get_n_outs(insn) == 0)
+       if (arch_get_irn_n_outs(insn) == 0)
                return;
        if (get_irn_mode(node) == mode_T)
                return;
 
-       req = arch_get_register_req_out(node);
+       req = arch_get_irn_register_req(node);
        if (! (req->type & arch_register_req_type_produces_sp))
                return;