| Reid Kleckner | cfaeb42 | 2015-10-21 19:54:40 +0000 | [diff] [blame] | 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 |
| 3 | |
| 4 | declare void @llvm.va_start(i8*) |
| 5 | declare void @llvm.va_end(i8*) |
| 6 | declare i32 @__CxxFrameHandler3(...) |
| 7 | declare void @g() |
| 8 | |
| 9 | define i32 @f(i32 %a, ...) personality i32 (...)* @__CxxFrameHandler3 { |
| 10 | entry: |
| 11 | %ap = alloca i8* |
| 12 | invoke void @g() |
| 13 | to label %return unwind label %catch.dispatch |
| 14 | |
| 15 | catch.dispatch: ; preds = %entry |
| 16 | %0 = catchpad [i8* null, i32 64, i8* null] |
| 17 | to label %catch unwind label %catchendblock |
| 18 | |
| 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 |
| 27 | |
| 28 | catchendblock: ; preds = %catch.dispatch |
| 29 | catchendpad unwind to caller |
| 30 | |
| 31 | return: ; preds = %entry, %catch |
| 32 | %retval.0 = phi i32 [ %arg2, %catch ], [ -1, %entry ] |
| 33 | ret i32 %retval.0 |
| 34 | } |
| 35 | |
| 36 | ; X64-LABEL: .seh_proc f |
| 37 | ; X64: pushq %rbp |
| 38 | ; X64: pushq %rsi |
| 39 | ; X64: subq $56, %rsp |
| 40 | ; X64: leaq 48(%rsp), %rbp |
| Reid Kleckner | 94b5706 | 2015-11-13 19:06:01 +0000 | [diff] [blame] | 41 | ; X64: movq $-2, (%rbp) |
| Reid Kleckner | cfaeb42 | 2015-10-21 19:54:40 +0000 | [diff] [blame] | 42 | ; X64: callq g |
| 43 | ; X64: movl %esi, %eax |
| 44 | ; X64: addq $56, %rsp |
| 45 | ; X64: popq %rsi |
| 46 | ; X64: popq %rbp |
| 47 | |
| Reid Kleckner | 94b5706 | 2015-11-13 19:06:01 +0000 | [diff] [blame] | 48 | ; X64: movl -4(%rbp), %esi |
| Reid Kleckner | cfaeb42 | 2015-10-21 19:54:40 +0000 | [diff] [blame] | 49 | ; X64: jmp |
| 50 | |
| 51 | ; X64-LABEL: "?catch$1@?0?f@4HA": |
| 52 | ; X64: .seh_proc "?catch$1@?0?f@4HA" |
| 53 | ; X64: movq %rdx, 16(%rsp) |
| 54 | ; X64: pushq %rbp |
| 55 | ; X64: pushq %rsi |
| 56 | ; X64: subq $40, %rsp |
| 57 | ; X64: leaq 48(%rdx), %rbp |
| 58 | ; arg2 is at RBP+40: |
| 59 | ; start at arg2 |
| 60 | ; + 8 for arg1 |
| 61 | ; + 8 for retaddr |
| 62 | ; + 8 for RBP |
| 63 | ; + 8 for RSI |
| 64 | ; + 56 for stackalloc |
| 65 | ; - 48 for setframe |
| 66 | ; = 40 |
| 67 | ; X64: movl 40(%rbp), %eax |
| Reid Kleckner | 94b5706 | 2015-11-13 19:06:01 +0000 | [diff] [blame] | 68 | ; X64: movl %eax, -4(%rbp) |
| Reid Kleckner | cfaeb42 | 2015-10-21 19:54:40 +0000 | [diff] [blame] | 69 | ; X64: leaq .LBB0_2(%rip), %rax |
| 70 | ; X64: addq $40, %rsp |
| 71 | ; X64: popq %rsi |
| 72 | ; X64: popq %rbp |
| 73 | ; X64: retq # CATCHRET |
| 74 | |
| 75 | ; X86-LABEL: _f: # @f |
| 76 | ; X86: pushl %ebp |
| 77 | ; X86: movl %esp, %ebp |
| 78 | ; X86: pushl %ebx |
| 79 | ; X86: pushl %edi |
| 80 | ; X86: pushl %esi |
| 81 | ; X86: subl $28, %esp |
| 82 | ; X86: movl $-1, -40(%ebp) |
| 83 | ; X86: calll _g |
| 84 | ; X86: movl -40(%ebp), %eax |
| 85 | ; X86: addl $28, %esp |
| 86 | ; X86: popl %esi |
| 87 | ; X86: popl %edi |
| 88 | ; X86: popl %ebx |
| 89 | ; X86: popl %ebp |
| 90 | ; X86: retl |
| 91 | |
| 92 | ; X86-LABEL: "?catch$1@?0?f@4HA": |
| 93 | ; X86: pushl %ebp |
| 94 | ; X86: addl $12, %ebp |
| 95 | ; arg2 is at EBP offset 12: |
| 96 | ; + 4 for arg1 |
| 97 | ; + 4 for retaddr |
| 98 | ; + 4 for EBP |
| 99 | ; Done due to mov %esp, %ebp |
| 100 | ; X86: movl 12(%ebp), %eax |
| 101 | ; X86: movl %eax, -32(%ebp) |
| 102 | ; X86: movl $LBB0_2, %eax |
| 103 | ; X86: popl %ebp |
| 104 | ; X86: retl # CATCHRET |