1 /* src/vm/jit/arm/linux/md-os.c - machine dependent ARM Linux functions
3 Copyright (C) 1996-2005, 2006, 2007, 2008
4 CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
6 This file is part of CACAO.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 2, or (at
11 your option) any later version.
13 This program is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
32 #include "vm/jit/disass.h"
34 #include "vm/jit/arm/md-abi.h"
36 #define ucontext broken_glibc_ucontext
37 #define ucontext_t broken_glibc_ucontext_t
42 typedef struct ucontext {
43 unsigned long uc_flags;
44 struct ucontext *uc_link;
46 struct sigcontext uc_mcontext;
50 #define scontext_t struct sigcontext
52 #include "threads/thread.h"
54 #include "vm/exceptions.h"
55 #include "vm/signallocal.h"
56 #include "vm/stringlocal.h"
59 #include "vm/jit/asmpart.h"
60 #include "vm/jit/executionstate.h"
61 #include "vm/jit/stacktrace.h"
62 #include "vm/jit/trap.h"
65 /* md_signal_handler_sigsegv ***************************************************
67 Signal handler for hardware exceptions.
69 *******************************************************************************/
71 void md_signal_handler_sigsegv(int sig, siginfo_t *siginfo, void *_p)
85 _uc = (ucontext_t*) _p;
86 _sc = &_uc->uc_mcontext;
88 /* ATTENTION: glibc included messed up kernel headers we needed a
89 workaround for the ucontext structure. */
91 pv = (u1 *) _sc->arm_ip;
92 sp = (u1 *) _sc->arm_sp;
93 ra = (u1 *) _sc->arm_lr; /* this is correct for leafs */
94 xpc = (u1 *) _sc->arm_pc;
96 /* get exception-throwing instruction */
99 vm_abort("md_signal_handler_sigsegv: the program counter is NULL");
101 mcode = *((s4 *) xpc);
103 /* This is a NullPointerException. */
105 addr = *((s4 *) _sc + OFFSET(scontext_t, arm_r0)/4 + ((mcode >> 16) & 0x0f));
109 /* Handle the trap. */
111 p = trap_handle(type, val, pv, sp, ra, xpc, _p);
115 _sc->arm_r10 = (uintptr_t) p;
116 _sc->arm_fp = (uintptr_t) xpc;
117 _sc->arm_pc = (uintptr_t) asm_handle_exception;
121 /* md_signal_handler_sigill ****************************************************
123 Illegal Instruction signal handler for hardware exception checks.
125 *******************************************************************************/
127 void md_signal_handler_sigill(int sig, siginfo_t *siginfo, void *_p)
140 _uc = (ucontext_t*) _p;
141 _sc = &_uc->uc_mcontext;
143 /* ATTENTION: glibc included messed up kernel headers we needed a
144 workaround for the ucontext structure. */
146 pv = (u1 *) _sc->arm_ip;
147 sp = (u1 *) _sc->arm_sp;
148 ra = (u1 *) _sc->arm_lr; /* this is correct for leafs */
149 xpc = (u1 *) _sc->arm_pc;
151 /* get exception-throwing instruction */
153 mcode = *((u4 *) xpc);
155 /* check for undefined instruction we use */
157 if ((mcode & 0x0ff000f0) != 0x07f000f0) {
158 log_println("md_signal_handler_sigill: unknown illegal instruction: inst=%x", mcode);
159 #if defined(ENABLE_DISASSEMBLER)
162 vm_abort("Aborting...");
165 type = (mcode >> 8) & 0x0fff;
166 val = *((s4 *) _sc + OFFSET(scontext_t, arm_r0)/4 + (mcode & 0x0f));
168 /* Handle the trap. */
170 p = trap_handle(type, val, pv, sp, ra, xpc, _p);
172 /* set registers if we have an exception, continue execution
173 otherwise (this is needed for patchers to work) */
176 _sc->arm_r10 = (uintptr_t) p;
177 _sc->arm_fp = (uintptr_t) xpc;
178 _sc->arm_pc = (uintptr_t) asm_handle_exception;
183 /* md_signal_handler_sigusr1 ***************************************************
185 Signal handler for suspending threads.
187 *******************************************************************************/
189 #if defined(ENABLE_THREADS) && defined(ENABLE_GC_CACAO)
190 void md_signal_handler_sigusr1(int sig, siginfo_t *siginfo, void *_p)
197 _uc = (ucontext_t *) _p;
198 _sc = &_uc->uc_mcontext;
200 /* get the PC and SP for this thread */
201 pc = (u1 *) _sc->arm_pc;
202 sp = (u1 *) _sc->arm_sp;
204 /* now suspend the current thread */
205 threads_suspend_ack(pc, sp);
210 /* md_signal_handler_sigusr2 ***************************************************
212 Signal handler for profiling sampling.
214 *******************************************************************************/
216 #if defined(ENABLE_THREADS)
217 void md_signal_handler_sigusr2(int sig, siginfo_t *siginfo, void *_p)
219 threadobject *thread;
224 thread = THREADOBJECT;
226 _uc = (ucontext_t*) _p;
227 _sc = &_uc->uc_mcontext;
229 pc = (u1 *) _sc->arm_pc;
237 * Read the given context into an executionstate.
239 * @param es execution state
240 * @param context machine context
242 void md_executionstate_read(executionstate_t *es, void *context)
244 vm_abort("md_executionstate_read: IMPLEMENT ME!");
251 _uc = (ucontext_t *) context;
252 _mc = &_uc->uc_mcontext;
254 /* read special registers */
255 es->pc = (u1 *) _mc->sc_pc;
256 es->sp = (u1 *) _mc->sc_regs[REG_SP];
257 es->pv = (u1 *) _mc->sc_regs[REG_PV];
258 es->ra = (u1 *) _mc->sc_regs[REG_RA];
260 /* read integer registers */
261 for (i = 0; i < INT_REG_CNT; i++)
262 es->intregs[i] = _mc->sc_regs[i];
264 /* read float registers */
265 /* Do not use the assignment operator '=', as the type of
266 * the _mc->sc_fpregs[i] can cause invalid conversions. */
268 assert(sizeof(_mc->sc_fpregs) == sizeof(es->fltregs));
269 system_memcpy(&es->fltregs, &_mc->sc_fpregs, sizeof(_mc->sc_fpregs));
275 * Write the given executionstate back to the context.
277 * @param es execution state
278 * @param context machine context
280 void md_executionstate_write(executionstate_t *es, void *context)
282 vm_abort("md_executionstate_write: IMPLEMENT ME!");
289 _uc = (ucontext_t *) context;
290 _mc = &_uc->uc_mcontext;
292 /* write integer registers */
293 for (i = 0; i < INT_REG_CNT; i++)
294 _mc->sc_regs[i] = es->intregs[i];
296 /* write float registers */
297 /* Do not use the assignment operator '=', as the type of
298 * the _mc->sc_fpregs[i] can cause invalid conversions. */
300 assert(sizeof(_mc->sc_fpregs) == sizeof(es->fltregs));
301 system_memcpy(&_mc->sc_fpregs, &es->fltregs, sizeof(_mc->sc_fpregs));
303 /* write special registers */
304 _mc->sc_pc = (ptrint) es->pc;
305 _mc->sc_regs[REG_SP] = (ptrint) es->sp;
306 _mc->sc_regs[REG_PV] = (ptrint) es->pv;
307 _mc->sc_regs[REG_RA] = (ptrint) es->ra;
312 /* md_critical_section_restart *************************************************
314 Search the critical sections tree for a matching section and set
315 the PC to the restart point, if necessary.
317 *******************************************************************************/
319 #if defined(ENABLE_THREADS)
320 void md_critical_section_restart(ucontext_t *_uc)
326 _sc = &_uc->uc_mcontext;
328 pc = (u1 *) _sc->arm_pc;
330 npc = critical_find_restart_point(pc);
333 _sc->arm_pc = (ptrint) npc;
339 * These are local overrides for various environment variables in Emacs.
340 * Please do not remove this and leave it at the end of the file, where
341 * Emacs will automagically detect them.
342 * ---------------------------------------------------------------------
345 * indent-tabs-mode: t