2008-08-22 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / inssel-s390.brg
index 9c4bfc01bc5b66315857b555b29a2929fcaf2b95..74758869c9171d4bbdb390ce465f099e226b2f4b 100644 (file)
@@ -17,7 +17,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);
@@ -30,17 +30,86 @@ stmt: OP_ENDFILTER (reg) {
        mono_bblock_add_inst (s->cbb, tree);
 }
 
+lreg: OP_LADD (lreg, lreg),
+lreg: OP_LADD_OVF (lreg, lreg),
+lreg: OP_LADD_OVF_UN (lreg, lreg),
+lreg: OP_LSUB (lreg, lreg),
+lreg: OP_LSUB_OVF (lreg, lreg),
+lreg: OP_LSUB_OVF_UN (lreg, lreg) "0" {
+       MONO_EMIT_NEW_UNALU (s, OP_MOVE, s390_r0, state->left->reg1);
+       MONO_EMIT_NEW_UNALU (s, OP_MOVE, s390_r1, state->left->reg2);
+       tree->dreg    = state->reg1;
+       tree->sreg1   = state->right->reg1;
+       tree->sreg2   = state->right->reg2;
+       mono_bblock_add_inst (s->cbb, tree);
+}
+
+lreg: OP_LADD (lreg, i8con) "0" {
+       MONO_EMIT_NEW_ICONST (s, s390_r0, state->right->tree->inst_ls_word);
+       MONO_EMIT_NEW_ICONST (s, s390_r1, state->right->tree->inst_ms_word);
+       tree->dreg    = state->reg1;
+       tree->sreg1   = state->left->reg1;
+       tree->sreg2   = state->left->reg2;
+       mono_bblock_add_inst (s->cbb, tree);
+}
+
+lreg: OP_LSUB (lreg, i8con) "0" {
+       int rh,rl;
+
+       MONO_EMIT_NEW_UNALU (s, OP_MOVE, s390_r0, state->left->reg1);
+       MONO_EMIT_NEW_UNALU (s, OP_MOVE, s390_r1, state->left->reg2);
+       rh = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_ICONST (s, rh, state->right->tree->inst_ls_word);
+       rl = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_ICONST (s, rl, state->right->tree->inst_ms_word);
+       tree->dreg    = state->reg1;
+       tree->sreg1   = rh;
+       tree->sreg2   = rl;
+       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);
+}
+
+reg: CEE_ADD_OVF_UN (reg, reg) "0" {
+       MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+}
+
+reg: CEE_SUB_OVF (reg, reg) "0" {
+       MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+}
+
+reg: CEE_SUB_OVF_UN (reg, reg) "0" {
+       MONO_EMIT_BIALU (s, tree, tree->opcode, state->reg1, state->left->reg1, state->right->reg1);
+}
+
 stmt: CEE_STIND_I8 (OP_REGVAR, lreg) {
+       /*------------------------------------------------------*/
        /* this should only happen for methods returning a long */
+       /* S/390 ABI uses r2/r3 for returning 64-bit integers   */
+       /*------------------------------------------------------*/
        MONO_EMIT_NEW_UNALU (s, OP_MOVE, s390_r2, state->right->reg1);
        MONO_EMIT_NEW_UNALU (s, OP_MOVE, s390_r3, state->right->reg2);
 }
 
 freg: OP_LCONV_TO_R8 (lreg) {
+       tree->dreg = state->reg1;
+       tree->sreg1 = state->left->reg1;
+       tree->sreg2 = state->left->reg2;
        mono_bblock_add_inst (s->cbb, tree);
 }
 
 freg: OP_LCONV_TO_R4 (lreg) {
+       tree->dreg = state->reg1;
+       tree->sreg1 = state->left->reg1;
+       tree->sreg2 = state->left->reg2;
+       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);
 }
 
@@ -48,6 +117,23 @@ freg: CEE_CONV_R_UN (reg) {
        mono_bblock_add_inst (s->cbb, tree);
 }
 
