This repository has been archived by the owner on Apr 7, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcomplexIf.dot
48 lines (48 loc) · 4.6 KB
/
complexIf.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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=<@h>];
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/>=><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/>=><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>r3</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>r3</sup></font>:1>];
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>r2</sup></font>:0>];
5 [label=<<font color="#ff4411" point-size="8"><sup>q3</sup></font>a[@e]=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><br/>=><br/>@a<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@h<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
6 [label=<<font color="#ff4411" point-size="8"><sup>q4</sup></font>@h<font color="#00aa11" point-size="8"><sup>U2</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:2>];
}
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/>=><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>];
}
}