1 ; RUN: llc -mtriple x86_64-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 (...)* @__C_specific_handler to i8*) { 27 entry: 28 %r = alloca i32, align 4 29 invoke void @try_body(i32* %r, i32* %n, i32* %d) 30 to label %__try.cont unwind label %lpad0 31 32 lpad0: 33 %cs0 = catchswitch within none [label %handler0] unwind label %lpad1 34 35 handler0: 36 %p0 = catchpad within %cs0 [i8* bitcast (i32 (i8*, i8*)* @safe_div_filt0 to i8*)] 37 call void @puts(i8* getelementptr ([27 x i8], [27 x i8]* @str1, i32 0, i32 0)) [ "funclet"(token %p0) ] 38 store i32 -1, i32* %r, align 4 39 catchret from %p0 to label %__try.cont 40 41 lpad1: 42 %cs1 = catchswitch within none [label %handler1] unwind to caller 43 44 handler1: 45 %p1 = catchpad within %cs1 [i8* bitcast (i32 (i8*, i8*)* @safe_div_filt1 to i8*)] 46 call void @puts(i8* getelementptr ([29 x i8], [29 x i8]* @str2, i32 0, i32 0)) [ "funclet"(token %p1) ] 47 store i32 -2, i32* %r, align 4 48 catchret from %p1 to label %__try.cont 49 50 __try.cont: 51 %safe_ret = load i32, i32* %r, align 4 52 ret i32 %safe_ret 53 } 54 55 ; Normal path code 56 57 ; CHECK: {{^}}safe_div: 58 ; CHECK: .seh_proc safe_div 59 ; CHECK: .seh_handler __C_specific_handler, @unwind, @except 60 ; CHECK: .Ltmp0: 61 ; CHECK: leaq [[rloc:.*\(%rbp\)]], %rcx 62 ; CHECK: callq try_body 63 ; CHECK-NEXT: .Ltmp1 64 ; CHECK: [[cont_bb:\.LBB0_[0-9]+]]: 65 ; CHECK: movl [[rloc]], %eax 66 ; CHECK: retq 67 68 ; Landing pad code 69 70 ; CHECK: [[handler1:\.LBB0_[0-9]+]]: # %handler1 71 ; CHECK: callq puts 72 ; CHECK: movl $-2, [[rloc]] 73 ; CHECK: jmp [[cont_bb]] 74 75 ; CHECK: [[handler0:\.LBB0_[0-9]+]]: # %handler0 76 ; CHECK: callq puts 77 ; CHECK: movl $-1, [[rloc]] 78 ; CHECK: jmp [[cont_bb]] 79 80 ; CHECK: .seh_handlerdata 81 ; CHECK-NEXT: .Lsafe_div$parent_frame_offset 82 ; CHECK-NEXT: .long (.Llsda_end0-.Llsda_begin0)/16 83 ; CHECK-NEXT: .Llsda_begin0: 84 ; CHECK-NEXT: .long .Ltmp0@IMGREL+1 85 ; CHECK-NEXT: .long .Ltmp1@IMGREL+1 86 ; CHECK-NEXT: .long safe_div_filt0@IMGREL 87 ; CHECK-NEXT: .long [[handler0]]@IMGREL 88 ; CHECK-NEXT: .long .Ltmp0@IMGREL+1 89 ; CHECK-NEXT: .long .Ltmp1@IMGREL+1 90 ; CHECK-NEXT: .long safe_div_filt1@IMGREL 91 ; CHECK-NEXT: .long [[handler1]]@IMGREL 92 ; CHECK-NEXT: .Llsda_end0: 93 ; CHECK: .text 94 ; CHECK: .seh_endproc 95 96 define void @try_body(i32* %r, i32* %n, i32* %d) { 97 entry: 98 %0 = load i32, i32* %n, align 4 99 %1 = load i32, i32* %d, align 4 100 %div = sdiv i32 %0, %1 101 store i32 %div, i32* %r, align 4 102 ret void 103 } 104 105 ; The prototype of these filter functions is: 106 ; int filter(EXCEPTION_POINTERS *eh_ptrs, void *rbp); 107 108 ; The definition of EXCEPTION_POINTERS is: 109 ; typedef struct _EXCEPTION_POINTERS { 110 ; EXCEPTION_RECORD *ExceptionRecord; 111 ; CONTEXT *ContextRecord; 112 ; } EXCEPTION_POINTERS; 113 114 ; The definition of EXCEPTION_RECORD is: 115 ; typedef struct _EXCEPTION_RECORD { 116 ; DWORD ExceptionCode; 117 ; ... 118 ; } EXCEPTION_RECORD; 119 120 ; The exception code can be retreived with two loads, one for the record 121 ; pointer and one for the code. The values of local variables can be 122 ; accessed via rbp, but that would require additional not yet implemented LLVM 123 ; support. 124 125 define i32 @safe_div_filt0(i8* %eh_ptrs, i8* %rbp) { 126 %eh_ptrs_c = bitcast i8* %eh_ptrs to i32** 127 %eh_rec = load i32*, i32** %eh_ptrs_c 128 %eh_code = load i32, i32* %eh_rec 129 ; EXCEPTION_ACCESS_VIOLATION = 0xC0000005 130 %cmp = icmp eq i32 %eh_code, 3221225477 131 %filt.res = zext i1 %cmp to i32 132 ret i32 %filt.res 133 } 134 135 define i32 @safe_div_filt1(i8* %eh_ptrs, i8* %rbp) { 136 %eh_ptrs_c = bitcast i8* %eh_ptrs to i32** 137 %eh_rec = load i32*, i32** %eh_ptrs_c 138 %eh_code = load i32, i32* %eh_rec 139 ; EXCEPTION_INT_DIVIDE_BY_ZERO = 0xC0000094 140 %cmp = icmp eq i32 %eh_code, 3221225620 141 %filt.res = zext i1 %cmp to i32 142 ret i32 %filt.res 143 } 144 145 @str_result = internal constant [21 x i8] c"safe_div result: %d\0A\00" 146 147 define i32 @main() { 148 %d.addr = alloca i32, align 4 149 %n.addr = alloca i32, align 4 150 151 store i32 10, i32* %n.addr, align 4 152 store i32 2, i32* %d.addr, align 4 153 %r1 = call i32 @safe_div(i32* %n.addr, i32* %d.addr) 154 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r1) 155 156 store i32 10, i32* %n.addr, align 4 157 store i32 0, i32* %d.addr, align 4 158 %r2 = call i32 @safe_div(i32* %n.addr, i32* %d.addr) 159 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r2) 160 161 %r3 = call i32 @safe_div(i32* %n.addr, i32* null) 162 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r3) 163 ret i32 0 164 } 165 166 declare i32 @__C_specific_handler(...) 167 declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind 168 declare void @puts(i8*) 169 declare void @printf(i8*, ...) 170 declare void @abort() 171
