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