Lunderberg commented on PR #13041: URL: https://github.com/apache/tvm/pull/13041#issuecomment-1280919271
Hi @wrongtest-intellif ! The goal is to produce an expression that, when true, implies that the original expression is true. For this specific example, suppose we know that `i + 2 < 16`. Because we also know that the free parameter `f` satisfies `2 < f`, we know that `i + 2 < i + f`. Therefore, since `i + f < i + 2 < 16`, `i+f < 16`. The `NarrowPredicateExpression` is part of a larger data-flow analysis that I'm preparing as part of handling padded buffer transforms. When analyzing whether a specific index corresponds to padding, conditions such as `pad_left <= i+f < original_width + pad_left` (identifies a non-padding data value) frequently show up. By converting these into expressions that are true regardless of the value of `f`, or expressions that are false regardless of the value of `f`, we can remove reduction axes from the overall predicate expressions. -- 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]
