1; RUN: llc -mtriple=i686-pc-windows-msvc -stack-symbol-ordering=0 < %s | FileCheck --check-prefix=X86 %s 2; RUN: llc -mtriple=x86_64-pc-windows-msvc -stack-symbol-ordering=0 < %s | FileCheck --check-prefix=X64 %s 3 4declare i32 @__CxxFrameHandler3(...) 5declare void @Dtor(i64* %o) 6declare void @f(i32) 7 8define void @realigned_cleanup() personality i32 (...)* @__CxxFrameHandler3 { 9entry: 10 ; Overalign %o to cause stack realignment. 11 %o = alloca i64, align 32 12 invoke void @f(i32 1) 13 to label %invoke.cont unwind label %ehcleanup 14 15invoke.cont: ; preds = %entry 16 call void @Dtor(i64* %o) 17 ret void 18 19ehcleanup: ; preds = %entry 20 %0 = cleanuppad within none [] 21 call void @Dtor(i64* %o) [ "funclet"(token %0) ] 22 cleanupret from %0 unwind to caller 23} 24 25; X86-LABEL: _realigned_cleanup: # @realigned_cleanup 26; X86: pushl %ebp 27; X86: movl %esp, %ebp 28; X86: pushl %ebx 29; X86: pushl %edi 30; X86: pushl %esi 31; X86: andl $-32, %esp 32; X86: subl $96, %esp 33; X86: movl %esp, %esi 34; EBP will reload from this offset. 35; X86: movl %ebp, 28(%esi) 36; The last EH reg field is the state number, so dtor adjust is this +4. 37; X86: movl $-1, 72(%esi) 38 39; X86-LABEL: "?dtor$2@?0?realigned_cleanup@4HA": 40; X86: pushl %ebp 41; X86: leal -76(%ebp), %esi 42; X86: movl 28(%esi), %ebp 43; We used to have a bug where we clobbered ESI after the prologue. 44; X86-NOT: movl {{.*}}, %esi 45; X86: popl %ebp 46; X86: retl # CLEANUPRET 47 48; X64-LABEL: realigned_cleanup: # @realigned_cleanup 49; X64: pushq %rbp 50; X64: .seh_pushreg %rbp 51; X64: pushq %rbx 52; X64: .seh_pushreg %rbx 53; X64: subq $104, %rsp 54; X64: .seh_stackalloc 104 55; X64: leaq 96(%rsp), %rbp 56; X64: .seh_setframe %rbp, 96 57; X64: .seh_endprologue 58; X64: andq $-32, %rsp 59; X64: movq %rsp, %rbx 60; RBP will reload from this offset. 61; X64: movq %rbp, 56(%rbx) 62; X64: movq $-2, (%rbp) 63 64; X64-LABEL: "?dtor$2@?0?realigned_cleanup@4HA": 65; X64: movq %rdx, 16(%rsp) 66; X64: pushq %rbp 67; X64: .seh_pushreg %rbp 68; X64: pushq %rbx 69; X64: .seh_pushreg %rbx 70; X64: subq $40, %rsp 71; X64: .seh_stackalloc 40 72; X64: leaq 96(%rdx), %rbp 73; X64: .seh_endprologue 74; X64: andq $-32, %rdx 75; X64: movq %rdx, %rbx 76; X64-NOT: mov{{.*}}, %rbx 77; X64: popq %rbp 78; X64: retq # CLEANUPRET 79