projects/ldc: druntime/src/compiler/dmd/deh.c annotate

author	Robert Clipsham <robert@octarineparrot.com>
date	Tue, 02 Jun 2009 17:43:06 +0100
parents
children

rev	line source
1458 e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	1 /**
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	2 * Implementation of exception handling support routines for Windows.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	3 *
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	4 * Copyright: Copyright Digital Mars 1999 - 2009.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	5 * License: <a href="http://www.boost.org/LICENSE_1_0.txt>Boost License 1.0</a>.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	6 * Authors: Walter Bright
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	7 *
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	8 * Copyright Digital Mars 1999 - 2009.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	9 * Distributed under the Boost Software License, Version 1.0.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	10 * (See accompanying file LICENSE_1_0.txt or copy at
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	11 * http://www.boost.org/LICENSE_1_0.txt)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	12 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	13 #include <stdio.h>
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	14 #include <string.h>
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	15 #include <assert.h>
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	16 #include <stdlib.h>
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	17
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	18 /* ======================== Win32 =============================== */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	19
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	20 #if _WIN32
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	21
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	22 #include <excpt.h>
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	23 #include <windows.h>
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	24
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	25 //#include "\sc\src\include\ehsup.h"
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	26
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	27 /* From Digital Mars C runtime library */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	28 EXCEPTION_DISPOSITION __cdecl _local_except_handler (EXCEPTION_RECORD *ExceptionRecord,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	29 void* EstablisherFrame,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	30 void *ContextRecord,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	31 void *DispatcherContext
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	32 );
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	33 void __cdecl _global_unwind(void frame,EXCEPTION_RECORD eRecord);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	34 #define EXCEPTION_UNWIND 6 // Flag to indicate if the system is unwinding
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	35
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	36 extern DWORD _except_list;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	37 /* */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	38
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	39 #include "mars.h"
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	40
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	41 extern ClassInfo D6object9Throwable7__ClassZ;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	42 #define _Class_9Throwable D6object9Throwable7__ClassZ;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	43
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	44 extern ClassInfo D6object5Error7__ClassZ;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	45 #define _Class_5Error D6object5Error7__ClassZ
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	46
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	47 typedef int (__pascal *fp_t)(); // function pointer in ambient memory model
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	48
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	49 // The layout of DEstablisherFrame is the same for C++
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	50
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	51 struct DEstablisherFrame
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	52 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	53 void *prev; // pointer to previous exception list
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	54 void *handler; // pointer to routine for exception handler
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	55 DWORD table_index; // current index into handler_info[]
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	56 DWORD ebp; // this is EBP of routine
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	57 };
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	58
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	59 struct DHandlerInfo
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	60 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	61 int prev_index; // previous table index
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	62 unsigned cioffset; // offset to DCatchInfo data from start of table (!=0 if try-catch)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	63 void *finally_code; // pointer to finally code to execute
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	64 // (!=0 if try-finally)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	65 };
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	66
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	67 // Address of DHandlerTable is passed in EAX to _d_framehandler()
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	68
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	69 struct DHandlerTable
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	70 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	71 void *fptr; // pointer to start of function
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	72 unsigned espoffset; // offset of ESP from EBP
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	73 unsigned retoffset; // offset from start of function to return code
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	74 struct DHandlerInfo handler_info[1];
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	75 };
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	76
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	77 struct DCatchBlock
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	78 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	79 ClassInfo *type; // catch type
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	80 unsigned bpoffset; // EBP offset of catch var
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	81 void *code; // catch handler code
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	82 };
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	83
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	84 // Create one of these for each try-catch
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	85 struct DCatchInfo
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	86 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	87 unsigned ncatches; // number of catch blocks
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	88 struct DCatchBlock catch_block[1]; // data for each catch block
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	89 };
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	90
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	91 // Macro to make our own exception code
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	92 #define MAKE_EXCEPTION_CODE(severity, facility, exception) \
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	93 (((severity) << 30) \| (1 << 29) \| (0 << 28) \| ((facility) << 16) \| (exception))
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	94
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	95 #define STATUS_DIGITAL_MARS_D_EXCEPTION MAKE_EXCEPTION_CODE(3,'D',1)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	96
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	97 Object _d_translate_se_to_d_exception(EXCEPTION_RECORD exception_record);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	98 void __cdecl _d_local_unwind(struct DHandlerTable handler_table, struct DEstablisherFrame frame, int stop_index);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	99
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	100
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	101 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	102 * The frame handler, this is called for each frame that has been registered
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	103 * in the OS except_list.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	104 * Input:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	105 * EAX the handler table for the frame
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	106 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	107
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	108 EXCEPTION_DISPOSITION _d_framehandler(
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	109 EXCEPTION_RECORD *exception_record,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	110 struct DEstablisherFrame *frame,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	111 CONTEXT context,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	112 void *dispatcher_context)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	113 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	114 struct DHandlerTable *handler_table;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	115
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	116 __asm { mov handler_table,EAX }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	117
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	118 if (exception_record->ExceptionFlags & EXCEPTION_UNWIND)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	119 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	120 // Call all the finally blocks in this frame
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	121 _d_local_unwind(handler_table, frame, -1);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	122 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	123 else
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	124 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	125 // Jump to catch block if matching one is found
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	126
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	127 int ndx,prev_ndx,i;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	128 struct DHandlerInfo *phi;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	129 struct DCatchInfo *pci;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	130 struct DCatchBlock *pcb;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	131 unsigned ncatches; // number of catches in the current handler
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	132 Object *pti;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	133 ClassInfo *ci;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	134
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	135 ci = NULL; // only compute it if we need it
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	136
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	137 // walk through handler table, checking each handler
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	138 // with an index smaller than the current table_index
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	139 for (ndx = frame->table_index; ndx != -1; ndx = prev_ndx)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	140 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	141 phi = &handler_table->handler_info[ndx];
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	142 prev_ndx = phi->prev_index;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	143 if (phi->cioffset)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	144 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	145 // this is a catch handler (no finally)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	146 pci = (struct DCatchInfo )((char )handler_table + phi->cioffset);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	147 ncatches = pci->ncatches;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	148 for (i = 0; i < ncatches; i++)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	149 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	150 pcb = &pci->catch_block[i];
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	151
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	152 if (!ci)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	153 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	154 // This code must match the translation code
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	155 if (exception_record->ExceptionCode == STATUS_DIGITAL_MARS_D_EXCEPTION)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	156 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	157 //printf("ei[0] = %p\n", exception_record->ExceptionInformation[0]);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	158 ci = (ClassInfo *)(exception_record->ExceptionInformation[0]);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	159 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	160 else
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	161 ci = &_Class_9Throwable;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	162 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	163
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	164 if (_d_isbaseof(ci, pcb->type))
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	165 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	166 // Matched the catch type, so we've found the handler.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	167 int regebp;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	168
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	169 pti = _d_translate_se_to_d_exception(exception_record);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	170
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	171 // Initialize catch variable
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	172 regebp = (int)&frame->ebp; // EBP for this frame
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	173 (void *)(regebp + (pcb->bpoffset)) = pti;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	174
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	175 // Have system call all finally blocks in intervening frames
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	176 _global_unwind(frame, exception_record);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	177
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	178 // Call all the finally blocks skipped in this frame
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	179 _d_local_unwind(handler_table, frame, ndx);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	180
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	181 frame->table_index = prev_ndx; // we are out of this handler
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	182
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	183 // Jump to catch block. Does not return.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	184 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	185 unsigned catch_esp;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	186 fp_t catch_addr;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	187
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	188 catch_addr = (fp_t)(pcb->code);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	189 catch_esp = regebp - handler_table->espoffset - sizeof(fp_t);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	190 _asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	191 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	192 mov EAX,catch_esp
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	193 mov ECX,catch_addr
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	194 mov [EAX],ECX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	195 mov EBP,regebp
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	196 mov ESP,EAX // reset stack
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	197 ret // jump to catch block
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	198 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	199 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	200 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	201 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	202 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	203 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	204 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	205 return ExceptionContinueSearch;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	206 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	207
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	208 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	209 * Exception filter for use in __try..__except block
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	210 * surrounding call to Dmain()
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	211 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	212
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	213 int _d_exception_filter(struct _EXCEPTION_POINTERS *eptrs,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	214 int retval,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	215 Object **exception_object)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	216 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	217 *exception_object = _d_translate_se_to_d_exception(eptrs->ExceptionRecord);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	218 return retval;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	219 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	220
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	221 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	222 * Throw a D object.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	223 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	224
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	225 void __stdcall _d_throw(Object *h)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	226 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	227 //printf("_d_throw(h = %p, &h = %p)\n", h, &h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	228 //printf("\tvptr = %p\n", (void *)h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	229 RaiseException(STATUS_DIGITAL_MARS_D_EXCEPTION,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	230 EXCEPTION_NONCONTINUABLE,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	231 1, (DWORD *)&h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	232 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	233
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	234 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	235 * Create an exception object
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	236 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	237
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	238 Object _d_create_exception_object(ClassInfo ci, char *msg)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	239 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	240 Throwable *exc;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	241
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	242 exc = (Throwable *)_d_newclass(ci);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	243 // BUG: what if _d_newclass() throws an out of memory exception?
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	244
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	245 if (msg)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	246 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	247 exc->msglen = strlen(msg);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	248 exc->msg = msg;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	249 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	250 return (Object *)exc;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	251 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	252
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	253 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	254 * Converts a Windows Structured Exception code to a D Exception Object.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	255 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	256
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	257 Object _d_translate_se_to_d_exception(EXCEPTION_RECORD exception_record)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	258 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	259 Object *pti;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	260
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	261 switch (exception_record->ExceptionCode) {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	262 case STATUS_DIGITAL_MARS_D_EXCEPTION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	263 // Generated D exception
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	264 pti = (Object *)(exception_record->ExceptionInformation[0]);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	265 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	266
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	267 case STATUS_INTEGER_DIVIDE_BY_ZERO:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	268 pti = _d_create_exception_object(&_Class_5Error, "Integer Divide by Zero");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	269 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	270
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	271 case STATUS_FLOAT_DIVIDE_BY_ZERO:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	272 pti = _d_create_exception_object(&_Class_5Error, "Float Divide by Zero");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	273 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	274
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	275 case STATUS_ACCESS_VIOLATION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	276 pti = _d_create_exception_object(&_Class_5Error, "Access Violation");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	277 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	278
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	279 case STATUS_STACK_OVERFLOW:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	280 pti = _d_create_exception_object(&_Class_5Error, "Stack Overflow");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	281 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	282
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	283 case STATUS_DATATYPE_MISALIGNMENT:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	284 pti = _d_create_exception_object(&_Class_5Error, "Datatype Misalignment");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	285 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	286
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	287 case STATUS_ARRAY_BOUNDS_EXCEEDED:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	288 pti = _d_create_exception_object(&_Class_5Error, "Array Bounds Exceeded");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	289 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	290
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	291 case STATUS_FLOAT_INVALID_OPERATION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	292 pti = _d_create_exception_object(&_Class_5Error, "Invalid Floating Point Operation");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	293 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	294
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	295 case STATUS_FLOAT_DENORMAL_OPERAND:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	296 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Denormal Operand");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	297 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	298
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	299 case STATUS_FLOAT_INEXACT_RESULT:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	300 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Inexact Result");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	301 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	302
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	303 case STATUS_FLOAT_OVERFLOW:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	304 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Overflow");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	305 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	306
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	307 case STATUS_FLOAT_UNDERFLOW:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	308 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Underflow");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	309 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	310
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	311 case STATUS_FLOAT_STACK_CHECK:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	312 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Stack Check");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	313 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	314
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	315 case STATUS_PRIVILEGED_INSTRUCTION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	316 pti = _d_create_exception_object(&_Class_5Error, "Privileged Instruction");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	317 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	318
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	319 case STATUS_ILLEGAL_INSTRUCTION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	320 pti = _d_create_exception_object(&_Class_5Error, "Illegal Instruction");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	321 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	322
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	323 case STATUS_BREAKPOINT:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	324 pti = _d_create_exception_object(&_Class_5Error, "Breakpoint");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	325 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	326
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	327 case STATUS_IN_PAGE_ERROR:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	328 pti = _d_create_exception_object(&_Class_5Error, "Win32 In Page Exception");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	329 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	330 /*
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	331 case STATUS_INTEGER_OVERFLOW: // not supported on any x86 processor
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	332 case STATUS_INVALID_DISPOSITION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	333 case STATUS_NONCONTINUABLE_EXCEPTION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	334 case STATUS_SINGLE_STEP:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	335 case DBG_CONTROL_C: // only when a debugger is attached
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	336 // In DMC, but not in Microsoft docs
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	337 case STATUS_GUARD_PAGE_VIOLATION:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	338 case STATUS_INVALID_HANDLE:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	339 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	340 // convert all other exception codes into a Win32Exception
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	341 default:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	342 pti = _d_create_exception_object(&_Class_5Error, "Win32 Exception");
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	343 break;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	344 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	345
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	346 return pti;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	347 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	348
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	349 /**************************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	350 * Call finally blocks in the current stack frame until stop_index.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	351 * This is roughly equivalent to _local_unwind() for C in \src\win32\ehsup.c
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	352 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	353
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	354 void __cdecl _d_local_unwind(struct DHandlerTable *handler_table,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	355 struct DEstablisherFrame *frame, int stop_index)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	356 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	357 struct DHandlerInfo *phi;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	358 struct DCatchInfo *pci;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	359 int i;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	360
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	361 // Set up a special exception handler to catch double-fault exceptions.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	362 __asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	363 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	364 push dword ptr -1
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	365 push dword ptr 0
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	366 push offset _local_except_handler // defined in src\win32\ehsup.c
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	367 push dword ptr fs:_except_list
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	368 mov FS:_except_list,ESP
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	369 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	370
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	371 for (i = frame->table_index; i != -1 && i != stop_index; i = phi->prev_index)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	372 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	373 phi = &handler_table->handler_info[i];
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	374 if (phi->finally_code)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	375 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	376 // Note that it is unnecessary to adjust the ESP, as the finally block
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	377 // accesses all items on the stack as relative to EBP.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	378
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	379 DWORD *catch_ebp = &frame->ebp;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	380 void *blockaddr = phi->finally_code;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	381
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	382 _asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	383 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	384 push EBX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	385 mov EBX,blockaddr
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	386 push EBP
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	387 mov EBP,catch_ebp
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	388 call EBX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	389 pop EBP
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	390 pop EBX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	391 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	392 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	393 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	394
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	395 _asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	396 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	397 pop FS:_except_list
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	398 add ESP,12
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	399 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	400 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	401
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	402 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	403 * external version of the unwinder
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	404 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	405
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	406 __declspec(naked) void __cdecl _d_local_unwind2()
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	407 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	408 __asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	409 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	410 jmp _d_local_unwind
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	411 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	412 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	413
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	414 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	415 * The frame handler, this is called for each frame that has been registered
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	416 * in the OS except_list.
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	417 * Input:
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	418 * EAX the handler table for the frame
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	419 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	420
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	421 EXCEPTION_DISPOSITION _d_monitor_handler(
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	422 EXCEPTION_RECORD *exception_record,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	423 struct DEstablisherFrame *frame,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	424 CONTEXT context,
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	425 void *dispatcher_context)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	426 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	427 if (exception_record->ExceptionFlags & EXCEPTION_UNWIND)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	428 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	429 _d_monitorexit((Object *)frame->table_index);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	430 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	431 else
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	432 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	433 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	434 return ExceptionContinueSearch;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	435 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	436
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	437 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	438 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	439
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	440 void _d_monitor_prolog(void x, void y, Object *h)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	441 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	442 __asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	443 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	444 push EAX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	445 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	446 //printf("_d_monitor_prolog(x=%p, y=%p, h=%p)\n", x, y, h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	447 _d_monitorenter(h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	448 __asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	449 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	450 pop EAX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	451 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	452 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	453
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	454 /***********************************
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	455 */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	456
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	457 void _d_monitor_epilog(void x, void y, Object *h)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	458 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	459 //printf("_d_monitor_epilog(x=%p, y=%p, h=%p)\n", x, y, h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	460 __asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	461 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	462 push EAX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	463 push EDX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	464 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	465 _d_monitorexit(h);
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	466 __asm
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	467 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	468 pop EDX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	469 pop EAX
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	470 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	471 }
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	472
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	473 #endif
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	474
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	475 /* ======================== linux =============================== */
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	476
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	477 #if linux
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	478
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	479 #include "mars.h"
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	480
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	481 extern ClassInfo D6object9Throwable7__ClassZ;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	482 #define _Class_9Throwable D6object9Throwable7__ClassZ;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	483
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	484 extern ClassInfo D6object5Error7__ClassZ;
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	485 #define _Class_5Error D6object5Error7__ClassZ
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	486
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	487 typedef int (*fp_t)(); // function pointer in ambient memory model
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	488
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	489 struct DHandlerInfo
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	490 {
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	491 unsigned offset; // offset from function address to start of guarded section
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	492 int prev_index; // previous table index
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	493 unsigned cioffset; // offset to DCatchInfo data from start of table (!=0 if try-catch)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	494 void *finally_code; // pointer to finally code to execute
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	495 // (!=0 if try-finally)
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	496 };
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	497
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	498 // Address of DHandlerTable, searched for by eh_finddata()
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	499
e0b2d67cfe7c Added druntime (this should be removed once it works). Robert Clipsham <robert@octarineparrot.com> parents: diff changeset	500 struct DHandlerTable

