wrongtest-intellif opened a new pull request, #16296:
URL: https://github.com/apache/tvm/pull/16296
Hi~ The change wants to fix one simplifier bug on non-pure conditions. If
the condition expression do not hold the same value in its dominating scope, it
is not safe to bind it in `arith::Analyzer` and rely on it in simplify.
As an example, the condition `A[i] > 1` is not reliable since it is updated
with buffer write.
```python
for i in range(128):
if A[i] > 1:
A[i] = A[i] + 1
# some code use A[i] to be simplified like
B[i] = T.if_then_else(A[i] - 1 > 0, 0, 1)
```
--
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]
