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

[Rafael Espíndola]

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?.

Cheers,
Rafael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: t.patch
Type: application/octet-stream
Size: 3309 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20120601/382d1b88/attachment.obj>