1 ; RUN: llc -mtriple=i686-windows-msvc < %s | FileCheck %s
3 ; 32-bit catch-all has to use a filter function because that's how it saves the
6 @str = linkonce_odr unnamed_addr constant [27 x i8] c"GetExceptionCode(): 0x%lx\0A\00", align 1
8 declare i32 @_except_handler3(...)
10 declare i32 @printf(i8* nocapture readonly, ...) nounwind
11 declare i32 @llvm.eh.typeid.for(i8*)
12 declare i8* @llvm.frameaddress(i32)
13 declare i8* @llvm.localrecover(i8*, i8*, i32)
14 declare void @llvm.localescape(...)
15 declare i8* @llvm.x86.seh.recoverfp(i8*, i8*)
17 define i32 @main() personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) {
19 ; The EH code allocation is overaligned, triggering realignment.
20 %__exceptioncode = alloca i32, align 8
21 call void (...) @llvm.localescape(i32* %__exceptioncode)
22 invoke void @crash() #5
23 to label %__try.cont unwind label %lpad
25 lpad: ; preds = %entry
26 %p = catchpad [i8* bitcast (i32 ()* @"filt$main" to i8*)]
27 to label %__except unwind label %endpad
29 __except: ; preds = %lpad
30 %code = load i32, i32* %__exceptioncode, align 4
31 %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @str, i32 0, i32 0), i32 %code) #4
32 catchret %p to label %__try.cont
35 catchendpad unwind to caller
37 __try.cont: ; preds = %entry, %__except
41 define internal i32 @"filt$main"() {
43 %ebp = tail call i8* @llvm.frameaddress(i32 1)
44 %parentfp = tail call i8* @llvm.x86.seh.recoverfp(i8* bitcast (i32 ()* @main to i8*), i8* %ebp)
45 %code.i8 = tail call i8* @llvm.localrecover(i8* bitcast (i32 ()* @main to i8*), i8* %parentfp, i32 0)
46 %__exceptioncode = bitcast i8* %code.i8 to i32*
47 %info.addr = getelementptr inbounds i8, i8* %ebp, i32 -20
48 %0 = bitcast i8* %info.addr to i32***
49 %1 = load i32**, i32*** %0, align 4
50 %2 = load i32*, i32** %1, align 4
51 %3 = load i32, i32* %2, align 4
52 store i32 %3, i32* %__exceptioncode, align 4
56 ; Check that we can get the exception code from eax to the printf.
59 ; CHECK: Lmain$frame_escape_0 = [[code_offs:[-0-9]+]]
60 ; CHECK: movl %esp, [[reg_offs:[-0-9]+]](%esi)
61 ; CHECK: movl $L__ehtable$main,
63 ; CHECK: movl $0, 40(%esi)
66 ; CHECK: LBB0_[[lpbb:[0-9]+]]: # %lpad
68 ; CHECK: movl -24(%ebp), %esp
70 ; CHECK: leal -44(%ebp), %esi
72 ; CHECK: movl 12(%esi), %ebp
73 ; CHECK: movl [[code_offs]](%esi), %[[code:[a-z]+]]
74 ; CHECK-DAG: movl %[[code]], 4(%esp)
75 ; CHECK-DAG: movl $_str, (%esp)
76 ; CHECK: calll _printf
78 ; CHECK: .section .xdata,"dr"
79 ; CHECK: Lmain$parent_frame_offset = [[reg_offs]]
80 ; CHECK: L__ehtable$main
81 ; CHECK-NEXT: .long -1
82 ; CHECK-NEXT: .long _filt$main
83 ; CHECK-NEXT: .long LBB0_[[lpbb]]
85 ; CHECK-LABEL: _filt$main:
87 ; CHECK: movl %esp, %ebp
88 ; CHECK: movl (%ebp), %[[oldebp:[a-z]+]]
89 ; CHECK: movl -20(%[[oldebp]]), %[[ehinfo:[a-z]+]]
90 ; CHECK: movl (%[[ehinfo]]), %[[ehrec:[a-z]+]]
91 ; CHECK: movl (%[[ehrec]]), %[[ehcode:[a-z]+]]
92 ; CHECK: movl %[[ehcode]], {{.*}}(%{{.*}})