[TIR] Enhance TVMScript Buffer Slice Access

[lightzhan-intellif]

This PR tries to fix a bug, which will case the error:

error: unsupported operand type(s) for +: 'BufferRegion' and 'BufferRegion'
 --> /workspace/code_newest/tvm/private_test/test_meta_programming.py:40:12
    |  
 40 |    B[0:5] = A[0:5] + B[0:5]
    |             ^^^^^^^^^^^^^^^

The problem will occur when it is a binary operation between two BufferSlice accesses, because the parser do not know how to deal with it.

This PR solves this by adding corresponding ops to BufferRegion. Any further suggestion is welcomed!

@junrushao @Hzfengsy @wrongtest-intellif

[tvm-bot]

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

• cc @Hzfengsy, @junrushao, @quic-sanirudh, @shingjan _{See #10317 for details}

_{Generated by tvm-bot}

[Hzfengsy]

cc @cyx-6

[junrushao]

I don't have problem with the fix per se, but was thinking if this ad-hoc fix is sufficient. To be more precise, vectorized buffer access being recognized as PrimExpr instead of BufferRegion.

[ekalda]

Thanks @lightzhan-intellif for the fix! I think it would be good to also test that the scripted output of VectorizeLoop can be parsed as this is something that is currently broken and that this change should fix as well.

[lightzhan-intellif]

Thanks @lightzhan-intellif for the fix! I think it would be good to also test that the scripted output of VectorizeLoop can be parsed as this is something that is currently broken and that this change should fix as well.

Thanks for your suggestion, I will have a look.