1 ; RUN: llc -mtriple x86_64-pc-windows-msvc < %s | FileCheck %s
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:
7 ; int safe_div(int *n, int *d) {
12 ; } __except(GetExceptionCode() == EXCEPTION_ACCESS_VIOLATION) {
13 ; puts("EXCEPTION_ACCESS_VIOLATION");
16 ; } __except(GetExceptionCode() == EXCEPTION_INT_DIVIDE_BY_ZERO) {
17 ; puts("EXCEPTION_INT_DIVIDE_BY_ZERO");
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"
26 define i32 @safe_div(i32* %n, i32* %d) {
28 %r = alloca i32, align 4
29 invoke void @try_body(i32* %r, i32* %n, i32* %d)
30 to label %__try.cont unwind label %lpad
33 %vals = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
34 catch i8* bitcast (i32 (i8*, i8*)* @safe_div_filt0 to i8*)
35 catch i8* bitcast (i32 (i8*, i8*)* @safe_div_filt1 to i8*)
36 %ehptr = extractvalue { i8*, i32 } %vals, 0
37 %sel = extractvalue { i8*, i32 } %vals, 1
38 %filt0_val = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @safe_div_filt0 to i8*))
39 %is_filt0 = icmp eq i32 %sel, %filt0_val
40 br i1 %is_filt0, label %handler0, label %eh.dispatch1
43 %filt1_val = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @safe_div_filt1 to i8*))
44 %is_filt1 = icmp eq i32 %sel, %filt1_val
45 br i1 %is_filt1, label %handler1, label %eh.resume
48 call void @puts(i8* getelementptr ([27 x i8]* @str1, i32 0, i32 0))
49 store i32 -1, i32* %r, align 4
53 call void @puts(i8* getelementptr ([29 x i8]* @str2, i32 0, i32 0))
54 store i32 -2, i32* %r, align 4
58 resume { i8*, i32 } %vals
61 %safe_ret = load i32* %r, align 4
67 ; CHECK: {{^}}safe_div:
68 ; CHECK: .seh_proc safe_div
69 ; CHECK: .seh_handler __C_specific_handler, @unwind, @except
71 ; CHECK: leaq [[rloc:.*\(%rsp\)]], %rcx
72 ; CHECK: callq try_body
75 ; CHECK: movl [[rloc]], %eax
81 ; CHECK: movl $1, %[[sel:[a-z]+]]
83 ; CHECK: movl $2, %[[sel]]
85 ; CHECK: cmpl $1, %[[sel]]
89 ; CHECK: movl $-1, [[rloc]]
92 ; CHECK: cmpl $2, %[[sel]]
96 ; CHECK: movl $-2, [[rloc]]
99 ; FIXME: EH preparation should not call _Unwind_Resume.
100 ; CHECK: callq _Unwind_Resume
103 ; CHECK: .seh_handlerdata
105 ; CHECK: .long .Ltmp0@IMGREL
106 ; CHECK: .long .Ltmp1@IMGREL+1
107 ; CHECK: .long safe_div_filt0@IMGREL
108 ; CHECK: .long .Ltmp3@IMGREL
109 ; CHECK: .long .Ltmp0@IMGREL
110 ; CHECK: .long .Ltmp1@IMGREL+1
111 ; CHECK: .long safe_div_filt1@IMGREL
112 ; CHECK: .long .Ltmp4@IMGREL
114 ; CHECK: .seh_endproc
117 define void @try_body(i32* %r, i32* %n, i32* %d) {
119 %0 = load i32* %n, align 4
120 %1 = load i32* %d, align 4
121 %div = sdiv i32 %0, %1
122 store i32 %div, i32* %r, align 4
126 ; The prototype of these filter functions is:
127 ; int filter(EXCEPTION_POINTERS *eh_ptrs, void *rbp);
129 ; The definition of EXCEPTION_POINTERS is:
130 ; typedef struct _EXCEPTION_POINTERS {
131 ; EXCEPTION_RECORD *ExceptionRecord;
132 ; CONTEXT *ContextRecord;
133 ; } EXCEPTION_POINTERS;
135 ; The definition of EXCEPTION_RECORD is:
136 ; typedef struct _EXCEPTION_RECORD {
137 ; DWORD ExceptionCode;
139 ; } EXCEPTION_RECORD;
141 ; The exception code can be retreived with two loads, one for the record
142 ; pointer and one for the code. The values of local variables can be
143 ; accessed via rbp, but that would require additional not yet implemented LLVM
146 define i32 @safe_div_filt0(i8* %eh_ptrs, i8* %rbp) {
147 %eh_ptrs_c = bitcast i8* %eh_ptrs to i32**
148 %eh_rec = load i32** %eh_ptrs_c
149 %eh_code = load i32* %eh_rec
150 ; EXCEPTION_ACCESS_VIOLATION = 0xC0000005
151 %cmp = icmp eq i32 %eh_code, 3221225477
152 %filt.res = zext i1 %cmp to i32
156 define i32 @safe_div_filt1(i8* %eh_ptrs, i8* %rbp) {
157 %eh_ptrs_c = bitcast i8* %eh_ptrs to i32**
158 %eh_rec = load i32** %eh_ptrs_c
159 %eh_code = load i32* %eh_rec
160 ; EXCEPTION_INT_DIVIDE_BY_ZERO = 0xC0000094
161 %cmp = icmp eq i32 %eh_code, 3221225620
162 %filt.res = zext i1 %cmp to i32
166 @str_result = internal constant [21 x i8] c"safe_div result: %d\0A\00"
169 %d.addr = alloca i32, align 4
170 %n.addr = alloca i32, align 4
172 store i32 10, i32* %n.addr, align 4
173 store i32 2, i32* %d.addr, align 4
174 %r1 = call i32 @safe_div(i32* %n.addr, i32* %d.addr)
175 call void (i8*, ...)* @printf(i8* getelementptr ([21 x i8]* @str_result, i32 0, i32 0), i32 %r1)
177 store i32 10, i32* %n.addr, align 4
178 store i32 0, i32* %d.addr, align 4
179 %r2 = call i32 @safe_div(i32* %n.addr, i32* %d.addr)
180 call void (i8*, ...)* @printf(i8* getelementptr ([21 x i8]* @str_result, i32 0, i32 0), i32 %r2)
182 %r3 = call i32 @safe_div(i32* %n.addr, i32* null)
183 call void (i8*, ...)* @printf(i8* getelementptr ([21 x i8]* @str_result, i32 0, i32 0), i32 %r3)
187 define void @_Unwind_Resume() {
192 declare i32 @__C_specific_handler(...)
193 declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind
194 declare void @puts(i8*)
195 declare void @printf(i8*, ...)
196 declare void @abort()