Added support for SymConst(ofs_ent)

[libfirm] / ir / be / benode.c

diff --git a/ir/be/benode.c b/ir/be/benode.c
index 3cb038b..6a017c4 100644 (file)
--- a/ir/be/benode.c
+++ b/ir/be/benode.c
@@ -7,7 +7,7 @@
  *
  * This file provides Perm, Copy, Spill and Reload nodes.
  *
- * Copyright (C) 2005 Universitaet Karlsruhe
+ * Copyright (C) 2005-2006 Universitaet Karlsruhe
  * Released under the GPL
  */
 
@@ -123,6 +123,7 @@ ir_op *op_be_Call;
 ir_op *op_be_Return;
 ir_op *op_be_IncSP;
 ir_op *op_be_AddSP;
+ir_op *op_be_SubSP;
 ir_op *op_be_SetSP;
 ir_op *op_be_RegParams;
 ir_op *op_be_StackParam;
@@ -200,9 +201,10 @@ void be_node_init(void) {
        op_be_Copy       = new_ir_op(beo_base + beo_Copy,       "be_Copy",       op_pin_state_floats,     N, oparity_unary,    0, sizeof(be_node_attr_t),    &be_node_op_ops);
        op_be_Keep       = new_ir_op(beo_base + beo_Keep,       "be_Keep",       op_pin_state_pinned,     K, oparity_variable, 0, sizeof(be_node_attr_t),    &be_node_op_ops);
        op_be_CopyKeep   = new_ir_op(beo_base + beo_CopyKeep,   "be_CopyKeep",   op_pin_state_pinned,     K, oparity_variable, 0, sizeof(be_node_attr_t),    &be_node_op_ops);
-       op_be_Call       = new_ir_op(beo_base + beo_Call,       "be_Call",       op_pin_state_pinned,     N, oparity_variable, 0, sizeof(be_call_attr_t),    &be_node_op_ops);
+       op_be_Call       = new_ir_op(beo_base + beo_Call,       "be_Call",       op_pin_state_pinned,     F, oparity_variable, 0, sizeof(be_call_attr_t),    &be_node_op_ops);
        op_be_Return     = new_ir_op(beo_base + beo_Return,     "be_Return",     op_pin_state_pinned,     X, oparity_variable, 0, sizeof(be_return_attr_t),  &be_node_op_ops);
        op_be_AddSP      = new_ir_op(beo_base + beo_AddSP,      "be_AddSP",      op_pin_state_pinned,     N, oparity_unary,    0, sizeof(be_node_attr_t),    &be_node_op_ops);
+       op_be_SubSP      = new_ir_op(beo_base + beo_SubSP,      "be_SubSP",      op_pin_state_pinned,     N, oparity_unary,    0, sizeof(be_node_attr_t),    &be_node_op_ops);
        op_be_SetSP      = new_ir_op(beo_base + beo_SetSP,      "be_SetSP",      op_pin_state_pinned,     N, oparity_binary,   0, sizeof(be_stack_attr_t),   &be_node_op_ops);
        op_be_IncSP      = new_ir_op(beo_base + beo_IncSP,      "be_IncSP",      op_pin_state_pinned,     N, oparity_binary,   0, sizeof(be_stack_attr_t),   &be_node_op_ops);
        op_be_RegParams  = new_ir_op(beo_base + beo_RegParams,  "be_RegParams",  op_pin_state_pinned,     N, oparity_zero,     0, sizeof(be_node_attr_t),    &be_node_op_ops);
@@ -222,6 +224,7 @@ void be_node_init(void) {
        set_op_tag(op_be_Call,       &be_node_tag);
        set_op_tag(op_be_Return,     &be_node_tag);
        set_op_tag(op_be_AddSP,      &be_node_tag);
+       set_op_tag(op_be_SubSP,      &be_node_tag);
        set_op_tag(op_be_SetSP,      &be_node_tag);
        set_op_tag(op_be_IncSP,      &be_node_tag);
        set_op_tag(op_be_RegParams,  &be_node_tag);
@@ -364,6 +367,7 @@ ir_node *be_new_Reload(const arch_register_class_t *cls, const arch_register_cla
        init_node_attr(res, 2);
        be_node_set_reg_class(res, 0, cls_frame);
        be_node_set_reg_class(res, -1, cls);
+       be_node_set_flags(res, -1, arch_irn_flags_rematerializable);
        return res;
 }
 
@@ -379,6 +383,18 @@ ir_node *be_get_Reload_frame(const ir_node *irn)
        return get_irn_n(irn, be_pos_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);
+}
+
+ir_node *be_get_Spill_frame(const ir_node *irn)
+{
+       assert(be_is_Spill(irn));
+       return get_irn_n(irn, be_pos_Spill_frame);
+}
+
 ir_node *be_new_Perm(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int n, ir_node *in[])
 {
        int i;
@@ -529,15 +545,14 @@ int be_Return_get_n_rets(ir_node *ret)
        return a->num_ret_vals;
 }
 
-ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *mem, int offset)
+ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, int offset)
 {
        be_stack_attr_t *a;
        ir_node *irn;
-       ir_node *in[2];
+       ir_node *in[1];
 
        in[0]     = old_sp;
-       in[1]     = mem;
-       irn       = new_ir_node(NULL, irg, bl, op_be_IncSP, sp->reg_class->mode, 2, in);
+       irn       = new_ir_node(NULL, irg, bl, op_be_IncSP, sp->reg_class->mode, sizeof(in) / sizeof(in[0]), in);
        a         = init_node_attr(irn, 1);
        a->offset = offset;
 
@@ -574,6 +589,29 @@ ir_node *be_new_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_
        return irn;
 }
 
+ir_node *be_new_SubSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *sz)
+{
+       be_node_attr_t *a;
+       ir_node *irn;
+       ir_node *in[be_pos_SubSP_last];
+
+       in[be_pos_SubSP_old_sp] = old_sp;
+       in[be_pos_SubSP_size]   = sz;
+
+       irn = new_ir_node(NULL, irg, bl, op_be_SubSP, mode_T, be_pos_SubSP_last, in);
+       a   = init_node_attr(irn, be_pos_SubSP_last);
+
+       be_node_set_flags(irn, OUT_POS(pn_be_SubSP_res), arch_irn_flags_ignore | arch_irn_flags_modify_sp);
+
+       /* Set output constraint to stack register. */
+       be_set_constr_single_reg(irn, be_pos_SubSP_old_sp, sp);
+       be_node_set_reg_class(irn, be_pos_SubSP_size, arch_register_get_class(sp));
+       be_set_constr_single_reg(irn, OUT_POS(pn_be_SubSP_res), sp);
+       a->reg_data[pn_be_SubSP_res].reg = sp;
+
+       return irn;
+}
+
 ir_node *be_new_SetSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *op, ir_node *mem)
 {
        be_node_attr_t *a;
@@ -590,9 +628,8 @@ ir_node *be_new_SetSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_
 
        /* Set output constraint to stack register. */
        be_set_constr_single_reg(irn, OUT_POS(0), sp);
-       be_node_set_reg_class(irn, 1, sp->reg_class);
-       be_node_set_reg_class(irn, 2, sp->reg_class);
-       be_node_set_irn_reg(NULL, irn, sp);
+       be_node_set_reg_class(irn, be_pos_AddSP_size, sp->reg_class);
+       be_node_set_reg_class(irn, be_pos_AddSP_old_sp, sp->reg_class);
 
        return irn;
 }