blob: 7c3b7deddfa8ca4df9cb5f71d1682843dba0a444 [file] [log] [blame]
Chris Lattner626ab1c2011-04-08 18:02:51 +00001//===-- ExceptionDemo.cpp - An example using llvm Exceptions --------------===//
Garrison Venna2c2f1a2010-02-09 23:22:43 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
Chris Lattner626ab1c2011-04-08 18:02:51 +00008//===----------------------------------------------------------------------===//
Garrison Venna2c2f1a2010-02-09 23:22:43 +00009//
10// Demo program which implements an example LLVM exception implementation, and
11// shows several test cases including the handling of foreign exceptions.
12// It is run with type info types arguments to throw. A test will
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000013// be run for each given type info type. While type info types with the value
Garrison Venna2c2f1a2010-02-09 23:22:43 +000014// of -1 will trigger a foreign C++ exception to be thrown; type info types
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000015// <= 6 and >= 1 will cause the associated generated exceptions to be thrown
Garrison Venna2c2f1a2010-02-09 23:22:43 +000016// and caught by generated test functions; and type info types > 6
17// will result in exceptions which pass through to the test harness. All other
18// type info types are not supported and could cause a crash. In all cases,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000019// the "finally" blocks of every generated test functions will executed
Garrison Venna2c2f1a2010-02-09 23:22:43 +000020// regardless of whether or not that test function ignores or catches the
21// thrown exception.
22//
23// examples:
24//
25// ExceptionDemo
26//
27// causes a usage to be printed to stderr
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000028//
Garrison Venna2c2f1a2010-02-09 23:22:43 +000029// ExceptionDemo 2 3 7 -1
30//
31// results in the following cases:
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000032// - Value 2 causes an exception with a type info type of 2 to be
Garrison Venna2c2f1a2010-02-09 23:22:43 +000033// thrown and caught by an inner generated test function.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000034// - Value 3 causes an exception with a type info type of 3 to be
Garrison Venna2c2f1a2010-02-09 23:22:43 +000035// thrown and caught by an outer generated test function.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000036// - Value 7 causes an exception with a type info type of 7 to be
Garrison Venna2c2f1a2010-02-09 23:22:43 +000037// thrown and NOT be caught by any generated function.
38// - Value -1 causes a foreign C++ exception to be thrown and not be
39// caught by any generated function
40//
41// Cases -1 and 7 are caught by a C++ test harness where the validity of
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000042// of a C++ catch(...) clause catching a generated exception with a
43// type info type of 7 is explained by: example in rules 1.6.4 in
Garrison Venn113aa862011-09-28 10:53:56 +000044// http://sourcery.mentor.com/public/cxx-abi/abi-eh.html (v1.22)
Garrison Venna2c2f1a2010-02-09 23:22:43 +000045//
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000046// This code uses code from the llvm compiler-rt project and the llvm
Garrison Venna2c2f1a2010-02-09 23:22:43 +000047// Kaleidoscope project.
48//
Chris Lattner626ab1c2011-04-08 18:02:51 +000049//===----------------------------------------------------------------------===//
Garrison Venna2c2f1a2010-02-09 23:22:43 +000050
Chandler Carruth4ca7e092012-12-04 10:16:57 +000051#include "llvm/Analysis/Verifier.h"
Garrison Venna2c2f1a2010-02-09 23:22:43 +000052#include "llvm/ExecutionEngine/ExecutionEngine.h"
53#include "llvm/ExecutionEngine/JIT.h"
Chandler Carruth0a084602013-01-02 11:56:33 +000054#include "llvm/IR/DataLayout.h"
55#include "llvm/IR/DerivedTypes.h"
56#include "llvm/IR/IRBuilder.h"
57#include "llvm/IR/Intrinsics.h"
58#include "llvm/IR/LLVMContext.h"
59#include "llvm/IR/Module.h"
Garrison Venna2c2f1a2010-02-09 23:22:43 +000060#include "llvm/PassManager.h"
Garrison Venna2c2f1a2010-02-09 23:22:43 +000061#include "llvm/Support/Dwarf.h"
Evan Cheng3e74d6f2011-08-24 18:08:43 +000062#include "llvm/Support/TargetSelect.h"
Chandler Carruth4ca7e092012-12-04 10:16:57 +000063#include "llvm/Target/TargetOptions.h"
64#include "llvm/Transforms/Scalar.h"
Garrison Venna2c2f1a2010-02-09 23:22:43 +000065
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000066// FIXME: Although all systems tested with (Linux, OS X), do not need this
67// header file included. A user on ubuntu reported, undefined symbols
Garrison Venn18bba842011-04-12 12:30:10 +000068// for stderr, and fprintf, and the addition of this include fixed the
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000069// issue for them. Given that LLVM's best practices include the goal
70// of reducing the number of redundant header files included, the
71// correct solution would be to find out why these symbols are not
Garrison Venn18bba842011-04-12 12:30:10 +000072// defined for the system in question, and fix the issue by finding out
73// which LLVM header file, if any, would include these symbols.
Garrison Venn2a7d4ad2011-04-11 19:52:49 +000074#include <cstdio>
Garrison Venn18bba842011-04-12 12:30:10 +000075
Garrison Venna2c2f1a2010-02-09 23:22:43 +000076#include <sstream>
Garrison Venna2c2f1a2010-02-09 23:22:43 +000077#include <stdexcept>
78
79
80#ifndef USE_GLOBAL_STR_CONSTS
81#define USE_GLOBAL_STR_CONSTS true
82#endif
83
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000084// System C++ ABI unwind types from:
Garrison Venn113aa862011-09-28 10:53:56 +000085// http://sourcery.mentor.com/public/cxx-abi/abi-eh.html (v1.22)
Garrison Venna2c2f1a2010-02-09 23:22:43 +000086
87extern "C" {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +000088
Chris Lattner626ab1c2011-04-08 18:02:51 +000089 typedef enum {
Garrison Venna2c2f1a2010-02-09 23:22:43 +000090 _URC_NO_REASON = 0,
91 _URC_FOREIGN_EXCEPTION_CAUGHT = 1,
92 _URC_FATAL_PHASE2_ERROR = 2,
93 _URC_FATAL_PHASE1_ERROR = 3,
94 _URC_NORMAL_STOP = 4,
95 _URC_END_OF_STACK = 5,
96 _URC_HANDLER_FOUND = 6,
97 _URC_INSTALL_CONTEXT = 7,
98 _URC_CONTINUE_UNWIND = 8
Chris Lattner626ab1c2011-04-08 18:02:51 +000099 } _Unwind_Reason_Code;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000100
Chris Lattner626ab1c2011-04-08 18:02:51 +0000101 typedef enum {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000102 _UA_SEARCH_PHASE = 1,
103 _UA_CLEANUP_PHASE = 2,
104 _UA_HANDLER_FRAME = 4,
105 _UA_FORCE_UNWIND = 8,
106 _UA_END_OF_STACK = 16
Chris Lattner626ab1c2011-04-08 18:02:51 +0000107 } _Unwind_Action;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000108
Chris Lattner626ab1c2011-04-08 18:02:51 +0000109 struct _Unwind_Exception;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000110
Chris Lattner626ab1c2011-04-08 18:02:51 +0000111 typedef void (*_Unwind_Exception_Cleanup_Fn) (_Unwind_Reason_Code,
112 struct _Unwind_Exception *);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000113
Chris Lattner626ab1c2011-04-08 18:02:51 +0000114 struct _Unwind_Exception {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000115 uint64_t exception_class;
116 _Unwind_Exception_Cleanup_Fn exception_cleanup;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000117
118 uintptr_t private_1;
119 uintptr_t private_2;
120
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000121 // @@@ The IA-64 ABI says that this structure must be double-word aligned.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000122 // Taking that literally does not make much sense generically. Instead
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000123 // we provide the maximum alignment required by any type for the machine.
Chris Lattner626ab1c2011-04-08 18:02:51 +0000124 } __attribute__((__aligned__));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000125
Chris Lattner626ab1c2011-04-08 18:02:51 +0000126 struct _Unwind_Context;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000127 typedef struct _Unwind_Context *_Unwind_Context_t;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000128
Garrison Venn64cfcef2011-04-10 14:06:52 +0000129 extern const uint8_t *_Unwind_GetLanguageSpecificData (_Unwind_Context_t c);
Chris Lattner626ab1c2011-04-08 18:02:51 +0000130 extern uintptr_t _Unwind_GetGR (_Unwind_Context_t c, int i);
131 extern void _Unwind_SetGR (_Unwind_Context_t c, int i, uintptr_t n);
132 extern void _Unwind_SetIP (_Unwind_Context_t, uintptr_t new_value);
133 extern uintptr_t _Unwind_GetIP (_Unwind_Context_t context);
134 extern uintptr_t _Unwind_GetRegionStart (_Unwind_Context_t context);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000135
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000136} // extern "C"
137
138//
139// Example types
140//
141
142/// This is our simplistic type info
143struct OurExceptionType_t {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000144 /// type info type
145 int type;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000146};
147
148
149/// This is our Exception class which relies on a negative offset to calculate
150/// pointers to its instances from pointers to its unwindException member.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000151///
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000152/// Note: The above unwind.h defines struct _Unwind_Exception to be aligned
153/// on a double word boundary. This is necessary to match the standard:
154/// http://refspecs.freestandards.org/abi-eh-1.21.html
155struct OurBaseException_t {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000156 struct OurExceptionType_t type;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000157
Chris Lattner626ab1c2011-04-08 18:02:51 +0000158 // Note: This is properly aligned in unwind.h
159 struct _Unwind_Exception unwindException;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000160};
161
162
163// Note: Not needed since we are C++
164typedef struct OurBaseException_t OurException;
165typedef struct _Unwind_Exception OurUnwindException;
166
167//
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000168// Various globals used to support typeinfo and generatted exceptions in
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000169// general
170//
171
172static std::map<std::string, llvm::Value*> namedValues;
173
174int64_t ourBaseFromUnwindOffset;
175
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000176const unsigned char ourBaseExcpClassChars[] =
Chris Lattner626ab1c2011-04-08 18:02:51 +0000177{'o', 'b', 'j', '\0', 'b', 'a', 's', '\0'};
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000178
179
180static uint64_t ourBaseExceptionClass = 0;
181
182static std::vector<std::string> ourTypeInfoNames;
183static std::map<int, std::string> ourTypeInfoNamesIndex;
184
Garrison Venn64cfcef2011-04-10 14:06:52 +0000185static llvm::StructType *ourTypeInfoType;
Garrison Venn85500712011-09-22 15:45:14 +0000186static llvm::StructType *ourCaughtResultType;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000187static llvm::StructType *ourExceptionType;
188static llvm::StructType *ourUnwindExceptionType;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000189
Garrison Venn64cfcef2011-04-10 14:06:52 +0000190static llvm::ConstantInt *ourExceptionNotThrownState;
191static llvm::ConstantInt *ourExceptionThrownState;
192static llvm::ConstantInt *ourExceptionCaughtState;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000193
194typedef std::vector<std::string> ArgNames;
Garrison Venn6e6cdd02011-07-11 16:31:53 +0000195typedef std::vector<llvm::Type*> ArgTypes;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000196
197//
198// Code Generation Utilities
199//
200
201/// Utility used to create a function, both declarations and definitions
202/// @param module for module instance
203/// @param retType function return type
204/// @param theArgTypes function's ordered argument types
205/// @param theArgNames function's ordered arguments needed if use of this
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000206/// function corresponds to a function definition. Use empty
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000207/// aggregate for function declarations.
208/// @param functName function name
209/// @param linkage function linkage
210/// @param declarationOnly for function declarations
211/// @param isVarArg function uses vararg arguments
212/// @returns function instance
Garrison Venn64cfcef2011-04-10 14:06:52 +0000213llvm::Function *createFunction(llvm::Module &module,
Chris Lattner77613d42011-07-18 04:52:09 +0000214 llvm::Type *retType,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000215 const ArgTypes &theArgTypes,
216 const ArgNames &theArgNames,
217 const std::string &functName,
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000218 llvm::GlobalValue::LinkageTypes linkage,
219 bool declarationOnly,
220 bool isVarArg) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000221 llvm::FunctionType *functType =
222 llvm::FunctionType::get(retType, theArgTypes, isVarArg);
223 llvm::Function *ret =
224 llvm::Function::Create(functType, linkage, functName, &module);
225 if (!ret || declarationOnly)
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000226 return(ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000227
Chris Lattner626ab1c2011-04-08 18:02:51 +0000228 namedValues.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000229 unsigned i = 0;
Chris Lattner626ab1c2011-04-08 18:02:51 +0000230 for (llvm::Function::arg_iterator argIndex = ret->arg_begin();
231 i != theArgNames.size();
232 ++argIndex, ++i) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000233
Chris Lattner626ab1c2011-04-08 18:02:51 +0000234 argIndex->setName(theArgNames[i]);
235 namedValues[theArgNames[i]] = argIndex;
236 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000237
Chris Lattner626ab1c2011-04-08 18:02:51 +0000238 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000239}
240
241
242/// Create an alloca instruction in the entry block of
243/// the parent function. This is used for mutable variables etc.
244/// @param function parent instance
245/// @param varName stack variable name
246/// @param type stack variable type
247/// @param initWith optional constant initialization value
248/// @returns AllocaInst instance
Garrison Venn64cfcef2011-04-10 14:06:52 +0000249static llvm::AllocaInst *createEntryBlockAlloca(llvm::Function &function,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000250 const std::string &varName,
Chris Lattner77613d42011-07-18 04:52:09 +0000251 llvm::Type *type,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000252 llvm::Constant *initWith = 0) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000253 llvm::BasicBlock &block = function.getEntryBlock();
Chris Lattner626ab1c2011-04-08 18:02:51 +0000254 llvm::IRBuilder<> tmp(&block, block.begin());
Garrison Venn64cfcef2011-04-10 14:06:52 +0000255 llvm::AllocaInst *ret = tmp.CreateAlloca(type, 0, varName.c_str());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000256
257 if (initWith)
Chris Lattner626ab1c2011-04-08 18:02:51 +0000258 tmp.CreateStore(initWith, ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000259
Chris Lattner626ab1c2011-04-08 18:02:51 +0000260 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000261}
262
263
264//
265// Code Generation Utilities End
266//
267
268//
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000269// Runtime C Library functions
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000270//
271
272// Note: using an extern "C" block so that static functions can be used
273extern "C" {
274
275// Note: Better ways to decide on bit width
276//
277/// Prints a 32 bit number, according to the format, to stderr.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000278/// @param intToPrint integer to print
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000279/// @param format printf like format to use when printing
Garrison Venn64cfcef2011-04-10 14:06:52 +0000280void print32Int(int intToPrint, const char *format) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000281 if (format) {
282 // Note: No NULL check
283 fprintf(stderr, format, intToPrint);
284 }
285 else {
286 // Note: No NULL check
287 fprintf(stderr, "::print32Int(...):NULL arg.\n");
288 }
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000289}
290
291
292// Note: Better ways to decide on bit width
293//
294/// Prints a 64 bit number, according to the format, to stderr.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000295/// @param intToPrint integer to print
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000296/// @param format printf like format to use when printing
Garrison Venn64cfcef2011-04-10 14:06:52 +0000297void print64Int(long int intToPrint, const char *format) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000298 if (format) {
299 // Note: No NULL check
300 fprintf(stderr, format, intToPrint);
301 }
302 else {
303 // Note: No NULL check
304 fprintf(stderr, "::print64Int(...):NULL arg.\n");
305 }
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000306}
307
308
309/// Prints a C string to stderr
310/// @param toPrint string to print
Garrison Venn64cfcef2011-04-10 14:06:52 +0000311void printStr(char *toPrint) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000312 if (toPrint) {
313 fprintf(stderr, "%s", toPrint);
314 }
315 else {
316 fprintf(stderr, "::printStr(...):NULL arg.\n");
317 }
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000318}
319
320
321/// Deletes the true previosly allocated exception whose address
322/// is calculated from the supplied OurBaseException_t::unwindException
323/// member address. Handles (ignores), NULL pointers.
324/// @param expToDelete exception to delete
Garrison Venn64cfcef2011-04-10 14:06:52 +0000325void deleteOurException(OurUnwindException *expToDelete) {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000326#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +0000327 fprintf(stderr,
328 "deleteOurException(...).\n");
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000329#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000330
Chris Lattner626ab1c2011-04-08 18:02:51 +0000331 if (expToDelete &&
332 (expToDelete->exception_class == ourBaseExceptionClass)) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000333
Chris Lattner626ab1c2011-04-08 18:02:51 +0000334 free(((char*) expToDelete) + ourBaseFromUnwindOffset);
335 }
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000336}
337
338
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000339/// This function is the struct _Unwind_Exception API mandated delete function
340/// used by foreign exception handlers when deleting our exception
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000341/// (OurException), instances.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000342/// @param reason @link http://refspecs.freestandards.org/abi-eh-1.21.html
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000343/// @unlink
344/// @param expToDelete exception instance to delete
345void deleteFromUnwindOurException(_Unwind_Reason_Code reason,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000346 OurUnwindException *expToDelete) {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000347#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +0000348 fprintf(stderr,
349 "deleteFromUnwindOurException(...).\n");
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000350#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000351
Chris Lattner626ab1c2011-04-08 18:02:51 +0000352 deleteOurException(expToDelete);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000353}
354
355
356/// Creates (allocates on the heap), an exception (OurException instance),
357/// of the supplied type info type.
358/// @param type type info type
Garrison Venn64cfcef2011-04-10 14:06:52 +0000359OurUnwindException *createOurException(int type) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000360 size_t size = sizeof(OurException);
Garrison Venn64cfcef2011-04-10 14:06:52 +0000361 OurException *ret = (OurException*) memset(malloc(size), 0, size);
Chris Lattner626ab1c2011-04-08 18:02:51 +0000362 (ret->type).type = type;
363 (ret->unwindException).exception_class = ourBaseExceptionClass;
364 (ret->unwindException).exception_cleanup = deleteFromUnwindOurException;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000365
Chris Lattner626ab1c2011-04-08 18:02:51 +0000366 return(&(ret->unwindException));
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000367}
368
369
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000370/// Read a uleb128 encoded value and advance pointer
371/// See Variable Length Data in:
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000372/// @link http://dwarfstd.org/Dwarf3.pdf @unlink
373/// @param data reference variable holding memory pointer to decode from
374/// @returns decoded value
Garrison Venn64cfcef2011-04-10 14:06:52 +0000375static uintptr_t readULEB128(const uint8_t **data) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000376 uintptr_t result = 0;
377 uintptr_t shift = 0;
378 unsigned char byte;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000379 const uint8_t *p = *data;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000380
Chris Lattner626ab1c2011-04-08 18:02:51 +0000381 do {
382 byte = *p++;
383 result |= (byte & 0x7f) << shift;
384 shift += 7;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000385 }
Chris Lattner626ab1c2011-04-08 18:02:51 +0000386 while (byte & 0x80);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000387
Chris Lattner626ab1c2011-04-08 18:02:51 +0000388 *data = p;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000389
Chris Lattner626ab1c2011-04-08 18:02:51 +0000390 return result;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000391}
392
393
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000394/// Read a sleb128 encoded value and advance pointer
395/// See Variable Length Data in:
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000396/// @link http://dwarfstd.org/Dwarf3.pdf @unlink
397/// @param data reference variable holding memory pointer to decode from
398/// @returns decoded value
Garrison Venn64cfcef2011-04-10 14:06:52 +0000399static uintptr_t readSLEB128(const uint8_t **data) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000400 uintptr_t result = 0;
401 uintptr_t shift = 0;
402 unsigned char byte;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000403 const uint8_t *p = *data;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000404
Chris Lattner626ab1c2011-04-08 18:02:51 +0000405 do {
406 byte = *p++;
407 result |= (byte & 0x7f) << shift;
408 shift += 7;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000409 }
Chris Lattner626ab1c2011-04-08 18:02:51 +0000410 while (byte & 0x80);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000411
Chris Lattner626ab1c2011-04-08 18:02:51 +0000412 *data = p;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000413
Chris Lattner626ab1c2011-04-08 18:02:51 +0000414 if ((byte & 0x40) && (shift < (sizeof(result) << 3))) {
415 result |= (~0 << shift);
416 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000417
Chris Lattner626ab1c2011-04-08 18:02:51 +0000418 return result;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000419}
420
421
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000422/// Read a pointer encoded value and advance pointer
423/// See Variable Length Data in:
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000424/// @link http://dwarfstd.org/Dwarf3.pdf @unlink
425/// @param data reference variable holding memory pointer to decode from
426/// @param encoding dwarf encoding type
427/// @returns decoded value
Garrison Venn64cfcef2011-04-10 14:06:52 +0000428static uintptr_t readEncodedPointer(const uint8_t **data, uint8_t encoding) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000429 uintptr_t result = 0;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000430 const uint8_t *p = *data;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000431
432 if (encoding == llvm::dwarf::DW_EH_PE_omit)
Chris Lattner626ab1c2011-04-08 18:02:51 +0000433 return(result);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000434
435 // first get value
Chris Lattner626ab1c2011-04-08 18:02:51 +0000436 switch (encoding & 0x0F) {
437 case llvm::dwarf::DW_EH_PE_absptr:
438 result = *((uintptr_t*)p);
439 p += sizeof(uintptr_t);
440 break;
441 case llvm::dwarf::DW_EH_PE_uleb128:
442 result = readULEB128(&p);
443 break;
444 // Note: This case has not been tested
445 case llvm::dwarf::DW_EH_PE_sleb128:
446 result = readSLEB128(&p);
447 break;
448 case llvm::dwarf::DW_EH_PE_udata2:
449 result = *((uint16_t*)p);
450 p += sizeof(uint16_t);
451 break;
452 case llvm::dwarf::DW_EH_PE_udata4:
453 result = *((uint32_t*)p);
454 p += sizeof(uint32_t);
455 break;
456 case llvm::dwarf::DW_EH_PE_udata8:
457 result = *((uint64_t*)p);
458 p += sizeof(uint64_t);
459 break;
460 case llvm::dwarf::DW_EH_PE_sdata2:
461 result = *((int16_t*)p);
462 p += sizeof(int16_t);
463 break;
464 case llvm::dwarf::DW_EH_PE_sdata4:
465 result = *((int32_t*)p);
466 p += sizeof(int32_t);
467 break;
468 case llvm::dwarf::DW_EH_PE_sdata8:
469 result = *((int64_t*)p);
470 p += sizeof(int64_t);
471 break;
472 default:
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000473 // not supported
Chris Lattner626ab1c2011-04-08 18:02:51 +0000474 abort();
475 break;
476 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000477
478 // then add relative offset
Chris Lattner626ab1c2011-04-08 18:02:51 +0000479 switch (encoding & 0x70) {
480 case llvm::dwarf::DW_EH_PE_absptr:
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000481 // do nothing
Chris Lattner626ab1c2011-04-08 18:02:51 +0000482 break;
483 case llvm::dwarf::DW_EH_PE_pcrel:
484 result += (uintptr_t)(*data);
485 break;
486 case llvm::dwarf::DW_EH_PE_textrel:
487 case llvm::dwarf::DW_EH_PE_datarel:
488 case llvm::dwarf::DW_EH_PE_funcrel:
489 case llvm::dwarf::DW_EH_PE_aligned:
490 default:
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000491 // not supported
Chris Lattner626ab1c2011-04-08 18:02:51 +0000492 abort();
493 break;
494 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000495
496 // then apply indirection
Chris Lattner626ab1c2011-04-08 18:02:51 +0000497 if (encoding & llvm::dwarf::DW_EH_PE_indirect) {
498 result = *((uintptr_t*)result);
499 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000500
Chris Lattner626ab1c2011-04-08 18:02:51 +0000501 *data = p;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000502
Chris Lattner626ab1c2011-04-08 18:02:51 +0000503 return result;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000504}
505
506
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000507/// Deals with Dwarf actions matching our type infos
508/// (OurExceptionType_t instances). Returns whether or not a dwarf emitted
509/// action matches the supplied exception type. If such a match succeeds,
510/// the resultAction argument will be set with > 0 index value. Only
511/// corresponding llvm.eh.selector type info arguments, cleanup arguments
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000512/// are supported. Filters are not supported.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000513/// See Variable Length Data in:
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000514/// @link http://dwarfstd.org/Dwarf3.pdf @unlink
515/// Also see @link http://refspecs.freestandards.org/abi-eh-1.21.html @unlink
516/// @param resultAction reference variable which will be set with result
517/// @param classInfo our array of type info pointers (to globals)
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000518/// @param actionEntry index into above type info array or 0 (clean up).
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000519/// We do not support filters.
520/// @param exceptionClass exception class (_Unwind_Exception::exception_class)
521/// of thrown exception.
522/// @param exceptionObject thrown _Unwind_Exception instance.
523/// @returns whether or not a type info was found. False is returned if only
524/// a cleanup was found
525static bool handleActionValue(int64_t *resultAction,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000526 struct OurExceptionType_t **classInfo,
527 uintptr_t actionEntry,
528 uint64_t exceptionClass,
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000529 struct _Unwind_Exception *exceptionObject) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000530 bool ret = false;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000531
532 if (!resultAction ||
533 !exceptionObject ||
Chris Lattner626ab1c2011-04-08 18:02:51 +0000534 (exceptionClass != ourBaseExceptionClass))
535 return(ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000536
Garrison Venn64cfcef2011-04-10 14:06:52 +0000537 struct OurBaseException_t *excp = (struct OurBaseException_t*)
Chris Lattner626ab1c2011-04-08 18:02:51 +0000538 (((char*) exceptionObject) + ourBaseFromUnwindOffset);
539 struct OurExceptionType_t *excpType = &(excp->type);
540 int type = excpType->type;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000541
Chris Lattner626ab1c2011-04-08 18:02:51 +0000542#ifdef DEBUG
543 fprintf(stderr,
544 "handleActionValue(...): exceptionObject = <%p>, "
545 "excp = <%p>.\n",
546 exceptionObject,
547 excp);
548#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000549
Chris Lattner626ab1c2011-04-08 18:02:51 +0000550 const uint8_t *actionPos = (uint8_t*) actionEntry,
551 *tempActionPos;
552 int64_t typeOffset = 0,
553 actionOffset;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000554
Chris Lattner626ab1c2011-04-08 18:02:51 +0000555 for (int i = 0; true; ++i) {
556 // Each emitted dwarf action corresponds to a 2 tuple of
557 // type info address offset, and action offset to the next
558 // emitted action.
559 typeOffset = readSLEB128(&actionPos);
560 tempActionPos = actionPos;
561 actionOffset = readSLEB128(&tempActionPos);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000562
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000563#ifdef DEBUG
564 fprintf(stderr,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000565 "handleActionValue(...):typeOffset: <%lld>, "
566 "actionOffset: <%lld>.\n",
567 typeOffset,
568 actionOffset);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000569#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000570 assert((typeOffset >= 0) &&
Chris Lattner626ab1c2011-04-08 18:02:51 +0000571 "handleActionValue(...):filters are not supported.");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000572
Chris Lattner626ab1c2011-04-08 18:02:51 +0000573 // Note: A typeOffset == 0 implies that a cleanup llvm.eh.selector
574 // argument has been matched.
575 if ((typeOffset > 0) &&
576 (type == (classInfo[-typeOffset])->type)) {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000577#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +0000578 fprintf(stderr,
579 "handleActionValue(...):actionValue <%d> found.\n",
580 i);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000581#endif
Chris Lattner626ab1c2011-04-08 18:02:51 +0000582 *resultAction = i + 1;
583 ret = true;
584 break;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000585 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000586
Chris Lattner626ab1c2011-04-08 18:02:51 +0000587#ifdef DEBUG
588 fprintf(stderr,
589 "handleActionValue(...):actionValue not found.\n");
590#endif
591 if (!actionOffset)
592 break;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000593
Chris Lattner626ab1c2011-04-08 18:02:51 +0000594 actionPos += actionOffset;
595 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000596
Chris Lattner626ab1c2011-04-08 18:02:51 +0000597 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000598}
599
600
601/// Deals with the Language specific data portion of the emitted dwarf code.
602/// See @link http://refspecs.freestandards.org/abi-eh-1.21.html @unlink
603/// @param version unsupported (ignored), unwind version
604/// @param lsda language specific data area
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000605/// @param _Unwind_Action actions minimally supported unwind stage
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000606/// (forced specifically not supported)
607/// @param exceptionClass exception class (_Unwind_Exception::exception_class)
608/// of thrown exception.
609/// @param exceptionObject thrown _Unwind_Exception instance.
610/// @param context unwind system context
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000611/// @returns minimally supported unwinding control indicator
612static _Unwind_Reason_Code handleLsda(int version,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000613 const uint8_t *lsda,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000614 _Unwind_Action actions,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000615 uint64_t exceptionClass,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000616 struct _Unwind_Exception *exceptionObject,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000617 _Unwind_Context_t context) {
618 _Unwind_Reason_Code ret = _URC_CONTINUE_UNWIND;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000619
Chris Lattner626ab1c2011-04-08 18:02:51 +0000620 if (!lsda)
621 return(ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000622
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000623#ifdef DEBUG
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000624 fprintf(stderr,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000625 "handleLsda(...):lsda is non-zero.\n");
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000626#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000627
Chris Lattner626ab1c2011-04-08 18:02:51 +0000628 // Get the current instruction pointer and offset it before next
629 // instruction in the current frame which threw the exception.
630 uintptr_t pc = _Unwind_GetIP(context)-1;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000631
632 // Get beginning current frame's code (as defined by the
Chris Lattner626ab1c2011-04-08 18:02:51 +0000633 // emitted dwarf code)
634 uintptr_t funcStart = _Unwind_GetRegionStart(context);
635 uintptr_t pcOffset = pc - funcStart;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000636 struct OurExceptionType_t **classInfo = NULL;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000637
Chris Lattner626ab1c2011-04-08 18:02:51 +0000638 // Note: See JITDwarfEmitter::EmitExceptionTable(...) for corresponding
639 // dwarf emission
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000640
Chris Lattner626ab1c2011-04-08 18:02:51 +0000641 // Parse LSDA header.
642 uint8_t lpStartEncoding = *lsda++;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000643
Chris Lattner626ab1c2011-04-08 18:02:51 +0000644 if (lpStartEncoding != llvm::dwarf::DW_EH_PE_omit) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000645 readEncodedPointer(&lsda, lpStartEncoding);
Chris Lattner626ab1c2011-04-08 18:02:51 +0000646 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000647
Chris Lattner626ab1c2011-04-08 18:02:51 +0000648 uint8_t ttypeEncoding = *lsda++;
649 uintptr_t classInfoOffset;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000650
Chris Lattner626ab1c2011-04-08 18:02:51 +0000651 if (ttypeEncoding != llvm::dwarf::DW_EH_PE_omit) {
652 // Calculate type info locations in emitted dwarf code which
653 // were flagged by type info arguments to llvm.eh.selector
654 // intrinsic
655 classInfoOffset = readULEB128(&lsda);
656 classInfo = (struct OurExceptionType_t**) (lsda + classInfoOffset);
657 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000658
659 // Walk call-site table looking for range that
660 // includes current PC.
661
Chris Lattner626ab1c2011-04-08 18:02:51 +0000662 uint8_t callSiteEncoding = *lsda++;
663 uint32_t callSiteTableLength = readULEB128(&lsda);
Garrison Venn64cfcef2011-04-10 14:06:52 +0000664 const uint8_t *callSiteTableStart = lsda;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000665 const uint8_t *callSiteTableEnd = callSiteTableStart +
Chris Lattner626ab1c2011-04-08 18:02:51 +0000666 callSiteTableLength;
Garrison Venn64cfcef2011-04-10 14:06:52 +0000667 const uint8_t *actionTableStart = callSiteTableEnd;
668 const uint8_t *callSitePtr = callSiteTableStart;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000669
Chris Lattner626ab1c2011-04-08 18:02:51 +0000670 while (callSitePtr < callSiteTableEnd) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000671 uintptr_t start = readEncodedPointer(&callSitePtr,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000672 callSiteEncoding);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000673 uintptr_t length = readEncodedPointer(&callSitePtr,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000674 callSiteEncoding);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000675 uintptr_t landingPad = readEncodedPointer(&callSitePtr,
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000676 callSiteEncoding);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000677
Chris Lattner626ab1c2011-04-08 18:02:51 +0000678 // Note: Action value
679 uintptr_t actionEntry = readULEB128(&callSitePtr);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000680
Chris Lattner626ab1c2011-04-08 18:02:51 +0000681 if (exceptionClass != ourBaseExceptionClass) {
682 // We have been notified of a foreign exception being thrown,
683 // and we therefore need to execute cleanup landing pads
684 actionEntry = 0;
Chris Lattner626ab1c2011-04-08 18:02:51 +0000685 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000686
Chris Lattner626ab1c2011-04-08 18:02:51 +0000687 if (landingPad == 0) {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000688#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +0000689 fprintf(stderr,
690 "handleLsda(...): No landing pad found.\n");
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000691#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000692
Chris Lattner626ab1c2011-04-08 18:02:51 +0000693 continue; // no landing pad for this entry
694 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000695
Chris Lattner626ab1c2011-04-08 18:02:51 +0000696 if (actionEntry) {
697 actionEntry += ((uintptr_t) actionTableStart) - 1;
698 }
699 else {
700#ifdef DEBUG
701 fprintf(stderr,
702 "handleLsda(...):No action table found.\n");
703#endif
704 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000705
Chris Lattner626ab1c2011-04-08 18:02:51 +0000706 bool exceptionMatched = false;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000707
Chris Lattner626ab1c2011-04-08 18:02:51 +0000708 if ((start <= pcOffset) && (pcOffset < (start + length))) {
709#ifdef DEBUG
710 fprintf(stderr,
711 "handleLsda(...): Landing pad found.\n");
712#endif
713 int64_t actionValue = 0;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000714
Chris Lattner626ab1c2011-04-08 18:02:51 +0000715 if (actionEntry) {
Garrison Venn64cfcef2011-04-10 14:06:52 +0000716 exceptionMatched = handleActionValue(&actionValue,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000717 classInfo,
718 actionEntry,
719 exceptionClass,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000720 exceptionObject);
Chris Lattner626ab1c2011-04-08 18:02:51 +0000721 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000722
Chris Lattner626ab1c2011-04-08 18:02:51 +0000723 if (!(actions & _UA_SEARCH_PHASE)) {
724#ifdef DEBUG
725 fprintf(stderr,
726 "handleLsda(...): installed landing pad "
727 "context.\n");
728#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000729
Chris Lattner626ab1c2011-04-08 18:02:51 +0000730 // Found landing pad for the PC.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000731 // Set Instruction Pointer to so we re-enter function
732 // at landing pad. The landing pad is created by the
Chris Lattner626ab1c2011-04-08 18:02:51 +0000733 // compiler to take two parameters in registers.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000734 _Unwind_SetGR(context,
735 __builtin_eh_return_data_regno(0),
Chris Lattner626ab1c2011-04-08 18:02:51 +0000736 (uintptr_t)exceptionObject);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000737
Chris Lattner626ab1c2011-04-08 18:02:51 +0000738 // Note: this virtual register directly corresponds
739 // to the return of the llvm.eh.selector intrinsic
740 if (!actionEntry || !exceptionMatched) {
741 // We indicate cleanup only
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000742 _Unwind_SetGR(context,
743 __builtin_eh_return_data_regno(1),
Chris Lattner626ab1c2011-04-08 18:02:51 +0000744 0);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000745 }
746 else {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000747 // Matched type info index of llvm.eh.selector intrinsic
748 // passed here.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000749 _Unwind_SetGR(context,
750 __builtin_eh_return_data_regno(1),
Chris Lattner626ab1c2011-04-08 18:02:51 +0000751 actionValue);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000752 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000753
Chris Lattner626ab1c2011-04-08 18:02:51 +0000754 // To execute landing pad set here
755 _Unwind_SetIP(context, funcStart + landingPad);
756 ret = _URC_INSTALL_CONTEXT;
757 }
758 else if (exceptionMatched) {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000759#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +0000760 fprintf(stderr,
761 "handleLsda(...): setting handler found.\n");
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000762#endif
Chris Lattner626ab1c2011-04-08 18:02:51 +0000763 ret = _URC_HANDLER_FOUND;
764 }
765 else {
766 // Note: Only non-clean up handlers are marked as
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000767 // found. Otherwise the clean up handlers will be
768 // re-found and executed during the clean up
Chris Lattner626ab1c2011-04-08 18:02:51 +0000769 // phase.
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000770#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +0000771 fprintf(stderr,
772 "handleLsda(...): cleanup handler found.\n");
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000773#endif
Chris Lattner626ab1c2011-04-08 18:02:51 +0000774 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000775
Chris Lattner626ab1c2011-04-08 18:02:51 +0000776 break;
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000777 }
Chris Lattner626ab1c2011-04-08 18:02:51 +0000778 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000779
Chris Lattner626ab1c2011-04-08 18:02:51 +0000780 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000781}
782
783
784/// This is the personality function which is embedded (dwarf emitted), in the
785/// dwarf unwind info block. Again see: JITDwarfEmitter.cpp.
786/// See @link http://refspecs.freestandards.org/abi-eh-1.21.html @unlink
787/// @param version unsupported (ignored), unwind version
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000788/// @param _Unwind_Action actions minimally supported unwind stage
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000789/// (forced specifically not supported)
790/// @param exceptionClass exception class (_Unwind_Exception::exception_class)
791/// of thrown exception.
792/// @param exceptionObject thrown _Unwind_Exception instance.
793/// @param context unwind system context
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000794/// @returns minimally supported unwinding control indicator
795_Unwind_Reason_Code ourPersonality(int version,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000796 _Unwind_Action actions,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000797 uint64_t exceptionClass,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000798 struct _Unwind_Exception *exceptionObject,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000799 _Unwind_Context_t context) {
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000800#ifdef DEBUG
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000801 fprintf(stderr,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000802 "We are in ourPersonality(...):actions is <%d>.\n",
803 actions);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000804
Chris Lattner626ab1c2011-04-08 18:02:51 +0000805 if (actions & _UA_SEARCH_PHASE) {
806 fprintf(stderr, "ourPersonality(...):In search phase.\n");
807 }
808 else {
809 fprintf(stderr, "ourPersonality(...):In non-search phase.\n");
810 }
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000811#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000812
Garrison Venn64cfcef2011-04-10 14:06:52 +0000813 const uint8_t *lsda = _Unwind_GetLanguageSpecificData(context);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000814
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000815#ifdef DEBUG
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000816 fprintf(stderr,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000817 "ourPersonality(...):lsda = <%p>.\n",
818 lsda);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000819#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000820
Chris Lattner626ab1c2011-04-08 18:02:51 +0000821 // The real work of the personality function is captured here
822 return(handleLsda(version,
823 lsda,
824 actions,
825 exceptionClass,
826 exceptionObject,
827 context));
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000828}
829
830
831/// Generates our _Unwind_Exception class from a given character array.
832/// thereby handling arbitrary lengths (not in standard), and handling
833/// embedded \0s.
834/// See @link http://refspecs.freestandards.org/abi-eh-1.21.html @unlink
835/// @param classChars char array to encode. NULL values not checkedf
836/// @param classCharsSize number of chars in classChars. Value is not checked.
837/// @returns class value
838uint64_t genClass(const unsigned char classChars[], size_t classCharsSize)
839{
Chris Lattner626ab1c2011-04-08 18:02:51 +0000840 uint64_t ret = classChars[0];
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000841
Chris Lattner626ab1c2011-04-08 18:02:51 +0000842 for (unsigned i = 1; i < classCharsSize; ++i) {
843 ret <<= 8;
844 ret += classChars[i];
845 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000846
Chris Lattner626ab1c2011-04-08 18:02:51 +0000847 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000848}
849
850} // extern "C"
851
852//
853// Runtime C Library functions End
854//
855
856//
857// Code generation functions
858//
859
860/// Generates code to print given constant string
861/// @param context llvm context
862/// @param module code for module instance
863/// @param builder builder instance
864/// @param toPrint string to print
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000865/// @param useGlobal A value of true (default) indicates a GlobalValue is
866/// generated, and is used to hold the constant string. A value of
867/// false indicates that the constant string will be stored on the
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000868/// stack.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000869void generateStringPrint(llvm::LLVMContext &context,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000870 llvm::Module &module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000871 llvm::IRBuilder<> &builder,
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000872 std::string toPrint,
873 bool useGlobal = true) {
Chris Lattner626ab1c2011-04-08 18:02:51 +0000874 llvm::Function *printFunct = module.getFunction("printStr");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000875
Chris Lattner626ab1c2011-04-08 18:02:51 +0000876 llvm::Value *stringVar;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000877 llvm::Constant *stringConstant =
Peter Collingbourne793a32d2012-02-06 14:09:13 +0000878 llvm::ConstantDataArray::getString(context, toPrint);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000879
Chris Lattner626ab1c2011-04-08 18:02:51 +0000880 if (useGlobal) {
881 // Note: Does not work without allocation
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000882 stringVar =
883 new llvm::GlobalVariable(module,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000884 stringConstant->getType(),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000885 true,
886 llvm::GlobalValue::LinkerPrivateLinkage,
887 stringConstant,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000888 "");
889 }
890 else {
891 stringVar = builder.CreateAlloca(stringConstant->getType());
892 builder.CreateStore(stringConstant, stringVar);
893 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000894
895 llvm::Value *cast = builder.CreatePointerCast(stringVar,
Garrison Venn9cb50862011-09-23 14:45:10 +0000896 builder.getInt8PtrTy());
Chris Lattner626ab1c2011-04-08 18:02:51 +0000897 builder.CreateCall(printFunct, cast);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000898}
899
900
901/// Generates code to print given runtime integer according to constant
902/// string format, and a given print function.
903/// @param context llvm context
904/// @param module code for module instance
905/// @param builder builder instance
906/// @param printFunct function used to "print" integer
907/// @param toPrint string to print
908/// @param format printf like formating string for print
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000909/// @param useGlobal A value of true (default) indicates a GlobalValue is
910/// generated, and is used to hold the constant string. A value of
911/// false indicates that the constant string will be stored on the
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000912/// stack.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000913void generateIntegerPrint(llvm::LLVMContext &context,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000914 llvm::Module &module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000915 llvm::IRBuilder<> &builder,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000916 llvm::Function &printFunct,
917 llvm::Value &toPrint,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000918 std::string format,
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000919 bool useGlobal = true) {
Peter Collingbourne793a32d2012-02-06 14:09:13 +0000920 llvm::Constant *stringConstant =
921 llvm::ConstantDataArray::getString(context, format);
Chris Lattner626ab1c2011-04-08 18:02:51 +0000922 llvm::Value *stringVar;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000923
Chris Lattner626ab1c2011-04-08 18:02:51 +0000924 if (useGlobal) {
925 // Note: Does not seem to work without allocation
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000926 stringVar =
927 new llvm::GlobalVariable(module,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000928 stringConstant->getType(),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000929 true,
930 llvm::GlobalValue::LinkerPrivateLinkage,
931 stringConstant,
Chris Lattner626ab1c2011-04-08 18:02:51 +0000932 "");
933 }
934 else {
935 stringVar = builder.CreateAlloca(stringConstant->getType());
936 builder.CreateStore(stringConstant, stringVar);
937 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000938
939 llvm::Value *cast = builder.CreateBitCast(stringVar,
Garrison Venn9cb50862011-09-23 14:45:10 +0000940 builder.getInt8PtrTy());
Chris Lattner626ab1c2011-04-08 18:02:51 +0000941 builder.CreateCall2(&printFunct, &toPrint, cast);
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000942}
943
944
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000945/// Generates code to handle finally block type semantics: always runs
946/// regardless of whether a thrown exception is passing through or the
947/// parent function is simply exiting. In addition to printing some state
948/// to stderr, this code will resume the exception handling--runs the
949/// unwind resume block, if the exception has not been previously caught
950/// by a catch clause, and will otherwise execute the end block (terminator
951/// block). In addition this function creates the corresponding function's
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000952/// stack storage for the exception pointer and catch flag status.
953/// @param context llvm context
954/// @param module code for module instance
955/// @param builder builder instance
956/// @param toAddTo parent function to add block to
957/// @param blockName block name of new "finally" block.
958/// @param functionId output id used for printing
959/// @param terminatorBlock terminator "end" block
960/// @param unwindResumeBlock unwind resume block
961/// @param exceptionCaughtFlag reference exception caught/thrown status storage
962/// @param exceptionStorage reference to exception pointer storage
Garrison Venn9cb50862011-09-23 14:45:10 +0000963/// @param caughtResultStorage reference to landingpad result storage
Garrison Venna2c2f1a2010-02-09 23:22:43 +0000964/// @returns newly created block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000965static llvm::BasicBlock *createFinallyBlock(llvm::LLVMContext &context,
966 llvm::Module &module,
967 llvm::IRBuilder<> &builder,
Garrison Venn64cfcef2011-04-10 14:06:52 +0000968 llvm::Function &toAddTo,
969 std::string &blockName,
970 std::string &functionId,
971 llvm::BasicBlock &terminatorBlock,
972 llvm::BasicBlock &unwindResumeBlock,
973 llvm::Value **exceptionCaughtFlag,
Bill Wendling08e8db42012-02-04 00:29:12 +0000974 llvm::Value **exceptionStorage,
975 llvm::Value **caughtResultStorage) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000976 assert(exceptionCaughtFlag &&
Chris Lattner626ab1c2011-04-08 18:02:51 +0000977 "ExceptionDemo::createFinallyBlock(...):exceptionCaughtFlag "
978 "is NULL");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000979 assert(exceptionStorage &&
Chris Lattner626ab1c2011-04-08 18:02:51 +0000980 "ExceptionDemo::createFinallyBlock(...):exceptionStorage "
981 "is NULL");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000982 assert(caughtResultStorage &&
Garrison Venn9cb50862011-09-23 14:45:10 +0000983 "ExceptionDemo::createFinallyBlock(...):caughtResultStorage "
984 "is NULL");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000985
Garrison Venn9cb50862011-09-23 14:45:10 +0000986 *exceptionCaughtFlag = createEntryBlockAlloca(toAddTo,
987 "exceptionCaught",
988 ourExceptionNotThrownState->getType(),
989 ourExceptionNotThrownState);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +0000990
Chris Lattner77613d42011-07-18 04:52:09 +0000991 llvm::PointerType *exceptionStorageType = builder.getInt8PtrTy();
Garrison Venn9cb50862011-09-23 14:45:10 +0000992 *exceptionStorage = createEntryBlockAlloca(toAddTo,
993 "exceptionStorage",
994 exceptionStorageType,
995 llvm::ConstantPointerNull::get(
996 exceptionStorageType));
Garrison Venn9cb50862011-09-23 14:45:10 +0000997 *caughtResultStorage = createEntryBlockAlloca(toAddTo,
998 "caughtResultStorage",
999 ourCaughtResultType,
1000 llvm::ConstantAggregateZero::get(
1001 ourCaughtResultType));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001002
Chris Lattner626ab1c2011-04-08 18:02:51 +00001003 llvm::BasicBlock *ret = llvm::BasicBlock::Create(context,
1004 blockName,
1005 &toAddTo);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001006
Chris Lattner626ab1c2011-04-08 18:02:51 +00001007 builder.SetInsertPoint(ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001008
Chris Lattner626ab1c2011-04-08 18:02:51 +00001009 std::ostringstream bufferToPrint;
1010 bufferToPrint << "Gen: Executing finally block "
1011 << blockName << " in " << functionId << "\n";
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001012 generateStringPrint(context,
1013 module,
1014 builder,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001015 bufferToPrint.str(),
1016 USE_GLOBAL_STR_CONSTS);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001017
Garrison Venn9cb50862011-09-23 14:45:10 +00001018 llvm::SwitchInst *theSwitch = builder.CreateSwitch(builder.CreateLoad(
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001019 *exceptionCaughtFlag),
Garrison Venn9cb50862011-09-23 14:45:10 +00001020 &terminatorBlock,
1021 2);
Chris Lattner626ab1c2011-04-08 18:02:51 +00001022 theSwitch->addCase(ourExceptionCaughtState, &terminatorBlock);
1023 theSwitch->addCase(ourExceptionThrownState, &unwindResumeBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001024
Chris Lattner626ab1c2011-04-08 18:02:51 +00001025 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001026}
1027
1028
1029/// Generates catch block semantics which print a string to indicate type of
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001030/// catch executed, sets an exception caught flag, and executes passed in
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001031/// end block (terminator block).
1032/// @param context llvm context
1033/// @param module code for module instance
1034/// @param builder builder instance
1035/// @param toAddTo parent function to add block to
1036/// @param blockName block name of new "catch" block.
1037/// @param functionId output id used for printing
1038/// @param terminatorBlock terminator "end" block
1039/// @param exceptionCaughtFlag exception caught/thrown status
1040/// @returns newly created block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001041static llvm::BasicBlock *createCatchBlock(llvm::LLVMContext &context,
1042 llvm::Module &module,
1043 llvm::IRBuilder<> &builder,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001044 llvm::Function &toAddTo,
1045 std::string &blockName,
1046 std::string &functionId,
1047 llvm::BasicBlock &terminatorBlock,
1048 llvm::Value &exceptionCaughtFlag) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001049
Chris Lattner626ab1c2011-04-08 18:02:51 +00001050 llvm::BasicBlock *ret = llvm::BasicBlock::Create(context,
1051 blockName,
1052 &toAddTo);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001053
Chris Lattner626ab1c2011-04-08 18:02:51 +00001054 builder.SetInsertPoint(ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001055
Chris Lattner626ab1c2011-04-08 18:02:51 +00001056 std::ostringstream bufferToPrint;
1057 bufferToPrint << "Gen: Executing catch block "
1058 << blockName
1059 << " in "
1060 << functionId
1061 << std::endl;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001062 generateStringPrint(context,
1063 module,
1064 builder,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001065 bufferToPrint.str(),
1066 USE_GLOBAL_STR_CONSTS);
1067 builder.CreateStore(ourExceptionCaughtState, &exceptionCaughtFlag);
1068 builder.CreateBr(&terminatorBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001069
Chris Lattner626ab1c2011-04-08 18:02:51 +00001070 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001071}
1072
1073
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001074/// Generates a function which invokes a function (toInvoke) and, whose
1075/// unwind block will "catch" the type info types correspondingly held in the
1076/// exceptionTypesToCatch argument. If the toInvoke function throws an
1077/// exception which does not match any type info types contained in
1078/// exceptionTypesToCatch, the generated code will call _Unwind_Resume
1079/// with the raised exception. On the other hand the generated code will
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001080/// normally exit if the toInvoke function does not throw an exception.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001081/// The generated "finally" block is always run regardless of the cause of
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001082/// the generated function exit.
1083/// The generated function is returned after being verified.
1084/// @param module code for module instance
1085/// @param builder builder instance
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001086/// @param fpm a function pass manager holding optional IR to IR
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001087/// transformations
1088/// @param toInvoke inner function to invoke
1089/// @param ourId id used to printing purposes
1090/// @param numExceptionsToCatch length of exceptionTypesToCatch array
1091/// @param exceptionTypesToCatch array of type info types to "catch"
1092/// @returns generated function
1093static
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001094llvm::Function *createCatchWrappedInvokeFunction(llvm::Module &module,
1095 llvm::IRBuilder<> &builder,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001096 llvm::FunctionPassManager &fpm,
1097 llvm::Function &toInvoke,
1098 std::string ourId,
1099 unsigned numExceptionsToCatch,
1100 unsigned exceptionTypesToCatch[]) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001101
Garrison Venn64cfcef2011-04-10 14:06:52 +00001102 llvm::LLVMContext &context = module.getContext();
Chris Lattner626ab1c2011-04-08 18:02:51 +00001103 llvm::Function *toPrint32Int = module.getFunction("print32Int");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001104
Chris Lattner626ab1c2011-04-08 18:02:51 +00001105 ArgTypes argTypes;
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001106 argTypes.push_back(builder.getInt32Ty());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001107
Chris Lattner626ab1c2011-04-08 18:02:51 +00001108 ArgNames argNames;
1109 argNames.push_back("exceptTypeToThrow");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001110
1111 llvm::Function *ret = createFunction(module,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001112 builder.getVoidTy(),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001113 argTypes,
1114 argNames,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001115 ourId,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001116 llvm::Function::ExternalLinkage,
1117 false,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001118 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001119
Chris Lattner626ab1c2011-04-08 18:02:51 +00001120 // Block which calls invoke
1121 llvm::BasicBlock *entryBlock = llvm::BasicBlock::Create(context,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001122 "entry",
Chris Lattner626ab1c2011-04-08 18:02:51 +00001123 ret);
1124 // Normal block for invoke
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001125 llvm::BasicBlock *normalBlock = llvm::BasicBlock::Create(context,
1126 "normal",
Chris Lattner626ab1c2011-04-08 18:02:51 +00001127 ret);
1128 // Unwind block for invoke
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001129 llvm::BasicBlock *exceptionBlock = llvm::BasicBlock::Create(context,
1130 "exception",
Garrison Venn9cb50862011-09-23 14:45:10 +00001131 ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001132
Chris Lattner626ab1c2011-04-08 18:02:51 +00001133 // Block which routes exception to correct catch handler block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001134 llvm::BasicBlock *exceptionRouteBlock = llvm::BasicBlock::Create(context,
1135 "exceptionRoute",
Garrison Venn9cb50862011-09-23 14:45:10 +00001136 ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001137
Chris Lattner626ab1c2011-04-08 18:02:51 +00001138 // Foreign exception handler
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001139 llvm::BasicBlock *externalExceptionBlock = llvm::BasicBlock::Create(context,
1140 "externalException",
Garrison Venn9cb50862011-09-23 14:45:10 +00001141 ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001142
Chris Lattner626ab1c2011-04-08 18:02:51 +00001143 // Block which calls _Unwind_Resume
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001144 llvm::BasicBlock *unwindResumeBlock = llvm::BasicBlock::Create(context,
1145 "unwindResume",
Garrison Venn9cb50862011-09-23 14:45:10 +00001146 ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001147
Chris Lattner626ab1c2011-04-08 18:02:51 +00001148 // Clean up block which delete exception if needed
Garrison Venn9cb50862011-09-23 14:45:10 +00001149 llvm::BasicBlock *endBlock = llvm::BasicBlock::Create(context, "end", ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001150
Chris Lattner626ab1c2011-04-08 18:02:51 +00001151 std::string nextName;
1152 std::vector<llvm::BasicBlock*> catchBlocks(numExceptionsToCatch);
Garrison Venn64cfcef2011-04-10 14:06:52 +00001153 llvm::Value *exceptionCaughtFlag = NULL;
1154 llvm::Value *exceptionStorage = NULL;
Garrison Venn9cb50862011-09-23 14:45:10 +00001155 llvm::Value *caughtResultStorage = NULL;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001156
1157 // Finally block which will branch to unwindResumeBlock if
Chris Lattner626ab1c2011-04-08 18:02:51 +00001158 // exception is not caught. Initializes/allocates stack locations.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001159 llvm::BasicBlock *finallyBlock = createFinallyBlock(context,
1160 module,
1161 builder,
1162 *ret,
1163 nextName = "finally",
Chris Lattner626ab1c2011-04-08 18:02:51 +00001164 ourId,
1165 *endBlock,
1166 *unwindResumeBlock,
1167 &exceptionCaughtFlag,
Bill Wendling08e8db42012-02-04 00:29:12 +00001168 &exceptionStorage,
1169 &caughtResultStorage
Garrison Venn9cb50862011-09-23 14:45:10 +00001170 );
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001171
Chris Lattner626ab1c2011-04-08 18:02:51 +00001172 for (unsigned i = 0; i < numExceptionsToCatch; ++i) {
1173 nextName = ourTypeInfoNames[exceptionTypesToCatch[i]];
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001174
Chris Lattner626ab1c2011-04-08 18:02:51 +00001175 // One catch block per type info to be caught
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001176 catchBlocks[i] = createCatchBlock(context,
1177 module,
1178 builder,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001179 *ret,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001180 nextName,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001181 ourId,
1182 *finallyBlock,
1183 *exceptionCaughtFlag);
1184 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001185
Chris Lattner626ab1c2011-04-08 18:02:51 +00001186 // Entry Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001187
Chris Lattner626ab1c2011-04-08 18:02:51 +00001188 builder.SetInsertPoint(entryBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001189
Chris Lattner626ab1c2011-04-08 18:02:51 +00001190 std::vector<llvm::Value*> args;
1191 args.push_back(namedValues["exceptTypeToThrow"]);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001192 builder.CreateInvoke(&toInvoke,
1193 normalBlock,
1194 exceptionBlock,
Chris Lattner77613d42011-07-18 04:52:09 +00001195 args);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001196
Chris Lattner626ab1c2011-04-08 18:02:51 +00001197 // End Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001198
Chris Lattner626ab1c2011-04-08 18:02:51 +00001199 builder.SetInsertPoint(endBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001200
1201 generateStringPrint(context,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001202 module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001203 builder,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001204 "Gen: In end block: exiting in " + ourId + ".\n",
1205 USE_GLOBAL_STR_CONSTS);
Garrison Venn9cb50862011-09-23 14:45:10 +00001206 llvm::Function *deleteOurException = module.getFunction("deleteOurException");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001207
Chris Lattner626ab1c2011-04-08 18:02:51 +00001208 // Note: function handles NULL exceptions
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001209 builder.CreateCall(deleteOurException,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001210 builder.CreateLoad(exceptionStorage));
1211 builder.CreateRetVoid();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001212
Chris Lattner626ab1c2011-04-08 18:02:51 +00001213 // Normal Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001214
Chris Lattner626ab1c2011-04-08 18:02:51 +00001215 builder.SetInsertPoint(normalBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001216
1217 generateStringPrint(context,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001218 module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001219 builder,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001220 "Gen: No exception in " + ourId + "!\n",
1221 USE_GLOBAL_STR_CONSTS);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001222
Chris Lattner626ab1c2011-04-08 18:02:51 +00001223 // Finally block is always called
1224 builder.CreateBr(finallyBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001225
Chris Lattner626ab1c2011-04-08 18:02:51 +00001226 // Unwind Resume Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001227
Chris Lattner626ab1c2011-04-08 18:02:51 +00001228 builder.SetInsertPoint(unwindResumeBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001229
Garrison Venn9cb50862011-09-23 14:45:10 +00001230 builder.CreateResume(builder.CreateLoad(caughtResultStorage));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001231
Chris Lattner626ab1c2011-04-08 18:02:51 +00001232 // Exception Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001233
Chris Lattner626ab1c2011-04-08 18:02:51 +00001234 builder.SetInsertPoint(exceptionBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001235
Garrison Venn85500712011-09-22 15:45:14 +00001236 llvm::Function *personality = module.getFunction("ourPersonality");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001237
1238 llvm::LandingPadInst *caughtResult =
Garrison Venn85500712011-09-22 15:45:14 +00001239 builder.CreateLandingPad(ourCaughtResultType,
1240 personality,
1241 numExceptionsToCatch,
1242 "landingPad");
1243
1244 caughtResult->setCleanup(true);
1245
1246 for (unsigned i = 0; i < numExceptionsToCatch; ++i) {
1247 // Set up type infos to be caught
1248 caughtResult->addClause(module.getGlobalVariable(
1249 ourTypeInfoNames[exceptionTypesToCatch[i]]));
1250 }
1251
1252 llvm::Value *unwindException = builder.CreateExtractValue(caughtResult, 0);
Garrison Venn9cb50862011-09-23 14:45:10 +00001253 llvm::Value *retTypeInfoIndex = builder.CreateExtractValue(caughtResult, 1);
Garrison Venn85500712011-09-22 15:45:14 +00001254
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001255 // FIXME: Redundant storage which, beyond utilizing value of
1256 // caughtResultStore for unwindException storage, may be alleviated
Benjamin Kramerd9b0b022012-06-02 10:20:22 +00001257 // altogether with a block rearrangement
Garrison Venn9cb50862011-09-23 14:45:10 +00001258 builder.CreateStore(caughtResult, caughtResultStorage);
Garrison Venn85500712011-09-22 15:45:14 +00001259 builder.CreateStore(unwindException, exceptionStorage);
1260 builder.CreateStore(ourExceptionThrownState, exceptionCaughtFlag);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001261
1262 // Retrieve exception_class member from thrown exception
Chris Lattner626ab1c2011-04-08 18:02:51 +00001263 // (_Unwind_Exception instance). This member tells us whether or not
1264 // the exception is foreign.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001265 llvm::Value *unwindExceptionClass =
Chris Lattner626ab1c2011-04-08 18:02:51 +00001266 builder.CreateLoad(builder.CreateStructGEP(
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001267 builder.CreatePointerCast(unwindException,
Micah Villmowb8bce922012-10-24 17:25:11 +00001268 ourUnwindExceptionType->getPointerTo()),
Chris Lattner626ab1c2011-04-08 18:02:51 +00001269 0));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001270
Chris Lattner626ab1c2011-04-08 18:02:51 +00001271 // Branch to the externalExceptionBlock if the exception is foreign or
1272 // to a catch router if not. Either way the finally block will be run.
1273 builder.CreateCondBr(builder.CreateICmpEQ(unwindExceptionClass,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001274 llvm::ConstantInt::get(builder.getInt64Ty(),
Chris Lattner626ab1c2011-04-08 18:02:51 +00001275 ourBaseExceptionClass)),
1276 exceptionRouteBlock,
1277 externalExceptionBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001278
Chris Lattner626ab1c2011-04-08 18:02:51 +00001279 // External Exception Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001280
Chris Lattner626ab1c2011-04-08 18:02:51 +00001281 builder.SetInsertPoint(externalExceptionBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001282
1283 generateStringPrint(context,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001284 module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001285 builder,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001286 "Gen: Foreign exception received.\n",
1287 USE_GLOBAL_STR_CONSTS);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001288
Chris Lattner626ab1c2011-04-08 18:02:51 +00001289 // Branch to the finally block
1290 builder.CreateBr(finallyBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001291
Chris Lattner626ab1c2011-04-08 18:02:51 +00001292 // Exception Route Block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001293
Chris Lattner626ab1c2011-04-08 18:02:51 +00001294 builder.SetInsertPoint(exceptionRouteBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001295
1296 // Casts exception pointer (_Unwind_Exception instance) to parent
Chris Lattner626ab1c2011-04-08 18:02:51 +00001297 // (OurException instance).
1298 //
1299 // Note: ourBaseFromUnwindOffset is usually negative
Garrison Venn9cb50862011-09-23 14:45:10 +00001300 llvm::Value *typeInfoThrown = builder.CreatePointerCast(
1301 builder.CreateConstGEP1_64(unwindException,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001302 ourBaseFromUnwindOffset),
Garrison Venn9cb50862011-09-23 14:45:10 +00001303 ourExceptionType->getPointerTo());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001304
Chris Lattner626ab1c2011-04-08 18:02:51 +00001305 // Retrieve thrown exception type info type
1306 //
1307 // Note: Index is not relative to pointer but instead to structure
1308 // unlike a true getelementptr (GEP) instruction
1309 typeInfoThrown = builder.CreateStructGEP(typeInfoThrown, 0);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001310
1311 llvm::Value *typeInfoThrownType =
Chris Lattner626ab1c2011-04-08 18:02:51 +00001312 builder.CreateStructGEP(typeInfoThrown, 0);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001313
1314 generateIntegerPrint(context,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001315 module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001316 builder,
1317 *toPrint32Int,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001318 *(builder.CreateLoad(typeInfoThrownType)),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001319 "Gen: Exception type <%d> received (stack unwound) "
1320 " in " +
1321 ourId +
Chris Lattner626ab1c2011-04-08 18:02:51 +00001322 ".\n",
1323 USE_GLOBAL_STR_CONSTS);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001324
Chris Lattner626ab1c2011-04-08 18:02:51 +00001325 // Route to matched type info catch block or run cleanup finally block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001326 llvm::SwitchInst *switchToCatchBlock = builder.CreateSwitch(retTypeInfoIndex,
1327 finallyBlock,
Garrison Venn9cb50862011-09-23 14:45:10 +00001328 numExceptionsToCatch);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001329
Chris Lattner626ab1c2011-04-08 18:02:51 +00001330 unsigned nextTypeToCatch;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001331
Chris Lattner626ab1c2011-04-08 18:02:51 +00001332 for (unsigned i = 1; i <= numExceptionsToCatch; ++i) {
1333 nextTypeToCatch = i - 1;
1334 switchToCatchBlock->addCase(llvm::ConstantInt::get(
1335 llvm::Type::getInt32Ty(context), i),
1336 catchBlocks[nextTypeToCatch]);
1337 }
Garrison Vennaae66fa2011-09-22 14:07:50 +00001338
Chris Lattner626ab1c2011-04-08 18:02:51 +00001339 llvm::verifyFunction(*ret);
1340 fpm.run(*ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001341
Chris Lattner626ab1c2011-04-08 18:02:51 +00001342 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001343}
1344
1345
1346/// Generates function which throws either an exception matched to a runtime
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001347/// determined type info type (argument to generated function), or if this
1348/// runtime value matches nativeThrowType, throws a foreign exception by
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001349/// calling nativeThrowFunct.
1350/// @param module code for module instance
1351/// @param builder builder instance
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001352/// @param fpm a function pass manager holding optional IR to IR
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001353/// transformations
1354/// @param ourId id used to printing purposes
1355/// @param nativeThrowType a runtime argument of this value results in
1356/// nativeThrowFunct being called to generate/throw exception.
1357/// @param nativeThrowFunct function which will throw a foreign exception
1358/// if the above nativeThrowType matches generated function's arg.
1359/// @returns generated function
1360static
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001361llvm::Function *createThrowExceptionFunction(llvm::Module &module,
1362 llvm::IRBuilder<> &builder,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001363 llvm::FunctionPassManager &fpm,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001364 std::string ourId,
1365 int32_t nativeThrowType,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001366 llvm::Function &nativeThrowFunct) {
1367 llvm::LLVMContext &context = module.getContext();
Chris Lattner626ab1c2011-04-08 18:02:51 +00001368 namedValues.clear();
1369 ArgTypes unwindArgTypes;
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001370 unwindArgTypes.push_back(builder.getInt32Ty());
Chris Lattner626ab1c2011-04-08 18:02:51 +00001371 ArgNames unwindArgNames;
1372 unwindArgNames.push_back("exceptTypeToThrow");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001373
Chris Lattner626ab1c2011-04-08 18:02:51 +00001374 llvm::Function *ret = createFunction(module,
1375 builder.getVoidTy(),
1376 unwindArgTypes,
1377 unwindArgNames,
1378 ourId,
1379 llvm::Function::ExternalLinkage,
1380 false,
1381 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001382
Chris Lattner626ab1c2011-04-08 18:02:51 +00001383 // Throws either one of our exception or a native C++ exception depending
1384 // on a runtime argument value containing a type info type.
1385 llvm::BasicBlock *entryBlock = llvm::BasicBlock::Create(context,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001386 "entry",
Chris Lattner626ab1c2011-04-08 18:02:51 +00001387 ret);
1388 // Throws a foreign exception
Garrison Venn9cb50862011-09-23 14:45:10 +00001389 llvm::BasicBlock *nativeThrowBlock = llvm::BasicBlock::Create(context,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001390 "nativeThrow",
Garrison Venn9cb50862011-09-23 14:45:10 +00001391 ret);
Chris Lattner626ab1c2011-04-08 18:02:51 +00001392 // Throws one of our Exceptions
Garrison Venn9cb50862011-09-23 14:45:10 +00001393 llvm::BasicBlock *generatedThrowBlock = llvm::BasicBlock::Create(context,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001394 "generatedThrow",
Garrison Venn9cb50862011-09-23 14:45:10 +00001395 ret);
Chris Lattner626ab1c2011-04-08 18:02:51 +00001396 // Retrieved runtime type info type to throw
Garrison Venn64cfcef2011-04-10 14:06:52 +00001397 llvm::Value *exceptionType = namedValues["exceptTypeToThrow"];
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001398
Chris Lattner626ab1c2011-04-08 18:02:51 +00001399 // nativeThrowBlock block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001400
Chris Lattner626ab1c2011-04-08 18:02:51 +00001401 builder.SetInsertPoint(nativeThrowBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001402
Chris Lattner626ab1c2011-04-08 18:02:51 +00001403 // Throws foreign exception
1404 builder.CreateCall(&nativeThrowFunct, exceptionType);
1405 builder.CreateUnreachable();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001406
Chris Lattner626ab1c2011-04-08 18:02:51 +00001407 // entry block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001408
Chris Lattner626ab1c2011-04-08 18:02:51 +00001409 builder.SetInsertPoint(entryBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001410
Chris Lattner626ab1c2011-04-08 18:02:51 +00001411 llvm::Function *toPrint32Int = module.getFunction("print32Int");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001412 generateIntegerPrint(context,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001413 module,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001414 builder,
1415 *toPrint32Int,
1416 *exceptionType,
1417 "\nGen: About to throw exception type <%d> in " +
1418 ourId +
Chris Lattner626ab1c2011-04-08 18:02:51 +00001419 ".\n",
1420 USE_GLOBAL_STR_CONSTS);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001421
Chris Lattner626ab1c2011-04-08 18:02:51 +00001422 // Switches on runtime type info type value to determine whether or not
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001423 // a foreign exception is thrown. Defaults to throwing one of our
Chris Lattner626ab1c2011-04-08 18:02:51 +00001424 // generated exceptions.
Garrison Venn64cfcef2011-04-10 14:06:52 +00001425 llvm::SwitchInst *theSwitch = builder.CreateSwitch(exceptionType,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001426 generatedThrowBlock,
1427 1);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001428
1429 theSwitch->addCase(llvm::ConstantInt::get(llvm::Type::getInt32Ty(context),
Chris Lattner626ab1c2011-04-08 18:02:51 +00001430 nativeThrowType),
1431 nativeThrowBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001432
Chris Lattner626ab1c2011-04-08 18:02:51 +00001433 // generatedThrow block
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001434
Chris Lattner626ab1c2011-04-08 18:02:51 +00001435 builder.SetInsertPoint(generatedThrowBlock);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001436
Garrison Venn9cb50862011-09-23 14:45:10 +00001437 llvm::Function *createOurException = module.getFunction("createOurException");
1438 llvm::Function *raiseOurException = module.getFunction(
1439 "_Unwind_RaiseException");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001440
Chris Lattner626ab1c2011-04-08 18:02:51 +00001441 // Creates exception to throw with runtime type info type.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001442 llvm::Value *exception = builder.CreateCall(createOurException,
Garrison Venn9cb50862011-09-23 14:45:10 +00001443 namedValues["exceptTypeToThrow"]);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001444
Chris Lattner626ab1c2011-04-08 18:02:51 +00001445 // Throw generated Exception
1446 builder.CreateCall(raiseOurException, exception);
1447 builder.CreateUnreachable();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001448
Chris Lattner626ab1c2011-04-08 18:02:51 +00001449 llvm::verifyFunction(*ret);
1450 fpm.run(*ret);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001451
Chris Lattner626ab1c2011-04-08 18:02:51 +00001452 return(ret);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001453}
1454
1455static void createStandardUtilityFunctions(unsigned numTypeInfos,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001456 llvm::Module &module,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001457 llvm::IRBuilder<> &builder);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001458
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001459/// Creates test code by generating and organizing these functions into the
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001460/// test case. The test case consists of an outer function setup to invoke
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001461/// an inner function within an environment having multiple catch and single
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001462/// finally blocks. This inner function is also setup to invoke a throw
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001463/// function within an evironment similar in nature to the outer function's
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001464/// catch and finally blocks. Each of these two functions catch mutually
1465/// exclusive subsets (even or odd) of the type info types configured
1466/// for this this. All generated functions have a runtime argument which
1467/// holds a type info type to throw that each function takes and passes it
1468/// to the inner one if such a inner function exists. This type info type is
1469/// looked at by the generated throw function to see whether or not it should
1470/// throw a generated exception with the same type info type, or instead call
1471/// a supplied a function which in turn will throw a foreign exception.
1472/// @param module code for module instance
1473/// @param builder builder instance
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001474/// @param fpm a function pass manager holding optional IR to IR
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001475/// transformations
1476/// @param nativeThrowFunctName name of external function which will throw
1477/// a foreign exception
1478/// @returns outermost generated test function.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001479llvm::Function *createUnwindExceptionTest(llvm::Module &module,
1480 llvm::IRBuilder<> &builder,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001481 llvm::FunctionPassManager &fpm,
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001482 std::string nativeThrowFunctName) {
Chris Lattner626ab1c2011-04-08 18:02:51 +00001483 // Number of type infos to generate
1484 unsigned numTypeInfos = 6;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001485
Chris Lattner626ab1c2011-04-08 18:02:51 +00001486 // Initialze intrisics and external functions to use along with exception
1487 // and type info globals.
1488 createStandardUtilityFunctions(numTypeInfos,
1489 module,
1490 builder);
Garrison Venn9cb50862011-09-23 14:45:10 +00001491 llvm::Function *nativeThrowFunct = module.getFunction(nativeThrowFunctName);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001492
1493 // Create exception throw function using the value ~0 to cause
Chris Lattner626ab1c2011-04-08 18:02:51 +00001494 // foreign exceptions to be thrown.
Garrison Venn9cb50862011-09-23 14:45:10 +00001495 llvm::Function *throwFunct = createThrowExceptionFunction(module,
1496 builder,
1497 fpm,
1498 "throwFunct",
1499 ~0,
1500 *nativeThrowFunct);
Chris Lattner626ab1c2011-04-08 18:02:51 +00001501 // Inner function will catch even type infos
1502 unsigned innerExceptionTypesToCatch[] = {6, 2, 4};
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001503 size_t numExceptionTypesToCatch = sizeof(innerExceptionTypesToCatch) /
Garrison Venn9cb50862011-09-23 14:45:10 +00001504 sizeof(unsigned);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001505
Chris Lattner626ab1c2011-04-08 18:02:51 +00001506 // Generate inner function.
Garrison Venn9cb50862011-09-23 14:45:10 +00001507 llvm::Function *innerCatchFunct = createCatchWrappedInvokeFunction(module,
1508 builder,
1509 fpm,
1510 *throwFunct,
1511 "innerCatchFunct",
1512 numExceptionTypesToCatch,
1513 innerExceptionTypesToCatch);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001514
Chris Lattner626ab1c2011-04-08 18:02:51 +00001515 // Outer function will catch odd type infos
1516 unsigned outerExceptionTypesToCatch[] = {3, 1, 5};
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001517 numExceptionTypesToCatch = sizeof(outerExceptionTypesToCatch) /
Chris Lattner626ab1c2011-04-08 18:02:51 +00001518 sizeof(unsigned);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001519
Chris Lattner626ab1c2011-04-08 18:02:51 +00001520 // Generate outer function
Garrison Venn9cb50862011-09-23 14:45:10 +00001521 llvm::Function *outerCatchFunct = createCatchWrappedInvokeFunction(module,
1522 builder,
1523 fpm,
1524 *innerCatchFunct,
1525 "outerCatchFunct",
1526 numExceptionTypesToCatch,
1527 outerExceptionTypesToCatch);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001528
Chris Lattner626ab1c2011-04-08 18:02:51 +00001529 // Return outer function to run
1530 return(outerCatchFunct);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001531}
1532
1533
1534/// Represents our foreign exceptions
1535class OurCppRunException : public std::runtime_error {
1536public:
Chris Lattner626ab1c2011-04-08 18:02:51 +00001537 OurCppRunException(const std::string reason) :
1538 std::runtime_error(reason) {}
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001539
Garrison Venn64cfcef2011-04-10 14:06:52 +00001540 OurCppRunException (const OurCppRunException &toCopy) :
Chris Lattner626ab1c2011-04-08 18:02:51 +00001541 std::runtime_error(toCopy) {}
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001542
Garrison Venn64cfcef2011-04-10 14:06:52 +00001543 OurCppRunException &operator = (const OurCppRunException &toCopy) {
Chris Lattner626ab1c2011-04-08 18:02:51 +00001544 return(reinterpret_cast<OurCppRunException&>(
1545 std::runtime_error::operator=(toCopy)));
1546 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001547
Chris Lattner626ab1c2011-04-08 18:02:51 +00001548 ~OurCppRunException (void) throw () {}
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001549};
1550
1551
1552/// Throws foreign C++ exception.
1553/// @param ignoreIt unused parameter that allows function to match implied
1554/// generated function contract.
1555extern "C"
1556void throwCppException (int32_t ignoreIt) {
Chris Lattner626ab1c2011-04-08 18:02:51 +00001557 throw(OurCppRunException("thrown by throwCppException(...)"));
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001558}
1559
1560typedef void (*OurExceptionThrowFunctType) (int32_t typeToThrow);
1561
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001562/// This is a test harness which runs test by executing generated
Chris Lattner7a2bdde2011-04-15 05:18:47 +00001563/// function with a type info type to throw. Harness wraps the execution
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001564/// of generated function in a C++ try catch clause.
1565/// @param engine execution engine to use for executing generated function.
1566/// This demo program expects this to be a JIT instance for demo
1567/// purposes.
1568/// @param function generated test function to run
1569/// @param typeToThrow type info type of generated exception to throw, or
1570/// indicator to cause foreign exception to be thrown.
1571static
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001572void runExceptionThrow(llvm::ExecutionEngine *engine,
1573 llvm::Function *function,
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001574 int32_t typeToThrow) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001575
Chris Lattner626ab1c2011-04-08 18:02:51 +00001576 // Find test's function pointer
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001577 OurExceptionThrowFunctType functPtr =
Chris Lattner626ab1c2011-04-08 18:02:51 +00001578 reinterpret_cast<OurExceptionThrowFunctType>(
1579 reinterpret_cast<intptr_t>(engine->getPointerToFunction(function)));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001580
Chris Lattner626ab1c2011-04-08 18:02:51 +00001581 try {
1582 // Run test
1583 (*functPtr)(typeToThrow);
1584 }
1585 catch (OurCppRunException exc) {
1586 // Catch foreign C++ exception
1587 fprintf(stderr,
1588 "\nrunExceptionThrow(...):In C++ catch OurCppRunException "
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001589 "with reason: %s.\n",
Chris Lattner626ab1c2011-04-08 18:02:51 +00001590 exc.what());
1591 }
1592 catch (...) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001593 // Catch all exceptions including our generated ones. This latter
Garrison Venn113aa862011-09-28 10:53:56 +00001594 // functionality works according to the example in rules 1.6.4 of
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001595 // http://sourcery.mentor.com/public/cxx-abi/abi-eh.html (v1.22),
1596 // given that these will be exceptions foreign to C++
1597 // (the _Unwind_Exception::exception_class should be different from
Garrison Venn113aa862011-09-28 10:53:56 +00001598 // the one used by C++).
Chris Lattner626ab1c2011-04-08 18:02:51 +00001599 fprintf(stderr,
1600 "\nrunExceptionThrow(...):In C++ catch all.\n");
1601 }
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001602}
1603
1604//
1605// End test functions
1606//
1607
Garrison Venn6e6cdd02011-07-11 16:31:53 +00001608typedef llvm::ArrayRef<llvm::Type*> TypeArray;
Chris Lattnercad3f772011-04-08 17:56:47 +00001609
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001610/// This initialization routine creates type info globals and
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001611/// adds external function declarations to module.
1612/// @param numTypeInfos number of linear type info associated type info types
1613/// to create as GlobalVariable instances, starting with the value 1.
1614/// @param module code for module instance
1615/// @param builder builder instance
1616static void createStandardUtilityFunctions(unsigned numTypeInfos,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001617 llvm::Module &module,
Garrison Venn64cfcef2011-04-10 14:06:52 +00001618 llvm::IRBuilder<> &builder) {
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001619
Garrison Venn64cfcef2011-04-10 14:06:52 +00001620 llvm::LLVMContext &context = module.getContext();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001621
Chris Lattner626ab1c2011-04-08 18:02:51 +00001622 // Exception initializations
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001623
Chris Lattner626ab1c2011-04-08 18:02:51 +00001624 // Setup exception catch state
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001625 ourExceptionNotThrownState =
Garrison Venn9cb50862011-09-23 14:45:10 +00001626 llvm::ConstantInt::get(llvm::Type::getInt8Ty(context), 0),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001627 ourExceptionThrownState =
Garrison Venn9cb50862011-09-23 14:45:10 +00001628 llvm::ConstantInt::get(llvm::Type::getInt8Ty(context), 1),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001629 ourExceptionCaughtState =
Garrison Venn9cb50862011-09-23 14:45:10 +00001630 llvm::ConstantInt::get(llvm::Type::getInt8Ty(context), 2),
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001631
1632
1633
Chris Lattner626ab1c2011-04-08 18:02:51 +00001634 // Create our type info type
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001635 ourTypeInfoType = llvm::StructType::get(context,
Garrison Venn9cb50862011-09-23 14:45:10 +00001636 TypeArray(builder.getInt32Ty()));
Garrison Venn85500712011-09-22 15:45:14 +00001637
Garrison Venn85500712011-09-22 15:45:14 +00001638 llvm::Type *caughtResultFieldTypes[] = {
1639 builder.getInt8PtrTy(),
1640 builder.getInt32Ty()
1641 };
1642
1643 // Create our landingpad result type
1644 ourCaughtResultType = llvm::StructType::get(context,
1645 TypeArray(caughtResultFieldTypes));
1646
Chris Lattner626ab1c2011-04-08 18:02:51 +00001647 // Create OurException type
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001648 ourExceptionType = llvm::StructType::get(context,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001649 TypeArray(ourTypeInfoType));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001650
Chris Lattner626ab1c2011-04-08 18:02:51 +00001651 // Create portion of _Unwind_Exception type
1652 //
1653 // Note: Declaring only a portion of the _Unwind_Exception struct.
1654 // Does this cause problems?
1655 ourUnwindExceptionType =
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001656 llvm::StructType::get(context,
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001657 TypeArray(builder.getInt64Ty()));
Garrison Venn6e6cdd02011-07-11 16:31:53 +00001658
Chris Lattner626ab1c2011-04-08 18:02:51 +00001659 struct OurBaseException_t dummyException;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001660
Chris Lattner626ab1c2011-04-08 18:02:51 +00001661 // Calculate offset of OurException::unwindException member.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001662 ourBaseFromUnwindOffset = ((uintptr_t) &dummyException) -
Garrison Venn9cb50862011-09-23 14:45:10 +00001663 ((uintptr_t) &(dummyException.unwindException));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001664
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001665#ifdef DEBUG
Chris Lattner626ab1c2011-04-08 18:02:51 +00001666 fprintf(stderr,
1667 "createStandardUtilityFunctions(...):ourBaseFromUnwindOffset "
1668 "= %lld, sizeof(struct OurBaseException_t) - "
1669 "sizeof(struct _Unwind_Exception) = %lu.\n",
1670 ourBaseFromUnwindOffset,
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001671 sizeof(struct OurBaseException_t) -
Chris Lattner626ab1c2011-04-08 18:02:51 +00001672 sizeof(struct _Unwind_Exception));
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001673#endif
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001674
Chris Lattner626ab1c2011-04-08 18:02:51 +00001675 size_t numChars = sizeof(ourBaseExcpClassChars) / sizeof(char);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001676
Chris Lattner626ab1c2011-04-08 18:02:51 +00001677 // Create our _Unwind_Exception::exception_class value
1678 ourBaseExceptionClass = genClass(ourBaseExcpClassChars, numChars);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001679
Chris Lattner626ab1c2011-04-08 18:02:51 +00001680 // Type infos
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001681
Chris Lattner626ab1c2011-04-08 18:02:51 +00001682 std::string baseStr = "typeInfo", typeInfoName;
1683 std::ostringstream typeInfoNameBuilder;
1684 std::vector<llvm::Constant*> structVals;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001685
Chris Lattner626ab1c2011-04-08 18:02:51 +00001686 llvm::Constant *nextStruct;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001687
Chris Lattner626ab1c2011-04-08 18:02:51 +00001688 // Generate each type info
1689 //
1690 // Note: First type info is not used.
1691 for (unsigned i = 0; i <= numTypeInfos; ++i) {
1692 structVals.clear();
1693 structVals.push_back(llvm::ConstantInt::get(builder.getInt32Ty(), i));
1694 nextStruct = llvm::ConstantStruct::get(ourTypeInfoType, structVals);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001695
Chris Lattner626ab1c2011-04-08 18:02:51 +00001696 typeInfoNameBuilder.str("");
1697 typeInfoNameBuilder << baseStr << i;
1698 typeInfoName = typeInfoNameBuilder.str();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001699
Chris Lattner626ab1c2011-04-08 18:02:51 +00001700 // Note: Does not seem to work without allocation
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001701 new llvm::GlobalVariable(module,
1702 ourTypeInfoType,
1703 true,
1704 llvm::GlobalValue::ExternalLinkage,
1705 nextStruct,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001706 typeInfoName);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001707
Chris Lattner626ab1c2011-04-08 18:02:51 +00001708 ourTypeInfoNames.push_back(typeInfoName);
1709 ourTypeInfoNamesIndex[i] = typeInfoName;
1710 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001711
Chris Lattner626ab1c2011-04-08 18:02:51 +00001712 ArgNames argNames;
1713 ArgTypes argTypes;
Garrison Venn64cfcef2011-04-10 14:06:52 +00001714 llvm::Function *funct = NULL;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001715
Chris Lattner626ab1c2011-04-08 18:02:51 +00001716 // print32Int
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001717
Chris Lattner77613d42011-07-18 04:52:09 +00001718 llvm::Type *retType = builder.getVoidTy();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001719
Chris Lattner626ab1c2011-04-08 18:02:51 +00001720 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001721 argTypes.push_back(builder.getInt32Ty());
1722 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001723
Chris Lattner626ab1c2011-04-08 18:02:51 +00001724 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001725
1726 createFunction(module,
1727 retType,
1728 argTypes,
1729 argNames,
1730 "print32Int",
1731 llvm::Function::ExternalLinkage,
1732 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001733 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001734
Chris Lattner626ab1c2011-04-08 18:02:51 +00001735 // print64Int
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001736
Chris Lattner626ab1c2011-04-08 18:02:51 +00001737 retType = builder.getVoidTy();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001738
Chris Lattner626ab1c2011-04-08 18:02:51 +00001739 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001740 argTypes.push_back(builder.getInt64Ty());
1741 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001742
Chris Lattner626ab1c2011-04-08 18:02:51 +00001743 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001744
1745 createFunction(module,
1746 retType,
1747 argTypes,
1748 argNames,
1749 "print64Int",
1750 llvm::Function::ExternalLinkage,
1751 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001752 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001753
Chris Lattner626ab1c2011-04-08 18:02:51 +00001754 // printStr
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001755
Chris Lattner626ab1c2011-04-08 18:02:51 +00001756 retType = builder.getVoidTy();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001757
Chris Lattner626ab1c2011-04-08 18:02:51 +00001758 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001759 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001760
Chris Lattner626ab1c2011-04-08 18:02:51 +00001761 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001762
1763 createFunction(module,
1764 retType,
1765 argTypes,
1766 argNames,
1767 "printStr",
1768 llvm::Function::ExternalLinkage,
1769 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001770 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001771
Chris Lattner626ab1c2011-04-08 18:02:51 +00001772 // throwCppException
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001773
Chris Lattner626ab1c2011-04-08 18:02:51 +00001774 retType = builder.getVoidTy();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001775
Chris Lattner626ab1c2011-04-08 18:02:51 +00001776 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001777 argTypes.push_back(builder.getInt32Ty());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001778
Chris Lattner626ab1c2011-04-08 18:02:51 +00001779 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001780
1781 createFunction(module,
1782 retType,
1783 argTypes,
1784 argNames,
1785 "throwCppException",
1786 llvm::Function::ExternalLinkage,
1787 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001788 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001789
Chris Lattner626ab1c2011-04-08 18:02:51 +00001790 // deleteOurException
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001791
Chris Lattner626ab1c2011-04-08 18:02:51 +00001792 retType = builder.getVoidTy();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001793
Chris Lattner626ab1c2011-04-08 18:02:51 +00001794 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001795 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001796
Chris Lattner626ab1c2011-04-08 18:02:51 +00001797 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001798
1799 createFunction(module,
1800 retType,
1801 argTypes,
1802 argNames,
1803 "deleteOurException",
1804 llvm::Function::ExternalLinkage,
1805 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001806 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001807
Chris Lattner626ab1c2011-04-08 18:02:51 +00001808 // createOurException
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001809
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001810 retType = builder.getInt8PtrTy();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001811
Chris Lattner626ab1c2011-04-08 18:02:51 +00001812 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001813 argTypes.push_back(builder.getInt32Ty());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001814
Chris Lattner626ab1c2011-04-08 18:02:51 +00001815 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001816
1817 createFunction(module,
1818 retType,
1819 argTypes,
1820 argNames,
1821 "createOurException",
1822 llvm::Function::ExternalLinkage,
1823 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001824 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001825
Chris Lattner626ab1c2011-04-08 18:02:51 +00001826 // _Unwind_RaiseException
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001827
Chris Lattner626ab1c2011-04-08 18:02:51 +00001828 retType = builder.getInt32Ty();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001829
Chris Lattner626ab1c2011-04-08 18:02:51 +00001830 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001831 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001832
Chris Lattner626ab1c2011-04-08 18:02:51 +00001833 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001834
1835 funct = createFunction(module,
1836 retType,
1837 argTypes,
1838 argNames,
1839 "_Unwind_RaiseException",
1840 llvm::Function::ExternalLinkage,
1841 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001842 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001843
NAKAMURA Takumi4c856ee2012-10-12 14:11:48 +00001844 funct->setDoesNotReturn();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001845
Chris Lattner626ab1c2011-04-08 18:02:51 +00001846 // _Unwind_Resume
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001847
Chris Lattner626ab1c2011-04-08 18:02:51 +00001848 retType = builder.getInt32Ty();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001849
Chris Lattner626ab1c2011-04-08 18:02:51 +00001850 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001851 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001852
Chris Lattner626ab1c2011-04-08 18:02:51 +00001853 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001854
1855 funct = createFunction(module,
1856 retType,
1857 argTypes,
1858 argNames,
1859 "_Unwind_Resume",
1860 llvm::Function::ExternalLinkage,
1861 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001862 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001863
NAKAMURA Takumi4c856ee2012-10-12 14:11:48 +00001864 funct->setDoesNotReturn();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001865
Chris Lattner626ab1c2011-04-08 18:02:51 +00001866 // ourPersonality
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001867
Chris Lattner626ab1c2011-04-08 18:02:51 +00001868 retType = builder.getInt32Ty();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001869
Chris Lattner626ab1c2011-04-08 18:02:51 +00001870 argTypes.clear();
Garrison Vennc0f33cb2011-07-12 15:34:42 +00001871 argTypes.push_back(builder.getInt32Ty());
1872 argTypes.push_back(builder.getInt32Ty());
1873 argTypes.push_back(builder.getInt64Ty());
1874 argTypes.push_back(builder.getInt8PtrTy());
1875 argTypes.push_back(builder.getInt8PtrTy());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001876
Chris Lattner626ab1c2011-04-08 18:02:51 +00001877 argNames.clear();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001878
1879 createFunction(module,
1880 retType,
1881 argTypes,
1882 argNames,
1883 "ourPersonality",
1884 llvm::Function::ExternalLinkage,
1885 true,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001886 false);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001887
Chris Lattner626ab1c2011-04-08 18:02:51 +00001888 // llvm.eh.typeid.for intrinsic
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001889
Chris Lattner626ab1c2011-04-08 18:02:51 +00001890 getDeclaration(&module, llvm::Intrinsic::eh_typeid_for);
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001891}
1892
1893
Chris Lattner626ab1c2011-04-08 18:02:51 +00001894//===----------------------------------------------------------------------===//
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001895// Main test driver code.
Chris Lattner626ab1c2011-04-08 18:02:51 +00001896//===----------------------------------------------------------------------===//
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001897
1898/// Demo main routine which takes the type info types to throw. A test will
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001899/// be run for each given type info type. While type info types with the value
Garrison Venna2c2f1a2010-02-09 23:22:43 +00001900/// of -1 will trigger a foreign C++ exception to be thrown; type info types
1901/// <= 6 and >= 1 will be caught by test functions; and type info types > 6
1902/// will result in exceptions which pass through to the test harness. All other
1903/// type info types are not supported and could cause a crash.
Garrison Venn64cfcef2011-04-10 14:06:52 +00001904int main(int argc, char *argv[]) {
Chris Lattner626ab1c2011-04-08 18:02:51 +00001905 if (argc == 1) {
1906 fprintf(stderr,
1907 "\nUsage: ExceptionDemo <exception type to throw> "
1908 "[<type 2>...<type n>].\n"
1909 " Each type must have the value of 1 - 6 for "
1910 "generated exceptions to be caught;\n"
1911 " the value -1 for foreign C++ exceptions to be "
1912 "generated and thrown;\n"
1913 " or the values > 6 for exceptions to be ignored.\n"
1914 "\nTry: ExceptionDemo 2 3 7 -1\n"
1915 " for a full test.\n\n");
1916 return(0);
1917 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001918
Chris Lattner626ab1c2011-04-08 18:02:51 +00001919 // If not set, exception handling will not be turned on
Peter Collingbourned40e1032011-12-07 23:58:57 +00001920 llvm::TargetOptions Opts;
1921 Opts.JITExceptionHandling = true;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001922
Chris Lattner626ab1c2011-04-08 18:02:51 +00001923 llvm::InitializeNativeTarget();
Garrison Venn64cfcef2011-04-10 14:06:52 +00001924 llvm::LLVMContext &context = llvm::getGlobalContext();
Chris Lattner626ab1c2011-04-08 18:02:51 +00001925 llvm::IRBuilder<> theBuilder(context);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001926
Chris Lattner626ab1c2011-04-08 18:02:51 +00001927 // Make the module, which holds all the code.
Garrison Venn64cfcef2011-04-10 14:06:52 +00001928 llvm::Module *module = new llvm::Module("my cool jit", context);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001929
Chris Lattner626ab1c2011-04-08 18:02:51 +00001930 // Build engine with JIT
1931 llvm::EngineBuilder factory(module);
1932 factory.setEngineKind(llvm::EngineKind::JIT);
1933 factory.setAllocateGVsWithCode(false);
Peter Collingbourned40e1032011-12-07 23:58:57 +00001934 factory.setTargetOptions(Opts);
Garrison Venn64cfcef2011-04-10 14:06:52 +00001935 llvm::ExecutionEngine *executionEngine = factory.create();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001936
Chris Lattner626ab1c2011-04-08 18:02:51 +00001937 {
1938 llvm::FunctionPassManager fpm(module);
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001939
1940 // Set up the optimizer pipeline.
Chris Lattner626ab1c2011-04-08 18:02:51 +00001941 // Start with registering info about how the
1942 // target lays out data structures.
Micah Villmow2b4b44e2012-10-08 16:37:04 +00001943 fpm.add(new llvm::DataLayout(*executionEngine->getDataLayout()));
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001944
Chris Lattner626ab1c2011-04-08 18:02:51 +00001945 // Optimizations turned on
1946#ifdef ADD_OPT_PASSES
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001947
Chris Lattner626ab1c2011-04-08 18:02:51 +00001948 // Basic AliasAnslysis support for GVN.
1949 fpm.add(llvm::createBasicAliasAnalysisPass());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001950
Chris Lattner626ab1c2011-04-08 18:02:51 +00001951 // Promote allocas to registers.
1952 fpm.add(llvm::createPromoteMemoryToRegisterPass());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001953
Chris Lattner626ab1c2011-04-08 18:02:51 +00001954 // Do simple "peephole" optimizations and bit-twiddling optzns.
1955 fpm.add(llvm::createInstructionCombiningPass());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001956
Chris Lattner626ab1c2011-04-08 18:02:51 +00001957 // Reassociate expressions.
1958 fpm.add(llvm::createReassociatePass());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001959
Chris Lattner626ab1c2011-04-08 18:02:51 +00001960 // Eliminate Common SubExpressions.
1961 fpm.add(llvm::createGVNPass());
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001962
1963 // Simplify the control flow graph (deleting unreachable
Chris Lattner626ab1c2011-04-08 18:02:51 +00001964 // blocks, etc).
1965 fpm.add(llvm::createCFGSimplificationPass());
1966#endif // ADD_OPT_PASSES
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001967
Chris Lattner626ab1c2011-04-08 18:02:51 +00001968 fpm.doInitialization();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001969
Chris Lattner626ab1c2011-04-08 18:02:51 +00001970 // Generate test code using function throwCppException(...) as
1971 // the function which throws foreign exceptions.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001972 llvm::Function *toRun =
1973 createUnwindExceptionTest(*module,
1974 theBuilder,
Garrison Venn85500712011-09-22 15:45:14 +00001975 fpm,
1976 "throwCppException");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001977
Chris Lattner626ab1c2011-04-08 18:02:51 +00001978 fprintf(stderr, "\nBegin module dump:\n\n");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001979
Chris Lattner626ab1c2011-04-08 18:02:51 +00001980 module->dump();
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001981
Chris Lattner626ab1c2011-04-08 18:02:51 +00001982 fprintf(stderr, "\nEnd module dump:\n");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001983
Chris Lattner626ab1c2011-04-08 18:02:51 +00001984 fprintf(stderr, "\n\nBegin Test:\n");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001985
Chris Lattner626ab1c2011-04-08 18:02:51 +00001986 for (int i = 1; i < argc; ++i) {
1987 // Run test for each argument whose value is the exception
1988 // type to throw.
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001989 runExceptionThrow(executionEngine,
1990 toRun,
Chris Lattner626ab1c2011-04-08 18:02:51 +00001991 (unsigned) strtoul(argv[i], NULL, 10));
1992 }
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001993
Chris Lattner626ab1c2011-04-08 18:02:51 +00001994 fprintf(stderr, "\nEnd Test:\n\n");
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001995 }
1996
Chris Lattner626ab1c2011-04-08 18:02:51 +00001997 delete executionEngine;
NAKAMURA Takumi9f469a02012-10-12 14:11:43 +00001998
Chris Lattner626ab1c2011-04-08 18:02:51 +00001999 return 0;
Garrison Venna2c2f1a2010-02-09 23:22:43 +00002000}