aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-08-19Refactor isPointerOffset (NFC).Evgeniy Stepanov1-24/+19
2019-08-16[ValueTracking] Fix recurrence detection to check both PHI operands.Florian Hahn1-1/+1
2019-08-15Move isPointerOffset function to ValueTracking (NFC).Evgeniy Stepanov1-0/+83
2019-08-15[ValueTracking] Look through ptrmask intrinsics during getUnderlyingObject.Florian Hahn1-2/+4
2019-08-15[ValueTracking] Add MustPreserveNullness arg to functions analyzing calls. (NFC)Florian Hahn1-5/+8
2019-08-13[ValueTracking] Improve reverse assumption inferenceNikita Popov1-1/+7
2019-08-07[ValueTracking] When calculating known bits for integer abs, make sure we're ...Craig Topper1-4/+6
2019-07-30[FunctionAttrs] Annotate "willreturn" for AssumeLikeInstHideto Ueno1-4/+1
2019-07-29[ValueTracking] Remove volatile check in isGuaranteedToTransferExecutionToSuc...Hideto Ueno1-15/+2
2019-07-17Basic codegen for MTE stack tagging.Evgeniy Stepanov1-1/+2
2019-07-15[ValueTracking] Look through constant Int2Ptr/Ptr2Int expressionsJohannes Doerfert1-0/+9
2019-07-12isBytewiseValue checks ConstantVector element by elementVitaly Buka1-6/+1
2019-07-12Return Undef from isBytewiseValue for empty arrays or structsVitaly Buka1-0/+4
2019-07-12Handle IntToPtr in isBytewiseValueVitaly Buka1-0/+11
2019-07-11Replace three "strip & accumulate" implementations with a single oneJohannes Doerfert1-53/+1
2019-07-10NFC: Pass DataLayout into isBytewiseValueVitaly Buka1-5/+6
2019-07-09OpaquePtr: add Type parameter to Loads analysis API.Tim Northover1-1/+2
2019-07-03Teach ValueTracking that aarch64.irg result aliases its input.Evgeniy Stepanov1-1/+2
2019-06-27Use "willreturn" in isGuaranteedToTransferExecutionToSuccessorJohannes Doerfert1-0/+5
2019-06-13[LangRef] Clarify poison semanticsNikita Popov1-0/+2
2019-06-13Add a clarifying comment about branching on poisonPhilip Reames1-0/+4
2019-06-13[EarlyCSE] Ensure equal keys have the same hash valueJoseph Tremoulet1-2/+10
2019-06-10Factor out a helper function for readability and reuse in a future patch [NFC]Philip Reames1-2/+8
2019-05-28[ValueTracking][ConstantRange] Distinguish low/high always overflowNikita Popov1-2/+4
2019-05-26[ValueTracking] Base computeOverflowForUnsignedMul() on ConstantRange code; NFCINikita Popov1-68/+34
2019-05-08Revert "[ValueTracking] Improve isKnowNonZero for Ints"Nikita Popov1-13/+13
2019-05-08[ValueTracking] Improve isKnowNonZero for IntsDan Robertson1-13/+13
2019-05-07[ValueTracking] add logic for known-never-nan with minnum/maxnumSanjay Patel1-0/+5
2019-04-24Add "const" in GetUnderlyingObjects. NFCBjorn Pettersson1-9/+10
2019-04-21[ConstantRange] Add getNonEmpty() constructorNikita Popov1-2/+1
2019-04-16[IR] Add WithOverflowInst classNikita Popov1-13/+2
2019-04-11[ValueTracking] Change if-else chain into switch in computeKnownBitsFromAssumeSander de Smalen1-8/+18
2019-04-10Improve compile-time performance in computeKnownBitsFromAssume.Sander de Smalen1-217/+214
2019-04-09[ValueTracking] Use computeConstantRange() for signed sub overflow determinationNikita Popov1-6/+4
2019-04-09[ValueTracking] Use computeConstantRange() in signed add overflow determinationNikita Popov1-8/+6
2019-04-09[ValueTracking] Use ConstantRange methods; NFCNikita Popov1-3/+3
2019-04-09[ValueTracking] Explicitly specify intersection type; NFCNikita Popov1-2/+5
2019-04-07Reapply [ValueTracking] Support min/max selects in computeConstantRange()Nikita Popov1-1/+22
2019-03-24[ConstantRange] Add getFull() + getEmpty() named constructors; NFCNikita Popov1-1/+1
2019-03-22[ValueTracking] Avoid redundant known bits calculation in computeOverflowForS...Nikita Popov1-6/+8
2019-03-21[ValueTracking] Use ConstantRange based overflow check for signed subNikita Popov1-10/+5
2019-03-20[ValueTracking] Compute range for abs without nswNikita Popov1-7/+8
2019-03-19[ValueTracking] Use computeConstantRange() for unsigned add/sub overflowNikita Popov1-14/+25
2019-03-19[SelectionDAG] Handle unary SelectPatternFlavor for ABS case in SelectionDAGB...Simon Pilgrim1-0/+4
2019-03-18Revert "[ValueTracking][InstSimplify] Support min/max selects in computeConst...Nikita Popov1-22/+1
2019-03-18[ValueTracking][InstSimplify] Support min/max selects in computeConstantRange()Nikita Popov1-1/+22
2019-03-18[ValueTracking][InstSimplify] Move abs handling into computeConstantRange(); NFCNikita Popov1-0/+32
2019-03-17[ValueTracking] Use ConstantRange overflow check for signed add; NFCNikita Popov1-48/+8
2019-03-17[ConstantRange] Add fromKnownBits() methodNikita Popov1-11/+8
2019-03-15[ValueTracking] Use ConstantRange overflow checks for unsigned add/sub; NFCNikita Popov1-20/+26
generated by cgit v1.1 at 2025-10-08 21:43:41 +0000