summaryrefslogtreecommitdiff
path: root/docs/chapter11/example2b.gv
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2024-06-30 01:58:08 +0100
committerCliff Click <cliffc@acm.org>2026-10-08 16:52:27 -0700
commit1659b2591654acd3679c2779fd62281e496fdaf6 (patch)
tree82cb6d11ee31e58b38b8e3eab0141d336501ba1a /docs/chapter11/example2b.gv
parent2a643205cc0b4adff394c6bed272e4b9f158f89f (diff)
downloadSimple-1659b2591654acd3679c2779fd62281e496fdaf6.tar.gz
Simple-1659b2591654acd3679c2779fd62281e496fdaf6.zip
Chapter 11: Splitting Memory
Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com> Co-authored-by: Dibyendu Majumdar <mobile@majumdar.org.uk> Co-authored-by: Thalia Archibald <thalia@archibald.dev> Co-authored-by: Tamás Hadházy <85063808+Hels15@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: 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: Jun Kawasaki <jun784@gmail.com> Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Diffstat (limited to 'docs/chapter11/example2b.gv')
-rw-r--r--docs/chapter11/example2b.gv19
1 files changed, 19 insertions, 0 deletions
diff --git a/docs/chapter11/example2b.gv b/docs/chapter11/example2b.gv
new file mode 100644
index 00000000..39b87a6a
--- /dev/null
+++ b/docs/chapter11/example2b.gv
@@ -0,0 +1,19 @@
+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=RL;
+
+ P [label="MemPhi(x)" shape=hexagon style="filled" fillcolor="#f5e4fa"];
+ B [label="BulkMemPhi(All except x)" shape=hexagon style="filled" fillcolor="#f5e4fa"];
+ P -> Left [xlabel="slice x",color="#2867b2"]; P -> Right [xlabel="slice x",color="#2867b2"];
+ B -> Left [color="#2867b2"]; B -> Right [color="#2867b2"];
+ P -> Region [style=dashed,color="#9396a3"]; B -> Region [style=dashed,color="#9396a3"];
+ MemMerge -> P [xlabel="x",color="#2867b2"]; MemMerge -> B [xlabel="default",color="#2867b2"];
+ MemMerge [shape=octagon style="filled" fillcolor="#dcecff"];
+ Left [shape=octagon style="filled" fillcolor="#dcecff"];
+ Right [shape=octagon style="filled" fillcolor="#dcecff"];
+ Region [shape=trapezium style="filled" fillcolor="#fff1c4"];
+}