llvm-project
[ScalarEvolution] howManyLessThans infer stride isPositive from guard
#214014
Merged
Merged
[ScalarEvolution] howManyLessThans infer stride isPositive from guard #214014
AbhayKanhere
merged
11 commits into
llvm:main
from
AbhayKanhere:users/abhay/scev-stride-fact-from-guard
nikic
commented
on 2026-08-26
[ScalarEvolution] howManyLessThans infer stride isPositive from guard
4eb43c60
[ScalarEvolution] Dont substitute GuardedStride over Stride
911bb213
[test] Update test
73210d75
[SCEV] review updates
d3d2fbbd
fhahn
commented
on 2026-09-06
[SCEV] encode context-aware fact into Stride expr
a80ea318
[IndVarSimplify] Test exit-value rewrite for guard-derived positive s…
6e70eaec
[SCEV] simple comment fix.
207c473d
fhahn
approved these changes
on 2026-09-14
fhahn
commented
on 2026-09-14
[SCEV] minor renaming
1fb7f81a
[SCEV] Add single-exit contrast case to stride-from-guard trip-count …
9710cabe
[test] Make exit-value-guarded-positive-stride distinguish the patch
f735ee75
[SCEV] Fix clang-format pointer spacing in howManyLessThans
e33dcb50
Login to write a write a comment.
Login via GitHub