kparzysz-quic opened a new pull request #6046:
URL: https://github.com/apache/incubator-tvm/pull/6046
Currently, the TBAA information is based on the access type, i.e. the data
type from the load or store instruction. When the same
memory area is accessed with different types, the corresponding load/store
instruction may end up not being aliased to each other. This could lead to
incorrect code being generated.
An example of when such a situation can occur is when two different
`buffer_decl`s are created for the same buffer:
```
ba = buffer_decl(... dtype = 'int16' ...)
bb = buffer_decl(data = ba.data, dtype = 'int32x32' ...)
```
Then instructions
```
ba[x] = 0
... = bb[x]
```
may be reordered in the final code due to the alias info indicating that
they are not aliased.
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
[email protected]
