[PR] [Fix][TIR] Symbolic strides lower [tvm]

["JackWeiw (via GitHub)" <gi...@apache.org>]

JackWeiw opened a new pull request, #15984:
URL: https://github.com/apache/tvm/pull/15984

   compact_buffer_region PASS modify shared buffer stride[0] to
   
   `T.int64(72) * T.min((n + T.int64(63)) // T.int64(64) * T.int64(64), T.int64(96))` and stride[1] is `T.int64(72)`
   but in `LowerOpaqueBlock` PASS it report error:
   InternalError: Check failed: (is_zero(floormod(buffer->strides[i - 1], buffer->strides[i]))) is false:
   
   For more detaied discuss, see [here](https://discuss.tvm.apache.org/t/bug-tir-symbolic-floormod/15826)
   
   [here](https://gist.github.com/JackWeiw/5b80956ab44c0f63d4f434f18f42cc89) is the script to reproduce dtype mismatch in InjectPTXAsyncCopy PASS.
   


-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

Re: [PR] [Fix][TIR] Symbolic strides lower [tvm]

["JackWeiw (via GitHub)" <gi...@apache.org>]

JackWeiw closed pull request #15984: [Fix][TIR] Symbolic strides lower
URL: https://github.com/apache/tvm/pull/15984


-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org