6 lines · plain
1# Test that unrolling takes into account stride constraints.2# If it didn't, it would run essentially forever on this example.3[n] -> { A[i] -> [i] : exists a : i = 100000000 a and 0 <= a <= 2 }4{:}5{ [i] -> unroll[0] }6 1# Test that unrolling takes into account stride constraints.2# If it didn't, it would run essentially forever on this example.3[n] -> { A[i] -> [i] : exists a : i = 100000000 a and 0 <= a <= 2 }4{:}5{ [i] -> unroll[0] }6