aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/CorrelatedValuePropagation
AgeCommit message (Expand)AuthorFilesLines
2026-01-19[LVI] Extract information from assume operand bundles (#176734)Nikolas Klauser1-0/+36
2025-10-01[LVI] Handle constant value lattice in `getEdgeValueLocal` (#161410)Yingwei Zheng1-0/+31
2025-09-29Extend LVI to cache ranges per BB predecessor. (#159432)Alina Sbirlea1-0/+98
2025-09-10[LVI] Support no constant range of cast value in getEdgeValueLocal. (#157614)Andreas Jonson1-0/+120
2025-09-08[CVP] Generate test checks (NFC)Andreas Jonson1-282/+338
2025-08-17[LVI] Add support for trunc nuw range. (#154021)Andreas Jonson1-0/+40
2025-08-08[IR] Remove size argument from lifetime intrinsics (#150248)Nikita Popov1-4/+4
2025-06-02[CVP] Keep `ReachableCaseCount` in sync with range of condition (#142302)Yingwei Zheng1-0/+36
2025-05-08Add regression tests from ConstantData uselist removal (#138960)Matt Arsenault1-0/+30
2025-04-30[LVI][ValueTracking] Take UB-implying attributes into account in `isSafeToSpe...Yingwei Zheng1-0/+34
2025-04-22[IR] Intersect call and fn range in CallBase::getRange()Nikita Popov1-3/+1
2025-04-22[CVP] Add test showing how a call-site range can pessimize opt (NFC)Nikita Popov1-0/+53
2025-04-17[Intrinsics] Add support for range attributes (#135642)Nikita Popov1-6/+6
2025-04-14[CVP] Add tests for ucmp/scmp with switch (NFC)Nikita Popov1-0/+102
2025-03-12[CVP] Infer `nuw`/`nsw` flags for TruncInst (#130504)Veera5-11/+119
2025-02-23[LVI] Skip self loops in `solveBlockValueNonLocal` (#127763)Yingwei Zheng1-0/+39
2025-02-03[LVI] Handle nonnull attributes at callsite (#125377)Yingwei Zheng1-0/+101
2025-02-02[LVI] Add trunc to i1 handling. (#124480)Andreas Jonson2-30/+16
2025-01-31[LVI] Pre commit test for #124480 (NFC)Andreas Jonson2-22/+104
2025-01-26[LVI][CVP] Add test for trunc bittest. (NFC)Andreas Jonson1-0/+104
2025-01-15[LVI] Learn value ranges from ctpop results (#121945)Stephen Senran Zhang1-0/+142
2024-12-09[LVI] Thread binop over select with constant arms (#110212)Yingwei Zheng1-0/+92
2024-12-02[LVI] Fix insertelement of constexprNikita Popov1-0/+11
2024-11-21[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)Paul Walker1-1/+1
2024-11-11[llvm] Remove `br i1 undef` from some regression tests [NFC] (#115691)Lee Wei4-38/+38
2024-11-11[CVP] Add `samesign` flag to `icmp` (#115642)Han Qi14-68/+68
2024-11-06[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)Paul Walker3-21/+21
2024-11-05[CVP] Fix APInt ctor assertion with i1 uremNikita Popov1-0/+9
2024-10-18[LVI] Infer non-zero from equality icmp (#112838)Yingwei Zheng1-0/+168
2024-09-20[CVP] Infer range return attribute (#99620)Nikita Popov6-33/+33
2024-08-07[ConstantRange] Improve `shlWithNoWrap` (#101800)Yingwei Zheng1-2/+16
2024-08-02 [ConstantRange] Add support for `shlWithNoWrap` (#100594)Yingwei Zheng1-5/+59
2024-07-25[ConstantRange] Infer nonnegative for mul nuw nsw (#100554)Yingwei Zheng1-0/+32
2024-07-19[CVP] Add tests for range return attributes (NFC)Nikita Popov1-171/+281
2024-07-19[CVP] Regenerate test checks (NFC)Nikita Popov1-34/+105
2024-07-19[CVP][LVI] Add support for InsertElementInst in LVI (#99368)Rajat Bajpai1-0/+25
2024-07-18[ValueLattice] Support constant vectors in mergeIn() (#99466)Nikita Popov1-2/+2
2024-07-18[CVP] Add test for phi merging of vectors (NFC)Nikita Popov1-2/+52
2024-07-05[LVI][CVP] Add support for vector comparisonsNikita Popov1-6/+26
2024-07-05[CVP] Add missing CHECK lines in test (NFC)Nikita Popov1-1/+17
2024-07-04[CVP][LVI] Fix incorrect scalar type when getting constant folded vec (#97682)goldsteinn1-0/+21
2024-07-03[CVP] Support vectors for and elisionNikita Popov1-3/+12
2024-07-03[CVP][LVI] Add support for vectors (#97428)Nikita Popov2-16/+45
2024-07-02[CVP] Add vector test cases (NFC)Nikita Popov1-0/+182
2024-07-02[CorrelatedValuePropagation] Fold calls to UCMP/SCMP when we know that ranges...Poseydon421-0/+258
2024-06-20Reland "[CVP] Check whether the default case is reachable (#79993)" (#96089)Yingwei Zheng2-5/+307
2024-06-17[LVI][ConstantRange] Generalize mask not equal conditions handlingAntonio Frighetto1-1/+37
2024-06-04[IR] Remove support for icmp and fcmp constant expressions (#93038)Nikita Popov2-6/+10
2024-05-24[ConstantRange][LVI] Add support for `multiplyWithNoWrap`Antonio Frighetto1-4/+2
2024-05-07[CVP] Convert `sitofp` -> `uitofp nneg` and add `nneg` flag to `uitofp`Noah Goldstein2-4/+4
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-17 04:00:36 +0000