* configure.ac (static-classpath): Removed.
[cacao.git] / src / vm / jit / i386 / codegen.c
index 6528c0a02f576171802ba448d0a183caa0eb3a17..f68f8e21af74113deae440daae46d26537172cb2 100644 (file)
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301, USA.
 
-   $Id: codegen.c 7579 2007-03-25 22:42:13Z twisti $
-
 */
 
 
 #include "config.h"
 
 #include <assert.h>
+#include <stdint.h>
 #include <stdio.h>
 
 #include "vm/types.h"
 
 #include "mm/memory.h"
 #include "native/jni.h"
+#include "native/localref.h"
 #include "native/native.h"
 
-#if defined(ENABLE_THREADS)
-# include "threads/native/lock.h"
-#endif
+#include "threads/lock-common.h"
 
 #include "vm/builtin.h"
 #include "vm/exceptions.h"
@@ -53,6 +51,7 @@
 #include "vm/stringlocal.h"
 #include "vm/vm.h"
 
+#include "vm/jit/abi.h"
 #include "vm/jit/asmpart.h"
 #include "vm/jit/codegen-common.h"
 #include "vm/jit/dseg.h"
 
 *******************************************************************************/
 
-#if defined(ENABLE_SSA)
-void cg_move(codegendata *cd, s4 type, s4 src_regoff, s4 src_flags,
-                        s4 dst_regoff, s4 dst_flags);
-void codegen_insert_phi_moves(jitdata *jd, basicblock *bptr);
-#endif
-
 bool codegen_emit(jitdata *jd)
 {
        methodinfo         *m;
@@ -139,9 +132,7 @@ bool codegen_emit(jitdata *jd)
        /* space to save used callee saved registers */
 
        savedregs_num += (INT_SAV_CNT - rd->savintreguse);
-
-       /* float register are saved on 2 4-byte stackslots */
-       savedregs_num += (FLT_SAV_CNT - rd->savfltreguse) * 2;
+       savedregs_num += (FLT_SAV_CNT - rd->savfltreguse);
 
        cd->stackframesize = rd->memuse + savedregs_num;
 
@@ -149,25 +140,20 @@ bool codegen_emit(jitdata *jd)
 #if defined(ENABLE_THREADS)
        /* space to save argument of monitor_enter */
 
-       if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
-               /* reserve 2 slots for long/double return values for monitorexit */
-
-               if (IS_2_WORD_TYPE(m->parseddesc->returntype.type))
-                       cd->stackframesize += 2;
-               else
-                       cd->stackframesize++;
-       }
+       if (checksync && (m->flags & ACC_SYNCHRONIZED))
+               cd->stackframesize++;
 #endif
 
        /* create method header */
 
     /* Keep stack of non-leaf functions 16-byte aligned. */
 
-       if (!jd->isleafmethod)
-               cd->stackframesize |= 0x3;
+       if (!jd->isleafmethod) {
+               ALIGN_ODD(cd->stackframesize);    /* XXX this is wrong, +4 is missing */
+       }
 
        (void) dseg_add_unique_address(cd, code);              /* CodeinfoPointer */
-       (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize       */
+       (void) dseg_add_unique_s4(cd, cd->stackframesize * 8); /* FrameSize       */
 
 #if defined(ENABLE_THREADS)
        /* IsSync contains the offset relative to the stack pointer for the
@@ -177,7 +163,7 @@ bool codegen_emit(jitdata *jd)
        */
 
        if (checksync && (m->flags & ACC_SYNCHRONIZED))
-               (void) dseg_add_unique_s4(cd, (rd->memuse + 1) * 4); /* IsSync        */
+               (void) dseg_add_unique_s4(cd, (rd->memuse + 1) * 8); /* IsSync        */
        else
 #endif
                (void) dseg_add_unique_s4(cd, 0);                  /* IsSync          */
@@ -218,16 +204,16 @@ bool codegen_emit(jitdata *jd)
        /* create stack frame (if necessary) */
 
        if (cd->stackframesize)
-               M_ASUB_IMM(cd->stackframesize * 4, REG_SP);
+               M_ASUB_IMM(cd->stackframesize * 8, REG_SP);
 
        /* save return address and used callee saved registers */
 
        p = cd->stackframesize;
        for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
-               p--; M_AST(rd->savintregs[i], REG_SP, p * 4);
+               p--; M_AST(rd->savintregs[i], REG_SP, p * 8);
        }
        for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
-               p-=2; emit_fld_reg(cd, rd->savfltregs[i]); emit_fstpl_membase(cd, REG_SP, p * 4);
+               p--; emit_fld_reg(cd, rd->savfltregs[i]); emit_fstpl_membase(cd, REG_SP, p * 8);
        }
 
        /* take arguments out of register or stack frame */
@@ -238,12 +224,15 @@ bool codegen_emit(jitdata *jd)
        for (p = 0, l = 0; p < md->paramcount; p++) {
                t = md->paramtypes[p].type;
 
+               varindex = jd->local_map[l * 5 + t];
 #if defined(ENABLE_SSA)
                if ( ls != NULL ) {
-                       l = ls->local_0[p];
+                       if (varindex != UNUSED)
+                               varindex = ls->var_0[varindex];
+                       if ((varindex != UNUSED) && (ls->lifetime[varindex].type == UNUSED))
+                               varindex = UNUSED;
                }
 #endif
-               varindex = jd->local_map[l * 5 + t];
                l++;
                if (IS_2_WORD_TYPE(t))    /* increment local counter for 2 word types */
                        l++;
@@ -252,8 +241,8 @@ bool codegen_emit(jitdata *jd)
                        continue;
 
                var = VAR(varindex);
-               
-               s1 = md->params[p].regoff;
+               s1  = md->params[p].regoff;
+               d   = var->vv.regoff;
 
                if (IS_INT_LNG_TYPE(t)) {                    /* integer args          */
                        if (!md->params[p].inmemory) {           /* register arguments    */
@@ -266,27 +255,25 @@ bool codegen_emit(jitdata *jd)
                                        /* rd->argintregs[md->params[p].regoff -> var->vv.regoff * 4 */
                                }
                        } 
-                       else {                                   /* stack arguments       */
-                               if (!(var->flags & INMEMORY)) {      /* stack arg -> register */
-                                       emit_mov_membase_reg(           /* + 4 for return address */
-                                          cd, REG_SP, (cd->stackframesize + s1) * 4 + 4, var->vv.regoff);
-                                                                       /* + 4 for return address */
+                       else {
+                               if (!(var->flags & INMEMORY)) {
+                                       M_ILD(d, REG_SP, cd->stackframesize * 8 + 4 + s1);
                                } 
-                               else {                               /* stack arg -> spilled  */
+                               else {
                                        if (!IS_2_WORD_TYPE(t)) {
 #if defined(ENABLE_SSA)
                                                /* no copy avoiding by now possible with SSA */
                                                if (ls != NULL) {
                                                        emit_mov_membase_reg(   /* + 4 for return address */
-                                                                cd, REG_SP, (cd->stackframesize + s1) * 4 + 4,
+                                                                cd, REG_SP, cd->stackframesize * 8 + s1 + 4,
                                                                 REG_ITMP1);    
                                                        emit_mov_reg_membase(
-                                                                cd, REG_ITMP1, REG_SP, var->vv.regoff * 4);
+                                                                cd, REG_ITMP1, REG_SP, var->vv.regoff);
                                                }
                                                else 
 #endif /*defined(ENABLE_SSA)*/
-                                                                 /* reuse Stackslotand avoid copying */
-                                                       var->vv.regoff = cd->stackframesize + s1 + 1;
+                                                       /* reuse stackslot */
+                                                       var->vv.regoff = cd->stackframesize * 8 + 4 + s1;
 
                                        } 
                                        else {
@@ -294,20 +281,20 @@ bool codegen_emit(jitdata *jd)
                                                /* no copy avoiding by now possible with SSA */
                                                if (ls != NULL) {
                                                        emit_mov_membase_reg(  /* + 4 for return address */
-                                                                cd, REG_SP, (cd->stackframesize + s1) * 4 + 4,
+                                                                cd, REG_SP, cd->stackframesize * 8 + s1 + 4,
                                                                 REG_ITMP1);
                                                        emit_mov_reg_membase(
-                                                                cd, REG_ITMP1, REG_SP, var->vv.regoff * 4);
+                                                                cd, REG_ITMP1, REG_SP, var->vv.regoff);
                                                        emit_mov_membase_reg(   /* + 4 for return address */
-                                                                 cd, REG_SP, (cd->stackframesize + s1) * 4 + 4 + 4,
+                                                                 cd, REG_SP, cd->stackframesize * 8 + s1 + 4 + 4,
                                                                  REG_ITMP1);             
                                                        emit_mov_reg_membase(
-                                                                cd, REG_ITMP1, REG_SP, var->vv.regoff * 4 + 4);
+                                                                cd, REG_ITMP1, REG_SP, var->vv.regoff + 4);
                                                }
                                                else
 #endif /*defined(ENABLE_SSA)*/
-                                                                 /* reuse Stackslotand avoid copying */
-                                                       var->vv.regoff = cd->stackframesize + s1 + 1;
+                                                       /* reuse stackslot */
+                                                       var->vv.regoff = cd->stackframesize * 8 + 4 + s1;
                                        }
                                }
                        }
@@ -319,7 +306,7 @@ bool codegen_emit(jitdata *jd)
                                if (!(var->flags & INMEMORY)) {  /* reg arg -> register   */
                                        /* rd->argfltregs[md->params[p].regoff -> var->vv.regoff     */
                                } else {                                     /* reg arg -> spilled    */
-                                       /* rd->argfltregs[md->params[p].regoff -> var->vv.regoff * 4 */
+                                       /* rd->argfltregs[md->params[p].regoff -> var->vv.regoff * 8 */
                                }
 
                        } 
@@ -327,14 +314,14 @@ bool codegen_emit(jitdata *jd)
                                if (!(var->flags & INMEMORY)) {      /* stack-arg -> register */
                                        if (t == TYPE_FLT) {
                                                emit_flds_membase(
-                            cd, REG_SP, (cd->stackframesize + s1) * 4 + 4);
+                            cd, REG_SP, cd->stackframesize * 8 + s1 + 4);
                                                assert(0);
 /*                                             emit_fstp_reg(cd, var->vv.regoff + fpu_st_offset); */
 
                                        } 
                                        else {
                                                emit_fldl_membase(
-                            cd, REG_SP, (cd->stackframesize + s1) * 4 + 4);
+                            cd, REG_SP, cd->stackframesize * 8 + s1 + 4);
                                                assert(0);
 /*                                             emit_fstp_reg(cd, var->vv.regoff + fpu_st_offset); */
                                        }
