Squin to stim
AggressiveForLoopUnroll
dataclass
AggressiveForLoopUnroll()
Bases: Pass
Aggressive unrolling of for loops, addresses cases where unroll does not successfully handle nested loops because of a lack of constprop.
This should be invoked via fixpoint to let this be repeatedly applied until no further rewrites are possible.