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