aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-01-07Analysis: Reformulate WillNotOverflowUnsignedAdd for reusabilityDavid Majnemer1-0/+29
2015-01-04[PM] Cleanup a const_cast and other machinery left over in this codeChandler Carruth1-2/+1
2015-01-04Fix unused variable warning for non-asserts builds. NFC.Michael Kuperstein1-2/+2
2015-01-04[PM] Split the AssumptionTracker immutable pass into two separate APIs:Chandler Carruth1-28/+32
2015-01-04ValueTracking: ComputeNumSignBits should tolerate misshapen phi nodesDavid Majnemer1-2/+5
2015-01-03ValueTracking: Make computeKnownBits for Arguments a little more clearDavid Majnemer1-0/+3
2015-01-02InstCombine: Detect when llvm.umul.with.overflow always overflowsDavid Majnemer1-7/+16
2015-01-02Analysis: Reformulate WillNotOverflowUnsignedMul for reusabilityDavid Majnemer1-0/+39
2014-12-26ValueTracking: Small cleanup in ComputeNumSignBitsDavid Majnemer1-2/+2
2014-12-23[ValueTracking] Move GlobalAlias handling to be after the max depth check in ...Michael Kuperstein1-15/+14
2014-12-12ValueTracking: Don't recurse too deeply in computeKnownBitsFromAssumeDavid Majnemer1-0/+4
2014-12-09IR: Split Metadata from ValueDuncan P. N. Exon Smith1-4/+8
2014-11-24Factor check for the assume intrinsic out of checks in computeKnownBitsFromAs...Philip Reames1-42/+39
2014-11-19Update SetVector to rely on the underlying set's insert to return a pair<iter...David Blaikie1-3/+3
2014-11-11Revert "IR: MDNode => Value"Duncan P. N. Exon Smith1-3/+3
2014-11-06Indentation fixesMichael Liao1-38/+38
2014-11-05remove extra breaks; NFCSanjay Patel1-4/+1
2014-11-04Analysis: Make isSafeToSpeculativelyExecute fire less for dividesDavid Majnemer1-15/+23
2014-11-04remove function names from comments; NFCSanjay Patel1-39/+35
2014-11-04fix typo in commentSanjay Patel1-1/+1
2014-11-01IR: MDNode => Value: Instruction::getMetadata()Duncan P. N. Exon Smith1-3/+3
2014-10-30Add handling for range metadata in ValueTracking isKnownNonZeroPhilip Reames1-0/+29
2014-10-21Add minnum / maxnum intrinsicsMatt Arsenault1-0/+2
2014-10-21Introduce enum values for previously defined metadata types. (NFC)Philip Reames1-1/+1
2014-10-20Introduce a 'nonnull' metadata on Load instructions.Philip Reames1-0/+4
2014-10-19Move previously dead code to handle computing the known bits of an aliasChandler Carruth1-10/+11
2014-09-12Fix an ODR violation consisting of two 'struct Query' in the global namespace.Benjamin Kramer1-0/+2
2014-09-07Add additional patterns for @llvm.assume in ValueTrackingHal Finkel1-0/+212
2014-09-07Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)Hal Finkel1-104/+457
2014-08-29Make fabs safe to speculatively executeMatt Arsenault1-0/+1
2014-08-22ValueTracking: Figure out more bits when looking at add/subDavid Majnemer1-66/+38
2014-08-21Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needin...Craig Topper1-1/+1
2014-08-18Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoi...Craig Topper1-1/+1
2014-08-17Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needin...Craig Topper1-1/+1
2014-07-22Make use of the align parameter attribute for all pointer argumentsHal Finkel1-6/+2
2014-07-18Add a dereferenceable attributeHal Finkel1-1/+1
2014-07-15Teach computeKnownBits to look through addrspacecast.Matt Arsenault1-0/+2
2014-07-15Teach GetUnderlyingObject / BasicAA about addrspacecastMatt Arsenault1-1/+2
2014-07-14Look through addrspacecast in GetPointerBaseWithConstantOffsetMatt Arsenault1-1/+2
2014-07-10Allow isDereferenceablePointer to look through some bitcastsHal Finkel1-1/+1
2014-07-06fixed typos in commentsSanjay Patel1-2/+2
2014-06-19[ValueTracking] Extend range metadata to call/invokeJingyue Wu1-5/+12
2014-05-20Teach isKnownNonNull that a nonnull return is not null. Add a test for this c...Nick Lewycky1-0/+5
2014-05-20Add 'nonnull', a new parameter and return attribute which indicates that the ...Nick Lewycky1-2/+2
2014-05-15Instead of littering asserts throughout the code after every call toJay Foad1-38/+27
2014-05-14Rename ComputeMaskedBits to computeKnownBits. "Masked" has beenJay Foad1-77/+77
2014-05-14Update the comments for ComputeMaskedBits, which lost its Mask parameterJay Foad1-2/+2
2014-04-15[C++11] More 'nullptr' conversion. In some cases just using a boolean check i...Craig Topper1-19/+19
2014-03-09[C++11] Add range based accessors for the Use-Def chain of a Value.Chandler Carruth1-3/+2
2014-03-04[Modules] Move the ConstantRange class into the IR library. This isChandler Carruth1-1/+1
generated by cgit v1.1 at 2025-10-16 17:13:03 +0000