summaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/CorrelatedValuePropagation
AgeCommit message (Expand)Author
2025-10-01[LVI] Handle constant value lattice in `getEdgeValueLocal` (#161410)Yingwei Zheng
2025-09-29Extend LVI to cache ranges per BB predecessor. (#159432)Alina Sbirlea
2025-09-10[LVI] Support no constant range of cast value in getEdgeValueLocal. (#157614)Andreas Jonson
2025-09-08[CVP] Generate test checks (NFC)Andreas Jonson
2025-08-17[LVI] Add support for trunc nuw range. (#154021)Andreas Jonson
2025-08-08[IR] Remove size argument from lifetime intrinsics (#150248)Nikita Popov
2025-06-02[CVP] Keep `ReachableCaseCount` in sync with range of condition (#142302)Yingwei Zheng
2025-05-08Add regression tests from ConstantData uselist removal (#138960)Matt Arsenault
2025-04-30[LVI][ValueTracking] Take UB-implying attributes into account in `isSafeToSpe...Yingwei Zheng
2025-04-22[IR] Intersect call and fn range in CallBase::getRange()Nikita Popov
2025-04-22[CVP] Add test showing how a call-site range can pessimize opt (NFC)Nikita Popov
2025-04-17[Intrinsics] Add support for range attributes (#135642)Nikita Popov
2025-04-14[CVP] Add tests for ucmp/scmp with switch (NFC)Nikita Popov
2025-03-12[CVP] Infer `nuw`/`nsw` flags for TruncInst (#130504)Veera
2025-02-23[LVI] Skip self loops in `solveBlockValueNonLocal` (#127763)Yingwei Zheng
2025-02-03[LVI] Handle nonnull attributes at callsite (#125377)Yingwei Zheng
2025-02-02[LVI] Add trunc to i1 handling. (#124480)Andreas Jonson
2025-01-31[LVI] Pre commit test for #124480 (NFC)Andreas Jonson
2025-01-26[LVI][CVP] Add test for trunc bittest. (NFC)Andreas Jonson
2025-01-15[LVI] Learn value ranges from ctpop results (#121945)Stephen Senran Zhang
2024-12-09[LVI] Thread binop over select with constant arms (#110212)Yingwei Zheng
2024-12-02[LVI] Fix insertelement of constexprNikita Popov
2024-11-21[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)Paul Walker
2024-11-11[llvm] Remove `br i1 undef` from some regression tests [NFC] (#115691)Lee Wei
2024-11-11[CVP] Add `samesign` flag to `icmp` (#115642)Han Qi
2024-11-06[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)Paul Walker
2024-11-05[CVP] Fix APInt ctor assertion with i1 uremNikita Popov
2024-10-18[LVI] Infer non-zero from equality icmp (#112838)Yingwei Zheng
2024-09-20[CVP] Infer range return attribute (#99620)Nikita Popov
2024-08-07[ConstantRange] Improve `shlWithNoWrap` (#101800)Yingwei Zheng
2024-08-02 [ConstantRange] Add support for `shlWithNoWrap` (#100594)Yingwei Zheng
2024-07-25[ConstantRange] Infer nonnegative for mul nuw nsw (#100554)Yingwei Zheng
2024-07-19[CVP] Add tests for range return attributes (NFC)Nikita Popov
2024-07-19[CVP] Regenerate test checks (NFC)Nikita Popov
2024-07-19[CVP][LVI] Add support for InsertElementInst in LVI (#99368)Rajat Bajpai
2024-07-18[ValueLattice] Support constant vectors in mergeIn() (#99466)Nikita Popov
2024-07-18[CVP] Add test for phi merging of vectors (NFC)Nikita Popov
2024-07-05[LVI][CVP] Add support for vector comparisonsNikita Popov
2024-07-05[CVP] Add missing CHECK lines in test (NFC)Nikita Popov
2024-07-04[CVP][LVI] Fix incorrect scalar type when getting constant folded vec (#97682)goldsteinn
2024-07-03[CVP] Support vectors for and elisionNikita Popov
2024-07-03[CVP][LVI] Add support for vectors (#97428)Nikita Popov
2024-07-02[CVP] Add vector test cases (NFC)Nikita Popov
2024-07-02[CorrelatedValuePropagation] Fold calls to UCMP/SCMP when we know that ranges...Poseydon42
2024-06-20Reland "[CVP] Check whether the default case is reachable (#79993)" (#96089)Yingwei Zheng
2024-06-17[LVI][ConstantRange] Generalize mask not equal conditions handlingAntonio Frighetto
2024-06-04[IR] Remove support for icmp and fcmp constant expressions (#93038)Nikita Popov
2024-05-24[ConstantRange][LVI] Add support for `multiplyWithNoWrap`Antonio Frighetto
2024-05-07[CVP] Convert `sitofp` -> `uitofp nneg` and add `nneg` flag to `uitofp`Noah Goldstein
2024-05-07[CVP] Add tests for adding `nneg` flag to `uitofp` and converting `sitofp` ->...Noah Goldstein