aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* There are two ways of checking for a given type, for example isa<PointerType>(T)Duncan Sands2010-02-161-24/+24
* Teach the verifier to check the condition on a branch and ensure that it hasNick Lewycky2010-02-151-0/+9
* Fix crash in VerifyType when checking Contexts. Because there may not be aNick Lewycky2010-02-151-8/+14
* Uniformize the names of type predicates: rather than having isFloatTy andDuncan Sands2010-02-151-29/+30
* Kill ModuleProvider and ghost linkage by inverting the relationship betweenJeffrey Yasskin2010-01-271-7/+6
* Fix/strengthen verification of llvm.dbg.declareVictor Hernandez2010-01-221-5/+10
* Backout r93990Victor Hernandez2010-01-201-9/+4
* Fix/strengthen verification of llvm.dbg.declareVictor Hernandez2010-01-201-4/+9
* reject some invalid IR. We already assert and reject this from theChris Lattner2010-01-181-0/+2
* Improve llvm.dbg.declare intrinsic by referring directly to the storage in it...Victor Hernandez2010-01-151-3/+4
* Revert r93504 because older uses of llvm.dbg.declare intrinsics need to be au...Victor Hernandez2010-01-151-4/+3
* Improve llvm.dbg.declare intrinsic by referring directly to the storage in it...Victor Hernandez2010-01-151-3/+4
* Change errs() to dbgs().David Greene2010-01-051-5/+6
* rename "elements" of metadata to "operands". "Elements" areChris Lattner2009-12-311-2/+2
* Rewrite the function-local validation logic for MDNodes (most of r91708).Chris Lattner2009-12-281-6/+39
* Formalize MDNode's function-localness:Victor Hernandez2009-12-181-0/+10
* Start catching LLVMContext misuse in the verifier.Nick Lewycky2009-11-231-0/+3
* Reject duplicate case values in a switch, PR5450.Chris Lattner2009-11-111-1/+5
* the verifier shouldn't modify the IR.Chris Lattner2009-11-011-2/+1
* fix an issue where the verifier would reject a function whose entryChris Lattner2009-11-011-2/+7
* it isn't valid to take the address of the entry block.Chris Lattner2009-10-301-0/+2
* Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky2009-10-251-1/+0
* Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky2009-10-251-1/+1
* Remove AllocationInst. Since MallocInst went away, AllocaInst is the only su...Victor Hernandez2009-10-231-2/+2
* Emit newlines at the end of instructions too.Nick Lewycky2009-10-171-2/+2
* Force memory use markers to have a ConstantInt for the size argument.Nick Lewycky2009-10-131-0/+11
* strength reduce a ton of type equality tests to check the typeid (ThroughChris Lattner2009-10-051-9/+8
* 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