#include "ircons_t.h"
#include "irgwalk.h"
#include "type.h"
+#include "irtools.h"
+#include "../be_t.h"
#include "../bearch.h"
#include "../besched.h"
#include "../beutil.h"
+#include "../beabi.h"
#define N_REGS 3
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;
return bad;
}
-static void *firm_init(void)
+static void *firm_init(FILE *outfile)
{
static struct obstack obst;
static int inited = 0;
- arch_isa_t *isa = malloc(sizeof(*isa));
+ arch_isa_t *isa = xmalloc(sizeof(*isa));
int k;
- isa->impl = &firm_isa;
+ isa->impl = &firm_isa;
if(inited)
return NULL;
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];
return ®_classes[i];
}
+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 void firm_get_call_abi(const void *self, ir_type *method_type, be_abi_call_t *abi)
+{
+ 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,
+ 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 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, 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);
assoc->reg = reg;
}
-static const arch_register_t *firm_get_irn_reg(const arch_irn_ops_t *self, const ir_node *irn)
+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);
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_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_irn_ops = {
+ &firm_irn_ops_if
};
-static const arch_irn_ops_t *firm_get_irn_ops(const arch_irn_handler_t *self,
- const ir_node *irn)
+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)
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) {
char buf[128];
ir_node *nc;
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) {
} firm_code_gen_t;
-static void clear_link(ir_node *irn, void *data)
-{
- set_irn_link(irn, NULL);
-}
-
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, firm_clear_link, localize_const_walker, NULL);
irg_walk_graph(cg->irg, NULL, prepare_walker, NULL);
}
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, ir_graph *irg, const arch_env_t *env);
+static void *firm_cg_init(const be_irg_t *birg);
-static const arch_code_generator_if_t firm_code_gen = {
+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, ir_graph *irg, const arch_env_t *env)
+static void *firm_cg_init(const be_irg_t *birg)
{
- firm_code_gen_t *cg = malloc(sizeof(*cg));
- cg->impl = &firm_code_gen;
- cg->irg = irg;
+ 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(void *self)
+static const arch_code_generator_if_t *firm_get_code_generator_if(void *self)
{
- return &firm_code_gen;
+ return &firm_code_gen_if;
}
static const list_sched_selector_t *firm_get_list_sched_selector(const void *self) {
return trivial_selector;
}
+/**
+ * Returns the necessary byte alignment for storing a register of given class.
+ */
+static int firm_get_reg_class_alignment(const void *self, const arch_register_class_t *cls) {
+ ir_mode *mode = arch_register_class_mode(cls);
+ return get_mode_size_bytes(mode);
+}
+
+/**
+ * Returns the libFirm configuration parameter for this backend.
+ */
+static const backend_params *firm_get_libfirm_params(void) {
+ static arch_dep_params_t ad = {
+ 1, /* allow subs */
+ 0, /* Muls are fast enough on Firm */
+ 31, /* shift would be ok */
+ 0, /* no Mulhs */
+ 0, /* no Mulhu */
+ 0, /* no Mulh */
+ };
+ static backend_params p = {
+ NULL, /* no additional opcodes */
+ NULL, /* will be set later */
+ 0, /* no dword lowering */
+ NULL, /* no creator function */
+ };
+
+ p.dep_param = &ad;
+ return &p;
+}
+
#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_get_reg_class_for_mode,
+ firm_get_call_abi,
firm_get_irn_handler,
- firm_get_code_generator,
- firm_get_list_sched_selector
+ firm_get_code_generator_if,
+ firm_get_list_sched_selector,
+ firm_get_reg_class_alignment,
+ firm_get_libfirm_params,
+#ifdef WITH_LIBCORE
+ firm_register_options,
+#endif
};
projects / libfirm / blobdiff