diff options
| author | John McCall <rjmccall@apple.com> | 2011-05-28 07:45:59 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2011-05-28 07:45:59 +0000 |
| commit | d7c10862016939c9850cadfe5e1c35513c0adf28 (patch) | |
| tree | 9c4361dee8c7f6f75c33e68bd4a8de1223e6f6d3 /test/Transforms | |
| parent | bd0fa4c00d7870b1da36eac7b2181700381f2f96 (diff) | |
| download | llvm-d7c10862016939c9850cadfe5e1c35513c0adf28.tar.gz llvm-d7c10862016939c9850cadfe5e1c35513c0adf28.tar.bz2 llvm-d7c10862016939c9850cadfe5e1c35513c0adf28.tar.xz | |
Implement and document the llvm.eh.resume intrinsic, which is
transformed by the inliner into a branch to the enclosing landing pad
(when inlined through an invoke). If not so optimized, it is lowered
DWARF EH preparation into a call to _Unwind_Resume (or _Unwind_SjLj_Resume
as appropriate). Its chief advantage is that it takes both the
exception value and the selector value as arguments, meaning that there
is zero effort in recovering these; however, the frontend is required
to pass these down, which is not actually particularly difficult.
Also document the behavior of landing pads a bit better, and make it
clearer that it's okay that personality functions don't always land at
landing pads. This is just a fact of life. Don't write optimizations that
rely on pushing things over an unwind edge.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132253 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/Inline/inline_invoke.ll | 31 |
1 files changed, 18 insertions, 13 deletions
diff --git a/test/Transforms/Inline/inline_invoke.ll b/test/Transforms/Inline/inline_invoke.ll index bd955e3bc9..93d4ef346c 100644 --- a/test/Transforms/Inline/inline_invoke.ll +++ b/test/Transforms/Inline/inline_invoke.ll @@ -18,7 +18,7 @@ declare i32 @llvm.eh.selector(i8*, i8*, ...) nounwind declare i32 @llvm.eh.typeid.for(i8*) nounwind -declare void @_Unwind_Resume(i8*) +declare void @llvm.eh.resume(i8*, i32) declare i32 @__gxx_personality_v0(...) @@ -51,7 +51,7 @@ lpad: to label %invoke.cont2 unwind label %terminate.lpad invoke.cont2: - call void @_Unwind_Resume(i8* %exn) noreturn + call void @llvm.eh.resume(i8* %exn, i32 %eh.selector) noreturn unreachable terminate.lpad: @@ -82,22 +82,27 @@ catch: br label %ret eh.resume: - call void @_Unwind_Resume(i8* %exn) noreturn + call void @llvm.eh.resume(i8* %exn, i32 %eh.selector) noreturn unreachable } -; CHECK: define void @test0_out() -; CHECK: [[A:%.*]] = alloca %struct.A, -; CHECK: [[B:%.*]] = alloca %struct.A, -; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[A]]) -; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[B]]) -; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[B]]) -; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[A]]) -; CHECK: call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* {{%.*}}, i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*), i32 0, i8* bitcast (i8** @_ZTIi to i8*)) +; CHECK: define void @test0_out() +; CHECK: [[A:%.*]] = alloca %struct.A, +; CHECK: [[B:%.*]] = alloca %struct.A, +; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[A]]) +; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[B]]) +; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[B]]) +; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[A]]) +; CHECK: call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* {{%.*}}, i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*), i32 0, i8* bitcast (i8** @_ZTIi to i8*)) ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A]]) ; CHECK-NEXT: to label %[[LBL:[^\s]+]] unwind ; CHECK: [[LBL]]: ; CHECK-NEXT: br label %[[LPAD:[^\s]+]] -; CHECK: [[LPAD]]: -; CHECK-NEXT: call i8* @llvm.eh.exception() +; CHECK: ret void +; CHECK: call i8* @llvm.eh.exception() ; CHECK-NEXT: call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* {{%.*}}, i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*), i8* bitcast (i8** @_ZTIi to i8*)) +; CHECK-NEXT: br label %[[LPAD]] +; CHECK: [[LPAD]]: +; CHECK-NEXT: phi i8* [ +; CHECK-NEXT: phi i32 [ +; CHECK-NEXT: call i32 @llvm.eh.typeid.for(
\ No newline at end of file |