summaryrefslogtreecommitdiff
path: root/docs/chapter13/graph8.gv
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2024-08-05 16:15:27 -0700
committerCliff Click <cliffc@acm.org>2026-10-04 13:30:41 -0700
commita7461df516c39308b458a648a814d91d6ebb1ddf (patch)
treeed11334b7e480ed01ed05595ce9d583406758b06 /docs/chapter13/graph8.gv
parentcb0da9befeb71bada406ebdae660ab01827b0733 (diff)
downloadSimple-a7461df516c39308b458a648a814d91d6ebb1ddf.tar.gz
Simple-a7461df516c39308b458a648a814d91d6ebb1ddf.zip
Chapter 13: Global Code Motion
Co-authored-by: Thalia Archibald <thalia@archibald.dev> Co-authored-by: Dibyendu Majumdar <mobile@majumdar.org.uk> Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com> Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com> Co-authored-by: tannal <tannal2409@gmail.com> Co-authored-by: hadha <helsgithub15@gmail.com> Co-authored-by: fuhsnn <66062782+fuhsnn@users.noreply.github.com> Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com> Co-authored-by: Symious <14933944+symious@users.noreply.github.com> Co-authored-by: RobertObkircher <robert.obkircher@gmail.com> Co-authored-by: Robert Obkircher <robert.obkircher@gmail.com> Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Diffstat (limited to 'docs/chapter13/graph8.gv')
-rw-r--r--docs/chapter13/graph8.gv45
1 files changed, 45 insertions, 0 deletions
diff --git a/docs/chapter13/graph8.gv b/docs/chapter13/graph8.gv
new file mode 100644
index 00000000..442b6843
--- /dev/null
+++ b/docs/chapter13/graph8.gv
@@ -0,0 +1,45 @@
+digraph chapter13 {
+/*
+while (1) {}
+return 0;
+
+*/
+ rankdir=BT;
+ concentrate="true";
+ compound="true";
+ subgraph cluster_Nodes {
+ Never18 [ shape=plaintext label=<
+ <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+ <TR><TD BGCOLOR="yellow">Never</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>>
+ ];
+ 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></TR>
+ </TABLE>
+ </TD></TR>
+ </TABLE>>
+ ];
+ Stop3 [ shape=box style=filled fillcolor=yellow label="Stop" ];
+ Con_4 [ label="#0" ];
+ Return21 [ shape=box style=filled fillcolor=yellow label="Return" ];
+ Loop8 [ shape=box style=filled fillcolor=yellow label="Loop" ];
+ { rank=same; Loop8;}
+ }
+ edge [ fontname=Helvetica, fontsize=8 ];
+ Never18 -> Loop8[taillabel=0 color=red];
+ Never18 -> Con_4[taillabel=1];
+ Stop3 -> Return21[taillabel=0 color=red];
+ Return21 -> Never18:p0[taillabel=0 color=red];
+ Return21 -> Con_4[taillabel=2];
+ Loop8 -> Start2:p0[taillabel=1 color=red];
+ Loop8 -> Never18:p1[taillabel=2 color=red constraint=false];
+}