summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)Author
2024-08-06[ValueTracking] Infer relationship for the select with SLTzhongyunde 00443407
2024-08-06[ValueTracking] Infer relationship for the select with ICmpzhongyunde 00443407
2024-08-04[llvm] Construct SmallVector with ArrayRef (NFC) (#101872)Kazu Hirata
2024-07-29[NFC][Load] Find better place for `mustSuppressSpeculation` (#100794)Vitaly Buka
2024-07-29[PatternMatch] Use `m_SpecificCmp` matchers. NFC. (#100878)Yingwei Zheng
2024-07-24LAA: mark LoopInfo pointer const (NFC) (#100373)Ramkumar Ramachandra
2024-07-24[InstCombine] Infer sub nuw from dominating conditions (#100164)Yingwei Zheng
2024-07-24[ValueTracking] Don't use CondContext in dataflow analysis of phi nodes (#100...Yingwei Zheng
2024-07-22[GVN] Look through select/phi when determining underlying object (#99509)Nikita Popov
2024-07-22[IR] Remove non-canonical matchings (#96763)AtariDreams
2024-07-22 [InstCombine] Do not use operand info in `replaceInInstruction` (#99492)Yingwei Zheng
2024-07-19[ValueTracking] Let ComputeKnownSignBits handle (shl (zext X), C) (#97693)Bjorn Pettersson
2024-07-18[ValueTracking] Remove unnecessary `m_ElementWiseBitCast` from `isKnownNonZer...Noah Goldstein
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `computeKnownFPClass`Noah Goldstein
2024-07-18[ValueTracking] Consistently propagate `DemandedElts` is `ComputeNumSignBits`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-17[ValueTracking] Implement Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`Noah Goldstein
2024-07-16[SLP]Correctly detect minnum/maxnum patterns for select/cmp operations on flo...Alexey Bataev
2024-07-16[ValueTracking][X86] Compute KnownBits for phadd/phsub (#92429)mskamp
2024-07-16Revert "[SLP]Correctly detect minnum/maxnum patterns for select/cmp operation...Alexey Bataev
2024-07-16[SLP]Correctly detect minnum/maxnum patterns for select/cmp operations on flo...Alexey Bataev
2024-07-05[IR] Add Constant::toConstantRange() (NFC)Nikita Popov
2024-07-04[ValueTracking][X86] computeKnownBitsFromOperator - add PMULH/PMULHU intrinsi...Simon Pilgrim
2024-07-04[IR] Don't strip through pointer to vector of pointer bitcastsNikita Popov
2024-07-03[ValueTracking][LVI] Consolidate vector constant range calculationNikita Popov
2024-07-03[ValueTracking] Extend LHS/RHS with matching operand to work without constants.Noah Goldstein
2024-07-01[InstCombine] Sync KnownBits logic for select armsNikita Popov
2024-07-01[InstCombine] Simplify select using KnownBits of condition (#95923)Nikita Popov
2024-06-30ValueTracking: Simplify intrinsic ID assertsMatt Arsenault
2024-06-28[IR] Add getDataLayout() helpers to Function and GlobalValue (#96919)Nikita Popov
2024-06-27[SLPVectorizer] Support SLPVectorizer cases of tan across all backends (#95517)Farzon Lotfi
2024-06-27[IR] Add getDataLayout() helpers to BasicBlock and Instruction (#96902)Nikita Popov
2024-06-26[ValueTracking][RISCV] Use ConstantRange::getUnsignedMax instead of getUpper ...Craig Topper
2024-06-24[InstSimplify] Provide information about the range of possible values that `u...Poseydon42
2024-06-20[ValueTracking] Support gep nuw in isKnownNonZero()Nikita Popov
2024-06-13[ValueTracking][NFC] move isKnownInversion to ValueTracking (#95321)Zain Jaffal
2024-06-07[KnownBits] Remove `hasConflict()` assertions (#94568)c8ef
2024-06-06[ValueTracking] Make undef element check more preciseNikita Popov
2024-05-28[IR][AArch64][PAC] Add "ptrauth(...)" Constant to represent signed pointers. ...Ahmed Bougacha
2024-05-20[ValueTracking] Recognize `X op (X != 0)` as non-zeroNoah Goldstein
2024-05-20[ValueTracking] Fix incorrect inferrence about the signbit of sqrt (#92510)Yingwei Zheng
2024-05-19ValueTracking: Correct undef handling for constant FP vectors (#92557)Matt Arsenault
2024-05-16[ValueTracking] Compute knownbits from `(icmp upred (add/sub nuw X, Y), C)`Noah Goldstein
2024-05-16[ValueTracking] Fix assertion failure when `computeKnownFPClass` returns fcNo...Yingwei Zheng
2024-05-14Reland "[ValueTracking] Compute knownbits from known fp classes" (#92084)Yingwei Zheng
2024-05-14Revert "[ValueTracking] Compute knownbits from known fp classes (#86409)"Martin Storsjö
2024-05-14[ValueTracking] Compute knownbits from known fp classes (#86409)Yingwei Zheng
2024-05-07[ValueTracking] Recognize `LShr(UINT_MAX, Y) + 1` as a power-of-two (#91171)Monad
2024-05-03[AggressiveInstCombine] Inline strcmp/strncmp (#89371)Franklin Zhang
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 18:21:01 +0000