diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2012-02-26 02:19:19 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2012-02-26 02:19:19 +0000 |
| commit | c9ae8cc24c70dda33b68cacf01d2feeeb836f6f2 (patch) | |
| tree | eed8b6cf898536803dc57154dcb79363dbc6c07b /test/Analysis | |
| parent | 8691216d913fa82cb55423356664805abf889341 (diff) | |
| download | external_llvm-c9ae8cc24c70dda33b68cacf01d2feeeb836f6f2.zip external_llvm-c9ae8cc24c70dda33b68cacf01d2feeeb836f6f2.tar.gz external_llvm-c9ae8cc24c70dda33b68cacf01d2feeeb836f6f2.tar.bz2 | |
Change the implementation of dominates(inst, inst) to one based on what the
verifier does. This correctly handles invoke.
Thanks to Duncan, Andrew and Chris for the comments.
Thanks to Joerg for the early testing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151469 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/Dominators/invoke.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Analysis/Dominators/invoke.ll b/test/Analysis/Dominators/invoke.ll new file mode 100644 index 0000000..f935750 --- /dev/null +++ b/test/Analysis/Dominators/invoke.ll @@ -0,0 +1,19 @@ +; RUN: opt -verify -disable-output %s +; This tests that we handle unreachable blocks correctly + +define void @f() { + %v1 = invoke i32* @g() + to label %bb1 unwind label %bb2 + invoke void @__dynamic_cast() + to label %bb1 unwind label %bb2 +bb1: + %Hidden = getelementptr inbounds i32* %v1, i64 1 + ret void +bb2: + %lpad.loopexit80 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + cleanup + ret void +} +declare i32 @__gxx_personality_v0(...) +declare void @__dynamic_cast() +declare i32* @g() |