summaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAge
* [ValueTracking] Extend range metadata to call/invokeJingyue Wu2014-06-19
* Teach isKnownNonNull that a nonnull return is not null. Add a test for this c...Nick Lewycky2014-05-20
* Add 'nonnull', a new parameter and return attribute which indicates that the ...Nick Lewycky2014-05-20
* Instead of littering asserts throughout the code after every call toJay Foad2014-05-15
* Rename ComputeMaskedBits to computeKnownBits. "Masked" has beenJay Foad2014-05-14
* Update the comments for ComputeMaskedBits, which lost its Mask parameterJay Foad2014-05-14
* [C++11] More 'nullptr' conversion. In some cases just using a boolean check i...Craig Topper2014-04-15
* [C++11] Add range based accessors for the Use-Def chain of a Value.Chandler Carruth2014-03-09
* [Modules] Move the ConstantRange class into the IR library. This isChandler Carruth2014-03-04
* [Modules] Move the LLVM IR pattern match header into the IR library, itChandler Carruth2014-03-04
* [Modules] Move GetElementPtrTypeIterator into the IR library. As itsChandler Carruth2014-03-04
* Allow speculating llvm.sqrt, fma and fmuladdMatt Arsenault2014-01-31
* Update optimization passes to handle inalloca argumentsReid Kleckner2014-01-28
* Don't speculate loads under ThreadSanitizerKostya Serebryany2013-11-21
* Remove x86_sse42_crc32_64_8 intrinsic. It has no functional difference from x...Craig Topper2013-10-15
* Teach MemoryBuiltins and InstructionSimplify that operator new never returns ...Benjamin Kramer2013-09-24
* Fix assert with GEP ptr vector indexing structsMatt Arsenault2013-08-19
* Teach ValueTracking about address spacesMatt Arsenault2013-08-10
* isKnownToBeAPowerOfTwo: Strengthen isKnownToBeAPowerOfTwo's analysis on add i...David Majnemer2013-07-30
* Use SmallVectorImpl& instead of SmallVector to avoid repeating small vector s...Craig Topper2013-07-11
* ValueTracking: Fix bugs in isKnownToBeAPowerOfTwoDavid Majnemer2013-07-09
* isKnownToBeAPowerOfTwo: Fix a typo in a commentDavid Majnemer2013-07-06
* ValueTracking: Teach isKnownToBeAPowerOfTwo about (ADD X, (XOR X, Y)) where X...David Majnemer2013-06-29
* Replace Count{Leading,Trailing}Zeros_{32,64} with count{Leading,Trailing}Zeros.Michael J. Spencer2013-05-24
* isKnownToBeAPowerOfTwo: (X & Y) + Y is a power of 2 or zero if y is also.David Majnemer2013-05-18
* Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero.Manman Ren2013-03-18
* Use dyn_cast instead of isa && cast. No functionality change.Jakub Staszak2013-03-06
* Move isKnownNonNull out of AliasAnalysis.h and into ValueTracking.cpp sinceDan Gohman2013-01-31
* Change GetPointerBaseWithConstantOffset's DataLayout argument from aDan Gohman2013-01-31
* Remove redundant 'llvm::' qualificationsDmitri Gribenko2013-01-13
* Move all of the header files which are involved in modelling the LLVM IRChandler Carruth2013-01-02
* reimplement GetPointerBaseWithConstantOffset().Nuno Lopes2012-12-31
* Remove trailing whitespace.Craig Topper2012-12-22
* Fix a bug that was found by building clang with -fsanitize.Nadav Rotem2012-12-19
* Fix a crash in ValueTracking on vectors of pointers. Nadav Rotem2012-12-14
* Rename isPowerOfTwo to isKnownToBeAPowerOfTwo.Rafael Espindola2012-12-13
* The TargetData is not used for the isPowerOfTwo determination. It has neverRafael Espindola2012-12-12
* Add support to ValueTracking for determining that a pointer is non-nullChandler Carruth2012-12-07
* Have CannotBeNegativeZero() be aware of the nsz fast-math flagMichael Ilseman2012-12-06
* Use the new script to sort the includes of every file under lib.Chandler Carruth2012-12-03
* Revert the majority of the next patch in the address space series:Chandler Carruth2012-11-01
* Fix a crash in SimpliftDemandedBits of vectors of pointers.Nadav Rotem2012-10-26
* Revert 166726 because it may have broken a number of SPEC tests. PR14183.Nadav Rotem2012-10-25
* Fix a crash in ValueTracking. Add support for vectors of pointers.Nadav Rotem2012-10-25
* Resubmit the changes to llvm core to update the functions to support differen...Micah Villmow2012-10-15
* Revert 165732 for further review.Micah Villmow2012-10-11
* Add in the first iteration of support for llvm/clang/lldb to allow variable p...Micah Villmow2012-10-11
* Move TargetData to DataLayout.Micah Villmow2012-10-08
* The alignment of an sret parameter is known: it must be at least theDuncan Sands2012-10-04
* Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru2012-09-27