diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2012-06-01 21:56:26 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2012-06-01 21:56:26 +0000 |
| commit | 2090766f6e9fe8fee892e89c114bcc284c8ff8ef (patch) | |
| tree | ad5b75bfd9087f572f5f6dd7b3573750910335a5 /test/Verifier | |
| parent | bbff4ee92d91de4c7ee6657a1eea95c5ed8105de (diff) | |
| download | external_llvm-2090766f6e9fe8fee892e89c114bcc284c8ff8ef.zip external_llvm-2090766f6e9fe8fee892e89c114bcc284c8ff8ef.tar.gz external_llvm-2090766f6e9fe8fee892e89c114bcc284c8ff8ef.tar.bz2 | |
Use dominates(Instruction, Use) in the verifier.
This removes a bit of context from the verifier erros, but reduces code
duplication in a fairly critical part of LLVM and makes dominates easier to test.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157845 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier')
| -rw-r--r-- | test/Verifier/dominates.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Verifier/dominates.ll b/test/Verifier/dominates.ll index 21aa7f6..50bfa61 100644 --- a/test/Verifier/dominates.ll +++ b/test/Verifier/dominates.ll @@ -20,7 +20,7 @@ bb2: %y3 = landingpad i32 personality i32 ()* @g cleanup ret void -; CHECK: Invoke result not available in the unwind destination! +; CHECK: Instruction does not dominate all uses! ; CHECK-NEXT: %y1 = invoke i32 @g() ; CHECK-NEXT: to label %bb1 unwind label %bb2 ; CHECK-NEXT: %y2 = phi i32 [ %y1, %bb0 ] @@ -38,7 +38,7 @@ bb2: bb3: %y3 = phi i32 [%y1, %bb2] ret void -; CHECK: Invoke result does not dominate all uses! +; CHECK: Instruction does not dominate all uses! ; CHECK-NEXT: %y1 = invoke i32 @g() ; CHECK-NEXT: to label %bb1 unwind label %bb2 ; CHECK-NEXT: %y3 = phi i32 [ %y1, %bb2 ] |