summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* [C++11] More 'nullptr' conversion. In some cases just using a boolean check i...Craig Topper2014-04-151-19/+19
* [C++11] Add range based accessors for the Use-Def chain of a Value.Chandler Carruth2014-03-091-3/+2
* [Modules] Move the ConstantRange class into the IR library. This isChandler Carruth2014-03-041-1/+1
* [Modules] Move the LLVM IR pattern match header into the IR library, itChandler Carruth2014-03-041-1/+1
* [Modules] Move GetElementPtrTypeIterator into the IR library. As itsChandler Carruth2014-03-041-1/+1
* Allow speculating llvm.sqrt, fma and fmuladdMatt Arsenault2014-01-311-0/+6
* Update optimization passes to handle inalloca argumentsReid Kleckner2014-01-281-4/+5
* Don't speculate loads under ThreadSanitizerKostya Serebryany2013-11-211-1/+3
* Remove x86_sse42_crc32_64_8 intrinsic. It has no functional difference from x...Craig Topper2013-10-151-1/+0
* Teach MemoryBuiltins and InstructionSimplify that operator new never returns ...Benjamin Kramer2013-09-241-1/+7
* Fix assert with GEP ptr vector indexing structsMatt Arsenault2013-08-191-2/+12
* Teach ValueTracking about address spacesMatt Arsenault2013-08-101-8/+12
* isKnownToBeAPowerOfTwo: Strengthen isKnownToBeAPowerOfTwo's analysis on add i...David Majnemer2013-07-301-16/+30
* Use SmallVectorImpl& instead of SmallVector to avoid repeating small vector s...Craig Topper2013-07-111-1/+1
* ValueTracking: Fix bugs in isKnownToBeAPowerOfTwoDavid Majnemer2013-07-091-6/+4
OpenPOWER on IntegriCloud