+stmt: OP_MEMCPY (reg, reg) "0" {
+       int size = tree->backend.memcpy_args->size;
+       if (size > 0) 
+               MONO_EMIT_NEW_MOVE (s, state->left->reg1, 0, 
+                                   state->right->reg1, 0, size);
+}
+
+stmt: OP_MEMCPY (base, base) "0" {
+       int size = tree->backend.memcpy_args->size;
+       if (size > 0)  
+               MONO_EMIT_NEW_MOVE (s, state->left->tree->sreg1, 
+                                   state->left->tree->inst_offset, 
+                                   state->right->tree->sreg1,
+                                   state->right->tree->inst_offset,
+                                   size);
+}
+
 reg: OP_LOCALLOC (OP_ICONST) {
        /* microcoded in mini-s390.c */
        tree->sreg1 = mono_regstate_next_int (s->rs);
@@ -77,9 +163,15 @@ stmt: OP_SETRET (lreg) {
 }
 
 stmt: OP_SETRET (freg) {
-       tree->opcode = OP_FMOVE;
-       tree->sreg1 = state->left->reg1;
-       tree->dreg = s390_f0;
+       if (mono_method_signature (s->method)->ret->type == MONO_TYPE_R4) {
+               tree->opcode = OP_S390_SETF4RET;
+               tree->sreg1  = state->left->reg1;
+               tree->dreg   = s390_f0;
+       } else {
+               tree->opcode = OP_FMOVE;
+               tree->sreg1  = state->left->reg1;
+               tree->dreg   = s390_f0;
+       }
        mono_bblock_add_inst (s->cbb, tree);
 }
 
@@ -91,295 +183,392 @@ stmt: OP_SETRET (OP_ICONST) {
 }
 
 stmt: OP_OUTARG (reg) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
-               return;
-       }
-       tree->opcode = OP_SETREG;
-       tree->dreg = tree->unused;
-       tree->sreg1 = state->left->reg1;
+       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+
+       tree->opcode = OP_MOVE;
+       tree->dreg   = mono_regstate_next_int (s->rs);
+       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, FALSE);
+}
+
+stmt: OP_OUTARG_MEMBASE (reg) {
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, STK_BASE, 
+                                    arg->offset, state->left->reg1);
 }
 
 stmt: OP_OUTARG (OP_REGVAR) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->tree->dreg);
-               return;
-       }
-       tree->opcode = OP_SETREG;
-       tree->dreg = tree->unused;
-       tree->sreg1 = state->left->tree->dreg;
+       MonoCallInst *call = (MonoCallInst*) tree->inst_right;
+
+       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);
+
+       mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, FALSE);
+}
+
+stmt: OP_OUTARG_MEMBASE (OP_REGVAR) {
+       MonoCallArgParm *arg = (MonoCallArgParm *)  tree;
+
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, STK_BASE, 
+                                    arg->offset, state->left->tree->dreg);
 }
 
 stmt: OP_OUTARG (lreg) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg2);
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm + 4, state->left->reg1);
-               return;
-       }
-       MONO_EMIT_NEW_UNALU (s, OP_SETREG, tree->unused, state->left->reg2);
-       tree->opcode = OP_SETREG;
-       tree->dreg = tree->unused + 1;
+       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+       int tdreg;
+
+       tdreg = mono_regstate_next_int (s->rs);
+       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_MOVE;
+       tree->dreg = mono_regstate_next_int (s->rs);
        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_MEMBASE (lreg) {
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, STK_BASE, 
+                                    arg->offset, state->left->reg2);
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, STK_BASE, 
+                                    arg->offset + 4, state->left->reg1);
 }
 
 stmt: OP_OUTARG (OP_ICONST) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE_IMM (s, OP_STORE_MEMBASE_IMM, s->frame_reg, tree->inst_imm, state->left->tree->inst_c0);
-               return;
-       }
-       tree->opcode = OP_SETREGIMM;
-       tree->dreg = tree->unused;
-       tree->inst_c0 = state->left->tree->inst_c0;
+       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+
+       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);
+
+       mono_call_inst_add_outarg_reg (s, call, tree->dreg, tree->backend.reg3, FALSE);
+}
+
+stmt: OP_OUTARG_MEMBASE (OP_ICONST) {
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
+       MONO_EMIT_NEW_STORE_MEMBASE_IMM (s, OP_STORE_MEMBASE_IMM, STK_BASE, 
+                                        arg->offset, state->left->tree->inst_c0);
 }
 
 stmt: OP_OUTARG (CEE_LDIND_REF (OP_REGVAR)) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->left->tree->dreg);
