summaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/ScalarEvolution
AgeCommit message (Expand)Author
2025-10-23[Analysis][test] Remove unsafe-fp-math uses (NFC) (#164605)paperchalice
2025-10-20[SCEV] Add extra test coverage with URem & AddRec guards.Florian Hahn
2025-10-20[SCEV] Preserve divisor info when adding guard info for ICMP_NE via Sub. (#16...Florian Hahn
2025-10-16[SCEV] Add tests with multiple NE guards and different orders.Florian Hahn
2025-10-14[SCEV] Add initial tests for ptrtoaddr.Florian Hahn
2025-10-14[SCEV] Use context instruction for SCEVUnknowns in getConstantMultiple. (#163...Florian Hahn
2025-10-14[SCEV] Collect guard info for ICMP NE w/o constants. (#160500)Florian Hahn
2025-10-13[SCEV] Add test with ptrtoint guards and their order swapped.Florian Hahn
2025-10-09[SCEV] Use getConstantMultiple in to get divisibility info from guards. (#162...Florian Hahn
2025-10-08[SCEV] Pass loop pred branch as context instruction to getMinTrailingZ. (#160...Florian Hahn
2025-10-01[LLVM][SCEV] udiv (mul nuw a, vscale), (mul nuw b, vscale) -> udiv a, b (#157...Paul Walker
2025-09-26[SCEV] Add tests for computing trip counts with align assumptions.Florian Hahn
2025-09-22[SCEV] Add additional test with guards for 3-op AddRec.Florian Hahn
2025-09-20[SCEV] Add tests that benefit from rewriting SCEVAddExpr with guards.Florian Hahn
2025-09-17Reapply "[SCEV] Fold (C1 * A /u C2) -> A /u (C2 /u C1), if C2 > C1." (#158328)Florian Hahn
2025-09-17[SCEV] Add more tests for MUL/UDIV folds.Florian Hahn
2025-09-12Revert "[SCEV] Fold (C1 * A /u C2) -> A /u (C2 /u C1), if C2 > C1." (#158328)Reid Kleckner
2025-09-12[SCEV] Fix a hang introduced by collectForPHI (#158153)Philip Reames
2025-09-11[SCEV] Fold (C1 * A /u C2) -> A /u (C2 /u C1), if C2 > C1. (#157656)Florian Hahn
2025-09-10[SCEV] Fold ((-1 * C1) * D / C1) -> -1 * D. (#157555)Florian Hahn
2025-09-09[SCEV] Generalize (C * A /u C) -> A fold to (C1 * A /u C2) -> C1/C2 * A. (#15...Florian Hahn
2025-09-08[SCEV] Cover more multipler/divisor combinations in folding test.Florian Hahn
2025-09-05[SCEV] Add tests for folding multiply/divide by constants.Florian Hahn
2025-09-05[SCEV] Fold (C * A /u C) -> A, if A is a multiple of C and C a pow-of-2. (#15...Florian Hahn
2025-09-03[LSR] Move test from Analysis/ScalarEvolution to Transforms, regen.Florian Hahn
2025-09-01[SCEV] Rewrite some SCEVAdd sub-expressions using loop guards. (#156013)Florian Hahn
2025-08-29[SCEV] Add tests for applying guards to SCEVAddExpr sub-expressions.Florian Hahn
2025-08-26[SCEV] Try to push op into ZExt: C * zext (A + B) -> zext (A*C + B*C) (#155300)Florian Hahn
2025-08-08[IR] Remove size argument from lifetime intrinsics (#150248)Nikita Popov
2025-07-30[SECV] Try to push the op into ZExt: A + zext (-A + B) -> zext (B) (#151227)Florian Hahn
2025-07-30[SCEV] Add test for pushing constant add into zext.Florian Hahn
2025-07-23[Tests] Avoid lifetime intrinsics on non-allocas (NFC)Nikita Popov
2025-07-09[SCEV] Move a test into IndVars (#147360)Ramkumar Ramachandra
2025-07-08[SCEV] Regen a test with UTC (#147361)Ramkumar Ramachandra
2025-06-01[SCEV] Add additional test coverage for loop-guards reasoning.Florian Hahn
2025-05-02[IndVarSimplify] Set samesign when converting signed comparison to unsigned c...Craig Topper
2025-04-13[SCEV] Use ashr to adjust constant multipliers (#135534)Yingwei Zheng
2025-04-02[Reland][SCEV] teach isImpliedViaOperations about samesign (#133711)Yingwei Zheng
2025-03-17[SCEV] Check whether the start is non-zero in `ScalarEvolution::howFarToZero`...Yingwei Zheng
2025-02-18[SCEV] Generate test checks (NFC)Nikita Popov
2025-02-10Revert "SCEV: teach isImpliedViaOperations about samesign" (#126506)Ramkumar Ramachandra
2025-02-07SCEV: re-org a test, regen via UTC (#126237)Ramkumar Ramachandra
2025-02-06SCEV: teach isImpliedViaOperations about samesign (#124270)Ramkumar Ramachandra
2025-02-03IndVarSimplify: add samesign test from a regression (#125539)Ramkumar Ramachandra
2025-01-29[SCEV] Check correct value for UB (#124302)Nikita Popov
2025-01-25SCEV: add samesign tests for exit-limit computation (#124304)Ramkumar Ramachandra
2025-01-24[SCEV] Add test for #123550 (NFC)Nikita Popov
2025-01-23SCEV: cover a codepath in isImpliedCondBalancedTypes (#123070)Ramkumar Ramachandra
2025-01-22[SCEV] Do not attempt to collect loop guards for loops without predecessor. (...Julian Nagele
2025-01-22[ValueTracking] Handle recursive select/PHI in ComputeKnownBits (#114689)goldsteinn