Hi @comaniac , Thanks for commenting. :) Yes. This is a real problem happening in the industrial context. The current solution is either over-conservative or unsound.
About the name of "Data-flow Analysis", I think it is more a terminology question. For example the CFA is also a kind of program analysis but I don't think that is expressible in this framework or required in TVM IR (since there is not even first class function in TVM IR). Also I am not sure if this is expressible enough for **all** of the program analysis. Program Analysis is a really broad field. In my opinion, this framework can express most of the Data-flow Analysis phrased in the format of fixpoint computation in the first chapter of *Principle Of Program Analysis*. -- 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-562806258