-               return;
-       }
-       tree->opcode = OP_SETREG;
-       tree->sreg1 = state->left->left->tree->dreg;
-       tree->dreg = tree->unused;
+       MonoCallInst *call = (MonoCallInst*) tree->inst_right;
+
+       tree->opcode       = OP_MOVE;
+       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);
 }
 
-stmt: OP_OUTARG (OP_LDADDR (OP_S390_LOADARG)) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->left->tree->dreg);
-               return;
-       }
-       tree->opcode      = OP_LOAD_MEMBASE;
-       tree->sreg1       = state->left->left->tree->sreg1;
-       tree->dreg        = tree->unused;
-       tree->inst_offset = state->left->left->tree->inst_offset;
+stmt: OP_OUTARG_MEMBASE (CEE_LDIND_REF (OP_REGVAR)) {
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
+       MONO_EMIT_NEW_STORE_MEMBASE_IMM (s, OP_STORE_MEMBASE_IMM, STK_BASE, 
+                                        arg->offset, state->left->tree->inst_c0);
+}
+
+stmt: OP_OUTARG_MEMBASE (OP_LDADDR (OP_S390_LOADARG)) {
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
+       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, STK_BASE, 
+                                    arg->offset, state->left->left->tree->dreg);
+}
+
+freg: OP_FCONV_TO_R4 (freg) "0" {
+       /* The conversion is done elsewhere */
+       MONO_EMIT_UNALU (s, tree, OP_FMOVE, state->reg1, state->left->reg1);
+}
+
+stmt: OP_OUTARG_R4 (freg) {
+       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+
+       tree->opcode = OP_S390_SETF4RET;
+       tree->dreg   = mono_regstate_next_float (s->rs);
+       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, TRUE);
 }
 
+stmt: OP_OUTARG_R8 (freg),
 stmt: OP_OUTARG (freg) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER8_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
-               return;
-       }
-       tree->opcode = OP_SETFREG;
-       tree->sreg1 = state->left->reg1;
-       tree->dreg = tree->unused;
+       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+
+       tree->opcode = OP_FMOVE;
+       tree->dreg   = mono_regstate_next_float (s->rs);
+       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, TRUE);
 }
 
-stmt: OP_OUTARG_R4 (freg) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER4_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
-               return;
+stmt: OP_OUTARG_MEMBASE (freg) {
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
+       /*----------------------------------------------*/
+       /* The length stored in size tells us whether   */
+       /* we need to store a float or a double         */
+       /*----------------------------------------------*/
+       if (arg->size == 4) {
+               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER4_MEMBASE_REG, 
+                                            STK_BASE, arg->offset,
+                                            state->left->reg1);
+       } else {
+               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER8_MEMBASE_REG, 
+                                            STK_BASE, arg->offset,
+                                            state->left->reg1);
        }
-       tree->opcode = OP_SETFREG;
-       tree->sreg1 = state->left->reg1;
-       tree->dreg = tree->unused;
+}
+
+stmt: OP_OUTARG_R4 (CEE_LDOBJ (OP_REGOFFSET)),
+stmt: OP_OUTARG_R8 (CEE_LDOBJ (OP_REGOFFSET)) {
+       MonoCallInst *call = (MonoCallInst*)tree->inst_right;
+
+       tree->opcode = OP_FMOVE;
+       tree->dreg   = mono_regstate_next_float (s->rs);
+       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, TRUE);
 }
 
-stmt: OP_OUTARG_R8 (freg) {
-       if (tree->inst_imm) {
-               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORER8_MEMBASE_REG, s->frame_reg, tree->inst_imm, state->left->reg1);
-               return;
-       }
-       tree->opcode = OP_SETFREG;
+freg: OP_FCONV_TO_R4 (CEE_LDOBJ (OP_REGOFFSET)) {
+       MonoInst *vt = state->left->left->tree;
+       MONO_EMIT_NEW_LOAD_MEMBASE_OP (s, OP_LOADR4_MEMBASE, state->reg1, vt->inst_basereg, 
+                                      vt->inst_offset);
+       MONO_EMIT_NEW_UNALU (s, OP_FCONV_TO_R4, state->reg1, state->reg1);
+}
+
+freg: OP_FCONV_TO_R8 (CEE_LDOBJ (OP_REGOFFSET)) {
+       tree->opcode = OP_FMOVE;
        tree->sreg1 = state->left->reg1;
-       tree->dreg = tree->unused;
+       tree->dreg = tree->backend.reg3;
        mono_bblock_add_inst (s->cbb, tree);
 }
 
