aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier/dominates.ll
Commit message (Expand)AuthorAgeFilesLines
* Convert the uses of '|&' to use '2>&1 |' instead, which works on oldChandler Carruth2012-07-021-1/+1
* 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