When doing reduction the predicate guarding the [initialization](https://github.com/apache/tvm/blob/adf560ebed8465c22bf58f406d0a8d20663cdd1d/src/te/operation/compute_op.cc#L488) skips the boundary checking of the original itervars, by setting `skip_ivar_domain` argument in [MakeBoundCheck](https://github.com/apache/tvm/blob/adf560ebed8465c22bf58f406d0a8d20663cdd1d/src/te/schedule/message_passing.cc#L526-L580) to true (assuming `stage->rolling_buffer==false`), but [main body](https://github.com/apache/tvm/blob/adf560ebed8465c22bf58f406d0a8d20663cdd1d/src/te/operation/compute_op.cc#L447) checks it. I wonder why they are different?
--- [Visit Topic](https://discuss.tvm.apache.org/t/why-do-reductions-init-predicate-and-its-main-body-have-different-boundary-checking-behavior/11564/1) 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/c067d29c1cbc56bbc311f307fe5f29a867ad6e06a6805079477d0e6759f225cb).
