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
26define i32 @safe_div(i32* %n, i32* %d) personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) {
27entry:
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
32lpad0:
33  %cs0 = catchswitch within none [label %handler0] unwind label %lpad1
34
35handler0:
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
41lpad1:
42  %cs1 = catchswitch within none [label %handler1] unwind to caller
43
44handler1:
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
96define void @try_body(i32* %r, i32* %n, i32* %d) {
97entry:
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
125define 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
135define 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
147define 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
166declare i32 @__C_specific_handler(...)
167declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind
168declare void @puts(i8*)
169declare void @printf(i8*, ...)
170declare void @abort()
171