1 ; RUN: llc -mtriple i686-pc-windows-msvc < %s | FileCheck %s 2 3 ; This test case is also intended to be run manually as a complete functional 4 ; test. It should link, print something, and exit zero rather than crashing. 5 ; It is the hypothetical lowering of a C source program that looks like: 6 ; 7 ; int safe_div(int *n, int *d) { 8 ; int r; 9 ; __try { 10 ; __try { 11 ; r = *n / *d; 12 ; } __except(GetExceptionCode() == EXCEPTION_ACCESS_VIOLATION) { 13 ; puts("EXCEPTION_ACCESS_VIOLATION"); 14 ; r = -1; 15 ; } 16 ; } __except(GetExceptionCode() == EXCEPTION_INT_DIVIDE_BY_ZERO) { 17 ; puts("EXCEPTION_INT_DIVIDE_BY_ZERO"); 18 ; r = -2; 19 ; } 20 ; return r; 21 ; } 22 23 @str1 = internal constant [27 x i8] c"EXCEPTION_ACCESS_VIOLATION\00" 24 @str2 = internal constant [29 x i8] c"EXCEPTION_INT_DIVIDE_BY_ZERO\00" 25 26 define i32 @safe_div(i32* %n, i32* %d) personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) { 27 entry: 28 %r = alloca i32, align 4 29 store i32 42, i32* %r 30 invoke void @try_body(i32* %r, i32* %n, i32* %d) 31 to label %__try.cont unwind label %lpad0 32 33 lpad0: 34 %cs0 = catchswitch within none [label %handler0] unwind label %lpad1 35 36 handler0: 37 %p0 = catchpad within %cs0 [i8* bitcast (i32 ()* @safe_div_filt0 to i8*)] 38 call void @puts(i8* getelementptr ([27 x i8], [27 x i8]* @str1, i32 0, i32 0)) [ "funclet"(token %p0) ] 39 store i32 -1, i32* %r, align 4 40 catchret from %p0 to label %__try.cont 41 42 lpad1: 43 %cs1 = catchswitch within none [label %handler1] unwind to caller 44 45 handler1: 46 %p1 = catchpad within %cs1 [i8* bitcast (i32 ()* @safe_div_filt1 to i8*)] 47 call void @puts(i8* getelementptr ([29 x i8], [29 x i8]* @str2, i32 0, i32 0)) [ "funclet"(token %p1) ] 48 store i32 -2, i32* %r, align 4 49 catchret from %p1 to label %__try.cont 50 51 __try.cont: 52 %safe_ret = load i32, i32* %r, align 4 53 ret i32 %safe_ret 54 } 55 56 ; Normal path code 57 58 ; CHECK: {{^}}_safe_div: 59 ; CHECK: movl $42, [[rloc:.*\(%ebp\)]] 60 ; CHECK: leal [[rloc]], 61 ; CHECK: calll _try_body 62 ; CHECK: [[cont_bb:LBB0_[0-9]+]]: 63 ; CHECK: movl [[rloc]], %eax 64 ; CHECK: retl 65 66 ; Landing pad code 67 68 ; CHECK: [[handler1:LBB0_[0-9]+]]: # %handler1 69 ; Restore SP 70 ; CHECK: movl {{.*}}(%ebp), %esp 71 ; CHECK: calll _puts 72 ; CHECK: jmp [[cont_bb]] 73 74 ; CHECK: [[handler0:LBB0_[0-9]+]]: # %handler0 75 ; Restore SP 76 ; CHECK: movl {{.*}}(%ebp), %esp 77 ; CHECK: calll _puts 78 ; CHECK: jmp [[cont_bb]] 79 80 ; CHECK: .section .xdata,"dr" 81 ; CHECK: L__ehtable$safe_div: 82 ; CHECK-NEXT: .long -1 83 ; CHECK-NEXT: .long _safe_div_filt1 84 ; CHECK-NEXT: .long [[handler1]] 85 ; CHECK-NEXT: .long 0 86 ; CHECK-NEXT: .long _safe_div_filt0 87 ; CHECK-NEXT: .long [[handler0]] 88 89 define void @try_body(i32* %r, i32* %n, i32* %d) { 90 entry: 91 %0 = load i32, i32* %n, align 4 92 %1 = load i32, i32* %d, align 4 93 %div = sdiv i32 %0, %1 94 store i32 %div, i32* %r, align 4 95 ret void 96 } 97 98 ; The prototype of these filter functions is: 99 ; int filter(EXCEPTION_POINTERS *eh_ptrs, void *rbp); 100 101 ; The definition of EXCEPTION_POINTERS is: 102 ; typedef struct _EXCEPTION_POINTERS { 103 ; EXCEPTION_RECORD *ExceptionRecord; 104 ; CONTEXT *ContextRecord; 105 ; } EXCEPTION_POINTERS; 106 107 ; The definition of EXCEPTION_RECORD is: 108 ; typedef struct _EXCEPTION_RECORD { 109 ; DWORD ExceptionCode; 110 ; ... 111 ; } EXCEPTION_RECORD; 112 113 define i32 @safe_div_filt0() { 114 %ebp = call i8* @llvm.frameaddress(i32 1) 115 %eh_ptrs.addr.i8 = getelementptr inbounds i8, i8* %ebp, i32 -20 116 %eh_ptrs.addr = bitcast i8* %eh_ptrs.addr.i8 to i32*** 117 %eh_ptrs = load i32**, i32*** %eh_ptrs.addr 118 %eh_rec = load i32*, i32** %eh_ptrs 119 %eh_code = load i32, i32* %eh_rec 120 ; EXCEPTION_ACCESS_VIOLATION = 0xC0000005 121 %cmp = icmp eq i32 %eh_code, 3221225477 122 %filt.res = zext i1 %cmp to i32 123 ret i32 %filt.res 124 } 125 define i32 @safe_div_filt1() { 126 %ebp = call i8* @llvm.frameaddress(i32 1) 127 %eh_ptrs.addr.i8 = getelementptr inbounds i8, i8* %ebp, i32 -20 128 %eh_ptrs.addr = bitcast i8* %eh_ptrs.addr.i8 to i32*** 129 %eh_ptrs = load i32**, i32*** %eh_ptrs.addr 130 %eh_rec = load i32*, i32** %eh_ptrs 131 %eh_code = load i32, i32* %eh_rec 132 ; EXCEPTION_INT_DIVIDE_BY_ZERO = 0xC0000094 133 %cmp = icmp eq i32 %eh_code, 3221225620 134 %filt.res = zext i1 %cmp to i32 135 ret i32 %filt.res 136 } 137 138 @str_result = internal constant [21 x i8] c"safe_div result: %d\0A\00" 139 140 define i32 @main() { 141 %d.addr = alloca i32, align 4 142 %n.addr = alloca i32, align 4 143 144 store i32 10, i32* %n.addr, align 4 145 store i32 2, i32* %d.addr, align 4 146 %r1 = call i32 @safe_div(i32* %n.addr, i32* %d.addr) 147 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r1) 148 149 store i32 10, i32* %n.addr, align 4 150 store i32 0, i32* %d.addr, align 4 151 %r2 = call i32 @safe_div(i32* %n.addr, i32* %d.addr) 152 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r2) 153 154 %r3 = call i32 @safe_div(i32* %n.addr, i32* null) 155 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r3) 156 ret i32 0 157 } 158 159 declare i32 @_except_handler3(...) 160 declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind 161 declare void @puts(i8*) 162 declare void @printf(i8*, ...) 163 declare void @abort() 164 declare i8* @llvm.frameaddress(i32) 165
