big refactoring of arch_XXX functions
[libfirm] / ir / be / ia32 / ia32_x87.c
index bfe6d5a..3977b94 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2010 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
 #include "ia32_x87.h"
 #include "ia32_architecture.h"
 
-#define N_x87_REGS 8
-
-/* the unop index */
-#define UNOP_IDX 0
-
-#define MASK_TOS(x)            ((x) & (N_x87_REGS - 1))
+#define MASK_TOS(x)    ((x) & (N_ia32_st_REGS - 1))
 
 /** the debug handle */
 DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;)
 
 /* Forward declaration. */
-typedef struct _x87_simulator x87_simulator;
+typedef struct x87_simulator x87_simulator;
 
 /**
  * An exchange template.
@@ -73,7 +68,7 @@ typedef struct _x87_simulator x87_simulator;
  * their opcodes!
  * Further, x87 supports inverse instructions, so we can handle them.
  */
-typedef struct _exchange_tmpl {
+typedef struct exchange_tmpl {
        ir_op *normal_op;       /**< the normal one */
        ir_op *reverse_op;      /**< the reverse one if exists */
        ir_op *normal_pop_op;   /**< the normal one with tos pop */
@@ -83,7 +78,7 @@ typedef struct _exchange_tmpl {
 /**
  * An entry on the simulated x87 stack.
  */
-typedef struct _st_entry {
+typedef struct st_entry {
        int     reg_idx;        /**< the virtual register index of this stack value */
        ir_node *node;          /**< the node that produced this value */
 } st_entry;
@@ -91,11 +86,11 @@ typedef struct _st_entry {
 /**
  * The x87 state.
  */
-typedef struct _x87_state {
-       st_entry st[N_x87_REGS];  /**< the register stack */
-       int depth;                /**< the current stack depth */
-       int tos;                  /**< position of the tos */
-       x87_simulator *sim;       /**< The simulator. */
+typedef struct x87_state {
+       st_entry st[N_ia32_st_REGS]; /**< the register stack */
+       int depth;                   /**< the current stack depth */
+       int tos;                     /**< position of the tos */
+       x87_simulator *sim;          /**< The simulator. */
 } x87_state;
 
 /** An empty state, used for blocks without fp instructions. */
@@ -126,12 +121,12 @@ typedef int (*sim_func)(x87_state *state, ir_node *n);
 /**
  * A block state: Every block has a x87 state at the beginning and at the end.
  */
-typedef struct _blk_state {
+typedef struct blk_state {
        x87_state *begin;   /**< state at the begin or NULL if not assigned */
        x87_state *end;     /**< state at the end or NULL if not assigned */
 } blk_state;
 
-#define PTR_TO_BLKSTATE(p)     ((blk_state *)(p))
+#define PTR_TO_BLKSTATE(p)    ((blk_state *)(p))
 
 /** liveness bitset for vfp registers. */
 typedef unsigned char vfp_liveness;
@@ -139,7 +134,7 @@ typedef unsigned char vfp_liveness;
 /**
  * The x87 simulator.
  */
-struct _x87_simulator {
+struct x87_simulator {
        struct obstack obst;        /**< An obstack for fast allocating. */
        pmap *blk_states;           /**< Map blocks to states. */
        be_lv_t *lv;                /**< intrablock liveness. */
@@ -252,7 +247,8 @@ static void x87_fxch(x87_state *state, int pos)
        state->st[MASK_TOS(state->tos + pos)] = state->st[MASK_TOS(state->tos)];
        state->st[MASK_TOS(state->tos)] = entry;
 
-       DB((dbg, LEVEL_2, "After FXCH: ")); DEBUG_ONLY(x87_dump_stack(state));
+       DB((dbg, LEVEL_2, "After FXCH: "));
+       DEBUG_ONLY(x87_dump_stack(state));
 }  /* x87_fxch */
 
 /**
@@ -283,7 +279,7 @@ static int x87_on_stack(const x87_state *state, int reg_idx)
  */
 static void x87_push_dbl(x87_state *state, int reg_idx, ir_node *node)
 {
-       assert(state->depth < N_x87_REGS && "stack overrun");
+       assert(state->depth < N_ia32_st_REGS && "stack overrun");
 
        ++state->depth;
        state->tos = MASK_TOS(state->tos - 1);
@@ -347,7 +343,7 @@ static blk_state *x87_get_bl_state(x87_simulator *sim, ir_node *block)
        pmap_entry *entry = pmap_find(sim->blk_states, block);
 
        if (! entry) {
-               blk_state *bl_state = obstack_alloc(&sim->obst, sizeof(*bl_state));
+               blk_state *bl_state = OALLOC(&sim->obst, blk_state);
                bl_state->begin = NULL;
                bl_state->end   = NULL;
 
@@ -367,7 +363,7 @@ static blk_state *x87_get_bl_state(x87_simulator *sim, ir_node *block)
  */
 static x87_state *x87_alloc_state(x87_simulator *sim)
 {
-       x87_state *res = obstack_alloc(&sim->obst, sizeof(*res));
+       x87_state *res = OALLOC(&sim->obst, x87_state);
 
        res->sim = sim;
        return res;
@@ -451,19 +447,24 @@ static inline const arch_register_t *x87_get_irn_register(const ir_node *irn)
 {
        const arch_register_t *res = arch_get_irn_register(irn);
 
-       assert(res->reg_class->regs == ia32_vfp_regs);
+       assert(res->reg_class == &ia32_reg_classes[CLASS_ia32_vfp]);
        return res;
 }  /* x87_get_irn_register */
 
 static inline const arch_register_t *x87_irn_get_register(const ir_node *irn,
                                                           int pos)
 {
-       const arch_register_t *res = arch_irn_get_register(irn, pos);
+       const arch_register_t *res = arch_get_irn_register_out(irn, pos);
 
-       assert(res->reg_class->regs == ia32_vfp_regs);
+       assert(res->reg_class == &ia32_reg_classes[CLASS_ia32_vfp]);
        return res;
 }  /* x87_irn_get_register */
 
+static inline const arch_register_t *get_st_reg(int index)
+{
+       return &ia32_registers[REG_ST0 + index];
+}
+
 /* -------------- x87 perm --------------- */
 
 /**
@@ -485,8 +486,8 @@ static ir_node *x87_fxch_shuffle(x87_state *state, int pos, ir_node *block)
 
        fxch = new_bd_ia32_fxch(NULL, block);
        attr = get_ia32_x87_attr(fxch);
-       attr->x87[0] = &ia32_st_regs[pos];
-       attr->x87[2] = &ia32_st_regs[0];
+       attr->x87[0] = get_st_reg(pos);
+       attr->x87[2] = get_st_reg(0);
 
        keep_alive(fxch);
 
@@ -654,8 +655,8 @@ static ir_node *x87_create_fxch(x87_state *state, ir_node *n, int pos)
 
        fxch = new_bd_ia32_fxch(NULL, block);
        attr = get_ia32_x87_attr(fxch);
-       attr->x87[0] = &ia32_st_regs[pos];
-       attr->x87[2] = &ia32_st_regs[0];
+       attr->x87[0] = get_st_reg(pos);
+       attr->x87[2] = get_st_reg(0);
 
        keep_alive(fxch);
 
@@ -682,8 +683,8 @@ static void x87_create_fpush(x87_state *state, ir_node *n, int pos, int op_idx)
 
        fpush = new_bd_ia32_fpush(NULL, get_nodes_block(n));
        attr  = get_ia32_x87_attr(fpush);
-       attr->x87[0] = &ia32_st_regs[pos];
-       attr->x87[2] = &ia32_st_regs[0];
+       attr->x87[0] = get_st_reg(pos);
+       attr->x87[2] = get_st_reg(0);
 
        keep_alive(fpush);
        sched_add_before(n, fpush);
@@ -706,50 +707,24 @@ static ir_node *x87_create_fpop(x87_state *state, ir_node *n, int num)
        ia32_x87_attr_t *attr;
 
        assert(num > 0);
-       while (num > 0) {
+       do {
                x87_pop(state);
                if (ia32_cg_config.use_ffreep)
                        fpop = new_bd_ia32_ffreep(NULL, get_nodes_block(n));
                else
                        fpop = new_bd_ia32_fpop(NULL, get_nodes_block(n));
                attr = get_ia32_x87_attr(fpop);
-               attr->x87[0] = &ia32_st_regs[0];
-               attr->x87[1] = &ia32_st_regs[0];
-               attr->x87[2] = &ia32_st_regs[0];
+               attr->x87[0] = get_st_reg(0);
+               attr->x87[1] = get_st_reg(0);
+               attr->x87[2] = get_st_reg(0);
 
                keep_alive(fpop);
                sched_add_before(n, fpop);
                DB((dbg, LEVEL_1, "<<< %s %s\n", get_irn_opname(fpop), attr->x87[0]->name));
-
-               --num;
-       }
+       } while (--num > 0);
        return fpop;
 }  /* x87_create_fpop */
 
-/**
- * Creates an fldz before node n
- *
- * @param state   the x87 state
- * @param n       the node after the fldz
- *
- * @return the fldz node
- */
-static ir_node *x87_create_fldz(x87_state *state, ir_node *n, int regidx)
-{
-       ir_node *block = get_nodes_block(n);
-       ir_node *fldz;
-
-       fldz = new_bd_ia32_fldz(NULL, block, ia32_reg_classes[CLASS_ia32_st].mode);
-
-       sched_add_before(n, fldz);
-       DB((dbg, LEVEL_1, "<<< %s\n", get_irn_opname(fldz)));
-       keep_alive(fldz);
-
-       x87_push(state, regidx, fldz);
-
-       return fldz;
-}
-
 /* --------------------------------- liveness ------------------------------------------ */
 
 /**
@@ -779,9 +754,7 @@ static vfp_liveness vfp_liveness_transfer(ir_node *irn, vfp_liveness live)
                                live &= ~(1 << arch_register_get_index(reg));
                        }
                }
-       }
-
-       if (arch_irn_consider_in_reg_alloc(cls, irn)) {
+       } else if (arch_irn_consider_in_reg_alloc(cls, irn)) {
                const arch_register_t *reg = x87_get_irn_register(irn);
                live &= ~(1 << arch_register_get_index(reg));
        }
@@ -828,7 +801,7 @@ static vfp_liveness vfp_liveness_end_of_block(x87_simulator *sim, const ir_node
 }  /* vfp_liveness_end_of_block */
 
 /** get the register mask from an arch_register */
-#define REGMASK(reg)   (1 << (arch_register_get_index(reg)))
+#define REGMASK(reg)    (1 << (arch_register_get_index(reg)))
 
 /**
  * Return a bitset of argument registers which are live at the end of a node.
@@ -941,31 +914,20 @@ static int sim_binop(x87_state *state, ir_node *n, const exchange_tmpl *tmpl)
        DB((dbg, LEVEL_1, "Stack before: "));
        DEBUG_ONLY(x87_dump_stack(state));
 
-       if (reg_index_1 == REG_VFP_UKNWN) {
-               op1_idx        = 0;
-               op1_live_after = 1;
-       } else {
-               op1_idx = x87_on_stack(state, reg_index_1);
-               assert(op1_idx >= 0);
-               op1_live_after = is_vfp_live(arch_register_get_index(op1_reg), live);
-       }
+       op1_idx = x87_on_stack(state, reg_index_1);
+       assert(op1_idx >= 0);
+       op1_live_after = is_vfp_live(reg_index_1, live);
 
        attr     = get_ia32_x87_attr(n);
        permuted = attr->attr.data.ins_permuted;
 
-       if (reg_index_2 != REG_VFP_NOREG) {
+       if (reg_index_2 != REG_VFP_VFP_NOREG) {
                assert(!permuted);
 
-               if (reg_index_2 == REG_VFP_UKNWN) {
-                       op2_idx        = 0;
-                       op2_live_after = 1;
-               } else {
-                       /* second operand is a vfp register */
-                       op2_idx = x87_on_stack(state, reg_index_2);
-                       assert(op2_idx >= 0);
-                       op2_live_after
-                               = is_vfp_live(arch_register_get_index(op2_reg), live);
-               }
+               /* second operand is a vfp register */
+               op2_idx = x87_on_stack(state, reg_index_2);
+               assert(op2_idx >= 0);
+               op2_live_after = is_vfp_live(reg_index_2, live);
 
                if (op2_live_after) {
                        /* Second operand is live. */
@@ -1071,13 +1033,13 @@ static int sim_binop(x87_state *state, ir_node *n, const exchange_tmpl *tmpl)
        }
 
        /* patch the operation */
-       attr->x87[0] = op1_reg = &ia32_st_regs[op1_idx];
-       if (reg_index_2 != REG_VFP_NOREG) {
-               attr->x87[1] = op2_reg = &ia32_st_regs[op2_idx];
+       attr->x87[0] = op1_reg = get_st_reg(op1_idx);
+       if (reg_index_2 != REG_VFP_VFP_NOREG) {
+               attr->x87[1] = op2_reg = get_st_reg(op2_idx);
        }
-       attr->x87[2] = out = &ia32_st_regs[out_idx];
+       attr->x87[2] = out = get_st_reg(out_idx);
 
-       if (reg_index_2 != REG_VFP_NOREG) {
+       if (reg_index_2 != REG_VFP_VFP_NOREG) {
                DB((dbg, LEVEL_1, "<<< %s %s, %s -> %s\n", get_irn_opname(n),
                        arch_register_get_name(op1_reg), arch_register_get_name(op2_reg),
                        arch_register_get_name(out)));
@@ -1101,9 +1063,9 @@ static int sim_binop(x87_state *state, ir_node *n, const exchange_tmpl *tmpl)
  */
 static int sim_unop(x87_state *state, ir_node *n, ir_op *op)
 {
-       int op1_idx, out_idx;
+       int op1_idx;
        x87_simulator         *sim = state->sim;
-       const arch_register_t *op1 = x87_get_irn_register(get_irn_n(n, UNOP_IDX));
+       const arch_register_t *op1 = x87_get_irn_register(get_irn_n(n, 0));
        const arch_register_t *out = x87_get_irn_register(n);
        ia32_x87_attr_t *attr;
        unsigned live = vfp_live_args_after(sim, n, REGMASK(out));
@@ -1115,7 +1077,7 @@ static int sim_unop(x87_state *state, ir_node *n, ir_op *op)
 
        if (is_vfp_live(arch_register_get_index(op1), live)) {
                /* push the operand here */
-               x87_create_fpush(state, n, op1_idx, UNOP_IDX);
+               x87_create_fpush(state, n, op1_idx, 0);
                op1_idx = 0;
        }
        else {
@@ -1127,10 +1089,9 @@ static int sim_unop(x87_state *state, ir_node *n, ir_op *op)
        }
 
        x87_set_tos(state, arch_register_get_index(out), x87_patch_insn(n, op));
-       out_idx = 0;
        attr = get_ia32_x87_attr(n);
-       attr->x87[0] = op1 = &ia32_st_regs[0];
-       attr->x87[2] = out = &ia32_st_regs[0];
+       attr->x87[0] = op1 = get_st_reg(0);
+       attr->x87[2] = out = get_st_reg(0);
        DB((dbg, LEVEL_1, "<<< %s -> %s\n", get_irn_opname(n), out->name));
 
        return NO_NODE_ADDED;
@@ -1154,7 +1115,7 @@ static int sim_load(x87_state *state, ir_node *n, ir_op *op, int res_pos)
        x87_push(state, arch_register_get_index(out), x87_patch_insn(n, op));
        assert(out == x87_irn_get_register(n, res_pos));
        attr = get_ia32_x87_attr(n);
-       attr->x87[2] = out = &ia32_st_regs[0];
+       attr->x87[2] = out = get_st_reg(0);
        DB((dbg, LEVEL_1, "<<< %s -> %s\n", get_irn_opname(n), arch_register_get_name(out)));
 
        return NO_NODE_ADDED;
@@ -1209,25 +1170,10 @@ static int sim_store(x87_state *state, ir_node *n, ir_op *op, ir_op *op_p)
        ir_mode *mode;
 
        op2_reg_idx = arch_register_get_index(op2);
-       if (op2_reg_idx == REG_VFP_UKNWN) {
-               /* just take any value from stack */
-               if (state->depth > 0) {
-                       op2_idx = 0;
-                       DEBUG_ONLY(op2 = NULL);
-                       live_after_node = 1;
-               } else {
-                       /* produce a new value which we will consume immediately */
-                       x87_create_fldz(state, n, op2_reg_idx);
-                       live_after_node = 0;
-                       op2_idx = x87_on_stack(state, op2_reg_idx);
-                       assert(op2_idx >= 0);
-               }
-       } else {
-               op2_idx = x87_on_stack(state, op2_reg_idx);
-               live_after_node = is_vfp_live(arch_register_get_index(op2), live);
-               DB((dbg, LEVEL_1, ">>> %+F %s ->\n", n, arch_register_get_name(op2)));
-               assert(op2_idx >= 0);
-       }
+       op2_idx = x87_on_stack(state, op2_reg_idx);
+       live_after_node = is_vfp_live(arch_register_get_index(op2), live);
+       DB((dbg, LEVEL_1, ">>> %+F %s ->\n", n, arch_register_get_name(op2)));
+       assert(op2_idx >= 0);
 
        mode  = get_ia32_ls_mode(n);
        depth = x87_get_depth(state);
@@ -1242,21 +1188,22 @@ static int sim_store(x87_state *state, ir_node *n, ir_op *op, ir_op *op_p)
                        Note that we cannot test on mode_E, because floats might be 96bit ...
                */
                if (get_mode_size_bits(mode) > 64 || (mode_is_int(mode) && get_mode_size_bits(mode) > 32)) {
-                       if (depth < N_x87_REGS) {
+                       if (depth < N_ia32_st_REGS) {
                                /* ok, we have a free register: push + fstp */
                                x87_create_fpush(state, n, op2_idx, n_ia32_vfst_val);
                                x87_pop(state);
                                x87_patch_insn(n, op_p);
                        } else {
                                ir_node  *vfld, *mem, *block, *rproj, *mproj;
-                               ir_graph *irg;
+                               ir_graph *irg   = get_irn_irg(n);
+                               ir_node  *nomem = get_irg_no_mem(irg);
 
                                /* stack full here: need fstp + load */
                                x87_pop(state);
                                x87_patch_insn(n, op_p);
 
                                block = get_nodes_block(n);
-                               vfld  = new_bd_ia32_vfld(NULL, block, get_irn_n(n, 0), get_irn_n(n, 1), new_NoMem(), get_ia32_ls_mode(n));
+                               vfld  = new_bd_ia32_vfld(NULL, block, get_irn_n(n, 0), get_irn_n(n, 1), nomem, get_ia32_ls_mode(n));
 
                                /* copy all attributes */
                                set_ia32_frame_ent(vfld, get_ia32_frame_ent(n));
@@ -1267,8 +1214,8 @@ static int sim_store(x87_state *state, ir_node *n, ir_op *op, ir_op *op_p)
                                set_ia32_am_sc(vfld, get_ia32_am_sc(n));
                                set_ia32_ls_mode(vfld, get_ia32_ls_mode(n));
 
-                               rproj = new_r_Proj(block, vfld, get_ia32_ls_mode(vfld), pn_ia32_vfld_res);
-                               mproj = new_r_Proj(block, vfld, mode_M, pn_ia32_vfld_M);
+                               rproj = new_r_Proj(vfld, get_ia32_ls_mode(vfld), pn_ia32_vfld_res);
+                               mproj = new_r_Proj(vfld, mode_M, pn_ia32_vfld_M);
                                mem   = get_irn_Proj_for_mode(n, mode_M);
 
                                assert(mem && "Store memory not found");
@@ -1276,8 +1223,7 @@ static int sim_store(x87_state *state, ir_node *n, ir_op *op, ir_op *op_p)
                                arch_set_irn_register(rproj, op2);
 
                                /* reroute all former users of the store memory to the load memory */
-                               irg = get_irn_irg(n);
-                               edges_reroute(mem, mproj, irg);
+                               edges_reroute(mem, mproj);
                                /* set the memory input of the load to the store memory */
                                set_irn_n(vfld, n_ia32_vfld_mem, mem);
 
@@ -1307,7 +1253,7 @@ static int sim_store(x87_state *state, ir_node *n, ir_op *op, ir_op *op_p)
        }
 
        attr = get_ia32_x87_attr(n);
-       attr->x87[1] = op2 = &ia32_st_regs[0];
+       attr->x87[1] = op2 = get_st_reg(0);
        DB((dbg, LEVEL_1, "<<< %s %s ->\n", get_irn_opname(n), arch_register_get_name(op2)));
 
        return insn;
@@ -1320,7 +1266,7 @@ static int sim_##op(x87_state *state, ir_node *n) { \
 }
 
 #define GEN_BINOP(op)   _GEN_BINOP(op, op)
-#define GEN_BINOPR(op) _GEN_BINOP(op, op##r)
+#define GEN_BINOPR(op)  _GEN_BINOP(op, op##r)
 
 #define GEN_LOAD(op)                                              \
 static int sim_##op(x87_state *state, ir_node *n) {               \
@@ -1368,27 +1314,12 @@ static int sim_fisttp(x87_state *state, ir_node *n)
        ir_node               *val = get_irn_n(n, n_ia32_vfst_val);
        const arch_register_t *op2 = x87_get_irn_register(val);
        ia32_x87_attr_t *attr;
-       int op2_reg_idx, op2_idx, depth;
+       int op2_reg_idx, op2_idx;
 
        op2_reg_idx = arch_register_get_index(op2);
-       if (op2_reg_idx == REG_VFP_UKNWN) {
-               /* just take any value from stack */
-               if (state->depth > 0) {
-                       op2_idx = 0;
-                       DEBUG_ONLY(op2 = NULL);
-               } else {
-                       /* produce a new value which we will consume immediately */
-                       x87_create_fldz(state, n, op2_reg_idx);
-                       op2_idx = x87_on_stack(state, op2_reg_idx);
-                       assert(op2_idx >= 0);
-               }
-       } else {
-               op2_idx = x87_on_stack(state, op2_reg_idx);
-               DB((dbg, LEVEL_1, ">>> %+F %s ->\n", n, arch_register_get_name(op2)));
-               assert(op2_idx >= 0);
-       }
-
-       depth = x87_get_depth(state);
+       op2_idx     = x87_on_stack(state, op2_reg_idx);
+       DB((dbg, LEVEL_1, ">>> %+F %s ->\n", n, arch_register_get_name(op2)));
+       assert(op2_idx >= 0);
 
        /* Note: although the value is still live here, it is destroyed because
           of the pop. The register allocator is aware of that and introduced a copy
@@ -1402,7 +1333,7 @@ static int sim_fisttp(x87_state *state, ir_node *n)
        x87_patch_insn(n, op_ia32_fisttp);
 
        attr = get_ia32_x87_attr(n);
-       attr->x87[1] = op2 = &ia32_st_regs[0];
+       attr->x87[1] = op2 = get_st_reg(0);
        DB((dbg, LEVEL_1, "<<< %s %s ->\n", get_irn_opname(n), arch_register_get_name(op2)));
 
        return NO_NODE_ADDED;
@@ -1440,7 +1371,7 @@ static int sim_FtstFnstsw(x87_state *state, ir_node *n)
 
        /* patch the operation */
        x87_patch_insn(n, op_ia32_FtstFnstsw);
-       reg1 = &ia32_st_regs[op1_idx];
+       reg1 = get_st_reg(op1_idx);
        attr->x87[0] = reg1;
        attr->x87[1] = NULL;
        attr->x87[2] = NULL;
@@ -1487,7 +1418,7 @@ static int sim_Fucom(x87_state *state, ir_node *n)
        assert(op1_idx >= 0);
 
        /* BEWARE: check for comp a,a cases, they might happen */
-       if (reg_index_2 != REG_VFP_NOREG) {
+       if (reg_index_2 != REG_VFP_VFP_NOREG) {
                /* second operand is a vfp register */
                op2_idx = x87_on_stack(state, reg_index_2);
                assert(op2_idx >= 0);
@@ -1670,10 +1601,10 @@ static int sim_Fucom(x87_state *state, ir_node *n)
                op2_idx = tmp;
        }
 
-       op1 = &ia32_st_regs[op1_idx];
+       op1 = get_st_reg(op1_idx);
        attr->x87[0] = op1;
        if (op2_idx >= 0) {
-               op2 = &ia32_st_regs[op2_idx];
+               op2 = get_st_reg(op2_idx);
                attr->x87[1] = op2;
        }
        attr->x87[2] = NULL;
@@ -1766,7 +1697,6 @@ static ir_node *create_Copy(x87_state *state, ir_node *n)
 
        /* Do not copy constants, recreate them. */
        switch (get_ia32_irn_opcode(pred)) {
-       case iro_ia32_Unknown_VFP:
        case iro_ia32_fldz:
                cnstr = new_bd_ia32_fldz;
                break;
@@ -1802,7 +1732,7 @@ static ir_node *create_Copy(x87_state *state, ir_node *n)
                x87_push(state, arch_register_get_index(out), res);
 
                attr = get_ia32_x87_attr(res);
-               attr->x87[2] = &ia32_st_regs[0];
+               attr->x87[2] = get_st_reg(0);
        } else {
                int op1_idx = x87_on_stack(state, arch_register_get_index(op1));
 
@@ -1811,8 +1741,8 @@ static ir_node *create_Copy(x87_state *state, ir_node *n)
                x87_push(state, arch_register_get_index(out), res);
 
                attr = get_ia32_x87_attr(res);
-               attr->x87[0] = &ia32_st_regs[op1_idx];
-               attr->x87[2] = &ia32_st_regs[0];
+               attr->x87[0] = get_st_reg(op1_idx);
+               attr->x87[2] = get_st_reg(0);
        }
        arch_set_irn_register(res, out);
 
@@ -1834,12 +1764,11 @@ static int sim_Copy(x87_state *state, ir_node *n)
        const arch_register_t       *op1;
        const arch_register_class_t *cls;
        ir_node                     *node, *next;
-       ia32_x87_attr_t             *attr;
        int                         op1_idx, out_idx;
        unsigned                    live;
 
-       cls = arch_get_irn_reg_class_out(n);
-       if (cls->regs != ia32_vfp_regs)
+       cls = arch_get_irn_reg_class(n);
+       if (cls != &ia32_reg_classes[CLASS_ia32_vfp])
                return 0;
 
        pred = get_irn_n(n, 0);
@@ -1851,28 +1780,9 @@ static int sim_Copy(x87_state *state, ir_node *n)
                arch_register_get_name(op1), arch_register_get_name(out)));
        DEBUG_ONLY(vfp_dump_live(live));
 
-       /* handle the infamous unknown value */
-       if (arch_register_get_index(op1) == REG_VFP_UKNWN) {
-               /* Operand is still live, a real copy. We need here an fpush that can
-                  hold a a register, so use the fpushCopy or recreate constants */
-               node = create_Copy(state, n);
-
-               assert(is_ia32_fldz(node));
-               next = sched_next(n);
-               sched_remove(n);
-               exchange(n, node);
-               sched_add_before(next, node);
-
-               DB((dbg, LEVEL_1, "<<< %+F %s -> %s\n", node, op1->name,
-                   arch_get_irn_register(node)->name));
-               return NO_NODE_ADDED;
-       }
-
        op1_idx = x87_on_stack(state, arch_register_get_index(op1));
 
        if (is_vfp_live(arch_register_get_index(op1), live)) {
-               ir_node *pred = get_irn_n(n, 0);
-
                /* Operand is still live, a real copy. We need here an fpush that can
                   hold a a register, so use the fpushCopy or recreate constants */
                node = create_Copy(state, n);
@@ -1898,18 +1808,21 @@ static int sim_Copy(x87_state *state, ir_node *n)
 
                if (out_idx >= 0 && out_idx != op1_idx) {
                        /* Matze: out already on stack? how can this happen? */
-                       assert(0);
+                       panic("invalid stack state in x87 simulator");
 
+#if 0
                        /* op1 must be killed and placed where out is */
                        if (out_idx == 0) {
+                               ia32_x87_attr_t *attr;
                                /* best case, simple remove and rename */
                                x87_patch_insn(n, op_ia32_Pop);
                                attr = get_ia32_x87_attr(n);
-                               attr->x87[0] = op1 = &ia32_st_regs[0];
+                               attr->x87[0] = op1 = get_st_reg(0);
 
                                x87_pop(state);
                                x87_set_st(state, arch_register_get_index(out), n, op1_idx - 1);
                        } else {
+                               ia32_x87_attr_t *attr;
                                /* move op1 to tos, store and pop it */
                                if (op1_idx != 0) {
                                        x87_create_fxch(state, n, op1_idx);
@@ -1917,12 +1830,13 @@ static int sim_Copy(x87_state *state, ir_node *n)
                                }
                                x87_patch_insn(n, op_ia32_Pop);
                                attr = get_ia32_x87_attr(n);
-                               attr->x87[0] = op1 = &ia32_st_regs[out_idx];
+                               attr->x87[0] = op1 = get_st_reg(out_idx);
 
                                x87_pop(state);
                                x87_set_st(state, arch_register_get_index(out), n, out_idx - 1);
                        }
                        DB((dbg, LEVEL_1, "<<< %+F %s\n", n, op1->name));
+#endif
                } else {
                        /* just a virtual copy */
                        x87_set_st(state, arch_register_get_index(out), get_unop_op(n), op1_idx);
@@ -2007,34 +1921,6 @@ end_call:
        return NO_NODE_ADDED;
 }  /* sim_Call */
 
-/**
- * Simulate a be_Spill.
- *
- * @param state  the x87 state
- * @param n      the node that should be simulated (and patched)
- *
- * Should not happen, spills are lowered before x87 simulator see them.
- */
-static int sim_Spill(x87_state *state, ir_node *n)
-{
-       panic("Spill not lowered before x87 simulator run");
-       return sim_fst(state, n);
-}  /* sim_Spill */
-
-/**
- * Simulate a be_Reload.
- *
- * @param state  the x87 state
- * @param n      the node that should be simulated (and patched)
- *
- * Should not happen, reloads are lowered before x87 simulator see them.
- */
-static int sim_Reload(x87_state *state, ir_node *n)
-{
-       panic("Reload not lowered before x87 simulator run");
-       return sim_fld(state, n);
-}  /* sim_Reload */
-
 /**
  * Simulate a be_Return.
  *
@@ -2050,7 +1936,7 @@ static int sim_Return(x87_state *state, ir_node *n)
 
        /* only floating point return values must reside on stack */
        for (i = 0; i < n_res; ++i) {
-               ir_node *res = get_irn_n(n, be_pos_Return_val + i);
+               ir_node *res = get_irn_n(n, n_be_Return_val + i);
 
                if (mode_is_float(get_irn_mode(res)))
                        ++n_float_res;
@@ -2064,7 +1950,7 @@ static int sim_Return(x87_state *state, ir_node *n)
        return NO_NODE_ADDED;
 }  /* sim_Return */
 
-typedef struct _perm_data_t {
+typedef struct perm_data_t {
        const arch_register_t *in;
        const arch_register_t *out;
 } perm_data_t;
@@ -2120,50 +2006,6 @@ static int sim_Perm(x87_state *state, ir_node *irn)
        return NO_NODE_ADDED;
 }  /* sim_Perm */
 
-/**
- * Simulate the Barrier to generate Unknowns.
- * We must push something on the stack for its value.
- *
- * @param state  the x87 state
- * @param irn    the node that should be simulated (and patched)
- *
- * @return NO_NODE_ADDED
- */
-static int sim_Barrier(x87_state *state, ir_node *node)
-{
-       int i, arity;
-
-       /* materialize unknown if needed */
-       arity = get_irn_arity(node);
-       for (i = 0; i < arity; ++i) {
-               const arch_register_t       *reg;
-               ir_node                     *zero;
-               ir_node                     *block;
-               ia32_x87_attr_t             *attr;
-               ir_node                     *in    = get_irn_n(node, i);
-
-               if (!is_ia32_Unknown_VFP(in))
-                       continue;
-
-               /* TODO: not completely correct... */
-               reg = &ia32_vfp_regs[REG_VFP_UKNWN];
-
-               /* create a zero */
-               block = get_nodes_block(node);
-               zero  = new_bd_ia32_fldz(NULL, block, ia32_reg_classes[CLASS_ia32_st].mode);
-               x87_push(state, arch_register_get_index(reg), zero);
-
-               attr = get_ia32_x87_attr(zero);
-               attr->x87[2] = &ia32_st_regs[0];
-
-               sched_add_before(node, zero);
-
-               set_irn_n(node, i, zero);
-       }
-
-       return NO_NODE_ADDED;
-}  /* sim_Barrier */
-
 /**
  * Kill any dead registers at block start by popping them from the stack.
  *
@@ -2251,45 +2093,6 @@ static x87_state *x87_kill_deads(x87_simulator *sim, ir_node *block, x87_state *
        return state;
 }  /* x87_kill_deads */
 
-/**
- * If we have PhiEs with unknown operands in a block
- * we have to make sure that some value is actually put onto the stack.
- *
- * @param state       the x87 state
- * @param block       the block that should be checked
- * @param pred_block  check inputs from this predecessor block
- * @param pos         index of pred_block
- */
-static void fix_unknown_phis(x87_state *state, ir_node *block,
-                             ir_node *pred_block, int pos)
-{
-       ir_node *phi, *op;
-
-       sched_foreach_Phi(block, phi) {
-               ir_node               *zero;
-               const arch_register_t *reg;
-               ia32_x87_attr_t       *attr;
-
-               op = get_Phi_pred(phi, pos);
-               if (!is_ia32_Unknown_VFP(op))
-                       continue;
-
-               reg = arch_get_irn_register(phi);
-
-               /* create a zero at end of pred block */
-               zero = new_bd_ia32_fldz(NULL, pred_block, ia32_reg_classes[CLASS_ia32_st].mode);
-               x87_push(state, arch_register_get_index(reg), zero);
-
-               attr = get_ia32_x87_attr(zero);
-               attr->x87[2] = &ia32_st_regs[0];
-
-               assert(is_ia32_fldz(zero));
-               sched_add_before(sched_last(pred_block), zero);
-
-               set_Phi_pred(phi, pos, zero);
-       }
-}  /* fix_unknown_phis */
-
 /**
  * Run a simulation and fix all virtual instructions for a block.
  *
@@ -2360,8 +2163,6 @@ static void x87_simulate_block(x87_simulator *sim, ir_node *block)
 
                succ_state = x87_get_bl_state(sim, succ);
 
-               fix_unknown_phis(state, succ, block, get_edge_src_pos(edge));
-
                if (succ_state->begin == NULL) {
                        DB((dbg, LEVEL_2, "Set begin state for succ %+F:\n", succ));
                        DEBUG_ONLY(x87_dump_stack(state));
@@ -2405,7 +2206,7 @@ static void x87_init_simulator(x87_simulator *sim, ir_graph *irg)
        obstack_init(&sim->obst);
        sim->blk_states = pmap_create();
        sim->n_idx      = get_irg_last_idx(irg);
-       sim->live       = obstack_alloc(&sim->obst, sizeof(*sim->live) * sim->n_idx);
+       sim->live       = OALLOCN(&sim->obst, vfp_liveness, sim->n_idx);
 
        DB((dbg, LEVEL_1, "--------------------------------\n"
                "x87 Simulator started for %+F\n", irg));
@@ -2432,12 +2233,9 @@ static void x87_init_simulator(x87_simulator *sim, ir_graph *irg)
        register_sim(op_ia32_vFucomFnstsw, sim_Fucom);
        register_sim(op_ia32_vFucomi,      sim_Fucom);
        register_sim(op_be_Copy,           sim_Copy);
-       register_sim(op_be_Spill,          sim_Spill);
-       register_sim(op_be_Reload,         sim_Reload);
        register_sim(op_be_Return,         sim_Return);
        register_sim(op_be_Perm,           sim_Perm);
        register_sim(op_be_Keep,           sim_Keep);
-       register_sim(op_be_Barrier,        sim_Barrier);
 }  /* x87_init_simulator */
 
 /**
@@ -2458,7 +2256,7 @@ static void x87_destroy_simulator(x87_simulator *sim)
  */
 static void update_liveness_walker(ir_node *block, void *data)
 {
-       x87_simulator *sim = data;
+       x87_simulator *sim = (x87_simulator*)data;
        update_liveness(sim, block);
 }  /* update_liveness_walker */
 
@@ -2467,14 +2265,13 @@ static void update_liveness_walker(ir_node *block, void *data)
  * Replaces all virtual floating point instructions and registers
  * by real ones.
  */
-void x87_simulate_graph(be_irg_t *birg)
+void ia32_x87_simulate_graph(ir_graph *irg)
 {
        /* TODO improve code quality (less executed fxch) by using execfreqs */
 
        ir_node       *block, *start_block;
        blk_state     *bl_state;
        x87_simulator sim;
-       ir_graph      *irg = be_get_birg_irg(birg);
 
        /* create the simulator */
        x87_init_simulator(&sim, irg);
@@ -2489,8 +2286,8 @@ void x87_simulate_graph(be_irg_t *birg)
        sim.worklist = new_waitq();
        waitq_put(sim.worklist, start_block);
 
-       be_assure_liveness(birg);
-       sim.lv = be_get_birg_liveness(birg);
+       be_assure_liveness(irg);
+       sim.lv = be_get_irg_liveness(irg);
        be_liveness_assure_sets(sim.lv);
 
        /* Calculate the liveness for all nodes. We must precalculate this info,
@@ -2503,14 +2300,14 @@ void x87_simulate_graph(be_irg_t *birg)
 
        /* iterate */
        do {
-               block = waitq_get(sim.worklist);
+               block = (ir_node*)waitq_get(sim.worklist);
                x87_simulate_block(&sim, block);
        } while (! waitq_empty(sim.worklist));
 
        /* kill it */
        del_waitq(sim.worklist);
        x87_destroy_simulator(&sim);
-}  /* x87_simulate_graph */
+}  /* ia32_x87_simulate_graph */
 
 /* Initializes the x87 simulator. */
 void ia32_init_x87(void)