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