aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove the "metadata*" type and simplify the code it complicated. This was onlyNick Lewycky2009-09-271-50/+8
* No need to verify that malloc's return type is i8*.Victor Hernandez2009-09-221-10/+0
* Update malloc call creation code (AllocType is now the element type of the ma...Victor Hernandez2009-09-181-0/+10
* Fifth time's a charm! Remove ourselves as abstract type listeners once we'veNick Lewycky2009-09-141-3/+16
* Don't leak! Always remove oneself as a listener after adding oneself.Nick Lewycky2009-09-141-6/+15
* Actually remove old types from the set.Nick Lewycky2009-09-131-12/+30
* Storing a set of PATypeHolders is a bad idea because their sort order willNick Lewycky2009-09-131-2/+10
* reject attempts to take the address of an intrinsic, PR4949.Chris Lattner2009-09-111-0/+12
* Hoist out the test+insert to CheckedTypes. This doesn't seem to affectNick Lewycky2009-09-081-10/+4
* Simplify from my last change. Assert1 is a macro that makes its caller return,Nick Lewycky2009-09-081-38/+30
* Verify types. Invalid types can be constructed when assertions are off.Nick Lewycky2009-09-081-36/+132
* Express this in the canonical way.Nick Lewycky2009-09-071-2/+2
* Homogenize whitespace.Nick Lewycky2009-09-071-20/+16
* Public and private corrections, warned about by icc (#304).Duncan Sands2009-09-061-1/+1
* back out my recent commit (r80858), it seems to break self-hosting buildbot's...Gabor Greif2009-09-031-1/+1
* re-commit r66920 (which has been backed out in r66953) I may have more luck t...Gabor Greif2009-09-031-1/+1
* Kill off more cerr/cout uses and prune includes a bit.Benjamin Kramer2009-08-231-3/+2
* eliminate the std::ostream form of WriteAsOperand and update clients.Chris Lattner2009-08-231-1/+1
* switch a couple things off std::ostreamChris Lattner2009-08-231-23/+21
* Push LLVMContexts through the IntegerType APIs.Owen Anderson2009-08-131-15/+19
* Add contexts to some of the MVT APIs. No functionality change yet, just the ...Owen Anderson2009-08-121-1/+2
* Split EVT into MVT and EVT, the former representing _just_ a primitive type, ...Owen Anderson2009-08-111-11/+11
* Add a new overloaded EVT::vAny type for use in TableGen to allow intrinsicBob Wilson2009-08-111-0/+6
* Rename MVT to EVT, in preparation for splitting SimpleValueType out into its ...Owen Anderson2009-08-101-13/+13
* common globals may also not be marked constant.Chris Lattner2009-08-051-3/+6
* Clarify common linkage and the requirements on it. EnforceChris Lattner2009-08-051-0/+7
* TypoNate Begeman2009-07-301-1/+1
* Move types back to the 2.5 API.Owen Anderson2009-07-291-2/+1
* Fix an assumption that there is a single return value when verifyingBob Wilson2009-07-291-2/+2
* Rename MDNode.h header. It defines MDnode and other metadata classes.Devang Patel2009-07-281-1/+1
* Initial update to VMCore to use Twines for string arguments.Daniel Dunbar2009-07-251-5/+5
* Get rid of the Pass+Context magic.Owen Anderson2009-07-221-1/+2
* llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.Torok Edwin2009-07-141-2/+2
* assert(0) -> LLVM_UNREACHABLE.Torok Edwin2009-07-111-2/+2
* Thread LLVMContext through MVT and related parts of SDISel.Owen Anderson2009-07-091-1/+1
* Implement changes from Chris's feedback.Torok Edwin2009-07-081-1/+3
* Start converting to new error handling API.Torok Edwin2009-07-081-3/+3
* Support vector casts in more places, fixing a variety of assertionDan Gohman2009-06-151-10/+10
* Cosmetic changes to parameter attribute verification.Duncan Sands2009-06-111-17/+18
* Remove cyclic MDNode detection. Any attempt to create a cyclic MDNode willNick Lewycky2009-06-071-57/+16
* Fix a copy+pasto in an assertion string that Jay Foad noticed.Dan Gohman2009-06-051-1/+1
* Update the Verifier to be aware of the difference between Add and FAdd, etc.Dan Gohman2009-06-051-15/+33
* Give embedded metadata its own type instead of relying on EmptyStructTy.Nick Lewycky2009-05-301-53/+103
* Untabification.Bill Wendling2009-05-301-1/+1
* Dan noticed that the verifier wasn't thoroughly checking uses ofDuncan Sands2009-05-291-50/+49
* Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin2009-05-221-25/+0
* Verify that calling conventions match function prototype.Torok Edwin2009-05-221-0/+25
* Needed #includes. Thanks Fritz van Bommel!Bill Wendling2009-05-101-0/+1
* Allow aliasee to be a GEP or bitcast instead of just a bitcast.Chris Lattner2009-04-251-1/+3
* Add support for embedded metadata to LLVM. This introduces two new types ofNick Lewycky2009-04-041-1/+50