summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Fix check. PHI nodes must be handled specially, of course.Chris Lattner2004-01-141-4/+5
* Tighten up verifier checks. The result of an invoke instruction onlyChris Lattner2004-01-141-2/+8
* Add support for new intrinsicChris Lattner2004-01-061-0/+1
* Add VMCore and code generator support for debugging intrinsics. By defaultChris Lattner2004-01-051-0/+5
* Check return types of functionsChris Lattner2003-11-211-0/+3
* Fix problem Reid was having with external globals and nonexternal linkageChris Lattner2003-11-211-3/+2
* Finegrainify namespacificationChris Lattner2003-11-211-10/+10
* Fix some problems with assertions printingChris Lattner2003-11-211-7/+19
* improve error messageChris Lattner2003-11-211-2/+2
* When failing a Verifier assertion, use WriteAsOperand to print out theBrian Gaeke2003-11-161-5/+7
* Expose the verifier to optChris Lattner2003-11-131-1/+1
* Detect problems with PHI node operands!Chris Lattner2003-11-121-0/+6
* Put all LLVM code into the llvm namespace, as per bug 109.Brian Gaeke2003-11-111-28/+32
* 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
OpenPOWER on IntegriCloud