src/vm/jit/m68k/md.c

   1 /*      src/vm/jit/m68k/md.c
   2
   3    Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel,
   4    C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
   5    E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
   6    J. Wenninger, Institut f. Computersprachen - TU Wien
   7
   8    This file is part of CACAO.
   9
  10    This program is free software; you can redistribute it and/or
  11    modify it under the terms of the GNU General Public License as
  12    published by the Free Software Foundation; either version 2, or (at
  13    your option) any later version.
  14
  15    This program is distributed in the hope that it will be useful, but
  16    WITHOUT ANY WARRANTY; without even the implied warranty of
  17    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  18    General Public License for more details.
  19
  20    You should have received a copy of the GNU General Public License
  21    along with this program; if not, write to the Free Software
  22    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  23    02110-1301, USA.
  24
  25    $Id: arch.h 5330 2006-09-05 18:43:12Z edwin $
  26
  27 */
  28 #include "config.h"
  29
  30 #include <assert.h>
  31
  32 #include "md-os.h"
  33
  34 #include "vm/types.h"
  35 #include "vm/jit/codegen-common.h"
  36 #include "vm/jit/md.h"
  37
  38 #include "offsets.h"
  39 #include "vm/vm.h"
  40 #include "vmcore/class.h"
  41 #include "vmcore/linker.h"
  42 #include "vmcore/method.h"
  43 #include "mm/memory.h"
  44 #include "vm/jit/asmpart.h"
  45 /*
  46  *      As a sanity measuremnt we assert the offset.h values in here as m68k gets
  47  *      crosscompiled for sure and noone thinks of offset.h wen changing compile flags
  48  *      and subtile bugs will result...
  49  *
  50  *      m68k uses the trap instruction for hardware exceptions, need to register
  51  *      according signal handler
  52  */
  53 void md_init(void)
  54 {
  55         assert(OFFSET(vftbl_t, baseval) == offbaseval);
  56         assert(OFFSET(vftbl_t, diffval) == offdiffval);
  57         assert(OFFSET(castinfo, super_baseval) == offcast_super_baseval);
  58         assert(OFFSET(castinfo, super_diffval) == offcast_super_diffval);
  59         assert(OFFSET(castinfo, sub_baseval) == offcast_sub_baseval);
  60
  61 #if 0
  62 #if defined(ENABLE_REPLACEMENT)
  63         assert(sizeof(executionstate_t) = sizeexecutionstate);
  64         assert(OFFSET(executionstate_t, pc) == offes_pc);
  65         assert(OFFSET(executionstate_t, sp) == offes_sp);
  66         assert(OFFSET(executionstate_t, pv) == offes_pv);
  67         assert(OFFSET(executionstate_t, intregs) == offes_intregs);
  68         assert(OFFSET(executionstate_t, fltregs) == offes_fltregs);
  69 #endif
  70 #endif
  71
  72 #ifdef __LINUX__
  73         md_init_linux();
  74 #endif
  75 }
  76
  77 /* md_codegen_get_pv_from_pc ***************************************************
  78
  79    On this architecture just a wrapper function to
  80    codegen_get_pv_from_pc.
  81
  82 *******************************************************************************/
  83 u1* md_codegen_get_pv_from_pc(u1 *ra)
  84 {
  85         u1 *pv;
  86         pv = codegen_get_pv_from_pc(ra);
  87
  88         return pv;
  89 }
  90
  91 /* md_get_method_patch_address *************************************************
  92
  93    Gets the patch address of the currently compiled method. Has to be
  94    extracted from the load instructions which lead to the jump.
  95
  96 from asmpart.S (asm_vm_call_method):
  97 84:   2879 0000 0000  moveal 0 <asm_vm_call_method-0x34>,%a4
  98 8a:   4e94            jsr %a4@
  99
 100
 101 from invokestatic / invokespecial
 102 0x40290882:   247c 4029 03b4    moveal #1076429748,%a2
 103 0x40290888:   4e92              jsr %a2@
 104
 105 from invokevirtual
 106 0x40297eca:   266a 0000         moveal %a2@(0),%a3
 107 0x40297ece:   246b 002c         moveal %a3@(44),%a2
 108 0x40297ed2:   4e92              jsr %a2@
 109
 110
 111
 112 *******************************************************************************/
 113
 114 u1* md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
 115 {
 116         u1 * pa;
 117         s2   offset;
 118
 119         if (*((u2*)(ra - 2)) == 0x4e94) {               /* jsr %a4@ */
 120                 if (*((u2*)(ra - 6)) == 0x286b) {
 121                         /* found an invokevirtual */
 122                         /* get offset of load instruction 246b XXXX */
 123                         offset = *((s2*)(ra - 4));
 124
 125                         /* return NULL if no mptr was specified (used for replacement) */
 126
 127                         if (mptr == NULL)
 128                                 return NULL;
 129
 130                         pa = mptr + offset;                     /* mptr contains the magic we want */
 131                 } else  {
 132                         /* we had a moveal XXX, %a3 which is a 3 word opcode */
 133                         /* 2679 0000 0000 */
 134                         assert(*(u2*)(ra - 8) == 0x2879);               /* moveal */
 135                         pa = *((u4*)(ra - 6));                          /* another indirection ! */
 136                 }
 137         } else if (*((u2*)(ra - 2)) == 0x4e92)  {               /* jsr %a2@ */
 138                 if (*(u2*)(ra - 8) == 0x247c)   {
 139                         /* found a invokestatic/invokespecial */
 140                         pa = ((u4*)(ra - 6));                   /* no indirection ! */
 141                 } else {
 142                         assert(0);
 143                 }
 144         } else {
 145                 assert(0);
 146         }
 147
 148         return pa;
 149 }
 150
 151 /* XXX i can't find a definition of cacheflush in any installed header files but i can find the symbol in libc */
 152 /* lets extract the signature from the assembler code*/
 153 /*
 154     000e7158 <cacheflush>:
 155     e7158:       707b            moveq #123,%d0
 156     e715a:       2f04            movel %d4,%sp@-
 157     e715c:       282f 0014       movel %sp@(20),%d4                     arg
 158     e7160:       2243            moveal %d3,%a1
 159     e7162:       262f 0010       movel %sp@(16),%d3                     arg
 160     e7166:       2042            moveal %d2,%a0
 161     e7168:       242f 000c       movel %sp@(12),%d2                     arg
 162     e716c:       222f 0008       movel %sp@(8),%d1                      arg
 163     e7170:       4e40            trap #0                                traps into system i guess
 164     e7172:       2408            movel %a0,%d2
 165     e7174:       2609            movel %a1,%d3
 166     e7176:       281f            movel %sp@+,%d4
 167     e7178:       223c ffff f001  movel #-4095,%d1
 168     e717e:       b081            cmpl %d1,%d0
 169     e7180:       6402            bccs e7184 <cacheflush+0x2c>
 170     e7182:       4e75            rts
 171     e7184:       4480            negl %d0
 172     e7186:       2f00            movel %d0,%sp@-
 173     e7188:       61ff fff3 82e2  bsrl 1f46c <D_MAX_EXP+0x1ec6d>
 174     e718e:       209f            movel %sp@+,%a0@
 175     e7190:       70ff            moveq #-1,%d0
 176     e7192:       2040            moveal %d0,%a0
 177     e7194:       4e75            rts
 178     e7196:       4e75            rts
 179                                                                         */
 180
 181 /* seems to have 4 arguments */
 182 /* best guess: it is this syscall */
 183 /* asmlinkage int sys_cacheflush (unsigned long addr, int scope, int cache, unsigned long len) */
 184 /* kernel 2.6.10 with freescale patches (the one I develop against) needs a patch of */
 185 /* arch/m68k/kernel/sys_m68k.c(sys_cacheflush) */
 186 /* evil hack: */
 187 /*
 188 void DcacheFlushInvalidateCacheBlock(void *start, unsigned long size);
 189 void IcacheInvalidateCacheBlock(void *start, unsigned long size);
 190
 191 asmlinkage int
 192 sys_cacheflush (unsigned long addr, int scope, int cache, unsigned long len)
 193 {
 194         lock_kernel();
 195         DcacheFlushInvalidateCacheBlock(addr, len);
 196         IcacheInvalidateCacheBlock(addr, len);
 197         unlock_kernel();
 198         return 0;
 199 }
 200 */
 201 extern int cacheflush(unsigned long addr, int scope, int cache, unsigned long len);
 202
 203 #include "asm/cachectl.h"       /* found more traces of the cacheflush function */
 204 #include "errno.h"
 205
 206 void md_cacheflush(u1 *addr, s4 nbytes)  { cacheflush(addr, FLUSH_SCOPE_PAGE, FLUSH_CACHE_BOTH, nbytes); }
 207 void md_dcacheflush(u1 *addr, s4 nbytes) { cacheflush(addr, FLUSH_SCOPE_PAGE, FLUSH_CACHE_DATA, nbytes); }
 208 void md_icacheflush(u1* addr, s4 nbytes) { cacheflush(addr, FLUSH_SCOPE_LINE, FLUSH_CACHE_INSN, nbytes); }
 209
 210 /* md_stacktrace_get_returnaddress *********************************************
 211
 212    Returns the return address of the current stackframe, specified by
 213    the passed stack pointer and the stack frame size.
 214
 215 *******************************************************************************/
 216 u1* md_stacktrace_get_returnaddress(u1* sp, u4 framesize)
 217 {
 218         /* return address is above stackpointer */
 219         u1 *ra = *((u1**)(sp + framesize));
 220
 221         /* XXX: This helps for now, but it's a ugly hack
 222          * the problem _may_ be: the link instruction is used
 223          * by some gcc generated code, and we get an additional word
 224          * on the stack, the old framepointer. Its address is somewhere
 225          * near sp, but that all depends the code generated by the compiler.
 226          * I'm unsure about a clean solution.
 227          */
 228         #if 0
 229         if (!(ra > 0x40000000 && ra < 0x80000000))      {
 230                 ra = *((u1**)(sp + framesize + 4));
 231         }
 232         #endif
 233         /* assert(ra > 0x40000000 && ra < 0x80000000);
 234         printf("XXXXXX=%x\n", ra);
 235          */
 236         return ra;
 237 }
 238
 239
 240 void md_codegen_patch_branch(void) { assert(0); }
 241
 242
 243 /*
 244  * These are local overrides for various environment variables in Emacs.
 245  * Please do not remove this and leave it at the end of the file, where
 246  * Emacs will automagically detect them.
 247  * ---------------------------------------------------------------------
 248  * Local variables:
 249  * mode: c
 250  * indent-tabs-mode: t
 251  * c-basic-offset: 4
 252  * tab-width: 4
 253  * End:
 254  * vim:noexpandtab:sw=4:ts=4:
 255  */