complexIf2.srp.dot

digraph Program_ {
  graph [fontname = "Monaco", fontsize = 12, ranksep = 0.5];
  node [shape = box, fontname = "Monaco", fontsize = 11; colorscheme = pastel19];
  edge [fontname = "Monaco", fontsize = 11; colorscheme = pastel19];
  Jump0[label = <<font color="#ff4411" point-size="8"><sup>q0</sup></font>StartFun.0<br/>i<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>>; shape = component];
  Jump0 -> Block0;
  Jump1[
    label = <<font color="#ff4411" point-size="8"><sup>q1</sup></font>Branch.1>;
    shape = trapezium; style = rounded;
  ];
  Block0 -> Jump1;
  Jump1 -> Block1 [label=<@d>];
  Jump1 -> Block2 [label=<!@d>];
  Jump2[label = <<font color="#ff4411" point-size="8"><sup>q3|q4</sup></font>Merge.2>; shape = invtrapezium; style = rounded];
  Block1 -> Jump2 [label=<b>];
  Block2 -> Jump2 [label=<i>];
  Jump2 -> Block3 [label=<@i>];
  Jump3[label = <<font color="#ff4411" point-size="8"><sup>q5</sup></font>Return.3>; shape = lpromoter];
  Block3 -> Jump3 [label=<@j>];
  Block0 [label = "Block0"];
  Block1 [label = "Block1"];
  Block2 [label = "Block2"];
  Block3 [label = "Block3"];
  subgraph cluster_dfg_Block0 {
    node [shape = oval];
    label = <Block0<br/>(i<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font><br/>=&gt;<br/>@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,i<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,@d<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>)>;
    0 [label=<<font color="#ff4411" point-size="8"><sup>q1</sup></font>@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>:1>];
    2 [label=<<font color="#ff4411" point-size="8"><sup>q1</sup></font>@d<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>:i==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>0<font color="#00aa11" point-size="8"><sup>U1</sup></font>>];
  }
  subgraph cluster_dfg_Block1 {
    node [shape = oval];
    label = <Block1<br/>(@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,i<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font><br/>=&gt;<br/>@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,b<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>)>;
    3 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>b<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>:2>];
    4 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>@e<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>:0>];
    5 [label=<<font color="#ff4411" point-size="8"><sup>q3</sup></font>a[@e&#93;=i>];
    4 -> 5;
  }
  subgraph cluster_dfg_Block2 {
    node [shape = oval];
    label = <Block2<br/>(@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,i<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font><br/>=&gt;<br/>@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,i<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
    6 [label=<<font color="#ff4411" point-size="8"><sup>q4</sup></font>nop>];
  }
  subgraph cluster_dfg_Block3 {
    node [shape = oval];
    label = <Block3<br/>(@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@i<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font><br/>=&gt;<br/>@j<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
    7 [label=<<font color="#ff4411" point-size="8"><sup>q5</sup></font>@j<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:1<font color="#00aa11" point-size="8"><sup>U2</sup></font>+<font color="#3311ff" point-size="8"><sup>Bin1</sup></font>@i>];
  }
}