Shared bounds tracker machinery. - #9399

Open

mcourteaux wants to merge 10 commits into

mainfrom

mcourteaux/bounds-tracker

Commits on Aug 27, 2026

WIP: shared BoundsTracker for BoundConstantExtentLoops/BoundSmallAllocations/AllocationBoundsInference

mcourteaux
and
claude
committed
6fa29f5
Fix use-after-free in BoundConstantExtentLoops's aggressive extent lookup

mcourteaux
and
claude
committed
3646d41
Migrate LowerWarpShuffles onto BoundsTracker

mcourteaux
and
claude
committed
cf21a5f
Gather Let/Assert context in SimplifyCorrelatedDifferences via BoundsTracker

mcourteaux
and
claude
committed
e790e9d
Bound a min-clamped ceil-div minus its unclamped multiple
mcourteaux
committed
cabd3d7
Use loop monotonicity to bound an unrollable tile exactly

mcourteaux
and
claude
committed
e39ac58
Learn loop bounds as facts.
mcourteaux
committed
c7678cb
Make find_constant_bound_aggressive a wrapper of find_constant_bounds_aggressive

mcourteaux
and
claude
committed
c21e4e8
BoundsTracker in Makefile.
mcourteaux
committed
8bb0174
Revert using BoundsTracker in AllocationBoundsInference. That's not useful as we're not trying to find any upper bound.
mcourteaux
committed
a3528fb