@@ -344,28 +331,28 @@ bool codegen_emit(jitdata *jd)
                                        /* no copy avoiding by now possible with SSA */
                                        if (ls != NULL) {
                                                emit_mov_membase_reg(
-                                                cd, REG_SP, (cd->stackframesize + s1) * 4 + 4, REG_ITMP1);
+                                                cd, REG_SP, cd->stackframesize * 8 + s1 + 4, REG_ITMP1);
                                                emit_mov_reg_membase(
-                                                                        cd, REG_ITMP1, REG_SP, var->vv.regoff * 4);
+                                                                        cd, REG_ITMP1, REG_SP, var->vv.regoff);
                                                if (t == TYPE_FLT) {
                                                        emit_flds_membase(
-                                                                 cd, REG_SP, (cd->stackframesize + s1) * 4 + 4);
-                                                       emit_fstps_membase(cd, REG_SP, var->vv.regoff * 4);
+                                                                 cd, REG_SP, cd->stackframesize * 8 + s1 + 4);
+                                                       emit_fstps_membase(cd, REG_SP, var->vv.regoff);
                                                } 
                                                else {
                                                        emit_fldl_membase(
-                                                                 cd, REG_SP, (cd->stackframesize + s1) * 4 + 4);
-                                                       emit_fstpl_membase(cd, REG_SP, var->vv.regoff * 4);
+                                                                 cd, REG_SP, cd->stackframesize * 8 + s1 + 4);
+                                                       emit_fstpl_membase(cd, REG_SP, var->vv.regoff);
                                                }
                                        }
                                        else
 #endif /*defined(ENABLE_SSA)*/
-                                                                 /* reuse Stackslotand avoid copying */
-                                               var->vv.regoff = cd->stackframesize + s1 + 1;
+                                               /* reuse stackslot */
+                                               var->vv.regoff = cd->stackframesize * 8 + 4 + s1;
                                }
                        }
                }
-       }  /* end for */
+       }
 
        /* call monitorenter function */
 
@@ -377,13 +364,13 @@ bool codegen_emit(jitdata *jd)
                        M_MOV_IMM(&m->class->object.header, REG_ITMP1);
                }
                else {
-                       M_ALD(REG_ITMP1, REG_SP, cd->stackframesize * 4 + 4);
+                       M_ALD(REG_ITMP1, REG_SP, cd->stackframesize * 8 + 4);
                        M_TEST(REG_ITMP1);
                        M_BNE(6);
                        M_ALD_MEM(REG_ITMP1, EXCEPTION_HARDWARE_NULLPOINTER);
                }
 
-               M_AST(REG_ITMP1, REG_SP, s1 * 4);
+               M_AST(REG_ITMP1, REG_SP, s1 * 8);
                M_AST(REG_ITMP1, REG_SP, 0 * 4);
                M_MOV_IMM(LOCK_monitor_enter, REG_ITMP3);
                M_CALL(REG_ITMP3);
@@ -397,9 +384,9 @@ bool codegen_emit(jitdata *jd)
        } 
 
 #if defined(ENABLE_SSA)
-       /* with SSA Header is Basic Block 0 - insert phi Moves if necessary */
+       /* with SSA the Header is Basic Block 0 - insert phi Moves if necessary */
        if ( ls != NULL)
-               codegen_insert_phi_moves(jd, ls->basicblocks[0]);
+               codegen_emit_phi_moves(jd, ls->basicblocks[0]);
 #endif
 
        /* end of header generation */
@@ -654,12 +641,12 @@ bool codegen_emit(jitdata *jd)
                case ICMD_COPY:
                case ICMD_MOVE:
 
-                       emit_copy(jd, iptr, VAROP(iptr->s1), VAROP(iptr->dst));
+                       emit_copy(jd, iptr);
                        break;
 
                case ICMD_ASTORE:
                        if (!(iptr->flags.bits & INS_FLAG_RETADDR))
-                               emit_copy(jd, iptr, VAROP(iptr->s1), VAROP(iptr->dst));
+                               emit_copy(jd, iptr);
                        break;
 
 
@@ -1044,9 +1031,9 @@ bool codegen_emit(jitdata *jd)
                                if (iptr->s1.var->flags & INMEMORY) {
                                        /* Alpha algorithm */
                                        disp = 3;
-                                       CALCOFFSETBYTES(disp, REG_SP, iptr->s1.var->vv.regoff * 4);
+                                       CALCOFFSETBYTES(disp, REG_SP, iptr->s1.var->vv.regoff * 8);
                                        disp += 3;
-                                       CALCOFFSETBYTES(disp, REG_SP, iptr->s1.var->vv.regoff * 4 + 4);
+                                       CALCOFFSETBYTES(disp, REG_SP, iptr->s1.var->vv.regoff * 8 + 4);
 
                                        disp += 2;
                                        disp += 3;
@@ -1062,16 +1049,16 @@ bool codegen_emit(jitdata *jd)
                                        disp += 3;
                                        disp += 2;
 
-                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 4, REG_ITMP1);
-                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 4 + 4, REG_ITMP2);
+                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 8, REG_ITMP1);
+                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 8 + 4, REG_ITMP2);
                                        
                                        emit_alu_imm_reg(cd, ALU_AND, iptr->sx.val.l, REG_ITMP1);
                                        emit_alu_imm_reg(cd, ALU_AND, iptr->sx.val.l >> 32, REG_ITMP2);
-                                       emit_alu_imm_membase(cd, ALU_CMP, 0, REG_SP, iptr->s1.var->vv.regoff * 4 + 4);
+                                       emit_alu_imm_membase(cd, ALU_CMP, 0, REG_SP, iptr->s1.var->vv.regoff * 8 + 4);
                                        emit_jcc(cd, CC_GE, disp);
 
-                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 4, REG_ITMP1);
-                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 4 + 4, REG_ITMP2);
+                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 8, REG_ITMP1);
+                                       emit_mov_membase_reg(cd, REG_SP, iptr->s1.var->vv.regoff * 8 + 4, REG_ITMP2);
                                        
                                        emit_neg_reg(cd, REG_ITMP1);
                                        emit_alu_imm_reg(cd, ALU_ADC, 0, REG_ITMP2);
@@ -1084,8 +1071,8 @@ bool codegen_emit(jitdata *jd)
                                        emit_alu_imm_reg(cd, ALU_ADC, 0, REG_ITMP2);
                                        emit_neg_reg(cd, REG_ITMP2);
 
-                                       emit_mov_reg_membase(cd, REG_ITMP1, REG_SP, iptr->dst.var->vv.regoff * 4);
-                                       emit_mov_reg_membase(cd, REG_ITMP2, REG_SP, iptr->dst.var->vv.regoff * 4 + 4);
+                                       emit_mov_reg_membase(cd, REG_ITMP1, REG_SP, iptr->dst.var->vv.regoff * 8);
+                                       emit_mov_reg_membase(cd, REG_ITMP2, REG_SP, iptr->dst.var->vv.regoff * 8 + 4);
                                }
                        }
 
@@ -1577,7 +1564,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
 
                        if (var->flags & INMEMORY) {
-                               emit_fildl_membase(cd, REG_SP, var->vv.regoff * 4);
+                               emit_fildl_membase(cd, REG_SP, var->vv.regoff);
                        } else {
                                /* XXX not thread safe! */
                                disp = dseg_add_unique_s4(cd, 0);
@@ -1596,7 +1583,7 @@ bool codegen_emit(jitdata *jd)
                        var = VAROP(iptr->s1);
                        d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
                        if (var->flags & INMEMORY) {
-                               emit_fildll_membase(cd, REG_SP, var->vv.regoff * 4);
+                               emit_fildll_membase(cd, REG_SP, var->vv.regoff);
 
                        } else {
                                log_text("L2F: longs have to be in memory");
@@ -1621,19 +1608,19 @@ bool codegen_emit(jitdata *jd)
                        var1 = VAROP(iptr->s1);
 
                        if (var->flags & INMEMORY) {
-                               emit_fistpl_membase(cd, REG_SP, var->vv.regoff * 4);
+                               emit_fistpl_membase(cd, REG_SP, var->vv.regoff);
 
                                /* Round to nearest, 53-bit mode, exceptions masked */
                                disp = dseg_add_s4(cd, 0x027f);
                                emit_fldcw_membase(cd, REG_ITMP1, disp);
 
                                emit_alu_imm_membase(cd, ALU_CMP, 0x80000000, 
-                                                                        REG_SP, var->vv.regoff * 4);
+                                                                        REG_SP, var->vv.regoff);
 
                                disp = 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2 + 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
 
                        } else {
                                /* XXX not thread safe! */
@@ -1648,19 +1635,19 @@ bool codegen_emit(jitdata *jd)
                                emit_alu_imm_reg(cd, ALU_CMP, 0x80000000, var->vv.regoff);
 
                                disp = 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2 + ((REG_RESULT == var->vv.regoff) ? 0 : 2);
                        }
 
                        emit_jcc(cd, CC_NE, disp);
 
                        /* XXX: change this when we use registers */
-                       emit_flds_membase(cd, REG_SP, var1->vv.regoff * 4);
+                       emit_flds_membase(cd, REG_SP, var1->vv.regoff);
                        emit_mov_imm_reg(cd, (ptrint) asm_builtin_f2i, REG_ITMP1);
                        emit_call_reg(cd, REG_ITMP1);
 
                        if (var->flags & INMEMORY) {
-                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff * 4);
+                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff);
 
                        } else {
                                M_INTMOVE(REG_RESULT, var->vv.regoff);
@@ -1683,19 +1670,19 @@ bool codegen_emit(jitdata *jd)
                        var1 = VAROP(iptr->s1);
 
                        if (var->flags & INMEMORY) {
-                               emit_fistpl_membase(cd, REG_SP, var->vv.regoff * 4);
+                               emit_fistpl_membase(cd, REG_SP, var->vv.regoff);
 
                                /* Round to nearest, 53-bit mode, exceptions masked */
                                disp = dseg_add_s4(cd, 0x027f);
                                emit_fldcw_membase(cd, REG_ITMP1, disp);
 
                                emit_alu_imm_membase(cd, ALU_CMP, 0x80000000, 
-                                                                        REG_SP, var->vv.regoff * 4);
+                                                                        REG_SP, var->vv.regoff);
 
                                disp = 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2 + 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
 
                        } else {
                                /* XXX not thread safe! */
@@ -1710,19 +1697,19 @@ bool codegen_emit(jitdata *jd)
                                emit_alu_imm_reg(cd, ALU_CMP, 0x80000000, var->vv.regoff);
 
                                disp = 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2 + ((REG_RESULT == var->vv.regoff) ? 0 : 2);
                        }
 
                        emit_jcc(cd, CC_NE, disp);
 
                        /* XXX: change this when we use registers */
