dd9672c96382bc6065768d83ec65868ed57cb722
[cacao.git] / src / vm / jit / i386 / darwin / md-os.c
1 /* src/vm/jit/i386/darwin/md-os.c - machine dependent i386 Darwin functions
2
3    Copyright (C) 1996-2005, 2006 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    Contact: cacao@cacaojvm.org
26
27    Authors: Christian Thalinger
28
29    Changes:
30
31    $Id: md-os.c 5074 2006-07-04 16:05:35Z twisti $
32
33 */
34
35
36 #include "config.h"
37
38 #include <assert.h>
39 #include <signal.h>
40 #include <ucontext.h>
41
42 #include "vm/types.h"
43
44 #include "vm/jit/i386/codegen.h"
45
46 #include "threads/threads-common.h"
47
48 #include "vm/exceptions.h"
49 #include "vm/global.h"
50 #include "vm/signallocal.h"
51 #include "vm/stringlocal.h"
52 #include "vm/jit/asmpart.h"
53 #include "vm/jit/stacktrace.h"
54
55 #include "vm/jit/i386/codegen.h"
56
57
58 /* md_signal_handler_sigsegv ***************************************************
59
60    Signal handler for hardware exceptions.
61
62 *******************************************************************************/
63
64 void md_signal_handler_sigsegv(int sig, siginfo_t *siginfo, void *_p)
65 {
66         stackframeinfo       sfi;
67         ucontext_t          *_uc;
68         mcontext_t           _mc;
69         u1                  *pv;
70         i386_thread_state_t *_ss;
71         u1                  *sp;
72         u1                  *ra;
73         u1                  *xpc;
74     u1                   opc;
75     u1                   mod;
76     u1                   rm;
77     s4                   d;
78     s4                   disp;
79     ptrint               val;
80     s4                   type;
81     java_objectheader   *o;
82
83         _uc = (ucontext_t *) _p;
84         _mc = _uc->uc_mcontext;
85         _ss = &_mc->ss;
86
87     pv  = NULL;                 /* is resolved during stackframeinfo creation */
88         sp  = (u1 *) _ss->esp;
89         xpc = (u1 *) _ss->eip;
90     ra  = xpc;                              /* return address is equal to XPC */
91
92     /* get exception-throwing instruction */
93
94     opc = M_ALD_MEM_GET_OPC(xpc);
95     mod = M_ALD_MEM_GET_MOD(xpc);
96     rm  = M_ALD_MEM_GET_RM(xpc);
97
98     /* for values see emit_mov_mem_reg and emit_mem */
99
100     if ((opc == 0x8b) && (mod == 0) && (rm == 5)) {
101         /* this was a hardware-exception */
102
103         d    = M_ALD_MEM_GET_REG(xpc);
104         disp = M_ALD_MEM_GET_DISP(xpc);
105
106         /* we use the exception type as load displacement */
107
108         type = disp;
109
110         val = (d == 0) ? _ss->eax :
111             ((d == 1) ? _ss->ecx :
112             ((d == 2) ? _ss->edx :
113             ((d == 3) ? _ss->ebx :
114             ((d == 4) ? _ss->esp :
115             ((d == 5) ? _ss->ebp :
116             ((d == 6) ? _ss->esi : _ss->edi))))));
117     }
118     else {
119         /* this was a normal NPE */
120
121         type = EXCEPTION_HARDWARE_NULLPOINTER;
122     }
123
124     /* generate appropriate exception */
125
126     o = exceptions_new_hardware_exception(pv, sp, ra, xpc, type, val, &sfi);
127
128     /* set registers */
129
130     _ss->eax = (ptrint) o;
131         _ss->ecx = (ptrint) xpc;
132         _ss->eip = (ptrint) asm_handle_exception;
133 }
134
135
136 /* md_signal_handler_sigfpe ****************************************************
137
138    ArithmeticException signal handler for hardware divide by zero
139    check.
140
141 *******************************************************************************/
142
143 void md_signal_handler_sigfpe(int sig, siginfo_t *siginfo, void *_p)
144 {
145         stackframeinfo       sfi;
146         ucontext_t          *_uc;
147         mcontext_t           _mc;
148     u1                  *pv;
149         i386_thread_state_t *_ss;
150         u1                  *sp;
151         u1                  *ra;
152         u1                  *xpc;
153     s4                   type;
154     ptrint               val;
155     java_objectheader   *o;
156
157
158         _uc = (ucontext_t *) _p;
159         _mc = _uc->uc_mcontext;
160         _ss = &_mc->ss;
161
162     pv  = NULL;                 /* is resolved during stackframeinfo creation */
163         sp  = (u1 *) _ss->esp;
164         xpc = (u1 *) _ss->eip;
165         ra  = xpc;                          /* return address is equal to xpc     */
166
167     /* this is an ArithmeticException */
168
169     type = EXCEPTION_HARDWARE_ARITHMETIC;
170     val  = 0;
171
172     /* generate appropriate exception */
173
174     o = exceptions_new_hardware_exception(pv, sp, ra, xpc, type, val, &sfi);
175
176     _ss->eax = (ptrint) o;
177         _ss->ecx = (ptrint) xpc;
178         _ss->eip = (ptrint) asm_handle_exception;
179 }
180
181
182 /* md_signal_handler_sigusr2 ***************************************************
183
184    Signal handler for profiling sampling.
185
186 *******************************************************************************/
187
188 void md_signal_handler_sigusr2(int sig, siginfo_t *siginfo, void *_p)
189 {
190         threadobject        *t;
191         ucontext_t          *_uc;
192         mcontext_t           _mc;
193         i386_thread_state_t *_ss;
194         u1                  *pc;
195
196         t = THREADOBJECT;
197
198         _uc = (ucontext_t *) _p;
199         _mc = _uc->uc_mcontext;
200         _ss = &_mc->ss;
201
202         pc = (u1 *) _ss->eip;
203
204         t->pc = pc;
205 }
206
207
208 #if defined(ENABLE_THREADS)
209 void thread_restartcriticalsection(ucontext_t *_uc)
210 {
211         mcontext_t           _mc;
212         i386_thread_state_t *_ss;
213         u1                  *pc;
214         void                *rpc;
215
216         _mc = _uc->uc_mcontext;
217         _ss = &_mc->ss;
218
219         pc = (u1 *) _ss->eip;
220
221         rpc = critical_find_restart_point(pc);
222
223         if (rpc != NULL)
224                 _ss->eip = (ptrint) rpc;
225 }
226 #endif
227
228
229 /*
230  * These are local overrides for various environment variables in Emacs.
231  * Please do not remove this and leave it at the end of the file, where
232  * Emacs will automagically detect them.
233  * ---------------------------------------------------------------------
234  * Local variables:
235  * mode: c
236  * indent-tabs-mode: t
237  * c-basic-offset: 4
238  * tab-width: 4
239  * End:
240  */