maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/CodeGen/X86/win-cleanuppad.ll

147 lines
4.9 KiB
LLVM
Raw Normal View History

Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; RUN: llc -mtriple=i686-pc-windows-msvc < %s | FileCheck --check-prefix=X86 %s
; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s | FileCheck --check-prefix=X64 %s
%struct.Dtor = type { i8 }
define void @simple_cleanup() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
entry:
%o = alloca %struct.Dtor, align 1
invoke void @f(i32 1)
to label %invoke.cont unwind label %ehcleanup
invoke.cont: ; preds = %entry
call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o) #2
ret void
ehcleanup: ; preds = %entry
%0 = cleanuppad []
call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o) #2
cleanupret %0 unwind to caller
}
declare void @f(i32) #0
declare i32 @__CxxFrameHandler3(...)
; Function Attrs: nounwind
declare x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor*) #1
define void @nested_cleanup() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
entry:
%o1 = alloca %struct.Dtor, align 1
%o2 = alloca %struct.Dtor, align 1
invoke void @f(i32 1)
to label %invoke.cont unwind label %cleanup.outer
invoke.cont: ; preds = %entry
invoke void @f(i32 2)
to label %invoke.cont.1 unwind label %cleanup.inner
invoke.cont.1: ; preds = %invoke.cont
call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o2) #2
invoke void @f(i32 3)
to label %invoke.cont.2 unwind label %cleanup.outer
invoke.cont.2: ; preds = %invoke.cont.1
call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o1) #2
ret void
cleanup.inner: ; preds = %invoke.cont
%0 = cleanuppad []
call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o2) #2
cleanupret %0 unwind label %cleanup.outer
cleanup.outer: ; preds = %invoke.cont.1, %cleanup.inner, %entry
%1 = cleanuppad []
call x86_thiscallcc void @"\01??1Dtor@@QAE@XZ"(%struct.Dtor* %o1) #2
cleanupret %1 unwind to caller
}
; X86-LABEL: _nested_cleanup:
; X86: movl $1, (%esp)
; X86: calll _f
; X86: movl $2, (%esp)
; X86: calll _f
; X86: movl $3, (%esp)
; X86: calll _f
; X86: LBB1_[[cleanup_inner:[0-9]+]]: # %cleanup.inner
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X86: pushl %ebp
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X86: leal {{.*}}(%ebp), %ecx
; X86: calll "??1Dtor@@QAE@XZ"
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X86: popl %ebp
; X86: retl
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X86: LBB1_[[cleanup_outer:[0-9]+]]: # %cleanup.outer
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X86: pushl %ebp
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X86: leal {{.*}}(%ebp), %ecx
; X86: calll "??1Dtor@@QAE@XZ"
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X86: popl %ebp
; X86: retl
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X86: L__ehtable$nested_cleanup:
; X86: .long 429065506
; X86: .long 2
; X86: .long ($stateUnwindMap$nested_cleanup)
; X86: .long 0
; X86: .long 0
; X86: .long 0
; X86: .long 0
; X86: .long 0
; X86: .long 1
; X86: $stateUnwindMap$nested_cleanup:
; X86: .long -1
; X86: .long LBB1_[[cleanup_outer]]
; X86: .long 0
; X86: .long LBB1_[[cleanup_inner]]
; X64-LABEL: nested_cleanup:
; X64: movl $1, %ecx
; X64: callq f
; X64: movl $2, %ecx
; X64: callq f
; X64: movl $3, %ecx
; X64: callq f
; X64: .LBB1_[[cleanup_inner:[0-9]+]]: # %cleanup.inner
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X64: pushq %rbp
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X64: leaq {{.*}}(%rbp), %rcx
; X64: callq "??1Dtor@@QAE@XZ"
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X64: popq %rbp
; X64: retq
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X64: .LBB1_[[cleanup_outer:[0-9]+]]: # %cleanup.outer
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X64: pushq %rbp
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X64: leaq {{.*}}(%rbp), %rcx
; X64: callq "??1Dtor@@QAE@XZ"
[WinEH] Make funclet return instrs pseudo instrs This makes catchret look more like a branch, and less like a weird use of BlockAddress. It also lets us get away from llvm.x86.seh.restoreframe, which relies on the old parentfpoffset label arithmetic. llvm-svn: 247936
2015-09-18 04:43:47 +08:00
; X64: popq %rbp
; X64: retq
Fix SEH state numbering algorithm to handle cleanupendpads WinEHPrepare's new coloring algorithm really expects to see cleanupendpads now, so Clang will start emitting them soon. llvm-svn: 247341
2015-09-11 05:46:36 +08:00
; X64: .seh_handlerdata
; X64: .long ($cppxdata$nested_cleanup)@IMGREL
; X64: .align 4
; X64:$cppxdata$nested_cleanup:
; X64: .long 429065506
; X64: .long 2
; X64: .long ($stateUnwindMap$nested_cleanup)@IMGREL
; X64: .long 0
; X64: .long 0
; X64: .long 1
; X64: .long ($ip2state$nested_cleanup)@IMGREL
; X64: .long 40
; X64: .long 0
; X64: .long 1
; X64:$stateUnwindMap$nested_cleanup:
; X64: .long -1
; X64: .long .LBB1_[[cleanup_outer]]@IMGREL
; X64: .long 0
; X64: .long .LBB1_[[cleanup_inner]]@IMGREL
; FIXME: The ip2state table is totally wrong.
; X64:$ip2state$nested_cleanup:
; X64: .long .Lfunc_begin1@IMGREL
; X64: .long -1
attributes #0 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { nounwind }