blob: a625a1a0026fa254c52bd1753c217ef33ba7a4fc (
plain)
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
|
digraph block {
N0[label="entry"];
N1[label="exit"];
N2[label="expr 2u"];
N3[label="expr 0u"];
N4[label="expr 20u"];
N5[label="expr [2u, 0u, 20u]"];
N6[label="local v"];
N7[label="stmt let v = [2u, 0u, 20u];"];
N8[label="expr v"];
N9[label="expr 20u"];
N10[label="expr v[20u]"];
N11[label="stmt v[20u];"];
N12[label="block { let v = [2u, 0u, 20u]; v[20u]; }"];
N0 -> N2;
N2 -> N3;
N3 -> N4;
N4 -> N5;
N5 -> N6;
N6 -> N7;
N7 -> N8;
N8 -> N9;
N9 -> N10;
N10 -> N11;
N11 -> N12;
N12 -> N1;
}
|