summaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAge
* Added LLVM project notice to the top of every C++ source file.John Criswell2003-10-20
* Add support for the new varargs intrinsics and instructionsChris Lattner2003-10-18
* Fix spelling/grammar.Misha Brukman2003-10-10
* Be more careful handling PHI nodes, which might be of potentially high degree.Chris Lattner2003-10-05
* Rename Function::getEntryNode -> getEntryBlockChris Lattner2003-09-20
* Make createVerifierPass return a FunctionPass *.Brian Gaeke2003-09-10
* Eliminate support for the llvm.unwind intrinisic, using the Unwind instructio...Chris Lattner2003-09-08
* As it turns out, things will be simpler than I first expected. We no longerChris Lattner2003-08-25
* rethrow is really the language independent primitive here. "throw" can be wr...Chris Lattner2003-08-24
* Initial support for recognizing LLVM exception handling intrinsicsChris Lattner2003-08-24
* Add intrinsics for the llvm.sig(set|long)jmp functionsChris Lattner2003-08-18
* Spell `necessary' correctly.Misha Brukman2003-08-18
* Add a bunch of new Alpha Intrinsics for Rahul JoshiChris Lattner2003-08-06
* Add support for Alpha intrinsics, contributed by Rahul JoshiChris Lattner2003-07-28
* Fix (bogus) possibly uninitialized warningChris Lattner2003-06-05
* Add support for setjmp/longjmp primitivesChris Lattner2003-05-17
* llvm.va_start only takes on argument nowChris Lattner2003-05-08
* Add more support for intrinsic functions and for varargs stuffChris Lattner2003-05-08
* Add support for the new va_arg instructionChris Lattner2003-05-08
* Remove arbitrary limitationChris Lattner2003-04-19
* Add code to verify correctly linkagesChris Lattner2003-04-16
* Fix bug Regression/Verifier/2002-11-05-GetelementptrPointers.llChris Lattner2003-01-14
* User defined operators are not supposed to live beyond the lifetime of theChris Lattner2002-11-21
* - Eliminated the deferred symbol table stuff in Module & Function, it reallyChris Lattner2002-11-20
* - Change Function's so that their argument list is populated when they areChris Lattner2002-10-13
* Check that we don't have external varaibles with internal linkageChris Lattner2002-10-06
* PHI nodes are not allowed to exist with zero incoming values, check thatChris Lattner2002-10-06
* Make sure that we abort if an error happens as early as neccesary. BeforeChris Lattner2002-09-19
* Fix typeo in assertion messageChris Lattner2002-09-10
* Do not allow adds of pointer types, or many other operations on pointer types.Chris Lattner2002-09-09
* Eliminated the MemAccessInst class, folding contents into GEP class.Chris Lattner2002-08-22
* Load & StoreInst no longer derive from MemAccessInst, so we don't haveChris Lattner2002-08-22
* - Cleaned up the interface to AnalysisUsage to take analysis class namesChris Lattner2002-08-08
* Implement dominator checking in the verifier, so that we check that allChris Lattner2002-08-02
* Register Verifier passChris Lattner2002-07-23
* Add a hack to check for a subset of true dominance propertiesChris Lattner2002-07-18
* changes for 64bit gccAnand Shukla2002-06-25
* * Update to work with MegapatchChris Lattner2002-06-25
* Verify that function call arguments match the function signatureChris Lattner2002-05-08
* Eliminate duplicate or unneccesary #include'sChris Lattner2002-04-29
* Add new optional getPassName() virtual function that a Pass can overrideChris Lattner2002-04-29
* Tighten up the AnalysisUsage of lots of passes, primarily to correctly indica...Chris Lattner2002-04-28
* Remove extra unused argument from CheckFailed methodChris Lattner2002-04-28
* The check to see if an external function was marked internal was not reachable!Chris Lattner2002-04-28
* * Rename MethodPass class to FunctionPassChris Lattner2002-04-27
* * Abort program on verification errorsChris Lattner2002-04-24
* Add some basic checks of CallInst's.Chris Lattner2002-04-18
* * Convert the verifier to use an InstVisitor to be better structuredChris Lattner2002-04-18
* * Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.llChris Lattner2002-04-13
* Add new check of return value type matching ret instruction values typesChris Lattner2002-04-12