DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM IR URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-562806258 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*.
---------------------------------------------------------------- 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: us...@infra.apache.org With regards, Apache Git Services