mirror of
https://github.com/RPCSX/llvm.git
synced 2024-11-24 12:19:53 +00:00
888d479702
Summary: Moving landingpads into successor basic blocks makes the verifier sad. Teach Sink that much like PHI nodes and terminator instructions, landingpads (and cleanuppads, etc.) may not be moved between basic blocks. Reviewers: majnemer Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D14475 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@253182 91177308-0d34-0410-b5e6-96231b3b80d8
34 lines
719 B
LLVM
34 lines
719 B
LLVM
; Test that we don't sink landingpads
|
|
; RUN: opt -sink -S < %s | FileCheck %s
|
|
|
|
declare hidden void @g()
|
|
declare void @h()
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
define void @f() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
|
|
entry:
|
|
invoke void @g()
|
|
to label %invoke.cont.15 unwind label %lpad
|
|
|
|
invoke.cont.15:
|
|
unreachable
|
|
|
|
; CHECK: lpad:
|
|
; CHECK: %0 = landingpad { i8*, i32 }
|
|
lpad:
|
|
%0 = landingpad { i8*, i32 }
|
|
catch i8* null
|
|
invoke void @h()
|
|
to label %invoke.cont unwind label %lpad.1
|
|
|
|
; CHECK: invoke.cont
|
|
; CHECK-NOT: %0 = landingpad { i8*, i32 }
|
|
invoke.cont:
|
|
ret void
|
|
|
|
lpad.1:
|
|
%1 = landingpad { i8*, i32 }
|
|
cleanup
|
|
resume { i8*, i32 } %1
|
|
}
|