* changed src/vm/jit/m68k/asmpart.S (asm_patcher_wrapper): Removed.
[cacao.git] / src / vm / jit / m68k / emit.c
index f835e3f10c1f5cb56a1e1b334bc67cdfa1df46fc..2b418f01e99632bd8e80dab03217ca4190847543 100644 (file)
@@ -22,8 +22,6 @@
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301, USA.
 
-   $Id: arch.h 5330 2006-09-05 18:43:12Z edwin $
-
 */
 
 
 #include "codegen.h"
 #include "md-os.h"
 
-/*
- *     Loads an immededat operand into data register
- */
+/* emit_mov_imm_reg **************************************************************************
+ *
+ *     Loads an immededat operand into an integer data register
+ *
+ ********************************************************************************************/
 void emit_mov_imm_reg (codegendata *cd, s4 imm, s4 dreg)
 {
        /* FIXME: -1 can be used as byte form 0xff, but this ifs cascade is plain wrong it seems */
@@ -69,7 +69,6 @@ void emit_mov_imm_reg (codegendata *cd, s4 imm, s4 dreg)
        }
 }
 
-
 /* emit_copy *******************************************************************
 
    Generates a register/memory to register/memory copy.
@@ -165,23 +164,23 @@ inline void emit_store(jitdata *jd, instruction *iptr, varinfo *dst, s4 d)
                        case TYPE_DBL:
 #endif
                        case TYPE_LNG:
-                               M_LST(d, REG_SP, dst->vv.regoff * 4);
+                               M_LST(d, REG_SP, dst->vv.regoff);
                                break;
 #if defined(ENABLE_SOFTFLOAT)
                        case TYPE_FLT:
 #endif
                        case TYPE_INT:
-                               M_IST(d, REG_SP, dst->vv.regoff * 4);
+                               M_IST(d, REG_SP, dst->vv.regoff);
                                break;
                        case TYPE_ADR:
-                               M_AST(d, REG_SP, dst->vv.regoff * 4);
+                               M_AST(d, REG_SP, dst->vv.regoff);
                                break;
 #if !defined(ENABLE_SOFTFLOAT)
                        case TYPE_DBL:
-                               M_DST(d, REG_SP, dst->vv.regoff * 4);
+                               M_DST(d, REG_SP, dst->vv.regoff);
                                break;
                        case TYPE_FLT:
-                               M_FST(d, REG_SP, dst->vv.regoff * 4);
+                               M_FST(d, REG_SP, dst->vv.regoff);
                                break;
 #endif
                        default:
@@ -210,7 +209,7 @@ s4 emit_load(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg)
        if (IS_INMEMORY(src->flags)) {
                COUNT_SPILLS;
 
-               disp = src->vv.regoff * 4;
+               disp = src->vv.regoff;
        
                switch (src->type)      {
 #if defined(ENABLE_SOFTFLOAT)
@@ -263,79 +262,6 @@ s4 emit_load(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg)
        return reg;
 }
 
-
-/* emit_patcher_stubs **********************************************************
-
-   Generates the code for the patcher stubs.
-
-*******************************************************************************/
-void emit_patcher_stubs(jitdata *jd)
-{
-       codegendata *cd;
-       patchref    *pref;
-       u8           mcode;
-       u1          *savedmcodeptr;
-       u1          *tmpmcodeptr;
-       s4           targetdisp;
-       s4           disp;
-
-       /* get required compiler data */
-
-       cd = jd->cd;
-
-       /* generate code patching stub call code */
-
-       targetdisp = 0;
-
-       for (pref = cd->patchrefs; pref != NULL; pref = pref->next) {
-               /* check code segment size */
-
-               MCODECHECK(512);
-
-               /* Get machine code which is patched back in later. A
-                  `bsr.l' is 6 bytes long. */
-
-               savedmcodeptr = cd->mcodebase + pref->branchpos;
-               mcode = *((u8 *) savedmcodeptr);
-
-               /* patch in `bsr.l' to call the following code */
-
-               tmpmcodeptr  = cd->mcodeptr;    /* save current mcodeptr              */
-               cd->mcodeptr = savedmcodeptr;   /* set mcodeptr to patch position     */
-
-               M_BSR_IMM(tmpmcodeptr - (savedmcodeptr + PATCHER_CALL_SIZE) + 4);
-
-               cd->mcodeptr = tmpmcodeptr;     /* restore the current mcodeptr       */
-
-               /* save REG_ITMP3 */
-               M_IPUSH(REG_ITMP3);             /* FIXME why, and restore where ? */
-
-               /* move pointer to java_objectheader onto stack */
-
-#if defined(ENABLE_THREADS)
-               (void) dseg_add_unique_address(cd, NULL);                  /* flcword */
-               (void) dseg_add_unique_address(cd, lock_get_initial_lock_word());
-               disp = dseg_add_unique_address(cd, NULL);                  /* vftbl   */
-
-               assert(0); /* The next lines are wrong */
-               M_MOV_IMM(0, REG_ITMP3);
-               dseg_adddata(cd);
-               M_AADD_IMM(REG_ITMP3, disp);
-               M_IPUSH(REG_ITMP3);
-#else
-               M_IPUSH_IMM(0);
-#endif
-
-               /* push move machine code bytes and classinfo pointer */
-
-               M_IPUSH_IMM(mcode >> 32);
-               M_IPUSH_IMM(mcode);
-               M_IPUSH_IMM(pref->ref);
-               M_IPUSH_IMM(pref->patcher);
-
-               M_JMP_IMM(asm_patcher_wrapper);
-       }
-}
 s4 emit_load_low(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg) 
 {
        codegendata  *cd;
@@ -354,7 +280,7 @@ s4 emit_load_low(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg)
        if (IS_INMEMORY(src->flags)) {
                COUNT_SPILLS;
 
-               disp = src->vv.regoff * 4;
+               disp = src->vv.regoff;
                M_ILD(tempreg, REG_SP, disp + 4);
                reg = tempreg;
        } else {
@@ -378,7 +304,7 @@ s4 emit_load_high(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg)
 
        if (IS_INMEMORY(src->flags)) {
                COUNT_SPILLS;
-               disp = src->vv.regoff * 4;
+               disp = src->vv.regoff;
                M_ILD(tempreg, REG_SP, disp);
                reg = tempreg;
        } else {
@@ -508,21 +434,28 @@ void emit_verbosecall_enter(jitdata* jd)
        /* mark trace code */
        M_NOP;
 
-       M_LINK(REG_FP, -16*4);  
-       M_PUSHALL;
+       M_IPUSH(REG_D0);
+       M_IPUSH(REG_D1);
+       M_APUSH(REG_A0);
+       M_APUSH(REG_A1);
+
+#if !defined(ENABLE_SOFTFLOAT)
+       M_AADD_IMM(-8*2, REG_SP);
+       M_FSTORE(REG_F0, REG_SP, 8);
+       M_FSTORE(REG_F1, REG_SP, 0);
 
+       disp = 4*4 + 8*2 + 4;   /* points to old argument stack initially */
+#else
+       disp = 4*4 + 4;
+#endif
        /* builtin_verbosecall_enter takes all args as s8 type */
        /* TRACE_ARGS_NUM is the number of args the builtin_verbosecall_enter expects */
        M_IPUSH_IMM(m);
        
-       disp = 16*4 + 4 + 4;    /* points to old argument stack initially */
 
        /* travel up stack to the first argument of the function which needs to be copied */
        for (i=0; (i < md->paramcount) && (i < TRACE_ARGS_NUM); i++)    {
-               disp += 4;
-               if (IS_2_WORD_TYPE(md->paramtypes[i].type)) {   
-                       disp += 4;
-               }
+               disp += 8;
        }
 
        /* disp now points to the first arg which gets copied to the trace stack, relative to REG_SP! */
@@ -531,19 +464,11 @@ void emit_verbosecall_enter(jitdata* jd)
                        /* traced function has such an argument */
                        t = md->paramtypes[i].type;
                        
-                       if (IS_2_WORD_TYPE(t))  {
-                               /* copy from original argument stack */
-                               M_ILD(REG_ITMP1, REG_SP, disp);
-                               M_IPUSH(REG_ITMP1);
-                               M_ILD(REG_ITMP1, REG_SP, disp);
-                               M_IPUSH(REG_ITMP1);
-                       } else  {
-                               /* displacment is increased as 4 byte on original stack but 8 byte on trace stack */
-                               M_ILD(REG_ITMP1, REG_SP, disp);
-                               M_IPUSH(REG_ITMP1);
-                               M_IPUSH_IMM(0);
-                               disp += 4;
-                       }
+                       /* copy from original argument stack */
+                       M_ILD(REG_ITMP1, REG_SP, disp);
+                       M_ILD(REG_ITMP2, REG_SP, disp-4);
+                       M_IPUSH(REG_ITMP2);
+                       M_IPUSH(REG_ITMP1);
                } else  {
                        /* function has no arg here, push nothing and adapt displacement */
                        M_IPUSH_IMM(0);
@@ -555,8 +480,17 @@ void emit_verbosecall_enter(jitdata* jd)
        /* pop arguments off stack */
        M_AADD_IMM(TRACE_ARGS_NUM*8+4, REG_SP);
 
-       M_POPALL;
-       M_UNLK(REG_FP);
+#if !defined(ENABLE_SOFTFLOAT)
+       M_FSTORE(REG_F1, REG_SP, 0);
+       M_FSTORE(REG_F0, REG_SP, 8);
+       M_AADD_IMM(8*2, REG_SP);
+#endif
+
+       M_APOP(REG_A1);
+       M_APOP(REG_A0);
+       M_IPOP(REG_D1);
+       M_IPOP(REG_D0);
+
        M_NOP;
 }
 void emit_verbosecall_exit(jitdata* jd) 
@@ -580,36 +514,45 @@ void emit_verbosecall_exit(jitdata* jd)
 
        /* mark trace code */
        M_NOP;
-       M_LINK(REG_FP, 0);
+
+#if !defined(ENABLE_SOFTFLOAT)
+       M_AADD_IMM(-8, REG_SP);
+       M_FSTORE(REG_D1, REG_SP, 0);
+#endif
 
        M_IPUSH_IMM(m);                                 /* push methodinfo */
 
-       M_IPUSH_IMM(0);                                 /* TODO push float result */
+#if !defined(ENABLE_SOFTFLOAT)
+       M_AADD_IMM(-3*4, REG_SP);
+       M_FST(REG_D0, REG_SP, 8);
+       M_DST(REG_D0, REG_SP, 0);
+#else
+       M_IPUSH_IMM(0);
 
-       M_IPUSH_IMM(0);                                 /* TODO push double result */
-       M_IPUSH_IMM(0);                                 /* TODO push double result */
+       M_IPUSH_IMM(0);
+       M_IPUSH_IMM(0);
+#endif
 
        M_IPUSH(GET_HIGH_REG(REG_RESULT_PACKED))
        M_IPUSH(GET_LOW_REG(REG_RESULT_PACKED))         /* push long result */
 
-
        M_JSR_IMM(builtin_verbosecall_exit);
 
        /* poping result registers from stack */
        M_IPOP(GET_LOW_REG(REG_RESULT_PACKED))
        M_IPOP(GET_HIGH_REG(REG_RESULT_PACKED))
 
-#if 0
-       /* that is wrong of course, overwrites registers and stuff */
-       M_IPOP(0);      /* TODO: pop double result */
-       M_IPOP(0);      /* TODO: pop double result */
+#if !defined(ENABLE_SOFTFLOAT)
+       M_DLD(REG_D0, REG_SP, 0)
+       M_FLD(REG_D0, REG_SP, 8)
+#endif
+       M_AADD_IMM(3*4 + 4, REG_SP);
 
-       M_IPOP(0);      /* TODO: pop float result */
-#else
-       M_AADD_IMM(3*4, REG_SP);
+#if !defined(ENABLE_SOFTFLOAT)
+       M_FLOAD(REG_D1, REG_SP, 0)
+       M_AADD_IMM(8, REG_SP);
 #endif
-       M_AADD_IMM(4, REG_SP);                          /* remove rest of stack */
-       M_UNLK(REG_FP);
+
        M_NOP;
 }
 #endif
@@ -652,7 +595,7 @@ void emit_classcast_check(codegendata *cd, instruction *iptr, s4 condition, s4 r
 void emit_arrayindexoutofbounds_check(codegendata *cd, instruction *iptr, s4 s1, s4 s2)
 {
        if (INSTRUCTION_MUST_CHECK(iptr)) {
-               M_ILD(REG_ITMP3, s1, OFFSET(java_arrayheader, size));
+               M_ILD(REG_ITMP3, s1, OFFSET(java_array_t, size));
                M_ICMP(s2, REG_ITMP3);
                M_BHI(4);
                M_TRAP_SETREGISTER(s2);
@@ -660,6 +603,24 @@ void emit_arrayindexoutofbounds_check(codegendata *cd, instruction *iptr, s4 s1,
        }
 }
 
+
+/* emit_arraystore_check *******************************************************
+
+   Emit an ArrayStoreException check.
+
+*******************************************************************************/
+
+void emit_arraystore_check(codegendata *cd, instruction *iptr)
+{
+       if (INSTRUCTION_MUST_CHECK(iptr)) {
+               M_ITST(REG_RESULT);
+               M_BNE(2);
+               /*M_ALD_INTERN(REG_ZERO, REG_ZERO, EXCEPTION_HARDWARE_ARRAYSTORE);*/
+               M_TRAP(EXCEPTION_HARDWARE_ARRAYSTORE);
+       }
+}
+
+
 /* emit_nullpointer_check ******************************************************
 
    Emit a NullPointerException check.
@@ -668,7 +629,8 @@ void emit_arrayindexoutofbounds_check(codegendata *cd, instruction *iptr, s4 s1,
 void emit_nullpointer_check(codegendata *cd, instruction *iptr, s4 reg)
 {
        if (INSTRUCTION_MUST_CHECK(iptr)) {
-               /* did like to assert on TYPE_ADR, but not possible in here */
+               /* XXX: this check is copied to call monitor_enter 
+                * invocation at the beginning of codegen.c */
                M_ATST(reg);
                M_BNE(2);
                M_TRAP(M68K_EXCEPTION_HARDWARE_NULLPOINTER);
@@ -690,23 +652,6 @@ void emit_arithmetic_check(codegendata *cd, instruction *iptr, s4 reg)
        }
 }
 
-#if 0
-/* emit_exception_check_areg **************************************************
- *
-   Emit an Exception check, tested register is address REG_RESULT
-
-*******************************************************************************/
-void emit_exception_check_areg(codegendata *cd, instruction *iptr)
-{
-       if (INSTRUCTION_MUST_CHECK(iptr)) {
-               M_ATST(REG_RESULT);
-               M_BNE(2);
-               /*M_ALD_INTERN(REG_ZERO, REG_ZERO, EXCEPTION_HARDWARE_EXCEPTION);*/
-               M_ILLEGAL; /*FIXME*/
-       }
-}
-#endif
-
 /* emit_exception_check_ireg **************************************************
 
    Emit an Exception check. Teste register is integer REG_RESULT