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