aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier
Commit message (Expand)AuthorAgeFilesLines
* Fix a typo (the the => the)Sylvestre Ledru2012-07-231-1/+1
* Fix the remaining TCL-style quotes found in the testsuite. This isChandler Carruth2012-07-021-1/+1
* Convert the uses of '|&' to use '2>&1 |' instead, which works on oldChandler Carruth2012-07-0216-16/+16
* Convert all tests using TCL-style quoting to use shell-style quoting.Chandler Carruth2012-07-0211-11/+11
* Make tests which first provide a negative assertion via 'not', thenChandler Carruth2012-07-021-1/+2
* make the verifier accept @llvm.donothing as the only intrinsic that can be in...Nuno Lopes2012-06-283-24/+65
* revert r158660, since Chris has some issues with this patch (namely using cod...Nuno Lopes2012-06-182-67/+0
* add the 'alloc' metadata node to represent the size of offset of buffers poin...Nuno Lopes2012-06-182-0/+67
* 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
* Fix typos noticed by Benjamin Kramer.Rafael Espindola2012-05-311-5/+29
* Require intervals in the range metadata to be in a canonical form: They mustRafael Espindola2012-05-312-0/+54
* These tests used intrinsics with the wrong prototype. They weren't caught be...Chris Lattner2012-05-271-2/+2
* Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands2012-04-161-12/+0
* Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands2012-04-161-6/+18
* Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands2012-04-142-31/+31
* Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands2012-04-101-0/+31
* First part of PR12251. Add documentation and verifier support for the rangeRafael Espindola2012-03-242-0/+100
* Replace all instances of dg.exp file with lit.local.cfg, since all tests are ...Eli Bendersky2012-02-162-3/+1
* Teach the verifier to reject all non-constant arguments to the secondChandler Carruth2011-12-121-0/+16
* Land the long talked about "type system rewrite" patch. ThisChris Lattner2011-07-092-2/+2
* more tests not making the jump into the brave new world.Chris Lattner2011-07-091-4/+0
* stop accepting begin/end around function bodies in the .ll parser, this isn't...Chris Lattner2011-06-171-3/+2
* manually upgrade a bunch of tests to modern syntax, and remove some thatChris Lattner2011-06-171-7/+0
* Reject unrepresentable pointer types in intrinsics. Fixes PR7316.Nick Lewycky2010-08-081-0/+21
* Reapply address space patch after fixing an issue in MemCopyOptimizer.Mon P Wang2010-04-041-1/+1
* Revert r100191 since it breaks objc in clang Mon P Wang2010-04-021-1/+1
* Reapply address space patch after fixing an issue in MemCopyOptimizer.Mon P Wang2010-04-021-1/+1
* Revert Mon Ping's change 99928, since it broke all the llvm-gcc buildbots.Bob Wilson2010-03-301-1/+1
* Added support for address spaces and added a isVolatile field to memcpy, memm...Mon P Wang2010-03-301-1/+1
* Delete useless trailing semicolons.Dan Gohman2010-01-051-1/+1
* Remove obsolete -f flags.Dan Gohman2009-08-256-6/+6
* Dan noticed that the verifier wasn't thoroughly checking uses ofDuncan Sands2009-05-293-0/+50
* Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin2009-05-221-11/+0
* Verify that calling conventions match function prototype.Torok Edwin2009-05-221-0/+11
* Reimplement the old and horrible bison parser for .ll files with a niceChris Lattner2009-01-023-4/+3
* Correct this error message.Nick Lewycky2008-11-151-0/+5
* Diagnose uses of unsized types with the byval attribute in theDan Gohman2008-08-271-1/+2
* Verify that the alignment argument to llvm.memcpy is a constantChris Lattner2008-08-231-0/+11
* For all RUN lines starting with "not", redirect stderr to /dev/null so testsMatthijs Kooijman2008-06-109-9/+9
* Make structs and arrays first-class types, and add assemblyDan Gohman2008-05-231-2/+4
* Eliminate questionable syntax for stdin redirection. This probably also speed...Gabor Greif2008-05-205-5/+5
* sabre brings to my attention that the 'tr' suffix is also obsoleteGabor Greif2008-05-201-1/+1
* Rename the last test with .llx extension to .ll, resolve duplicate test by re...Gabor Greif2008-05-201-1/+1
* Revert the change from r51157 inDan Gohman2008-05-161-3/+3
* IR support for extractvalue and insertvalue instructions. Also, beginDan Gohman2008-05-151-3/+3
* Add testcase for prev. commit. Minor fixesAnton Korobeynikov2008-03-221-0/+6
* All of these tests had out of date syntax and were never even running throughNick Lewycky2008-03-167-28/+26
* Functions are allowed to return structures. (Note that this test never failed.)Nick Lewycky2008-03-161-7/+0
* Regressions/ is long gone.Nick Lewycky2008-03-161-1/+1