1 files changed, 11 insertions, 0 deletions
diff --git a/docs/chapter10a/example2b.gv b/docs/chapter10a/example2b.gv
new file mode 100644
index 00000000..3f3309e5
--- /dev/null
+++ b/docs/chapter10a/example2b.gv
@@ -0,0 +1,11 @@
+digraph Memory {
+  rankdir=RL;
+  node [shape=box];
+  P [label="Phi(memory)"];
+  S [label="Loop-body Store"];
+  P -> Entry [color=blue];
+  P -> S [color=blue,constraint=false]; // Backedge must not place Store before Phi.
+  S -> P [color=blue];
+  P -> Loop [style=dashed]; Return -> P [color=blue];
+  Return -> S [style=invis]; // Layout only: Phi, Store, Return from left to right.
+}