diff options
| author | Duncan Sands <baldrick@free.fr> | 2009-05-29 19:39:36 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2009-05-29 19:39:36 +0000 |
| commit | 44008257a4f3e8871e0091c789ba1631402fd770 (patch) | |
| tree | 97586ec510dc228e70a03d491efc6275853c3e3f /test/Verifier/2009-05-29-InvokeResult2.ll | |
| parent | d80ddc0b644a48873a42b56134ae0a5b43eae711 (diff) | |
| download | llvm-44008257a4f3e8871e0091c789ba1631402fd770.tar.gz llvm-44008257a4f3e8871e0091c789ba1631402fd770.tar.bz2 llvm-44008257a4f3e8871e0091c789ba1631402fd770.tar.xz | |
Dan noticed that the verifier wasn't thoroughly checking uses of
invoke results (see the testcases). Tighten up the checking.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72586 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier/2009-05-29-InvokeResult2.ll')
| -rw-r--r-- | test/Verifier/2009-05-29-InvokeResult2.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Verifier/2009-05-29-InvokeResult2.ll b/test/Verifier/2009-05-29-InvokeResult2.ll new file mode 100644 index 0000000000..900b1d827b --- /dev/null +++ b/test/Verifier/2009-05-29-InvokeResult2.ll @@ -0,0 +1,16 @@ +; RUN: not llvm-as < %s >& /dev/null + +declare i32 @v() + +define i32 @g() { +e: + %s = invoke i32 @v() + to label %c unwind label %u ; <i32> [#uses=2] + +c: ; preds = %e + ret i32 %s + +u: ; preds = %e + %t = phi i32 [ %s, %e ] ; <i32> [#uses=1] + ret i32 %t +} |