-                       emit_fldl_membase(cd, REG_SP, var1->vv.regoff * 4);
+                       emit_fldl_membase(cd, REG_SP, var1->vv.regoff);
                        emit_mov_imm_reg(cd, (ptrint) asm_builtin_d2i, REG_ITMP1);
                        emit_call_reg(cd, REG_ITMP1);
 
                        if (var->flags & INMEMORY) {
-                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff * 4);
+                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff);
                        } else {
                                M_INTMOVE(REG_RESULT, var->vv.regoff);
                        }
@@ -1744,44 +1731,44 @@ bool codegen_emit(jitdata *jd)
                        var1 = VAROP(iptr->s1);
 
                        if (var->flags & INMEMORY) {
-                               emit_fistpll_membase(cd, REG_SP, var->vv.regoff * 4);
+                               emit_fistpll_membase(cd, REG_SP, var->vv.regoff);
 
                                /* Round to nearest, 53-bit mode, exceptions masked */
                                disp = dseg_add_s4(cd, 0x027f);
                                emit_fldcw_membase(cd, REG_ITMP1, disp);
 
                                emit_alu_imm_membase(cd, ALU_CMP, 0x80000000, 
-                                                                        REG_SP, var->vv.regoff * 4 + 4);
+                                                                        REG_SP, var->vv.regoff + 4);
 
                                disp = 6 + 4;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
                                disp += 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2;
                                disp += 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
                                disp += 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4 + 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff + 4);
 
                                emit_jcc(cd, CC_NE, disp);
 
                                emit_alu_imm_membase(cd, ALU_CMP, 0, 
-                                                                        REG_SP, var->vv.regoff * 4);
+                                                                        REG_SP, var->vv.regoff);
 
                                disp = 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2 + 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
 
                                emit_jcc(cd, CC_NE, disp);
 
                                /* XXX: change this when we use registers */
-                               emit_flds_membase(cd, REG_SP, var1->vv.regoff * 4);
+                               emit_flds_membase(cd, REG_SP, var1->vv.regoff);
                                emit_mov_imm_reg(cd, (ptrint) asm_builtin_f2l, REG_ITMP1);
                                emit_call_reg(cd, REG_ITMP1);
-                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff * 4);
+                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff);
                                emit_mov_reg_membase(cd, REG_RESULT2, 
-                                                                        REG_SP, var->vv.regoff * 4 + 4);
+                                                                        REG_SP, var->vv.regoff + 4);
 
                        } else {
                                log_text("F2L: longs have to be in memory");
@@ -1805,43 +1792,43 @@ bool codegen_emit(jitdata *jd)
                        var1 = VAROP(iptr->s1);
 
                        if (var->flags & INMEMORY) {
-                               emit_fistpll_membase(cd, REG_SP, var->vv.regoff * 4);
+                               emit_fistpll_membase(cd, REG_SP, var->vv.regoff);
 
                                /* Round to nearest, 53-bit mode, exceptions masked */
                                disp = dseg_add_s4(cd, 0x027f);
                                emit_fldcw_membase(cd, REG_ITMP1, disp);
 
                                emit_alu_imm_membase(cd, ALU_CMP, 0x80000000, 
-                                                                        REG_SP, var->vv.regoff * 4 + 4);
+                                                                        REG_SP, var->vv.regoff + 4);
 
                                disp = 6 + 4;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
                                disp += 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2;
                                disp += 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
                                disp += 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4 + 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff + 4);
 
                                emit_jcc(cd, CC_NE, disp);
 
-                               emit_alu_imm_membase(cd, ALU_CMP, 0, REG_SP, var->vv.regoff * 4);
+                               emit_alu_imm_membase(cd, ALU_CMP, 0, REG_SP, var->vv.regoff);
 
                                disp = 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var1->vv.regoff);
                                disp += 5 + 2 + 3;
-                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff * 4);
+                               CALCOFFSETBYTES(disp, REG_SP, var->vv.regoff);
 
                                emit_jcc(cd, CC_NE, disp);
 
                                /* XXX: change this when we use registers */
-                               emit_fldl_membase(cd, REG_SP, var1->vv.regoff * 4);
+                               emit_fldl_membase(cd, REG_SP, var1->vv.regoff);
                                emit_mov_imm_reg(cd, (ptrint) asm_builtin_d2l, REG_ITMP1);
                                emit_call_reg(cd, REG_ITMP1);
