[llvm-commits] Use dominates(Instruction, Use) in the verifier

[Chris Lattner]

On Jun 1, 2012, at 1:36 PM, Rafael Espíndola wrote:

> Back in r154631 Dan added a version of the dominates method that takes
> a Use instead of an instruction. Using that we can simplify verifier a
> lot and remove some duplicated code. All that is lost is that the
> verifier error message becomes a bit more generic (noticed the change
> in test/Verifier/dominates.ll).
> 
> Is the attached patch OK?.

I like the minuses, go for it!