summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Added LLVM project notice to the top of every C++ source file.John Criswell2003-10-201-0/+7
* Add support for the new varargs intrinsics and instructionsChris Lattner2003-10-181-3/+4
* Fix spelling/grammar.Misha Brukman2003-10-101-3/+3
* Be more careful handling PHI nodes, which might be of potentially high degree.Chris Lattner2003-10-051-93/+80
* Rename Function::getEntryNode -> getEntryBlockChris Lattner2003-09-201-3/+4
* Make createVerifierPass return a FunctionPass *.Brian Gaeke2003-09-101-1/+1
* Eliminate support for the llvm.unwind intrinisic, using the Unwind instructio...Chris Lattner2003-09-081-2/+0
* As it turns out, things will be simpler than I first expected. We no longerChris Lattner2003-08-251-2/+0
* rethrow is really the language independent primitive here. "throw" can be wr...Chris Lattner2003-08-241-2/+2
* Initial support for recognizing LLVM exception handling intrinsicsChris Lattner2003-08-241-0/+7
* Add intrinsics for the llvm.sig(set|long)jmp functionsChris Lattner2003-08-181-4/+6
* Spell `necessary' correctly.Misha Brukman2003-08-181-1/+1
* Add a bunch of new Alpha Intrinsics for Rahul JoshiChris Lattner2003-08-061-4/+15
* Add support for Alpha intrinsics, contributed by Rahul JoshiChris Lattner2003-07-281-0/+6
* Fix (bogus) possibly uninitialized warningChris Lattner2003-06-051-1/+1
* Add support for setjmp/longjmp primitivesChris Lattner2003-05-171-1/+3
* llvm.va_start only takes on argument nowChris Lattner2003-05-081-11/+5
* Add more support for intrinsic functions and for varargs stuffChris Lattner2003-05-081-0/+37
* Add support for the new va_arg instructionChris Lattner2003-05-081-1/+7
* Remove arbitrary limitationChris Lattner2003-04-191-1/+0
* Add code to verify correctly linkagesChris Lattner2003-04-161-2/+16
* Fix bug Regression/Verifier/2002-11-05-GetelementptrPointers.llChris Lattner2003-01-141-1/+0
* User defined operators are not supposed to live beyond the lifetime of theChris Lattner2002-11-211-0/+9
* - Eliminated the deferred symbol table stuff in Module & Function, it reallyChris Lattner2002-11-201-5/+3
* - Change Function's so that their argument list is populated when they areChris Lattner2002-10-131-16/+14
* Check that we don't have external varaibles with internal linkageChris Lattner2002-10-061-1/+5
* 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
OpenPOWER on IntegriCloud