X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbearch.c;h=8ff66289c0d8a2e2c5d716c2b69b31c44bf629a7;hb=ca1b1615fbe23a4d5cf72e7be5d2ee831615cbc2;hp=2ce562febb4edff2d9b780ee1ef2ead1710b28f8;hpb=7507003420c69d2a84403d07daf26a305c631b43;p=libfirm diff --git a/ir/be/bearch.c b/ir/be/bearch.c index 2ce562feb..8ff66289c 100644 --- a/ir/be/bearch.c +++ b/ir/be/bearch.c @@ -13,6 +13,7 @@ #ifdef HAVE_ALLOCA_H #include #endif + #ifdef HAVE_MALLOC_H #include #endif @@ -21,11 +22,14 @@ #include "bearch.h" #include "ircons_t.h" +#include "irnode_t.h" #include "bitset.h" #include "pset.h" #include "entity.h" +#include "irprintf.h" + arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa_if) { memset(env, 0, sizeof(*env)); @@ -33,7 +37,7 @@ arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa_if) return env; } -arch_env_t *arch_env_add_irn_handler(arch_env_t *env, +arch_env_t *arch_env_push_irn_handler(arch_env_t *env, const arch_irn_handler_t *handler) { assert(env->handlers_tos <= ARCH_MAX_HANDLERS); @@ -41,6 +45,12 @@ arch_env_t *arch_env_add_irn_handler(arch_env_t *env, return env; } +const arch_irn_handler_t *arch_env_pop_irn_handler(arch_env_t *env) +{ + assert(env->handlers_tos > 0 && env->handlers_tos <= ARCH_MAX_HANDLERS); + return env->handlers[--env->handlers_tos]; +} + static const arch_irn_ops_t *fallback_irn_ops = NULL; int arch_register_class_put(const arch_register_class_t *cls, bitset_t *bs) @@ -81,62 +91,78 @@ const arch_register_req_t *arch_get_register_req(const arch_env_t *env, { const arch_irn_ops_t *ops = get_irn_ops(env, irn); req->type = arch_register_req_type_none; - return ops->get_irn_reg_req(ops, req, irn, pos); + return ops->impl->get_irn_reg_req(ops, req, irn, pos); +} + +void arch_set_frame_offset(const arch_env_t *env, ir_node *irn, int offset) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + ops->impl->set_frame_offset(ops, irn, offset); } -int arch_get_allocatable_regs(const arch_env_t *env, const ir_node *irn, - int pos, const arch_register_class_t *cls, bitset_t *bs) +entity *arch_get_frame_entity(const arch_env_t *env, ir_node *irn) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + return ops->impl->get_frame_entity(ops, irn); +} + + +int arch_get_allocatable_regs(const arch_env_t *env, const ir_node *irn, int pos, bitset_t *bs) { arch_register_req_t local_req; const arch_irn_ops_t *ops = get_irn_ops(env, irn); - const arch_register_req_t *req = ops->get_irn_reg_req(ops, &local_req, irn, pos); + const arch_register_req_t *req = ops->impl->get_irn_reg_req(ops, &local_req, irn, pos); - if(arch_register_req_is(req, none)) { + if(req->type == arch_register_req_type_none) { bitset_clear_all(bs); return 0; } - if(arch_register_req_is(req, limited)) - return req->limited(irn, pos, bs); + if(arch_register_req_is(req, limited)) { + req->limited(req->limited_env, bs); + return bitset_popcnt(bs); + } arch_register_class_put(req->cls, bs); return req->cls->n_regs; } +void arch_put_non_ignore_regs(const arch_env_t *env, const arch_register_class_t *cls, bitset_t *bs) +{ + int i; + + for(i = 0; i < cls->n_regs; ++i) { + if(!arch_register_type_is(&cls->regs[i], ignore)) + bitset_set(bs, i); + } +} + int arch_is_register_operand(const arch_env_t *env, const ir_node *irn, int pos) { arch_register_req_t local_req; const arch_irn_ops_t *ops = get_irn_ops(env, irn); - const arch_register_req_t *req = ops->get_irn_reg_req(ops, &local_req, irn, pos); + const arch_register_req_t *req = ops->impl->get_irn_reg_req(ops, &local_req, irn, pos); return req != NULL; } int arch_reg_is_allocatable(const arch_env_t *env, const ir_node *irn, int pos, const arch_register_t *reg) { - int res = 0; arch_register_req_t req; arch_get_register_req(env, &req, irn, pos); - switch(req.type) { - case arch_register_req_type_normal: - case arch_register_req_type_should_be_different: - case arch_register_req_type_should_be_same: - res = req.cls == reg->reg_class; - break; - case arch_register_req_type_limited: - { - bitset_t *bs = bitset_alloca(req.cls->n_regs); - req.limited(irn, pos, bs); - res = bitset_is_set(bs, arch_register_get_index(reg)); - } - break; - default: - res = 0; + + if(req.type == arch_register_req_type_none) + return 0; + + if(arch_register_req_is(&req, limited)) { + bitset_t *bs = bitset_alloca(req.cls->n_regs); + req.limited(req.limited_env, bs); + return bitset_is_set(bs, arch_register_get_index(reg)); } - return res; + return req.cls == reg->reg_class; } const arch_register_class_t * @@ -144,7 +170,7 @@ arch_get_irn_reg_class(const arch_env_t *env, const ir_node *irn, int pos) { arch_register_req_t local_req; const arch_irn_ops_t *ops = get_irn_ops(env, irn); - const arch_register_req_t *req = ops->get_irn_reg_req(ops, &local_req, irn, pos); + const arch_register_req_t *req = ops->impl->get_irn_reg_req(ops, &local_req, irn, pos); return req ? req->cls : NULL; } @@ -152,24 +178,66 @@ extern const arch_register_t * arch_get_irn_register(const arch_env_t *env, const ir_node *irn) { const arch_irn_ops_t *ops = get_irn_ops(env, irn); - return ops->get_irn_reg(ops, irn); + return ops->impl->get_irn_reg(ops, irn); } extern void arch_set_irn_register(const arch_env_t *env, ir_node *irn, const arch_register_t *reg) { const arch_irn_ops_t *ops = get_irn_ops(env, irn); - ops->set_irn_reg(ops, irn, reg); + ops->impl->set_irn_reg(ops, irn, reg); } extern arch_irn_class_t arch_irn_classify(const arch_env_t *env, const ir_node *irn) { const arch_irn_ops_t *ops = get_irn_ops(env, irn); - return ops->classify(ops, irn); + return ops->impl->classify(ops, irn); } extern arch_irn_flags_t arch_irn_get_flags(const arch_env_t *env, const ir_node *irn) { const arch_irn_ops_t *ops = get_irn_ops(env, irn); - return ops->get_flags(ops, irn); + return ops->impl->get_flags(ops, irn); +} + +extern const char *arch_irn_flag_str(arch_irn_flags_t fl) +{ + switch(fl) { +#define XXX(x) case arch_irn_flags_ ## x: return #x; + XXX(dont_spill); + XXX(ignore); + XXX(rematerializable); + XXX(none); +#undef XXX + } + return "n/a"; +} + +extern char *arch_register_req_format(char *buf, size_t len, const arch_register_req_t *req) +{ + char tmp[128]; + snprintf(buf, len, "class: %s", req->cls->name); + + if(arch_register_req_is(req, limited)) { + bitset_pos_t elm; + bitset_t *bs = bitset_alloca(req->cls->n_regs); + req->limited(req->limited_env, bs); + strncat(buf, " limited:", len); + bitset_foreach(bs, elm) { + strncat(buf, " ", len); + strncat(buf, req->cls->regs[elm].name, len); + } + } + + if(arch_register_req_is(req, should_be_same)) { + ir_snprintf(tmp, sizeof(tmp), " same to: %+F", req->other_different); + strncat(buf, tmp, len); + } + + if(arch_register_req_is(req, should_be_different)) { + ir_snprintf(tmp, sizeof(tmp), " different to: %+F", req->other_different); + strncat(buf, tmp, len); + } + + return buf; }