aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* PHI nodes are not allowed to exist with zero incoming values, check thatChris Lattner2002-10-061-0/+7
* Make sure that we abort if an error happens as early as neccesary. BeforeChris Lattner2002-09-191-5/+27
* Fix typeo in assertion messageChris Lattner2002-09-101-1/+1
* Do not allow adds of pointer types, or many other operations on pointer types.Chris Lattner2002-09-091-8/+47
* Eliminated the MemAccessInst class, folding contents into GEP class.Chris Lattner2002-08-221-2/+3
* Load & StoreInst no longer derive from MemAccessInst, so we don't haveChris Lattner2002-08-221-6/+4
* - Cleaned up the interface to AnalysisUsage to take analysis class namesChris Lattner2002-08-081-1/+1
* Implement dominator checking in the verifier, so that we check that allChris Lattner2002-08-021-22/+57
* Register Verifier passChris Lattner2002-07-231-2/+2
* Add a hack to check for a subset of true dominance propertiesChris Lattner2002-07-181-4/+22
* changes for 64bit gccAnand Shukla2002-06-251-1/+2
* * Update to work with MegapatchChris Lattner2002-06-251-105/+153
* Verify that function call arguments match the function signatureChris Lattner2002-05-081-0/+17
* Eliminate duplicate or unneccesary #include'sChris Lattner2002-04-291-2/+0
* Add new optional getPassName() virtual function that a Pass can overrideChris Lattner2002-04-291-0/+2
* Tighten up the AnalysisUsage of lots of passes, primarily to correctly indica...Chris Lattner2002-04-281-0/+4
* Remove extra unused argument from CheckFailed methodChris Lattner2002-04-281-10/+10
* The check to see if an external function was marked internal was not reachable!Chris Lattner2002-04-281-4/+6
* * Rename MethodPass class to FunctionPassChris Lattner2002-04-271-2/+2
* * Abort program on verification errorsChris Lattner2002-04-241-1/+41
* Add some basic checks of CallInst's.Chris Lattner2002-04-181-8/+17
* * Convert the verifier to use an InstVisitor to be better structuredChris Lattner2002-04-181-137/+154
* * Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.llChris Lattner2002-04-131-22/+47
* Add new check of return value type matching ret instruction values typesChris Lattner2002-04-121-2/+17
* s/Method/FunctionChris Lattner2002-04-081-1/+1
* Remove some gross code by using the Value::dump method to do debug dumpsChris Lattner2002-04-071-3/+2
* * s/Method/FunctionChris Lattner2002-03-291-10/+14
* Checkin new test for problem anand ran intoChris Lattner2002-03-151-3/+35
* Add a check to ensure that only PHI nodes are self referential. CodeChris Lattner2002-03-141-1/+8
* Expose more entry points to the verifierChris Lattner2002-02-261-2/+2
* Make it compile with GCC 3.0.4Chris Lattner2002-02-241-6/+6
* Actually implement some checking in the verifier.Chris Lattner2002-02-201-36/+111
* Convert analyses to new pass structureChris Lattner2002-01-311-1/+1
* Changes to build successfully with GCC 3.02Chris Lattner2002-01-201-0/+3
* Add notesChris Lattner2001-11-061-1/+3
* Remove #include of nonexistant header fileChris Lattner2001-09-071-1/+0
* Added a note about a new verification the verifier should doChris Lattner2001-06-291-1/+1
* Miscellaneous cleanups:Chris Lattner2001-06-271-8/+4
* Initial revisionChris Lattner2001-06-061-0/+94
generated by cgit v1.1 at 2025-01-26 17:40:18 +0000