static const arch_register_t *get_in_reg(const arch_env_t *arch_env,
const ir_node *node, int pos)
{
- ir_node *op;
- const arch_register_t *reg = NULL;
+ ir_node *op;
+ const arch_register_t *reg = NULL;
- assert(get_irn_arity(node) > pos && "Invalid IN position");
+ assert(get_irn_arity(node) > pos && "Invalid IN position");
- /* The out register of the operator at position pos is the
- in register we need. */
- op = get_irn_n(node, pos);
+ /* The out register of the operator at position pos is the
+ in register we need. */
+ op = get_irn_n(node, pos);
- reg = arch_get_irn_register(arch_env, op);
+ reg = arch_get_irn_register(arch_env, op);
- assert(reg && "no in register found");
- return reg;
+ assert(reg && "no in register found");
+ return reg;
}
/**
static const arch_register_t *get_out_reg(const arch_env_t *arch_env,
const ir_node *node, int pos)
{
- ir_node *proj;
- const arch_register_t *reg = NULL;
+ ir_node *proj;
+ const arch_register_t *reg = NULL;
- /* 1st case: irn is not of mode_T, so it has only */
- /* one OUT register -> good */
- /* 2nd case: irn is of mode_T -> collect all Projs and ask the */
- /* Proj with the corresponding projnum for the register */
+ /* 1st case: irn is not of mode_T, so it has only */
+ /* one OUT register -> good */
+ /* 2nd case: irn is of mode_T -> collect all Projs and ask the */
+ /* Proj with the corresponding projnum for the register */
- if (get_irn_mode(node) != mode_T) {
- reg = arch_get_irn_register(arch_env, node);
- } else if (is_mips_irn(node)) {
- reg = get_mips_out_reg(node, pos);
- } else {
- const ir_edge_t *edge;
-
- foreach_out_edge(node, edge) {
- proj = get_edge_src_irn(edge);
- assert(is_Proj(proj) && "non-Proj from mode_T node");
- if (get_Proj_proj(proj) == pos) {
- reg = arch_get_irn_register(arch_env, proj);
- break;
- }
- }
- }
+ if (get_irn_mode(node) != mode_T) {
+ reg = arch_get_irn_register(arch_env, node);
+ } else if (is_mips_irn(node)) {
+ reg = get_mips_out_reg(node, pos);
+ } else {
+ const ir_edge_t *edge;
+
+ foreach_out_edge(node, edge) {
+ proj = get_edge_src_irn(edge);
+ assert(is_Proj(proj) && "non-Proj from mode_T node");
+ if (get_Proj_proj(proj) == pos) {
+ reg = arch_get_irn_register(arch_env, proj);
+ break;
+ }
+ }
+ }
- assert(reg && "no out register found");
- return reg;
+ assert(reg && "no out register found");
+ return reg;
}
/*************************************************************
* |_| |_|
*************************************************************/
+/**
+ * Emit the name of the source register at given input position.
+ */
void mips_emit_source_register(mips_emit_env_t *env, const ir_node *node,
int pos)
{
be_emit_string(env->emit, arch_register_get_name(reg));
}
+/**
+ * Emit the name of the destination register at given output position.
+ */
void mips_emit_dest_register(mips_emit_env_t *env, const ir_node *node,
int pos)
{
void mips_emit_immediate(mips_emit_env_t *env, const ir_node *node)
{
- const mips_attr_t *attr;
+ const mips_attr_t *attr = get_mips_attr(node);
- attr = get_mips_attr(node);
- be_emit_tarval(env->emit, attr->tv);
+ if(attr->tv != NULL) {
+ be_emit_tarval(env->emit, attr->tv);
+ } else {
+ be_emit_cstring(env->emit, "/* TODO */ 0");
+ }
}
/*
/* call of immediate value (label) */
callee = be_Call_get_entity(node);
if(callee != NULL) {
- be_emit_ident(env->emit, get_entity_ident(callee));
+ be_emit_ident(env->emit, get_entity_ld_ident(callee));
} else {
mips_emit_source_register(env, node, be_pos_Call_ptr);
}
return buf;
}
+/**
+ * Emits a block label from the given block.
+ */
static
void mips_emit_block_label(mips_emit_env_t *env, const ir_node *block)
{
- be_emit_irprintf(env->emit, "BLOCK_%ld", get_irn_node_nr(block));
+ be_emit_irprintf(env->emit, "BLOCK_%d", get_irn_node_nr(block));
}
static void mips_emit_Jump(mips_emit_env_t *env, const ir_node *node)
be_emit_finish_line_gas(env->emit, node);
}
-ir_node *mips_get_jump_block(const ir_node* node, int projn)
+ir_node *mips_get_jump_block(const ir_node* node, long projn)
{
const ir_edge_t *oute;
for(oute = get_irn_out_edge_first(node); oute != NULL;
return NULL;
}
-void mips_emit_jump_target_proj(mips_emit_env_t *env, const ir_node *node, int projn)
+void mips_emit_jump_target_proj(mips_emit_env_t *env, const ir_node *node,
+ long projn)
{
ir_node *jumpblock = mips_get_jump_block(node, projn);
assert(jumpblock != NULL);
mips_emit_block_label(env, jumpblock);
}
+void mips_emit_jump_or_fallthrough(mips_emit_env_t *env, const ir_node *node,
+ long pn)
+{
+ ir_node *jumpblock = mips_get_jump_block(node, pn);
+ assert(jumpblock != NULL);
+
+ /* TODO: use fallthrough when possible */
+ be_emit_cstring(env->emit, "b ");
+ mips_emit_block_label(env, jumpblock);
+}
+
/************************************************************************
- * ____ _ _ _ _ *
- * / ___|_ _(_) |_ ___| |__ | |_ _ _ __ ___ _ __ *
- * \___ \ \ /\ / / | __/ __| '_ \ _ | | | | | '_ ` _ \| '_ \ *
- * ___) \ V V /| | || (__| | | | |_| | |_| | | | | | | |_) | *
- * |____/ \_/\_/ |_|\__\___|_| |_|\___/ \__,_|_| |_| |_| .__/ *
- * |_| *
+ * ____ _ _ _ _ *
+ * / ___|_ _(_) |_ ___| |__ | |_ _ _ __ ___ _ __ *
+ * \___ \ \ /\ / / | __/ __| '_ \ _ | | | | | '_ ` _ \| '_ \ *
+ * ___) \ V V /| | || (__| | | | |_| | |_| | | | | | | |_) | *
+ * |____/ \_/\_/ |_|\__\___|_| |_|\___/ \__,_|_| |_| |_| .__/ *
+ * |_| *
* *
************************************************************************/
for(i2 = lastval + 1; i2 < value; ++i2) {
be_emit_cstring(env->emit, "\t.word ");
- be_emit_ident(env->emit, attr->symconst_id);
+ be_emit_ident(env->emit, get_entity_ld_ident(attr->symconst));
be_emit_char(env->emit, '\n');
be_emit_write_line(env->emit);
}
panic("Found non-lowered node %+F while emitting", node);
}
+/**
+ * The type of a emitter function.
+ */
typedef void (*emit_func) (mips_emit_env_t *, const ir_node *);
-static void register_emitter(ir_op *op, emit_func func)
-{
+/**
+ * Set a node emitter. Make it a bit more type safe.
+ */
+static void register_emitter(ir_op *op, emit_func func) {
op->ops.generic = (op_func) func;
}
/**
* Register emitter functions for mips backend
*/
-void mips_register_emitters(void)
-{
+void mips_register_emitters(void) {
/* first clear the generic function pointer for all ops */
clear_irp_opcodes_generic_func();
/* register all emitter functions defined in spec */
mips_register_spec_emitters();
+ /* benode emitter */
register_emitter(op_be_IncSP, mips_emit_IncSP);
register_emitter(op_be_SetSP, mips_emit_this_shouldnt_happen);
register_emitter(op_be_AddSP, mips_emit_this_shouldnt_happen);
register_emitter(op_Jmp, mips_emit_Jump);
register_emitter(op_Cmp, mips_emit_this_shouldnt_happen);
register_emitter(op_Cond, mips_emit_this_shouldnt_happen);
+ register_emitter(op_Phi, mips_emit_nothing);
}
/**
*/
void mips_emit_func_prolog(mips_emit_env_t *env, ir_graph *irg)
{
- ident *irg_ident = get_entity_ident(get_irg_entity(irg));
+ ident *irg_ident = get_entity_ld_ident(get_irg_entity(irg));
be_emit_env_t *eenv = env->emit;
// dump jump tables
be_emit_cstring(eenv, "\t.balign\t4\n");
- be_emit_cstring(eenv, "\t.global\t")
+ be_emit_cstring(eenv, "\t.global\t");
be_emit_ident(eenv, irg_ident);
be_emit_char(eenv, '\n');