aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2009-11-23Start catching LLVMContext misuse in the verifier.Nick Lewycky
2009-11-11Reject duplicate case values in a switch, PR5450.Chris Lattner
2009-11-01the verifier shouldn't modify the IR.Chris Lattner
2009-11-01fix an issue where the verifier would reject a function whose entryChris Lattner
2009-10-30it isn't valid to take the address of the entry block.Chris Lattner
2009-10-25Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky
2009-10-25Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky
2009-10-23Remove AllocationInst. Since MallocInst went away, AllocaInst is the only su...Victor Hernandez
2009-10-17Emit newlines at the end of instructions too.Nick Lewycky
2009-10-13Force memory use markers to have a ConstantInt for the size argument.Nick Lewycky
2009-10-05strength reduce a ton of type equality tests to check the typeid (ThroughChris Lattner
2009-09-27Remove the "metadata*" type and simplify the code it complicated. This was onlyNick Lewycky
2009-09-22No need to verify that malloc's return type is i8*.Victor Hernandez
2009-09-18Update malloc call creation code (AllocType is now the element type of the ma...Victor Hernandez
2009-09-14Fifth time's a charm! Remove ourselves as abstract type listeners once we'veNick Lewycky
2009-09-14Don't leak! Always remove oneself as a listener after adding oneself.Nick Lewycky
2009-09-13Actually remove old types from the set.Nick Lewycky
2009-09-13Storing a set of PATypeHolders is a bad idea because their sort order willNick Lewycky
2009-09-11reject attempts to take the address of an intrinsic, PR4949.Chris Lattner
2009-09-08Hoist out the test+insert to CheckedTypes. This doesn't seem to affectNick Lewycky
2009-09-08Simplify from my last change. Assert1 is a macro that makes its caller return,Nick Lewycky
2009-09-08Verify types. Invalid types can be constructed when assertions are off.Nick Lewycky
2009-09-07Express this in the canonical way.Nick Lewycky
2009-09-07Homogenize whitespace.Nick Lewycky
2009-09-06Public and private corrections, warned about by icc (#304).Duncan Sands
2009-09-03back out my recent commit (r80858), it seems to break self-hosting buildbot's...Gabor Greif
2009-09-03re-commit r66920 (which has been backed out in r66953) I may have more luck t...Gabor Greif
2009-08-23Kill off more cerr/cout uses and prune includes a bit.Benjamin Kramer
2009-08-23eliminate the std::ostream form of WriteAsOperand and update clients.Chris Lattner
2009-08-23switch a couple things off std::ostreamChris Lattner
2009-08-13Push LLVMContexts through the IntegerType APIs.Owen Anderson
2009-08-12Add contexts to some of the MVT APIs. No functionality change yet, just the ...Owen Anderson
2009-08-11Split EVT into MVT and EVT, the former representing _just_ a primitive type, ...Owen Anderson
2009-08-11Add a new overloaded EVT::vAny type for use in TableGen to allow intrinsicBob Wilson
2009-08-10Rename MVT to EVT, in preparation for splitting SimpleValueType out into its ...Owen Anderson
2009-08-05common globals may also not be marked constant.Chris Lattner
2009-08-05Clarify common linkage and the requirements on it. EnforceChris Lattner
2009-07-30TypoNate Begeman
2009-07-29Move types back to the 2.5 API.Owen Anderson
2009-07-29Fix an assumption that there is a single return value when verifyingBob Wilson
2009-07-28Rename MDNode.h header. It defines MDnode and other metadata classes.Devang Patel
2009-07-25Initial update to VMCore to use Twines for string arguments.Daniel Dunbar
2009-07-22Get rid of the Pass+Context magic.Owen Anderson
2009-07-14llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.Torok Edwin
2009-07-11assert(0) -> LLVM_UNREACHABLE.Torok Edwin
2009-07-09Thread LLVMContext through MVT and related parts of SDISel.Owen Anderson
2009-07-08Implement changes from Chris's feedback.Torok Edwin
2009-07-08Start converting to new error handling API.Torok Edwin
2009-06-15Support vector casts in more places, fixing a variety of assertionDan Gohman
2009-06-11Cosmetic changes to parameter attribute verification.Duncan Sands