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 pathnorm2.srp.dot
116 lines (116 loc) · 31.6 KB
/
norm2.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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
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="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>>; shape = component];
Jump0 -> Block0;
Jump1_7[
label = <<font color="#ff4411" point-size="8"><sup>q1</sup></font>Branch.1_7>;
shape = trapezium; style = rounded;
];
Block0 -> Jump1_7;
Jump1_7 -> Block1_7 [label=<@c<font color="#999999" point-size="8"><sub>a</sub></font>>];
Jump1_7 -> Block0_4 [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>Branch.1_8>;
shape = trapezium; style = rounded;
];
Block0_4 -> Jump1_8;
Jump1_8 -> Block1_8 [label=<@c<font color="#999999" point-size="8"><sub>b</sub></font>>];
Jump1_8 -> Block0_5 [label=<!@c<font color="#999999" point-size="8"><sub>b</sub></font>>];
Jump1_9[
label = <<font color="#ff4411" point-size="8"><sup>q7</sup></font>ForLoopTop.1_9>;
shape = house; style = filled;
fillcolor = 1;
];
Block0_5 -> Jump1_9 [label=<@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>r6</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>r8</sup></font>,@j<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r?</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@j<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>,a64<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r?</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>,@k<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r15</sup></font>,@n<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r10</sup></font>,a64<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r11</sup></font>,@i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>,@c<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r12</sup></font>>; fontcolor=1];
Jump1_9 -> Block0_6 [label = <!@c<font color="#999999" point-size="8"><sub>c</sub></font>>];
Jump1_10 -> Jump1_9 [constraint = false; color = 1];
Jump1_9 -> Block1_9 [label = <@c<font color="#999999" point-size="8"><sub>c</sub></font>>];
Jump1_10[
label = <<font color="#ff4411" point-size="8"><sup>q13</sup></font>ForLoopBottom.1_10>
shape = invhouse; style = filled;
fillcolor = 1;
];
Block0_6 -> Jump1_10 [label=<@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>r8</sup></font>,@c<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r12</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>,@n<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r10</sup></font>,@j<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</sup></font>,@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@i<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r11</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,@n<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r6</sup></font>,a64<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>,@c<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>>; fontcolor=1];
Jump2_4_11[label = <<font color="#ff4411" point-size="8"><sup>q5</sup></font>Return.2_4_11>; shape = lpromoter];
Block1_7 -> Jump2_4_11 [label=<acc<font color="#999999" point-size="8"><sub>a</sub></font>>];
Jump2_4_12[label = <<font color="#ff4411" point-size="8"><sup>q10</sup></font>Return.2_4_12>; shape = lpromoter];
Block1_8 -> Jump2_4_12 [label=<@k<font color="#999999" point-size="8"><sub>a</sub></font>>];
Jump2_4_13[label = <<font color="#ff4411" point-size="8"><sup>q16</sup></font>Return.2_4_13>; shape = lpromoter];
Block1_9 -> Jump2_4_13 [label=<@k<font color="#999999" point-size="8"><sub>b</sub></font>>];
Block0 [label = "Block0"];
Block0_4 [label = "Block0_4"];
Block0_5 [label = "Block0_5"];
Block0_6 [label = "Block0_6"];
Block1_7 [label = "Block1_7"];
Block1_8 [label = "Block1_8"];
Block1_9 [label = "Block1_9"];
subgraph cluster_dfg_Block0 {
node [shape = oval];
label = <Block0<br/>(@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font><br/>=><br/>@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</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>r6</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>)>;
13 [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>r6</sup></font>:i<font color="#999999" point-size="8"><sub>a</sub></font>==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>1000<font color="#00aa11" point-size="8"><sup>U10</sup></font>>];
}
subgraph cluster_dfg_Block0_4 {
node [shape = oval];
label = <Block0_4<br/>(@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font><br/>=><br/>@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</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>r8</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>)>;
14 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>:i<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>>];
17 [label=<<font color="#ff4411" point-size="8"><sup>q3</sup></font>@i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>:a[]>];
18 [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>r8</sup></font>:@n<font color="#999999" point-size="8"><sub>a</sub></font>==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>1000<font color="#00aa11" point-size="8"><sup>U10</sup></font>>];
16 [label=<<font color="#ff4411" point-size="8"><sup>q3</sup></font>req a[i<font color="#999999" point-size="8"><sub>a</sub></font>]>];
15 [label=<<font color="#ff4411" point-size="8"><sup>q2</sup></font>req a[i<font color="#999999" point-size="8"><sub>a</sub></font>]>];
14 -> 18;
}
subgraph cluster_dfg_Block0_5 {
node [shape = oval];
label = <Block0_5<br/>(@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</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>r8</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font><br/>=><br/>@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>,@c<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r12</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>r8</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@n<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r10</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</sup></font>,@j<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>)>;
20 [label=<<font color="#ff4411" point-size="8"><sup>q6</sup></font>a64<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r11</sup></font>:a[]>];
21 [label=<<font color="#ff4411" point-size="8"><sup>q6</sup></font>@n<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r10</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>>];
22 [label=<<font color="#ff4411" point-size="8"><sup>q6</sup></font>req a[@n<font color="#999999" point-size="8"><sub>a</sub></font>]>];
24 [label=<<font color="#ff4411" point-size="8"><sup>q7</sup></font>req a[@n<font color="#999999" point-size="8"><sub>a</sub></font>]>];
25 [label=<<font color="#ff4411" point-size="8"><sup>q7</sup></font>@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>:a[]>];
26 [label=<<font color="#ff4411" point-size="8"><sup>q7</sup></font>@c<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r12</sup></font>:@n<font color="#999999" point-size="8"><sub>b</sub></font>==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>1000<font color="#00aa11" point-size="8"><sup>U10</sup></font>>];
23 [label=<<font color="#ff4411" point-size="8"><sup>q7</sup></font>@j<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>:a64<font color="#999999" point-size="8"><sub>a</sub></font>*<font color="#3311ff" point-size="8"><sup>Bin2</sup></font>@i<font color="#999999" point-size="8"><sub>a</sub></font>>];
20 -> 23;
21 -> 26;
}
subgraph cluster_dfg_Block0_6 {
node [shape = oval];
label = <Block0_6<br/>(@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>,@c<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r12</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>r8</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@n<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r10</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</sup></font>,@j<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font><br/>=><br/>@k<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r2</sup></font>,@c<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>,@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>,@i<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r11</sup></font>,@c<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r12</sup></font>,@n<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r10</sup></font>,@j<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>,@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,a64<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r4</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>r8</sup></font>,@j<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r5</sup></font>,@n<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r7</sup></font>,@k<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r3</sup></font>,a64<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>,@n<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r6</sup></font>)>;
37 [label=<<font color="#ff4411" point-size="8"><sup>q13</sup></font>@c<font color="#999999" point-size="8"><sub>d</sub></font><font color="#00aa11" point-size="8"><sup>U1</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>:@n<font color="#999999" point-size="8"><sub>c</sub></font>==<font color="#3311ff" point-size="8"><sup>Bin0</sup></font>1000<font color="#00aa11" point-size="8"><sup>U10</sup></font>>];
33 [label=<<font color="#ff4411" point-size="8"><sup>q12</sup></font>req a[@n<font color="#999999" point-size="8"><sub>b</sub></font>]>];
35 [label=<<font color="#ff4411" point-size="8"><sup>q13</sup></font>req a[@n<font color="#999999" point-size="8"><sub>b</sub></font>]>];
31 [label=<<font color="#ff4411" point-size="8"><sup>q12</sup></font>a64<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:a[]>];
32 [label=<<font color="#ff4411" point-size="8"><sup>q12</sup></font>@n<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>U10</sup></font><font color="#3311ff" point-size="8"><sup>r6</sup></font>:@n<font color="#999999" point-size="8"><sub>b</sub></font>+<font color="#3311ff" point-size="8"><sup>Bin1</sup></font>1<font color="#00aa11" point-size="8"><sup>U1</sup></font>>];
34 [label=<<font color="#ff4411" point-size="8"><sup>q13</sup></font>@j<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>:a64<font color="#999999" point-size="8"><sub>b</sub></font>*<font color="#3311ff" point-size="8"><sup>Bin2</sup></font>@i<font color="#999999" point-size="8"><sub>b</sub></font>>];
36 [label=<<font color="#ff4411" point-size="8"><sup>q13</sup></font>@i<font color="#999999" point-size="8"><sub>c</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r11</sup></font>:a[]>];
30 [label=<<font color="#ff4411" point-size="8"><sup>q12</sup></font>@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>:acc<font color="#999999" point-size="8"><sub>a</sub></font>+<font color="#3311ff" point-size="8"><sup>Bin3</sup></font>@j<font color="#999999" point-size="8"><sub>a</sub></font>>];
31 -> 34;
32 -> 37;
}
subgraph cluster_dfg_Block1_7 {
node [shape = oval];
label = <Block1_7<br/>(acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font><br/>=><br/>acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>)>;
19 [label=<<font color="#ff4411" point-size="8"><sup>q5</sup></font>nop>];
}
subgraph cluster_dfg_Block1_8 {
node [shape = oval];
label = <Block1_8<br/>(@i<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font><br/>=><br/>@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>)>;
27 [label=<<font color="#ff4411" point-size="8"><sup>q8</sup></font>a64<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r11</sup></font>:a[]>];
28 [label=<<font color="#ff4411" point-size="8"><sup>q9</sup></font>@j<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font>:a64<font color="#999999" point-size="8"><sub>a</sub></font>*<font color="#3311ff" point-size="8"><sup>Bin2</sup></font>@i<font color="#999999" point-size="8"><sub>a</sub></font>>];
29 [label=<<font color="#ff4411" point-size="8"><sup>q10</sup></font>@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>:acc<font color="#999999" point-size="8"><sub>a</sub></font>+<font color="#3311ff" point-size="8"><sup>Bin3</sup></font>@j<font color="#999999" point-size="8"><sub>a</sub></font>>];
27 -> 28;
28 -> 29;
}
subgraph cluster_dfg_Block1_9 {
node [shape = oval];
label = <Block1_9<br/>(@i<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S27</sup></font><font color="#3311ff" point-size="8"><sup>r14</sup></font>,acc<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>,@j<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r13</sup></font><br/>=><br/>@k<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r15</sup></font>)>;
38 [label=<<font color="#ff4411" point-size="8"><sup>q14</sup></font>@k<font color="#999999" point-size="8"><sub>a</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r1</sup></font>:acc<font color="#999999" point-size="8"><sub>a</sub></font>+<font color="#3311ff" point-size="8"><sup>Bin3</sup></font>@j<font color="#999999" point-size="8"><sub>a</sub></font>>];
39 [label=<<font color="#ff4411" point-size="8"><sup>q14</sup></font>a64<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r0</sup></font>:a[]>];
40 [label=<<font color="#ff4411" point-size="8"><sup>q15</sup></font>@j<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r9</sup></font>:a64<font color="#999999" point-size="8"><sub>b</sub></font>*<font color="#3311ff" point-size="8"><sup>Bin2</sup></font>@i<font color="#999999" point-size="8"><sub>b</sub></font>>];
41 [label=<<font color="#ff4411" point-size="8"><sup>q16</sup></font>@k<font color="#999999" point-size="8"><sub>b</sub></font><font color="#00aa11" point-size="8"><sup>S64</sup></font><font color="#3311ff" point-size="8"><sup>r15</sup></font>:@k<font color="#999999" point-size="8"><sub>a</sub></font>+<font color="#3311ff" point-size="8"><sup>Bin3</sup></font>@j<font color="#999999" point-size="8"><sub>b</sub></font>>];
38 -> 41;
39 -> 40;
40 -> 41;
}
}