+
 stmt: OP_OUTARG_VT (CEE_LDOBJ (base)) {
-       MonoInst *vt  = state->left->left->tree;
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+       MonoInst *vt         = state->left->left->tree;
+       
        int start_reg = tree->sreg1;
-       int size      = tree->unused;
-       int nregs     = size / 4;
+       int size      = arg->size;
        int soffset   = vt->inst_offset;
-       int i, tmpr;
-
+       int treg;
+       
        if (size < 0) { 
                size = -size;
+               treg = mono_regstate_next_int (s->rs);
                if (start_reg != STK_BASE) {
-                       mini_emit_memcpy (s, s->frame_reg, tree->sreg2,
-                                         vt->inst_basereg, soffset, size, 0);
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, start_reg, 
-                                                s->frame_reg, tree->sreg2);
+                       MONO_EMIT_NEW_MOVE(s, STK_BASE, arg->offPrm,
+                                          vt->inst_basereg, soffset, size);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, 
+                                                STK_BASE, arg->offPrm);
+                       mono_call_inst_add_outarg_reg (s, call, treg, start_reg, FALSE);
                } else { 
-                       mini_emit_memcpy (s, s->frame_reg, tree->sreg2+sizeof(gpointer),
-                                         vt->inst_basereg, soffset, size, 0);
-                       tmpr = mono_regstate_next_int (s->rs);
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg, 
-                                                tree->sreg2+sizeof(gpointer));
+                       MONO_EMIT_NEW_MOVE(s, STK_BASE, arg->offPrm,
+                                          vt->inst_basereg, soffset, size);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, STK_BASE, arg->offPrm);
                        MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
-                                                    s->frame_reg, tree->sreg2, tmpr);
+                                                    STK_BASE, arg->offset, treg);
                }
        } else {
                if (start_reg != STK_BASE) {
-                       for (i = 0; i < nregs; ++i) {
-                               tmpr = mono_regstate_next_int (s->rs);
-                               MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, vt->inst_basereg, 
-                                                           soffset);
-                               MONO_EMIT_NEW_UNALU (s, OP_SETREG, start_reg + i, tmpr);
-                               soffset += sizeof (gpointer);
-                       }
+                       MONO_OUTPUT_VTR (s, size, start_reg, vt->inst_basereg, soffset);
                } else {
-                       mini_emit_memcpy (s, s->frame_reg, tree->inst_imm, 
-                                         vt->inst_basereg, soffset, size, 0);
+                       MONO_OUTPUT_VTS (s, size, STK_BASE, arg->offset,
+                                        vt->inst_basereg, soffset);
                }       
        }
 }
 
 stmt: OP_OUTARG_VT (CEE_LDOBJ (OP_S390_ARGPTR)) {
-       MonoInst *vt  = state->left->left->tree;
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+       MonoInst *vt         = state->left->left->tree;
+       
        int start_reg = tree->sreg1;
-       int size      = tree->unused;
-       int nregs     = size / 4;
+       int size      = arg->size;
        int soffset   = vt->inst_offset;
-       int i, tmpr;
 
-       if (size < 0) { 
-               size = -size;
-               mini_emit_memcpy (s, s->frame_reg, tree->inst_imm,
-                                 vt->inst_basereg, soffset, size, 0);
-               if (start_reg != STK_BASE) {
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, start_reg, 
-                                                s->frame_reg, tree->sreg2);
-               }
+       if (start_reg != STK_BASE) {
+               MONO_OUTPUT_VTR (s, size, start_reg, vt->inst_basereg, soffset);
        } else {
-               if (start_reg != STK_BASE) {
-                       for (i = 0; i < nregs; ++i) {
-                               tmpr = mono_regstate_next_int (s->rs);
-                               MONO_EMIT_NEW_LOAD_MEMBASE (s, start_reg + i, 
-                                                           vt->inst_basereg, soffset);
-                               soffset += sizeof (gpointer);
-                       }
-               } else {
-                       tmpr = mono_regstate_next_int (s->rs);
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg, 
-                                                tree->inst_imm+sizeof(gpointer));
-                       mini_emit_memcpy (s, s->frame_reg, 
-                                         tree->inst_imm+sizeof(gpointer), 
-                                         vt->inst_basereg, soffset, size, 0);
-                       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
-                                                    s->frame_reg, tree->inst_imm,
-                                                    tmpr);
-               }       
-       }
+               
+               MONO_OUTPUT_VTS (s, size, STK_BASE, arg->offset,
+                                vt->inst_basereg, soffset);
+       }       
 }
 
