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 pathdependencyTest.srp.dot
73 lines (73 loc) · 6.06 KB
/
dependencyTest.srp.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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
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>S64</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>q7</sup></font>Branch.1>;
shape = trapezium; style = rounded;
];
Block0 -> Jump1;
Jump1 -> Block1 [label=<@k>];
Jump1 -> Block2 [label=<!@k>];
Jump2[label = <<font color="#ff4411" point-size="8"><sup>q10|q13</sup></font>Merge.2>; shape = invtrapezium; style = rounded];
Block1 -> Jump2 [label=<@o>];
Block2 -> Jump2 [label=<@s>];
Jump2 -> Block3 [label=<@t>];
Jump3[label = <<font color="#ff4411" point-size="8"><sup>q16</sup></font>Return.3>; shape = lpromoter];
Block3 -> Jump3 [label=<@v>];
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>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font><br/>=><br/>zero<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@k<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
0 [label=<<font color="#ff4411" point-size="8"><sup>q1</sup></font>zero<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>q5</sup></font>req a[zero]>];
1 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>a[zero]=i>];
6 [label=<<font color="#ff4411" point-size="8"><sup>q6</sup></font>@i<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:a[]>];
2 [label=<<font color="#ff4411" point-size="8"><sup>q1</sup></font>@d<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>:1>];
3 [label=<<font color="#ff4411" point-size="8"><sup>q3</sup></font>a[zero]=@d>];
8 [label=<<font color="#ff4411" point-size="8"><sup>q7</sup></font>@k<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:@i>=<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>0<font color="#00aa11" point-size="8"><sup>S1</sup></font>>];
4 [label=<<font color="#ff4411" point-size="8"><sup>q4</sup></font>a[zero]=i>];
0 -> 1;
0 -> 3;
0 -> 4;
0 -> 5;
2 -> 3;
6 -> 8;
1 -> 3 [style = dotted];
3 -> 4 [style = dotted];
4 -> 5 [style = dotted];
5 -> 6 [style = solid];
}
subgraph cluster_dfg_Block1 {
node [shape = oval];
label = <Block1<br/>(zero<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font><br/>=><br/>zero<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@o<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
10 [label=<<font color="#ff4411" point-size="8"><sup>q9</sup></font>@m<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:a[]>];
9 [label=<<font color="#ff4411" point-size="8"><sup>q8</sup></font>req a[zero]>];
12 [label=<<font color="#ff4411" point-size="8"><sup>q10</sup></font>@o<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:@m*<font color="#3311ff" point-size="8"><sup>Bin1</sup></font>2<font color="#00aa11" point-size="8"><sup>S64</sup></font>>];
10 -> 12;
9 -> 10 [style = solid];
}
subgraph cluster_dfg_Block2 {
node [shape = oval];
label = <Block2<br/>(zero<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font><br/>=><br/>zero<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@s<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
14 [label=<<font color="#ff4411" point-size="8"><sup>q12</sup></font>@q<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:a[]>];
13 [label=<<font color="#ff4411" point-size="8"><sup>q11</sup></font>req a[zero]>];
16 [label=<<font color="#ff4411" point-size="8"><sup>q13</sup></font>@s<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:@q*<font color="#3311ff" point-size="8"><sup>Bin1</sup></font>-3<font color="#00aa11" point-size="8"><sup>S64</sup></font>>];
14 -> 16;
13 -> 14 [style = solid];
}
subgraph cluster_dfg_Block3 {
node [shape = oval];
label = <Block3<br/>(zero<font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@t<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font><br/>=><br/>@v<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>)>;
17 [label=<<font color="#ff4411" point-size="8"><sup>q14</sup></font>a[zero]=@t>];
19 [label=<<font color="#ff4411" point-size="8"><sup>q16</sup></font>@v<font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:a[]>];
18 [label=<<font color="#ff4411" point-size="8"><sup>q15</sup></font>req a[zero]>];
17 -> 18 [style = dotted];
18 -> 19 [style = solid];
}
}