blob: d2c819a8492aab33fd60bd97d4e81cf0bebfdba6 (
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
73
74
75
76
77
|
digraph chapter05 {
/*
int a = 1;
if (arg == 1)
a = arg+2;
else {
a = arg-3;
#showGraph;
}
return a;
#showGraph;
*/
rankdir=BT;
subgraph cluster_Nodes {
Start1 [ 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>>
];
Con_5 [ label="#1" ];
EQNode6 [ label="EQNode" ];
If7 [ 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_11 [ label="#2" ];
Add12 [ label="Add" ];
Con_13 [ label="#3" ];
Sub14 [ label="Sub" ];
Region15 [ shape=box style=filled fillcolor=yellow label="Region" ];
Phi16 [ label="Phi" ];
Return17 [ shape=box style=filled fillcolor=yellow label="Return" ];
}
node [shape=plaintext];
subgraph cluster_Scope20_0 {
Scope20_0 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD BGCOLOR="cyan">0</TD><TD PORT="Scope20_0_$ctrl">$ctrl</TD><TD PORT="Scope20_0_arg">arg</TD></TR>
</TABLE>>];
subgraph cluster_Scope20_1 {
Scope20_1 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD BGCOLOR="cyan">1</TD><TD PORT="Scope20_1_a">a</TD></TR>
</TABLE>>];
}
}
EQNode6 -> Start1:p1;
EQNode6 -> Con_5;
If7 -> Start1:p0 [color=red];
If7 -> EQNode6;
Add12 -> Start1:p1;
Add12 -> Con_11;
Sub14 -> Start1:p1;
Sub14 -> Con_13;
Region15 -> If7:p0 [color=red];
Region15 -> If7:p1 [color=red];
Phi16 -> Region15 [color=red];
Phi16 -> Add12;
Phi16 -> Sub14;
Return17 -> Region15 [color=red];
Return17 -> Phi16;
edge [style=dashed color=cornflowerblue];
Scope20_0:"Scope20_0_arg" -> Start1:p1;
Scope20_1:"Scope20_1_a" -> Phi16;
}
|
