/**
* ISA implementation for Firm IR nodes.
*/
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
#include "bitset.h"
+#include "obst.h"
+
+#include "irmode_t.h"
+#include "irnode_t.h"
+#include "irgmod.h"
+#include "ircons_t.h"
+#include "irgwalk.h"
+#include "type.h"
+
#include "bearch.h"
+#include "beutil.h"
+
+#include "irreflect.h"
+
+#include "bearch_firm.h"
-#define N_REGS 64
+#define N_REGS 3
-static arch_register_t gp_regs[N_REGS];
-static arch_register_t fp_regs[N_REGS];
+static arch_register_t datab_regs[N_REGS];
static arch_register_class_t reg_classes[] = {
- { "gp", NULL, N_REGS, gp_regs },
- { "fp", NULL, N_REGS, fp_regs }
+ { "datab", N_REGS, datab_regs },
};
+static ir_op *op_push;
+static ir_op *op_imm;
+
#define N_CLASSES \
(sizeof(reg_classes) / sizeof(reg_classes[0]))
-#define CLS_GP 0
-#define CLS_FP 1
+#define CLS_DATAB 0
+
+static int dump_node_Imm(ir_node *n, FILE *F, dump_reason_t reason) {
+ ir_mode *mode;
+ int bad = 0;
+ char buf[1024];
+ tarval *tv;
+ imm_attr_t *attr;
+
+ switch (reason) {
+ case dump_node_opcode_txt:
+ tv = get_Imm_tv(n);
+
+ if (tv) {
+ tarval_snprintf(buf, sizeof(buf), tv);
+ fprintf(F, "%s", buf);
+ }
+ else {
+ fprintf(F, "immSymC");
+ }
+ break;
+
+ case dump_node_mode_txt:
+ mode = get_irn_mode(n);
+
+ if (mode && mode != mode_BB && mode != mode_ANY && mode != mode_BAD && mode != mode_T) {
+ fprintf(F, "[%s]", get_mode_name(mode));
+ }
+ break;
+
+ case dump_node_nodeattr_txt:
+ attr = (imm_attr_t *)get_irn_generic_attr(n);
+
+ if (is_Imm(n) && attr->tp == imm_SymConst) {
+ const char *name = NULL;
+ ir_node *old_sym = attr->data.symconst;
+
+ switch (get_SymConst_kind(old_sym)) {
+ case symconst_addr_name:
+ name = get_id_str(get_SymConst_name(old_sym));
+ break;
+
+ case symconst_addr_ent:
+ name = get_entity_ld_name(get_SymConst_entity(old_sym));
+ break;
+
+ default:
+ assert(!"Unsupported SymConst");
+ }
+
+ fprintf(F, "&%s ", name);
+ }
+
+ break;
+
+ case dump_node_info_txt:
+ break;
+ }
+
+ return bad;
+}
static void firm_init(void)
{
reg->type = 0;
}
}
+
+ /*
+ * Create some opcodes and types to let firm look a little
+ * bit more like real machines.
+ */
+ if(!op_push) {
+ rflct_sig_t *sig;
+ int push_opc = get_next_ir_opcode();
+
+ op_push = new_ir_op(push_opc, "Push",
+ op_pin_state_pinned, 0, oparity_binary, 0, 0, NULL);
+
+ sig = rflct_signature_allocate(1, 3);
+ rflct_signature_set_arg(sig, 0, 0, "Store", RFLCT_MC(Mem), 0, 0);
+ rflct_signature_set_arg(sig, 1, 0, "Block", RFLCT_MC(BB), 0, 0);
+ rflct_signature_set_arg(sig, 1, 1, "Store", RFLCT_MC(Mem), 0, 0);
+ rflct_signature_set_arg(sig, 1, 2, "Arg", RFLCT_MC(Datab), 0, 0);
+
+ rflct_new_opcode(push_opc, "Push", false);
+ rflct_opcode_add_signature(push_opc, sig);
+ }
+
+ if(!op_imm) {
+ rflct_sig_t *sig;
+ int imm_opc = get_next_ir_opcode();
+ ir_op_ops ops;
+
+ memset(&ops, 0, sizeof(ops));
+ ops.dump_node = dump_node_Imm;
+
+ op_imm = new_ir_op(imm_opc, "Imm",
+ op_pin_state_pinned, 0, oparity_zero, 0, sizeof(imm_attr_t), &ops);
+
+ sig = rflct_signature_allocate(1, 1);
+ rflct_signature_set_arg(sig, 0, 0, "Imm", RFLCT_MC(Data), 0, 0);
+ rflct_signature_set_arg(sig, 1, 0, "Block", RFLCT_MC(BB), 0, 0);
+ rflct_new_opcode(imm_opc, "Imm", false);
+ rflct_opcode_add_signature(imm_opc, sig);
+ }
}
static int firm_get_n_reg_class(void)
return ®_classes[i];
}
-static const arch_register_class_t *firm_get_irn_reg_class(const ir_node *irn)
+static const arch_register_req_t firm_std_reg_req = {
+ arch_register_req_type_normal,
+ ®_classes[CLS_DATAB],
+ { NULL }
+};
+
+static const rflct_arg_t *get_arg(const ir_node *irn, int pos)
{
- ir_mode *mode = get_irn_mode(irn);
+ int sig = rflct_get_signature(irn);
+ const rflct_arg_t *args =
+ rflct_get_args(get_irn_opcode(irn), sig, arch_pos_is_in(pos));
+ return &args[arch_pos_get_index(pos)];
+}
- if(mode_is_float(mode))
- return ®_classes[CLS_FP];
- else if(mode_is_datab(mode))
- return ®_classes[CLS_GP];
+static const arch_register_req_t *
+firm_get_irn_reg_req(const arch_irn_ops_t *self,
+ arch_register_req_t *req, const ir_node *irn, int pos)
+{
+ if(is_firm_be_mode(get_irn_mode(irn)))
+ memcpy(req, &firm_std_reg_req, sizeof(*req));
+ else
+ req = NULL;
- return NULL;
+ return req;
}
-static int firm_get_allocatable_regs(const ir_node *irn,
- const arch_register_class_t *cls, bitset_t *bs)
+static int firm_get_n_operands(const arch_irn_ops_t *self, const ir_node *irn, int in_out)
{
- int res = 0;
+ int sig;
- if(firm_get_irn_reg_class(irn) != cls) {
- if(bs)
- bitset_clear_all(bs);
- }
+ while(is_Proj(irn))
+ irn = get_Proj_pred(irn);
- else {
- int i;
+ sig = rflct_get_signature(irn);
+ return rflct_get_args_count(get_irn_opcode(irn), sig, in_out >= 0);
+}
+
+struct irn_reg_assoc {
+ const ir_node *irn;
+ int pos;
+ const arch_register_t *reg;
+};
+
+static int cmp_irn_reg_assoc(const void *a, const void *b, size_t len)
+{
+ const struct irn_reg_assoc *x = a;
+ const struct irn_reg_assoc *y = b;
+
+ return !(x->irn == y->irn && x->pos == y->pos);
+}
+
+static struct irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, int pos)
+{
+ static set *reg_set = NULL;
+ struct irn_reg_assoc templ;
+ unsigned int hash;
+
+ if(!reg_set)
+ reg_set = new_set(cmp_irn_reg_assoc, 1024);
+
+ templ.irn = irn;
+ templ.pos = pos;
+ templ.reg = NULL;
+ hash = HASH_PTR(irn) + 7 * pos;
+
+ return set_insert(reg_set, &templ, sizeof(templ), hash);
+}
+
+static void firm_set_irn_reg(const arch_irn_ops_t *self, ir_node *irn,
+ int pos, const arch_register_t *reg)
+{
+ struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, pos);
+ assoc->reg = reg;
+}
+
+static const arch_register_t *firm_get_irn_reg(const arch_irn_ops_t *self,
+ const ir_node *irn, int pos)
+{
+ struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, pos);
+ return assoc->reg;
+}
- res = cls->n_regs;
- if(bs) {
- for(i = 0; i < cls->n_regs; ++i)
- bitset_set(bs, i);
+static arch_irn_class_t firm_classify(const arch_irn_ops_t *self, const ir_node *irn)
+{
+ arch_irn_class_t res;
+
+ switch(get_irn_opcode(irn)) {
+ case iro_Cond:
+ case iro_Jmp:
+ res = arch_irn_class_branch;
+ break;
+ default:
+ res = arch_irn_class_normal;
}
+
+ return res;
+}
+
+static arch_irn_flags_t firm_get_flags(const arch_irn_ops_t *self, const ir_node *irn)
+{
+ arch_irn_flags_t res = arch_irn_flags_spillable;
+
+ if(get_irn_op(irn) == op_imm)
+ res |= arch_irn_flags_rematerializable;
+
+ switch(get_irn_opcode(irn)) {
+ case iro_Add:
+ case iro_Sub:
+ case iro_Shl:
+ case iro_Shr:
+ case iro_Shrs:
+ case iro_And:
+ case iro_Or:
+ case iro_Eor:
+ case iro_Not:
+ res |= arch_irn_flags_rematerializable;
+ default:
+ res = res;
+ }
+
+ return res;
+}
+
+static const arch_irn_ops_t irn_ops = {
+ firm_get_irn_reg_req,
+ firm_get_n_operands,
+ firm_set_irn_reg,
+ firm_get_irn_reg,
+ firm_classify,
+ firm_get_flags
+};
+
+static const arch_irn_ops_t *firm_get_irn_ops(const arch_irn_handler_t *self,
+ const ir_node *irn)
+{
+ return &irn_ops;
+}
+
+const arch_irn_handler_t firm_irn_handler = {
+ firm_get_irn_ops,
+};
+
+static ir_node *new_Push(ir_graph *irg, ir_node *bl, ir_node *push, ir_node *arg)
+{
+ ir_node *ins[2];
+ ins[0] = push;
+ ins[1] = arg;
+ return new_ir_node(NULL, irg, bl, op_push, mode_M, 2, ins);
+}
+
+/**
+ * Creates an op_Imm node from an op_Const.
+ */
+static ir_node *new_Imm(ir_graph *irg, ir_node *bl, ir_node *cnst) {
+ ir_node *ins[1];
+ ir_node *res;
+ imm_attr_t *attr;
+
+ res = new_ir_node(NULL, irg, bl, op_imm, get_irn_mode(cnst), 0, ins);
+ attr = (imm_attr_t *) &res->attr;
+
+ switch (get_irn_opcode(cnst)) {
+ case iro_Const:
+ attr->tp = imm_Const;
+ attr->data.tv = get_Const_tarval(cnst);
+ break;
+ case iro_SymConst:
+ attr->tp = imm_SymConst;
+ attr->data.symconst = cnst;
+ break;
+ case iro_Unknown:
+ break;
+ default:
+ assert(0 && "Cannot create Imm for this opcode");
}
return res;
}
-static int firm_is_reg_allocatable(const ir_node *irn, const arch_register_t *reg)
+int is_Imm(const ir_node *irn) {
+ return get_irn_op(irn) == op_imm;
+}
+
+/**
+ * Returns the tarval from an Imm node or NULL in case of a SymConst
+ */
+tarval *get_Imm_tv(ir_node *irn) {
+ imm_attr_t *attr;
+
+ assert(is_Imm(irn) && "Cannot get tv from non-Imm");
+ attr = (imm_attr_t *)get_irn_generic_attr(irn);
+ if (attr->tp == imm_Const) {
+ return attr->data.tv;
+ }
+ else
+ return NULL;
+}
+
+/**
+ * Returns the SymConst from an Imm node or NULL in case of a Const
+ */
+ir_node *get_Imm_sc(ir_node *irn) {
+ imm_attr_t *attr;
+
+ assert(is_Imm(irn) && "Cannot get SymConst from non-Imm");
+ attr = (imm_attr_t *)get_irn_generic_attr(irn);
+ if (attr->tp == imm_SymConst) {
+ return attr->data.symconst;
+ }
+ else
+ return NULL;
+}
+
+
+static void prepare_walker(ir_node *irn, void *data)
+{
+ opcode opc = get_irn_opcode(irn);
+
+ /* A replacement for this node has already been computed. */
+ if(get_irn_link(irn))
+ return;
+
+ if(opc == iro_Call) {
+ ir_node *bl = get_nodes_block(irn);
+ ir_graph *irg = get_irn_irg(bl);
+
+ ir_node *store = get_Call_mem(irn);
+ ir_node *ptr = get_Call_ptr(irn);
+ type *ct = get_Call_type(irn);
+ int np = get_Call_n_params(irn) > 0 ? 1 : 0;
+
+ if(np > 0) {
+ ir_node *ins[1];
+ char buf[128];
+ ir_node *nc;
+ ir_node *push;
+ int i, n = get_Call_n_params(irn);
+ type *nt;
+ unsigned cc = get_method_calling_convention(get_Call_type(irn));
+
+ if (cc & cc_last_on_top) {
+ store = new_Push(irg, bl, store, get_Call_param(irn, 0));
+
+ for (i = 1; i < n; ++i)
+ store = new_Push(irg, bl, store, get_Call_param(irn, i));
+ }
+ else {
+ store = new_Push(irg, bl, store, get_Call_param(irn, n - 1));
+
+ for (i = n - 2; i >= 0; --i)
+ store = new_Push(irg, bl, store, get_Call_param(irn, i));
+ }
+
+ snprintf(buf, sizeof(buf), "push_%s", get_type_name(ct));
+
+ n = get_method_n_ress(ct);
+ nt = new_type_method(new_id_from_str(buf), 0, n);
+ for(i = 0; i < n; ++i)
+ set_method_res_type(nt, i, get_method_res_type(ct, i));
+
+ nc = new_r_Call(irg, bl, store, ptr, 0, ins, nt);
+ exchange(irn, nc);
+ set_irn_link(nc, nc);
+ }
+ }
+}
+
+static void localize_const_walker(ir_node *irn, void *data)
{
- const arch_register_class_t *cls = reg->reg_class;
- ir_mode *irm = get_irn_mode(irn);
+ if(!is_Block(irn)) {
+ int i, n;
+ ir_node *bl = get_nodes_block(irn);
- if(mode_is_float(irm))
- return cls == ®_classes[CLS_FP];
- else if(mode_is_datab(irm))
- return cls == ®_classes[CLS_GP];
+ for(i = 0, n = get_irn_arity(irn); i < n; ++i) {
+ ir_node *op = get_irn_n(irn, i);
+ opcode opc = get_irn_opcode(op);
- return 0;
+ if(opc == iro_Const
+ || opc == iro_Unknown
+ || (opc == iro_SymConst /*&& get_SymConst_kind(op) == symconst_addr_ent*/)) {
+ ir_graph *irg = get_irn_irg(bl);
+ ir_node *imm_bl = is_Phi(irn) ? get_Block_cfgpred_block(bl, i) : bl;
+
+ ir_node *imm = new_Imm(irg, imm_bl, op);
+ set_irn_n(irn, i, imm);
+ }
+ }
+ }
+}
+
+static void clear_link(ir_node *irn, void *data)
+{
+ set_irn_link(irn, NULL);
+}
+
+static void firm_prepare_graph(ir_graph *irg)
+{
+ irg_walk_graph(irg, clear_link, localize_const_walker, NULL);
+ irg_walk_graph(irg, NULL, prepare_walker, NULL);
}
-const arch_isa_if_t arch_isa_if_firm = {
- firm_init,
- firm_get_n_reg_class,
- firm_get_reg_class,
- firm_get_allocatable_regs,
- firm_is_reg_allocatable,
- firm_get_irn_reg_class,
- NULL
+const arch_isa_if_t firm_isa = {
+ firm_init,
+ firm_get_n_reg_class,
+ firm_get_reg_class,
+ firm_prepare_graph,
+ &firm_irn_handler
};
projects / libfirm / blobdiff