tqchen commented on pull request #6771: URL: https://github.com/apache/incubator-tvm/pull/6771#issuecomment-717918825
I see, in this particular case, perhaps it makes sense to optimize such pattern and make sure `cast(i32, c * 2 + 1) + 1 - cast(i32, c * 2)` get simplified as well. One way to do so is to first change i32 casts to i64 before narrow. It would also be useful to find out why cast(value, i32) is inserted since we preferred i64 in most cases. We can do that in another PR. This PR's improvement is certainly useful ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
