summaryrefslogtreecommitdiff
path: root/chapter11/docs/example1.gv
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2026-10-03 14:03:48 -0700
committerCliff Click <cliffc@acm.org>2026-10-03 14:03:48 -0700
commit22df891893d30e9906d0b14fc3ae5d8e67d500b2 (patch)
tree2bda142f92febc8b26f1cabd4bb0c46d1864f34b /chapter11/docs/example1.gv
parentc3958e34c0de21df52e57e47e4f47ffe6464f138 (diff)
downloadSimple-22df891893d30e9906d0b14fc3ae5d8e67d500b2.tar.gz
Simple-22df891893d30e9906d0b14fc3ae5d8e67d500b2.zip
Chapter renumber, and split ch 17
Renumber chapters 10a, 10b, 11, 12, 13, 14 -> 10, 11, 13, 12, [11,14]. Split ch 17 into a 17a and 17b; shuffle around im/mutable syntax to be consistent, and present it more slowly. THe new immutable syntax is pushed through all later chapters
Diffstat (limited to 'chapter11/docs/example1.gv')
-rw-r--r--chapter11/docs/example1.gv20
1 files changed, 20 insertions, 0 deletions
diff --git a/chapter11/docs/example1.gv b/chapter11/docs/example1.gv
new file mode 100644
index 00000000..5e059d77
--- /dev/null
+++ b/chapter11/docs/example1.gv
@@ -0,0 +1,20 @@
+digraph Memory {
+ // IR styles match graph/web/render.js; arrows are use -> definition.
+ graph [bgcolor="#fafbfc" fontname="Helvetica" nodesep=0.35 ranksep=0.55 splines=ortho];
+ node [fontname="Helvetica" fontsize=12 color="#758191" fontcolor="#152330" shape=box style="rounded,filled" fillcolor="#edf3f7"];
+ edge [fontname="Helvetica" fontsize=9 color="#536477" fontcolor="#364352" arrowsize=0.7 penwidth=1.5];
+
+ rankdir=BT;
+
+ M [label="Initial memory" shape=octagon style="filled" fillcolor="#dcecff"];
+ X [label="Store x = 42" shape=octagon style="filled" fillcolor="#dcecff"];
+ Y [label="Loop: Store y" shape=octagon style="filled" fillcolor="#dcecff"];
+ L [label="Load x (42)" shape=box style="rounded,filled" fillcolor="#edf3f7"];
+ L -> X -> M [color="#2867b2"]; Y -> M [color="#2867b2"];
+ MemMerge -> X [color="#2867b2"]; MemMerge -> Y [color="#2867b2"];
+ Return -> MemMerge [color="#2867b2"]; Return -> L;
+ { rank=same; MemMerge -> L [style=invis]; }
+ Y -> X [style=invis]; // Layout only: keep the stores in code order.
+ Return [shape=box style="filled" fillcolor="#fff1c4"];
+ MemMerge [shape=octagon style="filled" fillcolor="#dcecff"];
+}