ntdll: Add partial support for version 3 of DWARF CIEs which are generated by Clang...
[wine/multimedia.git] / dlls / ntdll / signal_x86_64.c
blob9b98894330208e8229f5093d6e84fdcb50683b67
1 /*
2 * x86-64 signal handling routines
4 * Copyright 1999, 2005 Alexandre Julliard
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
21 #ifdef __x86_64__
23 #include "config.h"
24 #include "wine/port.h"
26 #include <assert.h>
27 #include <signal.h>
28 #include <stdlib.h>
29 #include <stdarg.h>
30 #include <stdio.h>
31 #include <sys/types.h>
32 #ifdef HAVE_UNISTD_H
33 # include <unistd.h>
34 #endif
35 #ifdef HAVE_MACHINE_SYSARCH_H
36 # include <machine/sysarch.h>
37 #endif
38 #ifdef HAVE_SYS_PARAM_H
39 # include <sys/param.h>
40 #endif
41 #ifdef HAVE_SYSCALL_H
42 # include <syscall.h>
43 #else
44 # ifdef HAVE_SYS_SYSCALL_H
45 # include <sys/syscall.h>
46 # endif
47 #endif
48 #ifdef HAVE_SYS_SIGNAL_H
49 # include <sys/signal.h>
50 #endif
51 #ifdef HAVE_SYS_UCONTEXT_H
52 # include <sys/ucontext.h>
53 #endif
54 #ifdef HAVE_LIBUNWIND_H
55 # define UNW_LOCAL_ONLY
56 # include <libunwind.h>
57 #endif
59 #define NONAMELESSUNION
60 #define NONAMELESSSTRUCT
61 #include "ntstatus.h"
62 #define WIN32_NO_STATUS
63 #include "windef.h"
64 #include "winternl.h"
65 #include "wine/library.h"
66 #include "wine/exception.h"
67 #include "wine/list.h"
68 #include "ntdll_misc.h"
69 #include "wine/debug.h"
71 #ifdef HAVE_VALGRIND_MEMCHECK_H
72 #include <valgrind/memcheck.h>
73 #endif
75 WINE_DEFAULT_DEBUG_CHANNEL(seh);
77 struct _DISPATCHER_CONTEXT;
79 typedef LONG (WINAPI *PC_LANGUAGE_EXCEPTION_HANDLER)( EXCEPTION_POINTERS *ptrs, ULONG64 frame );
80 typedef EXCEPTION_DISPOSITION (WINAPI *PEXCEPTION_ROUTINE)( EXCEPTION_RECORD *rec,
81 ULONG64 frame,
82 CONTEXT *context,
83 struct _DISPATCHER_CONTEXT *dispatch );
85 typedef struct _DISPATCHER_CONTEXT
87 ULONG64 ControlPc;
88 ULONG64 ImageBase;
89 PRUNTIME_FUNCTION FunctionEntry;
90 ULONG64 EstablisherFrame;
91 ULONG64 TargetIp;
92 PCONTEXT ContextRecord;
93 PEXCEPTION_ROUTINE LanguageHandler;
94 PVOID HandlerData;
95 PUNWIND_HISTORY_TABLE HistoryTable;
96 ULONG ScopeIndex;
97 } DISPATCHER_CONTEXT, *PDISPATCHER_CONTEXT;
99 typedef struct _SCOPE_TABLE
101 ULONG Count;
102 struct
104 ULONG BeginAddress;
105 ULONG EndAddress;
106 ULONG HandlerAddress;
107 ULONG JumpTarget;
108 } ScopeRecord[1];
109 } SCOPE_TABLE, *PSCOPE_TABLE;
112 /* layering violation: the setjmp buffer is defined in msvcrt, but used by RtlUnwindEx */
113 struct MSVCRT_JUMP_BUFFER
115 ULONG64 Frame;
116 ULONG64 Rbx;
117 ULONG64 Rsp;
118 ULONG64 Rbp;
119 ULONG64 Rsi;
120 ULONG64 Rdi;
121 ULONG64 R12;
122 ULONG64 R13;
123 ULONG64 R14;
124 ULONG64 R15;
125 ULONG64 Rip;
126 ULONG64 Spare;
127 M128A Xmm6;
128 M128A Xmm7;
129 M128A Xmm8;
130 M128A Xmm9;
131 M128A Xmm10;
132 M128A Xmm11;
133 M128A Xmm12;
134 M128A Xmm13;
135 M128A Xmm14;
136 M128A Xmm15;
139 /***********************************************************************
140 * signal context platform-specific definitions
142 #ifdef linux
144 #include <asm/prctl.h>
145 static inline int arch_prctl( int func, void *ptr ) { return syscall( __NR_arch_prctl, func, ptr ); }
147 #define RAX_sig(context) ((context)->uc_mcontext.gregs[REG_RAX])
148 #define RBX_sig(context) ((context)->uc_mcontext.gregs[REG_RBX])
149 #define RCX_sig(context) ((context)->uc_mcontext.gregs[REG_RCX])
150 #define RDX_sig(context) ((context)->uc_mcontext.gregs[REG_RDX])
151 #define RSI_sig(context) ((context)->uc_mcontext.gregs[REG_RSI])
152 #define RDI_sig(context) ((context)->uc_mcontext.gregs[REG_RDI])
153 #define RBP_sig(context) ((context)->uc_mcontext.gregs[REG_RBP])
154 #define R8_sig(context) ((context)->uc_mcontext.gregs[REG_R8])
155 #define R9_sig(context) ((context)->uc_mcontext.gregs[REG_R9])
156 #define R10_sig(context) ((context)->uc_mcontext.gregs[REG_R10])
157 #define R11_sig(context) ((context)->uc_mcontext.gregs[REG_R11])
158 #define R12_sig(context) ((context)->uc_mcontext.gregs[REG_R12])
159 #define R13_sig(context) ((context)->uc_mcontext.gregs[REG_R13])
160 #define R14_sig(context) ((context)->uc_mcontext.gregs[REG_R14])
161 #define R15_sig(context) ((context)->uc_mcontext.gregs[REG_R15])
163 #define CS_sig(context) (*((WORD *)&(context)->uc_mcontext.gregs[REG_CSGSFS] + 0))
164 #define GS_sig(context) (*((WORD *)&(context)->uc_mcontext.gregs[REG_CSGSFS] + 1))
165 #define FS_sig(context) (*((WORD *)&(context)->uc_mcontext.gregs[REG_CSGSFS] + 2))
167 #define RSP_sig(context) ((context)->uc_mcontext.gregs[REG_RSP])
168 #define RIP_sig(context) ((context)->uc_mcontext.gregs[REG_RIP])
169 #define EFL_sig(context) ((context)->uc_mcontext.gregs[REG_EFL])
170 #define TRAP_sig(context) ((context)->uc_mcontext.gregs[REG_TRAPNO])
171 #define ERROR_sig(context) ((context)->uc_mcontext.gregs[REG_ERR])
173 #define FPU_sig(context) ((XMM_SAVE_AREA32 *)((context)->uc_mcontext.fpregs))
175 #elif defined(__FreeBSD__) || defined (__FreeBSD_kernel__)
177 #define RAX_sig(context) ((context)->uc_mcontext.mc_rax)
178 #define RBX_sig(context) ((context)->uc_mcontext.mc_rbx)
179 #define RCX_sig(context) ((context)->uc_mcontext.mc_rcx)
180 #define RDX_sig(context) ((context)->uc_mcontext.mc_rdx)
181 #define RSI_sig(context) ((context)->uc_mcontext.mc_rsi)
182 #define RDI_sig(context) ((context)->uc_mcontext.mc_rdi)
183 #define RBP_sig(context) ((context)->uc_mcontext.mc_rbp)
184 #define R8_sig(context) ((context)->uc_mcontext.mc_r8)
185 #define R9_sig(context) ((context)->uc_mcontext.mc_r9)
186 #define R10_sig(context) ((context)->uc_mcontext.mc_r10)
187 #define R11_sig(context) ((context)->uc_mcontext.mc_r11)
188 #define R12_sig(context) ((context)->uc_mcontext.mc_r12)
189 #define R13_sig(context) ((context)->uc_mcontext.mc_r13)
190 #define R14_sig(context) ((context)->uc_mcontext.mc_r14)
191 #define R15_sig(context) ((context)->uc_mcontext.mc_r15)
193 #define CS_sig(context) ((context)->uc_mcontext.mc_cs)
194 #define DS_sig(context) ((context)->uc_mcontext.mc_ds)
195 #define ES_sig(context) ((context)->uc_mcontext.mc_es)
196 #define FS_sig(context) ((context)->uc_mcontext.mc_fs)
197 #define GS_sig(context) ((context)->uc_mcontext.mc_gs)
198 #define SS_sig(context) ((context)->uc_mcontext.mc_ss)
200 #define EFL_sig(context) ((context)->uc_mcontext.mc_rflags)
202 #define RIP_sig(context) ((context)->uc_mcontext.mc_rip)
203 #define RSP_sig(context) ((context)->uc_mcontext.mc_rsp)
204 #define TRAP_sig(context) ((context)->uc_mcontext.mc_trapno)
205 #define ERROR_sig(context) ((context)->uc_mcontext.mc_err)
207 #define FPU_sig(context) ((XMM_SAVE_AREA32 *)((context)->uc_mcontext.mc_fpstate))
209 #elif defined(__NetBSD__)
211 #define RAX_sig(context) ((context)->uc_mcontext.__gregs[_REG_RAX])
212 #define RBX_sig(context) ((context)->uc_mcontext.__gregs[_REG_RBX])
213 #define RCX_sig(context) ((context)->uc_mcontext.__gregs[_REG_RCX])
214 #define RDX_sig(context) ((context)->uc_mcontext.__gregs[_REG_RDX])
215 #define RSI_sig(context) ((context)->uc_mcontext.__gregs[_REG_RSI])
216 #define RDI_sig(context) ((context)->uc_mcontext.__gregs[_REG_RDI])
217 #define RBP_sig(context) ((context)->uc_mcontext.__gregs[_REG_RBP])
218 #define R8_sig(context) ((context)->uc_mcontext.__gregs[_REG_R8])
219 #define R9_sig(context) ((context)->uc_mcontext.__gregs[_REG_R9])
220 #define R10_sig(context) ((context)->uc_mcontext.__gregs[_REG_R10])
221 #define R11_sig(context) ((context)->uc_mcontext.__gregs[_REG_R11])
222 #define R12_sig(context) ((context)->uc_mcontext.__gregs[_REG_R12])
223 #define R13_sig(context) ((context)->uc_mcontext.__gregs[_REG_R13])
224 #define R14_sig(context) ((context)->uc_mcontext.__gregs[_REG_R14])
225 #define R15_sig(context) ((context)->uc_mcontext.__gregs[_REG_R15])
227 #define CS_sig(context) ((context)->uc_mcontext.__gregs[_REG_CS])
228 #define DS_sig(context) ((context)->uc_mcontext.__gregs[_REG_DS])
229 #define ES_sig(context) ((context)->uc_mcontext.__gregs[_REG_ES])
230 #define FS_sig(context) ((context)->uc_mcontext.__gregs[_REG_FS])
231 #define GS_sig(context) ((context)->uc_mcontext.__gregs[_REG_GS])
232 #define SS_sig(context) ((context)->uc_mcontext.__gregs[_REG_SS])
234 #define EFL_sig(context) ((context)->uc_mcontext.__gregs[_REG_RFL])
236 #define RIP_sig(context) (*((unsigned long*)&(context)->uc_mcontext.__gregs[_REG_RIP]))
237 #define RSP_sig(context) (*((unsigned long*)&(context)->uc_mcontext.__gregs[_REG_URSP]))
239 #define TRAP_sig(context) ((context)->uc_mcontext.__gregs[_REG_TRAPNO])
240 #define ERROR_sig(context) ((context)->uc_mcontext.__gregs[_REG_ERR])
242 #define FPU_sig(context) ((XMM_SAVE_AREA32 *)((context)->uc_mcontext.__fpregs))
243 #elif defined (__APPLE__)
244 static pthread_key_t teb_key;
246 #define RAX_sig(context) ((context)->uc_mcontext->__ss.__rax)
247 #define RBX_sig(context) ((context)->uc_mcontext->__ss.__rbx)
248 #define RCX_sig(context) ((context)->uc_mcontext->__ss.__rcx)
249 #define RDX_sig(context) ((context)->uc_mcontext->__ss.__rdx)
250 #define RSI_sig(context) ((context)->uc_mcontext->__ss.__rsi)
251 #define RDI_sig(context) ((context)->uc_mcontext->__ss.__rdi)
252 #define RBP_sig(context) ((context)->uc_mcontext->__ss.__rbp)
253 #define R8_sig(context) ((context)->uc_mcontext->__ss.__r8)
254 #define R9_sig(context) ((context)->uc_mcontext->__ss.__r9)
255 #define R10_sig(context) ((context)->uc_mcontext->__ss.__r10)
256 #define R11_sig(context) ((context)->uc_mcontext->__ss.__r11)
257 #define R12_sig(context) ((context)->uc_mcontext->__ss.__r12)
258 #define R13_sig(context) ((context)->uc_mcontext->__ss.__r13)
259 #define R14_sig(context) ((context)->uc_mcontext->__ss.__r14)
260 #define R15_sig(context) ((context)->uc_mcontext->__ss.__r15)
262 #define CS_sig(context) ((context)->uc_mcontext->__ss.__cs)
263 #define FS_sig(context) ((context)->uc_mcontext->__ss.__fs)
264 #define GS_sig(context) ((context)->uc_mcontext->__ss.__gs)
266 #define EFL_sig(context) ((context)->uc_mcontext->__ss.__rflags)
268 #define RIP_sig(context) (*((unsigned long*)&(context)->uc_mcontext->__ss.__rip))
269 #define RSP_sig(context) (*((unsigned long*)&(context)->uc_mcontext->__ss.__rsp))
271 #define TRAP_sig(context) ((context)->uc_mcontext->__es.__trapno)
272 #define ERROR_sig(context) ((context)->uc_mcontext->__es.__err)
274 #define FPU_sig(context) ((XMM_SAVE_AREA32 *)&(context)->uc_mcontext->__fs.__fpu_fcw)
276 #else
277 #error You must define the signal context functions for your platform
278 #endif
280 enum i386_trap_code
282 TRAP_x86_UNKNOWN = -1, /* Unknown fault (TRAP_sig not defined) */
283 TRAP_x86_DIVIDE = 0, /* Division by zero exception */
284 TRAP_x86_TRCTRAP = 1, /* Single-step exception */
285 TRAP_x86_NMI = 2, /* NMI interrupt */
286 TRAP_x86_BPTFLT = 3, /* Breakpoint exception */
287 TRAP_x86_OFLOW = 4, /* Overflow exception */
288 TRAP_x86_BOUND = 5, /* Bound range exception */
289 TRAP_x86_PRIVINFLT = 6, /* Invalid opcode exception */
290 TRAP_x86_DNA = 7, /* Device not available exception */
291 TRAP_x86_DOUBLEFLT = 8, /* Double fault exception */
292 TRAP_x86_FPOPFLT = 9, /* Coprocessor segment overrun */
293 TRAP_x86_TSSFLT = 10, /* Invalid TSS exception */
294 TRAP_x86_SEGNPFLT = 11, /* Segment not present exception */
295 TRAP_x86_STKFLT = 12, /* Stack fault */
296 TRAP_x86_PROTFLT = 13, /* General protection fault */
297 TRAP_x86_PAGEFLT = 14, /* Page fault */
298 TRAP_x86_ARITHTRAP = 16, /* Floating point exception */
299 TRAP_x86_ALIGNFLT = 17, /* Alignment check exception */
300 TRAP_x86_MCHK = 18, /* Machine check exception */
301 TRAP_x86_CACHEFLT = 19 /* Cache flush exception */
304 static const size_t teb_size = 0x2000; /* we reserve two pages for the TEB */
305 static size_t signal_stack_size;
307 typedef void (*raise_func)( EXCEPTION_RECORD *rec, CONTEXT *context );
308 typedef int (*wine_signal_handler)(unsigned int sig);
310 static wine_signal_handler handlers[256];
312 /***********************************************************************
313 * Dynamic unwind table
316 struct dynamic_unwind_entry
318 struct list entry;
320 /* memory region which matches this entry */
321 DWORD64 base;
322 DWORD size;
324 /* lookup table */
325 RUNTIME_FUNCTION *table;
326 DWORD table_size;
328 /* user defined callback */
329 PGET_RUNTIME_FUNCTION_CALLBACK callback;
330 PVOID context;
333 static struct list dynamic_unwind_list = LIST_INIT(dynamic_unwind_list);
335 static RTL_CRITICAL_SECTION dynamic_unwind_section;
336 static RTL_CRITICAL_SECTION_DEBUG dynamic_unwind_debug =
338 0, 0, &dynamic_unwind_section,
339 { &dynamic_unwind_debug.ProcessLocksList, &dynamic_unwind_debug.ProcessLocksList },
340 0, 0, { (DWORD_PTR)(__FILE__ ": dynamic_unwind_section") }
342 static RTL_CRITICAL_SECTION dynamic_unwind_section = { &dynamic_unwind_debug, -1, 0, 0, 0, 0 };
344 /***********************************************************************
345 * Definitions for Win32 unwind tables
348 union handler_data
350 RUNTIME_FUNCTION chain;
351 ULONG handler;
354 struct opcode
356 BYTE offset;
357 BYTE code : 4;
358 BYTE info : 4;
361 struct UNWIND_INFO
363 BYTE version : 3;
364 BYTE flags : 5;
365 BYTE prolog;
366 BYTE count;
367 BYTE frame_reg : 4;
368 BYTE frame_offset : 4;
369 struct opcode opcodes[1]; /* info->count entries */
370 /* followed by handler_data */
373 #define UWOP_PUSH_NONVOL 0
374 #define UWOP_ALLOC_LARGE 1
375 #define UWOP_ALLOC_SMALL 2
376 #define UWOP_SET_FPREG 3
377 #define UWOP_SAVE_NONVOL 4
378 #define UWOP_SAVE_NONVOL_FAR 5
379 #define UWOP_SAVE_XMM128 8
380 #define UWOP_SAVE_XMM128_FAR 9
381 #define UWOP_PUSH_MACHFRAME 10
383 static void dump_unwind_info( ULONG64 base, RUNTIME_FUNCTION *function )
385 static const char * const reg_names[16] =
386 { "rax", "rcx", "rdx", "rbx", "rsp", "rbp", "rsi", "rdi",
387 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15" };
389 union handler_data *handler_data;
390 struct UNWIND_INFO *info;
391 unsigned int i, count;
393 TRACE( "**** func %x-%x\n", function->BeginAddress, function->EndAddress );
394 for (;;)
396 if (function->UnwindData & 1)
398 RUNTIME_FUNCTION *next = (RUNTIME_FUNCTION *)((char *)base + (function->UnwindData & ~1));
399 TRACE( "unwind info for function %p-%p chained to function %p-%p\n",
400 (char *)base + function->BeginAddress, (char *)base + function->EndAddress,
401 (char *)base + next->BeginAddress, (char *)base + next->EndAddress );
402 function = next;
403 continue;
405 info = (struct UNWIND_INFO *)((char *)base + function->UnwindData);
407 TRACE( "unwind info at %p flags %x prolog 0x%x bytes function %p-%p\n",
408 info, info->flags, info->prolog,
409 (char *)base + function->BeginAddress, (char *)base + function->EndAddress );
411 if (info->frame_reg)
412 TRACE( " frame register %s offset 0x%x(%%rsp)\n",
413 reg_names[info->frame_reg], info->frame_offset * 16 );
415 for (i = 0; i < info->count; i++)
417 TRACE( " 0x%x: ", info->opcodes[i].offset );
418 switch (info->opcodes[i].code)
420 case UWOP_PUSH_NONVOL:
421 TRACE( "pushq %%%s\n", reg_names[info->opcodes[i].info] );
422 break;
423 case UWOP_ALLOC_LARGE:
424 if (info->opcodes[i].info)
426 count = *(DWORD *)&info->opcodes[i+1];
427 i += 2;
429 else
431 count = *(USHORT *)&info->opcodes[i+1] * 8;
432 i++;
434 TRACE( "subq $0x%x,%%rsp\n", count );
435 break;
436 case UWOP_ALLOC_SMALL:
437 count = (info->opcodes[i].info + 1) * 8;
438 TRACE( "subq $0x%x,%%rsp\n", count );
439 break;
440 case UWOP_SET_FPREG:
441 TRACE( "leaq 0x%x(%%rsp),%s\n",
442 info->frame_offset * 16, reg_names[info->frame_reg] );
443 break;
444 case UWOP_SAVE_NONVOL:
445 count = *(USHORT *)&info->opcodes[i+1] * 8;
446 TRACE( "movq %%%s,0x%x(%%rsp)\n", reg_names[info->opcodes[i].info], count );
447 i++;
448 break;
449 case UWOP_SAVE_NONVOL_FAR:
450 count = *(DWORD *)&info->opcodes[i+1];
451 TRACE( "movq %%%s,0x%x(%%rsp)\n", reg_names[info->opcodes[i].info], count );
452 i += 2;
453 break;
454 case UWOP_SAVE_XMM128:
455 count = *(USHORT *)&info->opcodes[i+1] * 16;
456 TRACE( "movaps %%xmm%u,0x%x(%%rsp)\n", info->opcodes[i].info, count );
457 i++;
458 break;
459 case UWOP_SAVE_XMM128_FAR:
460 count = *(DWORD *)&info->opcodes[i+1];
461 TRACE( "movaps %%xmm%u,0x%x(%%rsp)\n", info->opcodes[i].info, count );
462 i += 2;
463 break;
464 case UWOP_PUSH_MACHFRAME:
465 TRACE( "PUSH_MACHFRAME %u\n", info->opcodes[i].info );
466 break;
467 default:
468 FIXME( "unknown code %u\n", info->opcodes[i].code );
469 break;
473 handler_data = (union handler_data *)&info->opcodes[(info->count + 1) & ~1];
474 if (info->flags & UNW_FLAG_CHAININFO)
476 TRACE( " chained to function %p-%p\n",
477 (char *)base + handler_data->chain.BeginAddress,
478 (char *)base + handler_data->chain.EndAddress );
479 function = &handler_data->chain;
480 continue;
482 if (info->flags & (UNW_FLAG_EHANDLER | UNW_FLAG_UHANDLER))
483 TRACE( " handler %p data at %p\n",
484 (char *)base + handler_data->handler, &handler_data->handler + 1 );
485 break;
489 static void dump_scope_table( ULONG64 base, const SCOPE_TABLE *table )
491 unsigned int i;
493 TRACE( "scope table at %p\n", table );
494 for (i = 0; i < table->Count; i++)
495 TRACE( " %u: %lx-%lx handler %lx target %lx\n", i,
496 base + table->ScopeRecord[i].BeginAddress,
497 base + table->ScopeRecord[i].EndAddress,
498 base + table->ScopeRecord[i].HandlerAddress,
499 base + table->ScopeRecord[i].JumpTarget );
503 /***********************************************************************
504 * Definitions for Dwarf unwind tables
507 enum dwarf_call_frame_info
509 DW_CFA_advance_loc = 0x40,
510 DW_CFA_offset = 0x80,
511 DW_CFA_restore = 0xc0,
512 DW_CFA_nop = 0x00,
513 DW_CFA_set_loc = 0x01,
514 DW_CFA_advance_loc1 = 0x02,
515 DW_CFA_advance_loc2 = 0x03,
516 DW_CFA_advance_loc4 = 0x04,
517 DW_CFA_offset_extended = 0x05,
518 DW_CFA_restore_extended = 0x06,
519 DW_CFA_undefined = 0x07,
520 DW_CFA_same_value = 0x08,
521 DW_CFA_register = 0x09,
522 DW_CFA_remember_state = 0x0a,
523 DW_CFA_restore_state = 0x0b,
524 DW_CFA_def_cfa = 0x0c,
525 DW_CFA_def_cfa_register = 0x0d,
526 DW_CFA_def_cfa_offset = 0x0e,
527 DW_CFA_def_cfa_expression = 0x0f,
528 DW_CFA_expression = 0x10,
529 DW_CFA_offset_extended_sf = 0x11,
530 DW_CFA_def_cfa_sf = 0x12,
531 DW_CFA_def_cfa_offset_sf = 0x13,
532 DW_CFA_val_offset = 0x14,
533 DW_CFA_val_offset_sf = 0x15,
534 DW_CFA_val_expression = 0x16,
537 enum dwarf_operation
539 DW_OP_addr = 0x03,
540 DW_OP_deref = 0x06,
541 DW_OP_const1u = 0x08,
542 DW_OP_const1s = 0x09,
543 DW_OP_const2u = 0x0a,
544 DW_OP_const2s = 0x0b,
545 DW_OP_const4u = 0x0c,
546 DW_OP_const4s = 0x0d,
547 DW_OP_const8u = 0x0e,
548 DW_OP_const8s = 0x0f,
549 DW_OP_constu = 0x10,
550 DW_OP_consts = 0x11,
551 DW_OP_dup = 0x12,
552 DW_OP_drop = 0x13,
553 DW_OP_over = 0x14,
554 DW_OP_pick = 0x15,
555 DW_OP_swap = 0x16,
556 DW_OP_rot = 0x17,
557 DW_OP_xderef = 0x18,
558 DW_OP_abs = 0x19,
559 DW_OP_and = 0x1a,
560 DW_OP_div = 0x1b,
561 DW_OP_minus = 0x1c,
562 DW_OP_mod = 0x1d,
563 DW_OP_mul = 0x1e,
564 DW_OP_neg = 0x1f,
565 DW_OP_not = 0x20,
566 DW_OP_or = 0x21,
567 DW_OP_plus = 0x22,
568 DW_OP_plus_uconst = 0x23,
569 DW_OP_shl = 0x24,
570 DW_OP_shr = 0x25,
571 DW_OP_shra = 0x26,
572 DW_OP_xor = 0x27,
573 DW_OP_bra = 0x28,
574 DW_OP_eq = 0x29,
575 DW_OP_ge = 0x2a,
576 DW_OP_gt = 0x2b,
577 DW_OP_le = 0x2c,
578 DW_OP_lt = 0x2d,
579 DW_OP_ne = 0x2e,
580 DW_OP_skip = 0x2f,
581 DW_OP_lit0 = 0x30,
582 DW_OP_lit1 = 0x31,
583 DW_OP_lit2 = 0x32,
584 DW_OP_lit3 = 0x33,
585 DW_OP_lit4 = 0x34,
586 DW_OP_lit5 = 0x35,
587 DW_OP_lit6 = 0x36,
588 DW_OP_lit7 = 0x37,
589 DW_OP_lit8 = 0x38,
590 DW_OP_lit9 = 0x39,
591 DW_OP_lit10 = 0x3a,
592 DW_OP_lit11 = 0x3b,
593 DW_OP_lit12 = 0x3c,
594 DW_OP_lit13 = 0x3d,
595 DW_OP_lit14 = 0x3e,
596 DW_OP_lit15 = 0x3f,
597 DW_OP_lit16 = 0x40,
598 DW_OP_lit17 = 0x41,
599 DW_OP_lit18 = 0x42,
600 DW_OP_lit19 = 0x43,
601 DW_OP_lit20 = 0x44,
602 DW_OP_lit21 = 0x45,
603 DW_OP_lit22 = 0x46,
604 DW_OP_lit23 = 0x47,
605 DW_OP_lit24 = 0x48,
606 DW_OP_lit25 = 0x49,
607 DW_OP_lit26 = 0x4a,
608 DW_OP_lit27 = 0x4b,
609 DW_OP_lit28 = 0x4c,
610 DW_OP_lit29 = 0x4d,
611 DW_OP_lit30 = 0x4e,
612 DW_OP_lit31 = 0x4f,
613 DW_OP_reg0 = 0x50,
614 DW_OP_reg1 = 0x51,
615 DW_OP_reg2 = 0x52,
616 DW_OP_reg3 = 0x53,
617 DW_OP_reg4 = 0x54,
618 DW_OP_reg5 = 0x55,
619 DW_OP_reg6 = 0x56,
620 DW_OP_reg7 = 0x57,
621 DW_OP_reg8 = 0x58,
622 DW_OP_reg9 = 0x59,
623 DW_OP_reg10 = 0x5a,
624 DW_OP_reg11 = 0x5b,
625 DW_OP_reg12 = 0x5c,
626 DW_OP_reg13 = 0x5d,
627 DW_OP_reg14 = 0x5e,
628 DW_OP_reg15 = 0x5f,
629 DW_OP_reg16 = 0x60,
630 DW_OP_reg17 = 0x61,
631 DW_OP_reg18 = 0x62,
632 DW_OP_reg19 = 0x63,
633 DW_OP_reg20 = 0x64,
634 DW_OP_reg21 = 0x65,
635 DW_OP_reg22 = 0x66,
636 DW_OP_reg23 = 0x67,
637 DW_OP_reg24 = 0x68,
638 DW_OP_reg25 = 0x69,
639 DW_OP_reg26 = 0x6a,
640 DW_OP_reg27 = 0x6b,
641 DW_OP_reg28 = 0x6c,
642 DW_OP_reg29 = 0x6d,
643 DW_OP_reg30 = 0x6e,
644 DW_OP_reg31 = 0x6f,
645 DW_OP_breg0 = 0x70,
646 DW_OP_breg1 = 0x71,
647 DW_OP_breg2 = 0x72,
648 DW_OP_breg3 = 0x73,
649 DW_OP_breg4 = 0x74,
650 DW_OP_breg5 = 0x75,
651 DW_OP_breg6 = 0x76,
652 DW_OP_breg7 = 0x77,
653 DW_OP_breg8 = 0x78,
654 DW_OP_breg9 = 0x79,
655 DW_OP_breg10 = 0x7a,
656 DW_OP_breg11 = 0x7b,
657 DW_OP_breg12 = 0x7c,
658 DW_OP_breg13 = 0x7d,
659 DW_OP_breg14 = 0x7e,
660 DW_OP_breg15 = 0x7f,
661 DW_OP_breg16 = 0x80,
662 DW_OP_breg17 = 0x81,
663 DW_OP_breg18 = 0x82,
664 DW_OP_breg19 = 0x83,
665 DW_OP_breg20 = 0x84,
666 DW_OP_breg21 = 0x85,
667 DW_OP_breg22 = 0x86,
668 DW_OP_breg23 = 0x87,
669 DW_OP_breg24 = 0x88,
670 DW_OP_breg25 = 0x89,
671 DW_OP_breg26 = 0x8a,
672 DW_OP_breg27 = 0x8b,
673 DW_OP_breg28 = 0x8c,
674 DW_OP_breg29 = 0x8d,
675 DW_OP_breg30 = 0x8e,
676 DW_OP_breg31 = 0x8f,
677 DW_OP_regx = 0x90,
678 DW_OP_fbreg = 0x91,
679 DW_OP_bregx = 0x92,
680 DW_OP_piece = 0x93,
681 DW_OP_deref_size = 0x94,
682 DW_OP_xderef_size = 0x95,
683 DW_OP_nop = 0x96,
684 DW_OP_push_object_address = 0x97,
685 DW_OP_call2 = 0x98,
686 DW_OP_call4 = 0x99,
687 DW_OP_call_ref = 0x9a,
688 DW_OP_form_tls_address = 0x9b,
689 DW_OP_call_frame_cfa = 0x9c,
690 DW_OP_bit_piece = 0x9d,
691 DW_OP_lo_user = 0xe0,
692 DW_OP_hi_user = 0xff,
693 DW_OP_GNU_push_tls_address = 0xe0,
694 DW_OP_GNU_uninit = 0xf0,
695 DW_OP_GNU_encoded_addr = 0xf1,
698 #define DW_EH_PE_native 0x00
699 #define DW_EH_PE_leb128 0x01
700 #define DW_EH_PE_data2 0x02
701 #define DW_EH_PE_data4 0x03
702 #define DW_EH_PE_data8 0x04
703 #define DW_EH_PE_signed 0x08
704 #define DW_EH_PE_abs 0x00
705 #define DW_EH_PE_pcrel 0x10
706 #define DW_EH_PE_textrel 0x20
707 #define DW_EH_PE_datarel 0x30
708 #define DW_EH_PE_funcrel 0x40
709 #define DW_EH_PE_aligned 0x50
710 #define DW_EH_PE_indirect 0x80
711 #define DW_EH_PE_omit 0xff
713 struct dwarf_eh_bases
715 void *tbase;
716 void *dbase;
717 void *func;
720 struct dwarf_cie
722 unsigned int length;
723 int id;
724 unsigned char version;
725 unsigned char augmentation[1];
728 struct dwarf_fde
730 unsigned int length;
731 unsigned int cie_offset;
734 extern const struct dwarf_fde *_Unwind_Find_FDE (void *, struct dwarf_eh_bases *);
736 static unsigned char dwarf_get_u1( const unsigned char **p )
738 return *(*p)++;
741 static unsigned short dwarf_get_u2( const unsigned char **p )
743 unsigned int ret = (*p)[0] | ((*p)[1] << 8);
744 (*p) += 2;
745 return ret;
748 static unsigned int dwarf_get_u4( const unsigned char **p )
750 unsigned int ret = (*p)[0] | ((*p)[1] << 8) | ((*p)[2] << 16) | ((*p)[3] << 24);
751 (*p) += 4;
752 return ret;
755 static ULONG64 dwarf_get_u8( const unsigned char **p )
757 ULONG64 low = dwarf_get_u4( p );
758 ULONG64 high = dwarf_get_u4( p );
759 return low | (high << 32);
762 static ULONG_PTR dwarf_get_uleb128( const unsigned char **p )
764 ULONG_PTR ret = 0;
765 unsigned int shift = 0;
766 unsigned char byte;
770 byte = **p;
771 ret |= (ULONG_PTR)(byte & 0x7f) << shift;
772 shift += 7;
773 (*p)++;
774 } while (byte & 0x80);
775 return ret;
778 static LONG_PTR dwarf_get_sleb128( const unsigned char **p )
780 ULONG_PTR ret = 0;
781 unsigned int shift = 0;
782 unsigned char byte;
786 byte = **p;
787 ret |= (ULONG_PTR)(byte & 0x7f) << shift;
788 shift += 7;
789 (*p)++;
790 } while (byte & 0x80);
792 if ((shift < 8 * sizeof(ret)) && (byte & 0x40)) ret |= -((ULONG_PTR)1 << shift);
793 return ret;
796 static ULONG_PTR dwarf_get_ptr( const unsigned char **p, unsigned char encoding )
798 ULONG_PTR base;
800 if (encoding == DW_EH_PE_omit) return 0;
802 switch (encoding & 0xf0)
804 case DW_EH_PE_abs:
805 base = 0;
806 break;
807 case DW_EH_PE_pcrel:
808 base = (ULONG_PTR)*p;
809 break;
810 default:
811 FIXME( "unsupported encoding %02x\n", encoding );
812 return 0;
815 switch (encoding & 0x0f)
817 case DW_EH_PE_native:
818 return base + dwarf_get_u8( p );
819 case DW_EH_PE_leb128:
820 return base + dwarf_get_uleb128( p );
821 case DW_EH_PE_data2:
822 return base + dwarf_get_u2( p );
823 case DW_EH_PE_data4:
824 return base + dwarf_get_u4( p );
825 case DW_EH_PE_data8:
826 return base + dwarf_get_u8( p );
827 case DW_EH_PE_signed|DW_EH_PE_leb128:
828 return base + dwarf_get_sleb128( p );
829 case DW_EH_PE_signed|DW_EH_PE_data2:
830 return base + (signed short)dwarf_get_u2( p );
831 case DW_EH_PE_signed|DW_EH_PE_data4:
832 return base + (signed int)dwarf_get_u4( p );
833 case DW_EH_PE_signed|DW_EH_PE_data8:
834 return base + (LONG64)dwarf_get_u8( p );
835 default:
836 FIXME( "unsupported encoding %02x\n", encoding );
837 return 0;
841 enum reg_rule
843 RULE_UNSET, /* not set at all */
844 RULE_UNDEFINED, /* undefined value */
845 RULE_SAME, /* same value as previous frame */
846 RULE_CFA_OFFSET, /* stored at cfa offset */
847 RULE_OTHER_REG, /* stored in other register */
848 RULE_EXPRESSION, /* address specified by expression */
849 RULE_VAL_EXPRESSION /* value specified by expression */
852 #define NB_FRAME_REGS 41
853 #define MAX_SAVED_STATES 16
855 struct frame_state
857 ULONG_PTR cfa_offset;
858 unsigned char cfa_reg;
859 enum reg_rule cfa_rule;
860 enum reg_rule rules[NB_FRAME_REGS];
861 ULONG64 regs[NB_FRAME_REGS];
864 struct frame_info
866 ULONG_PTR ip;
867 ULONG_PTR code_align;
868 LONG_PTR data_align;
869 unsigned char retaddr_reg;
870 unsigned char fde_encoding;
871 unsigned char signal_frame;
872 unsigned char state_sp;
873 struct frame_state state;
874 struct frame_state *state_stack;
877 static const char *dwarf_reg_names[NB_FRAME_REGS] =
879 /* 0-7 */ "%rax", "%rdx", "%rcx", "%rbx", "%rsi", "%rdi", "%rbp", "%rsp",
880 /* 8-16 */ "%r8", "%r9", "%r10", "%r11", "%r12", "%r13", "%r14", "%r15", "%rip",
881 /* 17-24 */ "%xmm0", "%xmm1", "%xmm2", "%xmm3", "%xmm4", "%xmm5", "%xmm6", "%xmm7",
882 /* 25-32 */ "%xmm8", "%xmm9", "%xmm10", "%xmm11", "%xmm12", "%xmm13", "%xmm14", "%xmm15",
883 /* 33-40 */ "%st0", "%st1", "%st2", "%st3", "%st4", "%st5", "%st6", "%st7"
886 static BOOL valid_reg( ULONG_PTR reg )
888 if (reg >= NB_FRAME_REGS) FIXME( "unsupported reg %lx\n", reg );
889 return (reg < NB_FRAME_REGS);
892 static void execute_cfa_instructions( const unsigned char *ptr, const unsigned char *end,
893 ULONG_PTR last_ip, struct frame_info *info )
895 while (ptr < end && info->ip < last_ip + info->signal_frame)
897 enum dwarf_call_frame_info op = *ptr++;
899 if (op & 0xc0)
901 switch (op & 0xc0)
903 case DW_CFA_advance_loc:
905 ULONG_PTR offset = (op & 0x3f) * info->code_align;
906 TRACE( "%lx: DW_CFA_advance_loc %lu\n", info->ip, offset );
907 info->ip += offset;
908 break;
910 case DW_CFA_offset:
912 ULONG_PTR reg = op & 0x3f;
913 LONG_PTR offset = dwarf_get_uleb128( &ptr ) * info->data_align;
914 if (!valid_reg( reg )) break;
915 TRACE( "%lx: DW_CFA_offset %s, %ld\n", info->ip, dwarf_reg_names[reg], offset );
916 info->state.regs[reg] = offset;
917 info->state.rules[reg] = RULE_CFA_OFFSET;
918 break;
920 case DW_CFA_restore:
922 ULONG_PTR reg = op & 0x3f;
923 if (!valid_reg( reg )) break;
924 TRACE( "%lx: DW_CFA_restore %s\n", info->ip, dwarf_reg_names[reg] );
925 info->state.rules[reg] = RULE_UNSET;
926 break;
930 else switch (op)
932 case DW_CFA_nop:
933 break;
934 case DW_CFA_set_loc:
936 ULONG_PTR loc = dwarf_get_ptr( &ptr, info->fde_encoding );
937 TRACE( "%lx: DW_CFA_set_loc %lx\n", info->ip, loc );
938 info->ip = loc;
939 break;
941 case DW_CFA_advance_loc1:
943 ULONG_PTR offset = *ptr++ * info->code_align;
944 TRACE( "%lx: DW_CFA_advance_loc1 %lu\n", info->ip, offset );
945 info->ip += offset;
946 break;
948 case DW_CFA_advance_loc2:
950 ULONG_PTR offset = dwarf_get_u2( &ptr ) * info->code_align;
951 TRACE( "%lx: DW_CFA_advance_loc2 %lu\n", info->ip, offset );
952 info->ip += offset;
953 break;
955 case DW_CFA_advance_loc4:
957 ULONG_PTR offset = dwarf_get_u4( &ptr ) * info->code_align;
958 TRACE( "%lx: DW_CFA_advance_loc4 %lu\n", info->ip, offset );
959 info->ip += offset;
960 break;
962 case DW_CFA_offset_extended:
963 case DW_CFA_offset_extended_sf:
965 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
966 LONG_PTR offset = (op == DW_CFA_offset_extended) ? dwarf_get_uleb128( &ptr ) * info->data_align
967 : dwarf_get_sleb128( &ptr ) * info->data_align;
968 if (!valid_reg( reg )) break;
969 TRACE( "%lx: DW_CFA_offset_extended %s, %ld\n", info->ip, dwarf_reg_names[reg], offset );
970 info->state.regs[reg] = offset;
971 info->state.rules[reg] = RULE_CFA_OFFSET;
972 break;
974 case DW_CFA_restore_extended:
976 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
977 if (!valid_reg( reg )) break;
978 TRACE( "%lx: DW_CFA_restore_extended %s\n", info->ip, dwarf_reg_names[reg] );
979 info->state.rules[reg] = RULE_UNSET;
980 break;
982 case DW_CFA_undefined:
984 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
985 if (!valid_reg( reg )) break;
986 TRACE( "%lx: DW_CFA_undefined %s\n", info->ip, dwarf_reg_names[reg] );
987 info->state.rules[reg] = RULE_UNDEFINED;
988 break;
990 case DW_CFA_same_value:
992 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
993 if (!valid_reg( reg )) break;
994 TRACE( "%lx: DW_CFA_same_value %s\n", info->ip, dwarf_reg_names[reg] );
995 info->state.regs[reg] = reg;
996 info->state.rules[reg] = RULE_SAME;
997 break;
999 case DW_CFA_register:
1001 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
1002 ULONG_PTR reg2 = dwarf_get_uleb128( &ptr );
1003 if (!valid_reg( reg ) || !valid_reg( reg2 )) break;
1004 TRACE( "%lx: DW_CFA_register %s == %s\n", info->ip, dwarf_reg_names[reg], dwarf_reg_names[reg2] );
1005 info->state.regs[reg] = reg2;
1006 info->state.rules[reg] = RULE_OTHER_REG;
1007 break;
1009 case DW_CFA_remember_state:
1010 TRACE( "%lx: DW_CFA_remember_state\n", info->ip );
1011 if (info->state_sp >= MAX_SAVED_STATES)
1012 FIXME( "%lx: DW_CFA_remember_state too many nested saves\n", info->ip );
1013 else
1014 info->state_stack[info->state_sp++] = info->state;
1015 break;
1016 case DW_CFA_restore_state:
1017 TRACE( "%lx: DW_CFA_restore_state\n", info->ip );
1018 if (!info->state_sp)
1019 FIXME( "%lx: DW_CFA_restore_state without corresponding save\n", info->ip );
1020 else
1021 info->state = info->state_stack[--info->state_sp];
1022 break;
1023 case DW_CFA_def_cfa:
1024 case DW_CFA_def_cfa_sf:
1026 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
1027 ULONG_PTR offset = (op == DW_CFA_def_cfa) ? dwarf_get_uleb128( &ptr )
1028 : dwarf_get_sleb128( &ptr ) * info->data_align;
1029 if (!valid_reg( reg )) break;
1030 TRACE( "%lx: DW_CFA_def_cfa %s, %lu\n", info->ip, dwarf_reg_names[reg], offset );
1031 info->state.cfa_reg = reg;
1032 info->state.cfa_offset = offset;
1033 info->state.cfa_rule = RULE_CFA_OFFSET;
1034 break;
1036 case DW_CFA_def_cfa_register:
1038 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
1039 if (!valid_reg( reg )) break;
1040 TRACE( "%lx: DW_CFA_def_cfa_register %s\n", info->ip, dwarf_reg_names[reg] );
1041 info->state.cfa_reg = reg;
1042 info->state.cfa_rule = RULE_CFA_OFFSET;
1043 break;
1045 case DW_CFA_def_cfa_offset:
1046 case DW_CFA_def_cfa_offset_sf:
1048 ULONG_PTR offset = (op == DW_CFA_def_cfa_offset) ? dwarf_get_uleb128( &ptr )
1049 : dwarf_get_sleb128( &ptr ) * info->data_align;
1050 TRACE( "%lx: DW_CFA_def_cfa_offset %lu\n", info->ip, offset );
1051 info->state.cfa_offset = offset;
1052 info->state.cfa_rule = RULE_CFA_OFFSET;
1053 break;
1055 case DW_CFA_def_cfa_expression:
1057 ULONG_PTR expr = (ULONG_PTR)ptr;
1058 ULONG_PTR len = dwarf_get_uleb128( &ptr );
1059 TRACE( "%lx: DW_CFA_def_cfa_expression %lx-%lx\n", info->ip, expr, expr+len );
1060 info->state.cfa_offset = expr;
1061 info->state.cfa_rule = RULE_VAL_EXPRESSION;
1062 ptr += len;
1063 break;
1065 case DW_CFA_expression:
1066 case DW_CFA_val_expression:
1068 ULONG_PTR reg = dwarf_get_uleb128( &ptr );
1069 ULONG_PTR expr = (ULONG_PTR)ptr;
1070 ULONG_PTR len = dwarf_get_uleb128( &ptr );
1071 if (!valid_reg( reg )) break;
1072 TRACE( "%lx: DW_CFA_%sexpression %s %lx-%lx\n",
1073 info->ip, (op == DW_CFA_expression) ? "" : "val_", dwarf_reg_names[reg], expr, expr+len );
1074 info->state.regs[reg] = expr;
1075 info->state.rules[reg] = (op == DW_CFA_expression) ? RULE_EXPRESSION : RULE_VAL_EXPRESSION;
1076 ptr += len;
1077 break;
1079 default:
1080 FIXME( "%lx: unknown CFA opcode %02x\n", info->ip, op );
1081 break;
1086 /* retrieve a context register from its dwarf number */
1087 static void *get_context_reg( CONTEXT *context, ULONG_PTR dw_reg )
1089 switch (dw_reg)
1091 case 0: return &context->Rax;
1092 case 1: return &context->Rdx;
1093 case 2: return &context->Rcx;
1094 case 3: return &context->Rbx;
1095 case 4: return &context->Rsi;
1096 case 5: return &context->Rdi;
1097 case 6: return &context->Rbp;
1098 case 7: return &context->Rsp;
1099 case 8: return &context->R8;
1100 case 9: return &context->R9;
1101 case 10: return &context->R10;
1102 case 11: return &context->R11;
1103 case 12: return &context->R12;
1104 case 13: return &context->R13;
1105 case 14: return &context->R14;
1106 case 15: return &context->R15;
1107 case 16: return &context->Rip;
1108 case 17: return &context->u.s.Xmm0;
1109 case 18: return &context->u.s.Xmm1;
1110 case 19: return &context->u.s.Xmm2;
1111 case 20: return &context->u.s.Xmm3;
1112 case 21: return &context->u.s.Xmm4;
1113 case 22: return &context->u.s.Xmm5;
1114 case 23: return &context->u.s.Xmm6;
1115 case 24: return &context->u.s.Xmm7;
1116 case 25: return &context->u.s.Xmm8;
1117 case 26: return &context->u.s.Xmm9;
1118 case 27: return &context->u.s.Xmm10;
1119 case 28: return &context->u.s.Xmm11;
1120 case 29: return &context->u.s.Xmm12;
1121 case 30: return &context->u.s.Xmm13;
1122 case 31: return &context->u.s.Xmm14;
1123 case 32: return &context->u.s.Xmm15;
1124 case 33: return &context->u.s.Legacy[0];
1125 case 34: return &context->u.s.Legacy[1];
1126 case 35: return &context->u.s.Legacy[2];
1127 case 36: return &context->u.s.Legacy[3];
1128 case 37: return &context->u.s.Legacy[4];
1129 case 38: return &context->u.s.Legacy[5];
1130 case 39: return &context->u.s.Legacy[6];
1131 case 40: return &context->u.s.Legacy[7];
1132 default: return NULL;
1136 /* set a context register from its dwarf number */
1137 static void set_context_reg( CONTEXT *context, ULONG_PTR dw_reg, void *val )
1139 switch (dw_reg)
1141 case 0: context->Rax = *(ULONG64 *)val; break;
1142 case 1: context->Rdx = *(ULONG64 *)val; break;
1143 case 2: context->Rcx = *(ULONG64 *)val; break;
1144 case 3: context->Rbx = *(ULONG64 *)val; break;
1145 case 4: context->Rsi = *(ULONG64 *)val; break;
1146 case 5: context->Rdi = *(ULONG64 *)val; break;
1147 case 6: context->Rbp = *(ULONG64 *)val; break;
1148 case 7: context->Rsp = *(ULONG64 *)val; break;
1149 case 8: context->R8 = *(ULONG64 *)val; break;
1150 case 9: context->R9 = *(ULONG64 *)val; break;
1151 case 10: context->R10 = *(ULONG64 *)val; break;
1152 case 11: context->R11 = *(ULONG64 *)val; break;
1153 case 12: context->R12 = *(ULONG64 *)val; break;
1154 case 13: context->R13 = *(ULONG64 *)val; break;
1155 case 14: context->R14 = *(ULONG64 *)val; break;
1156 case 15: context->R15 = *(ULONG64 *)val; break;
1157 case 16: context->Rip = *(ULONG64 *)val; break;
1158 case 17: context->u.s.Xmm0 = *(M128A *)val; break;
1159 case 18: context->u.s.Xmm1 = *(M128A *)val; break;
1160 case 19: context->u.s.Xmm2 = *(M128A *)val; break;
1161 case 20: context->u.s.Xmm3 = *(M128A *)val; break;
1162 case 21: context->u.s.Xmm4 = *(M128A *)val; break;
1163 case 22: context->u.s.Xmm5 = *(M128A *)val; break;
1164 case 23: context->u.s.Xmm6 = *(M128A *)val; break;
1165 case 24: context->u.s.Xmm7 = *(M128A *)val; break;
1166 case 25: context->u.s.Xmm8 = *(M128A *)val; break;
1167 case 26: context->u.s.Xmm9 = *(M128A *)val; break;
1168 case 27: context->u.s.Xmm10 = *(M128A *)val; break;
1169 case 28: context->u.s.Xmm11 = *(M128A *)val; break;
1170 case 29: context->u.s.Xmm12 = *(M128A *)val; break;
1171 case 30: context->u.s.Xmm13 = *(M128A *)val; break;
1172 case 31: context->u.s.Xmm14 = *(M128A *)val; break;
1173 case 32: context->u.s.Xmm15 = *(M128A *)val; break;
1174 case 33: context->u.s.Legacy[0] = *(M128A *)val; break;
1175 case 34: context->u.s.Legacy[1] = *(M128A *)val; break;
1176 case 35: context->u.s.Legacy[2] = *(M128A *)val; break;
1177 case 36: context->u.s.Legacy[3] = *(M128A *)val; break;
1178 case 37: context->u.s.Legacy[4] = *(M128A *)val; break;
1179 case 38: context->u.s.Legacy[5] = *(M128A *)val; break;
1180 case 39: context->u.s.Legacy[6] = *(M128A *)val; break;
1181 case 40: context->u.s.Legacy[7] = *(M128A *)val; break;
1185 static ULONG_PTR eval_expression( const unsigned char *p, CONTEXT *context )
1187 ULONG_PTR reg, tmp, stack[64];
1188 int sp = -1;
1189 ULONG_PTR len = dwarf_get_uleb128(&p);
1190 const unsigned char *end = p + len;
1192 while (p < end)
1194 unsigned char opcode = dwarf_get_u1(&p);
1196 if (opcode >= DW_OP_lit0 && opcode <= DW_OP_lit31)
1197 stack[++sp] = opcode - DW_OP_lit0;
1198 else if (opcode >= DW_OP_reg0 && opcode <= DW_OP_reg31)
1199 stack[++sp] = *(ULONG_PTR *)get_context_reg( context, opcode - DW_OP_reg0 );
1200 else if (opcode >= DW_OP_breg0 && opcode <= DW_OP_breg31)
1201 stack[++sp] = *(ULONG_PTR *)get_context_reg( context, opcode - DW_OP_breg0 ) + dwarf_get_sleb128(&p);
1202 else switch (opcode)
1204 case DW_OP_nop: break;
1205 case DW_OP_addr: stack[++sp] = dwarf_get_u8(&p); break;
1206 case DW_OP_const1u: stack[++sp] = dwarf_get_u1(&p); break;
1207 case DW_OP_const1s: stack[++sp] = (signed char)dwarf_get_u1(&p); break;
1208 case DW_OP_const2u: stack[++sp] = dwarf_get_u2(&p); break;
1209 case DW_OP_const2s: stack[++sp] = (short)dwarf_get_u2(&p); break;
1210 case DW_OP_const4u: stack[++sp] = dwarf_get_u4(&p); break;
1211 case DW_OP_const4s: stack[++sp] = (signed int)dwarf_get_u4(&p); break;
1212 case DW_OP_const8u: stack[++sp] = dwarf_get_u8(&p); break;
1213 case DW_OP_const8s: stack[++sp] = (LONG_PTR)dwarf_get_u8(&p); break;
1214 case DW_OP_constu: stack[++sp] = dwarf_get_uleb128(&p); break;
1215 case DW_OP_consts: stack[++sp] = dwarf_get_sleb128(&p); break;
1216 case DW_OP_deref: stack[sp] = *(ULONG_PTR *)stack[sp]; break;
1217 case DW_OP_dup: stack[sp + 1] = stack[sp]; sp++; break;
1218 case DW_OP_drop: sp--; break;
1219 case DW_OP_over: stack[sp + 1] = stack[sp - 1]; sp++; break;
1220 case DW_OP_pick: stack[sp + 1] = stack[sp - dwarf_get_u1(&p)]; sp++; break;
1221 case DW_OP_swap: tmp = stack[sp]; stack[sp] = stack[sp-1]; stack[sp-1] = tmp; break;
1222 case DW_OP_rot: tmp = stack[sp]; stack[sp] = stack[sp-1]; stack[sp-1] = stack[sp-2]; stack[sp-2] = tmp; break;
1223 case DW_OP_abs: stack[sp] = labs(stack[sp]); break;
1224 case DW_OP_neg: stack[sp] = -stack[sp]; break;
1225 case DW_OP_not: stack[sp] = ~stack[sp]; break;
1226 case DW_OP_and: stack[sp-1] &= stack[sp]; sp--; break;
1227 case DW_OP_or: stack[sp-1] |= stack[sp]; sp--; break;
1228 case DW_OP_minus: stack[sp-1] -= stack[sp]; sp--; break;
1229 case DW_OP_mul: stack[sp-1] *= stack[sp]; sp--; break;
1230 case DW_OP_plus: stack[sp-1] += stack[sp]; sp--; break;
1231 case DW_OP_xor: stack[sp-1] ^= stack[sp]; sp--; break;
1232 case DW_OP_shl: stack[sp-1] <<= stack[sp]; sp--; break;
1233 case DW_OP_shr: stack[sp-1] >>= stack[sp]; sp--; break;
1234 case DW_OP_plus_uconst: stack[sp] += dwarf_get_uleb128(&p); break;
1235 case DW_OP_shra: stack[sp-1] = (LONG_PTR)stack[sp-1] / (1 << stack[sp]); sp--; break;
1236 case DW_OP_div: stack[sp-1] = (LONG_PTR)stack[sp-1] / (LONG_PTR)stack[sp]; sp--; break;
1237 case DW_OP_mod: stack[sp-1] = (LONG_PTR)stack[sp-1] % (LONG_PTR)stack[sp]; sp--; break;
1238 case DW_OP_ge: stack[sp-1] = ((LONG_PTR)stack[sp-1] >= (LONG_PTR)stack[sp]); sp--; break;
1239 case DW_OP_gt: stack[sp-1] = ((LONG_PTR)stack[sp-1] > (LONG_PTR)stack[sp]); sp--; break;
1240 case DW_OP_le: stack[sp-1] = ((LONG_PTR)stack[sp-1] <= (LONG_PTR)stack[sp]); sp--; break;
1241 case DW_OP_lt: stack[sp-1] = ((LONG_PTR)stack[sp-1] < (LONG_PTR)stack[sp]); sp--; break;
1242 case DW_OP_eq: stack[sp-1] = (stack[sp-1] == stack[sp]); sp--; break;
1243 case DW_OP_ne: stack[sp-1] = (stack[sp-1] != stack[sp]); sp--; break;
1244 case DW_OP_skip: tmp = (short)dwarf_get_u2(&p); p += tmp; break;
1245 case DW_OP_bra: tmp = (short)dwarf_get_u2(&p); if (!stack[sp--]) p += tmp; break;
1246 case DW_OP_GNU_encoded_addr: tmp = *p++; stack[++sp] = dwarf_get_ptr( &p, tmp ); break;
1247 case DW_OP_regx: stack[++sp] = *(ULONG_PTR *)get_context_reg( context, dwarf_get_uleb128(&p) ); break;
1248 case DW_OP_bregx:
1249 reg = dwarf_get_uleb128(&p);
1250 tmp = dwarf_get_sleb128(&p);
1251 stack[++sp] = *(ULONG_PTR *)get_context_reg( context, reg ) + tmp;
1252 break;
1253 case DW_OP_deref_size:
1254 switch (*p++)
1256 case 1: stack[sp] = *(unsigned char *)stack[sp]; break;
1257 case 2: stack[sp] = *(unsigned short *)stack[sp]; break;
1258 case 4: stack[sp] = *(unsigned int *)stack[sp]; break;
1259 case 8: stack[sp] = *(ULONG_PTR *)stack[sp]; break;
1261 break;
1262 default:
1263 FIXME( "unhandled opcode %02x\n", opcode );
1266 return stack[sp];
1269 /* apply the computed frame info to the actual context */
1270 static void apply_frame_state( CONTEXT *context, struct frame_state *state )
1272 unsigned int i;
1273 ULONG_PTR cfa, value;
1274 CONTEXT new_context = *context;
1276 switch (state->cfa_rule)
1278 case RULE_EXPRESSION:
1279 cfa = *(ULONG_PTR *)eval_expression( (const unsigned char *)state->cfa_offset, context );
1280 break;
1281 case RULE_VAL_EXPRESSION:
1282 cfa = eval_expression( (const unsigned char *)state->cfa_offset, context );
1283 break;
1284 default:
1285 cfa = *(ULONG_PTR *)get_context_reg( context, state->cfa_reg ) + state->cfa_offset;
1286 break;
1288 if (!cfa) return;
1290 for (i = 0; i < NB_FRAME_REGS; i++)
1292 switch (state->rules[i])
1294 case RULE_UNSET:
1295 case RULE_UNDEFINED:
1296 case RULE_SAME:
1297 break;
1298 case RULE_CFA_OFFSET:
1299 set_context_reg( &new_context, i, (char *)cfa + state->regs[i] );
1300 break;
1301 case RULE_OTHER_REG:
1302 set_context_reg( &new_context, i, get_context_reg( context, state->regs[i] ));
1303 break;
1304 case RULE_EXPRESSION:
1305 value = eval_expression( (const unsigned char *)state->regs[i], context );
1306 set_context_reg( &new_context, i, (void *)value );
1307 break;
1308 case RULE_VAL_EXPRESSION:
1309 value = eval_expression( (const unsigned char *)state->regs[i], context );
1310 set_context_reg( &new_context, i, &value );
1311 break;
1314 new_context.Rsp = cfa;
1315 *context = new_context;
1319 /***********************************************************************
1320 * dwarf_virtual_unwind
1322 * Equivalent of RtlVirtualUnwind for builtin modules.
1324 static NTSTATUS dwarf_virtual_unwind( ULONG64 ip, ULONG64 *frame,CONTEXT *context,
1325 const struct dwarf_fde *fde, const struct dwarf_eh_bases *bases,
1326 PEXCEPTION_ROUTINE *handler, void **handler_data )
1328 const struct dwarf_cie *cie;
1329 const unsigned char *ptr, *augmentation, *end;
1330 ULONG_PTR len, code_end;
1331 struct frame_info info;
1332 struct frame_state state_stack[MAX_SAVED_STATES];
1333 int aug_z_format = 0;
1334 unsigned char lsda_encoding = DW_EH_PE_omit;
1336 memset( &info, 0, sizeof(info) );
1337 info.state_stack = state_stack;
1338 info.ip = (ULONG_PTR)bases->func;
1339 *handler = NULL;
1341 cie = (const struct dwarf_cie *)((const char *)&fde->cie_offset - fde->cie_offset);
1343 /* parse the CIE first */
1345 if (cie->version != 1 && cie->version != 3)
1347 FIXME( "unknown CIE version %u at %p\n", cie->version, cie );
1348 return STATUS_INVALID_DISPOSITION;
1350 ptr = cie->augmentation + strlen((const char *)cie->augmentation) + 1;
1352 info.code_align = dwarf_get_uleb128( &ptr );
1353 info.data_align = dwarf_get_sleb128( &ptr );
1354 if (cie->version == 1)
1355 info.retaddr_reg = *ptr++;
1356 else
1357 info.retaddr_reg = dwarf_get_uleb128( &ptr );
1358 info.state.cfa_rule = RULE_CFA_OFFSET;
1360 TRACE( "function %lx base %p cie %p len %x id %x version %x aug '%s' code_align %lu data_align %ld retaddr %s\n",
1361 ip, bases->func, cie, cie->length, cie->id, cie->version, cie->augmentation,
1362 info.code_align, info.data_align, dwarf_reg_names[info.retaddr_reg] );
1364 end = NULL;
1365 for (augmentation = cie->augmentation; *augmentation; augmentation++)
1367 switch (*augmentation)
1369 case 'z':
1370 len = dwarf_get_uleb128( &ptr );
1371 end = ptr + len;
1372 aug_z_format = 1;
1373 continue;
1374 case 'L':
1375 lsda_encoding = *ptr++;
1376 continue;
1377 case 'P':
1379 unsigned char encoding = *ptr++;
1380 *handler = (void *)dwarf_get_ptr( &ptr, encoding );
1381 continue;
1383 case 'R':
1384 info.fde_encoding = *ptr++;
1385 continue;
1386 case 'S':
1387 info.signal_frame = 1;
1388 continue;
1390 FIXME( "unknown augmentation '%c'\n", *augmentation );
1391 if (!end) return STATUS_INVALID_DISPOSITION; /* cannot continue */
1392 break;
1394 if (end) ptr = end;
1396 end = (const unsigned char *)(&cie->length + 1) + cie->length;
1397 execute_cfa_instructions( ptr, end, ip, &info );
1399 ptr = (const unsigned char *)(fde + 1);
1400 info.ip = dwarf_get_ptr( &ptr, info.fde_encoding ); /* fde code start */
1401 code_end = info.ip + dwarf_get_ptr( &ptr, info.fde_encoding & 0x0f ); /* fde code length */
1403 if (aug_z_format) /* get length of augmentation data */
1405 len = dwarf_get_uleb128( &ptr );
1406 end = ptr + len;
1408 else end = NULL;
1410 *handler_data = (void *)dwarf_get_ptr( &ptr, lsda_encoding );
1411 if (end) ptr = end;
1413 end = (const unsigned char *)(&fde->length + 1) + fde->length;
1414 TRACE( "fde %p len %x personality %p lsda %p code %lx-%lx\n",
1415 fde, fde->length, *handler, *handler_data, info.ip, code_end );
1416 execute_cfa_instructions( ptr, end, ip, &info );
1417 *frame = context->Rsp;
1418 apply_frame_state( context, &info.state );
1420 TRACE( "next function rip=%016lx\n", context->Rip );
1421 TRACE( " rax=%016lx rbx=%016lx rcx=%016lx rdx=%016lx\n",
1422 context->Rax, context->Rbx, context->Rcx, context->Rdx );
1423 TRACE( " rsi=%016lx rdi=%016lx rbp=%016lx rsp=%016lx\n",
1424 context->Rsi, context->Rdi, context->Rbp, context->Rsp );
1425 TRACE( " r8=%016lx r9=%016lx r10=%016lx r11=%016lx\n",
1426 context->R8, context->R9, context->R10, context->R11 );
1427 TRACE( " r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n",
1428 context->R12, context->R13, context->R14, context->R15 );
1430 return STATUS_SUCCESS;
1434 #if HAVE_LIBUNWIND_H
1435 /***********************************************************************
1436 * libunwind_set_cursor_from_context
1438 static int libunwind_set_cursor_from_context( unw_cursor_t *cursor, CONTEXT *context, ULONG64 ip )
1440 int rc;
1442 rc = unw_set_reg(cursor, UNW_REG_IP, ip);
1443 if (rc == UNW_ESUCCESS)
1444 rc = unw_set_reg(cursor, UNW_REG_SP, context->Rsp);
1445 if (rc == UNW_ESUCCESS)
1446 rc = unw_set_reg(cursor, UNW_X86_64_RAX, context->Rax);
1447 if (rc == UNW_ESUCCESS)
1448 rc = unw_set_reg(cursor, UNW_X86_64_RDX, context->Rdx);
1449 if (rc == UNW_ESUCCESS)
1450 rc = unw_set_reg(cursor, UNW_X86_64_RCX, context->Rcx);
1451 if (rc == UNW_ESUCCESS)
1452 rc = unw_set_reg(cursor, UNW_X86_64_RBX, context->Rbx);
1453 if (rc == UNW_ESUCCESS)
1454 rc = unw_set_reg(cursor, UNW_X86_64_RSI, context->Rsi);
1455 if (rc == UNW_ESUCCESS)
1456 rc = unw_set_reg(cursor, UNW_X86_64_RDI, context->Rdi);
1457 if (rc == UNW_ESUCCESS)
1458 rc = unw_set_reg(cursor, UNW_X86_64_RBP, context->Rbp);
1459 if (rc == UNW_ESUCCESS)
1460 rc = unw_set_reg(cursor, UNW_X86_64_R8, context->R8);
1461 if (rc == UNW_ESUCCESS)
1462 rc = unw_set_reg(cursor, UNW_X86_64_R9, context->R9);
1463 if (rc == UNW_ESUCCESS)
1464 rc = unw_set_reg(cursor, UNW_X86_64_R10, context->R10);
1465 if (rc == UNW_ESUCCESS)
1466 rc = unw_set_reg(cursor, UNW_X86_64_R11, context->R11);
1467 if (rc == UNW_ESUCCESS)
1468 rc = unw_set_reg(cursor, UNW_X86_64_R12, context->R12);
1469 if (rc == UNW_ESUCCESS)
1470 rc = unw_set_reg(cursor, UNW_X86_64_R13, context->R13);
1471 if (rc == UNW_ESUCCESS)
1472 rc = unw_set_reg(cursor, UNW_X86_64_R14, context->R14);
1473 if (rc == UNW_ESUCCESS)
1474 rc = unw_set_reg(cursor, UNW_X86_64_R15, context->R15);
1476 return rc;
1480 /***********************************************************************
1481 * libunwind_get_reg
1483 static int libunwind_get_reg( unw_cursor_t *cursor, unw_regnum_t reg, ULONG64 *val )
1485 int rc;
1486 unw_word_t word;
1488 rc = unw_get_reg(cursor, reg, &word);
1489 if (rc == UNW_ESUCCESS)
1490 *val = word;
1492 return rc;
1496 /***********************************************************************
1497 * libunwind_set_context_from_cursor
1499 static BOOL libunwind_set_context_from_cursor( CONTEXT *context, unw_cursor_t *cursor )
1501 int rc;
1503 rc = libunwind_get_reg(cursor, UNW_REG_IP, &context->Rip);
1504 if (rc == UNW_ESUCCESS)
1505 rc = libunwind_get_reg(cursor, UNW_REG_SP, &context->Rsp);
1506 if (rc == UNW_ESUCCESS)
1507 rc = libunwind_get_reg(cursor, UNW_X86_64_RAX, &context->Rax);
1508 if (rc == UNW_ESUCCESS)
1509 rc = libunwind_get_reg(cursor, UNW_X86_64_RDX, &context->Rdx);
1510 if (rc == UNW_ESUCCESS)
1511 rc = libunwind_get_reg(cursor, UNW_X86_64_RCX, &context->Rcx);
1512 if (rc == UNW_ESUCCESS)
1513 rc = libunwind_get_reg(cursor, UNW_X86_64_RBX, &context->Rbx);
1514 if (rc == UNW_ESUCCESS)
1515 rc = libunwind_get_reg(cursor, UNW_X86_64_RSI, &context->Rsi);
1516 if (rc == UNW_ESUCCESS)
1517 rc = libunwind_get_reg(cursor, UNW_X86_64_RDI, &context->Rdi);
1518 if (rc == UNW_ESUCCESS)
1519 rc = libunwind_get_reg(cursor, UNW_X86_64_RBP, &context->Rbp);
1520 if (rc == UNW_ESUCCESS)
1521 rc = libunwind_get_reg(cursor, UNW_X86_64_R8, &context->R8);
1522 if (rc == UNW_ESUCCESS)
1523 rc = libunwind_get_reg(cursor, UNW_X86_64_R9, &context->R9);
1524 if (rc == UNW_ESUCCESS)
1525 rc = libunwind_get_reg(cursor, UNW_X86_64_R10, &context->R10);
1526 if (rc == UNW_ESUCCESS)
1527 rc = libunwind_get_reg(cursor, UNW_X86_64_R11, &context->R11);
1528 if (rc == UNW_ESUCCESS)
1529 rc = libunwind_get_reg(cursor, UNW_X86_64_R12, &context->R12);
1530 if (rc == UNW_ESUCCESS)
1531 rc = libunwind_get_reg(cursor, UNW_X86_64_R13, &context->R13);
1532 if (rc == UNW_ESUCCESS)
1533 rc = libunwind_get_reg(cursor, UNW_X86_64_R14, &context->R14);
1534 if (rc == UNW_ESUCCESS)
1535 rc = libunwind_get_reg(cursor, UNW_X86_64_R15, &context->R15);
1537 return rc;
1541 /***********************************************************************
1542 * libunwind_virtual_unwind
1544 * Equivalent of RtlVirtualUnwind for builtin modules.
1546 static NTSTATUS libunwind_virtual_unwind( ULONG64 ip, BOOL* got_info, ULONG64 *frame, CONTEXT *context,
1547 PEXCEPTION_ROUTINE *handler, void **handler_data )
1549 unw_context_t unw_context;
1550 unw_cursor_t cursor;
1551 unw_proc_info_t info;
1552 int rc;
1554 rc = unw_getcontext( &unw_context );
1555 if (rc == UNW_ESUCCESS)
1556 rc = unw_init_local( &cursor, &unw_context );
1557 if (rc == UNW_ESUCCESS)
1558 rc = libunwind_set_cursor_from_context( &cursor, context, ip - 1 );
1559 if (rc != UNW_ESUCCESS)
1561 WARN( "setup failed: %d\n", rc );
1562 return STATUS_INVALID_DISPOSITION;
1565 rc = unw_get_proc_info(&cursor, &info);
1566 if (rc != UNW_ESUCCESS && rc != UNW_ENOINFO)
1568 WARN( "failed to get info: %d\n", rc );
1569 return STATUS_INVALID_DISPOSITION;
1571 if (rc == UNW_ENOINFO || ip < info.start_ip || info.end_ip <= ip || !info.format)
1573 *got_info = FALSE;
1574 return STATUS_SUCCESS;
1577 TRACE( "ip %#lx function %#lx-%#lx personality %#lx lsda %#lx fde %#lx\n",
1578 ip, (unsigned long)info.start_ip, (unsigned long)info.end_ip, (unsigned long)info.handler,
1579 (unsigned long)info.lsda, (unsigned long)info.unwind_info );
1581 rc = unw_step(&cursor);
1582 if (rc < 0)
1584 WARN( "failed to unwind: %d\n", rc );
1585 return STATUS_INVALID_DISPOSITION;
1588 *frame = context->Rsp;
1590 rc = libunwind_set_context_from_cursor( context, &cursor );
1591 if (rc != UNW_ESUCCESS)
1593 WARN( "failed to update context after unwind: %d\n", rc );
1594 return STATUS_INVALID_DISPOSITION;
1597 *handler = (void*)info.handler;
1598 *handler_data = (void*)info.lsda;
1599 *got_info = TRUE;
1601 TRACE( "next function rip=%016lx\n", context->Rip );
1602 TRACE( " rax=%016lx rbx=%016lx rcx=%016lx rdx=%016lx\n",
1603 context->Rax, context->Rbx, context->Rcx, context->Rdx );
1604 TRACE( " rsi=%016lx rdi=%016lx rbp=%016lx rsp=%016lx\n",
1605 context->Rsi, context->Rdi, context->Rbp, context->Rsp );
1606 TRACE( " r8=%016lx r9=%016lx r10=%016lx r11=%016lx\n",
1607 context->R8, context->R9, context->R10, context->R11 );
1608 TRACE( " r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n",
1609 context->R12, context->R13, context->R14, context->R15 );
1611 return STATUS_SUCCESS;
1613 #endif
1616 /***********************************************************************
1617 * dispatch_signal
1619 static inline int dispatch_signal(unsigned int sig)
1621 if (handlers[sig] == NULL) return 0;
1622 return handlers[sig](sig);
1625 /***********************************************************************
1626 * get_signal_stack
1628 * Get the base of the signal stack for the current thread.
1630 static inline void *get_signal_stack(void)
1632 return (char *)NtCurrentTeb() + teb_size;
1635 /***********************************************************************
1636 * is_inside_signal_stack
1638 * Check if pointer is inside the signal stack.
1640 static inline BOOL is_inside_signal_stack( void *ptr )
1642 return ((char *)ptr >= (char *)get_signal_stack() &&
1643 (char *)ptr < (char *)get_signal_stack() + signal_stack_size);
1646 /***********************************************************************
1647 * save_context
1649 * Set the register values from a sigcontext.
1651 static void save_context( CONTEXT *context, const ucontext_t *sigcontext )
1653 context->ContextFlags = CONTEXT_CONTROL | CONTEXT_INTEGER | CONTEXT_SEGMENTS;
1654 context->Rax = RAX_sig(sigcontext);
1655 context->Rcx = RCX_sig(sigcontext);
1656 context->Rdx = RDX_sig(sigcontext);
1657 context->Rbx = RBX_sig(sigcontext);
1658 context->Rsp = RSP_sig(sigcontext);
1659 context->Rbp = RBP_sig(sigcontext);
1660 context->Rsi = RSI_sig(sigcontext);
1661 context->Rdi = RDI_sig(sigcontext);
1662 context->R8 = R8_sig(sigcontext);
1663 context->R9 = R9_sig(sigcontext);
1664 context->R10 = R10_sig(sigcontext);
1665 context->R11 = R11_sig(sigcontext);
1666 context->R12 = R12_sig(sigcontext);
1667 context->R13 = R13_sig(sigcontext);
1668 context->R14 = R14_sig(sigcontext);
1669 context->R15 = R15_sig(sigcontext);
1670 context->Rip = RIP_sig(sigcontext);
1671 context->SegCs = CS_sig(sigcontext);
1672 context->SegFs = FS_sig(sigcontext);
1673 context->SegGs = GS_sig(sigcontext);
1674 context->EFlags = EFL_sig(sigcontext);
1675 #ifdef DS_sig
1676 context->SegDs = DS_sig(sigcontext);
1677 #else
1678 __asm__("movw %%ds,%0" : "=m" (context->SegDs));
1679 #endif
1680 #ifdef ES_sig
1681 context->SegEs = ES_sig(sigcontext);
1682 #else
1683 __asm__("movw %%es,%0" : "=m" (context->SegEs));
1684 #endif
1685 #ifdef SS_sig
1686 context->SegSs = SS_sig(sigcontext);
1687 #else
1688 __asm__("movw %%ss,%0" : "=m" (context->SegSs));
1689 #endif
1690 if (FPU_sig(sigcontext))
1692 context->ContextFlags |= CONTEXT_FLOATING_POINT;
1693 context->u.FltSave = *FPU_sig(sigcontext);
1694 context->MxCsr = context->u.FltSave.MxCsr;
1699 /***********************************************************************
1700 * restore_context
1702 * Build a sigcontext from the register values.
1704 static void restore_context( const CONTEXT *context, ucontext_t *sigcontext )
1706 RAX_sig(sigcontext) = context->Rax;
1707 RCX_sig(sigcontext) = context->Rcx;
1708 RDX_sig(sigcontext) = context->Rdx;
1709 RBX_sig(sigcontext) = context->Rbx;
1710 RSP_sig(sigcontext) = context->Rsp;
1711 RBP_sig(sigcontext) = context->Rbp;
1712 RSI_sig(sigcontext) = context->Rsi;
1713 RDI_sig(sigcontext) = context->Rdi;
1714 R8_sig(sigcontext) = context->R8;
1715 R9_sig(sigcontext) = context->R9;
1716 R10_sig(sigcontext) = context->R10;
1717 R11_sig(sigcontext) = context->R11;
1718 R12_sig(sigcontext) = context->R12;
1719 R13_sig(sigcontext) = context->R13;
1720 R14_sig(sigcontext) = context->R14;
1721 R15_sig(sigcontext) = context->R15;
1722 RIP_sig(sigcontext) = context->Rip;
1723 CS_sig(sigcontext) = context->SegCs;
1724 FS_sig(sigcontext) = context->SegFs;
1725 GS_sig(sigcontext) = context->SegGs;
1726 EFL_sig(sigcontext) = context->EFlags;
1727 #ifdef DS_sig
1728 DS_sig(sigcontext) = context->SegDs;
1729 #endif
1730 #ifdef ES_sig
1731 ES_sig(sigcontext) = context->SegEs;
1732 #endif
1733 #ifdef SS_sig
1734 SS_sig(sigcontext) = context->SegSs;
1735 #endif
1736 if (FPU_sig(sigcontext)) *FPU_sig(sigcontext) = context->u.FltSave;
1740 /**************************************************************************
1741 * __chkstk (NTDLL.@)
1743 * Supposed to touch all the stack pages, but we shouldn't need that.
1745 __ASM_GLOBAL_FUNC( __chkstk, "ret" );
1748 /***********************************************************************
1749 * RtlCaptureContext (NTDLL.@)
1751 __ASM_GLOBAL_FUNC( RtlCaptureContext,
1752 "pushfq\n\t"
1753 __ASM_CFI(".cfi_adjust_cfa_offset 8\n\t")
1754 "movl $0x001000f,0x30(%rcx)\n\t" /* context->ContextFlags */
1755 "stmxcsr 0x34(%rcx)\n\t" /* context->MxCsr */
1756 "movw %cs,0x38(%rcx)\n\t" /* context->SegCs */
1757 "movw %ds,0x3a(%rcx)\n\t" /* context->SegDs */
1758 "movw %es,0x3c(%rcx)\n\t" /* context->SegEs */
1759 "movw %fs,0x3e(%rcx)\n\t" /* context->SegFs */
1760 "movw %gs,0x40(%rcx)\n\t" /* context->SegGs */
1761 "movw %ss,0x42(%rcx)\n\t" /* context->SegSs */
1762 "popq 0x44(%rcx)\n\t" /* context->Eflags */
1763 __ASM_CFI(".cfi_adjust_cfa_offset -8\n\t")
1764 "movq %rax,0x78(%rcx)\n\t" /* context->Rax */
1765 "movq %rcx,0x80(%rcx)\n\t" /* context->Rcx */
1766 "movq %rdx,0x88(%rcx)\n\t" /* context->Rdx */
1767 "movq %rbx,0x90(%rcx)\n\t" /* context->Rbx */
1768 "leaq 8(%rsp),%rax\n\t"
1769 "movq %rax,0x98(%rcx)\n\t" /* context->Rsp */
1770 "movq %rbp,0xa0(%rcx)\n\t" /* context->Rbp */
1771 "movq %rsi,0xa8(%rcx)\n\t" /* context->Rsi */
1772 "movq %rdi,0xb0(%rcx)\n\t" /* context->Rdi */
1773 "movq %r8,0xb8(%rcx)\n\t" /* context->R8 */
1774 "movq %r9,0xc0(%rcx)\n\t" /* context->R9 */
1775 "movq %r10,0xc8(%rcx)\n\t" /* context->R10 */
1776 "movq %r11,0xd0(%rcx)\n\t" /* context->R11 */
1777 "movq %r12,0xd8(%rcx)\n\t" /* context->R12 */
1778 "movq %r13,0xe0(%rcx)\n\t" /* context->R13 */
1779 "movq %r14,0xe8(%rcx)\n\t" /* context->R14 */
1780 "movq %r15,0xf0(%rcx)\n\t" /* context->R15 */
1781 "movq (%rsp),%rax\n\t"
1782 "movq %rax,0xf8(%rcx)\n\t" /* context->Rip */
1783 "fxsave 0x100(%rcx)\n\t" /* context->FtlSave */
1784 "movdqa %xmm0,0x1a0(%rcx)\n\t" /* context->Xmm0 */
1785 "movdqa %xmm1,0x1b0(%rcx)\n\t" /* context->Xmm1 */
1786 "movdqa %xmm2,0x1c0(%rcx)\n\t" /* context->Xmm2 */
1787 "movdqa %xmm3,0x1d0(%rcx)\n\t" /* context->Xmm3 */
1788 "movdqa %xmm4,0x1e0(%rcx)\n\t" /* context->Xmm4 */
1789 "movdqa %xmm5,0x1f0(%rcx)\n\t" /* context->Xmm5 */
1790 "movdqa %xmm6,0x200(%rcx)\n\t" /* context->Xmm6 */
1791 "movdqa %xmm7,0x210(%rcx)\n\t" /* context->Xmm7 */
1792 "movdqa %xmm8,0x220(%rcx)\n\t" /* context->Xmm8 */
1793 "movdqa %xmm9,0x230(%rcx)\n\t" /* context->Xmm9 */
1794 "movdqa %xmm10,0x240(%rcx)\n\t" /* context->Xmm10 */
1795 "movdqa %xmm11,0x250(%rcx)\n\t" /* context->Xmm11 */
1796 "movdqa %xmm12,0x260(%rcx)\n\t" /* context->Xmm12 */
1797 "movdqa %xmm13,0x270(%rcx)\n\t" /* context->Xmm13 */
1798 "movdqa %xmm14,0x280(%rcx)\n\t" /* context->Xmm14 */
1799 "movdqa %xmm15,0x290(%rcx)\n\t" /* context->Xmm15 */
1800 "ret" );
1802 /***********************************************************************
1803 * set_cpu_context
1805 * Set the new CPU context.
1807 __ASM_GLOBAL_FUNC( set_cpu_context,
1808 "subq $40,%rsp\n\t"
1809 __ASM_CFI(".cfi_adjust_cfa_offset 40\n\t")
1810 "ldmxcsr 0x34(%rdi)\n\t" /* context->MxCsr */
1811 "movw 0x38(%rdi),%ax\n\t" /* context->SegCs */
1812 "movq %rax,8(%rsp)\n\t"
1813 "movw 0x42(%rdi),%ax\n\t" /* context->SegSs */
1814 "movq %rax,32(%rsp)\n\t"
1815 "movq 0x44(%rdi),%rax\n\t" /* context->Eflags */
1816 "movq %rax,16(%rsp)\n\t"
1817 "movq 0x80(%rdi),%rcx\n\t" /* context->Rcx */
1818 "movq 0x88(%rdi),%rdx\n\t" /* context->Rdx */
1819 "movq 0x90(%rdi),%rbx\n\t" /* context->Rbx */
1820 "movq 0x98(%rdi),%rax\n\t" /* context->Rsp */
1821 "movq %rax,24(%rsp)\n\t"
1822 "movq 0xa0(%rdi),%rbp\n\t" /* context->Rbp */
1823 "movq 0xa8(%rdi),%rsi\n\t" /* context->Rsi */
1824 "movq 0xb8(%rdi),%r8\n\t" /* context->R8 */
1825 "movq 0xc0(%rdi),%r9\n\t" /* context->R9 */
1826 "movq 0xc8(%rdi),%r10\n\t" /* context->R10 */
1827 "movq 0xd0(%rdi),%r11\n\t" /* context->R11 */
1828 "movq 0xd8(%rdi),%r12\n\t" /* context->R12 */
1829 "movq 0xe0(%rdi),%r13\n\t" /* context->R13 */
1830 "movq 0xe8(%rdi),%r14\n\t" /* context->R14 */
1831 "movq 0xf0(%rdi),%r15\n\t" /* context->R15 */
1832 "movq 0xf8(%rdi),%rax\n\t" /* context->Rip */
1833 "movq %rax,(%rsp)\n\t"
1834 "fxrstor 0x100(%rdi)\n\t" /* context->FtlSave */
1835 "movdqa 0x1a0(%rdi),%xmm0\n\t" /* context->Xmm0 */
1836 "movdqa 0x1b0(%rdi),%xmm1\n\t" /* context->Xmm1 */
1837 "movdqa 0x1c0(%rdi),%xmm2\n\t" /* context->Xmm2 */
1838 "movdqa 0x1d0(%rdi),%xmm3\n\t" /* context->Xmm3 */
1839 "movdqa 0x1e0(%rdi),%xmm4\n\t" /* context->Xmm4 */
1840 "movdqa 0x1f0(%rdi),%xmm5\n\t" /* context->Xmm5 */
1841 "movdqa 0x200(%rdi),%xmm6\n\t" /* context->Xmm6 */
1842 "movdqa 0x210(%rdi),%xmm7\n\t" /* context->Xmm7 */
1843 "movdqa 0x220(%rdi),%xmm8\n\t" /* context->Xmm8 */
1844 "movdqa 0x230(%rdi),%xmm9\n\t" /* context->Xmm9 */
1845 "movdqa 0x240(%rdi),%xmm10\n\t" /* context->Xmm10 */
1846 "movdqa 0x250(%rdi),%xmm11\n\t" /* context->Xmm11 */
1847 "movdqa 0x260(%rdi),%xmm12\n\t" /* context->Xmm12 */
1848 "movdqa 0x270(%rdi),%xmm13\n\t" /* context->Xmm13 */
1849 "movdqa 0x280(%rdi),%xmm14\n\t" /* context->Xmm14 */
1850 "movdqa 0x290(%rdi),%xmm15\n\t" /* context->Xmm15 */
1851 "movq 0x78(%rdi),%rax\n\t" /* context->Rax */
1852 "movq 0xb0(%rdi),%rdi\n\t" /* context->Rdi */
1853 "iretq" );
1855 /***********************************************************************
1856 * copy_context
1858 * Copy a register context according to the flags.
1860 void copy_context( CONTEXT *to, const CONTEXT *from, DWORD flags )
1862 flags &= ~CONTEXT_AMD64; /* get rid of CPU id */
1863 if (flags & CONTEXT_CONTROL)
1865 to->Rbp = from->Rbp;
1866 to->Rip = from->Rip;
1867 to->Rsp = from->Rsp;
1868 to->SegCs = from->SegCs;
1869 to->SegSs = from->SegSs;
1870 to->EFlags = from->EFlags;
1872 if (flags & CONTEXT_INTEGER)
1874 to->Rax = from->Rax;
1875 to->Rcx = from->Rcx;
1876 to->Rdx = from->Rdx;
1877 to->Rbx = from->Rbx;
1878 to->Rsi = from->Rsi;
1879 to->Rdi = from->Rdi;
1880 to->R8 = from->R8;
1881 to->R9 = from->R9;
1882 to->R10 = from->R10;
1883 to->R11 = from->R11;
1884 to->R12 = from->R12;
1885 to->R13 = from->R13;
1886 to->R14 = from->R14;
1887 to->R15 = from->R15;
1889 if (flags & CONTEXT_SEGMENTS)
1891 to->SegDs = from->SegDs;
1892 to->SegEs = from->SegEs;
1893 to->SegFs = from->SegFs;
1894 to->SegGs = from->SegGs;
1896 if (flags & CONTEXT_FLOATING_POINT)
1898 to->MxCsr = from->MxCsr;
1899 to->u.FltSave = from->u.FltSave;
1901 if (flags & CONTEXT_DEBUG_REGISTERS)
1903 to->Dr0 = from->Dr0;
1904 to->Dr1 = from->Dr1;
1905 to->Dr2 = from->Dr2;
1906 to->Dr3 = from->Dr3;
1907 to->Dr6 = from->Dr6;
1908 to->Dr7 = from->Dr7;
1913 /***********************************************************************
1914 * context_to_server
1916 * Convert a register context to the server format.
1918 NTSTATUS context_to_server( context_t *to, const CONTEXT *from )
1920 DWORD flags = from->ContextFlags & ~CONTEXT_AMD64; /* get rid of CPU id */
1922 memset( to, 0, sizeof(*to) );
1923 to->cpu = CPU_x86_64;
1925 if (flags & CONTEXT_CONTROL)
1927 to->flags |= SERVER_CTX_CONTROL;
1928 to->ctl.x86_64_regs.rbp = from->Rbp;
1929 to->ctl.x86_64_regs.rip = from->Rip;
1930 to->ctl.x86_64_regs.rsp = from->Rsp;
1931 to->ctl.x86_64_regs.cs = from->SegCs;
1932 to->ctl.x86_64_regs.ss = from->SegSs;
1933 to->ctl.x86_64_regs.flags = from->EFlags;
1935 if (flags & CONTEXT_INTEGER)
1937 to->flags |= SERVER_CTX_INTEGER;
1938 to->integer.x86_64_regs.rax = from->Rax;
1939 to->integer.x86_64_regs.rcx = from->Rcx;
1940 to->integer.x86_64_regs.rdx = from->Rdx;
1941 to->integer.x86_64_regs.rbx = from->Rbx;
1942 to->integer.x86_64_regs.rsi = from->Rsi;
1943 to->integer.x86_64_regs.rdi = from->Rdi;
1944 to->integer.x86_64_regs.r8 = from->R8;
1945 to->integer.x86_64_regs.r9 = from->R9;
1946 to->integer.x86_64_regs.r10 = from->R10;
1947 to->integer.x86_64_regs.r11 = from->R11;
1948 to->integer.x86_64_regs.r12 = from->R12;
1949 to->integer.x86_64_regs.r13 = from->R13;
1950 to->integer.x86_64_regs.r14 = from->R14;
1951 to->integer.x86_64_regs.r15 = from->R15;
1953 if (flags & CONTEXT_SEGMENTS)
1955 to->flags |= SERVER_CTX_SEGMENTS;
1956 to->seg.x86_64_regs.ds = from->SegDs;
1957 to->seg.x86_64_regs.es = from->SegEs;
1958 to->seg.x86_64_regs.fs = from->SegFs;
1959 to->seg.x86_64_regs.gs = from->SegGs;
1961 if (flags & CONTEXT_FLOATING_POINT)
1963 to->flags |= SERVER_CTX_FLOATING_POINT;
1964 memcpy( to->fp.x86_64_regs.fpregs, &from->u.FltSave, sizeof(to->fp.x86_64_regs.fpregs) );
1966 if (flags & CONTEXT_DEBUG_REGISTERS)
1968 to->flags |= SERVER_CTX_DEBUG_REGISTERS;
1969 to->debug.x86_64_regs.dr0 = from->Dr0;
1970 to->debug.x86_64_regs.dr1 = from->Dr1;
1971 to->debug.x86_64_regs.dr2 = from->Dr2;
1972 to->debug.x86_64_regs.dr3 = from->Dr3;
1973 to->debug.x86_64_regs.dr6 = from->Dr6;
1974 to->debug.x86_64_regs.dr7 = from->Dr7;
1976 return STATUS_SUCCESS;
1980 /***********************************************************************
1981 * context_from_server
1983 * Convert a register context from the server format.
1985 NTSTATUS context_from_server( CONTEXT *to, const context_t *from )
1987 if (from->cpu != CPU_x86_64) return STATUS_INVALID_PARAMETER;
1989 to->ContextFlags = CONTEXT_AMD64;
1990 if (from->flags & SERVER_CTX_CONTROL)
1992 to->ContextFlags |= CONTEXT_CONTROL;
1993 to->Rbp = from->ctl.x86_64_regs.rbp;
1994 to->Rip = from->ctl.x86_64_regs.rip;
1995 to->Rsp = from->ctl.x86_64_regs.rsp;
1996 to->SegCs = from->ctl.x86_64_regs.cs;
1997 to->SegSs = from->ctl.x86_64_regs.ss;
1998 to->EFlags = from->ctl.x86_64_regs.flags;
2001 if (from->flags & SERVER_CTX_INTEGER)
2003 to->ContextFlags |= CONTEXT_INTEGER;
2004 to->Rax = from->integer.x86_64_regs.rax;
2005 to->Rcx = from->integer.x86_64_regs.rcx;
2006 to->Rdx = from->integer.x86_64_regs.rdx;
2007 to->Rbx = from->integer.x86_64_regs.rbx;
2008 to->Rsi = from->integer.x86_64_regs.rsi;
2009 to->Rdi = from->integer.x86_64_regs.rdi;
2010 to->R8 = from->integer.x86_64_regs.r8;
2011 to->R9 = from->integer.x86_64_regs.r9;
2012 to->R10 = from->integer.x86_64_regs.r10;
2013 to->R11 = from->integer.x86_64_regs.r11;
2014 to->R12 = from->integer.x86_64_regs.r12;
2015 to->R13 = from->integer.x86_64_regs.r13;
2016 to->R14 = from->integer.x86_64_regs.r14;
2017 to->R15 = from->integer.x86_64_regs.r15;
2019 if (from->flags & SERVER_CTX_SEGMENTS)
2021 to->ContextFlags |= CONTEXT_SEGMENTS;
2022 to->SegDs = from->seg.x86_64_regs.ds;
2023 to->SegEs = from->seg.x86_64_regs.es;
2024 to->SegFs = from->seg.x86_64_regs.fs;
2025 to->SegGs = from->seg.x86_64_regs.gs;
2027 if (from->flags & SERVER_CTX_FLOATING_POINT)
2029 to->ContextFlags |= CONTEXT_FLOATING_POINT;
2030 memcpy( &to->u.FltSave, from->fp.x86_64_regs.fpregs, sizeof(from->fp.x86_64_regs.fpregs) );
2031 to->MxCsr = to->u.FltSave.MxCsr;
2033 if (from->flags & SERVER_CTX_DEBUG_REGISTERS)
2035 to->ContextFlags |= CONTEXT_DEBUG_REGISTERS;
2036 to->Dr0 = from->debug.x86_64_regs.dr0;
2037 to->Dr1 = from->debug.x86_64_regs.dr1;
2038 to->Dr2 = from->debug.x86_64_regs.dr2;
2039 to->Dr3 = from->debug.x86_64_regs.dr3;
2040 to->Dr6 = from->debug.x86_64_regs.dr6;
2041 to->Dr7 = from->debug.x86_64_regs.dr7;
2043 return STATUS_SUCCESS;
2047 extern void raise_func_trampoline( EXCEPTION_RECORD *rec, CONTEXT *context, raise_func func );
2048 __ASM_GLOBAL_FUNC( raise_func_trampoline,
2049 __ASM_CFI(".cfi_signal_frame\n\t")
2050 __ASM_CFI(".cfi_def_cfa %rbp,144\n\t") /* red zone + rip + rbp */
2051 __ASM_CFI(".cfi_rel_offset %rip,8\n\t")
2052 __ASM_CFI(".cfi_rel_offset %rbp,0\n\t")
2053 "call *%rdx\n\t"
2054 "int $3")
2056 /***********************************************************************
2057 * setup_exception
2059 * Setup a proper stack frame for the raise function, and modify the
2060 * sigcontext so that the return from the signal handler will call
2061 * the raise function.
2063 static EXCEPTION_RECORD *setup_exception( ucontext_t *sigcontext, raise_func func )
2065 struct stack_layout
2067 CONTEXT context;
2068 EXCEPTION_RECORD rec;
2069 ULONG64 rbp;
2070 ULONG64 rip;
2071 ULONG64 red_zone[16];
2072 } *stack;
2073 ULONG64 *rsp_ptr;
2074 DWORD exception_code = 0;
2076 stack = (struct stack_layout *)(RSP_sig(sigcontext) & ~15);
2078 /* stack sanity checks */
2080 if (is_inside_signal_stack( stack ))
2082 ERR( "nested exception on signal stack in thread %04x eip %016lx esp %016lx stack %p-%p\n",
2083 GetCurrentThreadId(), (ULONG_PTR)RIP_sig(sigcontext), (ULONG_PTR)RSP_sig(sigcontext),
2084 NtCurrentTeb()->Tib.StackLimit, NtCurrentTeb()->Tib.StackBase );
2085 abort_thread(1);
2088 if (stack - 1 > stack || /* check for overflow in subtraction */
2089 (char *)stack <= (char *)NtCurrentTeb()->DeallocationStack ||
2090 (char *)stack > (char *)NtCurrentTeb()->Tib.StackBase)
2092 WARN( "exception outside of stack limits in thread %04x eip %016lx esp %016lx stack %p-%p\n",
2093 GetCurrentThreadId(), (ULONG_PTR)RIP_sig(sigcontext), (ULONG_PTR)RSP_sig(sigcontext),
2094 NtCurrentTeb()->Tib.StackLimit, NtCurrentTeb()->Tib.StackBase );
2096 else if ((char *)(stack - 1) < (char *)NtCurrentTeb()->DeallocationStack + 4096)
2098 /* stack overflow on last page, unrecoverable */
2099 UINT diff = (char *)NtCurrentTeb()->DeallocationStack + 4096 - (char *)(stack - 1);
2100 ERR( "stack overflow %u bytes in thread %04x eip %016lx esp %016lx stack %p-%p-%p\n",
2101 diff, GetCurrentThreadId(), (ULONG_PTR)RIP_sig(sigcontext),
2102 (ULONG_PTR)RSP_sig(sigcontext), NtCurrentTeb()->DeallocationStack,
2103 NtCurrentTeb()->Tib.StackLimit, NtCurrentTeb()->Tib.StackBase );
2104 abort_thread(1);
2106 else if ((char *)(stack - 1) < (char *)NtCurrentTeb()->Tib.StackLimit)
2108 /* stack access below stack limit, may be recoverable */
2109 if (virtual_handle_stack_fault( stack - 1 )) exception_code = EXCEPTION_STACK_OVERFLOW;
2110 else
2112 UINT diff = (char *)NtCurrentTeb()->Tib.StackLimit - (char *)(stack - 1);
2113 ERR( "stack overflow %u bytes in thread %04x eip %016lx esp %016lx stack %p-%p-%p\n",
2114 diff, GetCurrentThreadId(), (ULONG_PTR)RIP_sig(sigcontext),
2115 (ULONG_PTR)RSP_sig(sigcontext), NtCurrentTeb()->DeallocationStack,
2116 NtCurrentTeb()->Tib.StackLimit, NtCurrentTeb()->Tib.StackBase );
2117 abort_thread(1);
2121 stack--; /* push the stack_layout structure */
2122 #if defined(VALGRIND_MAKE_MEM_UNDEFINED)
2123 VALGRIND_MAKE_MEM_UNDEFINED(stack, sizeof(*stack));
2124 #elif defined(VALGRIND_MAKE_WRITABLE)
2125 VALGRIND_MAKE_WRITABLE(stack, sizeof(*stack));
2126 #endif
2127 stack->rec.ExceptionRecord = NULL;
2128 stack->rec.ExceptionCode = exception_code;
2129 stack->rec.ExceptionFlags = EXCEPTION_CONTINUABLE;
2130 stack->rec.ExceptionAddress = (void *)RIP_sig(sigcontext);
2131 stack->rec.NumberParameters = 0;
2132 save_context( &stack->context, sigcontext );
2134 /* store return address and %rbp without aligning, so that the offset is fixed */
2135 rsp_ptr = (ULONG64 *)RSP_sig(sigcontext) - 16;
2136 *(--rsp_ptr) = RIP_sig(sigcontext);
2137 *(--rsp_ptr) = RBP_sig(sigcontext);
2139 /* now modify the sigcontext to return to the raise function */
2140 RIP_sig(sigcontext) = (ULONG_PTR)raise_func_trampoline;
2141 RDI_sig(sigcontext) = (ULONG_PTR)&stack->rec;
2142 RSI_sig(sigcontext) = (ULONG_PTR)&stack->context;
2143 RDX_sig(sigcontext) = (ULONG_PTR)func;
2144 RBP_sig(sigcontext) = (ULONG_PTR)rsp_ptr;
2145 RSP_sig(sigcontext) = (ULONG_PTR)stack;
2146 /* clear single-step, direction, and align check flag */
2147 EFL_sig(sigcontext) &= ~(0x100|0x400|0x40000);
2149 return &stack->rec;
2153 /**********************************************************************
2154 * find_function_info
2156 static RUNTIME_FUNCTION *find_function_info( ULONG64 pc, HMODULE module,
2157 RUNTIME_FUNCTION *func, ULONG size )
2159 int min = 0;
2160 int max = size/sizeof(*func) - 1;
2162 while (min <= max)
2164 int pos = (min + max) / 2;
2165 if ((char *)pc < (char *)module + func[pos].BeginAddress) max = pos - 1;
2166 else if ((char *)pc >= (char *)module + func[pos].EndAddress) min = pos + 1;
2167 else
2169 func += pos;
2170 while (func->UnwindData & 1) /* follow chained entry */
2171 func = (RUNTIME_FUNCTION *)((char *)module + (func->UnwindData & ~1));
2172 return func;
2175 return NULL;
2178 /**********************************************************************
2179 * lookup_function_info
2181 static RUNTIME_FUNCTION *lookup_function_info( ULONG64 pc, ULONG64 *base, LDR_MODULE **module )
2183 RUNTIME_FUNCTION *func = NULL;
2184 struct dynamic_unwind_entry *entry;
2185 ULONG size;
2187 /* PE module or wine module */
2188 if (!LdrFindEntryForAddress( (void *)pc, module ))
2190 *base = (ULONG64)(*module)->BaseAddress;
2191 if ((func = RtlImageDirectoryEntryToData( (*module)->BaseAddress, TRUE,
2192 IMAGE_DIRECTORY_ENTRY_EXCEPTION, &size )))
2194 /* lookup in function table */
2195 func = find_function_info( pc, (*module)->BaseAddress, func, size );
2198 else
2200 *module = NULL;
2202 RtlEnterCriticalSection( &dynamic_unwind_section );
2203 LIST_FOR_EACH_ENTRY( entry, &dynamic_unwind_list, struct dynamic_unwind_entry, entry )
2205 if (pc >= entry->base && pc < entry->base + entry->size)
2207 *base = entry->base;
2209 /* use callback or lookup in function table */
2210 if (entry->callback)
2211 func = entry->callback( pc, entry->context );
2212 else
2213 func = find_function_info( pc, (HMODULE)entry->base, entry->table, entry->table_size );
2214 break;
2217 RtlLeaveCriticalSection( &dynamic_unwind_section );
2220 return func;
2223 /**********************************************************************
2224 * call_handler
2226 * Call a single exception handler.
2227 * FIXME: Handle nested exceptions.
2229 static NTSTATUS call_handler( EXCEPTION_RECORD *rec, DISPATCHER_CONTEXT *dispatch, CONTEXT *orig_context )
2231 DWORD res;
2233 dispatch->ControlPc = dispatch->ContextRecord->Rip;
2235 TRACE( "calling handler %p (rec=%p, frame=0x%lx context=%p, dispatch=%p)\n",
2236 dispatch->LanguageHandler, rec, dispatch->EstablisherFrame, dispatch->ContextRecord, dispatch );
2237 res = dispatch->LanguageHandler( rec, dispatch->EstablisherFrame, dispatch->ContextRecord, dispatch );
2238 TRACE( "handler at %p returned %u\n", dispatch->LanguageHandler, res );
2240 switch (res)
2242 case ExceptionContinueExecution:
2243 if (rec->ExceptionFlags & EH_NONCONTINUABLE) return STATUS_NONCONTINUABLE_EXCEPTION;
2244 *orig_context = *dispatch->ContextRecord;
2245 return STATUS_SUCCESS;
2246 case ExceptionContinueSearch:
2247 break;
2248 case ExceptionNestedException:
2249 break;
2250 default:
2251 return STATUS_INVALID_DISPOSITION;
2253 return STATUS_UNHANDLED_EXCEPTION;
2257 /**********************************************************************
2258 * call_teb_handler
2260 * Call a single exception handler from the TEB chain.
2261 * FIXME: Handle nested exceptions.
2263 static NTSTATUS call_teb_handler( EXCEPTION_RECORD *rec, DISPATCHER_CONTEXT *dispatch,
2264 EXCEPTION_REGISTRATION_RECORD *teb_frame, CONTEXT *orig_context )
2266 EXCEPTION_REGISTRATION_RECORD *dispatcher;
2267 DWORD res;
2269 TRACE( "calling TEB handler %p (rec=%p, frame=%p context=%p, dispatcher=%p)\n",
2270 teb_frame->Handler, rec, teb_frame, dispatch->ContextRecord, &dispatcher );
2271 res = teb_frame->Handler( rec, teb_frame, dispatch->ContextRecord, &dispatcher );
2272 TRACE( "handler at %p returned %u\n", teb_frame->Handler, res );
2274 switch (res)
2276 case ExceptionContinueExecution:
2277 if (rec->ExceptionFlags & EH_NONCONTINUABLE) return STATUS_NONCONTINUABLE_EXCEPTION;
2278 *orig_context = *dispatch->ContextRecord;
2279 return STATUS_SUCCESS;
2280 case ExceptionContinueSearch:
2281 break;
2282 case ExceptionNestedException:
2283 break;
2284 default:
2285 return STATUS_INVALID_DISPOSITION;
2287 return STATUS_UNHANDLED_EXCEPTION;
2291 /**********************************************************************
2292 * call_stack_handlers
2294 * Call the stack handlers chain.
2296 static NTSTATUS call_stack_handlers( EXCEPTION_RECORD *rec, CONTEXT *orig_context )
2298 EXCEPTION_REGISTRATION_RECORD *teb_frame = NtCurrentTeb()->Tib.ExceptionList;
2299 UNWIND_HISTORY_TABLE table;
2300 DISPATCHER_CONTEXT dispatch;
2301 CONTEXT context, new_context;
2302 LDR_MODULE *module;
2303 NTSTATUS status;
2305 context = *orig_context;
2306 dispatch.TargetIp = 0;
2307 dispatch.ContextRecord = &context;
2308 dispatch.HistoryTable = &table;
2309 dispatch.ScopeIndex = 0; /* FIXME */
2310 for (;;)
2312 new_context = context;
2314 /* FIXME: should use the history table to make things faster */
2316 dispatch.ImageBase = 0;
2318 /* first look for PE exception information */
2320 if ((dispatch.FunctionEntry = lookup_function_info( context.Rip, &dispatch.ImageBase, &module )))
2322 dispatch.LanguageHandler = RtlVirtualUnwind( UNW_FLAG_EHANDLER, dispatch.ImageBase,
2323 context.Rip, dispatch.FunctionEntry,
2324 &new_context, &dispatch.HandlerData,
2325 &dispatch.EstablisherFrame, NULL );
2326 goto unwind_done;
2329 /* then look for host system exception information */
2331 if (!module || (module->Flags & LDR_WINE_INTERNAL))
2333 BOOL got_info = FALSE;
2334 struct dwarf_eh_bases bases;
2335 const struct dwarf_fde *fde = _Unwind_Find_FDE( (void *)(context.Rip - 1), &bases );
2337 if (fde)
2339 status = dwarf_virtual_unwind( context.Rip, &dispatch.EstablisherFrame, &new_context,
2340 fde, &bases, &dispatch.LanguageHandler, &dispatch.HandlerData );
2341 if (status != STATUS_SUCCESS) return status;
2342 got_info = TRUE;
2344 #if HAVE_LIBUNWIND_H
2345 else
2347 status = libunwind_virtual_unwind( context.Rip, &got_info, &dispatch.EstablisherFrame, &new_context,
2348 &dispatch.LanguageHandler, &dispatch.HandlerData );
2349 if (status != STATUS_SUCCESS) return status;
2351 #endif
2353 if (got_info)
2355 dispatch.FunctionEntry = NULL;
2356 if (dispatch.LanguageHandler && !module)
2358 FIXME( "calling personality routine in system library not supported yet\n" );
2359 dispatch.LanguageHandler = NULL;
2361 goto unwind_done;
2364 else WARN( "exception data not found in %s\n", debugstr_w(module->BaseDllName.Buffer) );
2366 /* no exception information, treat as a leaf function */
2368 new_context.Rip = *(ULONG64 *)context.Rsp;
2369 new_context.Rsp = context.Rsp + sizeof(ULONG64);
2370 dispatch.EstablisherFrame = new_context.Rsp;
2371 dispatch.LanguageHandler = NULL;
2373 unwind_done:
2374 if (!dispatch.EstablisherFrame) break;
2376 if ((dispatch.EstablisherFrame & 7) ||
2377 dispatch.EstablisherFrame < (ULONG64)NtCurrentTeb()->Tib.StackLimit ||
2378 dispatch.EstablisherFrame > (ULONG64)NtCurrentTeb()->Tib.StackBase)
2380 ERR( "invalid frame %lx (%p-%p)\n", dispatch.EstablisherFrame,
2381 NtCurrentTeb()->Tib.StackLimit, NtCurrentTeb()->Tib.StackBase );
2382 rec->ExceptionFlags |= EH_STACK_INVALID;
2383 break;
2386 if (dispatch.LanguageHandler)
2388 status = call_handler( rec, &dispatch, orig_context );
2389 if (status != STATUS_UNHANDLED_EXCEPTION) return status;
2391 /* hack: call wine handlers registered in the tib list */
2392 else while ((ULONG64)teb_frame < new_context.Rsp)
2394 TRACE( "found wine frame %p rsp %lx handler %p\n",
2395 teb_frame, new_context.Rsp, teb_frame->Handler );
2396 dispatch.EstablisherFrame = (ULONG64)teb_frame;
2397 context = *orig_context;
2398 status = call_teb_handler( rec, &dispatch, teb_frame, orig_context );
2399 if (status != STATUS_UNHANDLED_EXCEPTION) return status;
2400 teb_frame = teb_frame->Prev;
2403 if (new_context.Rsp == (ULONG64)NtCurrentTeb()->Tib.StackBase) break;
2404 context = new_context;
2406 return STATUS_UNHANDLED_EXCEPTION;
2410 /*******************************************************************
2411 * raise_exception
2413 * Implementation of NtRaiseException.
2415 static NTSTATUS raise_exception( EXCEPTION_RECORD *rec, CONTEXT *context, BOOL first_chance )
2417 NTSTATUS status;
2419 if (first_chance)
2421 DWORD c;
2423 TRACE( "code=%x flags=%x addr=%p ip=%lx tid=%04x\n",
2424 rec->ExceptionCode, rec->ExceptionFlags, rec->ExceptionAddress,
2425 context->Rip, GetCurrentThreadId() );
2426 for (c = 0; c < min( EXCEPTION_MAXIMUM_PARAMETERS, rec->NumberParameters ); c++)
2427 TRACE( " info[%d]=%016lx\n", c, rec->ExceptionInformation[c] );
2428 if (rec->ExceptionCode == EXCEPTION_WINE_STUB)
2430 if (rec->ExceptionInformation[1] >> 16)
2431 MESSAGE( "wine: Call from %p to unimplemented function %s.%s, aborting\n",
2432 rec->ExceptionAddress,
2433 (char*)rec->ExceptionInformation[0], (char*)rec->ExceptionInformation[1] );
2434 else
2435 MESSAGE( "wine: Call from %p to unimplemented function %s.%ld, aborting\n",
2436 rec->ExceptionAddress,
2437 (char*)rec->ExceptionInformation[0], rec->ExceptionInformation[1] );
2439 else
2441 TRACE(" rax=%016lx rbx=%016lx rcx=%016lx rdx=%016lx\n",
2442 context->Rax, context->Rbx, context->Rcx, context->Rdx );
2443 TRACE(" rsi=%016lx rdi=%016lx rbp=%016lx rsp=%016lx\n",
2444 context->Rsi, context->Rdi, context->Rbp, context->Rsp );
2445 TRACE(" r8=%016lx r9=%016lx r10=%016lx r11=%016lx\n",
2446 context->R8, context->R9, context->R10, context->R11 );
2447 TRACE(" r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n",
2448 context->R12, context->R13, context->R14, context->R15 );
2450 status = send_debug_event( rec, TRUE, context );
2451 if (status == DBG_CONTINUE || status == DBG_EXCEPTION_HANDLED)
2452 return STATUS_SUCCESS;
2454 if (call_vectored_handlers( rec, context ) == EXCEPTION_CONTINUE_EXECUTION)
2455 return STATUS_SUCCESS;
2457 if ((status = call_stack_handlers( rec, context )) != STATUS_UNHANDLED_EXCEPTION)
2458 return status;
2461 /* last chance exception */
2463 status = send_debug_event( rec, FALSE, context );
2464 if (status != DBG_CONTINUE)
2466 if (rec->ExceptionFlags & EH_STACK_INVALID)
2467 ERR("Exception frame is not in stack limits => unable to dispatch exception.\n");
2468 else if (rec->ExceptionCode == STATUS_NONCONTINUABLE_EXCEPTION)
2469 ERR("Process attempted to continue execution after noncontinuable exception.\n");
2470 else
2471 ERR("Unhandled exception code %x flags %x addr %p\n",
2472 rec->ExceptionCode, rec->ExceptionFlags, rec->ExceptionAddress );
2473 NtTerminateProcess( NtCurrentProcess(), rec->ExceptionCode );
2475 return STATUS_SUCCESS;
2479 /**********************************************************************
2480 * raise_segv_exception
2482 static void raise_segv_exception( EXCEPTION_RECORD *rec, CONTEXT *context )
2484 NTSTATUS status;
2486 switch(rec->ExceptionCode)
2488 case EXCEPTION_ACCESS_VIOLATION:
2489 if (rec->NumberParameters == 2)
2491 if (!(rec->ExceptionCode = virtual_handle_fault( (void *)rec->ExceptionInformation[1],
2492 rec->ExceptionInformation[0], FALSE )))
2493 set_cpu_context( context );
2495 break;
2497 status = raise_exception( rec, context, TRUE );
2498 if (status) raise_status( status, rec );
2499 set_cpu_context( context );
2503 /**********************************************************************
2504 * raise_generic_exception
2506 * Generic raise function for exceptions that don't need special treatment.
2508 static void raise_generic_exception( EXCEPTION_RECORD *rec, CONTEXT *context )
2510 NTSTATUS status = raise_exception( rec, context, TRUE );
2511 if (status) raise_status( status, rec );
2512 set_cpu_context( context );
2516 /**********************************************************************
2517 * segv_handler
2519 * Handler for SIGSEGV and related errors.
2521 static void segv_handler( int signal, siginfo_t *siginfo, void *sigcontext )
2523 EXCEPTION_RECORD *rec = setup_exception( sigcontext, raise_segv_exception );
2524 ucontext_t *ucontext = sigcontext;
2526 switch(TRAP_sig(ucontext))
2528 case TRAP_x86_OFLOW: /* Overflow exception */
2529 rec->ExceptionCode = EXCEPTION_INT_OVERFLOW;
2530 break;
2531 case TRAP_x86_BOUND: /* Bound range exception */
2532 rec->ExceptionCode = EXCEPTION_ARRAY_BOUNDS_EXCEEDED;
2533 break;
2534 case TRAP_x86_PRIVINFLT: /* Invalid opcode exception */
2535 rec->ExceptionCode = EXCEPTION_ILLEGAL_INSTRUCTION;
2536 break;
2537 case TRAP_x86_STKFLT: /* Stack fault */
2538 rec->ExceptionCode = EXCEPTION_STACK_OVERFLOW;
2539 break;
2540 case TRAP_x86_SEGNPFLT: /* Segment not present exception */
2541 case TRAP_x86_PROTFLT: /* General protection fault */
2542 case TRAP_x86_UNKNOWN: /* Unknown fault code */
2543 rec->ExceptionCode = ERROR_sig(ucontext) ? EXCEPTION_ACCESS_VIOLATION : EXCEPTION_PRIV_INSTRUCTION;
2544 rec->ExceptionCode = EXCEPTION_ACCESS_VIOLATION;
2545 break;
2546 case TRAP_x86_PAGEFLT: /* Page fault */
2547 rec->ExceptionCode = EXCEPTION_ACCESS_VIOLATION;
2548 rec->NumberParameters = 2;
2549 rec->ExceptionInformation[0] = (ERROR_sig(ucontext) & 2) != 0;
2550 rec->ExceptionInformation[1] = (ULONG_PTR)siginfo->si_addr;
2551 break;
2552 case TRAP_x86_ALIGNFLT: /* Alignment check exception */
2553 rec->ExceptionCode = EXCEPTION_DATATYPE_MISALIGNMENT;
2554 break;
2555 default:
2556 ERR( "Got unexpected trap %ld\n", (ULONG_PTR)TRAP_sig(ucontext) );
2557 /* fall through */
2558 case TRAP_x86_NMI: /* NMI interrupt */
2559 case TRAP_x86_DNA: /* Device not available exception */
2560 case TRAP_x86_DOUBLEFLT: /* Double fault exception */
2561 case TRAP_x86_TSSFLT: /* Invalid TSS exception */
2562 case TRAP_x86_MCHK: /* Machine check exception */
2563 case TRAP_x86_CACHEFLT: /* Cache flush exception */
2564 rec->ExceptionCode = EXCEPTION_ILLEGAL_INSTRUCTION;
2565 break;
2569 /**********************************************************************
2570 * trap_handler
2572 * Handler for SIGTRAP.
2574 static void trap_handler( int signal, siginfo_t *siginfo, void *sigcontext )
2576 EXCEPTION_RECORD *rec = setup_exception( sigcontext, raise_generic_exception );
2578 switch (siginfo->si_code)
2580 case TRAP_TRACE: /* Single-step exception */
2581 case 4 /* TRAP_HWBKPT */: /* Hardware breakpoint exception */
2582 rec->ExceptionCode = EXCEPTION_SINGLE_STEP;
2583 break;
2584 case TRAP_BRKPT: /* Breakpoint exception */
2585 rec->ExceptionAddress = (char *)rec->ExceptionAddress - 1; /* back up over the int3 instruction */
2586 /* fall through */
2587 default:
2588 rec->ExceptionCode = EXCEPTION_BREAKPOINT;
2589 break;
2593 /**********************************************************************
2594 * fpe_handler
2596 * Handler for SIGFPE.
2598 static void fpe_handler( int signal, siginfo_t *siginfo, void *sigcontext )
2600 EXCEPTION_RECORD *rec = setup_exception( sigcontext, raise_generic_exception );
2602 switch (siginfo->si_code)
2604 case FPE_FLTSUB:
2605 rec->ExceptionCode = EXCEPTION_ARRAY_BOUNDS_EXCEEDED;
2606 break;
2607 case FPE_INTDIV:
2608 rec->ExceptionCode = EXCEPTION_INT_DIVIDE_BY_ZERO;
2609 break;
2610 case FPE_INTOVF:
2611 rec->ExceptionCode = EXCEPTION_INT_OVERFLOW;
2612 break;
2613 case FPE_FLTDIV:
2614 rec->ExceptionCode = EXCEPTION_FLT_DIVIDE_BY_ZERO;
2615 break;
2616 case FPE_FLTOVF:
2617 rec->ExceptionCode = EXCEPTION_FLT_OVERFLOW;
2618 break;
2619 case FPE_FLTUND:
2620 rec->ExceptionCode = EXCEPTION_FLT_UNDERFLOW;
2621 break;
2622 case FPE_FLTRES:
2623 rec->ExceptionCode = EXCEPTION_FLT_INEXACT_RESULT;
2624 break;
2625 case FPE_FLTINV:
2626 default:
2627 rec->ExceptionCode = EXCEPTION_FLT_INVALID_OPERATION;
2628 break;
2632 /**********************************************************************
2633 * int_handler
2635 * Handler for SIGINT.
2637 static void int_handler( int signal, siginfo_t *siginfo, void *sigcontext )
2639 if (!dispatch_signal(SIGINT))
2641 EXCEPTION_RECORD *rec = setup_exception( sigcontext, raise_generic_exception );
2642 rec->ExceptionCode = CONTROL_C_EXIT;
2647 /**********************************************************************
2648 * abrt_handler
2650 * Handler for SIGABRT.
2652 static void abrt_handler( int signal, siginfo_t *siginfo, void *sigcontext )
2654 EXCEPTION_RECORD *rec = setup_exception( sigcontext, raise_generic_exception );
2655 rec->ExceptionCode = EXCEPTION_WINE_ASSERTION;
2656 rec->ExceptionFlags = EH_NONCONTINUABLE;
2660 /**********************************************************************
2661 * quit_handler
2663 * Handler for SIGQUIT.
2665 static void quit_handler( int signal, siginfo_t *siginfo, void *ucontext )
2667 abort_thread(0);
2671 /**********************************************************************
2672 * usr1_handler
2674 * Handler for SIGUSR1, used to signal a thread that it got suspended.
2676 static void usr1_handler( int signal, siginfo_t *siginfo, void *ucontext )
2678 CONTEXT context;
2680 save_context( &context, ucontext );
2681 wait_suspend( &context );
2682 restore_context( &context, ucontext );
2686 /***********************************************************************
2687 * __wine_set_signal_handler (NTDLL.@)
2689 int CDECL __wine_set_signal_handler(unsigned int sig, wine_signal_handler wsh)
2691 if (sig > sizeof(handlers) / sizeof(handlers[0])) return -1;
2692 if (handlers[sig] != NULL) return -2;
2693 handlers[sig] = wsh;
2694 return 0;
2698 /**********************************************************************
2699 * signal_alloc_thread
2701 NTSTATUS signal_alloc_thread( TEB **teb )
2703 static size_t sigstack_zero_bits;
2704 SIZE_T size;
2705 NTSTATUS status;
2707 if (!sigstack_zero_bits)
2709 size_t min_size = teb_size + max( MINSIGSTKSZ, 8192 );
2710 /* find the first power of two not smaller than min_size */
2711 sigstack_zero_bits = 12;
2712 while ((1u << sigstack_zero_bits) < min_size) sigstack_zero_bits++;
2713 signal_stack_size = (1 << sigstack_zero_bits) - teb_size;
2714 assert( sizeof(TEB) <= teb_size );
2717 size = 1 << sigstack_zero_bits;
2718 *teb = NULL;
2719 if (!(status = NtAllocateVirtualMemory( NtCurrentProcess(), (void **)teb, sigstack_zero_bits,
2720 &size, MEM_COMMIT | MEM_TOP_DOWN, PAGE_READWRITE )))
2722 (*teb)->Tib.Self = &(*teb)->Tib;
2723 (*teb)->Tib.ExceptionList = (void *)~0UL;
2725 return status;
2729 /**********************************************************************
2730 * signal_free_thread
2732 void signal_free_thread( TEB *teb )
2734 SIZE_T size;
2736 if (teb->DeallocationStack)
2738 size = 0;
2739 NtFreeVirtualMemory( GetCurrentProcess(), &teb->DeallocationStack, &size, MEM_RELEASE );
2741 size = 0;
2742 NtFreeVirtualMemory( NtCurrentProcess(), (void **)&teb, &size, MEM_RELEASE );
2745 #ifdef __APPLE__
2746 static void init_teb_key(void)
2748 pthread_key_create( &teb_key, NULL );
2750 #endif
2752 /**********************************************************************
2753 * signal_init_thread
2755 void signal_init_thread( TEB *teb )
2757 const WORD fpu_cw = 0x27f;
2758 stack_t ss;
2760 #ifdef __APPLE__
2761 static pthread_once_t init_once = PTHREAD_ONCE_INIT;
2762 #endif
2764 #if defined __linux__
2765 arch_prctl( ARCH_SET_GS, teb );
2766 #elif defined (__FreeBSD__) || defined (__FreeBSD_kernel__)
2767 amd64_set_gsbase( teb );
2768 #elif defined(__NetBSD__)
2769 sysarch( X86_64_SET_GSBASE, &teb );
2770 #elif defined (__APPLE__)
2771 /* FIXME: Actually setting %gs needs support from the OS */
2772 pthread_once( &init_once, init_teb_key );
2773 pthread_setspecific( teb_key, teb );
2774 #else
2775 # error Please define setting %gs for your architecture
2776 #endif
2778 ss.ss_sp = (char *)teb + teb_size;
2779 ss.ss_size = signal_stack_size;
2780 ss.ss_flags = 0;
2781 if (sigaltstack(&ss, NULL) == -1) perror( "sigaltstack" );
2783 #ifdef __GNUC__
2784 __asm__ volatile ("fninit; fldcw %0" : : "m" (fpu_cw));
2785 #else
2786 FIXME("FPU setup not implemented for this platform.\n");
2787 #endif
2790 /**********************************************************************
2791 * signal_init_process
2793 void signal_init_process(void)
2795 struct sigaction sig_act;
2797 sig_act.sa_mask = server_block_set;
2798 sig_act.sa_flags = SA_RESTART | SA_SIGINFO | SA_ONSTACK;
2800 sig_act.sa_sigaction = int_handler;
2801 if (sigaction( SIGINT, &sig_act, NULL ) == -1) goto error;
2802 sig_act.sa_sigaction = fpe_handler;
2803 if (sigaction( SIGFPE, &sig_act, NULL ) == -1) goto error;
2804 sig_act.sa_sigaction = abrt_handler;
2805 if (sigaction( SIGABRT, &sig_act, NULL ) == -1) goto error;
2806 sig_act.sa_sigaction = quit_handler;
2807 if (sigaction( SIGQUIT, &sig_act, NULL ) == -1) goto error;
2808 sig_act.sa_sigaction = usr1_handler;
2809 if (sigaction( SIGUSR1, &sig_act, NULL ) == -1) goto error;
2811 sig_act.sa_sigaction = segv_handler;
2812 if (sigaction( SIGSEGV, &sig_act, NULL ) == -1) goto error;
2813 if (sigaction( SIGILL, &sig_act, NULL ) == -1) goto error;
2814 #ifdef SIGBUS
2815 if (sigaction( SIGBUS, &sig_act, NULL ) == -1) goto error;
2816 #endif
2818 #ifdef SIGTRAP
2819 sig_act.sa_sigaction = trap_handler;
2820 if (sigaction( SIGTRAP, &sig_act, NULL ) == -1) goto error;
2821 #endif
2822 return;
2824 error:
2825 perror("sigaction");
2826 exit(1);
2830 /**********************************************************************
2831 * RtlAddFunctionTable (NTDLL.@)
2833 BOOLEAN CDECL RtlAddFunctionTable( RUNTIME_FUNCTION *table, DWORD count, DWORD64 addr )
2835 struct dynamic_unwind_entry *entry;
2837 TRACE( "%p %u %lx\n", table, count, addr );
2839 /* NOTE: Windows doesn't check if table is aligned or a NULL pointer */
2841 entry = RtlAllocateHeap( GetProcessHeap(), 0, sizeof(*entry) );
2842 if (!entry)
2843 return FALSE;
2845 entry->base = addr;
2846 entry->size = table[count - 1].EndAddress;
2847 entry->table = table;
2848 entry->table_size = count * sizeof(RUNTIME_FUNCTION);
2849 entry->callback = NULL;
2850 entry->context = NULL;
2852 RtlEnterCriticalSection( &dynamic_unwind_section );
2853 list_add_tail( &dynamic_unwind_list, &entry->entry );
2854 RtlLeaveCriticalSection( &dynamic_unwind_section );
2856 return TRUE;
2860 /**********************************************************************
2861 * RtlInstallFunctionTableCallback (NTDLL.@)
2863 BOOLEAN CDECL RtlInstallFunctionTableCallback( DWORD64 table, DWORD64 base, DWORD length,
2864 PGET_RUNTIME_FUNCTION_CALLBACK callback, PVOID context, PCWSTR dll )
2866 struct dynamic_unwind_entry *entry;
2868 TRACE( "%lx %lx %d %p %p %s\n", table, base, length, callback, context, wine_dbgstr_w(dll) );
2870 /* NOTE: Windows doesn't check if the provided callback is a NULL pointer */
2872 /* both low-order bits must be set */
2873 if ((table & 0x3) != 0x3)
2874 return FALSE;
2876 entry = RtlAllocateHeap( GetProcessHeap(), 0, sizeof(*entry) );
2877 if (!entry)
2878 return FALSE;
2880 entry->base = base;
2881 entry->size = length;
2882 entry->table = (RUNTIME_FUNCTION *)table;
2883 entry->table_size = 0;
2884 entry->callback = callback;
2885 entry->context = context;
2887 RtlEnterCriticalSection( &dynamic_unwind_section );
2888 list_add_tail( &dynamic_unwind_list, &entry->entry );
2889 RtlLeaveCriticalSection( &dynamic_unwind_section );
2891 return TRUE;
2895 /**********************************************************************
2896 * RtlDeleteFunctionTable (NTDLL.@)
2898 BOOLEAN CDECL RtlDeleteFunctionTable( RUNTIME_FUNCTION *table )
2900 struct dynamic_unwind_entry *entry, *to_free = NULL;
2902 TRACE( "%p\n", table );
2904 RtlEnterCriticalSection( &dynamic_unwind_section );
2905 LIST_FOR_EACH_ENTRY( entry, &dynamic_unwind_list, struct dynamic_unwind_entry, entry )
2907 if (entry->table == table)
2909 to_free = entry;
2910 list_remove( &entry->entry );
2911 break;
2914 RtlLeaveCriticalSection( &dynamic_unwind_section );
2916 if (!to_free)
2917 return FALSE;
2919 RtlFreeHeap( GetProcessHeap(), 0, to_free );
2920 return TRUE;
2924 /**********************************************************************
2925 * RtlLookupFunctionEntry (NTDLL.@)
2927 PRUNTIME_FUNCTION WINAPI RtlLookupFunctionEntry( ULONG64 pc, ULONG64 *base, UNWIND_HISTORY_TABLE *table )
2929 LDR_MODULE *module;
2930 RUNTIME_FUNCTION *func;
2932 /* FIXME: should use the history table to make things faster */
2934 func = lookup_function_info( pc, base, &module );
2935 if (!func)
2937 *base = 0;
2938 if (module)
2939 WARN( "no exception table found in module %p pc %lx\n", module->BaseAddress, pc );
2940 else
2941 WARN( "module not found for %lx\n", pc );
2944 return func;
2947 static ULONG64 get_int_reg( CONTEXT *context, int reg )
2949 return *(&context->Rax + reg);
2952 static void set_int_reg( CONTEXT *context, KNONVOLATILE_CONTEXT_POINTERS *ctx_ptr, int reg, ULONG64 val )
2954 *(&context->Rax + reg) = val;
2955 if (ctx_ptr) ctx_ptr->u2.IntegerContext[reg] = &context->Rax + reg;
2958 static void set_float_reg( CONTEXT *context, KNONVOLATILE_CONTEXT_POINTERS *ctx_ptr, int reg, M128A val )
2960 *(&context->u.s.Xmm0 + reg) = val;
2961 if (ctx_ptr) ctx_ptr->u.FloatingContext[reg] = &context->u.s.Xmm0 + reg;
2964 static int get_opcode_size( struct opcode op )
2966 switch (op.code)
2968 case UWOP_ALLOC_LARGE:
2969 return 2 + (op.info != 0);
2970 case UWOP_SAVE_NONVOL:
2971 case UWOP_SAVE_XMM128:
2972 return 2;
2973 case UWOP_SAVE_NONVOL_FAR:
2974 case UWOP_SAVE_XMM128_FAR:
2975 return 3;
2976 default:
2977 return 1;
2981 static BOOL is_inside_epilog( BYTE *pc, ULONG64 base, const RUNTIME_FUNCTION *function )
2983 /* add or lea must be the first instruction, and it must have a rex.W prefix */
2984 if ((pc[0] & 0xf8) == 0x48)
2986 switch (pc[1])
2988 case 0x81: /* add $nnnn,%rsp */
2989 if (pc[0] == 0x48 && pc[2] == 0xc4)
2991 pc += 7;
2992 break;
2994 return FALSE;
2995 case 0x83: /* add $n,%rsp */
2996 if (pc[0] == 0x48 && pc[2] == 0xc4)
2998 pc += 4;
2999 break;
3001 return FALSE;
3002 case 0x8d: /* lea n(reg),%rsp */
3003 if (pc[0] & 0x06) return FALSE; /* rex.RX must be cleared */
3004 if (((pc[2] >> 3) & 7) != 4) return FALSE; /* dest reg mus be %rsp */
3005 if ((pc[2] & 7) == 4) return FALSE; /* no SIB byte allowed */
3006 if ((pc[2] >> 6) == 1) /* 8-bit offset */
3008 pc += 4;
3009 break;
3011 if ((pc[2] >> 6) == 2) /* 32-bit offset */
3013 pc += 7;
3014 break;
3016 return FALSE;
3020 /* now check for various pop instructions */
3022 for (;;)
3024 if ((*pc & 0xf0) == 0x40) pc++; /* rex prefix */
3026 switch (*pc)
3028 case 0x58: /* pop %rax/%r8 */
3029 case 0x59: /* pop %rcx/%r9 */
3030 case 0x5a: /* pop %rdx/%r10 */
3031 case 0x5b: /* pop %rbx/%r11 */
3032 case 0x5c: /* pop %rsp/%r12 */
3033 case 0x5d: /* pop %rbp/%r13 */
3034 case 0x5e: /* pop %rsi/%r14 */
3035 case 0x5f: /* pop %rdi/%r15 */
3036 pc++;
3037 continue;
3038 case 0xc2: /* ret $nn */
3039 case 0xc3: /* ret */
3040 return TRUE;
3041 case 0xe9: /* jmp nnnn */
3042 pc += 5 + *(LONG *)(pc + 1);
3043 if (pc - (BYTE *)base >= function->BeginAddress && pc - (BYTE *)base < function->EndAddress)
3044 continue;
3045 break;
3046 case 0xeb: /* jmp n */
3047 pc += 2 + (signed char)pc[1];
3048 if (pc - (BYTE *)base >= function->BeginAddress && pc - (BYTE *)base < function->EndAddress)
3049 continue;
3050 break;
3051 case 0xf3: /* rep; ret (for amd64 prediction bug) */
3052 return pc[1] == 0xc3;
3054 return FALSE;
3058 /* execute a function epilog, which must have been validated with is_inside_epilog() */
3059 static void interpret_epilog( BYTE *pc, CONTEXT *context, KNONVOLATILE_CONTEXT_POINTERS *ctx_ptr )
3061 for (;;)
3063 BYTE rex = 0;
3065 if ((*pc & 0xf0) == 0x40) rex = *pc++ & 0x0f; /* rex prefix */
3067 switch (*pc)
3069 case 0x58: /* pop %rax/r8 */
3070 case 0x59: /* pop %rcx/r9 */
3071 case 0x5a: /* pop %rdx/r10 */
3072 case 0x5b: /* pop %rbx/r11 */
3073 case 0x5c: /* pop %rsp/r12 */
3074 case 0x5d: /* pop %rbp/r13 */
3075 case 0x5e: /* pop %rsi/r14 */
3076 case 0x5f: /* pop %rdi/r15 */
3077 set_int_reg( context, ctx_ptr, *pc - 0x58 + (rex & 1) * 8, *(ULONG64 *)context->Rsp );
3078 context->Rsp += sizeof(ULONG64);
3079 pc++;
3080 continue;
3081 case 0x81: /* add $nnnn,%rsp */
3082 context->Rsp += *(LONG *)(pc + 2);
3083 pc += 2 + sizeof(LONG);
3084 continue;
3085 case 0x83: /* add $n,%rsp */
3086 context->Rsp += (signed char)pc[2];
3087 pc += 3;
3088 continue;
3089 case 0x8d:
3090 if ((pc[1] >> 6) == 1) /* lea n(reg),%rsp */
3092 context->Rsp = get_int_reg( context, (pc[1] & 7) + (rex & 1) * 8 ) + (signed char)pc[2];
3093 pc += 3;
3095 else /* lea nnnn(reg),%rsp */
3097 context->Rsp = get_int_reg( context, (pc[1] & 7) + (rex & 1) * 8 ) + *(LONG *)(pc + 2);
3098 pc += 2 + sizeof(LONG);
3100 continue;
3101 case 0xc2: /* ret $nn */
3102 context->Rip = *(ULONG64 *)context->Rsp;
3103 context->Rsp += sizeof(ULONG64) + *(WORD *)(pc + 1);
3104 return;
3105 case 0xc3: /* ret */
3106 case 0xf3: /* rep; ret */
3107 context->Rip = *(ULONG64 *)context->Rsp;
3108 context->Rsp += sizeof(ULONG64);
3109 return;
3110 case 0xe9: /* jmp nnnn */
3111 pc += 5 + *(LONG *)(pc + 1);
3112 continue;
3113 case 0xeb: /* jmp n */
3114 pc += 2 + (signed char)pc[1];
3115 continue;
3117 return;
3121 /**********************************************************************
3122 * RtlVirtualUnwind (NTDLL.@)
3124 PVOID WINAPI RtlVirtualUnwind( ULONG type, ULONG64 base, ULONG64 pc,
3125 RUNTIME_FUNCTION *function, CONTEXT *context,
3126 PVOID *data, ULONG64 *frame_ret,
3127 KNONVOLATILE_CONTEXT_POINTERS *ctx_ptr )
3129 union handler_data *handler_data;
3130 ULONG64 frame, off;
3131 struct UNWIND_INFO *info;
3132 unsigned int i, prolog_offset;
3134 TRACE( "type %x rip %lx rsp %lx\n", type, pc, context->Rsp );
3135 if (TRACE_ON(seh)) dump_unwind_info( base, function );
3137 frame = *frame_ret = context->Rsp;
3138 for (;;)
3140 info = (struct UNWIND_INFO *)((char *)base + function->UnwindData);
3141 handler_data = (union handler_data *)&info->opcodes[(info->count + 1) & ~1];
3143 if (info->version != 1)
3145 FIXME( "unknown unwind info version %u at %p\n", info->version, info );
3146 return NULL;
3149 if (info->frame_reg)
3150 frame = get_int_reg( context, info->frame_reg ) - info->frame_offset * 16;
3152 /* check if in prolog */
3153 if (pc >= base + function->BeginAddress && pc < base + function->BeginAddress + info->prolog)
3155 prolog_offset = pc - base - function->BeginAddress;
3157 else
3159 prolog_offset = ~0;
3160 if (is_inside_epilog( (BYTE *)pc, base, function ))
3162 interpret_epilog( (BYTE *)pc, context, ctx_ptr );
3163 *frame_ret = frame;
3164 return NULL;
3168 for (i = 0; i < info->count; i += get_opcode_size(info->opcodes[i]))
3170 if (prolog_offset < info->opcodes[i].offset) continue; /* skip it */
3172 switch (info->opcodes[i].code)
3174 case UWOP_PUSH_NONVOL: /* pushq %reg */
3175 set_int_reg( context, ctx_ptr, info->opcodes[i].info, *(ULONG64 *)context->Rsp );
3176 context->Rsp += sizeof(ULONG64);
3177 break;
3178 case UWOP_ALLOC_LARGE: /* subq $nn,%rsp */
3179 if (info->opcodes[i].info) context->Rsp += *(DWORD *)&info->opcodes[i+1];
3180 else context->Rsp += *(USHORT *)&info->opcodes[i+1] * 8;
3181 break;
3182 case UWOP_ALLOC_SMALL: /* subq $n,%rsp */
3183 context->Rsp += (info->opcodes[i].info + 1) * 8;
3184 break;
3185 case UWOP_SET_FPREG: /* leaq nn(%rsp),%framereg */
3186 context->Rsp = *frame_ret = frame;
3187 break;
3188 case UWOP_SAVE_NONVOL: /* movq %reg,n(%rsp) */
3189 off = frame + *(USHORT *)&info->opcodes[i+1] * 8;
3190 set_int_reg( context, ctx_ptr, info->opcodes[i].info, *(ULONG64 *)off );
3191 break;
3192 case UWOP_SAVE_NONVOL_FAR: /* movq %reg,nn(%rsp) */
3193 off = frame + *(DWORD *)&info->opcodes[i+1];
3194 set_int_reg( context, ctx_ptr, info->opcodes[i].info, *(ULONG64 *)off );
3195 break;
3196 case UWOP_SAVE_XMM128: /* movaps %xmmreg,n(%rsp) */
3197 off = frame + *(USHORT *)&info->opcodes[i+1] * 16;
3198 set_float_reg( context, ctx_ptr, info->opcodes[i].info, *(M128A *)off );
3199 break;
3200 case UWOP_SAVE_XMM128_FAR: /* movaps %xmmreg,nn(%rsp) */
3201 off = frame + *(DWORD *)&info->opcodes[i+1];
3202 set_float_reg( context, ctx_ptr, info->opcodes[i].info, *(M128A *)off );
3203 break;
3204 case UWOP_PUSH_MACHFRAME:
3205 FIXME( "PUSH_MACHFRAME %u\n", info->opcodes[i].info );
3206 break;
3207 default:
3208 FIXME( "unknown code %u\n", info->opcodes[i].code );
3209 break;
3213 if (!(info->flags & UNW_FLAG_CHAININFO)) break;
3214 function = &handler_data->chain; /* restart with the chained info */
3217 /* now pop return address */
3218 context->Rip = *(ULONG64 *)context->Rsp;
3219 context->Rsp += sizeof(ULONG64);
3221 if (!(info->flags & type)) return NULL; /* no matching handler */
3222 if (prolog_offset != ~0) return NULL; /* inside prolog */
3224 *data = &handler_data->handler + 1;
3225 return (char *)base + handler_data->handler;
3229 /**********************************************************************
3230 * call_unwind_handler
3232 * Call a single unwind handler.
3233 * FIXME: Handle nested exceptions.
3235 static void call_unwind_handler( EXCEPTION_RECORD *rec, DISPATCHER_CONTEXT *dispatch )
3237 DWORD res;
3239 dispatch->ControlPc = dispatch->ContextRecord->Rip;
3241 TRACE( "calling handler %p (rec=%p, frame=0x%lx context=%p, dispatch=%p)\n",
3242 dispatch->LanguageHandler, rec, dispatch->EstablisherFrame, dispatch->ContextRecord, dispatch );
3243 res = dispatch->LanguageHandler( rec, dispatch->EstablisherFrame, dispatch->ContextRecord, dispatch );
3244 TRACE( "handler %p returned %x\n", dispatch->LanguageHandler, res );
3246 switch (res)
3248 case ExceptionContinueSearch:
3249 break;
3250 case ExceptionCollidedUnwind:
3251 FIXME( "ExceptionCollidedUnwind not supported yet\n" );
3252 break;
3253 default:
3254 raise_status( STATUS_INVALID_DISPOSITION, rec );
3255 break;
3260 /**********************************************************************
3261 * call_teb_unwind_handler
3263 * Call a single unwind handler from the TEB chain.
3264 * FIXME: Handle nested exceptions.
3266 static void call_teb_unwind_handler( EXCEPTION_RECORD *rec, DISPATCHER_CONTEXT *dispatch,
3267 EXCEPTION_REGISTRATION_RECORD *teb_frame )
3269 EXCEPTION_REGISTRATION_RECORD *dispatcher;
3270 DWORD res;
3272 TRACE( "calling TEB handler %p (rec=%p, frame=%p context=%p, dispatcher=%p)\n",
3273 teb_frame->Handler, rec, teb_frame, dispatch->ContextRecord, &dispatcher );
3274 res = teb_frame->Handler( rec, teb_frame, dispatch->ContextRecord, &dispatcher );
3275 TRACE( "handler at %p returned %u\n", teb_frame->Handler, res );
3277 switch (res)
3279 case ExceptionContinueSearch:
3280 break;
3281 case ExceptionCollidedUnwind:
3282 FIXME( "ExceptionCollidedUnwind not supported yet\n" );
3283 break;
3284 default:
3285 raise_status( STATUS_INVALID_DISPOSITION, rec );
3286 break;
3291 /*******************************************************************
3292 * RtlUnwindEx (NTDLL.@)
3294 void WINAPI RtlUnwindEx( PVOID end_frame, PVOID target_ip, EXCEPTION_RECORD *rec,
3295 PVOID retval, CONTEXT *context, UNWIND_HISTORY_TABLE *table )
3297 EXCEPTION_REGISTRATION_RECORD *teb_frame = NtCurrentTeb()->Tib.ExceptionList;
3298 EXCEPTION_RECORD record;
3299 DISPATCHER_CONTEXT dispatch;
3300 CONTEXT new_context;
3301 LDR_MODULE *module;
3302 NTSTATUS status;
3303 DWORD i;
3305 RtlCaptureContext( context );
3306 new_context = *context;
3308 /* build an exception record, if we do not have one */
3309 if (!rec)
3311 record.ExceptionCode = STATUS_UNWIND;
3312 record.ExceptionFlags = 0;
3313 record.ExceptionRecord = NULL;
3314 record.ExceptionAddress = (void *)context->Rip;
3315 record.NumberParameters = 0;
3316 rec = &record;
3319 rec->ExceptionFlags |= EH_UNWINDING | (end_frame ? 0 : EH_EXIT_UNWIND);
3321 TRACE( "code=%x flags=%x end_frame=%p target_ip=%p rip=%016lx\n",
3322 rec->ExceptionCode, rec->ExceptionFlags, end_frame, target_ip, context->Rip );
3323 for (i = 0; i < min( EXCEPTION_MAXIMUM_PARAMETERS, rec->NumberParameters ); i++)
3324 TRACE( " info[%d]=%016lx\n", i, rec->ExceptionInformation[i] );
3325 TRACE(" rax=%016lx rbx=%016lx rcx=%016lx rdx=%016lx\n",
3326 context->Rax, context->Rbx, context->Rcx, context->Rdx );
3327 TRACE(" rsi=%016lx rdi=%016lx rbp=%016lx rsp=%016lx\n",
3328 context->Rsi, context->Rdi, context->Rbp, context->Rsp );
3329 TRACE(" r8=%016lx r9=%016lx r10=%016lx r11=%016lx\n",
3330 context->R8, context->R9, context->R10, context->R11 );
3331 TRACE(" r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n",
3332 context->R12, context->R13, context->R14, context->R15 );
3334 dispatch.EstablisherFrame = context->Rsp;
3335 dispatch.TargetIp = (ULONG64)target_ip;
3336 dispatch.ContextRecord = context;
3337 dispatch.HistoryTable = table;
3339 for (;;)
3341 /* FIXME: should use the history table to make things faster */
3343 dispatch.ImageBase = 0;
3344 dispatch.ScopeIndex = 0; /* FIXME */
3346 /* first look for PE exception information */
3348 if ((dispatch.FunctionEntry = lookup_function_info( context->Rip, &dispatch.ImageBase, &module )))
3350 dispatch.LanguageHandler = RtlVirtualUnwind( UNW_FLAG_UHANDLER, dispatch.ImageBase,
3351 context->Rip, dispatch.FunctionEntry,
3352 &new_context, &dispatch.HandlerData,
3353 &dispatch.EstablisherFrame, NULL );
3354 goto unwind_done;
3357 /* then look for host system exception information */
3359 if (!module || (module->Flags & LDR_WINE_INTERNAL))
3361 BOOL got_info = FALSE;
3362 struct dwarf_eh_bases bases;
3363 const struct dwarf_fde *fde = _Unwind_Find_FDE( (void *)(context->Rip - 1), &bases );
3365 if (fde)
3367 status = dwarf_virtual_unwind( context->Rip, &dispatch.EstablisherFrame, &new_context, fde,
3368 &bases, &dispatch.LanguageHandler, &dispatch.HandlerData );
3369 if (status != STATUS_SUCCESS) raise_status( status, rec );
3370 got_info = TRUE;
3372 #if HAVE_LIBUNWIND_H
3373 else
3375 status = libunwind_virtual_unwind( context->Rip, &got_info, &dispatch.EstablisherFrame, &new_context,
3376 &dispatch.LanguageHandler, &dispatch.HandlerData );
3377 if (status != STATUS_SUCCESS) raise_status( status, rec );
3379 #endif
3381 if (got_info)
3383 dispatch.FunctionEntry = NULL;
3384 if (dispatch.LanguageHandler && !module)
3386 FIXME( "calling personality routine in system library not supported yet\n" );
3387 dispatch.LanguageHandler = NULL;
3389 goto unwind_done;
3392 else WARN( "exception data not found in %s\n", debugstr_w(module->BaseDllName.Buffer) );
3394 /* no exception information, treat as a leaf function */
3396 new_context.Rip = *(ULONG64 *)context->Rsp;
3397 new_context.Rsp = context->Rsp + sizeof(ULONG64);
3398 dispatch.EstablisherFrame = new_context.Rsp;
3399 dispatch.LanguageHandler = NULL;
3401 unwind_done:
3402 if (!dispatch.EstablisherFrame) break;
3404 if (is_inside_signal_stack( (void *)dispatch.EstablisherFrame ))
3406 TRACE( "frame %lx is inside signal stack (%p-%p)\n", dispatch.EstablisherFrame,
3407 get_signal_stack(), (char *)get_signal_stack() + signal_stack_size );
3408 *context = new_context;
3409 continue;
3412 if ((dispatch.EstablisherFrame & 7) ||
3413 dispatch.EstablisherFrame < (ULONG64)NtCurrentTeb()->Tib.StackLimit ||
3414 dispatch.EstablisherFrame > (ULONG64)NtCurrentTeb()->Tib.StackBase)
3416 ERR( "invalid frame %lx (%p-%p)\n", dispatch.EstablisherFrame,
3417 NtCurrentTeb()->Tib.StackLimit, NtCurrentTeb()->Tib.StackBase );
3418 rec->ExceptionFlags |= EH_STACK_INVALID;
3419 break;
3422 if (dispatch.LanguageHandler)
3424 if (end_frame && (dispatch.EstablisherFrame > (ULONG64)end_frame))
3426 ERR( "invalid end frame %lx/%p\n", dispatch.EstablisherFrame, end_frame );
3427 raise_status( STATUS_INVALID_UNWIND_TARGET, rec );
3429 if (dispatch.EstablisherFrame == (ULONG64)end_frame) rec->ExceptionFlags |= EH_TARGET_UNWIND;
3430 call_unwind_handler( rec, &dispatch );
3432 else /* hack: call builtin handlers registered in the tib list */
3434 DWORD64 backup_frame = dispatch.EstablisherFrame;
3435 while ((ULONG64)teb_frame < new_context.Rsp && (ULONG64)teb_frame < (ULONG64)end_frame)
3437 TRACE( "found builtin frame %p handler %p\n", teb_frame, teb_frame->Handler );
3438 dispatch.EstablisherFrame = (ULONG64)teb_frame;
3439 call_teb_unwind_handler( rec, &dispatch, teb_frame );
3440 teb_frame = __wine_pop_frame( teb_frame );
3442 if ((ULONG64)teb_frame == (ULONG64)end_frame && (ULONG64)end_frame < new_context.Rsp) break;
3443 dispatch.EstablisherFrame = backup_frame;
3446 if (dispatch.EstablisherFrame == (ULONG64)end_frame) break;
3447 *context = new_context;
3450 if (rec->ExceptionCode == STATUS_LONGJUMP && rec->NumberParameters >= 1)
3452 struct MSVCRT_JUMP_BUFFER *jmp = (struct MSVCRT_JUMP_BUFFER *)rec->ExceptionInformation[0];
3453 context->Rbx = jmp->Rbx;
3454 context->Rsp = jmp->Rsp;
3455 context->Rbp = jmp->Rbp;
3456 context->Rsi = jmp->Rsi;
3457 context->Rdi = jmp->Rdi;
3458 context->R12 = jmp->R12;
3459 context->R13 = jmp->R13;
3460 context->R14 = jmp->R14;
3461 context->R15 = jmp->R15;
3462 context->Rip = jmp->Rip;
3463 context->u.s.Xmm6 = jmp->Xmm6;
3464 context->u.s.Xmm7 = jmp->Xmm7;
3465 context->u.s.Xmm8 = jmp->Xmm8;
3466 context->u.s.Xmm9 = jmp->Xmm9;
3467 context->u.s.Xmm10 = jmp->Xmm10;
3468 context->u.s.Xmm11 = jmp->Xmm11;
3469 context->u.s.Xmm12 = jmp->Xmm12;
3470 context->u.s.Xmm13 = jmp->Xmm13;
3471 context->u.s.Xmm14 = jmp->Xmm14;
3472 context->u.s.Xmm15 = jmp->Xmm15;
3474 else if (rec->ExceptionCode == STATUS_UNWIND_CONSOLIDATE && rec->NumberParameters >= 1)
3476 PVOID (CALLBACK *consolidate)(EXCEPTION_RECORD *) = (void *)rec->ExceptionInformation[0];
3477 TRACE( "calling consolidate callback %p\n", consolidate );
3478 target_ip = consolidate( rec );
3480 context->Rax = (ULONG64)retval;
3481 context->Rip = (ULONG64)target_ip;
3482 TRACE( "returning to %lx stack %lx\n", context->Rip, context->Rsp );
3483 set_cpu_context( context );
3487 /*******************************************************************
3488 * RtlUnwind (NTDLL.@)
3490 void WINAPI RtlUnwind( void *frame, void *target_ip, EXCEPTION_RECORD *rec, void *retval )
3492 CONTEXT context;
3493 RtlUnwindEx( frame, target_ip, rec, retval, &context, NULL );
3497 /*******************************************************************
3498 * _local_unwind (NTDLL.@)
3500 void WINAPI _local_unwind( void *frame, void *target_ip )
3502 CONTEXT context;
3503 RtlUnwindEx( frame, target_ip, NULL, NULL, &context, NULL );
3507 /*******************************************************************
3508 * __C_specific_handler (NTDLL.@)
3510 EXCEPTION_DISPOSITION WINAPI __C_specific_handler( EXCEPTION_RECORD *rec,
3511 ULONG64 frame,
3512 CONTEXT *context,
3513 struct _DISPATCHER_CONTEXT *dispatch )
3515 SCOPE_TABLE *table = dispatch->HandlerData;
3516 ULONG i;
3518 TRACE( "%p %lx %p %p\n", rec, frame, context, dispatch );
3519 if (TRACE_ON(seh)) dump_scope_table( dispatch->ImageBase, table );
3521 if (rec->ExceptionFlags & (EH_UNWINDING | EH_EXIT_UNWIND)) /* FIXME */
3522 return ExceptionContinueSearch;
3524 for (i = 0; i < table->Count; i++)
3526 if (context->Rip >= dispatch->ImageBase + table->ScopeRecord[i].BeginAddress &&
3527 context->Rip < dispatch->ImageBase + table->ScopeRecord[i].EndAddress)
3529 if (!table->ScopeRecord[i].JumpTarget) continue;
3530 if (table->ScopeRecord[i].HandlerAddress != EXCEPTION_EXECUTE_HANDLER)
3532 EXCEPTION_POINTERS ptrs;
3533 PC_LANGUAGE_EXCEPTION_HANDLER filter;
3535 filter = (PC_LANGUAGE_EXCEPTION_HANDLER)(dispatch->ImageBase + table->ScopeRecord[i].HandlerAddress);
3536 ptrs.ExceptionRecord = rec;
3537 ptrs.ContextRecord = context;
3538 TRACE( "calling filter %p ptrs %p frame %lx\n", filter, &ptrs, frame );
3539 switch (filter( &ptrs, frame ))
3541 case EXCEPTION_EXECUTE_HANDLER:
3542 break;
3543 case EXCEPTION_CONTINUE_SEARCH:
3544 continue;
3545 case EXCEPTION_CONTINUE_EXECUTION:
3546 return ExceptionContinueExecution;
3549 TRACE( "unwinding to target %lx\n", dispatch->ImageBase + table->ScopeRecord[i].JumpTarget );
3550 RtlUnwindEx( (void *)frame, (char *)dispatch->ImageBase + table->ScopeRecord[i].JumpTarget,
3551 rec, 0, context, dispatch->HistoryTable );
3554 return ExceptionContinueSearch;
3558 /*******************************************************************
3559 * NtRaiseException (NTDLL.@)
3561 NTSTATUS WINAPI NtRaiseException( EXCEPTION_RECORD *rec, CONTEXT *context, BOOL first_chance )
3563 NTSTATUS status = raise_exception( rec, context, first_chance );
3564 if (status == STATUS_SUCCESS) NtSetContextThread( GetCurrentThread(), context );
3565 return status;
3569 /***********************************************************************
3570 * RtlRaiseException (NTDLL.@)
3572 void WINAPI __regs_RtlRaiseException( EXCEPTION_RECORD *rec, CONTEXT *context )
3574 NTSTATUS status;
3576 rec->ExceptionAddress = (void *)context->Rip;
3577 status = raise_exception( rec, context, TRUE );
3578 if (status != STATUS_SUCCESS) raise_status( status, rec );
3580 __ASM_GLOBAL_FUNC( RtlRaiseException,
3581 "movq %rcx,8(%rsp)\n\t"
3582 "sub $0x4f8,%rsp\n\t"
3583 __ASM_CFI(".cfi_adjust_cfa_offset 0x4f8\n\t")
3584 "leaq 0x20(%rsp),%rcx\n\t"
3585 "call " __ASM_NAME("RtlCaptureContext") "\n\t"
3586 "leaq 0x20(%rsp),%rdx\n\t" /* context pointer */
3587 "movq 0x4f8(%rsp),%rax\n\t" /* return address */
3588 "movq %rax,0xf8(%rdx)\n\t" /* context->Rip */
3589 "leaq 0x500(%rsp),%rax\n\t" /* orig stack pointer */
3590 "movq %rax,0x98(%rdx)\n\t" /* context->Rsp */
3591 "movq (%rax),%rcx\n\t" /* original first parameter */
3592 "movq %rcx,0x80(%rdx)\n\t" /* context->Rcx */
3593 "call " __ASM_NAME("__regs_RtlRaiseException") "\n\t"
3594 "leaq 0x20(%rsp),%rdi\n\t" /* context pointer */
3595 "call " __ASM_NAME("set_cpu_context") /* does not return */ );
3598 /*************************************************************************
3599 * RtlCaptureStackBackTrace (NTDLL.@)
3601 USHORT WINAPI RtlCaptureStackBackTrace( ULONG skip, ULONG count, PVOID *buffer, ULONG *hash )
3603 FIXME( "(%d, %d, %p, %p) stub!\n", skip, count, buffer, hash );
3604 return 0;
3608 /***********************************************************************
3609 * call_thread_func
3611 void call_thread_func( LPTHREAD_START_ROUTINE entry, void *arg, void *frame )
3613 ntdll_get_thread_data()->exit_frame = frame;
3614 __TRY
3616 RtlExitUserThread( entry( arg ));
3618 __EXCEPT(unhandled_exception_filter)
3620 NtTerminateThread( GetCurrentThread(), GetExceptionCode() );
3622 __ENDTRY
3623 abort(); /* should not be reached */
3626 extern void DECLSPEC_NORETURN call_thread_entry_point( LPTHREAD_START_ROUTINE entry, void *arg );
3627 __ASM_GLOBAL_FUNC( call_thread_entry_point,
3628 "subq $56,%rsp\n\t"
3629 __ASM_CFI(".cfi_adjust_cfa_offset 56\n\t")
3630 "movq %rbp,48(%rsp)\n\t"
3631 __ASM_CFI(".cfi_rel_offset %rbp,48\n\t")
3632 "movq %rbx,40(%rsp)\n\t"
3633 __ASM_CFI(".cfi_rel_offset %rbx,40\n\t")
3634 "movq %r12,32(%rsp)\n\t"
3635 __ASM_CFI(".cfi_rel_offset %r12,32\n\t")
3636 "movq %r13,24(%rsp)\n\t"
3637 __ASM_CFI(".cfi_rel_offset %r13,24\n\t")
3638 "movq %r14,16(%rsp)\n\t"
3639 __ASM_CFI(".cfi_rel_offset %r14,16\n\t")
3640 "movq %r15,8(%rsp)\n\t"
3641 __ASM_CFI(".cfi_rel_offset %r15,8\n\t")
3642 "movq %rsp,%rdx\n\t"
3643 "call " __ASM_NAME("call_thread_func") );
3645 extern void DECLSPEC_NORETURN call_thread_exit_func( int status, void (*func)(int), void *frame );
3646 __ASM_GLOBAL_FUNC( call_thread_exit_func,
3647 "movq %rdx,%rsp\n\t"
3648 __ASM_CFI(".cfi_adjust_cfa_offset 56\n\t")
3649 __ASM_CFI(".cfi_rel_offset %rbp,48\n\t")
3650 __ASM_CFI(".cfi_rel_offset %rbx,40\n\t")
3651 __ASM_CFI(".cfi_rel_offset %r12,32\n\t")
3652 __ASM_CFI(".cfi_rel_offset %r13,24\n\t")
3653 __ASM_CFI(".cfi_rel_offset %r14,16\n\t")
3654 __ASM_CFI(".cfi_rel_offset %r15,8\n\t")
3655 "call *%rsi" );
3657 /***********************************************************************
3658 * RtlExitUserThread (NTDLL.@)
3660 void WINAPI RtlExitUserThread( ULONG status )
3662 if (!ntdll_get_thread_data()->exit_frame) exit_thread( status );
3663 call_thread_exit_func( status, exit_thread, ntdll_get_thread_data()->exit_frame );
3666 /***********************************************************************
3667 * abort_thread
3669 void abort_thread( int status )
3671 if (!ntdll_get_thread_data()->exit_frame) terminate_thread( status );
3672 call_thread_exit_func( status, terminate_thread, ntdll_get_thread_data()->exit_frame );
3675 /**********************************************************************
3676 * __wine_enter_vm86 (NTDLL.@)
3678 void __wine_enter_vm86( CONTEXT *context )
3680 MESSAGE("vm86 mode not supported on this platform\n");
3683 /**********************************************************************
3684 * DbgBreakPoint (NTDLL.@)
3686 __ASM_STDCALL_FUNC( DbgBreakPoint, 0, "int $3; ret")
3688 /**********************************************************************
3689 * DbgUserBreakPoint (NTDLL.@)
3691 __ASM_STDCALL_FUNC( DbgUserBreakPoint, 0, "int $3; ret")
3693 /**********************************************************************
3694 * NtCurrentTeb (NTDLL.@)
3696 * FIXME: This isn't exported from NTDLL on real NT. This should be
3697 * removed if and when we can set the GSBASE MSR on Mac OS X.
3699 #ifdef __APPLE__
3700 TEB * WINAPI NtCurrentTeb(void)
3702 return pthread_getspecific( teb_key );
3704 #else
3705 __ASM_STDCALL_FUNC( NtCurrentTeb, 0, ".byte 0x65\n\tmovq 0x30,%rax\n\tret" )
3706 #endif
3708 #endif /* __x86_64__ */