summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)Author
2025-06-27[ValueTracking] Add `matchSimpleBinaryIntrinsicRecurrence` helperAntonio Frighetto
2025-06-24[InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b...Ross Kirsling
2025-06-24[ValueTracking] Return true for AddrSpaceCast in canCreateUndefOrPoison (#144...Wenju He
2025-06-23[InstCombine] Fold `ceil(X / (2 ^ C)) == 0` -> `X == 0` (#143683)Iris Shi
2025-06-21Revert "[ValueTracking] Improve `Bitcast` handling to match SDAG" (#145191)Arthur Eubanks
2025-06-19[ValueTracking] Improve `Bitcast` handling to match SDAG (#125935)Abhishek Kaushik
2025-06-17[DebugInfo][RemoveDIs] Remove a swathe of debug-intrinsic code (#144389)Jeremy Morse
2025-06-16[ValueTracking] Remove unused variable in matchSimpleRecurrence (NFC). (#144316)Ricardo Jesus
2025-06-16[ValueTracking] Remove opcode whitelist from matchSimpleRecurrence. (#144031)Ricardo Jesus
2025-06-15[ValueTracking] Add subtraction support for setLimitsForBinOp (#143618)AZero13
2025-06-15[ValueTracking] Infer `X | Y != 0` from `X != Y` (#117443)Yingwei Zheng
2025-06-09[ValueTracking] Update `Ordered` when both operands are non-NaN. (#143349)Yingwei Zheng
2025-06-05[ValueTracking] Support scalable vector splats of ConstantInt/ConstantFP in i...Craig Topper
2025-06-05[ValueTracking] Support scalable vectors for ExtractElement in computeKnownFP...Craig Topper
2025-06-03[ValueTracking] Make Depth last default arg (NFC) (#142384)Ramkumar Ramachandra
2025-06-02[ValueTracking][NFC]: Use injected condition to compute known FPClass (#139832)Hassnaa Hamdi
2025-06-02[ValueTracking] Do not use FMF from fcmp (#142266)Yingwei Zheng
2025-06-02[ValueTracking][NFC] Simplify binops in canCreateUndefOrPoison switch (#139906)Cullen Rhodes
2025-05-28[ValueTracking][InstCombine] Generalize ignoreSignBitOfZero/NaN to handle mor...Yingwei Zheng
2025-05-27[ValueTracking] Support trunc nuw condition in isImpliedCondition (#141528)Andreas Jonson
2025-05-22Reland [llvm] add GenericFloatingPointPredicateUtils #140254 (#141065)Tim Gymnich
2025-05-21Revert "[llvm] add GenericFloatingPointPredicateUtils (#140254)" (#140968)Kewen12
2025-05-21[llvm] add GenericFloatingPointPredicateUtils (#140254)Tim Gymnich
2025-05-15[ValueTracking][NFC] Drop outdated TODO in canCreateUndefOrPoison (#139915)Cullen Rhodes
2025-05-09Analysis: Remove no-AssumptionCache path in getKnowledgeForValue (#139232)Matt Arsenault
2025-05-07ValueTracking: Handle minimumnum and maximumnum in computeKnownFPClass (#138737)Matt Arsenault
2025-05-06ValueTracking: Handle minimumnum/maximumnum in canCreateUndefOrPoison (#138729)Matt Arsenault
2025-04-30[LVI][ValueTracking] Take UB-implying attributes into account in `isSafeToSpe...Yingwei Zheng
2025-04-22Reapply [ValueTracking] Drop ucmp/scmp from getIntrinsicRange() (NFCI)Nikita Popov
2025-04-22Revert "[ValueTracking] Drop ucmp/scmp from getIntrinsicRange() (NFCI)"Hans Wennborg
2025-04-22[ValueTracking] Drop ucmp/scmp from getIntrinsicRange() (NFCI)Nikita Popov
2025-04-18[ValueTracking] Refactor `isKnownNonEqualFromContext` (#127388)Yingwei Zheng
2025-04-10[ValueTracking] Handle assume(trunc x to i1) in ComputeKnownBits (#118406)Andreas Jonson
2025-04-09ValueTracking: Do not look at users of constants for ephemeral values (#134618)Matt Arsenault
2025-04-03Ensure KnownBits passed when calculating from range md has right size (#132985)LU-JOHN
2025-03-28[Analysis][NFC] Extract KnownFPClass (#133457)Tim Gymnich
2025-03-21[llvm:ir] Add support for constant data exceeding 4GiB (#126481)pzzp
2025-03-09[ValueTracking] Bail out on x86_fp80 when computing fpclass with knownbits (#...Yingwei Zheng
2025-03-07[ValueTracking] Skip incoming values that are the same as the phi in `isGuara...DianQK
2025-03-06[ValueTracking] ComputeNumSignBitsImpl - add basic handling of BITCAST nodes ...Narayan
2025-02-18[RISCV] Move the RISCVII namespaced enums into RISCVVType namespace in RISCVT...Craig Topper
2025-02-17[Analysis] Remove getGuaranteedNonPoisonOps (#127461)Kazu Hirata
2025-02-17[Analysis] Remove getGuaranteedWellDefinedOps (#127453)Kazu Hirata
2025-02-12[ValueTracking] Infer NonEqual from dominating conditions/assumptions (#117442)Yingwei Zheng
2025-02-11[ValueTracking] Handle trunc to i1 as condition in dominating condition. (#12...Andreas Jonson
2025-02-10[ValueTracking] Handle not in dominating condition. (#126423)Andreas Jonson
2025-02-07ValueTracking: modernize isKnownInversion (NFC) (#126234)Ramkumar Ramachandra
2025-02-05[NFC][ValueTracking] Hoist the matching of RHS constant (#125818)Yingwei Zheng
2025-02-05[ValueTracking] Remove unused `V ^ Mask == C` from `computeKnownBitsFromCmp`....Yingwei Zheng
2025-02-04[ValueTracking] Fix bit width handling in computeKnownBits() for GEPs (#125532)Nikita Popov