aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier/dominates.ll
Commit message (Expand)AuthorAgeFilesLines
* Use dominates(Instruction, Use) in the verifier.Rafael Espindola2012-06-011-2/+2
* Add some tests checking that the verifier rejects cases where a definitionRafael Espindola2012-06-011-0/+57