implemented basic int<->fp conversion
[libfirm] / ir / be / ia32 / ia32_transform.c
index 9c22a5b..1fa0a59 100644 (file)
@@ -9,6 +9,8 @@
 #include "config.h"
 #endif
 
+#include <limits.h>
+
 #include "irargs_t.h"
 #include "irnode_t.h"
 #include "irgraph_t.h"
@@ -146,10 +148,10 @@ static ident *gen_fp_known_const(ir_mode *mode, ia32_known_const_t kct) {
 /**
  * Prints the old node name on cg obst and returns a pointer to it.
  */
-const char *ia32_get_old_node_name(ia32_transform_env_t *env) {
-       ia32_isa_t *isa = (ia32_isa_t *)env->cg->arch_env->isa;
+const char *ia32_get_old_node_name(ia32_code_gen_t *cg, ir_node *irn) {
+       ia32_isa_t *isa = (ia32_isa_t *)cg->arch_env->isa;
 
-       lc_eoprintf(firm_get_arg_env(), isa->name_obst, "%+F", env->irn);
+       lc_eoprintf(firm_get_arg_env(), isa->name_obst, "%+F", irn);
        obstack_1grow(isa->name_obst, 0);
        isa->name_obst_size += obstack_object_size(isa->name_obst);
        return obstack_finish(isa->name_obst);
@@ -184,11 +186,11 @@ static ir_node *gen_binop(ia32_transform_env_t *env, ir_node *op1, ir_node *op2,
        dbg_info          *dbg      = env->dbg;
        ir_graph          *irg      = env->irg;
        ir_node           *block    = env->block;
-       firm_dbg_module_t *mod      = env->mod;
        ir_node           *noreg_gp = ia32_new_NoReg_gp(env->cg);
        ir_node           *noreg_fp = ia32_new_NoReg_fp(env->cg);
        ir_node           *nomem    = new_NoMem();
        ir_node           *expr_op, *imm_op;
+       DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
        /* Check if immediate optimization is on and */
        /* if it's an operation with immediate.      */
@@ -247,7 +249,7 @@ static ir_node *gen_binop(ia32_transform_env_t *env, ir_node *op1, ir_node *op2,
                }
        }
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        set_ia32_res_mode(new_op, mode);
 
@@ -275,11 +277,11 @@ static ir_node *gen_shift_binop(ia32_transform_env_t *env, ir_node *op1, ir_node
        dbg_info          *dbg    = env->dbg;
        ir_graph          *irg    = env->irg;
        ir_node           *block  = env->block;
-       firm_dbg_module_t *mod    = env->mod;
        ir_node           *noreg  = ia32_new_NoReg_gp(env->cg);
        ir_node           *nomem  = new_NoMem();
        ir_node           *expr_op, *imm_op;
        tarval            *tv;
+       DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
        assert(! mode_is_float(mode) && "Shift/Rotate with float not supported");
 
@@ -324,7 +326,7 @@ static ir_node *gen_shift_binop(ia32_transform_env_t *env, ir_node *op1, ir_node
        /* set AM support */
        set_ia32_am_support(new_op, ia32_am_Dest);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        set_ia32_res_mode(new_op, mode);
        set_ia32_emit_cl(new_op);
@@ -345,11 +347,11 @@ static ir_node *gen_unop(ia32_transform_env_t *env, ir_node *op, construct_unop_
        ir_node           *new_op = NULL;
        ir_mode           *mode   = env->mode;
        dbg_info          *dbg    = env->dbg;
-       firm_dbg_module_t *mod    = env->mod;
        ir_graph          *irg    = env->irg;
        ir_node           *block  = env->block;
        ir_node           *noreg  = ia32_new_NoReg_gp(env->cg);
        ir_node           *nomem  = new_NoMem();
+       DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
        new_op = func(dbg, irg, block, noreg, noreg, op, nomem, mode_T);
 
@@ -363,7 +365,7 @@ static ir_node *gen_unop(ia32_transform_env_t *env, ir_node *op, construct_unop_
                set_ia32_am_support(new_op, ia32_am_Dest);
        }
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        set_ia32_res_mode(new_op, mode);
 
@@ -383,7 +385,6 @@ static ir_node *gen_unop(ia32_transform_env_t *env, ir_node *op, construct_unop_
 static ir_node *gen_imm_Add(ia32_transform_env_t *env, ir_node *expr_op, ir_node *const_op) {
        ir_node                *new_op     = NULL;
        tarval                 *tv         = get_ia32_Immop_tarval(const_op);
-       firm_dbg_module_t      *mod        = env->mod;
        dbg_info               *dbg        = env->dbg;
        ir_graph               *irg        = env->irg;
        ir_node                *block      = env->block;
@@ -391,6 +392,7 @@ static ir_node *gen_imm_Add(ia32_transform_env_t *env, ir_node *expr_op, ir_node
        ir_node                *nomem      = new_NoMem();
        int                     normal_add = 1;
        tarval_classification_t class_tv, class_negtv;
+       DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
        /* try to optimize to inc/dec  */
        if (env->cg->opt.incdec && tv) {
@@ -446,11 +448,11 @@ static ir_node *gen_Add(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
        assert((expr_op || imm_op) && "invalid operands");
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
                        return gen_binop(env, op1, op2, new_rd_ia32_fAdd);
-               else {
+               else
                        return gen_binop(env, op1, op2, new_rd_ia32_vfadd);
-               }
        }
        else {
                /* integer ADD */
@@ -507,7 +509,7 @@ static ir_node *gen_Add(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
                }
        }
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        set_ia32_res_mode(new_op, mode);
 
@@ -530,6 +532,7 @@ static ir_node *gen_Mul(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
        ir_node *new_op;
 
        if (mode_is_float(env->mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
                        new_op = gen_binop(env, op1, op2, new_rd_ia32_fMul);
                else
@@ -642,12 +645,17 @@ static ir_node *gen_Max(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
        ir_node *new_op;
 
        if (mode_is_float(env->mode)) {
-               new_op = gen_binop(env, op1, op2, new_rd_ia32_fMax);
+               FP_USED(env->cg);
+               if (USE_SSE2(env->cg))
+                       new_op = gen_binop(env, op1, op2, new_rd_ia32_fMax);
+               else {
+                       assert(0);
+               }
        }
        else {
                new_op = new_rd_ia32_Max(env->dbg, env->irg, env->block, op1, op2, env->mode);
                set_ia32_am_support(new_op, ia32_am_None);
-               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
        }
 
        return new_op;
@@ -667,12 +675,17 @@ static ir_node *gen_Min(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
        ir_node *new_op;
 
        if (mode_is_float(env->mode)) {
-               new_op = gen_binop(env, op1, op2, new_rd_ia32_fMin);
+               FP_USED(env->cg);
+               if (USE_SSE2(env->cg))
+                       new_op = gen_binop(env, op1, op2, new_rd_ia32_fMin);
+               else {
+                       assert(0);
+               }
        }
        else {
                new_op = new_rd_ia32_Min(env->dbg, env->irg, env->block, op1, op2, env->mode);
                set_ia32_am_support(new_op, ia32_am_None);
-               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
        }
 
        return new_op;
@@ -691,7 +704,6 @@ static ir_node *gen_Min(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
 static ir_node *gen_imm_Sub(ia32_transform_env_t *env, ir_node *expr_op, ir_node *const_op) {
        ir_node                *new_op     = NULL;
        tarval                 *tv         = get_ia32_Immop_tarval(const_op);
-       firm_dbg_module_t      *mod        = env->mod;
        dbg_info               *dbg        = env->dbg;
        ir_graph               *irg        = env->irg;
        ir_node                *block      = env->block;
@@ -699,6 +711,7 @@ static ir_node *gen_imm_Sub(ia32_transform_env_t *env, ir_node *expr_op, ir_node
        ir_node                *nomem      = new_NoMem();
        int                     normal_sub = 1;
        tarval_classification_t class_tv, class_negtv;
+       DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
        /* try to optimize to inc/dec  */
        if (env->cg->opt.incdec && tv) {
@@ -752,6 +765,7 @@ static ir_node *gen_Sub(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
        assert((expr_op || imm_op) && "invalid operands");
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
                        return gen_binop(env, op1, op2, new_rd_ia32_fSub);
                else
@@ -814,7 +828,7 @@ static ir_node *gen_Sub(ia32_transform_env_t *env, ir_node *op1, ir_node *op2) {
                }
        }
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        set_ia32_res_mode(new_op, mode);
 
@@ -895,7 +909,7 @@ static ir_node *generate_DivMod(ia32_transform_env_t *env, ir_node *dividend, ir
                be_new_Keep(&ia32_reg_classes[CLASS_ia32_gp], irg, block, 1, in_keep);
        }
 
-       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
 
        set_ia32_res_mode(res, mode_Is);
 
@@ -943,8 +957,8 @@ static ir_node *gen_Quot(ia32_transform_env_t *env, ir_node *op1, ir_node *op2)
        ir_node *new_op;
        ir_node *nomem = new_rd_NoMem(env->irg);
 
+       FP_USED(env->cg);
        if (USE_SSE2(env->cg)) {
-
                if (is_ia32_fConst(op2)) {
                        new_op = new_rd_ia32_fDiv(env->dbg, env->irg, env->block, noreg, noreg, op1, noreg, nomem, mode_T);
                        set_ia32_am_support(new_op, ia32_am_None);
@@ -956,11 +970,11 @@ static ir_node *gen_Quot(ia32_transform_env_t *env, ir_node *op1, ir_node *op2)
                }
        }
        else {
-                       new_op = new_rd_ia32_vfdiv(env->dbg, env->irg, env->block, noreg, noreg, op1, op2, nomem, mode_T);
-                       set_ia32_am_support(new_op, ia32_am_Source);
+               new_op = new_rd_ia32_vfdiv(env->dbg, env->irg, env->block, noreg, noreg, op1, op2, nomem, mode_T);
+               set_ia32_am_support(new_op, ia32_am_Source);
        }
        set_ia32_res_mode(new_op, get_irn_mode(get_proj_for_pn(env->irn, pn_Quot_res)));
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_op;
 }
@@ -1102,6 +1116,7 @@ static ir_node *gen_Minus(ia32_transform_env_t *env, ir_node *op) {
        int      size;
 
        if (mode_is_float(env->mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg)) {
                        new_op = new_rd_ia32_fEor(env->dbg, env->irg, env->block, noreg_gp, noreg_gp, op, noreg_fp, nomem, mode_T);
 
@@ -1110,7 +1125,7 @@ static ir_node *gen_Minus(ia32_transform_env_t *env, ir_node *op) {
 
                        set_ia32_sc(new_op, name);
 
-                       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+                       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
                        set_ia32_res_mode(new_op, env->mode);
                        set_ia32_immop_type(new_op, ia32_ImmSymConst);
@@ -1119,7 +1134,7 @@ static ir_node *gen_Minus(ia32_transform_env_t *env, ir_node *op) {
                }
                else {
                        new_op = new_rd_ia32_vfchs(env->dbg, env->irg, env->block, op, env->mode);
-                       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+                       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
                }
        }
        else {
@@ -1165,6 +1180,7 @@ static ir_node *gen_Abs(ia32_transform_env_t *env, ir_node *op) {
        ident    *name;
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg)) {
                        res = new_rd_ia32_fAnd(dbg,irg, block, noreg_gp, noreg_gp, op, noreg_fp, nomem, mode_T);
 
@@ -1173,7 +1189,7 @@ static ir_node *gen_Abs(ia32_transform_env_t *env, ir_node *op) {
 
                        set_ia32_sc(res, name);
 
-                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
 
                        set_ia32_res_mode(res, mode);
                        set_ia32_immop_type(res, ia32_ImmSymConst);
@@ -1182,25 +1198,25 @@ static ir_node *gen_Abs(ia32_transform_env_t *env, ir_node *op) {
                }
                else {
                        res = new_rd_ia32_vfabs(dbg, irg, block, op, mode);
-                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
                }
        }
        else {
                res   = new_rd_ia32_Cdq(dbg, irg, block, op, mode_T);
-               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
                set_ia32_res_mode(res, mode);
 
                p_eax = new_rd_Proj(dbg, irg, block, res, mode, pn_EAX);
                p_edx = new_rd_Proj(dbg, irg, block, res, mode, pn_EDX);
 
                res   = new_rd_ia32_Eor(dbg, irg, block, noreg_gp, noreg_gp, p_eax, p_edx, nomem, mode_T);
-               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
                set_ia32_res_mode(res, mode);
 
                res   = new_rd_Proj(dbg, irg, block, res, mode, 0);
 
                res   = new_rd_ia32_Sub(dbg, irg, block, noreg_gp, noreg_gp, res, p_edx, nomem, mode_T);
-               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
                set_ia32_res_mode(res, mode);
 
                res   = new_rd_Proj(dbg, irg, block, res, mode, 0);
@@ -1224,30 +1240,38 @@ static ir_node *gen_Load(ia32_transform_env_t *env) {
        ir_node    *node  = env->irn;
        ir_node    *noreg = ia32_new_NoReg_gp(env->cg);
        ir_node    *ptr   = get_Load_ptr(node);
+       ir_node    *lptr  = ptr;
        ir_mode    *mode  = get_Load_mode(node);
-       const char *offs  = NULL;
+       int        is_imm = 0;
        ir_node *new_op;
        ia32_am_flavour_t am_flav = ia32_B;
 
        /* address might be a constant (symconst or absolute address) */
        if (is_ia32_Const(ptr)) {
-               offs = get_ia32_cnst(ptr);
-               ptr  = noreg;
+               lptr   = noreg;
+               is_imm = 1;
        }
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
-                       new_op = new_rd_ia32_fLoad(env->dbg, env->irg, env->block, ptr, noreg, get_Load_mem(node), env->mode);
+                       new_op = new_rd_ia32_fLoad(env->dbg, env->irg, env->block, lptr, noreg, get_Load_mem(node), env->mode);
                else
-                       new_op = new_rd_ia32_vfld(env->dbg, env->irg, env->block, ptr, noreg, get_Load_mem(node), env->mode);
+                       new_op = new_rd_ia32_vfld(env->dbg, env->irg, env->block, lptr, noreg, get_Load_mem(node), env->mode);
        }
        else {
-               new_op = new_rd_ia32_Load(env->dbg, env->irg, env->block, ptr, noreg, get_Load_mem(node), env->mode);
+               new_op = new_rd_ia32_Load(env->dbg, env->irg, env->block, lptr, noreg, get_Load_mem(node), env->mode);
        }
 
        /* base is an constant address */
-       if (offs) {
-               add_ia32_am_offs(new_op, offs);
+       if (is_imm) {
+               if (get_ia32_immop_type(ptr) == ia32_ImmSymConst) {
+                       set_ia32_am_sc(new_op, get_ia32_id_cnst(ptr));
+               }
+               else {
+                       add_ia32_am_offs(new_op, get_ia32_cnst(ptr));
+               }
+
                am_flav = ia32_O;
        }
 
@@ -1256,7 +1280,7 @@ static ir_node *gen_Load(ia32_transform_env_t *env) {
        set_ia32_am_flavour(new_op, am_flav);
        set_ia32_ls_mode(new_op, mode);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_op;
 }
@@ -1277,56 +1301,66 @@ static ir_node *gen_Store(ia32_transform_env_t *env) {
        ir_node *noreg   = ia32_new_NoReg_gp(env->cg);
        ir_node *val     = get_Store_value(node);
        ir_node *ptr     = get_Store_ptr(node);
+       ir_node *sptr    = ptr;
        ir_node *mem     = get_Store_mem(node);
        ir_mode *mode    = get_irn_mode(val);
        ir_node *sval    = val;
-       const char *offs = NULL;
+       int      is_imm  = 0;
        ir_node *new_op;
        ia32_am_flavour_t am_flav = ia32_B;
-  ia32_immop_type_t immop   = ia32_ImmNone;
-
-       /* in case of storing a const (but not a symconst) -> make it an attribute */
-       if (is_ia32_Cnst(val)) {
-               switch (get_ia32_op_type(val)) {
-               case ia32_Const:
-                       immop = ia32_ImmConst;
-                       break;
-               case ia32_SymConst:
-                       immop = ia32_ImmSymConst;
-                       break;
-               default:
-                       assert(0 && "unsupported Const type");
+       ia32_immop_type_t immop   = ia32_ImmNone;
+
+       if (! mode_is_float(mode)) {
+               /* in case of storing a const (but not a symconst) -> make it an attribute */
+               if (is_ia32_Cnst(val)) {
+                       switch (get_ia32_op_type(val)) {
+                       case ia32_Const:
+                               immop = ia32_ImmConst;
+                               break;
+                       case ia32_SymConst:
+                               immop = ia32_ImmSymConst;
+                               break;
+                       default:
+                               assert(0 && "unsupported Const type");
+                       }
+                       sval = noreg;
                }
-               sval = noreg;
        }
 
        /* address might be a constant (symconst or absolute address) */
        if (is_ia32_Const(ptr)) {
-               offs = get_ia32_cnst(ptr);
-               ptr  = noreg;
+               sptr   = noreg;
+               is_imm = 0;
        }
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
-                       new_op = new_rd_ia32_fStore(env->dbg, env->irg, env->block, ptr, noreg, sval, mem, mode_T);
+                       new_op = new_rd_ia32_fStore(env->dbg, env->irg, env->block, sptr, noreg, sval, mem, mode_T);
                else
-                       new_op = new_rd_ia32_vfst(env->dbg, env->irg, env->block, ptr, noreg, sval, mem, mode_T);
+                       new_op = new_rd_ia32_vfst(env->dbg, env->irg, env->block, sptr, noreg, sval, mem, mode_T);
        }
        else if (get_mode_size_bits(mode) == 8) {
-               new_op = new_rd_ia32_Store8Bit(env->dbg, env->irg, env->block, ptr, noreg, sval, mem, mode_T);
+               new_op = new_rd_ia32_Store8Bit(env->dbg, env->irg, env->block, sptr, noreg, sval, mem, mode_T);
        }
        else {
                new_op = new_rd_ia32_Store(env->dbg, env->irg, env->block, ptr, noreg, sval, mem, mode_T);
        }
 
        /* stored const is an attribute (saves a register) */
-       if (is_ia32_Cnst(val)) {
+       if (! mode_is_float(mode) && is_ia32_Cnst(val)) {
                set_ia32_Immop_attr(new_op, val);
        }
 
        /* base is an constant address */
-       if (offs) {
-               add_ia32_am_offs(new_op, offs);
+       if (is_imm) {
+               if (get_ia32_immop_type(ptr) == ia32_ImmSymConst) {
+                       set_ia32_am_sc(new_op, get_ia32_id_cnst(ptr));
+               }
+               else {
+                       add_ia32_am_offs(new_op, get_ia32_cnst(ptr));
+               }
+
                am_flav = ia32_O;
        }
 
@@ -1336,7 +1370,7 @@ static ir_node *gen_Store(ia32_transform_env_t *env) {
        set_ia32_ls_mode(new_op, get_irn_mode(val));
        set_ia32_immop_type(new_op, immop);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_op;
 }
@@ -1400,13 +1434,18 @@ static ir_node *gen_Cond(ia32_transform_env_t *env) {
                                                copy_ia32_Immop_attr(res, and);
                                        }
 
-                                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+                                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
                                        return res;
                                }
                        }
 
                        if (mode_is_float(get_irn_mode(expr))) {
-                               res = new_rd_ia32_fCondJmp(dbg, irg, block, noreg, noreg, expr, noreg, nomem, mode_T);
+                               FP_USED(env->cg);
+                               if (USE_SSE2(env->cg))
+                                       res = new_rd_ia32_fCondJmp(dbg, irg, block, noreg, noreg, expr, noreg, nomem, mode_T);
+                               else {
+                                       assert(0);
+                               }
                        }
                        else {
                                res = new_rd_ia32_CondJmp(dbg, irg, block, noreg, noreg, expr, noreg, nomem, mode_T);
@@ -1416,7 +1455,12 @@ static ir_node *gen_Cond(ia32_transform_env_t *env) {
                }
                else {
                        if (mode_is_float(get_irn_mode(cmp_a))) {
-                               res = new_rd_ia32_fCondJmp(dbg, irg, block, noreg, noreg, cmp_a, cmp_b, nomem, mode_T);
+                               FP_USED(env->cg);
+                               if (USE_SSE2(env->cg))
+                                       res = new_rd_ia32_fCondJmp(dbg, irg, block, noreg, noreg, cmp_a, cmp_b, nomem, mode_T);
+                               else {
+                                       assert(0);
+                               }
                        }
                        else {
                                res = new_rd_ia32_CondJmp(dbg, irg, block, noreg, noreg, cmp_a, cmp_b, nomem, mode_T);
@@ -1428,12 +1472,33 @@ static ir_node *gen_Cond(ia32_transform_env_t *env) {
                set_ia32_am_support(res, ia32_am_Source);
        }
        else {
-               res = new_rd_ia32_SwitchJmp(dbg, irg, block, sel, mode_T);
+               /* determine the smallest switch case value */
+               int switch_min = INT_MAX;
+               const ir_edge_t *edge;
+               char buf[64];
+
+               foreach_out_edge(node, edge) {
+                       int pn = get_Proj_proj(get_edge_src_irn(edge));
+                       switch_min = pn < switch_min ? pn : switch_min;
+               }
+
+               if (switch_min) {
+                       /* if smallest switch case is not 0 we need an additional sub */
+                       snprintf(buf, sizeof(buf), "%d", switch_min);
+                       res = new_rd_ia32_Lea(dbg, irg, block, sel, noreg, mode_Is);
+                       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
+                       sub_ia32_am_offs(res, buf);
+                       set_ia32_am_flavour(res, ia32_am_OB);
+                       set_ia32_am_support(res, ia32_am_Source);
+                       set_ia32_op_type(res, ia32_AddrModeS);
+               }
+
+               res = new_rd_ia32_SwitchJmp(dbg, irg, block, switch_min ? res : sel, mode_T);
                set_ia32_pncode(res, get_Cond_defaultProj(node));
                set_ia32_res_mode(res, get_irn_mode(sel));
        }
 
-       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
        return res;
 }
 
@@ -1477,7 +1542,7 @@ static ir_node *gen_CopyB(ia32_transform_env_t *env) {
                set_ia32_immop_type(res, ia32_ImmConst);
        }
 
-       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(env->cg, env->irn));
 
        return res;
 }
@@ -1495,7 +1560,7 @@ static ir_node *gen_Mux(ia32_transform_env_t *env) {
        ir_node *new_op = new_rd_ia32_CMov(env->dbg, env->irg, env->block, \
                get_Mux_sel(node), get_Mux_false(node), get_Mux_true(node), env->mode);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_op;
 }
@@ -1531,35 +1596,105 @@ static ir_node *gen_Mux(ia32_transform_env_t *env) {
  *  in non-strict semantic
  */
 
-//static ir_node *gen_int_downscale_conv(ia32_transform_env_t *env, ir_node *op,
-//                                                                        ir_mode *src_mode, ir_mode *tgt_mode)
-//{
-//     int       n     = get_mode_size_bits(src_mode);
-//     int       m     = get_mode_size_bits(tgt_mode);
-//     dbg_info *dbg   = env->dbg;
-//     ir_graph *irg   = env->irg;
-//     ir_node  *block = env->block;
-//     ir_node  *noreg = ia32_new_NoReg_gp(env->cg);
-//     ir_node  *nomem = new_rd_NoMem(irg);
-//     ir_node  *new_op, *proj;
-//     assert(n > m && "downscale expected");
-//     if (mode_is_signed(src_mode) && mode_is_signed(tgt_mode)) {
-//             /* ASHL Sn, n - m */
-//             new_op = new_rd_ia32_Shl(dbg, irg, block, noreg, noreg, op, noreg, nomem, mode_T);
-//             proj   = new_rd_Proj(dbg, irg, block, new_op, src_mode, 0);
-//             set_ia32_Immop_tarval(new_op, new_tarval_from_long(n - m, mode_Is));
-//             set_ia32_am_support(new_op, ia32_am_Source);
-//             SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
-//             /* ASHR Sn, n - m */
-//             new_op = new_rd_ia32_Shrs(dbg, irg, block, noreg, noreg, proj, noreg, nomem, mode_T);
-//             set_ia32_Immop_tarval(new_op, new_tarval_from_long(n - m, mode_Is));
-//     }
-//     else {
-//             new_op = new_rd_ia32_And(dbg, irg, block, noreg, noreg, op, noreg, nomem, mode_T);
-//             set_ia32_Immop_tarval(new_op, new_tarval_from_long((1 << m) - 1, mode_Is));
-//     }
-//     return new_op;
-//}
+/**
+ * Create a conversion from x87 state register to general purpose.
+ */
+static ir_node *gen_x87_fp_to_gp(ia32_transform_env_t *env, ir_mode *tgt_mode) {
+       ia32_code_gen_t *cg = env->cg;
+       entity   *ent = cg->fp_to_gp;
+       ir_graph *irg = env->irg;
+       ir_node  *block = env->block;
+       ir_node  *noreg = ia32_new_NoReg_gp(env->cg);
+       ir_node  *op = get_Conv_op(env->irn);
+       ir_node  *fist, *mem, *load;
+
+       if (! ent) {
+               int size = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_vfp].mode);
+               ent = cg->fp_to_gp =
+                       frame_alloc_area(get_irg_frame_type(env->irg), size, 16, 0);
+       }
+
+       /* do a fist */
+       fist = new_rd_ia32_vfist(env->dbg, irg, block, get_irg_frame(irg), noreg, op, get_irg_no_mem(irg), mode_T);
+
+       set_ia32_frame_ent(fist, ent);
+       set_ia32_use_frame(fist);
+       set_ia32_am_support(fist, ia32_am_Dest);
+       set_ia32_op_type(fist, ia32_AddrModeD);
+       set_ia32_am_flavour(fist, ia32_B);
+       set_ia32_ls_mode(fist, mode_E);
+
+       mem  = new_r_Proj(irg, block, fist, mode_M, 0);
+
+       /* do a Load */
+       load = new_rd_ia32_Load(env->dbg, irg, block, get_irg_frame(irg), noreg, mem, mode_T);
+
+       set_ia32_frame_ent(load, ent);
+       set_ia32_use_frame(load);
+       set_ia32_am_support(load, ia32_am_Source);
+       set_ia32_op_type(load, ia32_AddrModeS);
+       set_ia32_am_flavour(load, ia32_B);
+       set_ia32_ls_mode(load, tgt_mode);
+
+       return new_r_Proj(irg, block, load, tgt_mode, 0);
+}
+
+/**
+ * Create a conversion from x87 state register to general purpose.
+ */
+static ir_node *gen_x87_gp_to_fp(ia32_transform_env_t *env, ir_mode *src_mode) {
+       ia32_code_gen_t *cg = env->cg;
+       entity   *ent = cg->gp_to_fp;
+       ir_graph *irg = env->irg;
+       ir_node  *block = env->block;
+       ir_node  *noreg = ia32_new_NoReg_gp(env->cg);
+       ir_node  *nomem = get_irg_no_mem(irg);
+       ir_node  *op = get_Conv_op(env->irn);
+       ir_node  *fild, *store, *mem;
+       int src_bits;
+
+       if (! ent) {
+               int size = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_gp].mode);
+               ent = cg->gp_to_fp =
+                       frame_alloc_area(get_irg_frame_type(env->irg), size, size, 0);
+       }
+
+       /* first convert to 32 bit */
+       src_bits = get_mode_size_bits(src_mode);
+       if (src_bits == 8) {
+               op = new_rd_ia32_Conv_I2I8Bit(env->dbg, irg, block, noreg, noreg, op, nomem, mode_T);
+               op = new_r_Proj(irg, block, op, mode_Is, 0);
+       }
+       else if (src_bits < 32) {
+               op = new_rd_ia32_Conv_I2I(env->dbg, irg, block, noreg, noreg, op, nomem, mode_T);
+               op = new_r_Proj(irg, block, op, mode_Is, 0);
+       }
+
+       /* do a store */
+       store = new_rd_ia32_Store(env->dbg, irg, block, get_irg_frame(irg), noreg, op, nomem, mode_T);
+
+       set_ia32_frame_ent(store, ent);
+       set_ia32_use_frame(store);
+
+       set_ia32_am_support(store, ia32_am_Dest);
+       set_ia32_op_type(store, ia32_AddrModeD);
+       set_ia32_am_flavour(store, ia32_B);
+       set_ia32_ls_mode(store, mode_Is);
+
+       mem = new_r_Proj(irg, block, store, mode_M, 0);
+
+       /* do a fild */
+       fild = new_rd_ia32_vfild(env->dbg, irg, block, get_irg_frame(irg), noreg, mem, mode_T);
+
+       set_ia32_frame_ent(fild, ent);
+       set_ia32_use_frame(fild);
+       set_ia32_am_support(fild, ia32_am_Source);
+       set_ia32_op_type(fild, ia32_AddrModeS);
+       set_ia32_am_flavour(fild, ia32_B);
+       set_ia32_ls_mode(fild, mode_E);
+
+       return new_r_Proj(irg, block, fild, mode_E, 0);
+}
 
 /**
  * Transforms a Conv node.
@@ -1579,8 +1714,8 @@ static ir_node *gen_Conv(ia32_transform_env_t *env, ir_node *op) {
        ir_node           *new_op   = NULL;
        ir_node           *noreg    = ia32_new_NoReg_gp(env->cg);
        ir_node           *nomem    = new_rd_NoMem(irg);
-       firm_dbg_module_t *mod      = env->mod;
        ir_node           *proj;
+       DEBUG_ONLY(firm_dbg_module_t *mod = env->mod;)
 
        if (src_mode == tgt_mode) {
                /* this can happen when changing mode_P to mode_Is */
@@ -1603,14 +1738,19 @@ static ir_node *gen_Conv(ia32_transform_env_t *env, ir_node *op) {
                else {
                        /* ... to int */
                        DB((mod, LEVEL_1, "create Conv(float, int) ..."));
-                       new_op = new_rd_ia32_Conv_FP2I(dbg, irg, block, noreg, noreg, op, nomem, mode_T);
+                       if (USE_SSE2(env->cg))
+                               new_op = new_rd_ia32_Conv_FP2I(dbg, irg, block, noreg, noreg, op, nomem, mode_T);
+                       else
+                               return gen_x87_fp_to_gp(env, tgt_mode);
+
                        /* if target mode is not int: add an additional downscale convert */
                        if (tgt_bits < 32) {
-                               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
-                               set_ia32_res_mode(new_op, tgt_mode);
+                               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
                                set_ia32_am_support(new_op, ia32_am_Source);
+                               set_ia32_tgt_mode(new_op, tgt_mode);
+                               set_ia32_src_mode(new_op, src_mode);
 
-                               proj   = new_rd_Proj(dbg, irg, block, new_op, mode_Is, 0);
+                               proj = new_rd_Proj(dbg, irg, block, new_op, mode_Is, 0);
 
                                if (tgt_bits == 8 || src_bits == 8) {
                                        new_op = new_rd_ia32_Conv_I2I8Bit(dbg, irg, block, noreg, noreg, proj, nomem, mode_T);
@@ -1624,9 +1764,13 @@ static ir_node *gen_Conv(ia32_transform_env_t *env, ir_node *op) {
        else {
                /* we convert from int ... */
                if (mode_is_float(tgt_mode)) {
+                       FP_USED(env->cg);
                        /* ... to float */
                        DB((mod, LEVEL_1, "create Conv(int, float) ..."));
-                       new_op = new_rd_ia32_Conv_I2FP(dbg, irg, block, noreg, noreg, op, nomem, mode_T);
+                       if (USE_SSE2(env->cg))
+                               new_op = new_rd_ia32_Conv_I2FP(dbg, irg, block, noreg, noreg, op, nomem, mode_T);
+                       else
+                               return gen_x87_gp_to_fp(env, src_mode);
                }
                else {
                        /* ... to int */
@@ -1647,8 +1791,9 @@ static ir_node *gen_Conv(ia32_transform_env_t *env, ir_node *op) {
        }
 
        if (new_op) {
-               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
-               set_ia32_res_mode(new_op, tgt_mode);
+               SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
+               set_ia32_tgt_mode(new_op, tgt_mode);
+               set_ia32_src_mode(new_op, src_mode);
 
                set_ia32_am_support(new_op, ia32_am_Source);
 
@@ -1686,6 +1831,7 @@ static ir_node *gen_StackParam(ia32_transform_env_t *env) {
 //     }
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
                        new_op = new_rd_ia32_fLoad(env->dbg, env->irg, env->block, ptr, noreg, mem, mode_T);
                else
@@ -1703,7 +1849,7 @@ static ir_node *gen_StackParam(ia32_transform_env_t *env) {
        set_ia32_am_flavour(new_op, ia32_B);
        set_ia32_ls_mode(new_op, mode);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_rd_Proj(env->dbg, env->irg, env->block, new_op, mode, 0);
 }
@@ -1724,7 +1870,7 @@ static ir_node *gen_FrameAddr(ia32_transform_env_t *env) {
        set_ia32_use_frame(new_op);
        set_ia32_immop_type(new_op, ia32_ImmConst);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_rd_Proj(env->dbg, env->irg, env->block, new_op, env->mode, 0);
 }
@@ -1742,14 +1888,14 @@ static ir_node *gen_FrameLoad(ia32_transform_env_t *env) {
        ir_mode *mode   = get_type_mode(get_entity_type(ent));
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
                        new_op = new_rd_ia32_fLoad(env->dbg, env->irg, env->block, ptr, noreg, mem, mode_T);
                else
                        new_op = new_rd_ia32_vfld(env->dbg, env->irg, env->block, ptr, noreg, mem, mode_T);
        }
-       else {
+       else
                new_op = new_rd_ia32_Load(env->dbg, env->irg, env->block, ptr, noreg, mem, mode_T);
-       }
 
        set_ia32_frame_ent(new_op, ent);
        set_ia32_use_frame(new_op);
@@ -1759,7 +1905,7 @@ static ir_node *gen_FrameLoad(ia32_transform_env_t *env) {
        set_ia32_am_flavour(new_op, ia32_B);
        set_ia32_ls_mode(new_op, mode);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_op;
 }
@@ -1779,6 +1925,7 @@ static ir_node *gen_FrameStore(ia32_transform_env_t *env) {
        ir_mode *mode   = get_irn_mode(val);
 
        if (mode_is_float(mode)) {
+               FP_USED(env->cg);
                if (USE_SSE2(env->cg))
                        new_op = new_rd_ia32_fStore(env->dbg, env->irg, env->block, ptr, noreg, val, mem, mode_T);
                else
@@ -1799,7 +1946,7 @@ static ir_node *gen_FrameStore(ia32_transform_env_t *env) {
        set_ia32_am_flavour(new_op, ia32_B);
        set_ia32_ls_mode(new_op, mode);
 
-       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env));
+       SET_IA32_ORIG_NODE(new_op, ia32_get_old_node_name(env->cg, env->irn));
 
        return new_op;
 }
@@ -1841,7 +1988,7 @@ void ia32_transform_sub_to_neg_add(ir_node *irn, ia32_code_gen_t *cg) {
        tenv.dbg      = get_irn_dbg_info(irn);
        tenv.irg      = cg->irg;
        tenv.irn      = irn;
-       tenv.mod      = cg->mod;
+       DEBUG_ONLY(tenv.mod      = cg->mod;)
        tenv.mode     = get_ia32_res_mode(irn);
        tenv.cg       = cg;
 
@@ -1864,7 +2011,7 @@ void ia32_transform_sub_to_neg_add(ir_node *irn, ia32_code_gen_t *cg) {
                        set_ia32_am_support(res, ia32_am_Full);
                }
 
-               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(&tenv));
+               SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(tenv.cg, irn));
                /* copy register */
                slots    = get_ia32_slots(res);
                slots[0] = in2_reg;
@@ -1924,7 +2071,7 @@ void ia32_transform_lea_to_add(ir_node *irn, ia32_code_gen_t *cg) {
        tenv.dbg   = get_irn_dbg_info(irn);
        tenv.irg   = cg->irg;
        tenv.irn   = irn;
-       tenv.mod   = cg->mod;
+       DEBUG_ONLY(tenv.mod   = cg->mod;)
        tenv.mode  = get_irn_mode(irn);
        tenv.cg    = cg;
 
@@ -1979,7 +2126,7 @@ void ia32_transform_lea_to_add(ir_node *irn, ia32_code_gen_t *cg) {
                set_ia32_immop_type(res, ia32_ImmConst);
        }
 
-       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(&tenv));
+       SET_IA32_ORIG_NODE(res, ia32_get_old_node_name(cg, irn));
 
        /* add Add to schedule */
        sched_add_before(irn, res);
@@ -2016,7 +2163,7 @@ void ia32_transform_node(ir_node *node, void *env) {
        tenv.dbg      = get_irn_dbg_info(node);
        tenv.irg      = current_ir_graph;
        tenv.irn      = node;
-       tenv.mod      = cgenv->mod;
+       DEBUG_ONLY(tenv.mod      = cgenv->mod;)
        tenv.mode     = get_irn_mode(node);
        tenv.cg       = cgenv;