spectrometerHBH commented on a change in pull request #9699:
URL: https://github.com/apache/tvm/pull/9699#discussion_r774309684
##########
File path: src/arith/iter_affine_map.cc
##########
@@ -569,20 +658,45 @@ class IterMapRewriter : public ExprMutator {
break;
}
}
- if (k == expr->args.size()) return NullOpt;
+ if (k == expr->args.size()) {
+ if (i == 0 && num_visited == visited.size()) {
+ // if match failed because of iterations are used out instead of
scale mismatch,
+ // and all used iters are visited during current match round,
fallback to skip the
+ // constraint. Example: exprs = [i * 2 + j, k], i in [0, 3), j
in [0, 2), k in [0, 4)
Review comment:
cc @wrongtest
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
