minxmod/simpleProgram5.dot at master · mburyakov/minxmod · GitHub

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
digraph {
    1 [label=F];
    2 [label=T];
    3 [label="[0,1|0]=[1,1|0]"];
    4 [label="[0,0|1]=[1,0|1]"];
    5 [label="usage = Step\nord = (ArgOrd OrdLine (OrdLine Jmp begin))"];
    6 [label="[1,0,0,1]"];
    7 [label="[0,0,0,1]"];
    8 [label="[1,0,0,0]"];
    9 [label="[0,1|0]=[1,1|1]"];
    10 [label="[1,1,0,1]"];
    11 [label="[1,1,0,0]"];
    12 [label="[0,0|1]=[1,0|1]"];
    13 [label="usage = Step\nord = (ArgOrd OrdLine (OrdLine Insn ...))"];
    14 [label="[1,0,0,1]"];
    15 [label="[0,0,0,1]"];
    16 [label="[1,0,0,0]"];
    17 [label="[0,0,0,0]"];
    3 -> 1 [style=dashed
           ,color=blue];
    3 -> 2 [color=red];
    4 -> 3 [color=red];
    4 -> 1 [style=dashed
           ,color=blue];
    5 -> 4 [color=red];
    6 -> 5 [style=dashed
           ,color=blue];
    6 -> 1 [color=red];
    7 -> 6 [style=dashed
           ,color=blue];
    7 -> 1 [color=red];
    8 -> 7 [style=dashed
           ,color=blue];
    8 -> 1 [color=red];
    9 -> 1 [style=dashed
           ,color=blue];
    9 -> 2 [color=red];
    10 -> 9 [style=dashed
            ,color=blue];
    10 -> 1 [color=red];
    11 -> 10 [style=dashed
             ,color=blue];
    11 -> 1 [color=red];
    12 -> 11 [color=red];
    12 -> 1 [style=dashed
            ,color=blue];
    13 -> 12 [color=red];
    14 -> 13 [style=dashed
             ,color=blue];
    14 -> 1 [color=red];
    15 -> 14 [style=dashed
             ,color=blue];
    15 -> 1 [color=red];
    16 -> 15 [color=red];
    16 -> 1 [style=dashed
            ,color=blue];
    17 -> 8 [color=red];
    17 -> 16 [style=dashed
             ,color=blue];
}