aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2010-08-28remove unions from LLVM IR. They are severely buggy and notChris Lattner
2010-08-28zap dead codeChris Lattner
2010-08-23Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson
2010-08-22Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!Nick Lewycky
2010-08-20Create the new linker type "linker_private_weak_def_auto".Bill Wendling
2010-08-15Revert r111082. No warnings for this common pattern.Argyrios Kyrtzidis
2010-08-14Add ATTRIBUTE_UNUSED to methods that are not supposed to be used.Argyrios Kyrtzidis
2010-08-13Move some code from Verifier into SVI::isValidOperands. This allows us to ca...Nate Begeman
2010-08-08Reject unrepresentable pointer types in intrinsics. Fixes PR7316.Nick Lewycky
2010-08-06Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson
2010-08-06Revert r110396 to fix buildbots.Owen Anderson
2010-08-05Don't use PassInfo* as a type identifier for passes. Instead, use the addres...Owen Anderson
2010-08-02Fix visitInvokeInst to call visitTerminatorInst, and removeDan Gohman
2010-08-02Add Verifier logic for indirectbr.Dan Gohman
2010-07-21Make NamedMDNode not be a subclass of Value, and simplify the interfaceDan Gohman
2010-07-21NamedMDNode is never an operand.Dan Gohman
2010-07-13rotate CallInst operandsGabor Greif
2010-07-11fix typoChris Lattner
2010-06-23use ArgOperand accessorsGabor Greif
2010-06-12improve verifier error about unterminated block to includeChris Lattner
2010-06-07Another place where the code wanted to access the argument list and not all ofBill Wendling
2010-05-28Eliminate the restriction that the array size in an alloca must be i32.Dan Gohman
2010-05-16Add support for thiscall calling convention.Anton Korobeynikov
2010-05-10simplify more.Chris Lattner
2010-05-10Simplify by using startswith instead of substr.Chris Lattner
2010-04-29Verify metadata harder. In particular, check that moduleDuncan Sands
2010-04-16Revert 101465, it broke internal OpenGL testing.Eric Christopher
2010-04-16reapply r101434Gabor Greif
2010-04-16back out r101423 and r101397, they break llvm-gcc self-host on darwin10Gabor Greif
2010-04-15reapply r101364, which has been backed out in r101368Gabor Greif
2010-04-15back out r101364, as it trips the linux nightlybot on some clang C++ testsGabor Greif
2010-04-15rotate CallInst operands, i.e. move callee to the backGabor Greif
2010-04-08Fix a comment.Dan Gohman
2010-04-07rename llvm::llvm_report_error -> llvm::report_fatal_errorChris Lattner
2010-03-24Finally land the InvokeInst operand reordering.Gabor Greif
2010-03-22Change intrinsic result type for void to store it as an empty listChris Lattner
2010-03-22backing out r99170 because it still fails on clang-x86_64-darwin10-fntGabor Greif
2010-03-22Now that hopefully all direct accesses to InvokeInst operands are fixedGabor Greif
2010-03-19call void @llvm.dbg.declare(metadata !{i32* null}, metadata !1)Devang Patel
2010-03-19back out r98957, it broke http://smooshlab.apple.com:8010/builders/clang-x86_...Gabor Greif
2010-03-19Recommit r80858 again (which has been backed out in r80871).Gabor Greif
2010-03-06Add verification of union types.Nick Lewycky
2010-02-16There are two ways of checking for a given type, for example isa<PointerType>(T)Duncan Sands
2010-02-15Teach the verifier to check the condition on a branch and ensure that it hasNick Lewycky
2010-02-15Fix crash in VerifyType when checking Contexts. Because there may not be aNick Lewycky
2010-02-15Uniformize the names of type predicates: rather than having isFloatTy andDuncan Sands
2010-01-27Kill ModuleProvider and ghost linkage by inverting the relationship betweenJeffrey Yasskin
2010-01-22Fix/strengthen verification of llvm.dbg.declareVictor Hernandez
2010-01-20Backout r93990Victor Hernandez
2010-01-20Fix/strengthen verification of llvm.dbg.declareVictor Hernandez