aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Back out r166591, not sure why this made it through since I cancelled the com...Micah Villmow2012-10-241-2/+1
* Delete a directory that wasn't supposed to be checked in yet.Micah Villmow2012-10-241-1/+2
* Special calling conventions for Intel OpenCL built-in library.Elena Demikhovsky2012-10-241-0/+1
* Revert r166157 because some tests fail...Bill Wendling2012-10-171-3/+1
* Check that the operand of the GEP is not the GEP itself. This occurred during...Bill Wendling2012-10-171-1/+3
* Move the Attributes::Builder outside of the Attributes class and into its own...Bill Wendling2012-10-151-2/+2
* Attributes RewriteBill Wendling2012-10-151-1/+1
* Remove the bitwise AND operators from the Attributes class. Replace it with t...Bill Wendling2012-10-141-3/+4
* Inline the checks for mutually exclusive attributes since they're used in onl...Bill Wendling2012-10-091-12/+56
* Move the 'FunctionOnly' attributes thingy inside of the Attributes class.Bill Wendling2012-10-091-8/+10
* Move the 'ParameterOnly' variable inside of the Attributes class and make it ...Bill Wendling2012-10-091-15/+12
* Remove the now dead VarArgsIncompatible variable.Bill Wendling2012-10-091-3/+2
* Create enums for the different attributes.Bill Wendling2012-10-091-2/+2
* Use method to query for attributes.Bill Wendling2012-10-051-1/+1
* Move Attribute::typeIncompatible inside of the Attributes class.Bill Wendling2012-09-251-1/+1
* Make the 'getAsString' function a method of the Attributes class.Bill Wendling2012-09-201-9/+9
* Convert some attribute existence queries over to use the predicate methods.Bill Wendling2012-09-191-2/+2
* Make atomic load and store of pointers work. Tighten verification of atomic ...Eli Friedman2012-08-171-0/+32
* Change the `linker_private_weak_def_auto' linkage to `linkonce_odr_auto_hide' toBill Wendling2012-08-171-2/+2
* Assert that dominates is not given a multiple edge. Finding out if we haveRafael Espindola2012-08-171-0/+7
* Fix a typo that led to a failure to correctly verify bitcast instructions.Nick Lewycky2012-08-151-1/+1
* The normal edge of an invoke is not allowed to branch to a block with aEli Friedman2012-08-101-1/+1
* make the verifier accept @llvm.donothing as the only intrinsic that can be in...Nuno Lopes2012-06-281-2/+4
* improve optimization of invoke instructions:Nuno Lopes2012-06-251-1/+2
* revert r158660, since Chris has some issues with this patch (namely using cod...Nuno Lopes2012-06-181-33/+0
* add the 'alloc' metadata node to represent the size of offset of buffers poin...Nuno Lopes2012-06-181-0/+33
* Fix typos found by http://github.com/lyda/misspell-checkBenjamin Kramer2012-06-021-1/+1
* PR1255: case ranges.Stepan Dyatkovskiy2012-06-021-2/+2
* Use dominates(Instruction, Use) in the verifier.Rafael Espindola2012-06-011-46/+2
* PR1255: case ranges.Stepan Dyatkovskiy2012-06-011-2/+2
* Fix typos noticed by Benjamin Kramer.Rafael Espindola2012-05-311-10/+29
* Require intervals in the range metadata to be in a canonical form: They mustRafael Espindola2012-05-311-2/+16
* ConstantRangesSet renamed to IntegersSubset. CRSBuilder renamed to IntegersSu...Stepan Dyatkovskiy2012-05-291-8/+8
* PR1255: Case RangesStepan Dyatkovskiy2012-05-281-2/+3
* Reimplement the intrinsic verifier to use the same table as Intrinsic::getDef...Chris Lattner2012-05-271-265/+106
* PR1255 (case ranges: work with ConstantRangesSet instead of ConstantInt) rela...Stepan Dyatkovskiy2012-05-211-6/+20
* Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands2012-04-161-2/+0
* Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands2012-04-161-6/+10
* Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands2012-04-141-6/+6
* Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands2012-04-101-0/+12
* Remove always true variable.Rafael Espindola2012-03-241-19/+10
* First part of PR12251. Add documentation and verifier support for the rangeRafael Espindola2012-03-241-0/+24
* llvm::SwitchInstStepan Dyatkovskiy2012-03-111-1/+1
* Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:Stepan Dyatkovskiy2012-03-081-4/+4
* Use the DT dominates function in the verifier.Rafael Espindola2012-02-261-72/+55
* Don't call dominates on unreachable instructions.Rafael Espindola2012-02-261-2/+2
* Remove spurious emacs mode marker.Nick Lewycky2012-02-251-1/+1
* Simplify some GEP checks in the verifier.Duncan Sands2012-02-031-4/+2
* SwitchInst refactoring.Stepan Dyatkovskiy2012-02-011-1/+1
* Extend Attributes to 64 bitsKostya Serebryany2012-01-201-2/+2