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
5 Copyright (C) 2008 Theobroma Systems Ltd.
7 This file is part of CACAO.
9 This program is free software; you can redistribute it and/or
10 modify it under the terms of the GNU General Public License as
11 published by the Free Software Foundation; either version 2, or (at
12 your option) any later version.
14 This program is distributed in the hope that it will be useful, but
15 WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
33 #include "vm/jit/disass.h"
35 #include "vm/jit/arm/md-abi.h"
37 #define ucontext broken_glibc_ucontext
38 #define ucontext_t broken_glibc_ucontext_t
43 typedef struct ucontext {
44 unsigned long uc_flags;
45 struct ucontext *uc_link;
47 struct sigcontext uc_mcontext;
51 #define scontext_t struct sigcontext
53 #include "threads/thread.hpp"
56 #include "vm/signallocal.h"
59 #include "vm/jit/asmpart.h"
60 #include "vm/jit/executionstate.h"
61 #include "vm/jit/patcher-common.hpp"
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)
129 ucontext_t* _uc = (ucontext_t*) _p;
130 scontext_t* _sc = &_uc->uc_mcontext;
132 /* ATTENTION: glibc included messed up kernel headers we needed a
133 workaround for the ucontext structure. */
135 void* pv = (void*) _sc->arm_ip;
136 void* sp = (void*) _sc->arm_sp;
137 void* ra = (void*) _sc->arm_lr; // The RA is correct for leaf methods.
138 void* xpc = (void*) _sc->arm_pc;
140 // Get the exception-throwing instruction.
141 uint32_t mcode = *((uint32_t*) xpc);
143 // Check if the trap instruction is valid.
144 // TODO Move this into patcher_handler.
145 if (patcher_is_valid_trap_instruction_at(xpc) == false) {
146 // Check if the PC has been patched during our way to this
147 // signal handler (see PR85).
148 // NOTE: ARM uses SIGILL for other traps too, but it's OK to
149 // do this check anyway because it will fail.
150 if (patcher_is_patched_at(xpc) == true)
153 // We have a problem...
154 log_println("md_signal_handler_sigill: Unknown illegal instruction 0x%x at 0x%x", mcode, xpc);
155 #if defined(ENABLE_DISASSEMBLER)
156 (void) disassinstr(xpc);
158 vm_abort("Aborting...");
161 int type = (mcode >> 8) & 0x0fff;
162 intptr_t val = *((int32_t*) _sc + OFFSET(scontext_t, arm_r0)/4 + (mcode & 0x0f));
165 void* p = trap_handle(type, val, pv, sp, ra, xpc, _p);
167 // Set registers if we have an exception, continue execution
170 _sc->arm_r10 = (uintptr_t) p;
171 _sc->arm_fp = (uintptr_t) xpc;
172 _sc->arm_pc = (uintptr_t) asm_handle_exception;
177 /* md_signal_handler_sigusr1 ***************************************************
179 Signal handler for suspending threads.
181 *******************************************************************************/
183 #if defined(ENABLE_THREADS) && defined(ENABLE_GC_CACAO)
184 void md_signal_handler_sigusr1(int sig, siginfo_t *siginfo, void *_p)
191 _uc = (ucontext_t *) _p;
192 _sc = &_uc->uc_mcontext;
194 /* get the PC and SP for this thread */
195 pc = (u1 *) _sc->arm_pc;
196 sp = (u1 *) _sc->arm_sp;
198 /* now suspend the current thread */
199 threads_suspend_ack(pc, sp);
204 /* md_signal_handler_sigusr2 ***************************************************
206 Signal handler for profiling sampling.
208 *******************************************************************************/
210 #if defined(ENABLE_THREADS)
211 void md_signal_handler_sigusr2(int sig, siginfo_t *siginfo, void *_p)
213 threadobject *thread;
218 thread = THREADOBJECT;
220 _uc = (ucontext_t*) _p;
221 _sc = &_uc->uc_mcontext;
223 pc = (u1 *) _sc->arm_pc;
231 * Read the given context into an executionstate.
233 * @param es execution state
234 * @param context machine context
236 void md_executionstate_read(executionstate_t *es, void *context)
238 vm_abort("md_executionstate_read: IMPLEMENT ME!");
245 _uc = (ucontext_t *) context;
246 _mc = &_uc->uc_mcontext;
248 /* read special registers */
249 es->pc = (u1 *) _mc->sc_pc;
250 es->sp = (u1 *) _mc->sc_regs[REG_SP];
251 es->pv = (u1 *) _mc->sc_regs[REG_PV];
252 es->ra = (u1 *) _mc->sc_regs[REG_RA];
254 /* read integer registers */
255 for (i = 0; i < INT_REG_CNT; i++)
256 es->intregs[i] = _mc->sc_regs[i];
258 /* read float registers */
259 /* Do not use the assignment operator '=', as the type of
260 * the _mc->sc_fpregs[i] can cause invalid conversions. */
262 assert(sizeof(_mc->sc_fpregs) == sizeof(es->fltregs));
263 os_memcpy(&es->fltregs, &_mc->sc_fpregs, sizeof(_mc->sc_fpregs));
269 * Write the given executionstate back to the context.
271 * @param es execution state
272 * @param context machine context
274 void md_executionstate_write(executionstate_t *es, void *context)
276 vm_abort("md_executionstate_write: IMPLEMENT ME!");
283 _uc = (ucontext_t *) context;
284 _mc = &_uc->uc_mcontext;
286 /* write integer registers */
287 for (i = 0; i < INT_REG_CNT; i++)
288 _mc->sc_regs[i] = es->intregs[i];
290 /* write float registers */
291 /* Do not use the assignment operator '=', as the type of
292 * the _mc->sc_fpregs[i] can cause invalid conversions. */
294 assert(sizeof(_mc->sc_fpregs) == sizeof(es->fltregs));
295 os_memcpy(&_mc->sc_fpregs, &es->fltregs, sizeof(_mc->sc_fpregs));
297 /* write special registers */
298 _mc->sc_pc = (ptrint) es->pc;
299 _mc->sc_regs[REG_SP] = (ptrint) es->sp;
300 _mc->sc_regs[REG_PV] = (ptrint) es->pv;
301 _mc->sc_regs[REG_RA] = (ptrint) es->ra;
307 * These are local overrides for various environment variables in Emacs.
308 * Please do not remove this and leave it at the end of the file, where
309 * Emacs will automagically detect them.
310 * ---------------------------------------------------------------------
313 * indent-tabs-mode: t