summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Catch some more cases of broken code. The loop extractor seems to be creatingChris Lattner2004-03-141-3/+8
| | | | | | situations where there is a branch that goes to a block in another function. llvm-svn: 12379
* verifyFunction has been broken for a long time now. Fix it.Chris Lattner2004-03-141-12/+8
| | | | llvm-svn: 12377
* Rename the intrinsic enum values for llvm.va_* from Intrinsic::va_* toChris Lattner2004-03-131-3/+3
| | | | | | Intrinsic::va*. This avoid conflicting with macros in the stdlib.h file. llvm-svn: 12356
* Add support for checking the select instructionChris Lattner2004-03-121-0/+11
| | | | llvm-svn: 12325
* Doxygenify comments.Misha Brukman2004-03-021-22/+19
| | | | llvm-svn: 12071
* Fix Regression/Assembler/2004-02-27-SelfUseAssertError.llChris Lattner2004-02-271-1/+2
| | | | llvm-svn: 11913
* Make the verifier a little more explicit about this problem.Chris Lattner2004-02-241-2/+2
| | | | llvm-svn: 11811
* Add llvm.memset/frameaddress/returnaddress intrinsics.Chris Lattner2004-02-141-7/+15
| | | | llvm-svn: 11431
* Add support for the llvm.memmove intrinsicChris Lattner2004-02-121-0/+1
| | | | | | Patch graciously contributed by Reid Spencer! llvm-svn: 11355
* Implement the llvm.memcpy intrinsicChris Lattner2004-02-121-0/+2
| | | | llvm-svn: 11349
* Fix check. PHI nodes must be handled specially, of course.Chris Lattner2004-01-141-4/+5
| | | | llvm-svn: 10842
* Tighten up verifier checks. The result of an invoke instruction onlyChris Lattner2004-01-141-2/+8
| | | | | | | dominates the normal destination, not the exceptional dest (ie, the result of a call is undefined on an exception) llvm-svn: 10841
* Add support for new intrinsicChris Lattner2004-01-061-0/+1
| | | | llvm-svn: 10701
* Add VMCore and code generator support for debugging intrinsics. By defaultChris Lattner2004-01-051-0/+5
| | | | | | code generators completely ignore them. llvm-svn: 10691
* Check return types of functionsChris Lattner2003-11-211-0/+3
| | | | llvm-svn: 10146
* Fix problem Reid was having with external globals and nonexternal linkageChris Lattner2003-11-211-3/+2
| | | | llvm-svn: 10133
* Finegrainify namespacificationChris Lattner2003-11-211-10/+10
| | | | llvm-svn: 10131
* Fix some problems with assertions printingChris Lattner2003-11-211-7/+19
| | | | llvm-svn: 10129
* improve error messageChris Lattner2003-11-211-2/+2
| | | | llvm-svn: 10128
* When failing a Verifier assertion, use WriteAsOperand to print out theBrian Gaeke2003-11-161-5/+7
| | | | | | offending types and/or values. llvm-svn: 10041
* Expose the verifier to optChris Lattner2003-11-131-1/+1
| | | | llvm-svn: 9984
* Detect problems with PHI node operands!Chris Lattner2003-11-121-0/+6
| | | | llvm-svn: 9916
* Put all LLVM code into the llvm namespace, as per bug 109.Brian Gaeke2003-11-111-28/+32
| | | | llvm-svn: 9903
* Added LLVM project notice to the top of every C++ source file.John Criswell2003-10-201-0/+7
| | | | | | Header files will be on the way. llvm-svn: 9298
* Add support for the new varargs intrinsics and instructionsChris Lattner2003-10-181-3/+4
| | | | llvm-svn: 9226
* Fix spelling/grammar.Misha Brukman2003-10-101-3/+3
| | | | llvm-svn: 9023
* Be more careful handling PHI nodes, which might be of potentially high degree.Chris Lattner2003-10-051-93/+80
| | | | | | | This reduces the time to verify a function from eon with a large number of large PHI nodes from 22996s (6.38 hours) to 10.5499s llvm-svn: 8866
* Rename Function::getEntryNode -> getEntryBlockChris Lattner2003-09-201-3/+4
| | | | llvm-svn: 8625
* Make createVerifierPass return a FunctionPass *.Brian Gaeke2003-09-101-1/+1
| | | | llvm-svn: 8449
* Eliminate support for the llvm.unwind intrinisic, using the Unwind ↵Chris Lattner2003-09-081-2/+0
| | | | | | instruction instead llvm-svn: 8411
* As it turns out, things will be simpler than I first expected. We no longerChris Lattner2003-08-251-2/+0
| | | | | | need any exception handling intrinsics beyond llvm.unwind. (yaay) llvm-svn: 8145
* rethrow is really the language independent primitive here. "throw" can be ↵Chris Lattner2003-08-241-2/+2
| | | | | | | | | | written in terms of it and llvm.exc.setcurrent. Rework the intrinsics. llvm-svn: 8110
* Initial support for recognizing LLVM exception handling intrinsicsChris Lattner2003-08-241-0/+7
| | | | llvm-svn: 8102
* Add intrinsics for the llvm.sig(set|long)jmp functionsChris Lattner2003-08-181-4/+6
| | | | llvm-svn: 7949
* Spell `necessary' correctly.Misha Brukman2003-08-181-1/+1
| | | | llvm-svn: 7944
* Add a bunch of new Alpha Intrinsics for Rahul JoshiChris Lattner2003-08-061-4/+15
| | | | llvm-svn: 7646
* Add support for Alpha intrinsics, contributed by Rahul JoshiChris Lattner2003-07-281-0/+6
| | | | llvm-svn: 7373
* Fix (bogus) possibly uninitialized warningChris Lattner2003-06-051-1/+1
| | | | llvm-svn: 6634
* Add support for setjmp/longjmp primitivesChris Lattner2003-05-171-1/+3
| | | | | | Patch checked in for Bill Wendling :) llvm-svn: 6241
* llvm.va_start only takes on argument nowChris Lattner2003-05-081-11/+5
| | | | | | Verify that va_start doesn't occur in functions with no varargs llvm-svn: 6038
* Add more support for intrinsic functions and for varargs stuffChris Lattner2003-05-081-0/+37
| | | | llvm-svn: 6035
* Add support for the new va_arg instructionChris Lattner2003-05-081-1/+7
| | | | llvm-svn: 6029
* Remove arbitrary limitationChris Lattner2003-04-191-1/+0
| | | | llvm-svn: 5818
* Add code to verify correctly linkagesChris Lattner2003-04-161-2/+16
| | | | llvm-svn: 5788
* Fix bug Regression/Verifier/2002-11-05-GetelementptrPointers.llChris Lattner2003-01-141-1/+0
| | | | llvm-svn: 5273
* User defined operators are not supposed to live beyond the lifetime of theChris Lattner2002-11-211-0/+9
| | | | | | pass. Detect and flag them. llvm-svn: 4801
* - Eliminated the deferred symbol table stuff in Module & Function, it reallyChris Lattner2002-11-201-5/+3
| | | | | | wasn't an optimization and it was causing lots of bugs. llvm-svn: 4779
* - Change Function's so that their argument list is populated when they areChris Lattner2002-10-131-16/+14
| | | | | | | constructed. Before, external functions would have an empty argument list, now a Function ALWAYS has a populated argument list. llvm-svn: 4149
* Check that we don't have external varaibles with internal linkageChris Lattner2002-10-061-1/+5
| | | | llvm-svn: 4051
* PHI nodes are not allowed to exist with zero incoming values, check thatChris Lattner2002-10-061-0/+7
| | | | | | there aren't any like this. llvm-svn: 4044
OpenPOWER on IntegriCloud