/* src/vm/jit/powerpc64/md.c - machine dependent PowerPC functions
- Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
+ Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel,
C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
J. Wenninger, Institut f. Computersprachen - TU Wien
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- Contact: cacao@cacaojvm.org
-
- Authors: Christian Thalinger
-
- Changes: Edwin Steiner
-
- $Id: md.c 6265 2007-01-02 20:40:57Z edwin $
-
*/
+
#include "config.h"
#include <assert.h>
+#include <stdint.h>
#include "vm/types.h"
#include "md-abi.h"
+#include "vm/jit/powerpc64/codegen.h"
+#include "vm/jit/powerpc64/md.h"
+
#include "vm/global.h"
-#include "vm/jit/asmpart.h"
-#include "codegen.h"
-#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
-#include "vm/options.h" /* XXX debug */
-#include "vm/jit/disass.h" /* XXX debug */
-#endif
+#include "vm/jit/jit.hpp"
+#include "vm/jit/trap.hpp"
/* md_init *********************************************************************
}
-/* md_stacktrace_get_returnaddress *********************************************
-
- Returns the return address of the current stackframe, specified by
- the passed stack pointer and the stack frame size.
-
-*******************************************************************************/
-
-u1 *md_stacktrace_get_returnaddress(u1 *sp, u4 framesize)
-{
- u1 *ra;
-
- /* on PowerPC the return address is located in the linkage area */
-
- ra = *((u1 **) (sp + framesize + LA_LR_OFFSET));
-
- return ra;
-}
-
-/* md_codegen_patch_branch *****************************************************
-
- Back-patches a branch instruction.
- Changes the dispacment of the jump instruction.
-
-*******************************************************************************/
-
-void md_codegen_patch_branch(codegendata *cd, s4 branchmpc, s4 targetmpc)
-{
- s4 *mcodeptr;
- s4 disp; /* branch displacement */
- s4 mcode;
-
- /* calculate the patch position */
- mcodeptr = (s4 *) (cd->mcodebase + branchmpc);
-
- /* Calculate the branch displacement. */
- disp = targetmpc - branchmpc + 4;
- mcode = mcodeptr[-1];
-
- if ((mcode & 0xfc000000) == 0x40000000) {
- /* conditional jump bcx */
- if ((disp < (s4) 0xffff8000) || (disp > (s4) 0x00007fff))
- vm_abort("jump displacement is out of range: %d > +/-%d", disp, 0x00007fff);
-
- mcode &= 0xffff0000;
- mcode |= (((disp)& M_BCMASK));
- } else if ((mcode & 0xfc000000) == 0x48000000) {
- /* unconditional jump bx */
- if ((disp < (s4) 0xfc000000) || (disp > (s4) 0x03ffffff))
- vm_abort("jump displacement is out of range: %d > +/-%d", disp, 0x0cffffff);
- mcode &= 0xfc000000;
- mcode |= (((disp)& M_BMASK));
- } else {
- vm_abort("md_codegen_patch_branch, patching unsupported branch: %xd", mcode);
- }
-
- mcodeptr[-1] = mcode;
-}
-
-
-
-/* md_get_method_patch_address *************************************************
+/* md_jit_method_patch_address *************************************************
Gets the patch address of the currently compiled method. The offset
is extracted from the load instruction(s) before the jump and added
*******************************************************************************/
-u1 *md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
+void *md_jit_method_patch_address(void *pv, void *ra, void *mptr)
{
- u4 mcode;
- s4 offset;
- u1 *pa;
+ uint32_t *pc;
+ uint32_t mcode;
+ int32_t offset;
+ void *pa;
- /* go back to the actual load instruction (3 instructions) */
+ /* Go back to the actual load instruction (3 instructions). */
- ra = ra - 3 * 4;
+ pc = ((uint32_t *) ra) - 3;
/* get first instruction word (lwz) */
- mcode = *((u4 *) ra);
+ mcode = pc[0];
/* check if we have 2 instructions (addis, addi) */
if ((mcode >> 16) == 0x3c19) {
/* XXX write a regression for this */
+ pa = NULL;
assert(0);
/* get displacement of first instruction (addis) */
- offset = (s4) (mcode << 16);
+ offset = (int32_t) (mcode << 16);
/* get displacement of second instruction (addi) */
- mcode = *((u4 *) (ra + 1 * 4));
+ mcode = pc[1];
assert((mcode >> 16) != 0x6739);
- offset += (s2) (mcode & 0x0000ffff);
-
- } else {
+ offset += (int16_t) (mcode & 0x0000ffff);
+ }
+ else {
/* get the offset from the instruction */
- offset = (s2) (mcode & 0x0000ffff);
+ offset = (int16_t) (mcode & 0x0000ffff);
/* check for load from PV */
if ((mcode >> 16) == 0xe9ce) {
/* get the final data segment address */
- pa = sfi->pv + offset;
-
- } else if ((mcode >> 16) == 0xe9cc) {
+ pa = ((uint8_t *) pv) + offset;
+ }
+ else if ((mcode >> 16) == 0xe9cc) {
/* in this case we use the passed method pointer */
/* return NULL if no mptr was specified (used for replacement) */
if (mptr == NULL)
return NULL;
- pa = mptr + offset;
-
- } else {
- /* catch any problems */
-
- assert(0);
+ pa = ((uint8_t *) mptr) + offset;
}
- }
-
- return pa;
-}
-
-
-/* md_codegen_get_pv_from_pc ***************************************************
-
- Machine code:
-
- 7d6802a6 mflr r11
- 39cbffe0 addi r14,r11,-32
-
- or
-
- 7d6802a6 mflr r11
- 3dcbffff addis r14,r11,-1
- 39ce68b0 addi r14,r13,26800
-
-*******************************************************************************/
-
-u1 *md_codegen_get_pv_from_pc(u1 *ra)
-{
- u1 *pv;
- u4 mcode;
- s4 offset;
-
- /* get first instruction word after jump */
-
- mcode = *((u4 *) (ra + 1 * 4));
-
- /* check if we have 2 instructions (addis, addi) */
-
- if ((mcode >> 16) == 0x3dcb) {
- /* get displacement of first instruction (addis) */
-
- offset = (s4) (mcode << 16);
-
- /* get displacement of second instruction (addi) */
-
- mcode = *((u4 *) (ra + 2 * 4));
-
- /* check for addi instruction */
-
- assert((mcode >> 16) == 0x39ce);
-
- offset += (s2) (mcode & 0x0000ffff);
-
- } else {
- /* check for addi instruction */
+ else {
+ /* catch any problems */
- assert((mcode >> 16) == 0x39cb);
+ vm_abort("md_jit_method_patch_address: unknown instruction %x",
+ mcode);
- /* get offset of first instruction (addi) */
+ /* keep compiler happy */
- offset = (s2) (mcode & 0x0000ffff);
+ pa = NULL;
+ }
}
- /* calculate PV via RA + offset */
-
- pv = ra + offset;
-
- return pv;
-}
-
-
-/* md_cacheflush ***************************************************************
-
- Calls the system's function to flush the instruction and data
- cache.
-
-*******************************************************************************/
-
-void md_cacheflush(u1 *addr, s4 nbytes)
-{
- asm_cacheflush(addr, nbytes);
-}
-
-
-/* md_icacheflush **************************************************************
-
- Calls the system's function to flush the instruction cache.
-
-*******************************************************************************/
-
-void md_icacheflush(u1 *addr, s4 nbytes)
-{
- asm_cacheflush(addr, nbytes);
-}
-
-
-/* md_dcacheflush **************************************************************
-
- Calls the system's function to flush the data cache.
-
-*******************************************************************************/
-
-void md_dcacheflush(u1 *addr, s4 nbytes)
-{
- asm_cacheflush(addr, nbytes);
+ return pa;
}
*******************************************************************************/
#if defined(ENABLE_REPLACEMENT)
-void md_patch_replacement_point(codeinfo *code, s4 index, rplpoint *rp, u1 *savedmcode)
+void md_patch_replacement_point(u1 *pc, u1 *savedmcode, bool revert)
{
- s4 disp;
u4 mcode;
- if (index < 0) {
+ if (revert) {
/* restore the patched-over instruction */
- *(u4*)(rp->pc) = *(u4*)(savedmcode);
+ *(u4*)(pc) = *(u4*)(savedmcode);
}
else {
/* save the current machine code */
- *(u4*)(savedmcode) = *(u4*)(rp->pc);
+ *(u4*)(savedmcode) = *(u4*)(pc);
/* build the machine code for the patch */
- disp = ((u4*)code->replacementstubs - (u4*)rp->pc)
- + index * REPLACEMENT_STUB_SIZE
- - 1;
-
- mcode = (18 << 26) | ((((disp) * 4) + 4) & M_BMASK);
+ mcode = (0x80000000 | TRAP_PATCHER);
/* write the new machine code */
- *(u4*)(rp->pc) = (u4) mcode;
+ *(u4*)(pc) = (u4) mcode;
}
-
-#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
- {
- u1* u1ptr = rp->pc;
- DISASSINSTR(u1ptr);
- fflush(stdout);
- }
-#endif
-
+
/* flush instruction cache */
- md_icacheflush(rp->pc,4);
+ md_icacheflush(pc,4);
}
#endif /* defined(ENABLE_REPLACEMENT) */
+
/*
* These are local overrides for various environment variables in Emacs.
* Please do not remove this and leave it at the end of the file, where
projects / cacao.git / blobdiff