summaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAge
* Make some symbols static, move classes into anonymous namespaces.Benjamin Kramer2010-10-22
* Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson2010-10-19
* Begin adding static dependence information to passes, which will allow us toOwen Anderson2010-10-12
* Now with fewer extraneous semicolons!Owen Anderson2010-10-07
* Allow llvm.gcroot to work with non-pointer allocas.Talin2010-09-30
* Add ret instruction to PTX backendChe-Liang Chiou2010-09-25
* remove unions from LLVM IR. They are severely buggy and notChris Lattner2010-08-28
* zap dead codeChris Lattner2010-08-28
* Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson2010-08-23
* Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!Nick Lewycky2010-08-22
* Create the new linker type "linker_private_weak_def_auto".Bill Wendling2010-08-20
* Revert r111082. No warnings for this common pattern.Argyrios Kyrtzidis2010-08-15
* Add ATTRIBUTE_UNUSED to methods that are not supposed to be used.Argyrios Kyrtzidis2010-08-14
* Move some code from Verifier into SVI::isValidOperands. This allows us to ca...Nate Begeman2010-08-13
* Reject unrepresentable pointer types in intrinsics. Fixes PR7316.Nick Lewycky2010-08-08
* Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson2010-08-06
* Revert r110396 to fix buildbots.Owen Anderson2010-08-06
* Don't use PassInfo* as a type identifier for passes. Instead, use the addres...Owen Anderson2010-08-05
* Fix visitInvokeInst to call visitTerminatorInst, and removeDan Gohman2010-08-02
* Add Verifier logic for indirectbr.Dan Gohman2010-08-02
* Make NamedMDNode not be a subclass of Value, and simplify the interfaceDan Gohman2010-07-21
* NamedMDNode is never an operand.Dan Gohman2010-07-21
* rotate CallInst operandsGabor Greif2010-07-13
* fix typoChris Lattner2010-07-11
* use ArgOperand accessorsGabor Greif2010-06-23
* improve verifier error about unterminated block to includeChris Lattner2010-06-12
* Another place where the code wanted to access the argument list and not all ofBill Wendling2010-06-07
* Eliminate the restriction that the array size in an alloca must be i32.Dan Gohman2010-05-28
* Add support for thiscall calling convention.Anton Korobeynikov2010-05-16
* simplify more.Chris Lattner2010-05-10
* Simplify by using startswith instead of substr.Chris Lattner2010-05-10
* Verify metadata harder. In particular, check that moduleDuncan Sands2010-04-29
* Revert 101465, it broke internal OpenGL testing.Eric Christopher2010-04-16
* reapply r101434Gabor Greif2010-04-16
* back out r101423 and r101397, they break llvm-gcc self-host on darwin10Gabor Greif2010-04-16
* reapply r101364, which has been backed out in r101368Gabor Greif2010-04-15
* back out r101364, as it trips the linux nightlybot on some clang C++ testsGabor Greif2010-04-15
* rotate CallInst operands, i.e. move callee to the backGabor Greif2010-04-15
* Fix a comment.Dan Gohman2010-04-08
* rename llvm::llvm_report_error -> llvm::report_fatal_errorChris Lattner2010-04-07
* Finally land the InvokeInst operand reordering.Gabor Greif2010-03-24
* Change intrinsic result type for void to store it as an empty listChris Lattner2010-03-22
* backing out r99170 because it still fails on clang-x86_64-darwin10-fntGabor Greif2010-03-22
* Now that hopefully all direct accesses to InvokeInst operands are fixedGabor Greif2010-03-22
* call void @llvm.dbg.declare(metadata !{i32* null}, metadata !1)Devang Patel2010-03-19
* back out r98957, it broke http://smooshlab.apple.com:8010/builders/clang-x86_...Gabor Greif2010-03-19
* Recommit r80858 again (which has been backed out in r80871).Gabor Greif2010-03-19
* Add verification of union types.Nick Lewycky2010-03-06
* There are two ways of checking for a given type, for example isa<PointerType>(T)Duncan Sands2010-02-16
* Teach the verifier to check the condition on a branch and ensure that it hasNick Lewycky2010-02-15