1 ; RUN: llc -mtriple=x86_64-windows-msvc < %s | FileCheck %s --check-prefix=X64
2 ; RUN: llc -mtriple=i686-windows-msvc < %s | FileCheck %s --check-prefix=X86
4 declare void @llvm.va_start(i8*)
5 declare void @llvm.va_end(i8*)
6 declare i32 @__CxxFrameHandler3(...)
9 define i32 @f(i32 %a, ...) personality i32 (...)* @__CxxFrameHandler3 {
13 to label %return unwind label %catch.dispatch
15 catch.dispatch: ; preds = %entry
16 %0 = catchpad [i8* null, i32 64, i8* null]
17 to label %catch unwind label %catchendblock
19 catch: ; preds = %catch.dispatch
20 %ap1 = bitcast i8** %ap to i8*
21 call void @llvm.va_start(i8* %ap1)
22 %argp.cur = load i8*, i8** %ap
23 %1 = bitcast i8* %argp.cur to i32*
24 %arg2 = load i32, i32* %1
25 call void @llvm.va_end(i8* %ap1)
26 catchret %0 to label %return
28 catchendblock: ; preds = %catch.dispatch
29 catchendpad unwind to caller
31 return: ; preds = %entry, %catch
32 %retval.0 = phi i32 [ %arg2, %catch ], [ -1, %entry ]
36 ; X64-LABEL: .seh_proc f
39 ; X64: leaq 64(%rsp), %rbp
40 ; X64: movq $-2, -8(%rbp)
41 ; X64: movl $-1, -20(%rbp) # 4-byte Folded Spill
44 ; X64: movl -20(%rbp), %eax # 4-byte Reload
48 ; X64-LABEL: "?catch${{[0-9]}}@?0?f@4HA":
49 ; X64: .seh_proc "?catch${{[0-9]}}@?0?f@4HA"
50 ; X64: movq %rdx, 16(%rsp)
53 ; X64: leaq 64(%rdx), %rbp
62 ; X64: movl 24(%rbp), %eax
63 ; X64: movl %eax, -20(%rbp) # 4-byte Spill
64 ; X64: leaq .LBB0_1(%rip), %rax
67 ; X64: retq # CATCHRET
71 ; X86: movl %esp, %ebp
76 ; X86: movl $-1, -36(%ebp)
78 ; X86: LBB0_[[retbb:[0-9]+]]:
79 ; X86: movl -36(%ebp), %eax
87 ; X86: LBB0_[[restorebb:[0-9]+]]: # Block address taken
89 ; arg2 is at EBP offset 12:
93 ; X86: movl 12(%ebp), %eax
94 ; X86: movl %eax, -36(%ebp)
95 ; X86: jmp LBB0_[[retbb]]
97 ; X86-LABEL: "?catch${{[0-9]}}@?0?f@4HA":
100 ; Done due to mov %esp, %ebp
101 ; X86: leal 12(%ebp), %eax
102 ; X86: movl $LBB0_[[restorebb]], %eax
104 ; X86: retl # CATCHRET