-                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff * 4);
+                               emit_mov_reg_membase(cd, REG_RESULT, REG_SP, var->vv.regoff);
                                emit_mov_reg_membase(cd, REG_RESULT2, 
-                                                                        REG_SP, var->vv.regoff * 4 + 4);
+                                                                        REG_SP, var->vv.regoff + 4);
 
                        } else {
                                log_text("D2L: longs have to be in memory");
@@ -1919,7 +1906,7 @@ bool codegen_emit(jitdata *jd)
                        s1 = emit_load_s1(jd, iptr, REG_ITMP1);
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
                        /* implicit null-pointer check */
-                       M_ILD(d, s1, OFFSET(java_arrayheader, size));
+                       M_ILD(d, s1, OFFSET(java_array_t, size));
                        emit_store_dst(jd, iptr, d);
                        break;
 
@@ -1930,7 +1917,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_movsbl_memindex_reg(cd, OFFSET(java_bytearray, data[0]), 
+                       emit_movsbl_memindex_reg(cd, OFFSET(java_bytearray_t, data[0]), 
                                                                         s1, s2, 0, d);
                        emit_store_dst(jd, iptr, d);
                        break;
@@ -1942,7 +1929,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_movzwl_memindex_reg(cd, OFFSET(java_chararray, data[0]), 
+                       emit_movzwl_memindex_reg(cd, OFFSET(java_chararray_t, data[0]), 
                                                                         s1, s2, 1, d);
                        emit_store_dst(jd, iptr, d);
                        break;                  
@@ -1954,7 +1941,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_movswl_memindex_reg(cd, OFFSET(java_shortarray, data[0]), 
+                       emit_movswl_memindex_reg(cd, OFFSET(java_shortarray_t, data[0]), 
                                                                         s1, s2, 1, d);
                        emit_store_dst(jd, iptr, d);
                        break;
@@ -1966,7 +1953,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_mov_memindex_reg(cd, OFFSET(java_intarray, data[0]), 
+                       emit_mov_memindex_reg(cd, OFFSET(java_intarray_t, data[0]), 
                                                                  s1, s2, 2, d);
                        emit_store_dst(jd, iptr, d);
                        break;
@@ -1982,12 +1969,12 @@ bool codegen_emit(jitdata *jd)
                        var = VAROP(iptr->dst);
 
                        assert(var->flags & INMEMORY);
-                       emit_mov_memindex_reg(cd, OFFSET(java_longarray, data[0]), 
+                       emit_mov_memindex_reg(cd, OFFSET(java_longarray_t, data[0]), 
                                                                  s1, s2, 3, REG_ITMP3);
-                       emit_mov_reg_membase(cd, REG_ITMP3, REG_SP, var->vv.regoff * 4);
-                       emit_mov_memindex_reg(cd, OFFSET(java_longarray, data[0]) + 4, 
+                       emit_mov_reg_membase(cd, REG_ITMP3, REG_SP, var->vv.regoff);
+                       emit_mov_memindex_reg(cd, OFFSET(java_longarray_t, data[0]) + 4, 
                                                                  s1, s2, 3, REG_ITMP3);
-                       emit_mov_reg_membase(cd, REG_ITMP3, REG_SP, var->vv.regoff * 4 + 4);
+                       emit_mov_reg_membase(cd, REG_ITMP3, REG_SP, var->vv.regoff + 4);
                        break;
 
                case ICMD_FALOAD:     /* ..., arrayref, index  ==> ..., value         */
@@ -1997,7 +1984,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_FTMP1);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_flds_memindex(cd, OFFSET(java_floatarray, data[0]), s1, s2, 2);
+                       emit_flds_memindex(cd, OFFSET(java_floatarray_t, data[0]), s1, s2, 2);
                        emit_store_dst(jd, iptr, d);
                        break;
 
@@ -2008,7 +1995,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_FTMP3);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_fldl_memindex(cd, OFFSET(java_doublearray, data[0]), s1, s2,3);
+                       emit_fldl_memindex(cd, OFFSET(java_doublearray_t, data[0]), s1, s2,3);
                        emit_store_dst(jd, iptr, d);
                        break;
 
@@ -2019,7 +2006,7 @@ bool codegen_emit(jitdata *jd)
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP1);
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
-                       emit_mov_memindex_reg(cd, OFFSET(java_objectarray, data[0]),
+                       emit_mov_memindex_reg(cd, OFFSET(java_objectarray_t, data[0]),
                                                                  s1, s2, 2, d);
                        emit_store_dst(jd, iptr, d);
                        break;
@@ -2037,7 +2024,7 @@ bool codegen_emit(jitdata *jd)
                                M_INTMOVE(s3, REG_ITMP3);
                                s3 = REG_ITMP3;
                        }
-                       emit_movb_reg_memindex(cd, s3, OFFSET(java_bytearray, data[0]),
+                       emit_movb_reg_memindex(cd, s3, OFFSET(java_bytearray_t, data[0]),
                                                                   s1, s2, 0);
                        break;
 
@@ -2048,7 +2035,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        s3 = emit_load_s3(jd, iptr, REG_ITMP3);
-                       emit_movw_reg_memindex(cd, s3, OFFSET(java_chararray, data[0]),
+                       emit_movw_reg_memindex(cd, s3, OFFSET(java_chararray_t, data[0]),
                                                                   s1, s2, 1);
                        break;
 
@@ -2059,7 +2046,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        s3 = emit_load_s3(jd, iptr, REG_ITMP3);
-                       emit_movw_reg_memindex(cd, s3, OFFSET(java_shortarray, data[0]),
+                       emit_movw_reg_memindex(cd, s3, OFFSET(java_shortarray_t, data[0]),
                                                                   s1, s2, 1);
                        break;
 
@@ -2070,7 +2057,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        s3 = emit_load_s3(jd, iptr, REG_ITMP3);
-                       emit_mov_reg_memindex(cd, s3, OFFSET(java_intarray, data[0]),
+                       emit_mov_reg_memindex(cd, s3, OFFSET(java_intarray_t, data[0]),
                                                                  s1, s2, 2);
                        break;
 
@@ -2084,12 +2071,12 @@ bool codegen_emit(jitdata *jd)
                        var = VAROP(iptr->sx.s23.s3);
 
                        assert(var->flags & INMEMORY);
-                       emit_mov_membase_reg(cd, REG_SP, var->vv.regoff * 4, REG_ITMP3);
-                       emit_mov_reg_memindex(cd, REG_ITMP3, OFFSET(java_longarray, data[0])
+                       emit_mov_membase_reg(cd, REG_SP, var->vv.regoff, REG_ITMP3);
+                       emit_mov_reg_memindex(cd, REG_ITMP3, OFFSET(java_longarray_t, data[0])
                                                                  , s1, s2, 3);
-                       emit_mov_membase_reg(cd, REG_SP, var->vv.regoff * 4 + 4, REG_ITMP3);
+                       emit_mov_membase_reg(cd, REG_SP, var->vv.regoff + 4, REG_ITMP3);
                        emit_mov_reg_memindex(cd, REG_ITMP3,
-                                                           OFFSET(java_longarray, data[0]) + 4, s1, s2, 3);
+                                                           OFFSET(java_longarray_t, data[0]) + 4, s1, s2, 3);
                        break;
 
                case ICMD_FASTORE:    /* ..., arrayref, index, value  ==> ...         */
@@ -2099,7 +2086,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        s3 = emit_load_s3(jd, iptr, REG_FTMP1);
-                       emit_fstps_memindex(cd, OFFSET(java_floatarray, data[0]), s1, s2,2);
+                       emit_fstps_memindex(cd, OFFSET(java_floatarray_t, data[0]), s1, s2,2);
                        break;
 
                case ICMD_DASTORE:    /* ..., arrayref, index, value  ==> ...         */
@@ -2109,7 +2096,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        s3 = emit_load_s3(jd, iptr, REG_FTMP1);
-                       emit_fstpl_memindex(cd, OFFSET(java_doublearray, data[0]),
+                       emit_fstpl_memindex(cd, OFFSET(java_doublearray_t, data[0]),
                                                                s1, s2, 3);
                        break;
 
@@ -2123,14 +2110,14 @@ bool codegen_emit(jitdata *jd)
 
                        M_AST(s1, REG_SP, 0 * 4);
                        M_AST(s3, REG_SP, 1 * 4);
-                       M_MOV_IMM(BUILTIN_canstore, REG_ITMP1);
+                       M_MOV_IMM(BUILTIN_FAST_canstore, REG_ITMP1);
                        M_CALL(REG_ITMP1);
-                       emit_exception_check(cd, iptr);
+                       emit_arraystore_check(cd, iptr);
 
                        s1 = emit_load_s1(jd, iptr, REG_ITMP1);
                        s2 = emit_load_s2(jd, iptr, REG_ITMP2);
                        s3 = emit_load_s3(jd, iptr, REG_ITMP3);
-                       emit_mov_reg_memindex(cd, s3, OFFSET(java_objectarray, data[0]),
+                       emit_mov_reg_memindex(cd, s3, OFFSET(java_objectarray_t, data[0]),
                                                                  s1, s2, 2);
                        break;
 
@@ -2141,7 +2128,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        emit_movb_imm_memindex(cd, iptr->sx.s23.s3.constval,
-                                                                  OFFSET(java_bytearray, data[0]), s1, s2, 0);
+                                                                  OFFSET(java_bytearray_t, data[0]), s1, s2, 0);
                        break;
 
                case ICMD_CASTORECONST:   /* ..., arrayref, index  ==> ...            */
@@ -2151,7 +2138,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        emit_movw_imm_memindex(cd, iptr->sx.s23.s3.constval,
-                                                                  OFFSET(java_chararray, data[0]), s1, s2, 1);
+                                                                  OFFSET(java_chararray_t, data[0]), s1, s2, 1);
                        break;
 
                case ICMD_SASTORECONST:   /* ..., arrayref, index  ==> ...            */
@@ -2161,7 +2148,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        emit_movw_imm_memindex(cd, iptr->sx.s23.s3.constval,
-                                                                  OFFSET(java_shortarray, data[0]), s1, s2, 1);
+                                                                  OFFSET(java_shortarray_t, data[0]), s1, s2, 1);
                        break;
 
                case ICMD_IASTORECONST: /* ..., arrayref, index  ==> ...              */
@@ -2171,7 +2158,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        emit_mov_imm_memindex(cd, iptr->sx.s23.s3.constval,
-                                                                 OFFSET(java_intarray, data[0]), s1, s2, 2);
+                                                                 OFFSET(java_intarray_t, data[0]), s1, s2, 2);
                        break;
 
                case ICMD_LASTORECONST: /* ..., arrayref, index  ==> ...              */
@@ -2182,10 +2169,10 @@ bool codegen_emit(jitdata *jd)
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        emit_mov_imm_memindex(cd, 
                                                   (u4) (iptr->sx.s23.s3.constval & 0x00000000ffffffff),
-                                                  OFFSET(java_longarray, data[0]), s1, s2, 3);
+                                                  OFFSET(java_longarray_t, data[0]), s1, s2, 3);
                        emit_mov_imm_memindex(cd, 
                                                        ((s4)iptr->sx.s23.s3.constval) >> 31, 
-                                                       OFFSET(java_longarray, data[0]) + 4, s1, s2, 3);
+                                                       OFFSET(java_longarray_t, data[0]) + 4, s1, s2, 3);
                        break;
 
                case ICMD_AASTORECONST: /* ..., arrayref, index  ==> ...              */
@@ -2195,7 +2182,7 @@ bool codegen_emit(jitdata *jd)
                        /* implicit null-pointer check */
                        emit_arrayindexoutofbounds_check(cd, iptr, s1, s2);
                        emit_mov_imm_memindex(cd, 0, 
-                                                                 OFFSET(java_objectarray, data[0]), s1, s2, 2);
+                                                                 OFFSET(java_objectarray_t, data[0]), s1, s2, 2);
                        break;
 
 
@@ -2212,7 +2199,7 @@ bool codegen_emit(jitdata *jd)
                        else {
                                fi        = iptr->sx.s23.s3.fmiref->p.field;
                                fieldtype = fi->type;
-                               disp      = (ptrint) &(fi->value);
+                               disp      = (intptr_t) fi->value;
 
                                if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class))
                                        codegen_addpatchref(cd, PATCHER_clinit, fi->class, 0);
@@ -2253,7 +2240,7 @@ bool codegen_emit(jitdata *jd)
                        else {
                                fi        = iptr->sx.s23.s3.fmiref->p.field;
                                fieldtype = fi->type;
-                               disp      = (ptrint) &(fi->value);
+                               disp      = (intptr_t) fi->value;
 
                                if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class))
                                        codegen_addpatchref(cd, PATCHER_clinit, fi->class, 0);
@@ -2295,7 +2282,7 @@ bool codegen_emit(jitdata *jd)
                        else {
                                fi        = iptr->sx.s23.s3.fmiref->p.field;
                                fieldtype = fi->type;
-                               disp      = (ptrint) &(fi->value);
+                               disp      = (intptr_t) fi->value;
 
                                if (!CLASS_IS_OR_ALMOST_INITIALIZED(fi->class))
                                        codegen_addpatchref(cd, PATCHER_clinit, fi->class, 0);
@@ -2322,21 +2309,17 @@ bool codegen_emit(jitdata *jd)
                        emit_nullpointer_check(cd, iptr, s1);
 
                        if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
-                               unresolved_field *uf = iptr->sx.s23.s3.uf;
-
+                               uf        = iptr->sx.s23.s3.uf;
                                fieldtype = uf->fieldref->parseddesc.fd->type;
+                               disp      = 0;
 
                                codegen_addpatchref(cd, PATCHER_getfield,
                                                                        iptr->sx.s23.s3.uf, 0);
-
-                               disp = 0;
-
                        }
                        else {
-                               fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
-                               
+                               fi        = iptr->sx.s23.s3.fmiref->p.field;
                                fieldtype = fi->type;
-                               disp = fi->offset;
+                               disp      = fi->offset;
                        }
 
                        switch (fieldtype) {
@@ -2369,13 +2352,11 @@ bool codegen_emit(jitdata *jd)
                        /* must be done here because of code patching */
 
                        if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
-                               unresolved_field *uf = iptr->sx.s23.s3.uf;
-
+                               uf        = iptr->sx.s23.s3.uf;
                                fieldtype = uf->fieldref->parseddesc.fd->type;
                        }
                        else {
-                               fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
-
+                               fi        = iptr->sx.s23.s3.fmiref->p.field;
                                fieldtype = fi->type;
                        }
 
@@ -2389,16 +2370,15 @@ bool codegen_emit(jitdata *jd)
                                s2 = emit_load_s2(jd, iptr, REG_FTMP2);
 
                        if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
-                               unresolved_field *uf = iptr->sx.s23.s3.uf;
-
-                               codegen_addpatchref(cd, PATCHER_putfield, uf, 0);
-
+                               /* XXX */
+                               uf   = iptr->sx.s23.s3.uf;
                                disp = 0;
 
+                               codegen_addpatchref(cd, PATCHER_putfield, uf, 0);
                        }
                        else {
-                               fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
-
+                               /* XXX */
+                               fi   = iptr->sx.s23.s3.fmiref->p.field;
                                disp = fi->offset;
                        }
 
@@ -2427,25 +2407,19 @@ bool codegen_emit(jitdata *jd)
                        emit_nullpointer_check(cd, iptr, s1);
 
                        if (INSTRUCTION_IS_UNRESOLVED(iptr)) {
-                               unresolved_field *uf = iptr->sx.s23.s3.uf;
-
+                               uf        = iptr->sx.s23.s3.uf;
                                fieldtype = uf->fieldref->parseddesc.fd->type;
+                               disp      = 0;
 
                                codegen_addpatchref(cd, PATCHER_putfieldconst,
                                                                        uf, 0);
-
-                               disp = 0;
-
                        }
