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 :)
-- 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-565259323