-stmt: OP_OUTARG_VT (CEE_LDOBJ (OP_REGOFFSET)) {
-       MonoInst *vt  = state->left->left->tree;
+stmt: OP_OUTARG_VT (CEE_LDOBJ (OP_REGOFFSET)) "0" {
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+       MonoInst *vt         = state->left->left->tree;
+       
        int start_reg = tree->sreg1;
-       int size      = tree->unused;
-       int nregs     = size / 4;
+       int size      = arg->size;
        int soffset   = vt->inst_offset;
-       int i, tmpr;
+       int treg;
 
+//printf("OP_OUTARG_VT(CEE_LDOBJ(OP_REGOFFSET))\n");
        if (size < 0) { 
                size = -size;
-               mini_emit_memcpy (s, s->frame_reg, tree->inst_imm,
-                                 vt->inst_basereg, soffset, size, 0);
+               treg = mono_regstate_next_int (s->rs);
                if (start_reg != STK_BASE) {
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, start_reg, 
-                                                s->frame_reg, tree->sreg2);
+//                     MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg,
+//                                              STK_BASE, soffset);
+                       MONO_EMIT_NEW_MOVE (s, STK_BASE, arg->offPrm,
+                                           vt->inst_basereg, soffset, size);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg,
+                                                STK_BASE, arg->offPrm);
+                       mono_call_inst_add_outarg_reg (s, call, treg, start_reg, FALSE);
+               } else {
+                       MONO_EMIT_NEW_MOVE (s, STK_BASE, arg->offPrm,
+                                           vt->inst_basereg, soffset, size);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, STK_BASE, arg->offPrm);
+                       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
+                                                    STK_BASE, arg->offset, treg);
                }
        } else {
                if (start_reg != STK_BASE) {
-                       for (i = 0; i < nregs; ++i) {
-                               tmpr = mono_regstate_next_int (s->rs);
-                               MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr,
-                                                        vt->inst_basereg,
-                                                        s->stack_offset);
-                               MONO_EMIT_NEW_LOAD_MEMBASE (s, start_reg + i, 
-                                                           tmpr, soffset);
-                               MONO_EMIT_NEW_UNALU (s, OP_SETREG, start_reg + i, tmpr);
-                               soffset += sizeof (gpointer);
-                       }
+                       MONO_OUTPUT_VTR(s, size, start_reg, vt->inst_basereg, soffset);
                } else {
-                       tmpr = mono_regstate_next_int (s->rs);
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, 
-                                                vt->inst_basereg,
-                                                s->stack_offset);
-                       mini_emit_memcpy (s, s->frame_reg, 
-                                         tree->inst_imm+sizeof(gpointer), 
-                                         tmpr, soffset, size, 0);
-                       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
-                                                    s->frame_reg, tree->inst_imm, tmpr);
+                       MONO_OUTPUT_VTS(s, size, STK_BASE, arg->offset,
+                                         vt->inst_basereg, soffset);
                }       
        }
 }
