tqchen commented on PR #15872: URL: https://github.com/apache/tvm/pull/15872#issuecomment-1747015636
In most cases the intention was to construct IRs that have consistent types. So insert casting like `cast(i32_val, i64)` is still not desirable for cases like arith simplifier. How about we do the following things: - Auto promote trivial constants, in which case no cast will be introduced - Error out(instead of silently promote) in constructor for cases that are in-consistent, so we can have callers to fix the type tracking when possible. -- 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]
