aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/ValueTracking
AgeCommit message (Expand)AuthorFilesLines
9 hours[ValueTracking] Add missing check for two-value PN recurrence matching (#152700)Ivan R. Ivanov1-0/+28
2025-06-19[LLVM][IRBuilder] Use NUW arithmetic for Create{ElementCount,TypeSize}. (#143...Paul Walker1-2/+2
2025-04-11[AMDGPU][InstCombine][InstSimplify] Pre-commit tests for PR130742 (#135305)Yingwei Zheng1-1/+1
2025-04-03[ConstantFold] Support scalable constant splats in ConstantFoldCastInstructio...Luke Lau1-1/+1
2025-03-07[ValueTracking] Skip incoming values that are the same as the phi in `isGuara...DianQK1-0/+89
2025-02-14[IR] Remove mul constant expression (#127046)Nikita Popov1-2/+4
2025-02-13[AssumeBundles] Dereferenceable used in bundle only applies at assume. (#126117)Florian Hahn2-3/+3
2025-01-29[ValueTracking] Handle nonnull attributes at callsite (#124908)Yingwei Zheng1-0/+67
2025-01-28[ValueTracking] Fix bug of using wrong condition for deducing KnownBits (#124...goldsteinn1-0/+38
2025-01-24[ValueTracking] Pass changed predicate `SignedLPred` to `isImpliedByMatchingC...DianQK1-0/+48
2025-01-16[Options] Use UseDerefAtPointSemantics cl::opt<bool>. (#123192)Florian Hahn2-3/+3
2025-01-13IR: introduce ICmpInst::isImpliedByMatchingCmp (#122597)Ramkumar Ramachandra1-0/+37
2025-01-12VT: teach a special-case optz about samesign (#122590)Ramkumar Ramachandra1-8/+2
2025-01-11VT: teach isImpliedCondMatchingOperands about samesign (#122474)Ramkumar Ramachandra1-5/+2
2025-01-10VT: teach implied-cond-cr about samesign (#122447)Ramkumar Ramachandra1-6/+2
2025-01-10VT: teach isImpliedCondOperands about samesign (#120263)Ramkumar Ramachandra1-20/+4
2025-01-09VT/test: pre-commit tests to enable samesign optz (#120257)Ramkumar Ramachandra1-0/+286
2024-12-28[ValueTracking] Fix a bug for signed min-max clamping (#121206)adam-bzowski1-37/+159
2024-12-25[ValueTracking] Improve KnownBits for signed min-max clamping (#120576)adam-bzowski1-0/+266
2024-12-05[InstCombine] Move gep of phi fold into separate functionNikita Popov1-12/+12
2024-12-05[InstCombine] Infer nusw + nneg -> nuw for getelementptr (#111144)Nikita Popov1-3/+3
2024-11-07ValueTracking: simplify udiv/urem recurrences (#108973)Ramkumar Ramachandra1-8/+2
2024-11-07ValueTracking: pre-commit udiv/urem recurrence tests (#109198)Ramkumar Ramachandra1-0/+69
2024-11-07Remove `br i1 undef` from some regression tests [NFC] (#115130)Lee Wei1-3/+3
2024-11-06[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)Paul Walker8-61/+61
2024-11-05[KnownBits] Make `{s,u}{add,sub}_sat` optimal (#113096)goldsteinn1-8/+1
2024-11-05ValueTracking/test: cover recur limit in non-equal PHIs (#113205)Ramkumar Ramachandra1-0/+50
2024-10-28[InstCombine] Add function attribute `instcombine-no-verify-fixpoint` (#113822)Yingwei Zheng1-4/+1
2024-10-17[InstCombine] Set `samesign` when converting signed predicates into unsigned ...Yingwei Zheng1-1/+1
2024-09-27KnownBits: refine srem for high-bits (#109121)Ramkumar Ramachandra1-15/+3
2024-09-26ValueTracking/test: cover known-high-bits of rem (#109006)Ramkumar Ramachandra1-0/+79
2024-09-17ValueTracking/test: increase recurrence coverage (#108836)Ramkumar Ramachandra1-0/+100
2024-08-21[InstCombine] Remove some of the complexity-based canonicalization (#91185)Nikita Popov5-58/+58
2024-07-19[ValueTracking] Let ComputeKnownSignBits handle (shl (zext X), C) (#97693)Bjorn Pettersson1-19/+11
2024-07-19[ValueTracking] Pre-commit ComputeNumSignBits test for (shl (zext X), C)Bjorn Pettersson1-0/+168
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `computeKnownFPClass`Noah Goldstein1-6/+1
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `isKnownNonZero`Noah Goldstein1-5/+1
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `computeKnownBits`Noah Goldstein1-5/+1
2024-07-18[ValueTracking] Add tests for `llvm.vector.reverse` with `DemandedElts`; NFCNoah Goldstein3-0/+95
2024-07-17[ValueTracking] Implement Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`Noah Goldstein3-12/+3
2024-07-17[ValueTracking] Add tests for Known{Bits,NonZero,FPClass} for `llvm.vector.re...Noah Goldstein3-0/+83
2024-07-16[ValueTracking][X86] Compute KnownBits for phadd/phsub (#92429)mskamp1-0/+254
2024-07-02[InstCombine] Remove root special case in demanded bits simplificationNikita Popov1-2/+5
2024-05-29[InstCombine] Make the `(icmp eq/ne (and X, Y), X)` canonicalization work for...Noah Goldstein1-9/+9
2024-05-28[DebugCounter] Add support for non-continous ranges. (#89470)Ralender1-3/+3
2024-05-07[ValueTracking] Recognize `LShr(UINT_MAX, Y) + 1` as a power-of-two (#91171)Monad1-0/+116
2024-05-01[InstCombine] Canonicalize scalable GEPs to use llvm.vscale intrinsic (#90569)Nikita Popov1-6/+10
2024-04-24[ValueTracking] Add support for `trunc nuw/nsw` in isKnowNonZeroNoah Goldstein1-7/+2
2024-04-24[ValueTracking] Add tests for isKnowNonZero of `trunc nuw/nsw`; NFCNoah Goldstein1-15/+67
2024-03-20[ValueTracking] Handle range attributes (#85143)Andreas Jonson1-0/+147