+
 stmt: OP_OUTARG_VT (CEE_LDOBJ (OP_S390_LOADARG)) {
-       MonoInst *vt  = state->left->left->tree;
-       int start_reg = tree->sreg1;
-       int size      = -tree->unused;
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+       MonoInst *vt         = state->left->left->tree;
+       
+       int start_reg = tree->inst_basereg;
+       int size      = -arg->size;
        int soffset   = vt->inst_offset;
-
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, start_reg, s->frame_reg, soffset);
-       mini_emit_memcpy (s, s->frame_reg, tree->sreg2,
-                         start_reg, 0, size, 0);
+       int treg;
+
+//printf("OP_OUTARG_VT(CEE_LDOBJ(OP_S390_LOADARG))\n");
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, treg, s->frame_reg);
+       MONO_EMIT_NEW_LOAD_MEMBASE (s, treg, treg, vt->backend.arg_info);
+       MONO_EMIT_NEW_MOVE (s, STK_BASE, soffset, treg, 0, size);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, STK_BASE, soffset);
        if (start_reg != STK_BASE) {
-               MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, start_reg, 
-                                        s->frame_reg, tree->sreg2);
+               mono_call_inst_add_outarg_reg (s, call, treg, start_reg, FALSE);
+       } else {
+               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
+                                            STK_BASE, arg->offset, treg);
+       }
+}
+
+stmt: OP_OUTARG_VT (CEE_LDOBJ (OP_S390_ARGREG)) {
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+       MonoInst *vt         = state->left->left->tree;
+       
+       int base_reg = tree->inst_basereg;
+       int size     = -arg->size;
+       int soffset  = vt->inst_offset;
+       int treg;
+
+//printf("OP_OUTARG_VT(CEE_LDOBJ(OP_S390_ARGREG))\n");
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_LOAD_MEMBASE (s, treg, s->frame_reg, soffset);
+       MONO_EMIT_NEW_MOVE (s, STK_BASE, arg->offPrm, treg, 0, size);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, STK_BASE, arg->offPrm);
+       if (base_reg != STK_BASE) {
+               mono_call_inst_add_outarg_reg (s, call, treg, base_reg, FALSE);
+       } else {
+               MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
+                                            STK_BASE, arg->offset, treg);
        }
 }
 
 stmt: OP_OUTARG_VT (OP_ICONST) {
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+
        int start_reg = tree->sreg1;
-       int size      = tree->unused;
+       int size      = arg->size;
        int nregs     = size / 4;
-       int i;
 
+//printf("OP_OUTARG_VT(OP_ICONST)\n");
        if (start_reg != STK_BASE) {
                if (nregs) {
-                       tree->opcode  = OP_SETREGIMM;
-                       tree->dreg    = start_reg;
+                       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);
+                       mono_call_inst_add_outarg_reg (s, call, tree->dreg, start_reg, FALSE);
                }
        } else {
-               mini_emit_memcpy (s, s->frame_reg, tree->inst_c0, STK_BASE
-                                 tree->inst_offset, size, 0);
+               MONO_OUTPUT_VTS (s, size, STK_BASE, tree->inst_c0
+                                s->frame_reg, tree->inst_offset);
        }
 }
 
 stmt: OP_OUTARG_VT (reg) {
-       int start_reg = tree->sreg1;
-       int size      = tree->unused;
-       int nregs     = size / 4;
-       int soffset   = tree->sreg2;
-       int i;
-       int tmpr;
+       MonoCallInst *call   = (MonoCallInst*) tree->inst_right;
+       MonoCallArgParm *arg = (MonoCallArgParm *) tree; 
+       MonoInst *vt         = state->left->left->tree;
+       int start_reg        = tree->sreg1;
+       int size             = arg->size;
+       int soffset          = vt->inst_offset;
+       int treg;
 
        if (size < 0) { 
                size = -size;
-               mini_emit_memcpy (s, s->frame_reg, soffset,
-                                 state->left->tree->sreg1, 
-                                 tree->inst_imm, size, 0);
+               treg = mono_regstate_next_int (s->rs);
                if (start_reg != STK_BASE) {
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, start_reg, 
-                                                s->frame_reg, soffset);
+                       MONO_EMIT_NEW_MOVE (s, STK_BASE, arg->offPrm, state->left->reg1,
+                                           0, size);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg,
+                                                STK_BASE, arg->offPrm);
+                       mono_call_inst_add_outarg_reg (s, call, treg, start_reg, FALSE);
+               } else {
+                       MONO_EMIT_NEW_MOVE (s, STK_BASE, soffset+size, state->left->reg1,
+                                           0, size);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, STK_BASE,
+                                                soffset+size);
+                       MONO_EMIT_NEW_STORE_MEMBASE (s, OP_STORE_MEMBASE_REG, 
+                                                    STK_BASE, arg->offset, treg);
                }
        } else {
                if (start_reg != STK_BASE) {
-                       for (i = 0; i < nregs; ++i) {
-                               MONO_EMIT_NEW_LOAD_MEMBASE(s, start_reg + i, 
-                                                          s->frame_reg, 
-                                                          state->left->tree->inst_offset);
-                               soffset += sizeof(gpointer);
-                       }
+                       MONO_OUTPUT_VTR (s, size, start_reg, STK_BASE, soffset);
                } else {
-                       tmpr = mono_regstate_next_int (s->rs);
-                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg, 
-                                               s->stack_offset);
-                       mini_emit_memcpy (s, s->frame_reg, soffset, tmpr
-                                         state->left->tree->inst_offset, size, 0);
+                       treg = mono_regstate_next_int (s->rs);
+                       MONO_OUTPUT_VTS (s, size, STK_BASE, soffset, treg,
+                                        state->left->tree->inst_offset);
+                       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, STK_BASE
+                                                s->stack_offset);
                }
        }
 }
 