1458

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

1 /**

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

2 * Implementation of exception handling support routines for Windows.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

3 *

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

4 * Copyright: Copyright Digital Mars 1999 - 2009.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

5 * License: <a href="http://www.boost.org/LICENSE_1_0.txt>Boost License 1.0</a>.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

6 * Authors: Walter Bright

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

7 *

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

8 * Copyright Digital Mars 1999 - 2009.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

9 * Distributed under the Boost Software License, Version 1.0.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

10 * (See accompanying file LICENSE_1_0.txt or copy at

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

11 * http://www.boost.org/LICENSE_1_0.txt)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

12 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

13 #include <stdio.h>

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

14 #include <string.h>

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

15 #include <assert.h>

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

16 #include <stdlib.h>

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

17

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

18 /* ======================== Win32 =============================== */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

19

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

20 #if _WIN32

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

21

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

22 #include <excpt.h>

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

23 #include <windows.h>

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

24

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

25 //#include "\sc\src\include\ehsup.h"

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

26

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

27 /*** From Digital Mars C runtime library ***/

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

28 EXCEPTION_DISPOSITION __cdecl _local_except_handler (EXCEPTION_RECORD *ExceptionRecord,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

29 void* EstablisherFrame,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

30 void *ContextRecord,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

31 void *DispatcherContext

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

32 );

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

