Discussion on Dataflow IR

[KuangjuX]

Discussion on the Definition of IR Data Structure Between Parser and CodeEmitter.

[KuangjuX]

I would like to discuss the data structures and internal definitions used in data flow analysis, including the following parts:

• Dataflow Graph
• Dataflow Node
  • Buffer Node
  • Operator Node
  • Block Node
• Dataflow Edge
  • Common Edge
  • Attached Edge
• Access Map

[haruhi55]

Take a simple example of GEMM. In an ideal situation, the nodes and edges in the graph directly correspond to the syntactic elements in TiledCuda.

[KuangjuX]

BufferNode represents a block of memory and requires specifying shape, typing, name, memory_level and id:

pub struct Buffer {
    name: String,
    id: usize,
    shape: Shape,
    typing: Typing,
    memory_level: MemoryLevel
}