summaryrefslogtreecommitdiff
path: root/test/Verifier/dominates.ll
Commit message (Expand)AuthorAge
* Convert the uses of '|&' to use '2>&1 |' instead, which works on oldChandler Carruth2012-07-02
* Use dominates(Instruction, Use) in the verifier.Rafael Espindola2012-06-01
* Add some tests checking that the verifier rejects cases where a definitionRafael Espindola2012-06-01