Lucien0 commented on PR #16250:
URL: https://github.com/apache/tvm/pull/16250#issuecomment-1959196698
Hi @Lunderberg , I also encountered some problems during verify_well_formed
analysis. It looks like it checks buffer.data when visiting the buffer map to
see if it has been defined before.
You can check the case
`test_tvmscript_printer_tir::test_prim_func_no_sugar_shared_buffer_data()`,
which tir like:
```
@T.prim_func
def main(a: T.handle, b: T.handle):
A = T.match_buffer(a, (128, 128))
B = T.match_buffer(b, (256, 256), data=A.data)
T.evaluate(0)
```
When creating schedule on it , an error will be repoted
```
ValueError: TIR is ill-formed, due to multiple nested definitions of
variable A. It was first defined at <root>.buffer_map[<root>.params[0]].data,
and was re-defined at <root>.buffer_map[<root>.params[1]].data
```
Could you please explain it further?
--
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]
