X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbearch.c;h=5ea988dd8b47f60e632a8f6f213f0a6af8bc7376;hb=e7e5dbe35dbb245c5c833192e05c22de3618a5a5;hp=2ce562febb4edff2d9b780ee1ef2ead1710b28f8;hpb=7507003420c69d2a84403d07daf26a305c631b43;p=libfirm diff --git a/ir/be/bearch.c b/ir/be/bearch.c index 2ce562feb..5ea988dd8 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,26 +22,37 @@ #include "bearch.h" #include "ircons_t.h" +#include "irnode_t.h" #include "bitset.h" #include "pset.h" #include "entity.h" -arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa_if) +#include "irprintf.h" + +/* Initialize the architecture environment struct. */ +arch_env_t *arch_env_init(arch_env_t *env, const arch_isa_if_t *isa_if, FILE *file_handle, be_main_env_t *main_env) { memset(env, 0, sizeof(*env)); - env->isa = isa_if->init(); + env->isa = isa_if->init(file_handle); + env->isa->main_env = main_env; 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); + assert(env->handlers_tos < ARCH_MAX_HANDLERS); env->handlers[env->handlers_tos++] = handler; 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) @@ -76,67 +88,159 @@ get_irn_ops(const arch_env_t *env, const ir_node *irn) return fallback_irn_ops; } +const arch_irn_ops_t *arch_get_irn_ops(const arch_env_t *env, const ir_node *irn) { + return get_irn_ops(env, irn); +} + const arch_register_req_t *arch_get_register_req(const arch_env_t *env, arch_register_req_t *req, const ir_node *irn, int pos) { 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); +} + +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); +} + +void arch_set_frame_entity(const arch_env_t *env, ir_node *irn, entity *ent) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + ops->impl->set_frame_entity(ops, irn, ent); +} + +int arch_get_sp_bias(const arch_env_t *env, ir_node *irn) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + return ops->impl->get_sp_bias(ops, irn); +} + +arch_inverse_t *arch_get_inverse(const arch_env_t *env, const ir_node *irn, int i, arch_inverse_t *inverse, struct obstack *obstack) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + if(ops->impl->get_inverse) { + return ops->impl->get_inverse(ops, irn, i, inverse, obstack); + } else { + return NULL; + } +} + +int arch_possible_memory_operand(const arch_env_t *env, const ir_node *irn, unsigned int i) { + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + if(ops->impl->possible_memory_operand) { + return ops->impl->possible_memory_operand(ops, irn, i); + } else { + return 0; + } +} + +extern void arch_perform_memory_operand(const arch_env_t *env, ir_node *irn, ir_node *spill, unsigned int i) { + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + if(ops->impl->perform_memory_operand) { + ops->impl->perform_memory_operand(ops, irn, spill, i); + } else { + return; + } +} + +int arch_get_op_estimated_cost(const arch_env_t *env, const ir_node *irn) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + if(ops->impl->get_op_estimated_cost) { + return ops->impl->get_op_estimated_cost(ops, irn); + } else { + return 1; + } +} + +int arch_is_possible_memory_operand(const arch_env_t *env, const ir_node *irn, int i) +{ + const arch_irn_ops_t *ops = get_irn_ops(env, irn); + if(ops->impl->possible_memory_operand) { + return ops->impl->possible_memory_operand(ops, irn, i); + } else { + return 0; + } } -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) +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_count_non_ignore_regs(const arch_env_t *env, const arch_register_class_t *cls) +{ + int i; + int result = 0; + + for(i = 0; i < cls->n_regs; ++i) { + if(!arch_register_type_is(&cls->regs[i], ignore)) + result++; + } + + return result; +} + 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 +248,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 +256,67 @@ 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(modify_sp); + 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; }