mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 20:12:56 +02:00
608538dccc
SimplifyCFG allows tail merging with code which terminates in unreachable which, in turn, makes it possible for an invoke to end up in a funclet which it was not originally part of. Using operand bundles on invokes allows us to determine whether or not an invoke was part of a funclet in the source program. Furthermore, it allows us to unambiguously answer questions about the legality of inlining into call sites which the personality may have trouble with. Differential Revision: http://reviews.llvm.org/D15517 llvm-svn: 255674
96 lines
2.5 KiB
LLVM
96 lines
2.5 KiB
LLVM
; RUN: llc -mtriple=x86_64-windows-msvc < %s | FileCheck %s
|
|
|
|
target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-pc-windows-msvc"
|
|
|
|
define void @"\01?f@@YAXXZ"(i1 %B) personality i32 (...)* @__CxxFrameHandler3 {
|
|
entry:
|
|
invoke void @g()
|
|
to label %unreachable unwind label %cleanupblock
|
|
|
|
cleanupblock:
|
|
%cleanp = cleanuppad within none []
|
|
call void @g() [ "funclet"(token %cleanp) ]
|
|
cleanupret from %cleanp unwind label %catch.dispatch
|
|
|
|
catch.dispatch:
|
|
%cs1 = catchswitch within none [label %catch] unwind to caller
|
|
|
|
catch:
|
|
%cp = catchpad within %cs1 [i8* null, i32 64, i8* null]
|
|
call void @g() [ "funclet"(token %cp) ]
|
|
catchret from %cp to label %try.cont
|
|
|
|
try.cont:
|
|
ret void
|
|
|
|
unreachable:
|
|
unreachable
|
|
}
|
|
|
|
|
|
declare void @g()
|
|
|
|
declare i32 @__CxxFrameHandler3(...)
|
|
|
|
; Destructors need CFI but they shouldn't use the .seh_handler directive.
|
|
; CHECK: "?dtor$[[cleanup:[0-9]+]]@?0??f@@YAXXZ@4HA":
|
|
; CHECK: .seh_proc "?dtor$[[cleanup]]@?0??f@@YAXXZ@4HA"
|
|
; CHECK-NOT: .seh_handler __CxxFrameHandler3
|
|
; CHECK: LBB0_[[cleanup]]: # %cleanupblock{{$}}
|
|
|
|
; Emit CFI for pushing RBP.
|
|
; CHECK: movq %rdx, 16(%rsp)
|
|
; CHECK: pushq %rbp
|
|
; CHECK: .seh_pushreg 5
|
|
|
|
; Emit CFI for allocating from the stack pointer.
|
|
; CHECK: subq $32, %rsp
|
|
; CHECK: .seh_stackalloc 32
|
|
|
|
; CHECK: leaq 48(%rdx), %rbp
|
|
; CHECK-NOT: .seh_setframe
|
|
|
|
; Prologue is done, emit the .seh_endprologue directive.
|
|
; CHECK: .seh_endprologue
|
|
|
|
; Make sure there is a nop after a call if the call precedes the epilogue.
|
|
; CHECK: callq g
|
|
; CHECK-NEXT: nop
|
|
|
|
; Don't emit a reference to the LSDA.
|
|
; CHECK: .seh_handlerdata
|
|
; CHECK-NOT: .long ("$cppxdata$?f@@YAXXZ")@IMGREL
|
|
; CHECK-NEXT: .text
|
|
; CHECK: .seh_endproc
|
|
|
|
; CHECK: "?catch$[[catch:[0-9]+]]@?0??f@@YAXXZ@4HA":
|
|
; CHECK: .seh_proc "?catch$[[catch]]@?0??f@@YAXXZ@4HA"
|
|
; CHECK-NEXT: .seh_handler __CxxFrameHandler3, @unwind, @except
|
|
; CHECK: LBB0_[[catch]]: # %catch{{$}}
|
|
|
|
; Emit CFI for pushing RBP.
|
|
; CHECK: movq %rdx, 16(%rsp)
|
|
; CHECK: pushq %rbp
|
|
; CHECK: .seh_pushreg 5
|
|
|
|
; Emit CFI for allocating from the stack pointer.
|
|
; CHECK: subq $32, %rsp
|
|
; CHECK: .seh_stackalloc 32
|
|
|
|
; CHECK: leaq 48(%rdx), %rbp
|
|
; CHECK-NOT: .seh_setframe
|
|
|
|
; Prologue is done, emit the .seh_endprologue directive.
|
|
; CHECK: .seh_endprologue
|
|
|
|
; Make sure there is at least one instruction after a call before the epilogue.
|
|
; CHECK: callq g
|
|
; CHECK-NEXT: leaq .LBB0_{{[0-9]+}}(%rip), %rax
|
|
|
|
; Emit a reference to the LSDA.
|
|
; CHECK: .seh_handlerdata
|
|
; CHECK-NEXT: .long ("$cppxdata$?f@@YAXXZ")@IMGREL
|
|
; CHECK-NEXT: .text
|
|
; CHECK: .seh_endproc
|