summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* ValueTracking: Make isSafeToSpeculativelyExecute a little cleanerDavid Majnemer2015-02-011-14/+14
* Fold fcmp in cases where value is provably non-negative. By Arch Robison.Elena Demikhovsky2015-01-281-0/+53
* [cleanup] Re-sort all the #include lines in LLVM usingChandler Carruth2015-01-141-1/+1
* Analysis: Reformulate WillNotOverflowUnsignedAdd for reusabilityDavid Majnemer2015-01-071-0/+29
* [PM] Cleanup a const_cast and other machinery left over in this codeChandler Carruth2015-01-041-2/+1
* Fix unused variable warning for non-asserts builds. NFC.Michael Kuperstein2015-01-041-2/+2
* [PM] Split the AssumptionTracker immutable pass into two separate APIs:Chandler Carruth2015-01-041-28/+32
* ValueTracking: ComputeNumSignBits should tolerate misshapen phi nodesDavid Majnemer2015-01-041-2/+5
* ValueTracking: Make computeKnownBits for Arguments a little more clearDavid Majnemer2015-01-031-0/+3
* InstCombine: Detect when llvm.umul.with.overflow always overflowsDavid Majnemer2015-01-021-7/+16
* Analysis: Reformulate WillNotOverflowUnsignedMul for reusabilityDavid Majnemer2015-01-021-0/+39
* ValueTracking: Small cleanup in ComputeNumSignBitsDavid Majnemer2014-12-261-2/+2
* [ValueTracking] Move GlobalAlias handling to be after the max depth check in ...Michael Kuperstein2014-12-231-15/+14
* ValueTracking: Don't recurse too deeply in computeKnownBitsFromAssumeDavid Majnemer2014-12-121-0/+4
* IR: Split Metadata from ValueDuncan P. N. Exon Smith2014-12-091-4/+8
* Factor check for the assume intrinsic out of checks in computeKnownBitsFromAs...Philip Reames2014-11-241-42/+39
* Update SetVector to rely on the underlying set's insert to return a pair<iter...David Blaikie2014-11-191-3/+3
* Revert "IR: MDNode => Value"Duncan P. N. Exon Smith2014-11-111-3/+3
* Indentation fixesMichael Liao2014-11-061-38/+38
* remove extra breaks; NFCSanjay Patel2014-11-051-4/+1
* Analysis: Make isSafeToSpeculativelyExecute fire less for dividesDavid Majnemer2014-11-041-15/+23
* remove function names from comments; NFCSanjay Patel2014-11-041-39/+35
* fix typo in commentSanjay Patel2014-11-041-1/+1
* IR: MDNode => Value: Instruction::getMetadata()Duncan P. N. Exon Smith2014-11-011-3/+3
* Add handling for range metadata in ValueTracking isKnownNonZeroPhilip Reames2014-10-301-0/+29
* Add minnum / maxnum intrinsicsMatt Arsenault2014-10-211-0/+2
* Introduce enum values for previously defined metadata types. (NFC)Philip Reames2014-10-211-1/+1
* Introduce a 'nonnull' metadata on Load instructions.Philip Reames2014-10-201-0/+4
* Move previously dead code to handle computing the known bits of an aliasChandler Carruth2014-10-191-10/+11
* Fix an ODR violation consisting of two 'struct Query' in the global namespace.Benjamin Kramer2014-09-121-0/+2
* Add additional patterns for @llvm.assume in ValueTrackingHal Finkel2014-09-071-0/+212
* Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)Hal Finkel2014-09-071-104/+457
* Make fabs safe to speculatively executeMatt Arsenault2014-08-291-0/+1
* ValueTracking: Figure out more bits when looking at add/subDavid Majnemer2014-08-221-66/+38
* Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needin...Craig Topper2014-08-211-1/+1
* Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoi...Craig Topper2014-08-181-1/+1
* Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needin...Craig Topper2014-08-171-1/+1
* Make use of the align parameter attribute for all pointer argumentsHal Finkel2014-07-221-6/+2
* Add a dereferenceable attributeHal Finkel2014-07-181-1/+1
* Teach computeKnownBits to look through addrspacecast.Matt Arsenault2014-07-151-0/+2
* Teach GetUnderlyingObject / BasicAA about addrspacecastMatt Arsenault2014-07-151-1/+2
* Look through addrspacecast in GetPointerBaseWithConstantOffsetMatt Arsenault2014-07-141-1/+2
* Allow isDereferenceablePointer to look through some bitcastsHal Finkel2014-07-101-1/+1
* fixed typos in commentsSanjay Patel2014-07-061-2/+2
* [ValueTracking] Extend range metadata to call/invokeJingyue Wu2014-06-191-5/+12
* Teach isKnownNonNull that a nonnull return is not null. Add a test for this c...Nick Lewycky2014-05-201-0/+5
* Add 'nonnull', a new parameter and return attribute which indicates that the ...Nick Lewycky2014-05-201-2/+2
* Instead of littering asserts throughout the code after every call toJay Foad2014-05-151-38/+27
* Rename ComputeMaskedBits to computeKnownBits. "Masked" has beenJay Foad2014-05-141-77/+77
* Update the comments for ComputeMaskedBits, which lost its Mask parameterJay Foad2014-05-141-2/+2
OpenPOWER on IntegriCloud