+stmt: OP_OUTARG_VT (OP_REFANYTYPE (reg)) "0" {
+//printf("OP_OUTARG_VT (OP_REFANYTYPE (base))\n");
+       MONO_EMIT_NEW_LOAD_MEMBASE (s, state->tree->sreg1, state->left->left->reg1, 
+                                   G_STRUCT_OFFSET (MonoTypedRef, type));
+}      
+
 stmt: CEE_STIND_R8 (OP_REGVAR, freg) {
        /* nothing to do: the value is already on the FP stack */
 }
@@ -480,52 +669,57 @@ reg: OP_CGT_UN (OP_COMPARE (freg, freg)) {
 }
 
 base: OP_S390_STKARG "0" {
-       int tmpr;
+       int treg;
 
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg, 
-                               (s->stack_offset+state->tree->unused));
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, treg, s->frame_reg);
        tree->inst_offset  = state->tree->inst_offset;
-       tree->inst_basereg = tmpr;
+       tree->inst_basereg = treg;
+}
+
+reg: OP_LDADDR (OP_S390_ARGREG),
+reg: CEE_LDOBJ (OP_S390_ARGREG) "0" {
+       MONO_EMIT_LOAD_MEMBASE (s, tree, state->reg1, s->frame_reg, state->left->tree->inst_offset);
 }
 
 base: OP_LDADDR (OP_S390_LOADARG) "0" {
-       int tmpr;
+       int treg;
 
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, s->frame_reg, 
-                                   state->left->tree->inst_offset);
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, treg, s->frame_reg);
+       MONO_EMIT_NEW_LOAD_MEMBASE (s, treg, treg, state->left->tree->backend.arg_info);
        tree->inst_offset  = 0;
-       tree->inst_basereg = tmpr;
+       tree->inst_basereg = treg;
 }
 
 base: OP_LDADDR (OP_S390_ARGPTR) "0" {
-       int tmpr;
+       int treg;
 
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg, 
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, s->frame_reg, 
                                 state->left->tree->inst_offset);
        tree->inst_offset  = 0;
-       tree->inst_basereg = tmpr;
+       tree->inst_basereg = treg;
 }
 
 base: OP_LDADDR (OP_S390_STKARG) "0" {
-       int tmpr;
+       int treg;
 
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg, 
-                                (s->stack_offset + state->left->tree->unused));
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, tmpr
+printf("base: OP_LDADDR(OP_S390_STKARG) 0\n");
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, treg, s->frame_reg);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, treg
                                 state->left->tree->inst_offset);
        tree->inst_offset  = 0;
-       tree->inst_basereg = tmpr;
+       tree->inst_basereg = treg;
 }
 
