DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM 
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-565259323
 
 
   Hi @MarisaKirisame , thanks for commenting!
   So which one are you looking for? ADI or AAM? 
   I am not familiar with either, but I remember AAM requires a state machine 
transition definition of the semantics, where ADI requires a definitional 
interpreter to define the semantics.
   My another question is, if it is possible to have the one in your mind to 
generate the current framework I propose, or just a Data-flow Analysis 
framework with forward/backward/must/may analysis, because I am concerned with 
the possible mind burden to direct generate the desired Data-flow analysis with 
the AAM/ADI you proposed. It is at least a bit hard for me.
   Thanks :)

----------------------------------------------------------------
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]


With regards,
Apache Git Services

Reply via email to