ia32_IJmp needs the no-out-requirements hack, too.
[libfirm] / ir / be / ia32 / ia32_optimize.c
index 3ffd9c4..d844e9e 100644 (file)
@@ -41,8 +41,8 @@
 
 #include "../be_t.h"
 #include "../beabi.h"
-#include "../benode_t.h"
-#include "../besched_t.h"
+#include "../benode.h"
+#include "../besched.h"
 #include "../bepeephole.h"
 
 #include "ia32_new_nodes.h"
@@ -286,8 +286,7 @@ static void peephole_ia32_Test(ir_node *node)
 
                        /* If there are other users, reroute them to result proj */
                        if (get_irn_n_edges(left) != 2) {
-                               ir_node *res = new_r_Proj(current_ir_graph, block, left,
-                                               mode_Iu, pn_ia32_res);
+                               ir_node *res = new_r_Proj(block, left, mode_Iu, pn_ia32_res);
 
                                edges_reroute(left, res, current_ir_graph);
                                /* Reattach the result proj to left */
@@ -296,8 +295,7 @@ static void peephole_ia32_Test(ir_node *node)
                }
 
                flags_mode = ia32_reg_classes[CLASS_ia32_flags].mode;
-               flags_proj = new_r_Proj(current_ir_graph, block, left, flags_mode,
-                               pn_ia32_flags);
+               flags_proj = new_r_Proj(block, left, flags_mode, pn_ia32_flags);
                arch_set_irn_register(flags_proj, &ia32_flags_regs[REG_EFLAGS]);
 
                assert(get_irn_mode(node) != mode_T);
