[P1] Readable DFG generation

[tancheng]

We need a DFG generation tool.

Try to find one online or create one by ourself, put inside the https://github.com/coredac/dataflow/tree/main/tools.

[HobbitQia]

Hi @tancheng

As I shared before, I decided to use the graphizx tool to visualizing MLIR codes and generated DFGs. The detailed commands are as below

mlir-neura-opt --assign-accelerator --lower-arith-to-neura --fuse-patterns test.mlir > test_fused.mlir
mlir-opt --allow-unregistered-dialect --view-op-graph test_fused.mlir 2> test.dot 
dot -Tpng test.dot -o test.png

Since mlir-opt cannot recognize neura dialects, we only rely on --allow-unregistered-dialect option to handle our dialects. However, it will only take the operation surrounded by quotation marks as neura's operations (e.g., "neura.fmul"). For some other operations (e.g., neura.reserve, neura.ctrl_mov, neura.grant_predicate), mlir-opt will output an error saying that neura.reserve is not an operation of neura so the translation will exit. I do some investigation which says that the difference between neura.xxx and "neura.xxx" is if they have a assembelyformat in the definition of dialect operation.

The solution I came up with:

• Change definitions of neura.reserve, neura.ctrl_mov, which I think may influence their effect in codes (I am not sure assemblyformat will bring what difference)
• Manually design a DFG parser, not rely on mlir-opt. (I have tried in the past several days with the help of AI Coder, and now it can perform some simple codes but still have problems to be tuned.)
• Use a temporary script to convert neura.reserve in MLIR files into a format that muir-opt can recognize.
• Maybe we can let the mlir-opt load the dialect of neura when it tries to visualize neura codes, if we have the dynamic library file for neura. (I don't find it in the current building directory. I tried to generate it but failed)

For option 2 or 3, I am happy to write some codes or scripts to finish it. However, I have a question, these operations seem to be about control, rather than data, so how should I deal with them in the final DFGs. Or how should these operations be displayed in DFGs or I can try to omit them?

[tancheng]

Thanks for investigation, let's discuss tmr~