Let me explain how compute-at / reverse-compute-at works.
Basically, we do integer set analysis to determine the loops domain of the block being moved (in our example it's block C). In our particular case, the domain inferred is: ```python [0 : T.min(1, OH - i), 0 : OW] = [0 : 1, 0 : OW] (given `i < OH`) ``` which is a 2-dimensional rectangle whose 1st dim is 1 and the 2nd dim is `OW`. The flag `preserve_unit_loops` controls if the system should generate the 1st loop - it could be removed given it has a unit extent. --- [Visit Topic](https://discuss.tvm.apache.org/t/a-failed-example-of-using-compute-at-based-on-tvmscript/11489/7) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/903834d29ed72482c09ea1a89c63d43f1726b017de321ac9151afee7519cb8b7).
