minxmod/simpleProgram2.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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
digraph {
    1 [label=F];
    2 [label=T];
    3 [label="[0,1|0]=[1,1|0]"];
    4 [label="[0,0|2]=[1,0|1]"];
    5 [label="usage = Step\nord = (ArgOrd OrdLine (OrdLine JmpRet))"];
    6 [label="[0,0,1,1]"];
    7 [label="[0,0,1,0]"];
    8 [label="[0,0,1,1]"];
    9 [label="[0,0,1,0]"];
    10 [label="[1,0,0,1]"];
    11 [label="[0,0,0,1]"];
    12 [label="[0,0,1,0]"];
    13 [label="[1,0,0,1]"];
    14 [label="[0,0,0,1]"];
    15 [label="[1,0,0,0]"];
    16 [label="[0,0|1]=[1,0|1]"];
    17 [label="usage = Step\nord = (ArgOrd OrdLine (OrdLine Insn ...))"];
    18 [label="[1,0,0,1]"];
    19 [label="[0,0,0,1]"];
    20 [label="[1,0,0,0]"];
    21 [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 [color=red];
    6 -> 1 [style=dashed
           ,color=blue];
    7 -> 6 [style=dashed
           ,color=blue];
    7 -> 1 [color=red];
    8 -> 5 [style=dashed
           ,color=blue];
    8 -> 1 [color=red];
    9 -> 8 [style=dashed
           ,color=blue];
    9 -> 1 [color=red];
    10 -> 7 [color=red];
    10 -> 9 [style=dashed
            ,color=blue];
    11 -> 10 [style=dashed
             ,color=blue];
    11 -> 1 [color=red];
    12 -> 8 [color=red];
    12 -> 1 [style=dashed
            ,color=blue];
    13 -> 12 [color=red];
    13 -> 1 [style=dashed
            ,color=blue];
    14 -> 13 [style=dashed
             ,color=blue];
    14 -> 1 [color=red];
    15 -> 11 [color=red];
    15 -> 14 [style=dashed
             ,color=blue];
    16 -> 3 [color=red];
    16 -> 1 [style=dashed
            ,color=blue];
    17 -> 16 [color=red];
    18 -> 17 [style=dashed
             ,color=blue];
    18 -> 1 [color=red];
    19 -> 18 [style=dashed
             ,color=blue];
    19 -> 1 [color=red];
    20 -> 19 [color=red];
    20 -> 1 [style=dashed
            ,color=blue];
    21 -> 15 [color=red];
    21 -> 20 [style=dashed
             ,color=blue];
}