-                       else
-                       {
-                               fieldinfo *fi = iptr->sx.s23.s3.fmiref->p.field;
-
+                       else {
+                               fi        = iptr->sx.s23.s3.fmiref->p.field;
                                fieldtype = fi->type;
-                               disp = fi->offset;
+                               disp      = fi->offset;
                        }
 
-
                        switch (fieldtype) {
                        case TYPE_INT:
                        case TYPE_ADR:
@@ -2488,9 +2462,11 @@ bool codegen_emit(jitdata *jd)
 #if defined(ENABLE_SSA)
                        if ( ls != NULL ) {
                                last_cmd_was_goto = true;
+
                                /* In case of a Goto phimoves have to be inserted before the */
                                /* jump */
-                               codegen_insert_phi_moves(jd, bptr);
+
+                               codegen_emit_phi_moves(jd, bptr);
                        }
 #endif
                        emit_br(cd, iptr->dst.block);
@@ -2767,25 +2743,25 @@ nowperformreturn:
 
 #if defined(ENABLE_THREADS)
                        if (checksync && (m->flags & ACC_SYNCHRONIZED)) {
-                               M_ALD(REG_ITMP2, REG_SP, rd->memuse * 4);
+                               M_ALD(REG_ITMP2, REG_SP, rd->memuse * 8);
 
                                /* we need to save the proper return value */
                                switch (iptr->opc) {
                                case ICMD_IRETURN:
                                case ICMD_ARETURN:
-                                       M_IST(REG_RESULT, REG_SP, rd->memuse * 4);
+                                       M_IST(REG_RESULT, REG_SP, rd->memuse * 8);
                                        break;
 
                                case ICMD_LRETURN:
-                                       M_LST(REG_RESULT_PACKED, REG_SP, rd->memuse * 4);
+                                       M_LST(REG_RESULT_PACKED, REG_SP, rd->memuse * 8);
                                        break;
 
                                case ICMD_FRETURN:
-                                       emit_fstps_membase(cd, REG_SP, rd->memuse * 4);
+                                       emit_fstps_membase(cd, REG_SP, rd->memuse * 8);
                                        break;
 
                                case ICMD_DRETURN:
-                                       emit_fstpl_membase(cd, REG_SP, rd->memuse * 4);
+                                       emit_fstpl_membase(cd, REG_SP, rd->memuse * 8);
                                        break;
                                }
 
@@ -2797,19 +2773,19 @@ nowperformreturn:
                                switch (iptr->opc) {
                                case ICMD_IRETURN:
                                case ICMD_ARETURN:
-                                       M_ILD(REG_RESULT, REG_SP, rd->memuse * 4);
+                                       M_ILD(REG_RESULT, REG_SP, rd->memuse * 8);
                                        break;
 
                                case ICMD_LRETURN:
-                                       M_LLD(REG_RESULT_PACKED, REG_SP, rd->memuse * 4);
+                                       M_LLD(REG_RESULT_PACKED, REG_SP, rd->memuse * 8);
                                        break;
 
                                case ICMD_FRETURN:
-                                       emit_flds_membase(cd, REG_SP, rd->memuse * 4);
+                                       emit_flds_membase(cd, REG_SP, rd->memuse * 8);
                                        break;
 
                                case ICMD_DRETURN:
-                                       emit_fldl_membase(cd, REG_SP, rd->memuse * 4);
+                                       emit_fldl_membase(cd, REG_SP, rd->memuse * 8);
                                        break;
                                }
                        }
@@ -2818,12 +2794,12 @@ nowperformreturn:
                        /* restore saved registers */
 
                        for (i = INT_SAV_CNT - 1; i >= rd->savintreguse; i--) {
-                               p--; M_ALD(rd->savintregs[i], REG_SP, p * 4);
+                               p--; M_ALD(rd->savintregs[i], REG_SP, p * 8);
                        }
 
                        for (i = FLT_SAV_CNT - 1; i >= rd->savfltreguse; i--) {
                                p--;
-                               emit_fldl_membase(cd, REG_SP, p * 4);
+                               emit_fldl_membase(cd, REG_SP, p * 8);
                                if (iptr->opc == ICMD_FRETURN || iptr->opc == ICMD_DRETURN) {
                                        assert(0);
 /*                                     emit_fstp_reg(cd, rd->savfltregs[i] + fpu_st_offset + 1); */
@@ -2836,7 +2812,7 @@ nowperformreturn:
                        /* deallocate stack */
 
                        if (cd->stackframesize)
-                               M_AADD_IMM(cd->stackframesize * 4, REG_SP);
+                               M_AADD_IMM(cd->stackframesize * 8, REG_SP);
 
                        emit_ret(cd);
                        }
@@ -2911,6 +2887,8 @@ nowperformreturn:
 
                case ICMD_BUILTIN:      /* ..., [arg1, [arg2 ...]] ==> ...            */
 
+                       REPLACEMENT_POINT_FORGC_BUILTIN(cd, iptr);
+
                        bte = iptr->sx.s23.s3.bte;
                        md = bte->md;
                        goto gen_method;
@@ -2953,42 +2931,45 @@ gen_method:
                                        } else {
                                                if (IS_2_WORD_TYPE(var->type)) {
                                                        d = emit_load(jd, iptr, var, REG_ITMP12_PACKED);
-                                                       M_LST(d, REG_SP, md->params[s3].regoff * 4);
+                                                       M_LST(d, REG_SP, md->params[s3].regoff);
                                                } else {
                                                        d = emit_load(jd, iptr, var, REG_ITMP1);
-                                                       M_IST(d, REG_SP, md->params[s3].regoff * 4);
+                                                       M_IST(d, REG_SP, md->params[s3].regoff);
                                                }
                                        }
 
                                } else {
                                        if (!md->params[s3].inmemory) {
-                                               s1 = rd->argfltregs[md->params[s3].regoff];
+                                               s1 = md->params[s3].regoff;
                                                d = emit_load(jd, iptr, var, s1);
                                                M_FLTMOVE(d, s1);
 
                                        } else {
                                                d = emit_load(jd, iptr, var, REG_FTMP1);
                                                if (IS_2_WORD_TYPE(var->type))
-                                                       M_DST(d, REG_SP, md->params[s3].regoff * 4);
+                                                       M_DST(d, REG_SP, md->params[s3].regoff);
                                                else
-                                                       M_FST(d, REG_SP, md->params[s3].regoff * 4);
+                                                       M_FST(d, REG_SP, md->params[s3].regoff);
                                        }
                                }
                        } /* end of for */
 
                        switch (iptr->opc) {
                        case ICMD_BUILTIN:
-                               disp = (ptrint) bte->fp;
                                d = md->returntype.type;
 
-                               M_MOV_IMM(disp, REG_ITMP1);
+                               if (bte->stub == NULL) {
+                                       M_MOV_IMM(bte->fp, REG_ITMP1);
+                               } else {
+                                       M_MOV_IMM(bte->stub, REG_ITMP1);
+                               }
                                M_CALL(REG_ITMP1);
 
                                emit_exception_check(cd, iptr);
                                break;
 
                        case ICMD_INVOKESPECIAL:
-                               M_ALD(REG_ITMP1, REG_SP, 0 * 4);
+                               M_ALD(REG_ITMP1, REG_SP, 0 * 8);
                                emit_nullpointer_check(cd, iptr, REG_ITMP1);
                                /* fall through */
 
@@ -3012,7 +2993,7 @@ gen_method:
                                break;
 
                        case ICMD_INVOKEVIRTUAL:
-                               M_ALD(REG_ITMP1, REG_SP, 0 * 4);
+                               M_ALD(REG_ITMP1, REG_SP, 0 * 8);
                                emit_nullpointer_check(cd, iptr, s1);
 
                                if (lm == NULL) {
@@ -3030,13 +3011,13 @@ gen_method:
                                }
 
                                M_ALD(REG_METHODPTR, REG_ITMP1,
-                                         OFFSET(java_objectheader, vftbl));
+                                         OFFSET(java_object_t, vftbl));
                                M_ALD32(REG_ITMP3, REG_METHODPTR, s1);
                                M_CALL(REG_ITMP3);
                                break;
 
                        case ICMD_INVOKEINTERFACE:
-                               M_ALD(REG_ITMP1, REG_SP, 0 * 4);
+                               M_ALD(REG_ITMP1, REG_SP, 0 * 8);
                                emit_nullpointer_check(cd, iptr, s1);
 
                                if (lm == NULL) {
@@ -3058,7 +3039,7 @@ gen_method:
                                }
 
                                M_ALD(REG_METHODPTR, REG_ITMP1,
-                                         OFFSET(java_objectheader, vftbl));
+                                         OFFSET(java_object_t, vftbl));
                                M_ALD32(REG_METHODPTR, REG_METHODPTR, s1);
                                M_ALD32(REG_ITMP3, REG_METHODPTR, s2);
                                M_CALL(REG_ITMP3);
@@ -3068,13 +3049,14 @@ gen_method:
                        /* store size of call code in replacement point */
 
                        REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr);
