projects / mono.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
2008-04-08 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / inssel-ppc.brg
diff --git a/mono/mini/inssel-ppc.brg b/mono/mini/inssel-ppc.brg
index 26d63f92f563f02e507c0b031fd4071459ce174e..c19fb0da945413932b670254d16bcb506bfbead5 100644 (file)
--- a/mono/mini/inssel-ppc.brg
+++ b/mono/mini/inssel-ppc.brg
@@ -1,3 +1,12 @@
+#define MONO_EMIT_NEW_LOAD_R8(cfg,dr,addr) do { \
+               MonoInst *inst; \
+               inst = mono_mempool_alloc0 ((cfg)->mempool, sizeof (MonoInst)); \
+               inst->opcode = OP_R8CONST; \
+               inst->dreg = dr; \
+               inst->inst_p0 = addr; \
+               mono_bblock_add_inst (cfg->cbb, inst); \
+       } while (0)
+
 %%
 
 #
@@ -18,7 +27,7 @@ stmt: OP_START_HANDLER {
        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);
@@ -31,6 +40,23 @@ stmt: OP_ENDFILTER (reg) {
        mono_bblock_add_inst (s->cbb, tree);
 }
 
+reg: CEE_REM_UN (reg, reg),
+reg: CEE_REM (reg, reg) "0" {
+       int div_result = mono_regstate_next_int (s->rs);
+       int mul_result = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_BIALU (s, (tree->opcode == CEE_REM_UN?CEE_DIV_UN:CEE_DIV), div_result, state->left->reg1, state->right->reg1);
+       MONO_EMIT_NEW_BIALU (s, CEE_MUL, mul_result, div_result, state->right->reg1);
+       MONO_EMIT_NEW_BIALU (s, CEE_SUB, state->reg1, state->left->reg1, mul_result);
+}
+
+freg: OP_CKFINITE (freg) "0" {
+       int msw_reg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER8_MEMBASE_REG, ppc_sp, -8, state->left->reg1);
+       MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI4_MEMBASE, msw_reg, ppc_sp, -8);
+       MONO_EMIT_NEW_UNALU (s, OP_CHECK_FINITE, -1, msw_reg);
+       MONO_EMIT_NEW_UNALU (s, OP_FMOVE, state->reg1, state->left->reg1);
+}
+
 lreg: OP_LADD_OVF (lreg, lreg) "0" {
        /* ADC sets the condition code */
        MONO_EMIT_NEW_BIALU (s, OP_ADDCC, state->reg1, state->left->reg1, state->right->reg1);
@@ -80,10 +106,34 @@ freg: OP_LCONV_TO_R4 (lreg) {
        mono_bblock_add_inst (s->cbb, tree);
 }
 
-freg: CEE_CONV_R_UN (reg) {
-       tree->dreg = state->reg1;
-       tree->sreg1 = state->left->reg1;
-       mono_bblock_add_inst (s->cbb, tree);
+freg: CEE_CONV_R_UN (reg) "1" {
+       static const guint64 adjust_val = 0x4330000000000000ULL;
+       int msw_reg = mono_regstate_next_int (s->rs);
+       int adj_reg = mono_regstate_next_float (s->rs);
+       int tmp_reg = mono_regstate_next_float (s->rs);
+       MONO_EMIT_NEW_ICONST (s, msw_reg, 0x43300000);
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI4_MEMBASE_REG, ppc_sp, -8, msw_reg);
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI4_MEMBASE_REG, ppc_sp, -4, state->left->reg1);
+       MONO_EMIT_NEW_LOAD_R8 (s, adj_reg, &adjust_val);
+       MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADR8_MEMBASE, tmp_reg, ppc_sp, -8);
+       MONO_EMIT_BIALU (s, tree, OP_FSUB, state->reg1, tmp_reg, adj_reg);
+}
+
+freg: CEE_CONV_R8 (reg),
+freg: CEE_CONV_R4 (reg) "1" {
+       /* FIXME: change precision for CEE_CONV_R4 */
+       static const guint64 adjust_val = 0x4330000080000000ULL;
+       int msw_reg = mono_regstate_next_int (s->rs);
+       int xored = mono_regstate_next_int (s->rs);
+       int adj_reg = mono_regstate_next_float (s->rs);
+       int tmp_reg = mono_regstate_next_float (s->rs);
+       MONO_EMIT_NEW_ICONST (s, msw_reg, 0x43300000);
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI4_MEMBASE_REG, ppc_sp, -8, msw_reg);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_XOR_IMM, xored, state->left->reg1, 0x80000000);
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STOREI4_MEMBASE_REG, ppc_sp, -4, xored);
+       MONO_EMIT_NEW_LOAD_R8 (s, adj_reg, &adjust_val);
+       MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADR8_MEMBASE, tmp_reg, ppc_sp, -8);
+       MONO_EMIT_BIALU (s, tree, OP_FSUB, state->reg1, tmp_reg, adj_reg);
 }
 
 reg: OP_LOCALLOC (OP_ICONST) {
@@ -184,7 +234,7 @@ stmt: OP_OUTARG_MEMBASE (freg) {
 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);
@@ -194,7 +244,7 @@ stmt: OP_OUTARG (reg) {
 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);
@@ -205,9 +255,9 @@ stmt: OP_OUTARG (lreg) {
        MonoCallInst *call = tree->inst_call;
        int tdreg = mono_regstate_next_int (s->rs);
 
-       MONO_EMIT_NEW_UNALU (s, OP_SETREG, tdreg, state->left->reg2);
+       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;
        mono_bblock_add_inst (s->cbb, tree);
@@ -217,7 +267,7 @@ stmt: OP_OUTARG (lreg) {
 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);
@@ -227,7 +277,7 @@ stmt: OP_OUTARG (OP_ICONST) {
 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);
@@ -244,7 +294,7 @@ stmt: OP_OUTARG_R8 (freg),
 stmt: OP_OUTARG (freg) {
        MonoCallInst *call = tree->inst_call;
 
-       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);
@@ -261,7 +311,7 @@ stmt: OP_OUTARG_R8 (CEE_LDOBJ (base)) {
        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);
 }
 
@@ -288,7 +338,7 @@ stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
                else
                        MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADI2_MEMBASE, tmpr, vt->inst_basereg, soffset);
                dreg = mono_regstate_next_int (s->rs);
-               MONO_EMIT_NEW_UNALU (s, OP_SETREG, dreg, tmpr);
+               MONO_EMIT_NEW_UNALU (s, OP_MOVE, dreg, tmpr);
                mono_call_inst_add_outarg_reg (s, call, dreg, start_reg, FALSE);
        } else
 #endif
@@ -296,7 +346,7 @@ stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
                tmpr = mono_regstate_next_int (s->rs);
                MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, vt->inst_basereg, soffset);
                dreg = mono_regstate_next_int (s->rs);
-               MONO_EMIT_NEW_UNALU (s, OP_SETREG, dreg, tmpr);
+               MONO_EMIT_NEW_UNALU (s, OP_MOVE, dreg, tmpr);
                mono_call_inst_add_outarg_reg (s, call, dreg, start_reg + i, FALSE);
                soffset += sizeof (gpointer);
        }
@@ -312,7 +362,7 @@ stmt: OP_OUTARG_VT (OP_ICONST) {
        int start_reg = ai->reg;
        int nregs = ai->size;
        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);
@@ -328,7 +378,7 @@ stmt: OP_OUTARG_VT (reg) {
        int start_reg = ai->reg;
        int nregs = ai->size;
        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);
my mono mirror. check out Moved to http://github.com/mono/mono