FSF GCC merge 02/23/03
[official-gcc.git] / libjava / include / i386-signal.h
blob6ad496c47a4d247c13194e59ae44ea9115c33889
1 // i386-signal.h - Catch runtime signals and turn them into exceptions
2 // on an i386 based Linux system.
4 /* Copyright (C) 1998, 1999, 2001, 2002 Free Software Foundation
6 This file is part of libgcj.
8 This software is copyrighted work licensed under the terms of the
9 Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
10 details. */
13 #ifndef JAVA_SIGNAL_H
14 #define JAVA_SIGNAL_H 1
16 #include <signal.h>
17 #include <sys/syscall.h>
19 #define HANDLE_SEGV 1
20 #define HANDLE_FPE 1
22 #define SIGNAL_HANDLER(_name) \
23 static void _name (int _dummy)
25 #define MAKE_THROW_FRAME(_exception) \
26 do \
27 { \
28 void **_p = (void **)&_dummy; \
29 struct sigcontext_struct *_regs = (struct sigcontext_struct *)++_p; \
31 /* Advance the program counter so that it is after the start of the \
32 instruction: the x86 exception handler expects \
33 the PC to point to the instruction after a call. */ \
34 _regs->eip += 2; \
36 } \
37 while (0)
39 #define HANDLE_DIVIDE_OVERFLOW \
40 do \
41 { \
42 void **_p = (void **)&_dummy; \
43 struct sigcontext_struct *_regs = (struct sigcontext_struct *)++_p; \
45 register unsigned char *_eip = (unsigned char *)_regs->eip; \
47 /* According to the JVM spec, "if the dividend is the negative \
48 * integer of the smallest magnitude and the divisor is -1, then \
49 * overflow occurs and the result is equal to the dividend. Despite \
50 * the overflow, no exception occurs". \
52 * We handle this by inspecting the instruction which generated the \
53 * signal and advancing eip to point to the following instruction. \
54 * As the instructions are variable length it is necessary to do a \
55 * little calculation to figure out where the following instruction \
56 * actually is. \
58 */ \
60 if (_eip[0] == 0xf7) \
61 { \
62 unsigned char _modrm = _eip[1]; \
64 if (_regs->eax == 0x80000000 \
65 && ((_modrm >> 3) & 7) == 7) /* Signed divide */ \
66 { \
67 _regs->edx = 0; /* the remainder is zero */ \
68 switch (_modrm >> 6) \
69 { \
70 case 0: \
71 if ((_modrm & 7) == 5) \
72 _eip += 4; \
73 break; \
74 case 1: \
75 _eip += 1; \
76 break; \
77 case 2: \
78 _eip += 4; \
79 break; \
80 case 3: \
81 break; \
82 } \
83 _eip += 2; \
84 _regs->eip = (unsigned long)_eip; \
85 return; \
86 } \
87 else \
88 { \
89 /* Advance the program counter so that it is after the start \
90 of the instruction: this is because the x86 exception \
91 handler expects the PC to point to the instruction after a \
92 call. */ \
93 _regs->eip += 2; \
94 } \
95 } \
96 } \
97 while (0)
99 /* We use old_kernel_sigaction here because we're calling the kernel
100 directly rather than via glibc. The sigaction structure that the
101 syscall uses is a different shape from the one in userland and not
102 visible to us in a header file so we define it here. */
104 struct old_i386_kernel_sigaction {
105 void (*k_sa_handler) (int);
106 unsigned long k_sa_mask;
107 unsigned long k_sa_flags;
108 void (*sa_restorer) (void);
111 #define INIT_SEGV \
112 do \
114 nullp = new java::lang::NullPointerException (); \
115 struct old_i386_kernel_sigaction kact; \
116 kact.k_sa_handler = catch_segv; \
117 kact.k_sa_mask = 0; \
118 kact.k_sa_flags = 0; \
119 syscall (SYS_sigaction, SIGSEGV, &kact, NULL); \
121 while (0)
123 #define INIT_FPE \
124 do \
126 arithexception = new java::lang::ArithmeticException \
127 (JvNewStringLatin1 ("/ by zero")); \
128 struct old_i386_kernel_sigaction kact; \
129 kact.k_sa_handler = catch_fpe; \
130 kact.k_sa_mask = 0; \
131 kact.k_sa_flags = 0; \
132 syscall (SYS_sigaction, SIGFPE, &kact, NULL); \
134 while (0)
136 /* You might wonder why we use syscall(SYS_sigaction) in INIT_FPE
137 * instead of the standard sigaction(). This is necessary because of
138 * the shenanigans above where we increment the PC saved in the
139 * context and then return. This trick will only work when we are
140 * called _directly_ by the kernel, because linuxthreads wraps signal
141 * handlers and its wrappers do not copy the sigcontext struct back
142 * when returning from a signal handler. If we return from our divide
143 * handler to a linuxthreads wrapper, we will lose the PC adjustment
144 * we made and return to the faulting instruction again. Using
145 * syscall(SYS_sigaction) causes our handler to be called directly
146 * by the kernel, bypassing any wrappers.
148 * Also, there is at the present time no unwind info in the
149 * linuxthreads library's signal handlers and so we can't unwind
150 * through them anyway.
152 * Finally, the code that glibc uses to return from a signal handler
153 * is subject to change. */
155 #endif /* JAVA_SIGNAL_H */