akaashrp opened a new pull request, #20129: URL: https://github.com/apache/tvm/pull/20129
This PR fixes two cases where `ForceNarrowIndexToInt32` could produce invalid or semantically different index expressions. When rewriting `if_then_else` and `Select`, one branch may remain `int64` while the other is narrowed to `int32`. The pass now derives the result type from the rewritten branches and casts the narrower branch to the common type. The pass also adjusts signed right shifts when their input is narrowed. Under the pass invariant that index values fit in `int32`, a shift at or beyond the new width is remapped to the `int32` sign-bit position, preserving sign extraction. -- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
