100 lines · plain
1; RUN: llc -stack-symbol-ordering=0 -mtriple=x86_64-windows-msvc < %s | FileCheck %s --check-prefix=X642; RUN: llc -stack-symbol-ordering=0 -mtriple=i686-windows-msvc < %s | FileCheck %s --check-prefix=X863 4declare void @llvm.va_start(ptr)5declare void @llvm.va_end(ptr)6declare i32 @__CxxFrameHandler3(...)7declare void @g()8 9define i32 @f(i32 %a, ...) personality ptr @__CxxFrameHandler3 {10entry:11 %ap = alloca ptr12 invoke void @g()13 to label %return unwind label %catch.dispatch14 15catch.dispatch: ; preds = %entry16 %cs1 = catchswitch within none [label %catch] unwind to caller17 18catch: ; preds = %catch.dispatch19 %0 = catchpad within %cs1 [ptr null, i32 64, ptr null]20 call void @llvm.va_start(ptr %ap)21 %argp.cur = load ptr, ptr %ap22 %arg2 = load i32, ptr %argp.cur23 call void @llvm.va_end(ptr %ap)24 catchret from %0 to label %return25 26return: ; preds = %entry, %catch27 %retval.0 = phi i32 [ %arg2, %catch ], [ -1, %entry ]28 ret i32 %retval.029}30 31; X64-LABEL: .seh_proc f32; X64: pushq %rbp33; X64: subq $64, %rsp34; X64: leaq 64(%rsp), %rbp35; X64: movq $-2, -8(%rbp)36; X64: movl $-1, -20(%rbp) # 4-byte Folded Spill37; X64: callq g38; X64: .LBB0_139; X64: movl -20(%rbp), %eax # 4-byte Reload40; X64: addq $64, %rsp41; X64: popq %rbp42 43; X64-LABEL: "?catch${{[0-9]}}@?0?f@4HA":44; X64: .seh_proc "?catch${{[0-9]}}@?0?f@4HA"45; X64: movq %rdx, 16(%rsp)46; X64: pushq %rbp47; X64: subq $32, %rsp48; X64: leaq 64(%rdx), %rbp49; arg2 is at RBP+40:50; start at arg251; + 8 for arg152; + 8 for retaddr53; + 8 for RBP54; + 64 for stackalloc55; - 64 for setframe56; = 4057; X64: movl 24(%rbp), %eax58; X64: movl %eax, -20(%rbp) # 4-byte Spill59; X64: leaq .LBB0_1(%rip), %rax60; X64: addq $32, %rsp61; X64: popq %rbp62; X64: retq # CATCHRET63 64; X86-LABEL: _f: # @f65; X86: pushl %ebp66; X86: movl %esp, %ebp67; X86: pushl %ebx68; X86: pushl %edi69; X86: pushl %esi70; X86: subl $24, %esp71; X86: movl $-1, -36(%ebp)72; X86: calll _g73; X86: LBB0_[[retbb:[0-9]+]]:74; X86: movl -36(%ebp), %eax75; X86: addl $24, %esp76; X86: popl %esi77; X86: popl %edi78; X86: popl %ebx79; X86: popl %ebp80; X86: retl81 82; X86: LBB0_[[restorebb:[0-9]+]]: # Block address taken83; X86: addl $12, %ebp84; arg2 is at EBP offset 12:85; + 4 for arg186; + 4 for retaddr87; + 4 for EBP88; X86: movl 12(%ebp), %eax89; X86: movl %eax, -36(%ebp)90; X86: jmp LBB0_[[retbb]]91 92; X86-LABEL: "?catch${{[0-9]}}@?0?f@4HA":93; X86: pushl %ebp94; X86: addl $12, %ebp95; Done due to mov %esp, %ebp96; X86: leal 12(%ebp), %eax97; X86: movl $LBB0_[[restorebb]], %eax98; X86: popl %ebp99; X86: retl # CATCHRET100