summaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/ValueTracking
AgeCommit message (Expand)Author
2025-11-17InstCombine: Stop transforming EQ/NE of SHR to 0 to ULT/UGT if >1 usePeter Collingbourne
2025-08-08[ValueTracking] Add missing check for two-value PN recurrence matching (#152700)Ivan R. Ivanov
2025-06-19[LLVM][IRBuilder] Use NUW arithmetic for Create{ElementCount,TypeSize}. (#143...Paul Walker
2025-04-11[AMDGPU][InstCombine][InstSimplify] Pre-commit tests for PR130742 (#135305)Yingwei Zheng
2025-04-03[ConstantFold] Support scalable constant splats in ConstantFoldCastInstructio...Luke Lau
2025-03-07[ValueTracking] Skip incoming values that are the same as the phi in `isGuara...DianQK
2025-02-14[IR] Remove mul constant expression (#127046)Nikita Popov
2025-02-13[AssumeBundles] Dereferenceable used in bundle only applies at assume. (#126117)Florian Hahn
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-16[Options] Use UseDerefAtPointSemantics cl::opt<bool>. (#123192)Florian Hahn
2025-01-13IR: introduce ICmpInst::isImpliedByMatchingCmp (#122597)Ramkumar Ramachandra
2025-01-12VT: teach a special-case optz about samesign (#122590)Ramkumar Ramachandra
2025-01-11VT: teach isImpliedCondMatchingOperands about samesign (#122474)Ramkumar Ramachandra
2025-01-10VT: teach implied-cond-cr about samesign (#122447)Ramkumar Ramachandra
2025-01-10VT: teach isImpliedCondOperands about samesign (#120263)Ramkumar Ramachandra
2025-01-09VT/test: pre-commit tests to enable samesign optz (#120257)Ramkumar Ramachandra
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-05[InstCombine] Move gep of phi fold into separate functionNikita Popov
2024-12-05[InstCombine] Infer nusw + nneg -> nuw for getelementptr (#111144)Nikita Popov
2024-11-07ValueTracking: simplify udiv/urem recurrences (#108973)Ramkumar Ramachandra
2024-11-07ValueTracking: pre-commit udiv/urem recurrence tests (#109198)Ramkumar Ramachandra
2024-11-07Remove `br i1 undef` from some regression tests [NFC] (#115130)Lee Wei
2024-11-06[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)Paul Walker
2024-11-05[KnownBits] Make `{s,u}{add,sub}_sat` optimal (#113096)goldsteinn
2024-11-05ValueTracking/test: cover recur limit in non-equal PHIs (#113205)Ramkumar Ramachandra
2024-10-28[InstCombine] Add function attribute `instcombine-no-verify-fixpoint` (#113822)Yingwei Zheng
2024-10-17[InstCombine] Set `samesign` when converting signed predicates into unsigned ...Yingwei Zheng
2024-09-27KnownBits: refine srem for high-bits (#109121)Ramkumar Ramachandra
2024-09-26ValueTracking/test: cover known-high-bits of rem (#109006)Ramkumar Ramachandra
2024-09-17ValueTracking/test: increase recurrence coverage (#108836)Ramkumar Ramachandra
2024-08-21[InstCombine] Remove some of the complexity-based canonicalization (#91185)Nikita Popov
2024-07-19[ValueTracking] Let ComputeKnownSignBits handle (shl (zext X), C) (#97693)Bjorn Pettersson
2024-07-19[ValueTracking] Pre-commit ComputeNumSignBits test for (shl (zext X), C)Bjorn Pettersson
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `computeKnownFPClass`Noah Goldstein
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `isKnownNonZero`Noah Goldstein
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `computeKnownBits`Noah Goldstein
2024-07-18[ValueTracking] Add tests for `llvm.vector.reverse` with `DemandedElts`; NFCNoah Goldstein
2024-07-17[ValueTracking] Implement Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`Noah Goldstein
2024-07-17[ValueTracking] Add tests for Known{Bits,NonZero,FPClass} for `llvm.vector.re...Noah Goldstein
2024-07-16[ValueTracking][X86] Compute KnownBits for phadd/phsub (#92429)mskamp
2024-07-02[InstCombine] Remove root special case in demanded bits simplificationNikita Popov
2024-05-29[InstCombine] Make the `(icmp eq/ne (and X, Y), X)` canonicalization work for...Noah Goldstein
2024-05-28[DebugCounter] Add support for non-continous ranges. (#89470)Ralender
2024-05-07[ValueTracking] Recognize `LShr(UINT_MAX, Y) + 1` as a power-of-two (#91171)Monad
2024-05-01[InstCombine] Canonicalize scalable GEPs to use llvm.vscale intrinsic (#90569)Nikita Popov
2024-04-24[ValueTracking] Add support for `trunc nuw/nsw` in isKnowNonZeroNoah Goldstein
2024-04-24[ValueTracking] Add tests for isKnowNonZero of `trunc nuw/nsw`; NFCNoah Goldstein