aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2013-01-02Rename VMCore directory to IR.Chandler Carruth
2012-12-19Inline hasFunctionOnlyAttrs into its only use.Bill Wendling
2012-12-19Inline the only use of the hasParameterOnlyAttrs method.Bill Wendling
2012-12-19Inline the 'hasIncompatibleWithVarArgsAttrs' method into its only uses. And s...Bill Wendling
2012-12-19Rename the 'Attributes' class to 'Attribute'. It's going to represent a singl...Bill Wendling
2012-12-07s/AttrListPtr/AttributeSet/g to better label what this class is going to be i...Bill Wendling
2012-12-03Use the new script to sort the includes of every file under lib.Chandler Carruth
2012-11-30Move the InstVisitor utility into VMCore where it belongs. It heavilyChandler Carruth
2012-11-13Relax the restrictions on vector of pointer types, and vector getelementptr.Duncan Sands
2012-10-24Back out r166591, not sure why this made it through since I cancelled the com...Micah Villmow
2012-10-24Delete a directory that wasn't supposed to be checked in yet.Micah Villmow
2012-10-24Special calling conventions for Intel OpenCL built-in library.Elena Demikhovsky
2012-10-17Revert r166157 because some tests fail...Bill Wendling
2012-10-17Check that the operand of the GEP is not the GEP itself. This occurred during...Bill Wendling
2012-10-15Move the Attributes::Builder outside of the Attributes class and into its own...Bill Wendling
2012-10-15Attributes RewriteBill Wendling
2012-10-14Remove the bitwise AND operators from the Attributes class. Replace it with t...Bill Wendling
2012-10-09Inline the checks for mutually exclusive attributes since they're used in onl...Bill Wendling
2012-10-09Move the 'FunctionOnly' attributes thingy inside of the Attributes class.Bill Wendling
2012-10-09Move the 'ParameterOnly' variable inside of the Attributes class and make it ...Bill Wendling
2012-10-09Remove the now dead VarArgsIncompatible variable.Bill Wendling
2012-10-09Create enums for the different attributes.Bill Wendling
2012-10-05Use method to query for attributes.Bill Wendling
2012-09-25Move Attribute::typeIncompatible inside of the Attributes class.Bill Wendling
2012-09-20Make the 'getAsString' function a method of the Attributes class.Bill Wendling
2012-09-19Convert some attribute existence queries over to use the predicate methods.Bill Wendling
2012-08-17Make atomic load and store of pointers work. Tighten verification of atomic ...Eli Friedman
2012-08-17Change the `linker_private_weak_def_auto' linkage to `linkonce_odr_auto_hide' toBill Wendling
2012-08-17Assert that dominates is not given a multiple edge. Finding out if we haveRafael Espindola
2012-08-15Fix a typo that led to a failure to correctly verify bitcast instructions.Nick Lewycky
2012-08-10The normal edge of an invoke is not allowed to branch to a block with aEli Friedman
2012-06-28make the verifier accept @llvm.donothing as the only intrinsic that can be in...Nuno Lopes
2012-06-25improve optimization of invoke instructions:Nuno Lopes
2012-06-18revert r158660, since Chris has some issues with this patch (namely using cod...Nuno Lopes
2012-06-18add the 'alloc' metadata node to represent the size of offset of buffers poin...Nuno Lopes
2012-06-02Fix typos found by http://github.com/lyda/misspell-checkBenjamin Kramer
2012-06-02PR1255: case ranges.Stepan Dyatkovskiy
2012-06-01Use dominates(Instruction, Use) in the verifier.Rafael Espindola
2012-06-01PR1255: case ranges.Stepan Dyatkovskiy
2012-05-31Fix typos noticed by Benjamin Kramer.Rafael Espindola
2012-05-31Require intervals in the range metadata to be in a canonical form: They mustRafael Espindola
2012-05-29ConstantRangesSet renamed to IntegersSubset. CRSBuilder renamed to IntegersSu...Stepan Dyatkovskiy
2012-05-28PR1255: Case RangesStepan Dyatkovskiy
2012-05-27Reimplement the intrinsic verifier to use the same table as Intrinsic::getDef...Chris Lattner
2012-05-21PR1255 (case ranges: work with ConstantRangesSet instead of ConstantInt) rela...Stepan Dyatkovskiy
2012-04-16Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands
2012-04-16Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands
2012-04-14Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands
2012-04-10Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands
2012-03-24Remove always true variable.Rafael Espindola