summaryrefslogtreecommitdiff
path: root/test/Verifier
Commit message (Collapse)AuthorAge
...
* We now allow byval on fairly general pointer types.Duncan Sands2008-01-14
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45956 91177308-0d34-0410-b5e6-96231b3b80d8
* Be more liberal in what parameter attributes areDuncan Sands2008-01-12
| | | | | | | allowed on the vararg arguments of a call. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45909 91177308-0d34-0410-b5e6-96231b3b80d8
* Do not allow attributes beyond a function's lastDuncan Sands2008-01-11
| | | | | | | | | | | | | parameter, even if it is a varargs function. Do allow attributes on the varargs part of a call, but not beyond the last argument. Only allow selected attributes to be on the varargs part of a call (currently only 'byval' is allowed). The reasoning here is that most attributes, eg inreg, simply make no sense here. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45887 91177308-0d34-0410-b5e6-96231b3b80d8
* Get the verifier to check attributes on calls as wellDuncan Sands2007-12-21
| | | | | | | | | | | as on functions. Make it verify invokes and not just ordinary calls. As a (desired) side-effect, it is no longer legal to have call attributes on arguments that are being passed to the varargs part of a varargs function (llvm-as drops them on the floor anyway). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45286 91177308-0d34-0410-b5e6-96231b3b80d8
* Use not instead of ignore when an exit status is expected to alwaysDan Gohman2007-12-11
| | | | | | | be non-zero. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44866 91177308-0d34-0410-b5e6-96231b3b80d8
* Change &| to |&.Dan Gohman2007-11-27
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44345 91177308-0d34-0410-b5e6-96231b3b80d8
* Fix for PR1633: Verifier doesn't fully verify GC intrinsicsGordon Henriksen2007-09-17
| | | | | | | | | | | | | | | LLVM now enforces the following prototypes for the write barriers: <ty>* @llvm.gcread(<ty2>*, <ty>**) void @llvm.gcwrite(<ty>*, <ty2>*, <ty>**) And for @llvm.gcroot, the first stack slot is verified to be an alloca or a bitcast of an alloca. Fixes test/CodeGen/Generic/GC/lower_gcroot.ll, which violated these. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42051 91177308-0d34-0410-b5e6-96231b3b80d8
* Make sure these tests pass for the right reasons (verifier error, rather thanReid Spencer2007-08-01
| | | | | | | failure to assemble). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40696 91177308-0d34-0410-b5e6-96231b3b80d8
* check for correct usage of the byval attributeRafael Espindola2007-07-10
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@38506 91177308-0d34-0410-b5e6-96231b3b80d8
* Convert .cvsignore filesJohn Criswell2007-06-29
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37801 91177308-0d34-0410-b5e6-96231b3b80d8
* remove bogus xfailed testcaseChris Lattner2007-05-05
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36790 91177308-0d34-0410-b5e6-96231b3b80d8
* For PR1319: Upgrade to new test harnessReid Spencer2007-04-15
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36070 91177308-0d34-0410-b5e6-96231b3b80d8
* Make the llvm-runtest function much more amenable by eliminating all theReid Spencer2007-04-11
| | | | | | | | | global variables that needed to be passed in. This makes it possible to add new global variables with only a couple changes (Makefile and llvm-dg.exp) instead of touching every single dg.exp file. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@35918 91177308-0d34-0410-b5e6-96231b3b80d8
* For PR761:Reid Spencer2007-01-26
| | | | | | | | | | | | | | | Remove "target endian/pointersize" or add "target datalayout" to make the test parse properly or set the datalayout because defaults changes. For PR645: Make global names use the @ prefix. For llvm-upgrade changes: Fix test cases or completely remove use of llvm-upgrade for test cases that cannot survive the new renaming or upgrade capabilities. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33533 91177308-0d34-0410-b5e6-96231b3b80d8
* testcases for PR1042Chris Lattner2006-12-16
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32625 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcase for PR1047Chris Lattner2006-12-13
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32528 91177308-0d34-0410-b5e6-96231b3b80d8
* Make sure this file gets upgraded with llvm-upgradeReid Spencer2006-12-02
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32138 91177308-0d34-0410-b5e6-96231b3b80d8
* Promote GEP ubyte indices to uint. Backwards compatibility for 1.2 andReid Spencer2006-11-23
| | | | | | | | older features will be dropped soon and these test cases must not rely on the upgrade capability. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31896 91177308-0d34-0410-b5e6-96231b3b80d8
* testcase that causes the asmparser to assertChris Lattner2006-10-15
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30969 91177308-0d34-0410-b5e6-96231b3b80d8
* Testcase for PR826Chris Lattner2006-07-11
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29111 91177308-0d34-0410-b5e6-96231b3b80d8
* Fix an accidental commit.Chris Lattner2006-04-13
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@27661 91177308-0d34-0410-b5e6-96231b3b80d8
* Added the ability to xfail based on llvmgcc versionTanya Lattner2006-04-12
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@27635 91177308-0d34-0410-b5e6-96231b3b80d8
* Tired of wading through cvs's list ? files that are generated when buildingReid Spencer2006-03-23
| | | | | | | | | with srcdir = objdir to see what's okay and what's cruft. So, in goes a bunch of .cvsignore files to shut cvs up about known output from running "make check". git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@27009 91177308-0d34-0410-b5e6-96231b3b80d8
* this test is malformedChris Lattner2005-12-23
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@24993 91177308-0d34-0410-b5e6-96231b3b80d8
* Fix PR409:Reid Spencer2005-12-22
| | | | | | | | | Implement the suggested check to ensure that out-of-range float constants don't get accepted by LLVM accidentally. Adjust the supporting test cases as well. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@24963 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcase that the assembler incorrectly accepts.Chris Lattner2005-03-21
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20725 91177308-0d34-0410-b5e6-96231b3b80d8
* Adding srcdir argTanya Lattner2004-11-19
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18020 91177308-0d34-0410-b5e6-96231b3b80d8
* Adding subdirectory dg.exp files in order to be able to use dejagnu to only ↵Tanya Lattner2004-11-13
| | | | | | run specific tests (located in some subdirectory of Regression) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17712 91177308-0d34-0410-b5e6-96231b3b80d8
* Adding RUN lines.Tanya Lattner2004-11-06
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17533 91177308-0d34-0410-b5e6-96231b3b80d8
* Testcase for PR340: Verifier misses malformed switch instructionChris Lattner2004-05-21
| | | | | | | This testcase was reduced by John, thanks! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13617 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcaseChris Lattner2003-11-21
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10144 91177308-0d34-0410-b5e6-96231b3b80d8
* Removing Makefiles. Regression tests are now run by QMTest.John Criswell2003-09-15
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@8548 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcase to handle eventuallyChris Lattner2002-11-06
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@4558 91177308-0d34-0410-b5e6-96231b3b80d8
* Add readme file describing directoryChris Lattner2002-08-22
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3469 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcases for verifierChris Lattner2002-06-08
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2763 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcaseChris Lattner2002-04-18
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2304 91177308-0d34-0410-b5e6-96231b3b80d8
* New testcase for the verifierChris Lattner2002-04-13
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2242 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-08 03:00:08 +0000