aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* use ArgOperand accessorsGabor Greif2010-06-231-13/+13
* improve verifier error about unterminated block to includeChris Lattner2010-06-121-1/+2
* Another place where the code wanted to access the argument list and not all ofBill Wendling2010-06-071-2/+2
* Eliminate the restriction that the array size in an alloca must be i32.Dan Gohman2010-05-281-2/+2
* Add support for thiscall calling convention.Anton Korobeynikov2010-05-161-0/+1
* simplify more.Chris Lattner2010-05-101-1/+1
* Simplify by using startswith instead of substr.Chris Lattner2010-05-101-2/+2
* Verify metadata harder. In particular, check that moduleDuncan Sands2010-04-291-39/+60
* Revert 101465, it broke internal OpenGL testing.Eric Christopher2010-04-161-16/+15
* reapply r101434Gabor Greif2010-04-161-15/+16
* back out r101423 and r101397, they break llvm-gcc self-host on darwin10Gabor Greif2010-04-161-16/+15
* reapply r101364, which has been backed out in r101368Gabor Greif2010-04-151-15/+16
* back out r101364, as it trips the linux nightlybot on some clang C++ testsGabor Greif2010-04-151-16/+15
* rotate CallInst operands, i.e. move callee to the backGabor Greif2010-04-151-15/+16
* 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