Hzfengsy commented on PR #17700:
URL: https://github.com/apache/tvm/pull/17700#issuecomment-2693887042
One additional note: this PR provides an immediate fix for the issue, but it
doesn't address the underlying problem - the simplifier can potentially cause
integer overflow. For illustration, here's a minimal reproducible example:
```python
import tvm
x = tvm.tir.Var("x", "int32")
# Creating an expression that triggers integer overflow during simplification
expr = (tvm.tir.Div(x + 1073741826, 3) - 357913942) * 1536
ana = tvm.arith.Analyzer()
print(ana.simplify(expr))
```
cc @tqchen
--
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]
