handle Block_entity like other node attributes
[libfirm] / ir / be / benode.c
index 8a51563..9d1004c 100644 (file)
@@ -22,7 +22,6 @@
  * @brief       Backend node support for generic backend nodes.
  * @author      Sebastian Hack
  * @date        17.05.2005
- * @version     $Id$
  *
  * Backend node support for generic backend nodes.
  * This file provides Perm, Copy, Spill and Reload nodes.
 
 #include "beirgmod.h"
 
+typedef struct be_node_attr_t {
+       except_attr  exc;
+} be_node_attr_t;
+
 /** The be_Return nodes attribute type. */
 typedef struct {
+       be_node_attr_t base;
        int            num_ret_vals; /**< number of return values */
        unsigned       pop;          /**< number of bytes that should be popped */
        int            emit_pop;     /**< if set, emit pop bytes, even if pop = 0 */
@@ -67,6 +71,7 @@ typedef struct {
 
 /** The be_IncSP attribute type. */
 typedef struct {
+       be_node_attr_t base;
        int            offset;    /**< The offset by which the stack shall be
                                       expanded/shrinked. */
        int            align;     /**< whether stack should be aligned after the
@@ -75,20 +80,23 @@ typedef struct {
 
 /** The be_Frame attribute type. */
 typedef struct {
+       be_node_attr_t  base;
        ir_entity      *ent;
        int             offset;
 } be_frame_attr_t;
 
 /** The be_Call attribute type. */
 typedef struct {
+       be_node_attr_t  base;
        ir_entity      *ent;        /**< called entity if this is a static call. */
        unsigned        pop;
        ir_type        *call_tp;    /**< call type, copied from the original Call */
 } be_call_attr_t;
 
 typedef struct {
-       ir_entity **in_entities;
-       ir_entity **out_entities;
+       be_node_attr_t base;
+       ir_entity    **in_entities;
+       ir_entity    **out_entities;
 } be_memperm_attr_t;
 
 ir_op *op_be_Spill;
@@ -262,18 +270,19 @@ ir_node *be_new_Spill(const arch_register_class_t *cls,
        a         = (be_frame_attr_t*) get_irn_generic_attr(res);
        a->ent    = NULL;
        a->offset = 0;
+       a->base.exc.pin_state = op_pin_state_pinned;
 
-       be_node_set_reg_class_in(res, be_pos_Spill_frame, cls_frame);
-       be_node_set_reg_class_in(res, be_pos_Spill_val, cls);
+       be_node_set_reg_class_in(res, n_be_Spill_frame, cls_frame);
+       be_node_set_reg_class_in(res, n_be_Spill_val, cls);
        /*
         * For spills and reloads, we return "none" as requirement for frame
         * pointer, so every input is ok. Some backends need this (STA).
         * Matze: we should investigate if this is really needed, this solution
         *        looks very hacky to me
         */
-       be_set_constr_in(res, be_pos_Spill_frame, arch_no_register_req);
+       be_set_constr_in(res, n_be_Spill_frame, arch_no_register_req);
 
-       arch_set_out_register_req(res, 0, arch_no_register_req);
+       arch_set_irn_register_req_out(res, 0, arch_no_register_req);
 
        return res;
 }
@@ -285,6 +294,7 @@ ir_node *be_new_Reload(const arch_register_class_t *cls,
        ir_node  *in[2];
        ir_node  *res;
        ir_graph *irg = get_Block_irg(block);
+       be_frame_attr_t *a;
 
        in[0] = frame;
        in[1] = mem;
@@ -293,8 +303,13 @@ ir_node *be_new_Reload(const arch_register_class_t *cls,
        init_node_attr(res, 2, 1);
        be_node_set_reg_class_out(res, 0, cls);
 
-       be_node_set_reg_class_in(res, be_pos_Reload_frame, cls_frame);
-       arch_irn_set_flags(res, arch_irn_flags_rematerializable);
+       be_node_set_reg_class_in(res, n_be_Reload_frame, cls_frame);
+       arch_set_irn_flags(res, arch_irn_flags_rematerializable);
+
+       a         = (be_frame_attr_t*) get_irn_generic_attr(res);
+       a->ent    = NULL;
+       a->offset = 0;
+       a->base.exc.pin_state = op_pin_state_pinned;
 
        /*
         * For spills and reloads, we return "none" as requirement for frame
@@ -302,7 +317,7 @@ ir_node *be_new_Reload(const arch_register_class_t *cls,
         * Matze: we should investigate if this is really needed, this solution
         *        looks very hacky to me
         */
-       be_set_constr_in(res, be_pos_Reload_frame, arch_no_register_req);
+       be_set_constr_in(res, n_be_Reload_frame, arch_no_register_req);
 
        return res;
 }
@@ -310,35 +325,38 @@ ir_node *be_new_Reload(const arch_register_class_t *cls,
 ir_node *be_get_Reload_mem(const ir_node *irn)
 {
        assert(be_is_Reload(irn));
-       return get_irn_n(irn, be_pos_Reload_mem);
+       return get_irn_n(irn, n_be_Reload_mem);
 }
 
 ir_node *be_get_Reload_frame(const ir_node *irn)
 {
        assert(be_is_Reload(irn));
-       return get_irn_n(irn, be_pos_Reload_frame);
+       return get_irn_n(irn, n_be_Reload_frame);
 }
 
 ir_node *be_get_Spill_val(const ir_node *irn)
 {
        assert(be_is_Spill(irn));
-       return get_irn_n(irn, be_pos_Spill_val);
+       return get_irn_n(irn, n_be_Spill_val);
 }
 
 ir_node *be_get_Spill_frame(const ir_node *irn)
 {
        assert(be_is_Spill(irn));
-       return get_irn_n(irn, be_pos_Spill_frame);
+       return get_irn_n(irn, n_be_Spill_frame);
 }
 
 ir_node *be_new_Perm(const arch_register_class_t *cls, ir_node *block,
                      int n, ir_node *in[])
 {
-       int      i;
-       ir_graph *irg = get_Block_irg(block);
+       int            i;
+       ir_graph       *irg = get_Block_irg(block);
+       be_node_attr_t *attr;
 
        ir_node *irn = new_ir_node(NULL, irg, block, op_be_Perm, mode_T, n, in);
        init_node_attr(irn, n, n);
+       attr                = (be_node_attr_t*) get_irn_generic_attr(irn);
+       attr->exc.pin_state = op_pin_state_pinned;
        for (i = 0; i < n; ++i) {
                be_node_set_reg_class_in(irn, i, cls);
                be_node_set_reg_class_out(irn, i, cls);
@@ -403,24 +421,30 @@ ir_node *be_new_MemPerm(ir_node *block, int n, ir_node *in[])
        return irn;
 }
 
-ir_node *be_new_Copy(const arch_register_class_t *cls, ir_node *bl, ir_node *op)
+ir_node *be_new_Copy(ir_node *bl, ir_node *op)
 {
        ir_node *in[1];
        ir_node *res;
        arch_register_req_t *req;
+       be_node_attr_t *attr;
        ir_graph *irg = get_Block_irg(bl);
+       const arch_register_req_t   *in_req = arch_get_irn_register_req(op);
+       const arch_register_class_t *cls    = in_req->cls;
 
        in[0] = op;
        res   = new_ir_node(NULL, irg, bl, op_be_Copy, get_irn_mode(op), 1, in);
        init_node_attr(res, 1, 1);
+       attr = (be_node_attr_t*) get_irn_generic_attr(res);
+       attr->exc.pin_state = op_pin_state_floats;
        be_node_set_reg_class_in(res, 0, cls);
        be_node_set_reg_class_out(res, 0, cls);
 
        req = allocate_reg_req(res);
        req->cls        = cls;
-       req->type       = arch_register_req_type_should_be_same;
+       req->type       = arch_register_req_type_should_be_same
+               | (in_req->type & arch_register_req_type_aligned);
        req->other_same = 1U << 0;
-       req->width      = 1;
+       req->width      = in_req->width;
        be_set_constr_out(res, 0, req);
 
        return res;
@@ -428,12 +452,12 @@ ir_node *be_new_Copy(const arch_register_class_t *cls, ir_node *bl, ir_node *op)
 
 ir_node *be_get_Copy_op(const ir_node *cpy)
 {
-       return get_irn_n(cpy, be_pos_Copy_op);
+       return get_irn_n(cpy, n_be_Copy_op);
 }
 
 void be_set_Copy_op(ir_node *cpy, ir_node *op)
 {
-       set_irn_n(cpy, be_pos_Copy_op, op);
+       set_irn_n(cpy, n_be_Copy_op, op);
 }
 
 ir_node *be_new_Keep(ir_node *block, int n, ir_node *in[])
@@ -441,9 +465,12 @@ ir_node *be_new_Keep(ir_node *block, int n, ir_node *in[])
        int i;
        ir_node *res;
        ir_graph *irg = get_Block_irg(block);
+       be_node_attr_t *attr;
 
        res = new_ir_node(NULL, irg, block, op_be_Keep, mode_ANY, -1, NULL);
        init_node_attr(res, -1, 1);
+       attr = (be_node_attr_t*) get_irn_generic_attr(res);
+       attr->exc.pin_state = op_pin_state_pinned;
 
        for (i = 0; i < n; ++i) {
                add_irn_n(res, in[i]);
@@ -469,22 +496,23 @@ ir_node *be_new_Call(dbg_info *dbg, ir_graph *irg, ir_node *bl, ir_node *mem,
                ir_type *call_tp)
 {
        be_call_attr_t *a;
-       int real_n = be_pos_Call_first_arg + n;
+       int real_n = n_be_Call_first_arg + n;
        ir_node *irn;
        ir_node **real_in;
 
        NEW_ARR_A(ir_node *, real_in, real_n);
-       real_in[be_pos_Call_mem] = mem;
-       real_in[be_pos_Call_sp]  = sp;
-       real_in[be_pos_Call_ptr] = ptr;
-       memcpy(&real_in[be_pos_Call_first_arg], in, n * sizeof(in[0]));
+       real_in[n_be_Call_mem] = mem;
+       real_in[n_be_Call_sp]  = sp;
+       real_in[n_be_Call_ptr] = ptr;
+       memcpy(&real_in[n_be_Call_first_arg], in, n * sizeof(in[0]));
 
        irn = new_ir_node(dbg, irg, bl, op_be_Call, mode_T, real_n, real_in);
        init_node_attr(irn, real_n, n_outs);
-       a          = (be_call_attr_t*)get_irn_generic_attr(irn);
-       a->ent     = NULL;
-       a->call_tp = call_tp;
-       a->pop     = 0;
+       a                     = (be_call_attr_t*)get_irn_generic_attr(irn);
+       a->ent                = NULL;
+       a->call_tp            = call_tp;
+       a->pop                = 0;
+       a->base.exc.pin_state = op_pin_state_pinned;
        return irn;
 }
 
@@ -544,9 +572,10 @@ ir_node *be_new_Return(dbg_info *dbg, ir_graph *irg, ir_node *block, int n_res,
        be_set_constr_out(res, 0, arch_no_register_req);
 
        a = (be_return_attr_t*)get_irn_generic_attr(res);
-       a->num_ret_vals = n_res;
-       a->pop          = pop;
-       a->emit_pop     = 0;
+       a->num_ret_vals       = n_res;
+       a->pop                = pop;
+       a->emit_pop           = 0;
+       a->base.exc.pin_state = op_pin_state_pinned;
 
        return res;
 }
@@ -597,9 +626,10 @@ ir_node *be_new_IncSP(const arch_register_t *sp, ir_node *bl,
        irn       = new_ir_node(NULL, irg, bl, op_be_IncSP, sp->reg_class->mode,
                                sizeof(in) / sizeof(in[0]), in);
        init_node_attr(irn, 1, 1);
-       a         = (be_incsp_attr_t*)get_irn_generic_attr(irn);
-       a->offset = offset;
-       a->align  = align;
+       a                     = (be_incsp_attr_t*)get_irn_generic_attr(irn);
+       a->offset             = offset;
+       a->align              = align;
+       a->base.exc.pin_state = op_pin_state_pinned;
 
        /* Set output constraint to stack register. */
        be_node_set_reg_class_in(irn, 0, sp->reg_class);
@@ -612,46 +642,49 @@ ir_node *be_new_AddSP(const arch_register_t *sp, ir_node *bl, ir_node *old_sp,
                ir_node *sz)
 {
        ir_node *irn;
-       ir_node *in[be_pos_AddSP_last];
-       const arch_register_class_t *cls;
+       ir_node *in[n_be_AddSP_last];
        ir_graph *irg;
+       be_node_attr_t *attr;
 
-       in[be_pos_AddSP_old_sp] = old_sp;
-       in[be_pos_AddSP_size]   = sz;
+       in[n_be_AddSP_old_sp] = old_sp;
+       in[n_be_AddSP_size]   = sz;
 
        irg = get_Block_irg(bl);
-       irn = new_ir_node(NULL, irg, bl, op_be_AddSP, mode_T, be_pos_AddSP_last, in);
-       init_node_attr(irn, be_pos_AddSP_last, pn_be_AddSP_last);
+       irn = new_ir_node(NULL, irg, bl, op_be_AddSP, mode_T, n_be_AddSP_last, in);
+       init_node_attr(irn, n_be_AddSP_last, pn_be_AddSP_last);
+       attr = (be_node_attr_t*) get_irn_generic_attr(irn);
+       attr->exc.pin_state = op_pin_state_pinned;
 
        /* Set output constraint to stack register. */
-       be_set_constr_single_reg_in(irn, be_pos_AddSP_old_sp, sp,
+       be_set_constr_single_reg_in(irn, n_be_AddSP_old_sp, sp,
                                    arch_register_req_type_none);
-       be_node_set_reg_class_in(irn, be_pos_AddSP_size, arch_register_get_class(sp));
+       be_node_set_reg_class_in(irn, n_be_AddSP_size, sp->reg_class);
        be_set_constr_single_reg_out(irn, pn_be_AddSP_sp, sp,
                                     arch_register_req_type_produces_sp);
 
-       cls = arch_register_get_class(sp);
-
        return irn;
 }
 
 ir_node *be_new_SubSP(const arch_register_t *sp, ir_node *bl, ir_node *old_sp, ir_node *sz)
 {
        ir_node *irn;
-       ir_node *in[be_pos_SubSP_last];
+       ir_node *in[n_be_SubSP_last];
        ir_graph *irg;
+       be_node_attr_t *attr;
 
-       in[be_pos_SubSP_old_sp] = old_sp;
-       in[be_pos_SubSP_size]   = sz;
+       in[n_be_SubSP_old_sp] = old_sp;
+       in[n_be_SubSP_size]   = sz;
 
        irg = get_Block_irg(bl);
-       irn = new_ir_node(NULL, irg, bl, op_be_SubSP, mode_T, be_pos_SubSP_last, in);
-       init_node_attr(irn, be_pos_SubSP_last, pn_be_SubSP_last);
+       irn = new_ir_node(NULL, irg, bl, op_be_SubSP, mode_T, n_be_SubSP_last, in);
+       init_node_attr(irn, n_be_SubSP_last, pn_be_SubSP_last);
+       attr = (be_node_attr_t*) get_irn_generic_attr(irn);
+       attr->exc.pin_state = op_pin_state_pinned;
 
        /* Set output constraint to stack register. */
-       be_set_constr_single_reg_in(irn, be_pos_SubSP_old_sp, sp,
+       be_set_constr_single_reg_in(irn, n_be_SubSP_old_sp, sp,
                                    arch_register_req_type_none);
-       be_node_set_reg_class_in(irn, be_pos_SubSP_size, arch_register_get_class(sp));
+       be_node_set_reg_class_in(irn, n_be_SubSP_size, sp->reg_class);
        be_set_constr_single_reg_out(irn, pn_be_SubSP_sp, sp, arch_register_req_type_produces_sp);
 
        return irn;
@@ -662,9 +695,12 @@ ir_node *be_new_Start(dbg_info *dbgi, ir_node *bl, int n_outs)
        ir_node *res;
        int i;
        ir_graph *irg = get_Block_irg(bl);
+       be_node_attr_t *attr;
 
        res = new_ir_node(dbgi, irg, bl, op_be_Start, mode_T, 0, NULL);
        init_node_attr(res, 0, -1);
+       attr = (be_node_attr_t*) get_irn_generic_attr(res);
+       attr->exc.pin_state = op_pin_state_pinned;
        for (i = 0; i < n_outs; ++i) {
                add_register_req_out(res);
        }
@@ -682,9 +718,10 @@ ir_node *be_new_FrameAddr(const arch_register_class_t *cls_frame, ir_node *bl, i
        in[0]  = frame;
        irn    = new_ir_node(NULL, irg, bl, op_be_FrameAddr, get_irn_mode(frame), 1, in);
        init_node_attr(irn, 1, 1);
-       a         = (be_frame_attr_t*)get_irn_generic_attr(irn);
-       a->ent    = ent;
-       a->offset = 0;
+       a                     = (be_frame_attr_t*)get_irn_generic_attr(irn);
+       a->ent                = ent;
+       a->offset             = 0;
+       a->base.exc.pin_state = op_pin_state_floats;
        be_node_set_reg_class_in(irn, 0, cls_frame);
        be_node_set_reg_class_out(irn, 0, cls_frame);
 
@@ -694,7 +731,7 @@ ir_node *be_new_FrameAddr(const arch_register_class_t *cls_frame, ir_node *bl, i
 ir_node *be_get_FrameAddr_frame(const ir_node *node)
 {
        assert(be_is_FrameAddr(node));
-       return get_irn_n(node, be_pos_FrameAddr_ptr);
+       return get_irn_n(node, n_be_FrameAddr_ptr);
 }
 
 ir_entity *be_get_FrameAddr_entity(const ir_node *node)
@@ -703,35 +740,41 @@ ir_entity *be_get_FrameAddr_entity(const ir_node *node)
        return attr->ent;
 }
 
-ir_node *be_new_CopyKeep(const arch_register_class_t *cls, ir_node *bl, ir_node *src, int n, ir_node *in_keep[], ir_mode *mode)
+ir_node *be_new_CopyKeep(ir_node *bl, ir_node *src, int n, ir_node *in_keep[])
 {
        ir_node  *irn;
        ir_node **in = ALLOCAN(ir_node*, n + 1);
        ir_graph *irg = get_Block_irg(bl);
+       const arch_register_req_t   *req  = arch_get_irn_register_req(src);
+       const arch_register_class_t *cls  = req->cls;
+       ir_mode                     *mode = get_irn_mode(src);
+       be_node_attr_t *attr;
 
        in[0] = src;
        memcpy(&in[1], in_keep, n * sizeof(in[0]));
        irn   = new_ir_node(NULL, irg, bl, op_be_CopyKeep, mode, n + 1, in);
        init_node_attr(irn, n + 1, 1);
+       attr = (be_node_attr_t*) get_irn_generic_attr(irn);
+       attr->exc.pin_state = op_pin_state_floats;
        be_node_set_reg_class_in(irn, 0, cls);
        be_node_set_reg_class_out(irn, 0, cls);
 
        return irn;
 }
 
-ir_node *be_new_CopyKeep_single(const arch_register_class_t *cls, ir_node *bl, ir_node *src, ir_node *keep, ir_mode *mode)
+ir_node *be_new_CopyKeep_single(ir_node *bl, ir_node *src, ir_node *keep)
 {
-       return be_new_CopyKeep(cls, bl, src, 1, &keep, mode);
+       return be_new_CopyKeep(bl, src, 1, &keep);
 }
 
 ir_node *be_get_CopyKeep_op(const ir_node *cpy)
 {
-       return get_irn_n(cpy, be_pos_CopyKeep_op);
+       return get_irn_n(cpy, n_be_CopyKeep_op);
 }
 
 void be_set_CopyKeep_op(ir_node *cpy, ir_node *op)
 {
-       set_irn_n(cpy, be_pos_CopyKeep_op, op);
+       set_irn_n(cpy, n_be_CopyKeep_op, op);
 }
 
 static bool be_has_frame_entity(const ir_node *irn)
@@ -857,12 +900,11 @@ void be_set_constr_single_reg_out(ir_node *node, int pos,
        if (additional_types == 0) {
                req = reg->single_req;
        } else {
-               ir_graph       *irg  = get_irn_irg(node);
                struct obstack *obst = be_get_be_obst(irg);
                req = be_create_reg_req(obst, reg, additional_types);
        }
 
-       arch_irn_set_register(node, pos, reg);
+       arch_set_irn_register_out(node, pos, reg);
        be_set_constr_out(node, pos, req);
 }
 
@@ -911,54 +953,6 @@ int be_get_IncSP_align(const ir_node *irn)
        return a->align;
 }
 
-ir_node *be_spill(ir_node *block, ir_node *irn)
-{
-       ir_graph                    *irg       = get_Block_irg(block);
-       ir_node                     *frame     = get_irg_frame(irg);
-       const arch_register_class_t *cls       = arch_get_irn_reg_class_out(irn);
-       const arch_register_class_t *cls_frame = arch_get_irn_reg_class_out(frame);
-       ir_node                     *spill;
-
-       spill = be_new_Spill(cls, cls_frame, block, frame, irn);
-       return spill;
-}
-
-ir_node *be_reload(const arch_register_class_t *cls, ir_node *insert, ir_mode *mode, ir_node *spill)
-{
-       ir_node  *reload;
-       ir_node  *bl    = is_Block(insert) ? insert : get_nodes_block(insert);
-       ir_graph *irg   = get_Block_irg(bl);
-       ir_node  *frame = get_irg_frame(irg);
-       const arch_register_class_t *cls_frame = arch_get_irn_reg_class_out(frame);
-
-       assert(be_is_Spill(spill) || (is_Phi(spill) && get_irn_mode(spill) == mode_M));
-
-       reload = be_new_Reload(cls, cls_frame, bl, frame, spill, mode);
-
-       if (is_Block(insert)) {
-               do {
-                       insert = sched_prev(insert);
-               } while (is_cfop(insert));
-               sched_add_after(insert, reload);
-       } else {
-               sched_add_before(insert, reload);
-       }
-
-       return reload;
-}
-
-
-static arch_irn_class_t be_node_classify(const ir_node *irn)
-{
-       switch (get_irn_opcode(irn)) {
-               case beo_Spill:  return arch_irn_class_spill;
-               case beo_Reload: return arch_irn_class_reload;
-               case beo_Perm:   return arch_irn_class_perm;
-               case beo_Copy:   return arch_irn_class_copy;
-               default:         return arch_irn_class_none;
-       }
-}
-
 static ir_entity *be_node_get_frame_entity(const ir_node *irn)
 {
        return be_get_frame_entity(irn);
@@ -999,7 +993,6 @@ static int be_node_get_sp_bias(const ir_node *irn)
 
 /* for be nodes */
 static const arch_irn_ops_t be_node_irn_ops = {
-       be_node_classify,
        be_node_get_frame_entity,
        be_node_set_frame_offset,
        be_node_get_sp_bias,
@@ -1009,10 +1002,61 @@ static const arch_irn_ops_t be_node_irn_ops = {
        NULL,    /* perform_memory_operand  */
 };
 
-static arch_irn_class_t dummy_classify(const ir_node *node)
+static int get_start_reg_index(ir_graph *irg, const arch_register_t *reg)
 {
-       (void) node;
-       return arch_irn_class_none;
+       ir_node *start  = get_irg_start(irg);
+       unsigned n_outs = arch_get_irn_n_outs(start);
+       int      i;
+
+       /* do a naive linear search... */
+       for (i = 0; i < (int)n_outs; ++i) {
+               const arch_register_req_t *out_req
+                       = arch_get_irn_register_req_out(start, i);
+               if (! (out_req->type & arch_register_req_type_limited))
+                       continue;
+               if (out_req->cls != arch_register_get_class(reg))
+                       continue;
+               if (!rbitset_is_set(out_req->limited, reg->index))
+                       continue;
+               return i;
+       }
+       panic("Tried querying undefined register '%s' at Start", reg->name);
+}
+
+ir_node *be_get_initial_reg_value(ir_graph *irg, const arch_register_t *reg)
+{
+       int      i     = get_start_reg_index(irg, reg);
+       ir_node *start = get_irg_start(irg);
+       ir_mode *mode  = arch_register_class_mode(arch_register_get_class(reg));
+       const ir_edge_t *edge;
+
+       foreach_out_edge(start, edge) {
+               ir_node *proj = get_edge_src_irn(edge);
+               if (!is_Proj(proj)) // maybe End/Anchor
+                       continue;
+               if (get_Proj_proj(proj) == i) {
+                       return proj;
+               }
+       }
+       return new_r_Proj(start, mode, i);
+}
+
+int be_find_return_reg_input(ir_node *ret, const arch_register_t *reg)
+{
+       int arity = get_irn_arity(ret);
+       int i;
+       /* do a naive linear search... */
+       for (i = 0; i < arity; ++i) {
+               const arch_register_req_t *req = arch_get_irn_register_req_in(ret, i);
+               if (! (req->type & arch_register_req_type_limited))
+                       continue;
+               if (req->cls != arch_register_get_class(reg))
+                       continue;
+               if (!rbitset_is_set(req->limited, reg->index))
+                       continue;
+               return i;
+       }
+       panic("Tried querying undefined register '%s' at Return", reg->name);
 }
 
 static ir_entity* dummy_get_frame_entity(const ir_node *node)
@@ -1036,7 +1080,6 @@ static int dummy_get_sp_bias(const ir_node *node)
 
 /* for "middleend" nodes */
 static const arch_irn_ops_t dummy_be_irn_ops = {
-       dummy_classify,
        dummy_get_frame_entity,
        dummy_set_frame_offset,
        dummy_get_sp_bias,
@@ -1116,7 +1159,6 @@ void be_dump_phi_reg_reqs(FILE *F, ir_node *node, dump_reason_t reason)
 }
 
 static const arch_irn_ops_t phi_irn_ops = {
-       dummy_classify,
        dummy_get_frame_entity,
        dummy_set_frame_offset,
        dummy_get_sp_bias,
@@ -1152,13 +1194,7 @@ static void dump_node(FILE *f, ir_node *irn, dump_reason_t reason)
                        }
                        if (be_is_IncSP(irn)) {
                                const be_incsp_attr_t *attr = (const be_incsp_attr_t*)get_irn_generic_attr_const(irn);
-                               if (attr->offset == BE_STACK_FRAME_SIZE_EXPAND) {
-                                       fprintf(f, " [Setup Stackframe] ");
-                               } else if (attr->offset == BE_STACK_FRAME_SIZE_SHRINK) {
-                                       fprintf(f, " [Destroy Stackframe] ");
-                               } else {
-                                       fprintf(f, " [%d] ", attr->offset);
-                               }
+                               fprintf(f, " [%d] ", attr->offset);
                        }
                        break;
                case dump_node_info_txt:
@@ -1178,12 +1214,7 @@ static void dump_node(FILE *f, ir_node *irn, dump_reason_t reason)
                        case beo_IncSP: {
                                const be_incsp_attr_t *a = (const be_incsp_attr_t*)get_irn_generic_attr_const(irn);
                                fprintf(f, "align: %d\n", a->align);
-                               if (a->offset == BE_STACK_FRAME_SIZE_EXPAND)
-                                       fprintf(f, "offset: FRAME_SIZE\n");
-                               else if (a->offset == BE_STACK_FRAME_SIZE_SHRINK)
-                                       fprintf(f, "offset: -FRAME SIZE\n");
-                               else
-                                       fprintf(f, "offset: %d\n", a->offset);
+                               fprintf(f, "offset: %d\n", a->offset);
                                break;
                        }
                        case beo_Call: {
@@ -1293,20 +1324,21 @@ void be_init_op(void)
        unsigned opc;
 
        /* Acquire all needed opcodes. */
-       op_be_Spill     = new_ir_op(beo_Spill,     "be_Spill",     op_pin_state_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_frame_attr_t),   &be_node_op_ops);
-       op_be_Reload    = new_ir_op(beo_Reload,    "be_Reload",    op_pin_state_pinned, irop_flag_none,                          oparity_zero,     0, sizeof(be_frame_attr_t),   &be_node_op_ops);
-       op_be_Perm      = new_ir_op(beo_Perm,      "be_Perm",      op_pin_state_pinned, irop_flag_none,                          oparity_variable, 0, 0,                         &be_node_op_ops);
-       op_be_MemPerm   = new_ir_op(beo_MemPerm,   "be_MemPerm",   op_pin_state_pinned, irop_flag_none,                          oparity_variable, 0, sizeof(be_memperm_attr_t), &be_node_op_ops);
-       op_be_Copy      = new_ir_op(beo_Copy,      "be_Copy",      op_pin_state_floats, irop_flag_none,                          oparity_unary,    0, 0,                         &be_node_op_ops);
-       op_be_Keep      = new_ir_op(beo_Keep,      "be_Keep",      op_pin_state_floats, irop_flag_keep,                          oparity_dynamic,  0, 0,                         &be_node_op_ops);
-       op_be_CopyKeep  = new_ir_op(beo_CopyKeep,  "be_CopyKeep",  op_pin_state_floats, irop_flag_keep,                          oparity_variable, 0, 0,                         &be_node_op_ops);
-       op_be_Call      = new_ir_op(beo_Call,      "be_Call",      op_pin_state_pinned, irop_flag_fragile|irop_flag_uses_memory, oparity_variable, 0, sizeof(be_call_attr_t),    &be_node_op_ops);
-       op_be_Return    = new_ir_op(beo_Return,    "be_Return",    op_pin_state_pinned, irop_flag_cfopcode,                      oparity_dynamic,  0, sizeof(be_return_attr_t),  &be_node_op_ops);
-       op_be_AddSP     = new_ir_op(beo_AddSP,     "be_AddSP",     op_pin_state_pinned, irop_flag_none,                          oparity_unary,    0, 0,                         &be_node_op_ops);
-       op_be_SubSP     = new_ir_op(beo_SubSP,     "be_SubSP",     op_pin_state_pinned, irop_flag_none,                          oparity_unary,    0, 0,                         &be_node_op_ops);
-       op_be_IncSP     = new_ir_op(beo_IncSP,     "be_IncSP",     op_pin_state_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_incsp_attr_t),   &be_node_op_ops);
-       op_be_Start     = new_ir_op(beo_Start,     "be_Start",     op_pin_state_pinned, irop_flag_none,                          oparity_zero,     0, 0,                         &be_node_op_ops);
-       op_be_FrameAddr = new_ir_op(beo_FrameAddr, "be_FrameAddr", op_pin_state_floats, irop_flag_none,                          oparity_unary,    0, sizeof(be_frame_attr_t),   &be_node_op_ops);
+       op_be_Spill     = new_ir_op(beo_Spill,     "be_Spill",     op_pin_state_exc_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_frame_attr_t),   &be_node_op_ops);
+       op_be_Reload    = new_ir_op(beo_Reload,    "be_Reload",    op_pin_state_exc_pinned, irop_flag_none,                          oparity_zero,     0, sizeof(be_frame_attr_t),   &be_node_op_ops);
+       op_be_Perm      = new_ir_op(beo_Perm,      "be_Perm",      op_pin_state_exc_pinned, irop_flag_none,                          oparity_variable, 0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_MemPerm   = new_ir_op(beo_MemPerm,   "be_MemPerm",   op_pin_state_exc_pinned, irop_flag_none,                          oparity_variable, 0, sizeof(be_memperm_attr_t), &be_node_op_ops);
+       op_be_Copy      = new_ir_op(beo_Copy,      "be_Copy",      op_pin_state_exc_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_Keep      = new_ir_op(beo_Keep,      "be_Keep",      op_pin_state_exc_pinned, irop_flag_keep,                          oparity_dynamic,  0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_CopyKeep  = new_ir_op(beo_CopyKeep,  "be_CopyKeep",  op_pin_state_exc_pinned, irop_flag_keep,                          oparity_variable, 0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_Call      = new_ir_op(beo_Call,      "be_Call",      op_pin_state_exc_pinned, irop_flag_fragile|irop_flag_uses_memory, oparity_variable, 0, sizeof(be_call_attr_t),    &be_node_op_ops);
+       ir_op_set_fragile_indices(op_be_Call, n_be_Call_mem, pn_be_Call_X_regular, pn_be_Call_X_except);
+       op_be_Return    = new_ir_op(beo_Return,    "be_Return",    op_pin_state_exc_pinned, irop_flag_cfopcode,                      oparity_dynamic,  0, sizeof(be_return_attr_t),  &be_node_op_ops);
+       op_be_AddSP     = new_ir_op(beo_AddSP,     "be_AddSP",     op_pin_state_exc_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_SubSP     = new_ir_op(beo_SubSP,     "be_SubSP",     op_pin_state_exc_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_IncSP     = new_ir_op(beo_IncSP,     "be_IncSP",     op_pin_state_exc_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_incsp_attr_t),   &be_node_op_ops);
+       op_be_Start     = new_ir_op(beo_Start,     "be_Start",     op_pin_state_exc_pinned, irop_flag_none,                          oparity_zero,     0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_FrameAddr = new_ir_op(beo_FrameAddr, "be_FrameAddr", op_pin_state_exc_pinned, irop_flag_none,                          oparity_unary,    0, sizeof(be_frame_attr_t),   &be_node_op_ops);
 
        op_be_Spill->ops.node_cmp_attr     = FrameAddr_cmp_attr;
        op_be_Reload->ops.node_cmp_attr    = FrameAddr_cmp_attr;