@junrushao1994 Please take a look :) :blush:
---
[Visit
Topic](https://discuss.tvm.apache.org/t/inferbound-error-domain-already-inferred-of-split-op/11499/2)
to respond.
You are receiving this because you enabled mailing list mode.
To unsubscribe from these emails, [click
here](https://
Hi all:
Recently I met infer bound error on split op:
```
TVMError: Check failed: match: iter_var(blockIdx.x, , blockIdx.x) domain
already inferred, cannot prove their extents are the same
floordiv{any_dim|any_dim>=0}*{any_dim|any_dim>=0})*({any_dim|any_dim>=0} -
(floordiv({any_dim|any_d
log:
Check failed: (found_attach || stage_attach.size() == 0) is false:
Invalid Schedule, cannot find the producer
compute(data_pad,
body=[tir.if_then_else(i1 >= 1) && (i1 < 2)) && (i2 >= 1)) && (i2 < 513)),
data[i0, (i1 - 1), (i2 - 1), i3], 0f)],
axis=[iter_var(i0, range(min=0, ext=1)),