@@ -318,15 +316,15 @@ static void peephole_ia32_Test(ir_node *node)
                        if ((offset & 0xFFFFFF00) == 0) {
                                /* attr->am_offs += 0; */
                        } else if ((offset & 0xFFFF00FF) == 0) {
-                               ir_node *imm = create_Immediate(NULL, 0, offset >>  8);
+                               ir_node *imm = ia32_create_Immediate(NULL, 0, offset >>  8);
                                set_irn_n(node, n_ia32_Test_right, imm);
                                attr->am_offs += 1;
                        } else if ((offset & 0xFF00FFFF) == 0) {
-                               ir_node *imm = create_Immediate(NULL, 0, offset >> 16);
+                               ir_node *imm = ia32_create_Immediate(NULL, 0, offset >> 16);
                                set_irn_n(node, n_ia32_Test_right, imm);
                                attr->am_offs += 2;
                        } else if ((offset & 0x00FFFFFF) == 0) {
-                               ir_node *imm = create_Immediate(NULL, 0, offset >> 24);
+                               ir_node *imm = ia32_create_Immediate(NULL, 0, offset >> 24);
                                set_irn_n(node, n_ia32_Test_right, imm);
                                attr->am_offs += 3;
                        } else {
@@ -371,7 +369,7 @@ static void peephole_ia32_Return(ir_node *node) {
                        /* the return node itself, ignore */
                        continue;
                case iro_Start:
-               case beo_RegParams:
+               case beo_Start:
                case beo_Barrier:
                        /* ignore no code generated */
                        continue;
@@ -500,14 +498,14 @@ static void peephole_IncSP_Store_to_push(ir_node *irn)
                if (first_push == NULL)
                        first_push = push;
 
-               sched_add_after(curr_sp, push);
+               sched_add_after(skip_Proj(curr_sp), push);
 
                /* create stackpointer Proj */
-               curr_sp = new_r_Proj(irg, block, push, spmode, pn_ia32_Push_stack);
+               curr_sp = new_r_Proj(block, push, spmode, pn_ia32_Push_stack);
                arch_set_irn_register(curr_sp, spreg);
 
                /* create memory Proj */
-               mem_proj = new_r_Proj(irg, block, push, mode_M, pn_ia32_Push_M);
+               mem_proj = new_r_Proj(block, push, mode_M, pn_ia32_Push_M);
 
                /* use the memproj now */
                be_peephole_exchange(store, mem_proj);
@@ -748,7 +746,7 @@ static void peephole_Load_IncSP_to_pop(ir_node *irn)
        block = get_nodes_block(irn);
        irg   = cg->irg;
        if (inc_ofs > 0) {
-               pred_sp = be_new_IncSP(esp, irg, block, pred_sp, -inc_ofs, be_get_IncSP_align(irn));
+               pred_sp = be_new_IncSP(esp, block, pred_sp, -inc_ofs, be_get_IncSP_align(irn));
                sched_add_before(irn, pred_sp);
        }
 
@@ -768,7 +766,7 @@ static void peephole_Load_IncSP_to_pop(ir_node *irn)
                copy_mark(load, pop);
 
                /* create stackpointer Proj */
-               pred_sp = new_r_Proj(irg, block, pop, mode_Iu, pn_ia32_Pop_stack);
+               pred_sp = new_r_Proj(block, pop, mode_Iu, pn_ia32_Pop_stack);
                arch_set_irn_register(pred_sp, esp);
 
                sched_add_before(irn, pop);
@@ -813,7 +811,6 @@ static const arch_register_t *get_free_gp_reg(void)
  * Creates a Pop instruction before the given schedule point.
  *
  * @param dbgi        debug info
- * @param irg         the graph
  * @param block       the block
  * @param stack       the previous stack value
  * @param schedpoint  the new node is added before this node
@@ -821,7 +818,7 @@ static const arch_register_t *get_free_gp_reg(void)
  *
  * @return the new stack value
  */
-static ir_node *create_pop(dbg_info *dbgi, ir_graph *irg, ir_node *block,
+static ir_node *create_pop(dbg_info *dbgi, ir_node *block,
                            ir_node *stack, ir_node *schedpoint,
                            const arch_register_t *reg)
 {
@@ -833,15 +830,15 @@ static ir_node *create_pop(dbg_info *dbgi, ir_graph *irg, ir_node *block,
 
        pop   = new_bd_ia32_Pop(dbgi, block, new_NoMem(), stack);
 
-       stack = new_r_Proj(irg, block, pop, mode_Iu, pn_ia32_Pop_stack);
+       stack = new_r_Proj(block, pop, mode_Iu, pn_ia32_Pop_stack);
        arch_set_irn_register(stack, esp);
-       val   = new_r_Proj(irg, block, pop, mode_Iu, pn_ia32_Pop_res);
+       val   = new_r_Proj(block, pop, mode_Iu, pn_ia32_Pop_res);
        arch_set_irn_register(val, reg);
 
        sched_add_before(schedpoint, pop);
 
        in[0] = val;
-       keep = be_new_Keep(&ia32_reg_classes[CLASS_ia32_gp], irg, block, 1, in);
+       keep  = be_new_Keep(block, 1, in);
        sched_add_before(schedpoint, keep);
 
        return stack;
@@ -851,7 +848,6 @@ static ir_node *create_pop(dbg_info *dbgi, ir_graph *irg, ir_node *block,
  * Creates a Push instruction before the given schedule point.
  *
  * @param dbgi        debug info
- * @param irg         the graph
  * @param block       the block
  * @param stack       the previous stack value
  * @param schedpoint  the new node is added before this node
@@ -859,18 +855,18 @@ static ir_node *create_pop(dbg_info *dbgi, ir_graph *irg, ir_node *block,
  *
  * @return the new stack value
  */
-static ir_node *create_push(dbg_info *dbgi, ir_graph *irg, ir_node *block,
+static ir_node *create_push(dbg_info *dbgi, ir_node *block,
                             ir_node *stack, ir_node *schedpoint)
 {
        const arch_register_t *esp = &ia32_gp_regs[REG_ESP];
 
        ir_node *val   = ia32_new_Unknown_gp(cg);
        ir_node *noreg = ia32_new_NoReg_gp(cg);
-       ir_node *nomem = get_irg_no_mem(irg);
+       ir_node *nomem = new_NoMem();
        ir_node *push  = new_bd_ia32_Push(dbgi, block, noreg, noreg, nomem, val, stack);
        sched_add_before(schedpoint, push);
 
-       stack = new_r_Proj(irg, block, push, mode_Iu, pn_ia32_Push_stack);
+       stack = new_r_Proj(block, push, mode_Iu, pn_ia32_Push_stack);
        arch_set_irn_register(stack, esp);
 
        return stack;
@@ -883,7 +879,6 @@ static void peephole_be_IncSP(ir_node *node)
 {
        const arch_register_t *esp = &ia32_gp_regs[REG_ESP];
        const arch_register_t *reg;
-       ir_graph              *irg = current_ir_graph;
        dbg_info              *dbgi;
        ir_node               *block;
        ir_node               *stack;
@@ -919,19 +914,19 @@ static void peephole_be_IncSP(ir_node *node)
                block = get_nodes_block(node);
                stack = be_get_IncSP_pred(node);
 
-               stack = create_pop(dbgi, irg, block, stack, node, reg);
+               stack = create_pop(dbgi, block, stack, node, reg);
 
                if (offset == -8) {
-                       stack = create_pop(dbgi, irg, block, stack, node, reg);
+                       stack = create_pop(dbgi, block, stack, node, reg);
                }
        } else {
                dbgi  = get_irn_dbg_info(node);
                block = get_nodes_block(node);
                stack = be_get_IncSP_pred(node);
-               stack = create_push(dbgi, irg, block, stack, node);
+               stack = create_push(dbgi, block, stack, node);
 
                if (offset == +8) {
-                       stack = create_push(dbgi, irg, block, stack, node);
+                       stack = create_push(dbgi, block, stack, node);
                }
        }
 
@@ -947,9 +942,7 @@ static void peephole_ia32_Const(ir_node *node)
        const arch_register_t       *reg;
        ir_node                     *block;
        dbg_info                    *dbgi;
-       ir_node                     *produceval;
        ir_node                     *xor;
-       ir_node                     *noreg;
 
        /* try to transform a mov 0, reg to xor reg reg */
        if (attr->offset != 0 || attr->symconst != NULL)
@@ -964,17 +957,11 @@ static void peephole_ia32_Const(ir_node *node)
        assert(be_peephole_get_reg_value(reg) == NULL);
 
        /* create xor(produceval, produceval) */
-       block      = get_nodes_block(node);
-       dbgi       = get_irn_dbg_info(node);
-       produceval = new_bd_ia32_ProduceVal(dbgi, block);
-       arch_set_irn_register(produceval, reg);
-
-       noreg = ia32_new_NoReg_gp(cg);
-       xor   = new_bd_ia32_Xor(dbgi, block, noreg, noreg, new_NoMem(), produceval,
-                       produceval);
+       block = get_nodes_block(node);
+       dbgi  = get_irn_dbg_info(node);
+       xor   = new_bd_ia32_Xor0(dbgi, block);
        arch_set_irn_register(xor, reg);
 
-       sched_add_before(node, produceval);
        sched_add_before(node, xor);
 
        copy_mark(node, xor);
@@ -990,8 +977,8 @@ static ir_node *create_immediate_from_int(int val)
 {
        ir_graph *irg         = current_ir_graph;
        ir_node  *start_block = get_irg_start_block(irg);
-       ir_node  *immediate   = new_bd_ia32_Immediate(NULL, start_block, NULL, 0,
-                       val);
+       ir_node  *immediate
+               = new_bd_ia32_Immediate(NULL, start_block, NULL, 0, 0, val);
        arch_set_irn_register(immediate, &ia32_gp_regs[REG_GP_NOREG]);
 
        return immediate;
@@ -1002,10 +989,13 @@ static ir_node *create_immediate_from_am(const ir_node *node)
        ir_node   *block   = get_nodes_block(node);
        int        offset  = get_ia32_am_offs_int(node);
        int        sc_sign = is_ia32_am_sc_sign(node);
+       const ia32_attr_t *attr = get_ia32_attr_const(node);
+       int        sc_no_pic_adjust = attr->data.am_sc_no_pic_adjust;
        ir_entity *entity  = get_ia32_am_sc(node);
        ir_node   *res;
 
-       res = new_bd_ia32_Immediate(NULL, block, entity, sc_sign, offset);
+       res = new_bd_ia32_Immediate(NULL, block, entity, sc_sign, sc_no_pic_adjust,
+                                   offset);
        arch_set_irn_register(res, &ia32_gp_regs[REG_GP_NOREG]);
        return res;
 }
@@ -1048,7 +1038,7 @@ static void peephole_ia32_Lea(ir_node *node)
 
        assert(is_ia32_Lea(node));
 
-       /* we can only do this if are allowed to globber the flags */
+       /* we can only do this if it is allowed to clobber the flags */
        if(be_peephole_get_value(CLASS_ia32_flags, REG_EFLAGS) != NULL)
                return;