33 void __cdecl _global_unwind(void *frame,EXCEPTION_RECORD *eRecord);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

34 #define EXCEPTION_UNWIND 6 // Flag to indicate if the system is unwinding

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

35

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

36 extern DWORD _except_list;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

37 /*** ***/

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

38

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

39 #include "mars.h"

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

40

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

41 extern ClassInfo D6object9Throwable7__ClassZ;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

42 #define _Class_9Throwable D6object9Throwable7__ClassZ;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

43

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

44 extern ClassInfo D6object5Error7__ClassZ;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

45 #define _Class_5Error D6object5Error7__ClassZ

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

46

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

47 typedef int (__pascal *fp_t)(); // function pointer in ambient memory model

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

48

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

49 // The layout of DEstablisherFrame is the same for C++

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

50

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

51 struct DEstablisherFrame

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

52 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

53 void *prev; // pointer to previous exception list

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

54 void *handler; // pointer to routine for exception handler

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

55 DWORD table_index; // current index into handler_info[]

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

56 DWORD ebp; // this is EBP of routine

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

57 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

58

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

59 struct DHandlerInfo

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

60 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

61 int prev_index; // previous table index

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

62 unsigned cioffset; // offset to DCatchInfo data from start of table (!=0 if try-catch)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

63 void *finally_code; // pointer to finally code to execute

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

