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)
{
}
#endif
+void mips_emit_load_store_address(mips_emit_env_t *env, const ir_node *node,
+ int pos)
+{
+ const mips_load_store_attr_t *attr = get_mips_load_store_attr_const(node);
+
+ be_emit_irprintf(env->emit, "%d(", attr->offset);
+ mips_emit_source_register(env, node, pos);
+ be_emit_char(env->emit, ')');
+}
+
+void mips_emit_immediate_suffix(mips_emit_env_t *env, const ir_node *node,
+ int pos)
+{
+ ir_node *op = get_irn_n(node, pos);
+ if(is_mips_Immediate(op))
+ be_emit_char(env->emit, 'i');
+}
+
void mips_emit_immediate(mips_emit_env_t *env, const ir_node *node)
{
- const mips_attr_t *attr;
+ const mips_immediate_attr_t *attr = get_mips_immediate_attr_const(node);
+
+ switch(attr->imm_type) {
+ case MIPS_IMM_CONST:
+ be_emit_irprintf(env->emit, "%d", attr->val);
+ break;
+ case MIPS_IMM_SYMCONST_LO:
+ be_emit_cstring(env->emit, "%lo($");
+ be_emit_ident(env->emit, get_entity_ld_ident(attr->entity));
+ if(attr->val != 0) {
+ be_emit_irprintf(env->emit, "%+d", attr->val);
+ }
+ be_emit_char(env->emit, ')');
+ break;
+ case MIPS_IMM_SYMCONST_HI:
+ be_emit_cstring(env->emit, "%hi($");
+ be_emit_ident(env->emit, get_entity_ld_ident(attr->entity));
+ if(attr->val != 0) {
+ be_emit_irprintf(env->emit, "%+d", attr->val);
+ }
+ be_emit_char(env->emit, ')');
+ break;
+ default:
+ panic("invalid immediate type found");
+ }
+}
- attr = get_mips_attr(node);
- be_emit_tarval(env->emit, attr->tv);
+/**
+ * Emit the name of the destination register at given output position.
+ */
+void mips_emit_source_register_or_immediate(mips_emit_env_t *env,
+ const ir_node *node, int pos)
+{
+ const ir_node *op = get_irn_n(node, pos);
+ if(is_mips_Immediate(op)) {
+ mips_emit_immediate(env, op);
+ } else {
+ mips_emit_source_register(env, node, pos);
+ }
}
+#if 0
/*
* Add a number to a prefix. This number will not be used a second time.
*/
-static
-char *get_unique_label(char *buf, size_t buflen, const char *prefix)
+static char *get_unique_label(char *buf, size_t buflen, const char *prefix)
{
static unsigned long id = 0;
snprintf(buf, buflen, "%s%lu", prefix, ++id);
return buf;
}
+#endif
/************************************************************************/
/* ABI Handling */
/* 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 /| | || (__| | | | |_| | |_| | | | | | | |_) | *
+ * |____/ \_/\_/ |_|\__\___|_| |_|\___/ \__,_|_| |_| |_| .__/ *
+ * |_| *
* *
************************************************************************/
+#if 0
/* jump table entry (target and corresponding number) */
typedef struct _branch_t {
ir_node *target;
/**
* Compare two variables of type branch_t. Used to sort all switch cases
*/
-static int mips_cmp_branch_t(const void *a, const void *b) {
+static int mips_cmp_branch_t(const void *a, const void *b)
+{
branch_t *b1 = (branch_t *)a;
branch_t *b2 = (branch_t *)b;
* possible otherwise a cmp-jmp cascade). Stolen from ia32
*/
void emit_mips_jump_table(mips_emit_env_t *env, const ir_node *irn) {
- int lastval, i, i2, pn;
- jmp_tbl_t tbl;
- ir_node *proj;
- const ir_edge_t *edge;
- mips_attr_t *attr = get_mips_attr(irn);
+ int lastval, i, i2, pn;
+ jmp_tbl_t tbl;
+ ir_node *proj;
+ const ir_edge_t *edge;
+ const mips_attr_t *attr = get_mips_attr_const(irn);
/* fill the table structure */
tbl.label = xmalloc(SNPRINTF_BUF_LEN);
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);
}
be_emit_write_line(env->emit);
}
}
+#endif
/***********************************************************************************
* _ __ _
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
- irg_walk_graph(irg, NULL, dump_jump_tables, env);
+ //irg_walk_graph(irg, NULL, dump_jump_tables, env);
be_emit_write_line(eenv);
be_gas_emit_switch_section(eenv, GAS_SECTION_TEXT);
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');
{
ir_node *pred;
int n = get_Block_n_cfgpreds(block);
+ (void) env;
for (n--; n >= 0; n--) {
pred = get_Block_cfgpred(block, n);