aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Begin adding static dependence information to passes, which will allow us toOwen Anderson2010-10-121-1/+4
* Now with fewer extraneous semicolons!Owen Anderson2010-10-071-2/+2
* Allow llvm.gcroot to work with non-pointer allocas.Talin2010-09-301-2/+6
* Add ret instruction to PTX backendChe-Liang Chiou2010-09-251-0/+2
* remove unions from LLVM IR. They are severely buggy and notChris Lattner2010-08-281-14/+10
* zap dead codeChris Lattner2010-08-281-10/+0
* Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson2010-08-231-3/+3
* Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!Nick Lewycky2010-08-221-6/+15
* Create the new linker type "linker_private_weak_def_auto".Bill Wendling2010-08-201-0/+4
* Revert r111082. No warnings for this common pattern.Argyrios Kyrtzidis2010-08-151-2/+2
* Add ATTRIBUTE_UNUSED to methods that are not supposed to be used.Argyrios Kyrtzidis2010-08-141-2/+2
* Move some code from Verifier into SVI::isValidOperands. This allows us to ca...Nate Begeman2010-08-131-21/+0
* Reject unrepresentable pointer types in intrinsics. Fixes PR7316.Nick Lewycky2010-08-081-2/+7
* Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson2010-08-061-6/+6
* Revert r110396 to fix buildbots.Owen Anderson2010-08-061-6/+6
* Don't use PassInfo* as a type identifier for passes. Instead, use the addres...Owen Anderson2010-08-051-6/+6
* Fix visitInvokeInst to call visitTerminatorInst, and removeDan Gohman2010-08-021-4/+1
* Add Verifier logic for indirectbr.Dan Gohman2010-08-021-0/+11
* Make NamedMDNode not be a subclass of Value, and simplify the interfaceDan Gohman2010-07-211-2/+2
* NamedMDNode is never an operand.Dan Gohman2010-07-211-1/+1
* rotate CallInst operandsGabor Greif2010-07-131-2/+3
* fix typoChris Lattner2010-07-111-1/+1
* 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