| commit | 2090766f6e9fe8fee892e89c114bcc284c8ff8ef | [log] [tgz] |
|---|---|---|
| author | Rafael Espindola <rafael.espindola@gmail.com> | Fri Jun 01 21:56:26 2012 +0000 |
| committer | Rafael Espindola <rafael.espindola@gmail.com> | Fri Jun 01 21:56:26 2012 +0000 |
| tree | ad5b75bfd9087f572f5f6dd7b3573750910335a5 | |
| parent | bbff4ee92d91de4c7ee6657a1eea95c5ed8105de [diff] |
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