>
> I very much like the proposed improvements, especially the use cases for > inner-block and inter-block analysis. While I have made some development [for > similar > applications](https://github.com/apache/tvm/blob/main/src/tir/analysis/control_flow_graph.h), > the additional formalism and reliability proposed here would be very useful. Thanks, @Lunderberg. What you mentioned is a great analysis tool, and most part of its capability is beyond what integer set targets to achieve. It seems to me that data-flow analysis focuses more on global/high-level info and integer set focuses more on local info inside iteration. They are expected to benefit the overall analysis tools together. -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm-rfcs/pull/99#issuecomment-1439529203 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm-rfcs/pull/99/c1439529...@github.com>
