1 ; RUN: llc -mtriple i686-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) personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) {
28 %r = alloca i32, align 4
30 invoke void @try_body(i32* %r, i32* %n, i32* %d)
31 to label %__try.cont unwind label %lpad0
34 %p0 = catchpad [i8* bitcast (i32 ()* @safe_div_filt0 to i8*)]
35 to label %handler0 unwind label %endpad0
38 call void @puts(i8* getelementptr ([27 x i8], [27 x i8]* @str1, i32 0, i32 0))
39 store i32 -1, i32* %r, align 4
40 catchret %p0 to label %__try.cont
43 catchendpad unwind label %lpad1
46 %p1 = catchpad [i8* bitcast (i32 ()* @safe_div_filt1 to i8*)]
47 to label %handler1 unwind label %endpad1
50 call void @puts(i8* getelementptr ([29 x i8], [29 x i8]* @str2, i32 0, i32 0))
51 store i32 -2, i32* %r, align 4
52 catchret %p1 to label %__try.cont
55 catchendpad unwind to caller
58 %safe_ret = load i32, i32* %r, align 4
64 ; CHECK: {{^}}_safe_div:
65 ; CHECK: movl $42, [[rloc:.*\(%ebp\)]]
66 ; CHECK: leal [[rloc]],
67 ; CHECK: calll _try_body
68 ; CHECK: [[cont_bb:LBB0_[0-9]+]]:
69 ; CHECK: movl [[rloc]], %eax
74 ; CHECK: [[lpad0:LBB0_[0-9]+]]: # %lpad0
76 ; CHECK: movl {{.*}}(%ebp), %esp
78 ; CHECK: jmp [[cont_bb]]
80 ; CHECK: [[lpad1:LBB0_[0-9]+]]: # %lpad1
82 ; CHECK: movl {{.*}}(%ebp), %esp
84 ; CHECK: jmp [[cont_bb]]
86 ; CHECK: .section .xdata,"dr"
87 ; CHECK: L__ehtable$safe_div:
88 ; CHECK-NEXT: .long -1
89 ; CHECK-NEXT: .long _safe_div_filt1
90 ; CHECK-NEXT: .long [[lpad1]]
92 ; CHECK-NEXT: .long _safe_div_filt0
93 ; CHECK-NEXT: .long [[lpad0]]
95 define void @try_body(i32* %r, i32* %n, i32* %d) {
97 %0 = load i32, i32* %n, align 4
98 %1 = load i32, i32* %d, align 4
99 %div = sdiv i32 %0, %1
100 store i32 %div, i32* %r, align 4
104 ; The prototype of these filter functions is:
105 ; int filter(EXCEPTION_POINTERS *eh_ptrs, void *rbp);
107 ; The definition of EXCEPTION_POINTERS is:
108 ; typedef struct _EXCEPTION_POINTERS {
109 ; EXCEPTION_RECORD *ExceptionRecord;
110 ; CONTEXT *ContextRecord;
111 ; } EXCEPTION_POINTERS;
113 ; The definition of EXCEPTION_RECORD is:
114 ; typedef struct _EXCEPTION_RECORD {
115 ; DWORD ExceptionCode;
117 ; } EXCEPTION_RECORD;
119 define i32 @safe_div_filt0() {
120 %ebp = call i8* @llvm.frameaddress(i32 1)
121 %eh_ptrs.addr.i8 = getelementptr inbounds i8, i8* %ebp, i32 -20
122 %eh_ptrs.addr = bitcast i8* %eh_ptrs.addr.i8 to i32***
123 %eh_ptrs = load i32**, i32*** %eh_ptrs.addr
124 %eh_rec = load i32*, i32** %eh_ptrs
125 %eh_code = load i32, i32* %eh_rec
126 ; EXCEPTION_ACCESS_VIOLATION = 0xC0000005
127 %cmp = icmp eq i32 %eh_code, 3221225477
128 %filt.res = zext i1 %cmp to i32
131 define i32 @safe_div_filt1() {
132 %ebp = call i8* @llvm.frameaddress(i32 1)
133 %eh_ptrs.addr.i8 = getelementptr inbounds i8, i8* %ebp, i32 -20
134 %eh_ptrs.addr = bitcast i8* %eh_ptrs.addr.i8 to i32***
135 %eh_ptrs = load i32**, i32*** %eh_ptrs.addr
136 %eh_rec = load i32*, i32** %eh_ptrs
137 %eh_code = load i32, i32* %eh_rec
138 ; EXCEPTION_INT_DIVIDE_BY_ZERO = 0xC0000094
139 %cmp = icmp eq i32 %eh_code, 3221225620
140 %filt.res = zext i1 %cmp to i32
144 @str_result = internal constant [21 x i8] c"safe_div result: %d\0A\00"
147 %d.addr = alloca i32, align 4
148 %n.addr = alloca i32, align 4
150 store i32 10, i32* %n.addr, align 4
151 store i32 2, i32* %d.addr, align 4
152 %r1 = call i32 @safe_div(i32* %n.addr, i32* %d.addr)
153 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r1)
155 store i32 10, i32* %n.addr, align 4
156 store i32 0, i32* %d.addr, align 4
157 %r2 = call i32 @safe_div(i32* %n.addr, i32* %d.addr)
158 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r2)
160 %r3 = call i32 @safe_div(i32* %n.addr, i32* null)
161 call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r3)
165 declare i32 @_except_handler3(...)
166 declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind
167 declare void @puts(i8*)
168 declare void @printf(i8*, ...)
169 declare void @abort()
170 declare i8* @llvm.frameaddress(i32)