summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* * Update to work with MegapatchChris Lattner2002-06-251-105/+153
| | | | | | | | * Add two new checks: * PHI nodes must be the first thing in a basic block, all grouped together * All basic blocks should only end with terminator insts, not contain them llvm-svn: 2773
* Verify that function call arguments match the function signatureChris Lattner2002-05-081-0/+17
| | | | llvm-svn: 2553
* Eliminate duplicate or unneccesary #include'sChris Lattner2002-04-291-2/+0
| | | | llvm-svn: 2397
* Add new optional getPassName() virtual function that a Pass can overrideChris Lattner2002-04-291-0/+2
| | | | | | to make debugging output a lot nicer. llvm-svn: 2395
* Tighten up the AnalysisUsage of lots of passes, primarily to correctly ↵Chris Lattner2002-04-281-0/+4
| | | | | | indicate whether or not they invalidate the CFGA llvm-svn: 2386
* Remove extra unused argument from CheckFailed methodChris Lattner2002-04-281-10/+10
| | | | | | Remove extraneous \n's from assert strings llvm-svn: 2367
* The check to see if an external function was marked internal was not reachable!Chris Lattner2002-04-281-4/+6
| | | | llvm-svn: 2366
* * Rename MethodPass class to FunctionPassChris Lattner2002-04-271-2/+2
| | | | | | | | | | | | | | | - Rename runOnMethod to runOnFunction * Transform getAnalysisUsageInfo into getAnalysisUsage - Method is now const - It now takes one AnalysisUsage object to fill in instead of 3 vectors to fill in - Pass's now specify which other passes they _preserve_ not which ones they modify (be conservative!) - A pass can specify that it preserves all analyses (because it never modifies the underlying program) * s/Method/Function/g in other random places as well llvm-svn: 2333
* * Abort program on verification errorsChris Lattner2002-04-241-1/+41
| | | | | | | * Verify that load, store, and GEP instructions indices are correct, because they _continually_ bite me on this pool allocations stuff llvm-svn: 2309
* Add some basic checks of CallInst's.Chris Lattner2002-04-181-8/+17
| | | | | | Assert now returns from the current function on error. llvm-svn: 2308
* * Convert the verifier to use an InstVisitor to be better structuredChris Lattner2002-04-181-137/+154
| | | | | | | | * Implement checking that a binary operator's two sides are the same type * Actually check that an instruction does not have a name if it has a void return type. llvm-svn: 2305
* * Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.llChris Lattner2002-04-131-22/+47
| | | | | | * Check that arguments match the method types of the method they live in llvm-svn: 2243
* Add new check of return value type matching ret instruction values typesChris Lattner2002-04-121-2/+17
| | | | llvm-svn: 2230
* s/Method/FunctionChris Lattner2002-04-081-1/+1
| | | | llvm-svn: 2180
* Remove some gross code by using the Value::dump method to do debug dumpsChris Lattner2002-04-071-3/+2
| | | | llvm-svn: 2150
* * s/Method/FunctionChris Lattner2002-03-291-10/+14
| | | | | | | * Implement a check to make sure a function is not internal and external at the same time llvm-svn: 2050
* Checkin new test for problem anand ran intoChris Lattner2002-03-151-3/+35
| | | | llvm-svn: 1880
* Add a check to ensure that only PHI nodes are self referential. CodeChris Lattner2002-03-141-1/+8
| | | | | | input to instruction combination was broken, which caused it to explode. llvm-svn: 1870
* Expose more entry points to the verifierChris Lattner2002-02-261-2/+2
| | | | llvm-svn: 1815
* Make it compile with GCC 3.0.4Chris Lattner2002-02-241-6/+6
| | | | llvm-svn: 1786
* Actually implement some checking in the verifier.Chris Lattner2002-02-201-36/+111
| | | | | | | These specific problems were ones Anand ran into in his work and seem not uncommon for beginners. llvm-svn: 1781
* Convert analyses to new pass structureChris Lattner2002-01-311-1/+1
| | | | llvm-svn: 1603
* Changes to build successfully with GCC 3.02Chris Lattner2002-01-201-0/+3
| | | | llvm-svn: 1503
* Add notesChris Lattner2001-11-061-1/+3
| | | | llvm-svn: 1163
* Remove #include of nonexistant header fileChris Lattner2001-09-071-1/+0
| | | | llvm-svn: 443
* Added a note about a new verification the verifier should doChris Lattner2001-06-291-1/+1
| | | | | | Removed a redundant check llvm-svn: 100
* Miscellaneous cleanups:Chris Lattner2001-06-271-8/+4
| | | | | | | | | | | * Convert post to pre-increment for for loops * Use generic programming more * Use new Value::cast* instructions * Use new Module, Method, & BasicBlock forwarding methods * Use new facilities in STLExtras.h * Use new Instruction::isPHINode() method llvm-svn: 96
* Initial revisionChris Lattner2001-06-061-0/+94
llvm-svn: 2
OpenPOWER on IntegriCloud