kparzysz-quic opened a new pull request, #15872: URL: https://github.com/apache/tvm/pull/15872
The values of `min` and `extent` in Range should have the same type, but the usage of convenience may often produce type mismatches, for example `Range(0, dim)` will assume int32 for the `min`. These mismatches can then cause hard-to-track errors, in particular assertions in the arithmetic simplifier. This is already done for `For` statement, but not in other places. This patch introduces `DataType::WidestOf` function, that returns the widest type from the given list. It is then used to promote the integer bounds if such widest type exists. -- 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]
