I am getting this warning with tvm.build
even though codegen generated the correct code.
Equation:
lambda i, j: tvm.sum(
tvm.if_then_else(
tvm.all(
i + d * (k - w) >= 0,
i + d * (k - w) < n,
),
X[i, k] * Y[i + d * (k - w), j],
tvm.const(0, dtype)
), axis=k)
Warning:
[19:33:42] /usr/tvm/src/pass/loop_partition.cc:545: Cannot prove: ((((((n + 31)/32) - 1) - (((n - 32)/32) + 1)) + 1) >= 0), when generating the post doubt loop