| Age | Commit message (Expand) | Author |
| 2025-11-17 | InstCombine: Stop transforming EQ/NE of SHR to 0 to ULT/UGT if >1 use | Peter 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-13 | IR: introduce ICmpInst::isImpliedByMatchingCmp (#122597) | Ramkumar Ramachandra |
| 2025-01-12 | VT: teach a special-case optz about samesign (#122590) | Ramkumar Ramachandra |
| 2025-01-11 | VT: teach isImpliedCondMatchingOperands about samesign (#122474) | Ramkumar Ramachandra |
| 2025-01-10 | VT: teach implied-cond-cr about samesign (#122447) | Ramkumar Ramachandra |
| 2025-01-10 | VT: teach isImpliedCondOperands about samesign (#120263) | Ramkumar Ramachandra |
| 2025-01-09 | VT/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 function | Nikita Popov |
| 2024-12-05 | [InstCombine] Infer nusw + nneg -> nuw for getelementptr (#111144) | Nikita Popov |
| 2024-11-07 | ValueTracking: simplify udiv/urem recurrences (#108973) | Ramkumar Ramachandra |
| 2024-11-07 | ValueTracking: pre-commit udiv/urem recurrence tests (#109198) | Ramkumar Ramachandra |
| 2024-11-07 | Remove `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-05 | ValueTracking/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-27 | KnownBits: refine srem for high-bits (#109121) | Ramkumar Ramachandra |
| 2024-09-26 | ValueTracking/test: cover known-high-bits of rem (#109006) | Ramkumar Ramachandra |
| 2024-09-17 | ValueTracking/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`; NFC | Noah 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 simplification | Nikita 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 isKnowNonZero | Noah Goldstein |
| 2024-04-24 | [ValueTracking] Add tests for isKnowNonZero of `trunc nuw/nsw`; NFC | Noah Goldstein |