X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbearch.c;h=700115c4085cc685bdfb9469d299be640fb631b8;hb=2c6cb525849141ca24634f4bf3eab578fe6361d2;hp=5aec44c7026e70a2bc01126b04af84f0d247ee4d;hpb=0fbcef83aa6060534172bb13e71cdadb04428806;p=libfirm diff --git a/ir/be/bearch.c b/ir/be/bearch.c index 5aec44c70..700115c40 100644 --- a/ir/be/bearch.c +++ b/ir/be/bearch.c @@ -29,6 +29,7 @@ #include "bearch_t.h" #include "benode_t.h" +#include "beinfo.h" #include "ircons_t.h" #include "irnode_t.h" @@ -46,26 +47,12 @@ arch_env_t *arch_env_init(const arch_isa_if_t *isa_if, FILE *file_handle, be_mai return arch_env; } -/** - * Put all registers in a class into a bitset. - * @param cls The class. - * @param bs The bitset. - * @return The number of registers in the class. - */ -static int arch_register_class_put(const arch_register_class_t *cls, bitset_t *bs) -{ - int i, n = cls->n_regs; - for (i = n - 1; i >= 0; --i) - bitset_set(bs, i); - return n; -} - /** * Get the isa responsible for a node. * @param irn The node to get the responsible isa for. * @return The irn operations given by the responsible isa. */ -static INLINE const arch_irn_ops_t *get_irn_ops(const ir_node *irn) +static inline const arch_irn_ops_t *get_irn_ops(const ir_node *irn) { const ir_op *ops; const arch_irn_ops_t *be_ops; @@ -156,25 +143,6 @@ int arch_get_op_estimated_cost(const ir_node *irn) } } -int arch_get_allocatable_regs(const ir_node *irn, int pos, bitset_t *bs) -{ - const arch_irn_ops_t *ops = get_irn_ops(irn); - const arch_register_req_t *req = ops->get_irn_reg_req(irn, pos); - - if(req->type == arch_register_req_type_none) { - bitset_clear_all(bs); - return 0; - } - - if(arch_register_req_is(req, limited)) { - rbitset_copy_to_bitset(req->limited, 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_register_class_t *cls, bitset_t *bs) { unsigned i; @@ -185,14 +153,6 @@ void arch_put_non_ignore_regs(const arch_register_class_t *cls, bitset_t *bs) } } -int arch_is_register_operand(const ir_node *irn, int pos) -{ - const arch_irn_ops_t *ops = get_irn_ops(irn); - const arch_register_req_t *req = ops->get_irn_reg_req(irn, pos); - - return req != NULL; -} - 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); @@ -210,51 +170,85 @@ int arch_reg_is_allocatable(const ir_node *irn, int pos, const arch_register_t * const arch_register_class_t *arch_get_irn_reg_class(const ir_node *irn, int pos) { - const arch_irn_ops_t *ops = get_irn_ops(irn); - const arch_register_req_t *req = ops->get_irn_reg_req(irn, pos); + const arch_register_req_t *req = arch_get_register_req(irn, pos); assert(req->type != arch_register_req_type_none || req->cls == NULL); return req->cls; } -const arch_register_t *arch_get_irn_register(const ir_node *irn) +static inline reg_out_info_t *get_out_info(const ir_node *node) { - const arch_irn_ops_t *ops = get_irn_ops(irn); - return ops->get_irn_reg(irn); + int pos = 0; + const backend_info_t *info; + + assert(get_irn_mode(node) != mode_T); + if (is_Proj(node)) { + pos = get_Proj_proj(node); + node = get_Proj_pred(node); + } + + info = be_get_info(node); + assert(pos >= 0 && pos < ARR_LEN(info->out_infos)); + return &info->out_infos[pos]; } -void arch_set_irn_register(ir_node *irn, const arch_register_t *reg) + +static inline reg_out_info_t *get_out_info_n(const ir_node *node, int pos) { - const arch_irn_ops_t *ops = get_irn_ops(irn); - ops->set_irn_reg(irn, reg); + const backend_info_t *info = be_get_info(node); + assert(!is_Proj(node)); + assert(pos >= 0 && pos < ARR_LEN(info->out_infos)); + return &info->out_infos[pos]; } -arch_irn_class_t arch_irn_classify(const ir_node *irn) + +const arch_register_t *arch_get_irn_register(const ir_node *node) { - const arch_irn_ops_t *ops = get_irn_ops(irn); - return ops->classify(irn); + const reg_out_info_t *out = get_out_info(node); + return out->reg; } -arch_irn_flags_t arch_irn_get_flags(const ir_node *irn) +const arch_register_t *arch_irn_get_register(const ir_node *node, int pos) { - const arch_irn_ops_t *ops = get_irn_ops(irn); - return ops->get_flags(irn); + const reg_out_info_t *out = get_out_info_n(node, pos); + return out->reg; } -extern const char *arch_irn_flag_str(arch_irn_flags_t fl) +void arch_irn_set_register(ir_node *node, int pos, const arch_register_t *reg) { - switch(fl) { -#define XXX(x) case arch_irn_flags_ ## x: return #x; - XXX(dont_spill); - XXX(ignore); - XXX(rematerializable); - XXX(modify_sp); - XXX(modify_flags); - XXX(none); -#undef XXX - } - return "n/a"; + reg_out_info_t *out = get_out_info_n(node, pos); + out->reg = reg; +} + +void arch_set_irn_register(ir_node *node, const arch_register_t *reg) +{ + reg_out_info_t *out = get_out_info(node); + out->reg = reg; +} + +arch_irn_class_t arch_irn_classify(const ir_node *node) +{ + const arch_irn_ops_t *ops = get_irn_ops(node); + return ops->classify(node); +} + +arch_irn_flags_t arch_irn_get_flags(const ir_node *node) +{ + backend_info_t *info = be_get_info(node); + return info->flags; +} + +void arch_irn_set_flags(ir_node *node, arch_irn_flags_t flags) +{ + backend_info_t *info = be_get_info(node); + info->flags = flags; +} + +void arch_irn_add_flags(ir_node *node, arch_irn_flags_t flags) +{ + backend_info_t *info = be_get_info(node); + info->flags |= flags; } extern char *arch_register_req_format(char *buf, size_t len, @@ -304,6 +298,13 @@ extern char *arch_register_req_format(char *buf, size_t len, } } + if (arch_register_req_is(req, ignore)) { + strncat(buf, " ignore", len); + } + if (arch_register_req_is(req, produces_sp)) { + strncat(buf, " produces_sp", len); + } + return buf; }