X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbearch.c;h=c0c6a363634b14add3120a6a23e51fbe18d150ac;hb=438580abed840c55e82a03b47daeacfe2da8040f;hp=abddd98e2a0c6da730c096830f10ff2d53c1efef;hpb=e9c215cf4349b990b65b0cd9caf1978c3550ccaa;p=libfirm diff --git a/ir/be/bearch.c b/ir/be/bearch.c index abddd98e2..c0c6a3636 100644 --- a/ir/be/bearch.c +++ b/ir/be/bearch.c @@ -71,18 +71,17 @@ static inline const arch_irn_ops_t *get_irn_ops(const ir_node *irn) const arch_register_req_t *arch_get_register_req(const ir_node *irn, int pos) { - const arch_irn_ops_t *ops; - if (is_Proj(irn)) { + ir_node *pred = get_Proj_pred(irn); + long pn = get_Proj_proj(irn); assert(pos == -1); - pos = -1-get_Proj_proj(irn); - irn = get_Proj_pred(irn); + return arch_get_out_register_req(pred, pn); } - ops = get_irn_ops_simple(irn); + if (pos < 0) { - return ops->get_irn_reg_req_out(irn, -pos-1); + return arch_get_out_register_req(irn, -pos-1); } else { - return ops->get_irn_reg_req_in(irn, pos); + return arch_get_in_register_req(irn, pos); } } @@ -98,12 +97,6 @@ ir_entity *arch_get_frame_entity(const ir_node *irn) return ops->get_frame_entity(irn); } -void arch_set_frame_entity(ir_node *irn, ir_entity *ent) -{ - const arch_irn_ops_t *ops = get_irn_ops(irn); - ops->set_frame_entity(irn, ent); -} - int arch_get_sp_bias(ir_node *irn) { const arch_irn_ops_t *ops = get_irn_ops(irn); @@ -114,7 +107,7 @@ arch_inverse_t *arch_get_inverse(const ir_node *irn, int i, arch_inverse_t *inve { const arch_irn_ops_t *ops = get_irn_ops(irn); - if(ops->get_inverse) { + if (ops->get_inverse) { return ops->get_inverse(irn, i, inverse, obstack); } else { return NULL; @@ -125,7 +118,7 @@ int arch_possible_memory_operand(const ir_node *irn, unsigned int i) { const arch_irn_ops_t *ops = get_irn_ops(irn); - if(ops->possible_memory_operand) { + if (ops->possible_memory_operand) { return ops->possible_memory_operand(irn, i); } else { return 0; @@ -136,7 +129,7 @@ void arch_perform_memory_operand(ir_node *irn, ir_node *spill, unsigned int i) { const arch_irn_ops_t *ops = get_irn_ops(irn); - if(ops->perform_memory_operand) { + if (ops->perform_memory_operand) { ops->perform_memory_operand(irn, spill, i); } else { return; @@ -147,32 +140,22 @@ int arch_get_op_estimated_cost(const ir_node *irn) { const arch_irn_ops_t *ops = get_irn_ops(irn); - if(ops->get_op_estimated_cost) { + if (ops->get_op_estimated_cost) { return ops->get_op_estimated_cost(irn); } else { return 1; } } -void arch_put_non_ignore_regs(const arch_register_class_t *cls, bitset_t *bs) -{ - unsigned i; - - for(i = 0; i < cls->n_regs; ++i) { - if(!arch_register_type_is(&cls->regs[i], ignore)) - bitset_set(bs, i); - } -} - int arch_reg_is_allocatable(const ir_node *irn, int pos, const arch_register_t *reg) { const arch_register_req_t *req = arch_get_register_req(irn, pos); - if(req->type == arch_register_req_type_none) + if (req->type == arch_register_req_type_none) return 0; - if(arch_register_req_is(req, limited)) { + if (arch_register_req_is(req, limited)) { if (arch_register_get_class(reg) != req->cls) return 0; return rbitset_is_set(req->limited, arch_register_get_index(reg)); @@ -192,7 +175,7 @@ const arch_register_class_t *arch_get_irn_reg_class(const ir_node *irn, int pos) static inline reg_out_info_t *get_out_info(const ir_node *node) { - int pos = 0; + size_t pos = 0; const backend_info_t *info; assert(get_irn_mode(node) != mode_T); @@ -202,7 +185,7 @@ static inline reg_out_info_t *get_out_info(const ir_node *node) } info = be_get_info(node); - assert(pos >= 0 && pos < ARR_LEN(info->out_infos)); + assert(pos < ARR_LEN(info->out_infos)); return &info->out_infos[pos]; } @@ -211,7 +194,7 @@ static inline reg_out_info_t *get_out_info_n(const ir_node *node, int pos) { const backend_info_t *info = be_get_info(node); assert(!is_Proj(node)); - assert(pos >= 0 && pos < ARR_LEN(info->out_infos)); + assert(pos >= 0 && pos < (int)ARR_LEN(info->out_infos)); return &info->out_infos[pos]; } @@ -274,20 +257,20 @@ void arch_dump_register_req(FILE *F, const arch_register_req_t *req, fprintf(F, "%s", req->cls->name); - if(arch_register_req_is(req, limited)) { + if (arch_register_req_is(req, limited)) { unsigned n_regs = req->cls->n_regs; unsigned i; fprintf(F, " limited to"); - for(i = 0; i < n_regs; ++i) { - if(rbitset_is_set(req->limited, i)) { + for (i = 0; i < n_regs; ++i) { + if (rbitset_is_set(req->limited, i)) { const arch_register_t *reg = &req->cls->regs[i]; fprintf(F, " %s", reg->name); } } } - if(arch_register_req_is(req, should_be_same)) { + if (arch_register_req_is(req, should_be_same)) { const unsigned other = req->other_same; int i; @@ -311,6 +294,12 @@ void arch_dump_register_req(FILE *F, const arch_register_req_t *req, } } + if (req->width != 1) { + fprintf(F, " width:%d", req->width); + } + if (arch_register_req_is(req, aligned)) { + fprintf(F, " aligned"); + } if (arch_register_req_is(req, ignore)) { fprintf(F, " ignore"); } @@ -319,11 +308,62 @@ void arch_dump_register_req(FILE *F, const arch_register_req_t *req, } } +void arch_dump_reqs_and_registers(FILE *F, const ir_node *node) +{ + int n_ins = get_irn_arity(node); + int n_outs = arch_irn_get_n_outs(node); + arch_irn_flags_t flags = arch_irn_get_flags(node); + int i; + + for (i = 0; i < n_ins; ++i) { + const arch_register_req_t *req = arch_get_in_register_req(node, i); + fprintf(F, "inreq #%d = ", i); + arch_dump_register_req(F, req, node); + fputs("\n", F); + } + for (i = 0; i < n_outs; ++i) { + const arch_register_req_t *req = arch_get_out_register_req(node, i); + fprintf(F, "outreq #%d = ", i); + arch_dump_register_req(F, req, node); + fputs("\n", F); + } + for (i = 0; i < n_outs; ++i) { + const arch_register_t *reg = arch_irn_get_register(node, i); + const arch_register_req_t *req = arch_get_out_register_req(node, i); + if (req->cls == NULL) + continue; + fprintf(F, "reg #%d = %s\n", i, reg != NULL ? reg->name : "n/a"); + } + + fprintf(F, "flags ="); + if (flags == arch_irn_flags_none) { + fprintf(F, " none"); + } else { + if (flags & arch_irn_flags_dont_spill) { + fprintf(F, " unspillable"); + } + if (flags & arch_irn_flags_rematerializable) { + fprintf(F, " remat"); + } + if (flags & arch_irn_flags_modify_flags) { + fprintf(F, " modify_flags"); + } + if (flags & arch_irn_flags_simple_jump) { + fprintf(F, " simple_jump"); + } + if (flags & arch_irn_flags_not_scheduled) { + fprintf(F, " not_scheduled"); + } + } + fprintf(F, " (%d)\n", (int)flags); +} + static const arch_register_req_t no_requirement = { arch_register_req_type_none, NULL, NULL, 0, + 0, 0 }; const arch_register_req_t *arch_no_register_req = &no_requirement;