fib.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/>n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,b<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>>; shape = component];
  Jump0 -> Block0;
  Jump1_7[
    label = <<font color="#ff4411" point-size="8"><sup>q1</sup></font>ForLoopTop.1_7>;
    shape = house; style = filled;
    fillcolor = 1;
  ];
  Block0 -> Jump1_7 [label=<a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@c<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,b<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>>; fontcolor=1];
  Jump1_7 -> Block0_4 [label = <!@c<font color="#999999" point-size="8"><sub>a</sub></font>>];
  Jump1_8 -> Jump1_7 [constraint = false; color = 1];
  Jump1_7 -> Block1_5 [label = <@c<font color="#999999" point-size="8"><sub>a</sub></font>>];
  Jump1_8[
    label = <<font color="#ff4411" point-size="8"><sup>q3</sup></font>ForLoopBottom.1_8>
    shape = invhouse; style = filled;
    fillcolor = 1;
  ];
  Block0_4 -> Jump1_8 [label=<@h<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@c<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>>; fontcolor=1];
  Jump2_4_9[label = <<font color="#ff4411" point-size="8"><sup>q5</sup></font>Return.2_4_9>; shape = lpromoter];
  Block1_5 -> Jump2_4_9 [label=<a<font color="#999999" point-size="8"><sub>a</sub></font>>];
  Block0 [label = "Block0"];
  Block0_4 [label = "Block0_4"];
  Block1_5 [label = "Block1_5"];
  subgraph cluster_dfg_Block0 {
    node [shape = oval];
    label = <Block0<br/>(n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,b<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font><br/>=&gt;<br/>n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,b<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@c<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>)>;
    8 [label=<<font color="#ff4411" point-size="8"><sup>q1</sup></font>@c<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>:n<font color="#999999" point-size="8"><sub>a</sub></font>==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>0<font color="#00aa11" point-size="8"><sup>U1</sup></font>>];
  }
  subgraph cluster_dfg_Block0_4 {
    node [shape = oval];
    label = <Block0_4<br/>(n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,b<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font><br/>=&gt;<br/>@h<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@c<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>)>;
    9 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U6</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:n<font color="#999999" point-size="8"><sub>a</sub></font>-<font color="#3311ff" point-size="8"><sup>Bin1</sup></font>1<font color="#00aa11" point-size="8"><sup>U1</sup></font>>];
    10 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>@h<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>:a<font color="#999999" point-size="8"><sub>a</sub></font>+<font color="#3311ff" point-size="8"><sup>Bin2</sup></font>b<font color="#999999" point-size="8"><sub>a</sub></font>>];
    11 [label=<<font color="#ff4411" point-size="8"><sup>q3</sup></font>@c<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>:@k<font color="#999999" point-size="8"><sub>a</sub></font>==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>0<font color="#00aa11" point-size="8"><sup>U1</sup></font>>];
    9 -> 11;
  }
  subgraph cluster_dfg_Block1_5 {
    node [shape = oval];
    label = <Block1_5<br/>(a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font><br/>=&gt;<br/>a<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U32</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>)>;
    12 [label=<<font color="#ff4411" point-size="8"><sup>q5</sup></font>nop>];
  }
}