mlir/test/Transforms/print-op-graph-back-edges.mlir

   1 // RUN: mlir-opt -view-op-graph %s -o %t 2>&1 | FileCheck -check-prefix=DFG %s
   2
   3 // DFG-LABEL: digraph G {
   4 //       DFG:   compound = true;
   5 //       DFG:   subgraph cluster_1 {
   6 //       DFG:     v2 [label = " ", shape = plain];
   7 //       DFG:     label = "builtin.module : ()\n";
   8 //       DFG:     subgraph cluster_3 {
   9 //       DFG:       v4 [label = " ", shape = plain];
  10 //       DFG:       label = "";
  11 //       DFG:       v5 [fillcolor = "0.000000 1.0 1.0", label = "arith.addi : (index)\n\noverflowFlags: #arith.overflow<none...", shape = ellipse, style = filled];
  12 //       DFG:       v6 [fillcolor = "0.333333 1.0 1.0", label = "arith.constant : (index)\n\nvalue: 0 : index", shape = ellipse, style = filled];
  13 //       DFG:       v7 [fillcolor = "0.333333 1.0 1.0", label = "arith.constant : (index)\n\nvalue: 1 : index", shape = ellipse, style = filled];
  14 //       DFG:     }
  15 //       DFG:   }
  16 //       DFG:   v6 -> v5 [label = "0", style = solid];
  17 //       DFG:   v7 -> v5 [label = "1", style = solid];
  18 //       DFG: }
  19
  20 module {
  21   %add = arith.addi %c0, %c1 : index
  22   %c0 = arith.constant 0 : index
  23   %c1 = arith.constant 1 : index
  24 }