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-amd64.brg
diff --git a/mono/mini/inssel-amd64.brg b/mono/mini/inssel-amd64.brg
index c47838e5e45e7397bc695067cc0a49013ef9baf3..cae37504357d77d5649a437a1fe4f8a195c377cc 100644 (file)
--- a/mono/mini/inssel-amd64.brg
+++ b/mono/mini/inssel-amd64.brg
@@ -37,11 +37,6 @@
                } \
        } while (0)
 
-int cbranch_to_fcbranch (int opcode);
-int bialu_to_bialu_imm (int opcode);
-int ceq_to_fceq (int opcode);
-int call_reg_to_call_membase (int opcode);
-
 %%
 
 #
@@ -54,26 +49,31 @@ int call_reg_to_call_membase (int opcode);
 # (C) 2002 Ximian, Inc.
 #
 
-stmt: OP_START_HANDLER {
-       MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
-       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, spvar->inst_basereg, spvar->inst_offset, X86_ESP);
+reg: CEE_LDIND_I8 (OP_REGVAR) {
+       state->reg1 = state->left->tree->dreg;
+}
+
+stmt: CEE_STIND_I8 (OP_REGVAR, reg) {
+       MONO_EMIT_NEW_UNALU (s, OP_MOVE, state->left->tree->dreg, state->right->reg1);
 }
 
-stmt: CEE_ENDFINALLY {
-       MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, X86_ESP, spvar->inst_basereg, spvar->inst_offset); 
-       tree->opcode = CEE_RET;
+reg: CEE_LDIND_I1 (OP_REGVAR) {
+       MONO_EMIT_UNALU (s, tree, OP_SEXT_I1, state->reg1, state->left->tree->dreg);}
+
+reg: CEE_LDIND_I2 (OP_REGVAR) {
+       MONO_EMIT_UNALU (s, tree, OP_SEXT_I2, state->reg1, state->left->tree->dreg);}
+
+stmt: OP_START_HANDLER,
+stmt: OP_ENDFINALLY {
        mono_bblock_add_inst (s->cbb, tree);
 }
 
 stmt: OP_ENDFILTER (reg) {
-       MonoInst *spvar = mono_find_spvar_for_region (s, s->cbb->region);
-       MONO_EMIT_NEW_UNALU (s, OP_MOVE, X86_EAX, state->left->reg1);
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, X86_ESP, spvar->inst_basereg, spvar->inst_offset); 
-       tree->opcode = CEE_RET;
+       tree->sreg1 = state->left->reg1;
        mono_bblock_add_inst (s->cbb, tree);
 }
 