64 // (!=0 if try-finally)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

65 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

66

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

67 // Address of DHandlerTable is passed in EAX to _d_framehandler()

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

68

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

69 struct DHandlerTable

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

70 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

71 void *fptr; // pointer to start of function

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

72 unsigned espoffset; // offset of ESP from EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

73 unsigned retoffset; // offset from start of function to return code

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

74 struct DHandlerInfo handler_info[1];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

75 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

76

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

77 struct DCatchBlock

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

78 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

79 ClassInfo *type; // catch type

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

80 unsigned bpoffset; // EBP offset of catch var

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

81 void *code; // catch handler code

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

82 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

83

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

84 // Create one of these for each try-catch

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

85 struct DCatchInfo

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

86 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

87 unsigned ncatches; // number of catch blocks

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

88 struct DCatchBlock catch_block[1]; // data for each catch block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

89 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

90

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

91 // Macro to make our own exception code

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

92 #define MAKE_EXCEPTION_CODE(severity, facility, exception) \

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

93 (((severity) << 30) | (1 << 29) | (0 << 28) | ((facility) << 16) | (exception))

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

94

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

95 #define STATUS_DIGITAL_MARS_D_EXCEPTION MAKE_EXCEPTION_CODE(3,'D',1)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

96

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

97 Object *_d_translate_se_to_d_exception(EXCEPTION_RECORD *exception_record);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

