# guint32 sreg2 = mips_zero;
#
# if (state->left->right->tree->inst_c0) {
-# MONO_EMIT_NEW_UNALU (s, OP_SETREGIMM, mips_at,
+# MONO_EMIT_NEW_UNALU (s, OP_ICONST, mips_at,
# state->left->right->tree->inst_c0);
# sreg2 = mips_at;
# }
# guint32 sreg2 = mips_zero;
#
# if (state->left->right->tree->inst_c0) {
-# MONO_EMIT_NEW_UNALU (s, OP_SETREGIMM, mips_at, state->left->right->tree->inst_c0);
+# MONO_EMIT_NEW_UNALU (s, OP_ICONST, mips_at, state->left->right->tree->inst_c0);
# sreg2 = mips_at;
# }
# tree->opcode = OP_MIPS_BEQ;
# guint32 sreg2 = mips_zero;
#
# if (state->left->right->tree->inst_c0) {
-# MONO_EMIT_NEW_UNALU (s, OP_SETREGIMM, mips_at, state->left->right->tree->inst_c0);
+# MONO_EMIT_NEW_UNALU (s, OP_ICONST, mips_at, state->left->right->tree->inst_c0);
# sreg2 = mips_at;
# }
# tree->opcode = OP_MIPS_BEQ;
# guint32 sreg2 = mips_zero;
#
# if (state->left->right->tree->inst_c0) {
-# MONO_EMIT_NEW_UNALU (s, OP_SETREGIMM, mips_at,
+# MONO_EMIT_NEW_UNALU (s, OP_ICONST, mips_at,
# state->left->right->tree->inst_c0);
# sreg2 = mips_at;
# }
mono_bblock_add_inst (s->cbb, tree);
}
-stmt: CEE_ENDFINALLY {
+stmt: OP_ENDFINALLY {
MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
tree->inst_left = spvar;
mono_bblock_add_inst (s->cbb, tree);
mono_bblock_add_inst (s->cbb, tree);
}
-stmt: CEE_SWITCH (reg) {
+stmt: OP_SWITCH (reg) {
MonoInst *label;
int n = GPOINTER_TO_INT (tree->klass);
if (mips_is_imm16 (n))
MONO_EMIT_NEW_BIALU_IMM (s, OP_MIPS_SLTIU, mips_at, state->left->reg1, n);
else {
- MONO_EMIT_NEW_UNALU (s, OP_SETREGIMM, mips_at, n);
+ MONO_EMIT_NEW_UNALU (s, OP_ICONST, mips_at, n);
MONO_EMIT_NEW_BIALU (s, OP_MIPS_SLTU, mips_at, state->left->reg1, mips_at);
}
MONO_EMIT_NEW_BIALU_IMM (s, OP_MIPS_XORI, mips_at, mips_at, 1);
stmt: CEE_STIND_I8 (OP_REGVAR, lreg) {
/* this should only happen for methods returning a long */
- MONO_EMIT_NEW_UNALU (s, OP_MOVE, mips_v0, state->right->reg1);
- MONO_EMIT_NEW_UNALU (s, OP_MOVE, mips_v1, state->right->reg2);
+ if (G_BYTE_ORDER == G_LITTLE_ENDIAN) {
+ MONO_EMIT_NEW_UNALU (s, OP_MOVE, mips_v0, state->right->reg2);
+ MONO_EMIT_NEW_UNALU (s, OP_MOVE, mips_v1, state->right->reg1);
+ } else {
+ MONO_EMIT_NEW_UNALU (s, OP_MOVE, mips_v0, state->right->reg1);
+ MONO_EMIT_NEW_UNALU (s, OP_MOVE, mips_v1, state->right->reg2);
+ }
}
freg: OP_LCONV_TO_R8 (lreg) {
stmt: OP_SETRET (lreg) {
tree->opcode = OP_SETLRET;
- tree->sreg1 = state->left->reg1;
- tree->sreg2 = state->left->reg2;
+ if (G_BYTE_ORDER == G_LITTLE_ENDIAN) {
+ tree->sreg1 = state->left->reg2;
+ tree->sreg2 = state->left->reg1;
+ } else {
+ tree->sreg1 = state->left->reg1;
+ tree->sreg2 = state->left->reg2;
+ }
tree->dreg = mips_v0;
mono_bblock_add_inst (s->cbb, tree);
}
stmt: OP_SETRET (freg) {
- tree->opcode = OP_FMOVE;
+ if (mono_method_signature (s->method)->ret->type == MONO_TYPE_R4) {
+ tree->opcode = OP_MIPS_CVTSD;
+ } else {
+ tree->opcode = OP_FMOVE;
+ }
tree->sreg1 = state->left->reg1;
tree->dreg = mips_f0;
mono_bblock_add_inst (s->cbb, tree);
stmt: OP_OUTARG (reg) {
MonoCallInst *call = tree->inst_call;
- tree->opcode = OP_SETREG;
+ tree->opcode = OP_MOVE;
tree->dreg = mono_regstate_next_int (s->rs);
tree->sreg1 = state->left->reg1;
mono_bblock_add_inst (s->cbb, tree);
stmt: OP_OUTARG (OP_REGVAR) {
MonoCallInst *call = tree->inst_call;
- tree->opcode = OP_SETREG;
+ tree->opcode = OP_MOVE;
tree->dreg = mono_regstate_next_int (s->rs);
tree->sreg1 = state->left->tree->dreg;
mono_bblock_add_inst (s->cbb, tree);
MonoCallInst *call = tree->inst_call;
int tdreg = mono_regstate_next_int (s->rs);
- MONO_EMIT_NEW_UNALU (s, OP_SETREG, tdreg, state->left->reg2);
+ if (G_BYTE_ORDER == G_LITTLE_ENDIAN)
+ MONO_EMIT_NEW_UNALU (s, OP_MOVE, tdreg, state->left->reg1);
+ else
+ MONO_EMIT_NEW_UNALU (s, OP_MOVE, tdreg, state->left->reg2);
mono_call_inst_add_outarg_reg (s, call, tdreg, tree->backend.reg3, FALSE);
- tree->opcode = OP_SETREG;
+ tree->opcode = OP_MOVE;
tree->dreg = mono_regstate_next_int (s->rs);
- tree->sreg1 = state->left->reg1;
+ if (G_BYTE_ORDER == G_LITTLE_ENDIAN)
+ tree->sreg1 = state->left->reg2;
+ else
+ tree->sreg1 = state->left->reg1;
mono_bblock_add_inst (s->cbb, tree);
mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3 + 1, FALSE);
}
stmt: OP_OUTARG (OP_ICONST) {
MonoCallInst *call = tree->inst_call;
- tree->opcode = OP_SETREGIMM;
+ tree->opcode = OP_ICONST;
tree->dreg = mono_regstate_next_int (s->rs);
tree->inst_c0 = state->left->tree->inst_c0;
mono_bblock_add_inst (s->cbb, tree);
stmt: OP_OUTARG (CEE_LDIND_REF (OP_REGVAR)) {
MonoCallInst *call = tree->inst_call;
- tree->opcode = OP_SETREG;
+ tree->opcode = OP_MOVE;
tree->dreg = mono_regstate_next_int (s->rs);
tree->sreg1 = state->left->left->tree->dreg;
mono_bblock_add_inst (s->cbb, tree);
mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, FALSE);
}
-stmt: OP_OUTARG (CEE_LDIND_REF (OP_REGVAR)) {
- MonoCallInst *call = tree->inst_call;
-
- tree->opcode = OP_SETREG;
- tree->sreg1 = state->left->left->tree->dreg;
- tree->dreg = mono_regstate_next_int (s->rs);
- mono_bblock_add_inst (s->cbb, tree);
- mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, FALSE);
-}
-
-
#
# FP calculation being passed in GP registers
# Need to get FP bit pattern out in GP regs w/o conversion
/* MONO_EMIT_NEW_UNALU (s, OP_FCONV_TO_R4, mips_ftemp, state->left->reg1); */
/* MONO_EMIT_NEW_UNALU (s, OP_MIPS_MFC1S, tree->unused & 0xff, mips_ftemp); */
- tree->opcode = OP_SETFREG;
+ tree->opcode = OP_FMOVE;
tree->dreg = mono_regstate_next_float (s->rs);
tree->sreg1 = state->left->reg1;
mono_bblock_add_inst (s->cbb, tree);
tmpr = mono_regstate_next_float (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADR4_MEMBASE, tmpr, vt->inst_basereg, soffset);
dreg = mono_regstate_next_float (s->rs);
- MONO_EMIT_NEW_UNALU (s, OP_SETFREG, dreg, tmpr);
+ MONO_EMIT_NEW_UNALU (s, OP_FMOVE, dreg, tmpr);
mono_call_inst_add_outarg_reg (s, call, dreg, tree->backend.reg3, TRUE);
}
#
stmt: OP_OUTARG_MEMBASE (CEE_LDIND_R4 (base)) {
MonoMIPSArgInfo *ai = tree->backend.data;
- MonoCallInst *call = tree->inst_call;
- int opcode = (tree->backend.arg_info & 0xff00) == 0x0400? OP_STORER4_MEMBASE_REG: OP_STORER8_MEMBASE_REG;
+ int opcode = ai->size == 4? OP_STORER4_MEMBASE_REG: OP_STORER8_MEMBASE_REG;
+ MONO_EMIT_NEW_LOAD_MEMBASE_OP(s, OP_LOADR4_MEMBASE, state->left->reg1, state->left->left->tree->inst_basereg, state->left->left->tree->inst_offset);
MONO_EMIT_NEW_STORE_MEMBASE (s, opcode, mips_sp, ai->offset, state->left->reg1);
}
# mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, TRUE);
#}
-stmt: OP_OUTARG_MEMBASE (CEE_LDIND_R4 (base)) {
- MonoMIPSArgInfo *ai = tree->backend.data;
- int opcode = (tree->backend.arg_info & 0xff00) == 0x0400? OP_STORER4_MEMBASE_REG: OP_STORER8_MEMBASE_REG;
-
- MONO_EMIT_NEW_STORE_MEMBASE (s, opcode, mips_sp, ai->offset, state->left->reg1);
-}
-
#
# single-precision floating point constant in a gp register.
#
int soffset = vt->inst_offset;
int doffset = ai->offset;
+ //g_printf ("OP_OUTARG_VT: LDOBJ\n");
for (i = 0; i < nregs; ++i) {
dreg = mono_regstate_next_int (s->rs);
MONO_EMIT_NEW_LOAD_MEMBASE (s, dreg, vt->inst_basereg, soffset);
mono_call_inst_add_outarg_reg (s, call, dreg, start_reg + i, FALSE);
soffset += sizeof (gpointer);
- doffset += sizeof (gpointer);
}
- //g_print ("vt size: %d at R%d + %d\n", ai->offset, vt->inst_basereg, vt->inst_offset);
+ //g_printf ("vt size: %d at R%d + %d\n", ai->offset, vt->inst_basereg, vt->inst_offset);
if (ovf_size != 0) {
- mini_emit_memcpy (s, vt->inst_basereg, doffset, vt->inst_basereg, soffset, ovf_size * sizeof (gpointer), 0);
+ mini_emit_memcpy (s, mips_sp, doffset, vt->inst_basereg, soffset, ovf_size * sizeof (gpointer), 0);
}
}
MonoMIPSArgInfo *ai = tree->backend.data;
int start_reg = ai->reg;
int nregs = ai->size;
+
+ //g_printf ("OP_OUTARG_VT: ICONST\n");
if (nregs) {
- tree->opcode = OP_SETREGIMM;
+ tree->opcode = OP_ICONST;
tree->dreg = mono_regstate_next_int (s->rs);
tree->inst_c0 = state->left->tree->inst_c0;
mono_bblock_add_inst (s->cbb, tree);
MonoMIPSArgInfo *ai = tree->backend.data;
int start_reg = ai->reg;
int nregs = ai->size;
+
+ //g_printf ("OP_OUTARG_VT: reg\n");
if (nregs) {
- tree->opcode = OP_SETREG;
+ tree->opcode = OP_MOVE;
tree->dreg = mono_regstate_next_int (s->rs);
tree->sreg1 = state->left->reg1;
mono_bblock_add_inst (s->cbb, tree);
}
reg: CEE_ADD_OVF (reg, reg) "0" {
- MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+ int tmp1 = mono_regstate_next_int (s->rs);
+ int tmp2 = mono_regstate_next_int (s->rs);
+ int tmp3 = mono_regstate_next_int (s->rs);
+ int tmp4 = mono_regstate_next_int (s->rs);
+ int tmp5 = mono_regstate_next_int (s->rs);
+
+ /* add the operands */
+
+ MONO_EMIT_NEW_BIALU (s, CEE_ADD, state->reg1, state->left->reg1, state->right->reg1);
+
+ /* Overflow happens if
+ * neg + neg = pos or
+ * pos + pos = neg
+ *
+ * (bit31s of operands match) AND (bit31 of operand != bit31 of result)
+ * XOR of the high bit returns 0 if the signs match
+ * XOR of that with the high bit of the result return 1 if overflow.
+ */
+
+ /* tmp1 = 0 if the signs of the two inputs match, 1 otherwise */
+ MONO_EMIT_NEW_BIALU (s, CEE_XOR, tmp1, state->left->reg1, state->right->reg1);
+
+ /* set tmp2 = 0 if bit31 of results matches is different than the operands */
+ MONO_EMIT_NEW_BIALU (s, CEE_XOR, tmp2, state->reg1, state->right->reg1);
+ MONO_EMIT_NEW_UNALU (s, CEE_NOT, tmp3, tmp2);
+
+ /* OR(tmp1, tmp2) = 0 if both conditions are true */
+ MONO_EMIT_NEW_BIALU (s, CEE_OR, tmp4, tmp3, tmp1);
+
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_SHR_IMM, tmp5, tmp4, 31);
+
+ /* Now, if (tmp4 == 0) then overflow */
+ MONO_EMIT_NEW_COMPARE_EXC (s, EQ, tmp5, mips_zero, "OverflowException");
}
reg: CEE_ADD_OVF_UN (reg, reg) "0" {
- MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+ int tmp1 = mono_regstate_next_int (s->rs);
+
+ MONO_EMIT_NEW_BIALU (s, CEE_ADD, state->reg1, state->left->reg1, state->right->reg1);
+ MONO_EMIT_NEW_BIALU (s, OP_MIPS_SLTU, tmp1, state->reg1, state->left->reg1);
+/* MONO_EMIT_NEW_COMPARE_EXC (s, NE_UN, tmp1, mips_zero, "OverflowException"); */
}
reg: CEE_SUB_OVF (reg, reg) "0" {
- MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+ int tmp1 = mono_regstate_next_int (s->rs);
+ int tmp2 = mono_regstate_next_int (s->rs);
+ int tmp3 = mono_regstate_next_int (s->rs);
+ int tmp4 = mono_regstate_next_int (s->rs);
+ int tmp5 = mono_regstate_next_int (s->rs);
+
+ MONO_EMIT_NEW_BIALU (s, CEE_SUB, state->reg1, state->left->reg1, state->right->reg1);
+
+ /* Overflow happens if
+ * neg - pos = pos or
+ * pos - neg = neg
+ * XOR of bit31 of the lhs & rhs = 1 if the signs are different
+ *
+ * tmp1 = (lhs ^ rhs)
+ * tmp2 = (lhs ^ result)
+ * if ((tmp1 < 0) & (tmp2 < 0)) then overflow
+ */
+
+ /* tmp3 = 1 if the signs of the two inputs differ */
+ MONO_EMIT_NEW_BIALU (s, CEE_XOR, tmp1, state->left->reg1, state->right->reg1);
+ MONO_EMIT_NEW_BIALU (s, CEE_XOR, tmp2, state->left->reg1, state->reg1);
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_MIPS_SLTI, tmp3, tmp1, 0);
+ MONO_EMIT_NEW_BIALU_IMM (s, OP_MIPS_SLTI, tmp4, tmp2, 0);
+ MONO_EMIT_NEW_BIALU (s, CEE_AND, tmp5, tmp4, tmp3);
+
+ MONO_EMIT_NEW_COMPARE_EXC (s, NE_UN, tmp5, mips_zero, "OverflowException");
}
reg: CEE_SUB_OVF_UN (reg, reg) "0" {
- MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+ int tmp1 = mono_regstate_next_int (s->rs);
+
+ MONO_EMIT_NEW_BIALU (s, CEE_SUB, state->reg1, state->left->reg1, state->right->reg1);
+ MONO_EMIT_NEW_BIALU (s, OP_MIPS_SLTU, tmp1, state->left->reg1, state->reg1);
+ MONO_EMIT_NEW_COMPARE_EXC (s, NE_UN, tmp1, mips_zero, "OverflowException");
}