aboutsummaryrefslogtreecommitdiff
path: root/test/Verifier
AgeCommit message (Expand)Author
2012-04-16Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands
2012-04-16Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands
2012-04-14Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands
2012-04-10Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands
2012-03-24First part of PR12251. Add documentation and verifier support for the rangeRafael Espindola
2012-02-16Replace all instances of dg.exp file with lit.local.cfg, since all tests are ...Eli Bendersky
2011-12-12Teach the verifier to reject all non-constant arguments to the secondChandler Carruth
2011-07-09Land the long talked about "type system rewrite" patch. ThisChris Lattner
2011-07-09more tests not making the jump into the brave new world.Chris Lattner
2011-06-17stop accepting begin/end around function bodies in the .ll parser, this isn't...Chris Lattner
2011-06-17manually upgrade a bunch of tests to modern syntax, and remove some thatChris Lattner
2010-08-08Reject unrepresentable pointer types in intrinsics. Fixes PR7316.Nick Lewycky
2010-04-04Reapply address space patch after fixing an issue in MemCopyOptimizer.Mon P Wang
2010-04-02Revert r100191 since it breaks objc in clang Mon P Wang
2010-04-02Reapply address space patch after fixing an issue in MemCopyOptimizer.Mon P Wang
2010-03-30Revert Mon Ping's change 99928, since it broke all the llvm-gcc buildbots.Bob Wilson
2010-03-30Added support for address spaces and added a isVolatile field to memcpy, memm...Mon P Wang
2010-01-05Delete useless trailing semicolons.Dan Gohman
2009-08-25Remove obsolete -f flags.Dan Gohman
2009-05-29Dan noticed that the verifier wasn't thoroughly checking uses ofDuncan Sands
2009-05-22Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin
2009-05-22Verify that calling conventions match function prototype.Torok Edwin
2009-01-02Reimplement the old and horrible bison parser for .ll files with a niceChris Lattner
2008-11-15Correct this error message.Nick Lewycky
2008-08-27Diagnose uses of unsized types with the byval attribute in theDan Gohman
2008-08-23Verify that the alignment argument to llvm.memcpy is a constantChris Lattner
2008-06-10For all RUN lines starting with "not", redirect stderr to /dev/null so testsMatthijs Kooijman
2008-05-23Make structs and arrays first-class types, and add assemblyDan Gohman
2008-05-20Eliminate questionable syntax for stdin redirection. This probably also speed...Gabor Greif
2008-05-20sabre brings to my attention that the 'tr' suffix is also obsoleteGabor Greif
2008-05-20Rename the last test with .llx extension to .ll, resolve duplicate test by re...Gabor Greif
2008-05-16Revert the change from r51157 inDan Gohman
2008-05-15IR support for extractvalue and insertvalue instructions. Also, beginDan Gohman
2008-03-22Add testcase for prev. commit. Minor fixesAnton Korobeynikov
2008-03-16All of these tests had out of date syntax and were never even running throughNick Lewycky
2008-03-16Functions are allowed to return structures. (Note that this test never failed.)Nick Lewycky
2008-03-16Regressions/ is long gone.Nick Lewycky
2008-03-10Remove llvm-upgrade and update tests.Tanya Lattner
2008-03-01Fix PR2113 by verifying allocations.Chris Lattner
2008-03-01Fix this test.Chris Lattner
2008-01-22update this test to pass with duncan's change.Chris Lattner
2008-01-14This test is now the same as byval-1.ll, so remove it.Duncan Sands
2008-01-14Test that byval cannot be used with pointers toDuncan Sands
2008-01-14We now allow byval on fairly general pointer types.Duncan Sands
2008-01-12Be more liberal in what parameter attributes areDuncan Sands
2008-01-11Do not allow attributes beyond a function's lastDuncan Sands
2007-12-21Get the verifier to check attributes on calls as wellDuncan Sands
2007-12-11Use not instead of ignore when an exit status is expected to alwaysDan Gohman
2007-11-27Change &| to |&.Dan Gohman
2007-09-17Fix for PR1633: Verifier doesn't fully verify GC intrinsicsGordon Henriksen