#include "config.h"
#endif
+#ifdef WITH_LIBCORE
+#include <libcore/lc_opts.h>
+#endif
+
#include "bitset.h"
#include "obst.h"
#include "irmode_t.h"
#include "irnode_t.h"
+#include "iredges_t.h"
#include "irgmod.h"
#include "ircons_t.h"
#include "irgwalk.h"
#include "type.h"
+#include "../be_t.h"
#include "../bearch.h"
+#include "../besched.h"
#include "../beutil.h"
-
-#include "irreflect.h"
+#include "../beabi.h"
#define N_REGS 3
typedef struct {
enum { imm_Const, imm_SymConst } tp;
union {
- tarval *tv;
- ir_node *symconst;
+ const_attr cnst_attr;
+ symconst_attr symc_attr;
} data;
} imm_attr_t;
static arch_register_t datab_regs[N_REGS];
static arch_register_class_t reg_classes[] = {
- { "datab", N_REGS, datab_regs },
+ { "datab", N_REGS, NULL, datab_regs },
};
static ir_op *op_push;
static ir_op *op_imm;
+const arch_isa_if_t firm_isa;
+
#define N_CLASSES \
(sizeof(reg_classes) / sizeof(reg_classes[0]))
tarval *get_Imm_tv(ir_node *n) {
imm_attr_t *attr = (imm_attr_t *)get_irn_generic_attr(n);
- return attr->data.tv;
+ return attr->tp == imm_Const ? attr->data.cnst_attr.tv : NULL;
}
int is_Imm(const ir_node *irn) {
if (is_Imm(n) && attr->tp == imm_SymConst) {
const char *name = NULL;
- ir_node *old_sym = attr->data.symconst;
+ symconst_attr *sc_attr = &attr->data.symc_attr;
- switch (get_SymConst_kind(old_sym)) {
+ switch (sc_attr->num) {
case symconst_addr_name:
- name = get_id_str(get_SymConst_name(old_sym));
+ name = get_id_str(sc_attr->sym.ident_p);
break;
case symconst_addr_ent:
- name = get_entity_ld_name(get_SymConst_entity(old_sym));
+ name = get_entity_ld_name(sc_attr->sym.entity_p);
break;
default:
return bad;
}
-static void firm_init(void)
+static void *firm_init(void)
{
static struct obstack obst;
static int inited = 0;
+ arch_isa_t *isa = xmalloc(sizeof(*isa));
int k;
+ isa->impl = &firm_isa;
+
if(inited)
- return;
+ return NULL;
inited = 1;
obstack_init(&obst);
for(k = 0; k < N_CLASSES; ++k) {
- const arch_register_class_t *cls = ®_classes[k];
+ arch_register_class_t *cls = ®_classes[k];
int i;
+ cls->mode = mode_Is;
for(i = 0; i < cls->n_regs; ++i) {
int n;
char buf[8];
* 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", 0);
- 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;
+ ir_op_ops ops;
- memset(&ops, 0, sizeof(ops));
- ops.dump_node = dump_node_Imm;
+ 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", 0);
- rflct_opcode_add_signature(imm_opc, sig);
}
+
+ return isa;
+}
+
+static void firm_done(void *self)
+{
+ free(self);
}
-static int firm_get_n_reg_class(void)
+static int firm_get_n_reg_class(const void *self)
{
return N_CLASSES;
}
-static const arch_register_class_t *firm_get_reg_class(int i)
+static const arch_register_class_t *firm_get_reg_class(const void *self, int i)
{
assert(i >= 0 && i < N_CLASSES);
return ®_classes[i];
}
-static const arch_register_req_t firm_std_reg_req = {
- arch_register_req_type_normal,
- ®_classes[CLS_DATAB],
- { NULL }
+static const arch_register_class_t *firm_get_reg_class_for_mode(const void *self, const ir_mode *irm)
+{
+ return mode_is_datab(irm) ? ®_classes[CLS_DATAB] : NULL;
+}
+
+static ir_type *firm_abi_get_between_type(void *self) {
+ static ir_type *between_type = NULL;
+
+ if(!between_type) {
+ between_type = new_type_class(new_id_from_str("firm_be_between"));
+ set_type_size_bytes(between_type, 0);
+ }
+
+ return between_type;
+}
+
+static const be_abi_callbacks_t firm_abi_callbacks = {
+ NULL,
+ NULL,
+ firm_abi_get_between_type,
+ NULL,
+ NULL,
+ NULL,
};
-static const rflct_arg_t *get_arg(const ir_node *irn, int pos)
+static void firm_get_call_abi(const void *self, ir_type *method_type, be_abi_call_t *abi)
{
- 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)];
+ const arch_register_class_t *cls = ®_classes[CLS_DATAB];
+ int i, n;
+ be_abi_call_flags_t flags = { { 0, 0, 0, 0, 0 } };
+
+
+ for(i = 0, n = get_method_n_params(method_type); i < n; ++i) {
+ ir_type *t = get_method_param_type(method_type, i);
+ if(is_Primitive_type(t))
+ be_abi_call_param_reg(abi, i, &cls->regs[i]);
+ else
+ be_abi_call_param_stack(abi, i, 1, 0, 0);
+ }
+
+ for(i = 0, n = get_method_n_ress(method_type); i < n; ++i) {
+ ir_type *t = get_method_res_type(method_type, i);
+ if(is_Primitive_type(t))
+ be_abi_call_res_reg(abi, i, &cls->regs[i]);
+ }
+
+ flags.val = 0;
+ be_abi_call_set_flags(abi, flags, &firm_abi_callbacks);
}
+
+static const arch_register_req_t firm_std_reg_req = {
+ arch_register_req_type_normal,
+ ®_classes[CLS_DATAB],
+ NULL,
+ NULL
+};
+
static const arch_register_req_t *
-firm_get_irn_reg_req(const arch_irn_ops_t *self,
+firm_get_irn_reg_req(const void *self,
arch_register_req_t *req, const ir_node *irn, int pos)
{
if(is_firm_be_mode(get_irn_mode(irn)))
return req;
}
-static int firm_get_n_operands(const arch_irn_ops_t *self, const ir_node *irn, int in_out)
-{
- int sig;
-
- while(is_Proj(irn))
- irn = get_Proj_pred(irn);
-
- 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;
};
const struct irn_reg_assoc *x = a;
const struct irn_reg_assoc *y = b;
- return !(x->irn == y->irn && x->pos == y->pos);
+ return x->irn != y->irn;
}
-static struct irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, int pos)
+static struct irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn)
{
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);
+ return set_insert(reg_set, &templ, sizeof(templ), HASH_PTR(irn));
}
-static void firm_set_irn_reg(const arch_irn_ops_t *self, ir_node *irn,
- int pos, const arch_register_t *reg)
+static void firm_set_irn_reg(const void *self, ir_node *irn, const arch_register_t *reg)
{
- struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, pos);
+ struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn);
assoc->reg = reg;
}
-static const arch_register_t *firm_get_irn_reg(const arch_irn_ops_t *self,
- const ir_node *irn, int pos)
+static const arch_register_t *firm_get_irn_reg(const void *self, const ir_node *irn)
{
- struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, pos);
+ struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn);
return assoc->reg;
}
-static arch_irn_class_t firm_classify(const arch_irn_ops_t *self, const ir_node *irn)
+static arch_irn_class_t firm_classify(const void *self, const ir_node *irn)
{
arch_irn_class_t res;
case iro_Jmp:
res = arch_irn_class_branch;
break;
+ case iro_Call:
+ res = arch_irn_class_call;
+ 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)
+static arch_irn_flags_t firm_get_flags(const void *self, const ir_node *irn)
{
- arch_irn_flags_t res = arch_irn_flags_spillable;
+ arch_irn_flags_t res = 0;
if(get_irn_op(irn) == op_imm)
res |= arch_irn_flags_rematerializable;
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 void firm_set_stack_bias(const void *self, ir_node *irn, int bias)
+{
+}
+
+static entity *firm_get_frame_entity(const void *self, const ir_node *irn)
+{
+ return NULL;
+}
+
+static const arch_irn_ops_if_t firm_irn_ops_if = {
+ firm_get_irn_reg_req,
+ firm_set_irn_reg,
+ firm_get_irn_reg,
+ firm_classify,
+ firm_get_flags,
+ firm_get_frame_entity,
+ firm_set_stack_bias
};
-static const arch_irn_ops_t *firm_get_irn_ops(const arch_irn_handler_t *self,
- const ir_node *irn)
+static const arch_irn_ops_t firm_irn_ops = {
+ &firm_irn_ops_if
+};
+
+static const void *firm_get_irn_ops(const arch_irn_handler_t *self,
+ const ir_node *irn)
{
- return &irn_ops;
+ return &firm_irn_ops;
}
const arch_irn_handler_t firm_irn_handler = {
- firm_get_irn_ops,
+ firm_get_irn_ops,
};
static ir_node *new_Push(ir_graph *irg, ir_node *bl, ir_node *push, ir_node *arg)
switch (get_irn_opcode(cnst)) {
case iro_Const:
attr->tp = imm_Const;
- attr->data.tv = get_Const_tarval(cnst);
+ attr->data.cnst_attr = get_irn_const_attr(cnst);
break;
case iro_SymConst:
- attr->tp = imm_SymConst;
- attr->data.symconst = cnst;
+ attr->tp = imm_SymConst;
+ attr->data.symc_attr = get_irn_symconst_attr(cnst);
break;
case iro_Unknown:
break;
ir_node *store = get_Call_mem(irn);
ir_node *ptr = get_Call_ptr(irn);
- type *ct = get_Call_type(irn);
+ ir_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;
+ ir_type *nt;
unsigned cc = get_method_calling_convention(get_Call_type(irn));
if (cc & cc_last_on_top) {
}
}
+static const arch_irn_handler_t *firm_get_irn_handler(const void *self)
+{
+ return &firm_irn_handler;
+}
+
+typedef struct _firm_code_gen_t {
+ const arch_code_generator_if_t *impl;
+ ir_graph *irg;
+} firm_code_gen_t;
+
+
static void clear_link(ir_node *irn, void *data)
{
set_irn_link(irn, NULL);
}
-static void firm_prepare_graph(ir_graph *irg)
+static void firm_prepare_graph(void *self)
+{
+ firm_code_gen_t *cg = self;
+
+ irg_walk_graph(cg->irg, clear_link, localize_const_walker, NULL);
+ irg_walk_graph(cg->irg, NULL, prepare_walker, NULL);
+}
+
+static void firm_before_sched(void *self)
+{
+}
+
+static void imm_scheduler(ir_node *irn, void *env) {
+ if(is_Imm(irn)) {
+ const ir_edge_t *e;
+ ir_node *user, *user_block, *before, *tgt_block;
+
+ if (1 != get_irn_n_edges(irn)) {
+ printf("Out edges: %d\n", get_irn_n_edges(irn));
+ assert(1 == get_irn_n_edges(irn));
+ }
+
+ e = get_irn_out_edge_first(irn);
+ user = e->src;
+ user_block = get_nodes_block(user);
+ if (is_Phi(user)) {
+ before = get_Block_cfgpred_block(user_block, e->pos);
+ tgt_block = before;
+ } else {
+ before = user;
+ tgt_block = user_block;
+ }
+
+ sched_remove(irn);
+ set_nodes_block(irn, tgt_block);
+ sched_add_before(before, irn);
+ }
+}
+
+static void firm_before_ra(void *self)
+{
+ firm_code_gen_t *cg = self;
+ irg_walk_graph(cg->irg, imm_scheduler, NULL, NULL);
+}
+
+static void firm_after_ra(void *self)
+{
+}
+
+static void firm_codegen_done(void *self)
+{
+ free(self);
+}
+
+static void *firm_cg_init(FILE *file_handle, const be_irg_t *birg);
+
+static const arch_code_generator_if_t firm_code_gen_if = {
+ firm_cg_init,
+ NULL,
+ firm_prepare_graph,
+ firm_before_sched,
+ firm_before_ra,
+ firm_after_ra,
+ firm_codegen_done
+};
+
+static void *firm_cg_init(FILE *file_handle, const be_irg_t *birg)
{
- irg_walk_graph(irg, clear_link, localize_const_walker, NULL);
- irg_walk_graph(irg, NULL, prepare_walker, NULL);
+ firm_code_gen_t *cg = xmalloc(sizeof(*cg));
+ cg->impl = &firm_code_gen_if;
+ cg->irg = birg->irg;
+ return cg;
}
+
+static const arch_code_generator_if_t *firm_get_code_generator_if(void *self)
+{
+ return &firm_code_gen_if;
+}
+
+static const list_sched_selector_t *firm_get_list_sched_selector(const void *self) {
+ return trivial_selector;
+}
+
+#ifdef WITH_LIBCORE
+static void firm_register_options(lc_opt_entry_t *ent)
+{
+}
+#endif
+
const arch_isa_if_t firm_isa = {
+#ifdef WITH_LIBCORE
+ firm_register_options,
+#endif
firm_init,
+ firm_done,
firm_get_n_reg_class,
firm_get_reg_class,
- firm_prepare_graph,
- &firm_irn_handler,
- NULL
+ firm_get_reg_class_for_mode,
+ firm_get_call_abi,
+ firm_get_irn_handler,
+ firm_get_code_generator_if,
+ firm_get_list_sched_selector
};