aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fix a comment.Dan Gohman2010-04-081-1/+3
* rename llvm::llvm_report_error -> llvm::report_fatal_errorChris Lattner2010-04-071-1/+1
* Finally land the InvokeInst operand reordering.Gabor Greif2010-03-241-8/+4
* Change intrinsic result type for void to store it as an empty listChris Lattner2010-03-221-34/+41
* backing out r99170 because it still fails on clang-x86_64-darwin10-fntGabor Greif2010-03-221-1/+1
* Now that hopefully all direct accesses to InvokeInst operands are fixedGabor Greif2010-03-221-1/+1
* call void @llvm.dbg.declare(metadata !{i32* null}, metadata !1)Devang Patel2010-03-191-4/+0
* back out r98957, it broke http://smooshlab.apple.com:8010/builders/clang-x86_...Gabor Greif2010-03-191-1/+1
* Recommit r80858 again (which has been backed out in r80871).Gabor Greif2010-03-191-1/+1
* Add verification of union types.Nick Lewycky2010-03-061-0/+9
* 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
generated by cgit v1.1 at 2025-03-23 05:47:03 +0000