+freg: OP_LCONV_TO_R_UN (reg),
 freg: OP_LCONV_TO_R8 (reg) {
        tree->sreg1 = state->left->reg1;
        tree->dreg = state->reg1;
@@ -126,7 +126,7 @@ reg: OP_LOCALLOC (OP_ICONST) {
                mono_bblock_add_inst (s->cbb, tree);
        } else {
                guint32 size = state->left->tree->inst_c0;
-               size = (size + (MONO_ARCH_FRAME_ALIGNMENT - 1)) & ~ (MONO_ARCH_FRAME_ALIGNMENT - 1);
+               size = (size + (MONO_ARCH_LOCALLOC_ALIGNMENT - 1)) & ~ (MONO_ARCH_LOCALLOC_ALIGNMENT - 1);
                MONO_EMIT_NEW_BIALU_IMM (s, OP_SUB_IMM, X86_ESP, X86_ESP, size);
                MONO_EMIT_UNALU (s, tree, OP_MOVE, state->reg1, X86_ESP);
        }
@@ -202,61 +202,14 @@ stmt: OP_OUTARG (reg) {
 }
 
 stmt: OP_OUTARG_REG (reg) {    
-       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+       MonoCallInst *call = tree->inst_call;
 
-       tree->opcode = OP_SETREG;
+       tree->opcode = OP_MOVE;
        tree->sreg1 = state->left->reg1;
        tree->dreg = mono_regstate_next_int (s->rs);
        mono_bblock_add_inst (s->cbb, tree);
 
-       mono_call_inst_add_outarg_reg (call, tree->dreg, tree->unused, FALSE);
-}
-
-stmt: OP_OUTARG_REG (CEE_LDIND_I (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_REF (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_I1 (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_U1 (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_I2 (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_U2 (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_I4 (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_U4 (base)),
-stmt: OP_OUTARG_REG (CEE_LDIND_I8 (base)) {
-       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
-       guint32 dreg;
-       MonoInst *base = state->left->left->tree;
-
-       dreg = mono_regstate_next_int (s->rs);
-       MONO_EMIT_LOAD_MEMBASE_OP (s, tree, ldind_to_load_membase (state->left->tree->opcode),
-                                       dreg, base->inst_basereg, base->inst_offset);
-
-       mono_call_inst_add_outarg_reg (call, tree->dreg, tree->unused, FALSE);
-}
-
-stmt: OP_OUTARG_REG (OP_I8CONST),
-stmt: OP_OUTARG_REG (OP_ICONST) {      
-       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
-
-       tree->opcode = OP_ICONST;
-       tree->inst_c0 = state->left->tree->inst_c0;
-       tree->dreg = mono_regstate_next_int (s->rs);
-       mono_bblock_add_inst (s->cbb, tree);
-
-       mono_call_inst_add_outarg_reg (call, tree->dreg, tree->unused, FALSE);
-}
-
-stmt: OP_OUTARG_REG (CEE_LDIND_I (OP_REGVAR)),
-stmt: OP_OUTARG_REG (CEE_LDIND_I8 (OP_REGVAR)),
-stmt: OP_OUTARG_REG (CEE_LDIND_I4 (OP_REGVAR)),
-stmt: OP_OUTARG_REG (CEE_LDIND_U4 (OP_REGVAR)),
-stmt: OP_OUTARG_REG (CEE_LDIND_REF (OP_REGVAR)) {      
-       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
-
-       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 (call, tree->dreg, tree->unused, FALSE);
+       mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, FALSE);
 }
 
 # we need to reduce this code duplication with some burg syntax extension
@@ -284,20 +237,6 @@ stmt: OP_OUTARG (CEE_LDIND_I (OP_REGVAR)) {
        mono_bblock_add_inst (s->cbb, tree);
 }
 
-stmt: OP_OUTARG (CEE_LDIND_I4 (base)) {
-       tree->opcode = OP_X86_PUSH_MEMBASE;
-       tree->inst_basereg = state->left->left->tree->inst_basereg;
-       tree->inst_offset = state->left->left->tree->inst_offset;
-       mono_bblock_add_inst (s->cbb, tree);
-}
-
-stmt: OP_OUTARG (CEE_LDIND_U4 (base)) {
-       tree->opcode = OP_X86_PUSH_MEMBASE;
-       tree->inst_basereg = state->left->left->tree->inst_basereg;
-       tree->inst_offset = state->left->left->tree->inst_offset;
-       mono_bblock_add_inst (s->cbb, tree);
-}
-
 stmt: OP_OUTARG (CEE_LDIND_I (base)) {
        tree->opcode = OP_X86_PUSH_MEMBASE;
        tree->inst_basereg = state->left->left->tree->inst_basereg;
@@ -352,25 +291,25 @@ stmt: OP_OUTARG_R8 (freg) {
 }
 
 stmt: OP_AMD64_OUTARG_XMMREG_R4 (freg) {
-       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+       MonoCallInst *call = tree->inst_call;
 
        tree->opcode = OP_AMD64_SET_XMMREG_R4;
        tree->sreg1 = state->left->reg1;
        tree->dreg = mono_regstate_next_float (s->rs);
        mono_bblock_add_inst (s->cbb, tree);
 
-       mono_call_inst_add_outarg_reg (call, tree->dreg, tree->unused, TRUE);
+       mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, TRUE);
 }
 
 stmt: OP_AMD64_OUTARG_XMMREG_R8 (freg) {
-       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+       MonoCallInst *call = tree->inst_call;
 
        tree->opcode = OP_AMD64_SET_XMMREG_R8;
        tree->sreg1 = state->left->reg1;
        tree->dreg = mono_regstate_next_float (s->rs);
        mono_bblock_add_inst (s->cbb, tree);
 
-       mono_call_inst_add_outarg_reg (call, tree->dreg, tree->unused, TRUE);
+       mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, TRUE);
 }
 
 stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
@@ -380,15 +319,16 @@ stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
        if (!tree->inst_imm)
                return;
 
-       if (tree->inst_imm <= 8) {
+       if (tree->inst_imm == 8) {
+               /* Can't use this for < 8 since it does an 8 byte memory load */
                tree->opcode = OP_X86_PUSH_MEMBASE;
                tree->inst_basereg = vt->inst_basereg;
                tree->inst_offset = vt->inst_offset;
                mono_bblock_add_inst (s->cbb, tree);
        } else if (tree->inst_imm <= 20) {
                int sz = tree->inst_imm;
-               sz += 8;
-               sz &= ~8;
+               sz += 7;
+               sz &= ~7;
                MONO_EMIT_NEW_BIALU_IMM (s, OP_SUB_IMM, X86_ESP, X86_ESP, sz);
                mini_emit_memcpy (s, X86_ESP, 0, vt->inst_basereg, vt->inst_offset, tree->inst_imm, 0);
        } else {
@@ -415,6 +355,10 @@ stmt: OP_AMD64_OUTARG_ALIGN_STACK {
        MONO_EMIT_NEW_BIALU_IMM (s, OP_SUB_IMM, X86_ESP, X86_ESP, 8);
 }      
 
+stmt: OP_AMD64_SAVE_SP_TO_LMF {
+       mono_bblock_add_inst (s->cbb, tree);
+}      
+
 base: OP_INARG_VT (base) {
        MONO_EMIT_NEW_LOAD_MEMBASE (s, state->reg1, state->left->tree->inst_basereg, 
                                        state->left->tree->inst_offset);
@@ -477,7 +421,7 @@ reg: CEE_LDELEMA (reg, reg) "15" {
                tree->sreg1 = state->left->reg1;
                tree->sreg2 = reg;
                tree->inst_imm = G_STRUCT_OFFSET (MonoArray, vector);
-               tree->unused = fast_log2 [size];
+               tree->backend.shift_amount = fast_log2 [size];
                mono_bblock_add_inst (s->cbb, tree);
        } else {
                int mult_reg = mono_regstate_next_int (s->rs);
@@ -662,19 +606,19 @@ freg: OP_FCONV_TO_R4 (freg) "0" {
 reg: CEE_ADD(reg, CEE_LDIND_I4 (base)) {
        MonoInst *base = state->right->left->tree;
 
-       MONO_EMIT_BIALU_MEMBASE (cfg, tree, OP_X86_ADD_MEMBASE, state->reg1, state->left->reg1, base->inst_basereg, base->inst_offset);
+       MONO_EMIT_BIALU_MEMBASE (cfg, tree, OP_X86_ADD_REG_MEMBASE, state->reg1, state->left->reg1, base->inst_basereg, base->inst_offset);
 } 
 
 reg: CEE_SUB(reg, CEE_LDIND_I4 (base)) {
        MonoInst *base = state->right->left->tree;
 
-       MONO_EMIT_BIALU_MEMBASE (cfg, tree, OP_X86_SUB_MEMBASE, state->reg1, state->left->reg1, base->inst_basereg, base->inst_offset);
+       MONO_EMIT_BIALU_MEMBASE (cfg, tree, OP_X86_SUB_REG_MEMBASE, state->reg1, state->left->reg1, base->inst_basereg, base->inst_offset);
 } 
 
 reg: CEE_MUL(reg, CEE_LDIND_I4 (base)) {
        MonoInst *base = state->right->left->tree;
 
-       MONO_EMIT_BIALU_MEMBASE (cfg, tree, OP_X86_MUL_MEMBASE, state->reg1, state->left->reg1, base->inst_basereg, base->inst_offset);
+       MONO_EMIT_BIALU_MEMBASE (cfg, tree, OP_X86_MUL_REG_MEMBASE, state->reg1, state->left->reg1, base->inst_basereg, base->inst_offset);
 } 
 
 reg: OP_LSHL (reg, reg),
@@ -686,7 +630,11 @@ reg: OP_LDIV_UN (reg, reg),
 reg: OP_LREM (reg, reg),
 reg: OP_LREM_UN (reg, reg),
 reg: OP_LMUL_OVF (reg, reg),
-reg: OP_LMUL_OVF_UN (reg, reg) "0" {
+reg: OP_LMUL_OVF_UN (reg, reg),
+reg: OP_IMIN (reg, reg),
+reg: OP_IMAX (reg, reg),
+reg: OP_LMIN (reg, reg),
+reg: OP_LMAX (reg, reg) "0" {
        MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
 }
 
@@ -716,7 +664,6 @@ reg: OP_ATOMIC_EXCHANGE_I8 (base, reg) {
 }
 
 # Optimized call instructions
-# mono_arch_patch_delegate_trampoline depends on these
 reg: OP_CALL_REG (CEE_LDIND_I (base)),
 freg: OP_FCALL_REG (CEE_LDIND_I (base)),
 reg: OP_LCALL_REG (CEE_LDIND_I (base)) {
@@ -746,7 +693,7 @@ stmt: OP_VCALL_REG (CEE_LDIND_I (base), reg) {
 
 %%
 
-int
+static int
 bialu_to_bialu_imm (int opcode)
 {
        switch (opcode) {
@@ -765,7 +712,7 @@ bialu_to_bialu_imm (int opcode)
        return -1;
 }
 
-int
+static int
 cbranch_to_fcbranch (int opcode)
 {
        switch (opcode) {
@@ -796,7 +743,7 @@ cbranch_to_fcbranch (int opcode)
        return -1;
 }
 
-int
+static int
 ceq_to_fceq (int opcode)
 {
        switch (opcode) {
@@ -817,7 +764,7 @@ ceq_to_fceq (int opcode)
        return -1;
 }
 
-int
+static int
 call_reg_to_call_membase (int opcode)
 {
        switch (opcode) {
my mono mirror. check out Moved to http://github.com/mono/mono