2 Commits

Author	SHA1	Message	Date
Rafael Espindola	103c2cfbbd	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. llvm-svn: 157845	2012-06-01 21:56:26 +00:00
Rafael Espindola	2c3f63cbda	Add some tests checking that the verifier rejects cases where a definition ... doesn't dominate a use. llvm-svn: 157829	2012-06-01 19:24:57 +00:00