aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* * Capitalize `Java'Misha Brukman2004-06-241-7/+7
* Minor cleanupChris Lattner2004-06-171-1/+1
* isnan is deadChris Lattner2004-06-151-10/+0
* Make assertions more consistent with the rest of the intrinsicAlkis Evlogimenos2004-06-131-8/+12
* Add the isunordered intrinsic.Alkis Evlogimenos2004-06-121-1/+11
* I misled Alkis: LLVM should have isnan, not isunordered.Chris Lattner2004-06-111-1/+7
* Add the isunordered intrinsic.Alkis Evlogimenos2004-06-111-0/+2
* Fix PR361.Chris Lattner2004-06-071-1/+2
* Fix GCC warningChris Lattner2004-06-051-1/+1
* Work around VS bugChris Lattner2004-06-051-3/+2
* * Verify function prototypes, not just functions with bodies.Chris Lattner2004-06-031-2/+12
* Fix for bug 348.Reid Spencer2004-05-271-0/+1
* Convert to SymbolTable's new iteration interface. Remove tabs.Reid Spencer2004-05-251-14/+27
* Recognize and verify the new GC intrinsics.Chris Lattner2004-05-231-6/+16
* Fix for PR340: Verifier misses malformed switch instructionChris Lattner2004-05-211-0/+12
* Fold two assertions with backwards error messages into one with aBrian Gaeke2004-05-171-6/+3
* Fixed inconsistent indentation.John Criswell2004-05-041-16/+16
* Make sure to check for a very bad class of errors: an instructionChris Lattner2004-04-161-0/+6
* Remove the return type check for llvm.readio. This check is done for allJohn Criswell2004-04-141-4/+3
* Added code to verify that llvm.readio's pointer argument returns somethingJohn Criswell2004-04-141-3/+8
* Finish adding the llvm.readio and llvm.writeio intrinsics.John Criswell2004-04-141-0/+22
* Reversed the order of the llvm.writeport() operands so that the valueJohn Criswell2004-04-091-2/+2
* Added the llvm.readport and llvm.writeport intrinsics.John Criswell2004-04-081-0/+20
* Make the verifier API more complete and useful.Chris Lattner2004-04-021-20/+48
* Add another checkChris Lattner2004-03-291-0/+5
* Catch some more cases of broken code. The loop extractor seems to be creatingChris Lattner2004-03-141-3/+8
* verifyFunction has been broken for a long time now. Fix it.Chris Lattner2004-03-141-12/+8
* Rename the intrinsic enum values for llvm.va_* from Intrinsic::va_* toChris Lattner2004-03-131-3/+3
* Add support for checking the select instructionChris Lattner2004-03-121-0/+11
* Doxygenify comments.Misha Brukman2004-03-021-22/+19
* Fix Regression/Assembler/2004-02-27-SelfUseAssertError.llChris Lattner2004-02-271-1/+2
* Make the verifier a little more explicit about this problem.Chris Lattner2004-02-241-2/+2
* Add llvm.memset/frameaddress/returnaddress intrinsics.Chris Lattner2004-02-141-7/+15
* Add support for the llvm.memmove intrinsicChris Lattner2004-02-121-0/+1
* Implement the llvm.memcpy intrinsicChris Lattner2004-02-121-0/+2
* 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