+                       REPLACEMENT_POINT_FORGC_BUILTIN_RETURN(cd, iptr);
 
                        /* d contains return type */
 
                        if (d != TYPE_VOID) {
 #if defined(ENABLE_SSA)
-                               if ((ls == NULL) || (!IS_TEMPVAR_INDEX(iptr->dst.varindex)) ||
-                                       (ls->lifetime[-iptr->dst.varindex-1].type != -1)) 
+                               if ((ls == NULL) /* || (!IS_TEMPVAR_INDEX(iptr->dst.varindex)) */ ||
+                                       (ls->lifetime[iptr->dst.varindex].type != UNUSED)) 
                                        /* a "living" stackslot */
 #endif
                                {
@@ -3098,20 +3080,6 @@ gen_method:
 
 
                case ICMD_CHECKCAST:  /* ..., objectref ==> ..., objectref            */
-                                     /* val.a: (classinfo*) superclass               */
-
-                       /*  superclass is an interface:
-                        *
-                        *  OK if ((sub == NULL) ||
-                        *         (sub->vftbl->interfacetablelength > super->index) &&
-                        *         (sub->vftbl->interfacetable[-super->index] != NULL));
-                        *
-                        *  superclass is a class:
-                        *
-                        *  OK if ((sub == NULL) || (0
-                        *         <= (sub->vftbl->baseval - super->vftbl->baseval) <=
-                        *         super->vftbl->diffval));
-                        */
 
                        if (!(iptr->flags.bits & INS_FLAG_ARRAY)) {
                                /* object type cast-check */
@@ -3131,9 +3099,9 @@ gen_method:
                                        supervftbl = super->vftbl;
                                }
                        
-#if defined(ENABLE_THREADS)
-                               codegen_threadcritrestart(cd, cd->mcodeptr - cd->mcodebase);
-#endif
+                               if ((super == NULL) || !(super->flags & ACC_INTERFACE))
+                                       CODEGEN_CRITICAL_SECTION_NEW;
+
                                s1 = emit_load_s1(jd, iptr, REG_ITMP1);
 
                                /* if class is not resolved, check which code to call */
@@ -3158,7 +3126,7 @@ gen_method:
                                                emit_label_beq(cd, BRANCH_LABEL_3);
                                        }
 
-                                       M_ALD(REG_ITMP2, s1, OFFSET(java_objectheader, vftbl));
+                                       M_ALD(REG_ITMP2, s1, OFFSET(java_object_t, vftbl));
 
                                        if (super == NULL) {
                                                codegen_addpatchref(cd, PATCHER_checkcast_interface,
@@ -3196,7 +3164,7 @@ gen_method:
                                                emit_label_beq(cd, BRANCH_LABEL_5);
                                        }
 
-                                       M_ALD(REG_ITMP2, s1, OFFSET(java_objectheader, vftbl));
+                                       M_ALD(REG_ITMP2, s1, OFFSET(java_object_t, vftbl));
 
                                        if (super == NULL) {
                                                codegen_addpatchref(cd, PATCHER_checkcast_class,
@@ -3205,9 +3173,9 @@ gen_method:
                                        }
 
                                        M_MOV_IMM(supervftbl, REG_ITMP3);
-#if defined(ENABLE_THREADS)
-                                       codegen_threadcritstart(cd, cd->mcodeptr - cd->mcodebase);
-#endif
+
+                                       CODEGEN_CRITICAL_SECTION_START;
+
                                        M_ILD32(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, baseval));
 
                                        /*                              if (s1 != REG_ITMP1) { */
@@ -3223,9 +3191,9 @@ gen_method:
                                        M_ISUB(REG_ITMP3, REG_ITMP2);
                                        M_MOV_IMM(supervftbl, REG_ITMP3);
                                        M_ILD(REG_ITMP3, REG_ITMP3, OFFSET(vftbl_t, diffval));
-#if defined(ENABLE_THREADS)
-                                       codegen_threadcritstop(cd, cd->mcodeptr - cd->mcodebase);
-#endif
+
+                                       CODEGEN_CRITICAL_SECTION_END;
+
                                        /*                              } */
 
                                        M_CMP(REG_ITMP3, REG_ITMP2);
@@ -3269,20 +3237,6 @@ gen_method:
                        break;
 
                case ICMD_INSTANCEOF: /* ..., objectref ==> ..., intresult            */
-                                     /* val.a: (classinfo*) superclass               */
-
-                       /*  superclass is an interface:
-                        *
-                        *  return (sub != NULL) &&
-                        *         (sub->vftbl->interfacetablelength > super->index) &&
-                        *         (sub->vftbl->interfacetable[-super->index] != NULL);
-                        *
-                        *  superclass is a class:
-                        *
-                        *  return ((sub != NULL) && (0
-                        *          <= (sub->vftbl->baseval - super->vftbl->baseval) <=
-                        *          super->vftbl->diffvall));
-                        */
 
                        {
                        classinfo *super;
@@ -3300,9 +3254,8 @@ gen_method:
                                supervftbl = super->vftbl;
                        }
                        
-#if defined(ENABLE_THREADS)
-                       codegen_threadcritrestart(cd, cd->mcodeptr - cd->mcodebase);
-#endif
+                       if ((super == NULL) || !(super->flags & ACC_INTERFACE))
+                               CODEGEN_CRITICAL_SECTION_NEW;
 
                        s1 = emit_load_s1(jd, iptr, REG_ITMP1);
                        d = codegen_reg_of_dst(jd, iptr, REG_ITMP2);
@@ -3336,7 +3289,7 @@ gen_method:
                                        emit_label_beq(cd, BRANCH_LABEL_3);
                                }
 
-                               M_ALD(REG_ITMP1, s1, OFFSET(java_objectheader, vftbl));
+                               M_ALD(REG_ITMP1, s1, OFFSET(java_object_t, vftbl));
 
                                if (super == NULL) {
                                        codegen_addpatchref(cd, PATCHER_instanceof_interface,
@@ -3378,7 +3331,7 @@ gen_method:
                                        emit_label_beq(cd, BRANCH_LABEL_5);
                                }
 
-                               M_ALD(REG_ITMP1, s1, OFFSET(java_objectheader, vftbl));
+                               M_ALD(REG_ITMP1, s1, OFFSET(java_object_t, vftbl));
 
                                if (super == NULL) {
                                        codegen_addpatchref(cd, PATCHER_instanceof_class,
@@ -3386,15 +3339,15 @@ gen_method:
                                }
 
                                M_MOV_IMM(supervftbl, REG_ITMP2);
-#if defined(ENABLE_THREADS)
-                               codegen_threadcritstart(cd, cd->mcodeptr - cd->mcodebase);
-#endif
+
+                               CODEGEN_CRITICAL_SECTION_START;
+
                                M_ILD(REG_ITMP1, REG_ITMP1, OFFSET(vftbl_t, baseval));
                                M_ILD(REG_ITMP3, REG_ITMP2, OFFSET(vftbl_t, diffval));
                                M_ILD(REG_ITMP2, REG_ITMP2, OFFSET(vftbl_t, baseval));
-#if defined(ENABLE_THREADS)
-                               codegen_threadcritstop(cd, cd->mcodeptr - cd->mcodebase);
-#endif
+
+                               CODEGEN_CRITICAL_SECTION_END;
+
                                M_ISUB(REG_ITMP2, REG_ITMP1);
                                M_CLR(d);                                 /* may be REG_ITMP2 */
                                M_CMP(REG_ITMP3, REG_ITMP1);
@@ -3427,7 +3380,7 @@ gen_method:
                                /* Already Preallocated? */
                                if (!(var->flags & PREALLOC)) {
                                        if (var->flags & INMEMORY) {
-                                               M_ILD(REG_ITMP1, REG_SP, var->vv.regoff * 4);
+                                               M_ILD(REG_ITMP1, REG_SP, var->vv.regoff);
                                                M_IST(REG_ITMP1, REG_SP, (s1 + 3) * 4);
                                        }
                                        else
@@ -3488,10 +3441,12 @@ gen_method:
 #endif
 #if defined(ENABLE_SSA)
        if ( ls != NULL ) {
+
                /* by edge splitting, in Blocks with phi moves there can only */
                /* be a goto as last command, no other Jump/Branch Command    */
+
                if (!last_cmd_was_goto)
-                       codegen_insert_phi_moves(jd, bptr);
+                       codegen_emit_phi_moves(jd, bptr);
        }
 
 #endif
@@ -3515,265 +3470,221 @@ gen_method:
        /* generate stubs */
 
        emit_patcher_stubs(jd);
-       REPLACEMENT_EMIT_STUBS(jd);
 
        /* everything's ok */
 
        return true;
 }
 
-#if defined(ENABLE_SSA)
-void codegen_insert_phi_moves(jitdata *jd, basicblock *bptr) {
-       /* look for phi moves */
-       int t_a,s_a,i, type;
-       int t_lt, s_lt; /* lifetime indices of phi_moves */
-       s4 t_regoff, s_regoff, s_flags, t_flags;
+/* codegen_emit_stub_compiler **************************************************
+
+   Emit a stub routine which calls the compiler.
+       
+*******************************************************************************/
+
+void codegen_emit_stub_compiler(jitdata *jd)
+{
+       methodinfo  *m;
        codegendata *cd;
-       lsradata *ls;
 
-       MCODECHECK(512);
+       /* get required compiler data */
 
-       ls = jd->ls;
+       m  = jd->m;
        cd = jd->cd;
-       
-       /* Moves from phi functions with highest indices have to be */
-       /* inserted first, since this is the order as is used for   */
-       /* conflict resolution */
-       for(i = ls->num_phi_moves[bptr->nr] - 1; i >= 0 ; i--) {
-               t_a = ls->phi_moves[bptr->nr][i][0];
-               s_a = ls->phi_moves[bptr->nr][i][1];
-#if defined(SSA_DEBUG_VERBOSE)
-               if (compileverbose)
-                       printf("BB %3i Move %3i <- %3i ", bptr->nr, t_a, s_a);
-#endif
-               if (t_a >= 0) {
-                       /* local var lifetimes */
-                       t_lt = ls->maxlifetimes + t_a;
-                       type = ls->lifetime[t_lt].type;
-               }
-               else {
-                       t_lt = -t_a-1;
-                       type = ls->lifetime[t_lt].local_ss->s->type;
-                       /* stackslot lifetime */
-               }
 
-               if (type == -1) {
-#if defined(SSA_DEBUG_VERBOSE)
-                       if (compileverbose)
-                               printf("...returning - phi lifetimes where joined\n");
-#endif
-                       return;
-               }
+       /* code for the stub */
 
-               if (s_a >= 0) {
-                       /* local var lifetimes */
-                       s_lt = ls->maxlifetimes + s_a;
-                       type = ls->lifetime[s_lt].type;
-               }
-               else {
-                       s_lt = -s_a-1;
-                       type = ls->lifetime[s_lt].type;
-                       /* stackslot lifetime */
-               }
+       M_MOV_IMM(m, REG_ITMP1);
+       M_MOV_IMM(asm_call_jit_compiler, REG_ITMP3);
+       M_JMP(REG_ITMP3);
+}
 
-               if (type == -1) {
-#if defined(SSA_DEBUG_VERBOSE)
-                       if (compileverbose)
-                               printf("...returning - phi lifetimes where joined\n");
-#endif
-                       return;
-               }
 
-               if (t_a >= 0) {
-                       t_flags = VAR(t_a)->flags;
-                       t_regoff = VAR(t_a)->vv.regoff;
-                       
-               }
-               else {
-                       t_flags = ls->lifetime[t_lt].local_ss->s->flags;
-                       t_regoff = ls->lifetime[t_lt].local_ss->s->regoff;
-               }
+/* codegen_emit_stub_builtin ***************************************************
 
-               if (s_a >= 0) {
-                       /* local var move */
-                       s_flags = VAR(s_a)->flags;
-                       s_regoff = VAR(s_a)->vv.regoff;
-               } else {
-                       /* stackslot lifetime */
-                       s_flags = ls->lifetime[s_lt].local_ss->s->flags;
-                       s_regoff = ls->lifetime[s_lt].local_ss->s->regoff;
-               }
+   Creates a stub routine which calls a builtin function.
+
+*******************************************************************************/
+
+void codegen_emit_stub_builtin(jitdata *jd, builtintable_entry *bte)
+{
+       codeinfo    *code;
+       codegendata *cd;
+       methoddesc  *md;
+       s4           i;
+       s4           disp;
+       s4           s1, s2;
+
+       /* get required compiler data */
+
+       code = jd->code;
+       cd   = jd->cd;
+
+       /* set some variables */
+
+       md = bte->md;
+
+       /* calculate stack frame size */
+
+       cd->stackframesize =
+               sizeof(stackframeinfo) / SIZEOF_VOID_P +
+               4;                              /* 4 arguments or return value        */
+
+       cd->stackframesize |= 0x3;          /* keep stack 16-byte aligned         */
+
+       /* create method header */
 
-               if (type == -1) {
-#if defined(SSA_DEBUG_VERBOSE)
-                       if (compileverbose)
-                               printf("...returning - phi lifetimes where joined\n");
+       (void) dseg_add_unique_address(cd, code);              /* CodeinfoPointer */
+       (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize       */
+       (void) dseg_add_unique_s4(cd, 0);                      /* IsSync          */
+       (void) dseg_add_unique_s4(cd, 0);                      /* IsLeaf          */
+       (void) dseg_add_unique_s4(cd, 0);                      /* IntSave         */
+       (void) dseg_add_unique_s4(cd, 0);                      /* FltSave         */
+       (void) dseg_addlinenumbertablesize(cd);
+       (void) dseg_add_unique_s4(cd, 0);                      /* ExTableSize     */
+
+       /* generate stub code */
+
+       M_ASUB_IMM(cd->stackframesize * 4, REG_SP);
+
+#if defined(ENABLE_GC_CACAO)
+       /* Save callee saved integer registers in stackframeinfo (GC may
+          need to recover them during a collection). */
+
+       disp = cd->stackframesize * 4 - sizeof(stackframeinfo) +
+               OFFSET(stackframeinfo, intregs);
+
+       for (i = 0; i < INT_SAV_CNT; i++)
+               M_AST(abi_registers_integer_saved[i], REG_SP, disp + i * 4);
 #endif
-                       return;
-               }
 
-               cg_move(cd, type, s_regoff, s_flags, t_regoff, t_flags);
+       /* create dynamic stack info */
 
-#if defined(SSA_DEBUG_VERBOSE)
-               if (compileverbose) {
-                       if (IS_INMEMORY(t_flags) && IS_INMEMORY(s_flags)) {
-                               /* mem -> mem */
-                               printf("M%3i <- M%3i",t_regoff,s_regoff);
-                       }
-                       else    if (IS_INMEMORY(s_flags)) {
-                               /* mem -> reg */
-                               printf("R%3i <- M%3i",t_regoff,s_regoff);
-                       }
-                       else if (IS_INMEMORY(t_flags)) {
-                               /* reg -> mem */
-                               printf("M%3i <- R%3i",t_regoff,s_regoff);
-                       }
-                       else {
-                               /* reg -> reg */
-                               printf("R%3i <- R%3i",t_regoff,s_regoff);
-                       }
-                       printf("\n");
-               }
-#endif /* defined(SSA_DEBUG_VERBOSE) */
-       }
-}
+       M_MOV(REG_SP, REG_ITMP1);
+       M_AADD_IMM(cd->stackframesize * 4, REG_ITMP1);
+       M_AST(REG_ITMP1, REG_SP, 0 * 4);
 
-void cg_move(codegendata *cd, s4 type, s4 src_regoff, s4 src_flags,
-                        s4 dst_regoff, s4 dst_flags) {
-       if ((IS_INMEMORY(dst_flags)) && (IS_INMEMORY(src_flags))) {
-               /* mem -> mem */
-               if (dst_regoff != src_regoff) {
-                       if (!IS_2_WORD_TYPE(type)) {
-                               if (IS_FLT_DBL_TYPE(type)) {
-                                       emit_flds_membase(cd, REG_SP, src_regoff * 4);
-                                       emit_fstps_membase(cd, REG_SP, dst_regoff * 4);
-                               } else{
-                                       emit_mov_membase_reg(cd, REG_SP, src_regoff * 4,
-                                                       REG_ITMP1);
-                                       emit_mov_reg_membase(cd, REG_ITMP1, REG_SP, dst_regoff * 4);
-                               }
-                       } else { /* LONG OR DOUBLE */
-                               if (IS_FLT_DBL_TYPE(type)) {
-                                       emit_fldl_membase( cd, REG_SP, src_regoff * 4);
-                                       emit_fstpl_membase(cd, REG_SP, dst_regoff * 4);
-                               } else {
-                                       emit_mov_membase_reg(cd, REG_SP, src_regoff * 4,
-                                                       REG_ITMP1);
-                                       emit_mov_reg_membase(cd, REG_ITMP1, REG_SP, dst_regoff * 4);
-                                       emit_mov_membase_reg(cd, REG_SP, src_regoff * 4 + 4,
-                            REG_ITMP1);             
-                                       emit_mov_reg_membase(cd, REG_ITMP1, REG_SP, 
-                                                       dst_regoff * 4 + 4);
-                               }
-                       }
-               }
-       } else {
-               if (IS_FLT_DBL_TYPE(type)) {
-                       log_text("cg_move: flt/dbl type have to be in memory\n");
-/*                     assert(0); */
-               }
-               if (IS_2_WORD_TYPE(type)) {
-                       log_text("cg_move: longs have to be in memory\n");
-/*                     assert(0); */
-               }
-               if (IS_INMEMORY(src_flags)) {
-                       /* mem -> reg */
-                       emit_mov_membase_reg(cd, REG_SP, src_regoff * 4, dst_regoff);
-               } else if (IS_INMEMORY(dst_flags)) {
-                       /* reg -> mem */
-                       emit_mov_reg_membase(cd, src_regoff, REG_SP, dst_regoff * 4);
-               } else {
-                       /* reg -> reg */
-                       /* only ints can be in regs on i386 */
-                       M_INTMOVE(src_regoff,dst_regoff);
-               }
-       }
-}
-#endif /* defined(ENABLE_SSA) */
+       M_IST_IMM(0, REG_SP, 1 * 4);
+       dseg_adddata(cd);
 
-/* createcompilerstub **********************************************************
+       M_MOV(REG_SP, REG_ITMP2);
+       M_AADD_IMM(cd->stackframesize * 4 + SIZEOF_VOID_P, REG_ITMP2);
+       M_AST(REG_ITMP2, REG_SP, 2 * 4);
 
-   Creates a stub routine which calls the compiler.
-       
-*******************************************************************************/
+       M_ALD(REG_ITMP3, REG_SP, cd->stackframesize * 4);
+       M_AST(REG_ITMP3, REG_SP, 3 * 4);
 
-#define COMPILERSTUB_DATASIZE    3 * SIZEOF_VOID_P
-#define COMPILERSTUB_CODESIZE    12
+       M_MOV_IMM(codegen_stub_builtin_enter, REG_ITMP1);
+       M_CALL(REG_ITMP1);
 
-#define COMPILERSTUB_SIZE        COMPILERSTUB_DATASIZE + COMPILERSTUB_CODESIZE
+       /* copy arguments into new stackframe */
 
+       for (i = 0; i < md->paramcount; i++) {
+               if (!md->params[i].inmemory) {
+                       log_text("No integer argument registers available!");
+                       assert(0);
 
-u1 *createcompilerstub(methodinfo *m)
-{
-       u1          *s;                     /* memory to hold the stub            */
-       ptrint      *d;
-       codegendata *cd;
-       s4           dumpsize;
+               } else {       /* float/double in memory can be copied like int/longs */
+                       s1 = md->params[i].regoff + cd->stackframesize * 4 + 4;
+                       s2 = md->params[i].regoff;
 
-       s = CNEW(u1, COMPILERSTUB_SIZE);
+                       M_ILD(REG_ITMP1, REG_SP, s1);
+                       M_IST(REG_ITMP1, REG_SP, s2);
+                       if (IS_2_WORD_TYPE(md->paramtypes[i].type)) {
+                               M_ILD(REG_ITMP1, REG_SP, s1 + 4);
+                               M_IST(REG_ITMP1, REG_SP, s2 + 4);
+                       }
 
-       /* set data pointer and code pointer */
+               }
+       }
 
-       d = (ptrint *) s;
-       s = s + COMPILERSTUB_DATASIZE;
+       /* call the builtin function */
 
-       /* mark start of dump memory area */
+       M_MOV_IMM(bte->fp, REG_ITMP3);
+       M_CALL(REG_ITMP3);
 
-       dumpsize = dump_size();
+       /* save return value */
 
-       cd = DNEW(codegendata);
-       cd->mcodeptr = s;
+       if (md->returntype.type != TYPE_VOID) {
+               if (IS_INT_LNG_TYPE(md->returntype.type)) {
+                       if (IS_2_WORD_TYPE(md->returntype.type))
+                               M_IST(REG_RESULT2, REG_SP, 2 * 4);
+                       M_IST(REG_RESULT, REG_SP, 1 * 4);
+               }
+               else {
+                       if (IS_2_WORD_TYPE(md->returntype.type))
+                               emit_fstl_membase(cd, REG_SP, 1 * 4);
+                       else
+                               emit_fsts_membase(cd, REG_SP, 1 * 4);
+               }
+       }
 
-       /* The codeinfo pointer is actually a pointer to the
-          methodinfo. This fakes a codeinfo structure. */
+       /* remove native stackframe info */
 
-       d[0] = (ptrint) asm_call_jit_compiler;
-       d[1] = (ptrint) m;
-       d[2] = (ptrint) &d[1];                                    /* fake code->m */
+       M_MOV(REG_SP, REG_ITMP1);
+       M_AADD_IMM(cd->stackframesize * 4, REG_ITMP1);
+       M_AST(REG_ITMP1, REG_SP, 0 * 4);
 
-       /* code for the stub */
+       M_MOV_IMM(codegen_stub_builtin_exit, REG_ITMP1);
+       M_CALL(REG_ITMP1);
 
-       M_MOV_IMM(m, REG_ITMP1);            /* method info                        */
-       M_MOV_IMM(asm_call_jit_compiler, REG_ITMP3);
-       M_JMP(REG_ITMP3);
+       /* restore return value */
 
-#if defined(ENABLE_STATISTICS)
-       if (opt_stat)
-               count_cstub_len += COMPILERSTUB_SIZE;
+       if (md->returntype.type != TYPE_VOID) {
+               if (IS_INT_LNG_TYPE(md->returntype.type)) {
+                       if (IS_2_WORD_TYPE(md->returntype.type))
+                               M_ILD(REG_RESULT2, REG_SP, 2 * 4);
+                       M_ILD(REG_RESULT, REG_SP, 1 * 4);
+               }
+               else {
+                       if (IS_2_WORD_TYPE(md->returntype.type))
+                               emit_fldl_membase(cd, REG_SP, 1 * 4);
+                       else
+                               emit_flds_membase(cd, REG_SP, 1 * 4);
+               }
+       }
+
+#if defined(ENABLE_GC_CACAO)
+       /* Restore callee saved integer registers from stackframeinfo (GC
+          might have modified them during a collection). */
+        
+       disp = cd->stackframesize * 4 - sizeof(stackframeinfo) +
+               OFFSET(stackframeinfo, intregs);
+
+       for (i = 0; i < INT_SAV_CNT; i++)
+               M_ALD(abi_registers_integer_saved[i], REG_SP, disp + i * 4);
 #endif
 
-       /* release dump area */
+       /* remove stackframe */
 
-       dump_release(dumpsize);
-       
-       return s;
+       M_AADD_IMM(cd->stackframesize * 4, REG_SP);
+       M_RET;
 }
 
 
-/* createnativestub ************************************************************
+/* codegen_emit_stub_native ****************************************************
 
-   Creates a stub routine which calls a native method.
+   Emits a stub routine which calls a native method.
 
 *******************************************************************************/
 
-u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
+void codegen_emit_stub_native(jitdata *jd, methoddesc *nmd, functionptr f)
 {
-       methodinfo   *m;
-       codeinfo     *code;
-       codegendata  *cd;
-       registerdata *rd;
-       methoddesc   *md;
-       s4            nativeparams;
-       s4            i, j;                 /* count variables                    */
-       s4            t;
-       s4            s1, s2;
+       methodinfo  *m;
+       codeinfo    *code;
+       codegendata *cd;
+       methoddesc  *md;
+       s4           nativeparams;
+       s4           i, j;                 /* count variables                    */
+       s4           t;
+       s4           s1, s2;
+       s4            disp;
 
        /* get required compiler data */
 
        m    = jd->m;
        code = jd->code;
        cd   = jd->cd;
-       rd   = jd->rd;
 
        /* set some variables */
 
@@ -3786,17 +3697,17 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
                sizeof(stackframeinfo) / SIZEOF_VOID_P +
                sizeof(localref_table) / SIZEOF_VOID_P +
                1 +                             /* function pointer                   */
-               4 * 4 +                         /* 4 arguments (start_native_call)    */
+               4 +                             /* 4 arguments (start_native_call)    */
                nmd->memuse;
 
     /* keep stack 16-byte aligned */
 
-       cd->stackframesize |= 0x3;
+       ALIGN_ODD(cd->stackframesize);        /* XXX this is wrong, +4 is missing */
 
        /* create method header */
 
        (void) dseg_add_unique_address(cd, code);              /* CodeinfoPointer */
-       (void) dseg_add_unique_s4(cd, cd->stackframesize * 4); /* FrameSize       */
+       (void) dseg_add_unique_s4(cd, cd->stackframesize * 8); /* FrameSize       */
        (void) dseg_add_unique_s4(cd, 0);                      /* IsSync          */
        (void) dseg_add_unique_s4(cd, 0);                      /* IsLeaf          */
        (void) dseg_add_unique_s4(cd, 0);                      /* IntSave         */
@@ -3817,7 +3728,7 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
 
        /* calculate stackframe size for native function */
 
-       M_ASUB_IMM(cd->stackframesize * 4, REG_SP);
+       M_ASUB_IMM(cd->stackframesize * 8, REG_SP);
 
 #if !defined(NDEBUG)
        emit_verbosecall_enter(jd);
@@ -3825,10 +3736,8 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
 
        /* get function address (this must happen before the stackframeinfo) */
 
-#if !defined(WITH_STATIC_CLASSPATH)
        if (f == NULL)
                codegen_addpatchref(cd, PATCHER_resolve_native, m, 0);
-#endif
 
        M_AST_IMM((ptrint) f, REG_SP, 4 * 4);
 
@@ -3844,24 +3753,32 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
        emit_ffree_reg(cd, 6);
        emit_ffree_reg(cd, 7);
 
+#if defined(ENABLE_GC_CACAO)
+       /* remember callee saved int registers in stackframeinfo (GC may need to  */
+       /* recover them during a collection).                                     */
+
+       disp = cd->stackframesize * 8 - sizeof(stackframeinfo) +
+               OFFSET(stackframeinfo, intregs);
+
+       for (i = 0; i < INT_SAV_CNT; i++)
+               M_AST(abi_registers_integer_saved[i], REG_SP, disp + i * 4);
+#endif
+
        /* prepare data structures for native function call */
 
        M_MOV(REG_SP, REG_ITMP1);
-       M_AADD_IMM(cd->stackframesize * 4, REG_ITMP1);
-
        M_AST(REG_ITMP1, REG_SP, 0 * 4);
        M_IST_IMM(0, REG_SP, 1 * 4);
        dseg_adddata(cd);
 
-       M_MOV(REG_SP, REG_ITMP2);
-       M_AADD_IMM(cd->stackframesize * 4 + SIZEOF_VOID_P, REG_ITMP2);
-
-       M_AST(REG_ITMP2, REG_SP, 2 * 4);
-       M_ALD(REG_ITMP3, REG_SP, cd->stackframesize * 4);
-       M_AST(REG_ITMP3, REG_SP, 3 * 4);
        M_MOV_IMM(codegen_start_native_call, REG_ITMP1);
        M_CALL(REG_ITMP1);
 
+       /* remember class argument */
+
+       if (m->flags & ACC_STATIC)
+               M_MOV(REG_RESULT, REG_ITMP2);
+
        M_ALD(REG_ITMP3, REG_SP, 4 * 4);
 
        /* copy arguments into new stackframe */
@@ -3871,9 +3788,12 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
 
                if (!md->params[i].inmemory) {
                        /* no integer argument registers */
-               } else {       /* float/double in memory can be copied like int/longs */
-                       s1 = (md->params[i].regoff + cd->stackframesize + 1) * 4;
-                       s2 = nmd->params[j].regoff * 4;
+               }
+               else {
+                       /* float/double in memory can be copied like int/longs */
+
+                       s1 = md->params[i].regoff + cd->stackframesize * 8 + 4;
+                       s2 = nmd->params[j].regoff;
 
                        M_ILD(REG_ITMP1, REG_SP, s1);
                        M_IST(REG_ITMP1, REG_SP, s2);
@@ -3887,7 +3807,7 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
        /* if function is static, put class into second argument */
 
        if (m->flags & ACC_STATIC)
-               M_AST_IMM(m->class, REG_SP, 1 * 4);
+               M_AST(REG_ITMP2, REG_SP, 1 * 4);
 
        /* put env into first argument */
 
@@ -3899,18 +3819,22 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
 
        /* save return value */
 
-       if (md->returntype.type != TYPE_VOID) {
-               if (IS_INT_LNG_TYPE(md->returntype.type)) {
-                       if (IS_2_WORD_TYPE(md->returntype.type))
-                               M_IST(REG_RESULT2, REG_SP, 2 * 4);
-                       M_IST(REG_RESULT, REG_SP, 1 * 4);
-               }
-               else {
-                       if (IS_2_WORD_TYPE(md->returntype.type))
-                               emit_fstl_membase(cd, REG_SP, 1 * 4);
-                       else
-                               emit_fsts_membase(cd, REG_SP, 1 * 4);
-               }
+       switch (md->returntype.type) {
+       case TYPE_INT:
+       case TYPE_ADR:
+               M_IST(REG_RESULT, REG_SP, 1 * 8);
+               break;
+       case TYPE_LNG:
+               M_LST(REG_RESULT_PACKED, REG_SP, 1 * 8);
+               break;
+       case TYPE_FLT:
+               emit_fsts_membase(cd, REG_SP, 1 * 8);
+               break;
+       case TYPE_DBL:
+               emit_fstl_membase(cd, REG_SP, 1 * 8);
+               break;
+       case TYPE_VOID:
+               break;
        }
 
 #if !defined(NDEBUG)
@@ -3920,7 +3844,7 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
        /* remove native stackframe info */
 
        M_MOV(REG_SP, REG_ITMP1);
-       M_AADD_IMM(cd->stackframesize * 4, REG_ITMP1);
+       M_AADD_IMM(cd->stackframesize * 8, REG_ITMP1);
 
        M_AST(REG_ITMP1, REG_SP, 0 * 4);
        M_MOV_IMM(codegen_finish_native_call, REG_ITMP1);
@@ -3929,21 +3853,36 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
 
        /* restore return value */
 
-       if (md->returntype.type != TYPE_VOID) {
-               if (IS_INT_LNG_TYPE(md->returntype.type)) {
-                       if (IS_2_WORD_TYPE(md->returntype.type))
-                               M_ILD(REG_RESULT2, REG_SP, 2 * 4);
-                       M_ILD(REG_RESULT, REG_SP, 1 * 4);
-               }
-               else {
-                       if (IS_2_WORD_TYPE(md->returntype.type))
-                               emit_fldl_membase(cd, REG_SP, 1 * 4);
-                       else
-                               emit_flds_membase(cd, REG_SP, 1 * 4);
-               }
+       switch (md->returntype.type) {
+       case TYPE_INT:
+       case TYPE_ADR:
+               M_ILD(REG_RESULT, REG_SP, 1 * 8);
+               break;
+       case TYPE_LNG:
+               M_LLD(REG_RESULT_PACKED, REG_SP, 1 * 8);
+               break;
+       case TYPE_FLT:
+               emit_flds_membase(cd, REG_SP, 1 * 8);
+               break;
+       case TYPE_DBL:
+               emit_fldl_membase(cd, REG_SP, 1 * 8);
+               break;
+       case TYPE_VOID:
+               break;
        }
 
-       M_AADD_IMM(cd->stackframesize * 4, REG_SP);
+#if defined(ENABLE_GC_CACAO)
+       /* restore callee saved int registers from stackframeinfo (GC might have  */
+       /* modified them during a collection).                                    */
+
+       disp = cd->stackframesize * 8 - sizeof(stackframeinfo) +
+               OFFSET(stackframeinfo, intregs);
+
+       for (i = 0; i < INT_SAV_CNT; i++)
+               M_ALD(abi_registers_integer_saved[i], REG_SP, disp + i * 4);
+#endif
+
+       M_AADD_IMM(cd->stackframesize * 8, REG_SP);
 
        /* check for exception */
 
@@ -3961,14 +3900,9 @@ u1 *createnativestub(functionptr f, jitdata *jd, methoddesc *nmd)
        M_MOV_IMM(asm_handle_nat_exception, REG_ITMP3);
        M_JMP(REG_ITMP3);
 
-
        /* generate patcher stubs */
 
        emit_patcher_stubs(jd);
-
-       codegen_finish(jd);
-
-       return code->entrypoint;
 }