Rafael Espindola 39e36628b4 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
..
2012-04-03 23:09:22 +00:00
2012-05-17 21:07:47 +00:00