summaryrefslogtreecommitdiff
path: root/test/Verifier
AgeCommit message (Expand)AuthorFilesLines
2012-08-17Assert that dominates is not given a multiple edge. Finding out if we haveRafael Espindola1-1/+0
2012-08-10The normal edge of an invoke is not allowed to branch to a block with aEli Friedman1-2/+17
2012-07-23Fix a typo (the the => the)Sylvestre Ledru1-1/+1
2012-07-02Fix the remaining TCL-style quotes found in the testsuite. This isChandler Carruth1-1/+1
2012-07-02Convert the uses of '|&' to use '2>&1 |' instead, which works on oldChandler Carruth16-16/+16
2012-07-02Convert all tests using TCL-style quoting to use shell-style quoting.Chandler Carruth11-11/+11
2012-07-02Make tests which first provide a negative assertion via 'not', thenChandler Carruth1-1/+2
2012-06-28make the verifier accept @llvm.donothing as the only intrinsic that can be in...Nuno Lopes3-24/+65
2012-06-18revert r158660, since Chris has some issues with this patch (namely using cod...Nuno Lopes2-67/+0
2012-06-18add the 'alloc' metadata node to represent the size of offset of buffers poin...Nuno Lopes2-0/+67
2012-06-01Use dominates(Instruction, Use) in the verifier.Rafael Espindola1-2/+2
2012-06-01Add some tests checking that the verifier rejects cases where a definitionRafael Espindola1-0/+57
2012-05-31Fix typos noticed by Benjamin Kramer.Rafael Espindola1-5/+29
2012-05-31Require intervals in the range metadata to be in a canonical form: They mustRafael Espindola2-0/+54
2012-05-27These tests used intrinsics with the wrong prototype. They weren't caught be...Chris Lattner1-2/+2
2012-04-16Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands1-12/+0
2012-04-16Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands1-6/+18
2012-04-14Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands2-31/+31
2012-04-10Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands1-0/+31
2012-03-24First part of PR12251. Add documentation and verifier support for the rangeRafael Espindola2-0/+100
2012-02-16Replace all instances of dg.exp file with lit.local.cfg, since all tests are ...Eli Bendersky2-3/+1
2011-12-12Teach the verifier to reject all non-constant arguments to the secondChandler Carruth1-0/+16
2011-07-09Land the long talked about "type system rewrite" patch. ThisChris Lattner2-2/+2
2011-07-09more tests not making the jump into the brave new world.Chris Lattner1-4/+0
2011-06-17stop accepting begin/end around function bodies in the .ll parser, this isn't...Chris Lattner1-3/+2
2011-06-17manually upgrade a bunch of tests to modern syntax, and remove some thatChris Lattner1-7/+0
2010-08-08Reject unrepresentable pointer types in intrinsics. Fixes PR7316.Nick Lewycky1-0/+21
2010-04-04Reapply address space patch after fixing an issue in MemCopyOptimizer.Mon P Wang1-1/+1
2010-04-02Revert r100191 since it breaks objc in clang Mon P Wang1-1/+1
2010-04-02Reapply address space patch after fixing an issue in MemCopyOptimizer.Mon P Wang1-1/+1
2010-03-30Revert Mon Ping's change 99928, since it broke all the llvm-gcc buildbots.Bob Wilson1-1/+1
2010-03-30Added support for address spaces and added a isVolatile field to memcpy, memm...Mon P Wang1-1/+1
2010-01-05Delete useless trailing semicolons.Dan Gohman1-1/+1
2009-08-25Remove obsolete -f flags.Dan Gohman6-6/+6
2009-05-29Dan noticed that the verifier wasn't thoroughly checking uses ofDuncan Sands3-0/+50
2009-05-22Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin1-11/+0
2009-05-22Verify that calling conventions match function prototype.Torok Edwin1-0/+11
2009-01-02Reimplement the old and horrible bison parser for .ll files with a niceChris Lattner3-4/+3
2008-11-15Correct this error message.Nick Lewycky1-0/+5
2008-08-27Diagnose uses of unsized types with the byval attribute in theDan Gohman1-1/+2
2008-08-23Verify that the alignment argument to llvm.memcpy is a constantChris Lattner1-0/+11
2008-06-10For all RUN lines starting with "not", redirect stderr to /dev/null so testsMatthijs Kooijman9-9/+9
2008-05-23Make structs and arrays first-class types, and add assemblyDan Gohman1-2/+4
2008-05-20Eliminate questionable syntax for stdin redirection. This probably also speed...Gabor Greif5-5/+5
2008-05-20sabre brings to my attention that the 'tr' suffix is also obsoleteGabor Greif1-1/+1
2008-05-20Rename the last test with .llx extension to .ll, resolve duplicate test by re...Gabor Greif1-1/+1
2008-05-16Revert the change from r51157 inDan Gohman1-3/+3
2008-05-15IR support for extractvalue and insertvalue instructions. Also, beginDan Gohman1-3/+3
2008-03-22Add testcase for prev. commit. Minor fixesAnton Korobeynikov1-0/+6
2008-03-16All of these tests had out of date syntax and were never even running throughNick Lewycky7-28/+26