1 files changed, 10 insertions, 0 deletions
diff --git a/docs/chapter10b/example2b.gv b/docs/chapter10b/example2b.gv
new file mode 100644
index 00000000..4ddd36b5
--- /dev/null
+++ b/docs/chapter10b/example2b.gv
@@ -0,0 +1,10 @@
+digraph Memory {
+  rankdir=RL;
+  node [shape=box];
+  P [label="MemPhi(x)"];
+  B [label="BulkMemPhi(All except x)"];
+  P -> Left [label="slice x",color=blue]; P -> Right [label="slice x",color=blue];
+  B -> Left; B -> Right;
+  P -> Region [style=dashed]; B -> Region [style=dashed];
+  MemMerge -> P [label="x",color=blue]; MemMerge -> B [label="default"];
+}