-reg: OP_LDADDR (OP_S390_LOADARG) "2" {
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, s->frame_reg, 
-                                state->left->tree->inst_offset);
-       tree->inst_offset  = 0;
-       tree->inst_basereg = state->reg1;
+reg: OP_LDADDR (OP_S390_LOADARG) {
+       int treg;
+
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, treg, s->frame_reg);
+       MONO_EMIT_NEW_LOAD_MEMBASE (s, state->reg1, treg, state->left->tree->inst_offset);
 }
 
 reg: OP_LDADDR (OP_S390_ARGPTR) "2" {
@@ -536,55 +730,74 @@ reg: OP_LDADDR (OP_S390_ARGPTR) "2" {
 }
 
 reg: OP_LDADDR (OP_S390_STKARG) "2" {
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, s->frame_reg, 
-                                (s->stack_offset + state->left->tree->unused));
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, state->reg1, 
-                                state->left->tree->inst_offset);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, state->reg1, s->frame_reg);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, state->reg1,
+                                (state->left->tree->backend.arg_info +
+                                 state->left->tree->inst_offset));
        tree->inst_offset  = 0;
        tree->inst_basereg = state->reg1;
 }
 
 reg: CEE_LDOBJ (OP_S390_LOADARG) "1" {
-       int tmpr;
-
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, state->reg1, s->frame_reg, 
-                                   state->left->tree->inst_offset);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, s->frame_reg, 
+                                state->left->tree->inst_offset);
 }
 
 reg: CEE_LDOBJ (OP_S390_ARGPTR) "1" {
-       MONO_EMIT_BIALU_IMM (s, tree, OP_ADD_IMM, state->reg1, s->frame_reg, 
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, s->frame_reg, 
                             state->left->tree->inst_offset);
 }
 
 reg: CEE_LDOBJ (OP_S390_STKARG) "1" {
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, s->frame_reg,
-                                (s->stack_offset + state->left->tree->unused));
+printf("reg: CEE_LDOBJ(OP_S390_STKARG)\n");
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, state->reg1, s->frame_reg);
        MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, state->reg1, state->reg1,
-                                state->left->tree->inst_offset);
+                                (state->left->tree->inst_offset + 
+                                 state->left->tree->backend.arg_info));
        tree->inst_offset  = 0;
-       tree->dreg         = state->reg1;
+       tree->inst_basereg = state->reg1;
 }
 
 base: CEE_LDOBJ (OP_S390_ARGPTR) "0" {
-       int tmpr;
+       int treg;
 
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, s->frame_reg, 
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, s->frame_reg, 
                                    state->left->tree->inst_offset);
        tree->inst_offset  = 0;
-       tree->dreg         = tmpr;
+       tree->inst_basereg = treg;
 }
 
 base: CEE_LDOBJ (OP_S390_STKARG) "0" {
-       int tmpr;
+       int treg;
 
-       tmpr = mono_regstate_next_int (s->rs);
-       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, tmpr, s->frame_reg,
-                                (s->stack_offset + state->left->tree->unused));
-       MONO_EMIT_NEW_LOAD_MEMBASE (s, tmpr, tmpr, state->left->tree->inst_offset);
+       treg = mono_regstate_next_int (s->rs);
+       MONO_EMIT_NEW_UNALU (s, OP_S390_BKCHAIN, treg, s->frame_reg);
+       MONO_EMIT_NEW_BIALU_IMM (s, OP_ADD_IMM, treg, treg, state->left->tree->backend.arg_info);
+       MONO_EMIT_NEW_LOAD_MEMBASE (s, treg, treg, state->left->tree->inst_offset);
        tree->inst_offset  = 0;
-       tree->inst_basereg = tmpr;
+       tree->inst_basereg = treg;
+}
+
+reg: OP_ATOMIC_ADD_NEW_I4 (base, reg),
+reg: OP_ATOMIC_ADD_I4 (base, reg) {
+       tree->opcode = tree->opcode;
+       tree->inst_basereg = state->left->tree->inst_basereg; 
+       tree->inst_offset = state->left->tree->inst_offset; 
+       tree->dreg = state->reg1;
+       tree->sreg2 = state->right->reg1;
+    
+       mono_bblock_add_inst (s->cbb, tree);
+}
+
+reg: OP_ATOMIC_EXCHANGE_I4 (base, reg) {
+       tree->opcode = OP_ATOMIC_EXCHANGE_I4;
+       tree->dreg = state->reg1;
+       tree->sreg2 = state->right->reg1;
+       tree->inst_basereg = state->left->tree->inst_basereg; 
+       tree->inst_offset = state->left->tree->inst_offset; 
+    
+       mono_bblock_add_inst (s->cbb, tree);
 }
 
 %%