diff options
| -rw-r--r-- | chapter05/README.md | 6 | ||||
| -rw-r--r-- | chapter05/docs/05-graph3.gv | 66 |
2 files changed, 72 insertions, 0 deletions
diff --git a/chapter05/README.md b/chapter05/README.md index 32f57fea..bd3de18b 100644 --- a/chapter05/README.md +++ b/chapter05/README.md @@ -147,6 +147,12 @@ Below is the graph after we created a `Region` node and merged the two definitio * `a` is now bound to the `Phi` node. * The `Phi` node's inputs are the `Region` node and the `Add` node from the `True` branch, and `Sub` node from the `False` branch. +### Finally + +Here is the graph after the `return` statement. + + + ## References <a id="1">[1]</a> Click, C. (1995). diff --git a/chapter05/docs/05-graph3.gv b/chapter05/docs/05-graph3.gv new file mode 100644 index 00000000..a09fcca5 --- /dev/null +++ b/chapter05/docs/05-graph3.gv @@ -0,0 +1,66 @@ +digraph chapter05 { +/* +int a = 1; +if (arg == 1) + a = arg+2; +else { + a = arg-3; + #showGraph; +} +#showGraph; +return a; + +*/ + 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" ]; + Con_7 [ label="#1" ]; + EQNode8 [ label="==" ]; + If9 [ 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_13 [ label="#2" ]; + Add14 [ label="+" ]; + Con_15 [ label="#3" ]; + Sub16 [ label="-" ]; + Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; + Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; + Return19 [ shape=box style=filled fillcolor=yellow label="Return" ]; + { rank=same; Phi_a18;} + } + Stop3 -> Return19 [color=red]; + EQNode8 -> Start2:p1; + EQNode8 -> Con_7; + If9 -> Start2:p0 [color=red]; + If9 -> EQNode8; + Add14 -> Start2:p1; + Add14 -> Con_13; + Sub16 -> Start2:p1; + Sub16 -> Con_15; + Region17 -> If9:p0 [color=red]; + Region17 -> If9:p1 [color=red]; + Phi_a18 -> Region17 [color=red]; + Phi_a18 -> Add14; + Phi_a18 -> Sub16; + Return19 -> Region17 [color=red]; + Return19 -> Phi_a18; +} |