summaryrefslogtreecommitdiff
path: root/test/Verifier
AgeCommit message (Expand)AuthorFilesLines
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
2008-03-16Functions are allowed to return structures. (Note that this test never failed.)Nick Lewycky1-7/+0
2008-03-16Regressions/ is long gone.Nick Lewycky1-1/+1
2008-03-10Remove llvm-upgrade and update tests.Tanya Lattner2-17/+18
2008-03-01Fix PR2113 by verifying allocations.Chris Lattner1-0/+8
2008-03-01Fix this test.Chris Lattner1-7/+5
2008-01-22update this test to pass with duncan's change.Chris Lattner1-1/+1
2008-01-14This test is now the same as byval-1.ll, so remove it.Duncan Sands1-2/+0
2008-01-14Test that byval cannot be used with pointers toDuncan Sands1-1/+2
2008-01-14We now allow byval on fairly general pointer types.Duncan Sands1-1/+1
2008-01-12Be more liberal in what parameter attributes areDuncan Sands1-2/+2
2008-01-11Do not allow attributes beyond a function's lastDuncan Sands1-0/+10
2007-12-21Get the verifier to check attributes on calls as wellDuncan Sands1-0/+10
2007-12-11Use not instead of ignore when an exit status is expected to alwaysDan Gohman1-1/+1
2007-11-27Change &| to |&.Dan Gohman2-2/+2
2007-09-17Fix for PR1633: Verifier doesn't fully verify GC intrinsicsGordon Henriksen5-0/+70
2007-08-01Make sure these tests pass for the right reasons (verifier error, rather thanReid Spencer2-6/+6
2007-07-10check for correct usage of the byval attributeRafael Espindola4-0/+10
2007-06-29Convert .cvsignore filesJohn Criswell1-3/+0
2007-05-05remove bogus xfailed testcaseChris Lattner1-6/+0
2007-04-15For PR1319: Upgrade to new test harnessReid Spencer2-5/+4
2007-04-11Make the llvm-runtest function much more amenable by eliminating all theReid Spencer1-1/+1
2007-01-26For PR761:Reid Spencer1-5/+6
2006-12-16testcases for PR1042Chris Lattner2-0/+23
2006-12-13New testcase for PR1047Chris Lattner1-0/+7
2006-12-02Make sure this file gets upgraded with llvm-upgradeReid Spencer1-2/+2
2006-11-23Promote GEP ubyte indices to uint. Backwards compatibility for 1.2 andReid Spencer1-1/+1
2006-10-15testcase that causes the asmparser to assertChris Lattner1-0/+9
2006-07-11Testcase for PR826Chris Lattner1-0/+11
2006-04-13Fix an accidental commit.Chris Lattner1-1/+1
2006-04-12Added the ability to xfail based on llvmgcc versionTanya Lattner3-3/+2
2006-03-23Tired of wading through cvs's list ? files that are generated when buildingReid Spencer1-0/+3
2005-12-23this test is malformedChris Lattner1-1/+1
2005-12-22Fix PR409:Reid Spencer1-0/+6
2005-03-21New testcase that the assembler incorrectly accepts.Chris Lattner1-0/+7