98 void __cdecl _d_local_unwind(struct DHandlerTable *handler_table, struct DEstablisherFrame *frame, int stop_index);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

99

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

100

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

101 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

102 * The frame handler, this is called for each frame that has been registered

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

103 * in the OS except_list.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

104 * Input:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

105 * EAX the handler table for the frame

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

106 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

107

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

108 EXCEPTION_DISPOSITION _d_framehandler(

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

109 EXCEPTION_RECORD *exception_record,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

110 struct DEstablisherFrame *frame,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

111 CONTEXT context,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

112 void *dispatcher_context)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

113 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

114 struct DHandlerTable *handler_table;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

115

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

116 __asm { mov handler_table,EAX }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

117

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

118 if (exception_record->ExceptionFlags & EXCEPTION_UNWIND)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

119 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

120 // Call all the finally blocks in this frame

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

121 _d_local_unwind(handler_table, frame, -1);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

122 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

123 else

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

124 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

125 // Jump to catch block if matching one is found

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

126

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

127 int ndx,prev_ndx,i;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

128 struct DHandlerInfo *phi;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

129 struct DCatchInfo *pci;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

130 struct DCatchBlock *pcb;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

131 unsigned ncatches; // number of catches in the current handler

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

132 Object *pti;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

133 ClassInfo *ci;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

134

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

135 ci = NULL; // only compute it if we need it

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

136

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

137 // walk through handler table, checking each handler

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

138 // with an index smaller than the current table_index

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

139 for (ndx = frame->table_index; ndx != -1; ndx = prev_ndx)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

140 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

141 phi = &handler_table->handler_info[ndx];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

142 prev_ndx = phi->prev_index;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

143 if (phi->cioffset)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

144 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

145 // this is a catch handler (no finally)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

146 pci = (struct DCatchInfo *)((char *)handler_table + phi->cioffset);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

147 ncatches = pci->ncatches;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

148 for (i = 0; i < ncatches; i++)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

149 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

150 pcb = &pci->catch_block[i];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

151

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

152 if (!ci)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

153 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

154 // This code must match the translation code

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

155 if (exception_record->ExceptionCode == STATUS_DIGITAL_MARS_D_EXCEPTION)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

156 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

157 //printf("ei[0] = %p\n", exception_record->ExceptionInformation[0]);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

158 ci = **(ClassInfo ***)(exception_record->ExceptionInformation[0]);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

159 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

160 else

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

161 ci = &_Class_9Throwable;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

162 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

163

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

164 if (_d_isbaseof(ci, pcb->type))

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

165 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

166 // Matched the catch type, so we've found the handler.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

167 int regebp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

168

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

169 pti = _d_translate_se_to_d_exception(exception_record);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

170

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

171 // Initialize catch variable

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

172 regebp = (int)&frame->ebp; // EBP for this frame

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

173 *(void **)(regebp + (pcb->bpoffset)) = pti;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

174

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

175 // Have system call all finally blocks in intervening frames

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

176 _global_unwind(frame, exception_record);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

177

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

178 // Call all the finally blocks skipped in this frame

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

179 _d_local_unwind(handler_table, frame, ndx);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

180

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

181 frame->table_index = prev_ndx; // we are out of this handler

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

182

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

183 // Jump to catch block. Does not return.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

184 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

185 unsigned catch_esp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

186 fp_t catch_addr;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

187

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

188 catch_addr = (fp_t)(pcb->code);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

189 catch_esp = regebp - handler_table->espoffset - sizeof(fp_t);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

190 _asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

191 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

192 mov EAX,catch_esp

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

193 mov ECX,catch_addr

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

194 mov [EAX],ECX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

195 mov EBP,regebp

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

196 mov ESP,EAX // reset stack

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

197 ret // jump to catch block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

198 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

199 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

200 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

201 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

202 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

203 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

204 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

205 return ExceptionContinueSearch;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

206 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

207

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

208 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

209 * Exception filter for use in __try..__except block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

210 * surrounding call to Dmain()

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

211 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

212

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

213 int _d_exception_filter(struct _EXCEPTION_POINTERS *eptrs,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

214 int retval,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

215 Object **exception_object)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

216 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

217 *exception_object = _d_translate_se_to_d_exception(eptrs->ExceptionRecord);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

218 return retval;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

219 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

220

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

221 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

222 * Throw a D object.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

223 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

224

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

225 void __stdcall _d_throw(Object *h)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

226 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

227 //printf("_d_throw(h = %p, &h = %p)\n", h, &h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

228 //printf("\tvptr = %p\n", *(void **)h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

