Move the Attributes::Builder outside of the Attributes class and into its own class...
[oota-llvm.git] / lib / VMCore / Verifier.cpp
2012-10-15 Bill WendlingMove the Attributes::Builder outside of the Attributes...
2012-10-15 Bill WendlingAttributes Rewrite
2012-10-14 Bill WendlingRemove the bitwise AND operators from the Attributes...
2012-10-09 Bill WendlingInline the checks for mutually exclusive attributes...
2012-10-09 Bill WendlingMove the 'FunctionOnly' attributes thingy inside of...
2012-10-09 Bill WendlingMove the 'ParameterOnly' variable inside of the Attribu...
2012-10-09 Bill WendlingRemove the now dead VarArgsIncompatible variable.
2012-10-09 Bill WendlingCreate enums for the different attributes.
2012-10-05 Bill WendlingUse method to query for attributes.
2012-09-25 Bill WendlingMove Attribute::typeIncompatible inside of the Attribut...
2012-09-20 Bill WendlingMake the 'getAsString' function a method of the Attribu...
2012-09-19 Bill WendlingConvert some attribute existence queries over to use...
2012-08-17 Eli FriedmanMake atomic load and store of pointers work. Tighten...
2012-08-17 Bill WendlingChange the `linker_private_weak_def_auto' linkage to...
2012-08-17 Rafael EspindolaAssert that dominates is not given a multiple edge...
2012-08-15 Nick LewyckyFix a typo that led to a failure to correctly verify...
2012-08-10 Eli FriedmanThe normal edge of an invoke is not allowed to branch...
2012-06-28 Nuno Lopesmake the verifier accept @llvm.donothing as the only...
2012-06-25 Nuno Lopesimprove optimization of invoke instructions:
2012-06-18 Nuno Lopesrevert r158660, since Chris has some issues with this...
2012-06-18 Nuno Lopesadd the 'alloc' metadata node to represent the size...
2012-06-02 Benjamin KramerFix typos found by github.com/lyda/misspell-check
2012-06-02 Stepan DyatkovskiyPR1255: case ranges.
2012-06-01 Rafael EspindolaUse dominates(Instruction, Use) in the verifier.
2012-06-01 Stepan DyatkovskiyPR1255: case ranges.
2012-05-31 Rafael EspindolaFix typos noticed by Benjamin Kramer.
2012-05-31 Rafael EspindolaRequire intervals in the range metadata to be in a...
2012-05-29 Stepan DyatkovskiyConstantRangesSet renamed to IntegersSubset. CRSBuilder...
2012-05-28 Stepan DyatkovskiyPR1255: Case Ranges
2012-05-27 Chris LattnerReimplement the intrinsic verifier to use the same...
2012-05-21 Stepan DyatkovskiyPR1255 (case ranges: work with ConstantRangesSet instea...
2012-04-16 Duncan SandsRemove support for the special 'fast' value for fpmath...
2012-04-16 Duncan SandsMake it possible to indicate relaxed floating point...
2012-04-14 Duncan SandsRename "fpaccuracy" metadata to the more generic "fpmat...
2012-04-10 Duncan SandsExpress the number of ULPs in fpaccuracy metadata as...
2012-03-24 Rafael EspindolaRemove always true variable.
2012-03-24 Rafael EspindolaFirst part of PR12251. Add documentation and verifier...
2012-03-11 Stepan Dyatkovskiyllvm::SwitchInst
2012-03-08 Stepan DyatkovskiyTaken into account Duncan's comments for r149481 dated...
2012-02-26 Rafael EspindolaUse the DT dominates function in the verifier.
2012-02-26 Rafael EspindolaDon't call dominates on unreachable instructions.
2012-02-25 Nick LewyckyRemove spurious emacs mode marker.
2012-02-03 Duncan SandsSimplify some GEP checks in the verifier.
2012-02-01 Stepan DyatkovskiySwitchInst refactoring.
2012-01-20 Kostya SerebryanyExtend Attributes to 64 bits
2012-01-10 Chandler CarruthAdd 'llvm_unreachable' to passify GCC's understanding...
2012-01-10 David BlaikieRemove unnecessary default cases in switches that cover...
2011-12-12 Chandler CarruthTeach the verifier to reject all non-constant arguments...
2011-12-05 Nadav RotemAdd support for vectors of pointers.
2011-09-27 Duncan SandsCheck that catch clauses have pointer type.
2011-09-27 Duncan SandsHave the verifier check that all landingpad operands...
2011-09-21 Bill WendlingThe last verification check for the new EH model.
2011-08-12 Bill WendlingInitial commit of the 'landingpad' instruction.
2011-08-09 Eli FriedmanRepresentation of 'atomic load' and 'atomic store'...
2011-08-08 Bill WendlingRemove unnecessary space.
2011-07-30 Bill WendlingRevert r136253, r136263, r136269, r136313, r136325...
2011-07-29 Chris Lattnerhave the verifier catch gep's into opaque struct types...
2011-07-28 Eli FriedmanLangRef and basic memory-representation/reading/writing...
2011-07-27 Bill WendlingMerge the contents from exception-handling-rewrite...
2011-07-25 Eli FriedmanInitial implementation of 'fence' instruction, the...
2011-07-25 Jay FoadConvert GetElementPtrInst to use ArrayRef.
2011-07-18 Chris Lattnerland David Blaikie's patch to de-constify Type, with...
2011-07-13 Jay FoadConvert InsertValueInst and ExtractValueInst APIs to...
2011-07-09 Chris LattnerLand the long talked about "type system rewrite" patch...
2011-06-23 Jay FoadReinstate r133513 (reverted in r133700) with an additio...
2011-06-23 Eric ChristopherRevert r133513:
2011-06-21 Jay FoadReinstate r133435 and r133449 (reverted in r133499...
2011-06-21 Chad RosierRevert r133435 and r133449 to appease buildbots.
2011-06-20 Jay FoadChange how PHINodes store their operands.
2011-06-20 Jay FoadMake better use of the PHINode API.
2011-05-31 Eli FriedmanAdd a minor missing -verify check. Found by inspection.
2011-04-08 Nick Lewyckyllvm.global_[cd]tor is defined to be either external...
2011-04-04 Jay FoadRemove some support for ReturnInsts with multiple opera...
2011-01-15 Rafael EspindolaAllow unnamed_addr on declarations.
2011-01-13 Rafael EspindolaReject uses of unnamed_addr in declarations.
2011-01-08 Rafael EspindolaFirst step in fixing PR8927:
2010-10-22 Benjamin KramerMake some symbols static, move classes into anonymous...
2010-10-19 Owen AndersonGet rid of static constructors for pass registration...
2010-10-12 Owen AndersonBegin adding static dependence information to passes...
2010-10-07 Owen AndersonNow with fewer extraneous semicolons!
2010-09-30 TalinAllow llvm.gcroot to work with non-pointer allocas.
2010-09-25 Che-Liang ChiouAdd ret instruction to PTX backend
2010-08-28 Chris Lattnerremove unions from LLVM IR. They are severely buggy...
2010-08-28 Chris Lattnerzap dead code
2010-08-23 Owen AndersonNow that PassInfo and Pass::ID have been separated...
2010-08-22 Nick LewyckyVerify the predicates on icmp/fcmp. Suggested by Jeff...
2010-08-20 Bill WendlingCreate the new linker type "linker_private_weak_def_auto".
2010-08-15 Argyrios KyrtzidisRevert r111082. No warnings for this common pattern.
2010-08-14 Argyrios KyrtzidisAdd ATTRIBUTE_UNUSED to methods that are not supposed...
2010-08-13 Nate BegemanMove some code from Verifier into SVI::isValidOperands...
2010-08-08 Nick LewyckyReject unrepresentable pointer types in intrinsics...
2010-08-06 Owen AndersonReapply r110396, with fixes to appease the Linux buildb...
2010-08-06 Owen AndersonRevert r110396 to fix buildbots.
2010-08-05 Owen AndersonDon't use PassInfo* as a type identifier for passes...
2010-08-02 Dan GohmanFix visitInvokeInst to call visitTerminatorInst, and...
2010-08-02 Dan GohmanAdd Verifier logic for indirectbr.
2010-07-21 Dan GohmanMake NamedMDNode not be a subclass of Value, and simpli...
2010-07-21 Dan GohmanNamedMDNode is never an operand.
2010-07-13 Gabor Greifrotate CallInst operands
2010-07-11 Chris Lattnerfix typo
next