summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)Author
2025-02-03[ValueTracking] Handle `trunc nuw` in `computeKnownBitsFromICmpCond` (#125414)Yingwei Zheng
2025-01-31[Analysis] Fix a warningKazu Hirata
2025-02-01[ValueTracking] Use `SimplifyQuery` in `isKnownNonEqual` (#124942)Yingwei Zheng
2025-01-29[ValueTracking] Handle nonnull attributes at callsite (#124908)Yingwei Zheng
2025-01-28[ValueTracking] Fix bug of using wrong condition for deducing KnownBits (#124...goldsteinn
2025-01-24[ValueTracking] Pass changed predicate `SignedLPred` to `isImpliedByMatchingC...DianQK
2025-01-24[NFC][DebugInfo] Use iterator-flavour getFirstNonPHI at many call-sites (#123...Jeremy Morse
2025-01-22[ValueTracking] Handle recursive select/PHI in ComputeKnownBits (#114689)goldsteinn
2025-01-16[ValueTracking] Return `poison` for zero-sized types (#122647)Pedro Lobo
2025-01-15[ValueTracking] Provide getUnderlyingObjectAggressive fallback (#123019)Heejin Ahn
2025-01-14[ValueTracking] Squash compile-time regression from 66badf2 (#122700)Ramkumar Ramachandra
2025-01-13IR: introduce ICmpInst::isImpliedByMatchingCmp (#122597)Ramkumar Ramachandra
2025-01-12VT: teach a special-case optz about samesign (#122590)Ramkumar Ramachandra
2025-01-11[ValueTracking] Take into account whether zero is poison when computing CR fo...goldsteinn
2025-01-11VT: teach isImpliedCondMatchingOperands about samesign (#122474)Ramkumar Ramachandra
2025-01-10[ValueTracking] Add rotate idiom to haveNoCommonBitsSet special cases (#122165)Alex MacLean
2025-01-10VT: teach implied-cond-cr about samesign (#122447)Ramkumar Ramachandra
2025-01-10VT: teach isImpliedCondOperands about samesign (#120263)Ramkumar Ramachandra
2025-01-08[ValueTracking] Move `getFlippedStrictnessPredicateAndConstant` into ValueTra...Yingwei Zheng
2024-12-28[ValueTracking] Fix a bug for signed min-max clamping (#121206)adam-bzowski
2024-12-25[ValueTracking] Improve KnownBits for signed min-max clamping (#120576)adam-bzowski
2024-12-18[InstCombine] Widen Sel width after Cmp to generate Max/Min intrinsics. (#11...tianleliu
2024-12-13PatternMatch: migrate to CmpPredicate (#118534)Ramkumar Ramachandra
2024-12-12[ValueTracking] Add missing operand checks in `computeKnownFPClassFromCond` (...Yingwei Zheng
2024-12-03IR: introduce struct with CmpInst::Predicate and samesign (#116867)Ramkumar Ramachandra
2024-12-02[ValueTracking] Handle and/or of conditions in `computeKnownFPClassFromContex...Yingwei Zheng
2024-12-02[InstCombine] Fold `X Pred C2 ? X BOp C1 : C2 BOp C1` to `min/max(X, C2) BOp ...Veera
2024-11-08[Analysis] atan2: isTriviallyVectorizable; add to massv and accelerate veclib...Tex Riddell
2024-11-07ValueTracking: Do not return nullptr from getUnderlyingObject (#115258)Matt Arsenault
2024-11-07ValueTracking: simplify udiv/urem recurrences (#108973)Ramkumar Ramachandra
2024-11-07[ValueTracking] Don't special case depth for phi of select (#114996)Nikita Popov
2024-11-06ValueTracking: Allow getUnderlyingObject to look at vectors (#114311)Matt Arsenault
2024-11-05[Analysis] Remove unused includes (NFC) (#114936)Kazu Hirata
2024-11-02[ValueTracking] Compute known bits from recursive select/phi (#113707)Yingwei Zheng
2024-11-01[ValueTracking] Handle recursive phis in knownFPClass (#114008)David Green
2024-10-31[ValueTracking] Compute KnownFP state from recursive select/phi. (#113686)David Green
2024-10-29Adding more vector calls for -fveclib=AMDLIBM (#109662)Rohit Aggarwal
2024-10-17[ValueTracking] Respect `samesign` flag in `isKnownInversion` (#112390)Yingwei Zheng
2024-10-15[InstCombine] Extend fcmp+select folding to minnum/maxnum intrinsics (#112088)Alexey Bader
2024-10-15InstCombine: extend select-equiv to support vectors (#111966)Ramkumar Ramachandra
2024-10-14ValueTracking: handle more ops in isNotCrossLaneOperation (#112183)Ramkumar Ramachandra
2024-10-14ValueTracking: introduce llvm::isNotCrossLaneOperation (#112011)Ramkumar Ramachandra
2024-10-04ValueTracking: refactor recurrence-matching (NFC) (#109659)Ramkumar Ramachandra
2024-10-03[ValueTracking] AllowEphemerals for alignment assumptions. (#108632)Florian Hahn
2024-10-02[ValueTracking] mul nuw nsw with factor sgt 1 is non-negative (#110803)Nikita Popov
2024-10-02ValueTracking: strip stray break in recur-match (#109794)Ramkumar Ramachandra
2024-09-19[ValueTracking] Support assume in entry block without DT (#109264)Nikita Popov
2024-09-13[ValueTracking] Infer is-power-of-2 from dominating conditions (#107994)Yingwei Zheng
2024-09-10[ValueTracking] Infer is-power-of-2 from assumptions. (#107745)Yingwei Zheng
2024-09-05[ConstantRange] Perform increment on APInt (NFC)Nikita Popov
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-22 19:31:49 +0000