blob: 3abd64553c616424ca792e7f2108651f2e9ac57f (
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
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
|
digraph chapter05 {
/*
int a=arg+1;
int b=arg+2;
if( arg==1 )
b=b+a;
else
a=b+1;
return a+b;
*/
rankdir=BT;
ordering="in";
concentrate="true";
subgraph cluster_Nodes {
Start2 [ shape=plaintext label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
<TR><TD BGCOLOR="yellow">Start</TD></TR>
<TR><TD>
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD PORT="p0" BGCOLOR="yellow">$ctrl</TD><TD PORT="p1">arg</TD></TR>
</TABLE>
</TD></TR>
</TABLE>>
];
Stop3 [ shape=box style=filled fillcolor=yellow label="Stop" ];
Phi_b37 [ style=filled fillcolor=lightyellow label="φ_b" ];
Con_10 [ label="#1" ];
Add42 [ label="+" ];
EQNode11 [ label="==" ];
If12 [ shape=plaintext label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
<TR><TD BGCOLOR="yellow">If</TD></TR>
<TR><TD>
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD PORT="p0" BGCOLOR="yellow">True</TD><TD PORT="p1" BGCOLOR="yellow">False</TD></TR>
</TABLE>
</TD></TR>
</TABLE>>
];
Con_46 [ label="#4" ];
Con_48 [ label="#5" ];
Phi_ab49 [ style=filled fillcolor=lightyellow label="φ_ab" ];
Add50 [ label="+" ];
Con_19 [ label="#2" ];
Return51 [ shape=box style=filled fillcolor=yellow label="Return" ];
Mul20 [ label="*" ];
Region31 [ shape=box style=filled fillcolor=yellow label="Region" ];
{ rank=same; Region31;Phi_b37;Phi_ab49;}
}
edge [ fontname=Helvetica, fontsize=8 ];
Stop3 -> Return51[taillabel=0 color=red];
Phi_b37 -> Region31 [style=dotted taillabel=0];
Phi_b37 -> Mul20[taillabel=1];
Phi_b37 -> Start2:p1[taillabel=2];
Add42 -> Phi_b37[taillabel=1];
Add42 -> Start2:p1[taillabel=2];
EQNode11 -> Start2:p1[taillabel=1];
EQNode11 -> Con_10[taillabel=2];
If12 -> Start2:p0[taillabel=0 color=red];
If12 -> EQNode11[taillabel=1];
Phi_ab49 -> Region31 [style=dotted taillabel=0];
Phi_ab49 -> Con_46[taillabel=1];
Phi_ab49 -> Con_48[taillabel=2];
Add50 -> Add42[taillabel=1];
Add50 -> Phi_ab49[taillabel=2];
Return51 -> Region31[taillabel=0 color=red];
Return51 -> Add50[taillabel=1];
Mul20 -> Start2:p1[taillabel=1];
Mul20 -> Con_19[taillabel=2];
Region31 -> If12:p0[taillabel=1 color=red];
Region31 -> If12:p1[taillabel=2 color=red];
}
|
