aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/IR/Verifier.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-01-07[GC] improve testing around gc.relocate and fix a testPhilip Reames1-9/+32
2015-01-05[PM] Switch the new pass manager to use a reference-based API for IRChandler Carruth1-4/+4
2014-12-25Masked Load/Store - Changed the order of parameters in intrinsics.Elena Demikhovsky1-0/+7
2014-12-16Use CastInst::castIsValid to simplify the verifier.Rafael Espindola1-47/+9
2014-12-09IR: Split Metadata from ValueDuncan P. N. Exon Smith1-42/+99
2014-12-04Masked Load / Store Intrinsics - the CodeGen part.Elena Demikhovsky1-0/+13
2014-12-04A few more checks for gc.statepoints in the VerifierPhilip Reames1-0/+11
2014-12-03Strength Verifier checks around the types involved in a statepointPhilip Reames1-6/+23
2014-12-03Make the Verifier more strict about gc.statepointsPhilip Reames1-28/+60
2014-12-01[Statepoints 1/4] Statepoint infrastructure for garbage collection: IR Intrin...Philip Reames1-0/+81
2014-11-28Revert "Masked Vector Load and Store Intrinsics."Duncan P. N. Exon Smith1-13/+0
2014-11-23Masked Vector Load and Store Intrinsics.Elena Demikhovsky1-0/+13
2014-11-21Add curly braces to workaround an MSVC bug.Zachary Turner1-1/+3
2014-11-21Verifier: Check that all instructions have their parent pointers set upAdrian Prantl1-0/+4
2014-11-19Update SetVector to rely on the underlying set's insert to return a pair<iter...David Blaikie1-5/+5
2014-11-11Revert "IR: MDNode => Value"Duncan P. N. Exon Smith1-6/+6
2014-11-05IR: MDNode => Value: NamedMDNode::getOperator()Duncan P. N. Exon Smith1-3/+3
2014-11-01Remove redundant calls to isMaterializable.Rafael Espindola1-2/+2
2014-11-01IR: MDNode => Value: Instruction::getMetadata()Duncan P. N. Exon Smith1-3/+3
2014-10-24Don't ever call materializeAllPermanently during LTO.Rafael Espindola1-1/+1
2014-10-21Extend the verifier to check usage of 'nonnull' metadata.Philip Reames1-0/+8
2014-10-20Extend the verifier to validate range metadata on calls and invokes.Philip Reames1-49/+56
2014-10-17[Stackmaps] Enable invoking the patchpoint intrinsic.Juergen Ributzka1-3/+7
2014-09-08Be more careful in parsing Module::ModFlagBehavior valueAlexey Samsonov1-13/+12
2014-08-29Verifier: Don't reject varargs callee cleanup functionsReid Kleckner1-5/+4
2014-08-21Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needin...Craig Topper1-2/+2
2014-08-18Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoi...Craig Topper1-2/+2
2014-08-17Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needin...Craig Topper1-2/+2
2014-07-21Revert "[C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) ite...Duncan P. N. Exon Smith1-2/+2
2014-07-20[C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) iterator ra...Manuel Jacob1-2/+2
2014-07-15Document the maximum LLVM IR alignment, which is 1 << 29 or 0.5 GiBReid Kleckner1-0/+8
2014-07-13IR: Allow comdats to be applied to globals with internal linkageDavid Majnemer1-4/+3
2014-06-28Verifier: Update assert message to reflect LangRefDavid Majnemer1-1/+3
2014-06-27IR: Add COMDATs to the IRDavid Majnemer1-0/+33
2014-06-19[ValueTracking] Extend range metadata to call/invokeJingyue Wu1-1/+2
2014-06-12Fix verifier for GlobalAliases to avoid recursing into global initializers.Bob Wilson1-0/+4
2014-06-06Allow aliases to be unnamed_addr.Rafael Espindola1-1/+0
2014-06-05Add a new attribute called 'jumptable' that creates jump-instruction tables f...Tom Roeder1-1/+10
2014-06-04Clauses in a landingpad are always Constant. Use a stricter type.Rafael Espindola1-2/+1
2014-06-03Allow alias to point to an arbitrary ConstantExpr.Rafael Espindola1-22/+41
2014-05-26Use existing helper function.Rafael Espindola1-8/+1
2014-05-16Add comdat key field to llvm.global_ctors and llvm.global_dtorsReid Kleckner1-2/+10
2014-05-16Fix most of PR10367.Rafael Espindola1-6/+0
2014-05-15musttail: Fix the verification of alignment attributesReid Kleckner1-11/+16
2014-05-09Allow sret on the second parameter as well as the firstReid Kleckner1-2/+7
2014-05-06Special case aliases in GlobalValue::getSection.Rafael Espindola1-1/+0
2014-05-06Special case aliases in GlobalValue::getAlignment.Rafael Espindola1-1/+0
2014-05-02Aliases are always definitions. Delete dead code.Rafael Espindola1-6/+2
2014-04-30IR: Conservatively verify inalloca argumentsDavid Majnemer1-0/+10
2014-04-24Add 'musttail' marker to call instructionsReid Kleckner1-0/+89