DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-570014781
Hi @MarisaKirisame , I have several questions during the learning of AAM,
about the advantage of implementing AAM over using
DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-566228439
@MarisaKirisame : I might still be a little confused about the semantic and
**internal memory representation** of RelayIR. I
DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-565901356
Hi @MarisaKirisame , I currently have a question about representing
"location inside the program" because when the users want
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,
DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-563291829
Hi @comaniac , Thanks for your suggestion! :)
Because of your suggestion and [Unified IR
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
DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-562559678
Hi @junrushao1994 ,
an over-simplified example from the industrial context is the following:
```python
...
B0 =
DKXXXL commented on issue #4468: [RFC] Data-flow Analysis Functionality on TVM
IR
URL: https://github.com/apache/incubator-tvm/issues/4468#issuecomment-561917833
### Comments: IsLattice
The basic usage is just:
```cpp
template
struct STD_SET_IS_LATTICE : public IsLattice> {