summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
Commit message (Expand)AuthorAgeFilesLines
* Teach ValueTracking that aarch64.irg result aliases its input.Evgeniy Stepanov2019-07-031-1/+2
* Use "willreturn" in isGuaranteedToTransferExecutionToSuccessorJohannes Doerfert2019-06-271-0/+5
* [LangRef] Clarify poison semanticsNikita Popov2019-06-131-0/+2
* Add a clarifying comment about branching on poisonPhilip Reames2019-06-131-0/+4
* [EarlyCSE] Ensure equal keys have the same hash valueJoseph Tremoulet2019-06-131-2/+10
* Factor out a helper function for readability and reuse in a future patch [NFC]Philip Reames2019-06-101-2/+8
* [ValueTracking][ConstantRange] Distinguish low/high always overflowNikita Popov2019-05-281-2/+4
* [ValueTracking] Base computeOverflowForUnsignedMul() on ConstantRange code; NFCINikita Popov2019-05-261-68/+34
* Revert "[ValueTracking] Improve isKnowNonZero for Ints"Nikita Popov2019-05-081-13/+13
* [ValueTracking] Improve isKnowNonZero for IntsDan Robertson2019-05-081-13/+13
* [ValueTracking] add logic for known-never-nan with minnum/maxnumSanjay Patel2019-05-071-0/+5
* Add "const" in GetUnderlyingObjects. NFCBjorn Pettersson2019-04-241-9/+10
* [ConstantRange] Add getNonEmpty() constructorNikita Popov2019-04-211-2/+1
* [IR] Add WithOverflowInst classNikita Popov2019-04-161-13/+2
* [ValueTracking] Change if-else chain into switch in computeKnownBitsFromAssumeSander de Smalen2019-04-111-8/+18
* Improve compile-time performance in computeKnownBitsFromAssume.Sander de Smalen2019-04-101-217/+214
* [ValueTracking] Use computeConstantRange() for signed sub overflow determinationNikita Popov2019-04-091-6/+4
* [ValueTracking] Use computeConstantRange() in signed add overflow determinationNikita Popov2019-04-091-8/+6
* [ValueTracking] Use ConstantRange methods; NFCNikita Popov2019-04-091-3/+3
* [ValueTracking] Explicitly specify intersection type; NFCNikita Popov2019-04-091-2/+5
* Reapply [ValueTracking] Support min/max selects in computeConstantRange()Nikita Popov2019-04-071-1/+22
* [ConstantRange] Add getFull() + getEmpty() named constructors; NFCNikita Popov2019-03-241-1/+1
* [ValueTracking] Avoid redundant known bits calculation in computeOverflowForS...Nikita Popov2019-03-221-6/+8
* [ValueTracking] Use ConstantRange based overflow check for signed subNikita Popov2019-03-211-10/+5
* [ValueTracking] Compute range for abs without nswNikita Popov2019-03-201-7/+8
* [ValueTracking] Use computeConstantRange() for unsigned add/sub overflowNikita Popov2019-03-191-14/+25
* [SelectionDAG] Handle unary SelectPatternFlavor for ABS case in SelectionDAGB...Simon Pilgrim2019-03-191-0/+4
* Revert "[ValueTracking][InstSimplify] Support min/max selects in computeConst...Nikita Popov2019-03-181-22/+1
* [ValueTracking][InstSimplify] Support min/max selects in computeConstantRange()Nikita Popov2019-03-181-1/+22
* [ValueTracking][InstSimplify] Move abs handling into computeConstantRange(); NFCNikita Popov2019-03-181-0/+32
* [ValueTracking] Use ConstantRange overflow check for signed add; NFCNikita Popov2019-03-171-48/+8
* [ConstantRange] Add fromKnownBits() methodNikita Popov2019-03-171-11/+8
* [ValueTracking] Use ConstantRange overflow checks for unsigned add/sub; NFCNikita Popov2019-03-151-20/+26
* [ValueTracking] Move constant range computation into ValueTracking; NFCNikita Popov2019-03-091-0/+238
* [ValueTracking] do not try to peek through bitcasts in computeKnownBitsFromAs...Sanjay Patel2019-03-031-3/+1
* [ValueTracking] Known bits support for unsigned saturating add/subNikita Popov2019-03-011-0/+31
* [ValueTracking] More accurate unsigned sub overflow detectionNikita Popov2019-02-281-11/+9
* Add support for computing "zext of value" in KnownBits. NFCIBjorn Pettersson2019-02-281-5/+2
* [ValueTracking] More accurate unsigned add overflow detectionNikita Popov2019-02-281-14/+10
* Teach isGuaranteedToTransferExecutionToSuccessor about widenable conditionsMax Kazantsev2019-02-141-1/+2
* Implementation of asm-goto support in LLVMCraig Topper2019-02-081-0/+1
* [NFC] fix trivial typos in commentsHiroshi Inoue2019-01-301-1/+1
* [ValueTracking] Look through casts when determining non-nullnessJohannes Doerfert2019-01-261-0/+22
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [CallSite removal] Migrate all Alias Analysis APIs to use the newlyChandler Carruth2019-01-071-14/+14
* [ValueTracking] Fix a misuse of APInt in GetPointerBaseWithConstantOffsetFlorian Hahn2019-01-041-1/+8
* [IR] Add Instruction::isLifetimeStartOrEnd, NFCVedant Kumar2018-12-211-2/+1
* [ValueTracking] remove unused parameters from helper functions; NFCSanjay Patel2018-12-191-23/+16
* [ValueTracking] Support funnel shifts in computeKnownBits()Nikita Popov2018-12-021-0/+21
* [ValueTracking] add helper function for testing implied condition; NFCISanjay Patel2018-12-021-0/+32
OpenPOWER on IntegriCloud