@MarisaKirisame : I might still be a little confused about the semantic and **internal memory representation** of RelayIR. I would appreciated if you can enlighten me: in the official document, the picture for ANF is still a DAG (a child can have several different parent) with respect to **internal memory representation** 
The above `%v1` appears in multiple (two) locations (or three, if definition can be queried about), and when the user using the pointer to the ASTNode (of variable `%v1`), of which location the Dataflow-Info will be returned? *** But anyway, do you suggest that in the HalideIR, it is recommended to also just use a pointer to represent location? (So as to align the design) Thank you for the explanation! :) -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-566228439