mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
c511cef4af
Summary: Funclet EH personalities require a tree-like nesting among funclets (enforced by the ParentPad linkage in the IR), and also require that unwind edges conform to certain rules with respect to the tree: - An unwind edge may exit 0 or more ancestor pads - An unwind edge must enter exactly one EH pad, which must be distinct from any exited pads - A cleanupret's edge must exit its cleanuppad Describe these rules in the LangRef, and enforce them in the verifier. Reviewers: rnk, majnemer, andrew.w.kaylor Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D15961 llvm-svn: 257272
137 lines
3.2 KiB
LLVM
137 lines
3.2 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis > %t1.ll
|
|
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
|
|
; RUN: diff %t1.ll %t2.ll
|
|
|
|
@_ZTIc = external constant i8*
|
|
@_ZTId = external constant i8*
|
|
@_ZTIPKc = external constant i8*
|
|
|
|
define void @_Z3barv() uwtable optsize ssp personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %try.cont unwind label %lpad
|
|
|
|
try.cont: ; preds = %entry, %invoke.cont4
|
|
ret void
|
|
|
|
lpad: ; preds = %entry
|
|
%exn = landingpad {i8*, i32}
|
|
cleanup
|
|
catch i8** @_ZTIc
|
|
filter [2 x i8**] [i8** @_ZTIPKc, i8** @_ZTId]
|
|
resume { i8*, i32 } %exn
|
|
}
|
|
|
|
declare void @_Z3quxv() optsize
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
define void @cleanupret0() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %pad
|
|
pad:
|
|
%cp = cleanuppad within none [i7 4]
|
|
cleanupret from %cp unwind to caller
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; forward ref by name
|
|
define void @cleanupret1() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %pad
|
|
cleanup:
|
|
cleanupret from %cp unwind to caller
|
|
pad:
|
|
%cp = cleanuppad within none []
|
|
br label %cleanup
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; forward ref by ID
|
|
define void @cleanupret2() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %pad
|
|
cleanup:
|
|
cleanupret from %0 unwind to caller
|
|
pad:
|
|
%0 = cleanuppad within none []
|
|
br label %cleanup
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
define void @catchret0() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %pad
|
|
pad:
|
|
%cs1 = catchswitch within none [label %catch] unwind to caller
|
|
catch:
|
|
%cp = catchpad within %cs1 [i7 4]
|
|
catchret from %cp to label %exit
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; forward ref by name
|
|
define void @catchret1() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %pad
|
|
catchret:
|
|
catchret from %cp to label %exit
|
|
pad:
|
|
%cs1 = catchswitch within none [label %catch] unwind to caller
|
|
catch:
|
|
%cp = catchpad within %cs1 [i7 4]
|
|
br label %catchret
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; forward ref by ID
|
|
define void @catchret2() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %pad
|
|
catchret:
|
|
catchret from %0 to label %exit
|
|
pad:
|
|
%cs1 = catchswitch within none [label %catch] unwind to caller
|
|
catch:
|
|
%0 = catchpad within %cs1 [i7 4]
|
|
br label %catchret
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
define i8 @catchpad() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %exit unwind label %bb2
|
|
bb2:
|
|
%cs1 = catchswitch within none [label %catch] unwind to caller
|
|
catch:
|
|
catchpad within %cs1 [i7 4]
|
|
br label %exit
|
|
exit:
|
|
ret i8 0
|
|
}
|
|
|
|
define void @cleanuppad() personality i32 (...)* @__gxx_personality_v0 {
|
|
entry:
|
|
br label %try.cont
|
|
|
|
try.cont:
|
|
invoke void @_Z3quxv() optsize
|
|
to label %try.cont unwind label %bb
|
|
bb:
|
|
cleanuppad within none [i7 4]
|
|
ret void
|
|
}
|