229 RaiseException(STATUS_DIGITAL_MARS_D_EXCEPTION,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

230 EXCEPTION_NONCONTINUABLE,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

231 1, (DWORD *)&h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

232 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

233

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

234 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

235 * Create an exception object

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

236 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

237

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

238 Object *_d_create_exception_object(ClassInfo *ci, char *msg)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

239 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

240 Throwable *exc;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

241

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

242 exc = (Throwable *)_d_newclass(ci);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

243 // BUG: what if _d_newclass() throws an out of memory exception?

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

244

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

245 if (msg)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

246 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

247 exc->msglen = strlen(msg);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

248 exc->msg = msg;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

249 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

250 return (Object *)exc;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

251 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

252

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

253 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

254 * Converts a Windows Structured Exception code to a D Exception Object.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

255 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

256

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

257 Object *_d_translate_se_to_d_exception(EXCEPTION_RECORD *exception_record)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

258 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

259 Object *pti;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

260

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

261 switch (exception_record->ExceptionCode) {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

262 case STATUS_DIGITAL_MARS_D_EXCEPTION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

263 // Generated D exception

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

264 pti = (Object *)(exception_record->ExceptionInformation[0]);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

265 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

266

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

267 case STATUS_INTEGER_DIVIDE_BY_ZERO:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

268 pti = _d_create_exception_object(&_Class_5Error, "Integer Divide by Zero");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

269 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

270

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

271 case STATUS_FLOAT_DIVIDE_BY_ZERO:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

272 pti = _d_create_exception_object(&_Class_5Error, "Float Divide by Zero");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

273 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

274

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

275 case STATUS_ACCESS_VIOLATION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

276 pti = _d_create_exception_object(&_Class_5Error, "Access Violation");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

277 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

278

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

279 case STATUS_STACK_OVERFLOW:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

280 pti = _d_create_exception_object(&_Class_5Error, "Stack Overflow");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

281 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

282

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

283 case STATUS_DATATYPE_MISALIGNMENT:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

284 pti = _d_create_exception_object(&_Class_5Error, "Datatype Misalignment");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

285 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

286

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

287 case STATUS_ARRAY_BOUNDS_EXCEEDED:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

288 pti = _d_create_exception_object(&_Class_5Error, "Array Bounds Exceeded");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

289 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

290

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

291 case STATUS_FLOAT_INVALID_OPERATION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

292 pti = _d_create_exception_object(&_Class_5Error, "Invalid Floating Point Operation");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

293 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

294

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

295 case STATUS_FLOAT_DENORMAL_OPERAND:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

296 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Denormal Operand");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

297 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

298

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

299 case STATUS_FLOAT_INEXACT_RESULT:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

300 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Inexact Result");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

301 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

302

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

303 case STATUS_FLOAT_OVERFLOW:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

304 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Overflow");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

305 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

306

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

307 case STATUS_FLOAT_UNDERFLOW:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

308 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Underflow");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

309 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

310

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

311 case STATUS_FLOAT_STACK_CHECK:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

312 pti = _d_create_exception_object(&_Class_5Error, "Floating Point Stack Check");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

313 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

314

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

315 case STATUS_PRIVILEGED_INSTRUCTION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

316 pti = _d_create_exception_object(&_Class_5Error, "Privileged Instruction");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

317 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

318

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

319 case STATUS_ILLEGAL_INSTRUCTION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

320 pti = _d_create_exception_object(&_Class_5Error, "Illegal Instruction");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

321 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

322

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

323 case STATUS_BREAKPOINT:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

324 pti = _d_create_exception_object(&_Class_5Error, "Breakpoint");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

325 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

326

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

327 case STATUS_IN_PAGE_ERROR:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

328 pti = _d_create_exception_object(&_Class_5Error, "Win32 In Page Exception");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

329 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

330 /*

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

331 case STATUS_INTEGER_OVERFLOW: // not supported on any x86 processor

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

332 case STATUS_INVALID_DISPOSITION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

333 case STATUS_NONCONTINUABLE_EXCEPTION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

334 case STATUS_SINGLE_STEP:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

335 case DBG_CONTROL_C: // only when a debugger is attached

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

336 // In DMC, but not in Microsoft docs

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

337 case STATUS_GUARD_PAGE_VIOLATION:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

338 case STATUS_INVALID_HANDLE:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

339 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

340 // convert all other exception codes into a Win32Exception

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

341 default:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

342 pti = _d_create_exception_object(&_Class_5Error, "Win32 Exception");

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

343 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

344 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

345

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

346 return pti;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

347 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

348

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

349 /**************************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

350 * Call finally blocks in the current stack frame until stop_index.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

351 * This is roughly equivalent to _local_unwind() for C in \src\win32\ehsup.c

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

352 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

353

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

354 void __cdecl _d_local_unwind(struct DHandlerTable *handler_table,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

355 struct DEstablisherFrame *frame, int stop_index)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

356 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

357 struct DHandlerInfo *phi;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

358 struct DCatchInfo *pci;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

359 int i;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

360

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

361 // Set up a special exception handler to catch double-fault exceptions.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

362 __asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

363 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

364 push dword ptr -1

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

365 push dword ptr 0

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

366 push offset _local_except_handler // defined in src\win32\ehsup.c

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

367 push dword ptr fs:_except_list

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

368 mov FS:_except_list,ESP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

369 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

370

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

371 for (i = frame->table_index; i != -1 && i != stop_index; i = phi->prev_index)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

372 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

373 phi = &handler_table->handler_info[i];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

374 if (phi->finally_code)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

375 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

376 // Note that it is unnecessary to adjust the ESP, as the finally block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

377 // accesses all items on the stack as relative to EBP.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

378

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

379 DWORD *catch_ebp = &frame->ebp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

380 void *blockaddr = phi->finally_code;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

381

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

382 _asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

383 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

384 push EBX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

385 mov EBX,blockaddr

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

386 push EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

387 mov EBP,catch_ebp

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

388 call EBX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

389 pop EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

390 pop EBX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

391 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

392 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

393 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

394

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

395 _asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

396 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

397 pop FS:_except_list

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

398 add ESP,12

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

399 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

400 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

401

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

402 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

403 * external version of the unwinder

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

404 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

405

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

406 __declspec(naked) void __cdecl _d_local_unwind2()

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

407 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

408 __asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

409 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

410 jmp _d_local_unwind

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

411 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

412 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

413

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

414 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

415 * The frame handler, this is called for each frame that has been registered

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

416 * in the OS except_list.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

417 * Input:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

418 * EAX the handler table for the frame

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

419 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

420

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

421 EXCEPTION_DISPOSITION _d_monitor_handler(

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

422 EXCEPTION_RECORD *exception_record,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

423 struct DEstablisherFrame *frame,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

424 CONTEXT context,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

425 void *dispatcher_context)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

426 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

427 if (exception_record->ExceptionFlags & EXCEPTION_UNWIND)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

428 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

429 _d_monitorexit((Object *)frame->table_index);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

430 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

431 else

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

432 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

433 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

434 return ExceptionContinueSearch;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

435 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

436

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

437 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

438 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

439

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

440 void _d_monitor_prolog(void *x, void *y, Object *h)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

441 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

442 __asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

443 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

444 push EAX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

445 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

446 //printf("_d_monitor_prolog(x=%p, y=%p, h=%p)\n", x, y, h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

447 _d_monitorenter(h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

448 __asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

449 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

450 pop EAX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

451 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

452 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

453

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

454 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

455 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

456

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

457 void _d_monitor_epilog(void *x, void *y, Object *h)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

458 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

459 //printf("_d_monitor_epilog(x=%p, y=%p, h=%p)\n", x, y, h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

460 __asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

461 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

462 push EAX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

463 push EDX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

464 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

465 _d_monitorexit(h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

466 __asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

467 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

468 pop EDX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

469 pop EAX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

470 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

471 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

472

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

473 #endif

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

474

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

475 /* ======================== linux =============================== */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

476

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

477 #if linux

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

478

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

479 #include "mars.h"

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

480

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

481 extern ClassInfo D6object9Throwable7__ClassZ;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

482 #define _Class_9Throwable D6object9Throwable7__ClassZ;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

483

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

484 extern ClassInfo D6object5Error7__ClassZ;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

485 #define _Class_5Error D6object5Error7__ClassZ

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

486

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

487 typedef int (*fp_t)(); // function pointer in ambient memory model

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

488

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

489 struct DHandlerInfo

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

490 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

491 unsigned offset; // offset from function address to start of guarded section

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

492 int prev_index; // previous table index

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

493 unsigned cioffset; // offset to DCatchInfo data from start of table (!=0 if try-catch)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

494 void *finally_code; // pointer to finally code to execute

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

495 // (!=0 if try-finally)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

496 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

497

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

498 // Address of DHandlerTable, searched for by eh_finddata()

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

499

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

500 struct DHandlerTable

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

501 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

502 void *fptr; // pointer to start of function

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

503 unsigned espoffset; // offset of ESP from EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

504 unsigned retoffset; // offset from start of function to return code

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

505 unsigned nhandlers; // dimension of handler_info[]

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

506 struct DHandlerInfo handler_info[1];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

507 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

508

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

509 struct DCatchBlock

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

510 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

511 ClassInfo *type; // catch type

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

512 unsigned bpoffset; // EBP offset of catch var

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

513 void *code; // catch handler code

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

514 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

515

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

516 // Create one of these for each try-catch

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

517 struct DCatchInfo

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

518 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

519 unsigned ncatches; // number of catch blocks

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

520 struct DCatchBlock catch_block[1]; // data for each catch block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

521 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

522

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

523 // One of these is generated for each function with try-catch or try-finally

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

524

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

525 struct FuncTable

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

526 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

527 void *fptr; // pointer to start of function

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

528 struct DHandlerTable *handlertable; // eh data for this function

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

529 unsigned size; // size of function in bytes

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

530 };

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

531

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

532 extern struct FuncTable *table_start;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

533 extern struct FuncTable *table_end;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

534

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

535 void terminate()

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

536 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

537 // _asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

538 // {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

539 // hlt

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

540 // }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

541 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

542

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

543 /*******************************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

544 * Given address that is inside a function,

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

545 * figure out which function it is in.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

546 * Return DHandlerTable if there is one, NULL if not.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

547 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

548

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

549 struct DHandlerTable *__eh_finddata(void *address)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

550 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

551 struct FuncTable *ft;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

552

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

553 for (ft = (struct FuncTable *)table_start;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

554 ft < (struct FuncTable *)table_end;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

555 ft++)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

556 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

557 if (ft->fptr <= address &&

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

558 address < (void *)((char *)ft->fptr + ft->size))

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

559 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

560 return ft->handlertable;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

561 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

562 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

563 return NULL;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

564 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

565

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

566

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

567 /******************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

568 * Given EBP, find return address to caller, and caller's EBP.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

569 * Input:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

570 * regbp Value of EBP for current function

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

571 * *pretaddr Return address

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

572 * Output:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

573 * *pretaddr return address to caller

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

574 * Returns:

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

575 * caller's EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

576 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

577

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

578 unsigned __eh_find_caller(unsigned regbp, unsigned *pretaddr)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

579 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

580 unsigned bp = *(unsigned *)regbp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

581

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

582 if (bp) // if not end of call chain

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

583 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

584 // Perform sanity checks on new EBP.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

585 // If it is screwed up, terminate() hopefully before we do more damage.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

586 if (bp <= regbp)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

587 // stack should grow to smaller values

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

588 terminate();

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

589

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

590 *pretaddr = *(unsigned *)(regbp + sizeof(int));

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

591 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

592 return bp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

593 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

594

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

595 /***********************************

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

596 * Throw a D object.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

597 */

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

598

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

599 void __stdcall _d_throw(Object *h)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

600 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

601 unsigned regebp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

602

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

603 //printf("_d_throw(h = %p, &h = %p)\n", h, &h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

604 //printf("\tvptr = %p\n", *(void **)h);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

605

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

606 regebp = _EBP;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

607

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

608 while (1) // for each function on the stack

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

609 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

610 struct DHandlerTable *handler_table;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

611 struct FuncTable *pfunc;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

612 struct DHandlerInfo *phi;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

613 unsigned retaddr;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

614 unsigned funcoffset;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

615 unsigned spoff;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

616 unsigned retoffset;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

617 int index;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

618 int dim;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

619 int ndx;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

620 int prev_ndx;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

621

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

622 regebp = __eh_find_caller(regebp,&retaddr);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

623 if (!regebp)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

624 // if end of call chain

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

625 break;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

626

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

627 handler_table = __eh_finddata((void *)retaddr); // find static data associated with function

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

628 if (!handler_table) // if no static data

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

629 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

630 continue;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

631 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

632 funcoffset = (unsigned)handler_table->fptr;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

633 spoff = handler_table->espoffset;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

634 retoffset = handler_table->retoffset;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

635

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

636 #ifdef DEBUG

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

637 printf("retaddr = x%x\n",(unsigned)retaddr);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

638 printf("regebp=x%04x, funcoffset=x%04x, spoff=x%x, retoffset=x%x\n",

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

639 regebp,funcoffset,spoff,retoffset);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

640 #endif

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

641

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

642 // Find start index for retaddr in static data

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

643 dim = handler_table->nhandlers;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

644 index = -1;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

645 for (int i = 0; i < dim; i++)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

646 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

647 phi = &handler_table->handler_info[i];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

648

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

649 if ((unsigned)retaddr >= funcoffset + phi->offset)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

650 index = i;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

651 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

652

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

653 // walk through handler table, checking each handler

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

654 // with an index smaller than the current table_index

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

655 for (ndx = index; ndx != -1; ndx = prev_ndx)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

656 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

657 phi = &handler_table->handler_info[ndx];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

658 prev_ndx = phi->prev_index;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

659 if (phi->cioffset)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

660 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

661 // this is a catch handler (no finally)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

662 struct DCatchInfo *pci;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

663 int ncatches;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

664 int i;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

665

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

666 pci = (struct DCatchInfo *)((char *)handler_table + phi->cioffset);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

667 ncatches = pci->ncatches;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

668 for (i = 0; i < ncatches; i++)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

669 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

670 struct DCatchBlock *pcb;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

671 ClassInfo *ci = **(ClassInfo ***)h;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

672

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

673 pcb = &pci->catch_block[i];

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

674

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

675 if (_d_isbaseof(ci, pcb->type))

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

676 { // Matched the catch type, so we've found the handler.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

677

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

678 // Initialize catch variable

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

679 *(void **)(regebp + (pcb->bpoffset)) = h;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

680

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

681 // Jump to catch block. Does not return.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

682 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

683 unsigned catch_esp;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

684 fp_t catch_addr;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

685

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

686 catch_addr = (fp_t)(pcb->code);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

687 catch_esp = regebp - handler_table->espoffset - sizeof(fp_t);

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

688 _asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

689 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

690 mov EAX,catch_esp

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

691 mov ECX,catch_addr

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

692 mov [EAX],ECX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

693 mov EBP,regebp

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

694 mov ESP,EAX // reset stack

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

695 ret // jump to catch block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

696 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

697 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

698 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

699 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

700 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

701 else if (phi->finally_code)

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

702 { // Call finally block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

703 // Note that it is unnecessary to adjust the ESP, as the finally block

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

704 // accesses all items on the stack as relative to EBP.

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

705

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

706 void *blockaddr = phi->finally_code;

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

707

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

708 _asm

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

709 {

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

710 push EBX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

711 mov EBX,blockaddr

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

712 push EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

713 mov EBP,regebp

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

714 call EBX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

715 pop EBP

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

716 pop EBX

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

717 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

718 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

719 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

720 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

721 }

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

722

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

723

e0b2d67cfe7c Added druntime (this should be removed once it works).

Robert Clipsham <robert@octarineparrot.com>

parents:

diff changeset

724 #endif

Mercurial > projects > ldc

annotate druntime/src/compiler/dmd/deh.c @ 1458:e0b2d67cfe7c