From 553bc38e3e0ec56eefe4b1f7aae6dc194beffa0e Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Sat, 11 Nov 2023 23:17:22 +0000
Subject: Chapter 6: Peepholes for If
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Dibyendu Majumdar <mobile@majumdar.org.uk>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: Yichen Yan <oraluben@outlook.com>
Co-authored-by: tannal <tannal2409@gmail.com>
Co-authored-by: hadha <helsgithub15@gmail.com>
Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com>
Co-authored-by: Tamas Hadhazy <helsgithub15@gmail.com>
Co-authored-by: Robert Obkircher <robert.obkircher@gmail.com>
---
 docs/chapter06/lattice.gv | 97 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 97 insertions(+)
 create mode 100644 docs/chapter06/lattice.gv

(limited to 'docs/chapter06/lattice.gv')

diff --git a/docs/chapter06/lattice.gv b/docs/chapter06/lattice.gv
new file mode 100644
index 00000000..e5cc59be
--- /dev/null
+++ b/docs/chapter06/lattice.gv
@@ -0,0 +1,97 @@
+digraph Lattice {
+    // Define nodes
+    splines=false;
+    node [shape=circle, style=filled, fillcolor=lightblue];
+    nodesep=0.6;
+
+    TOP [label=<<B>⊤</B >>, fillcolor=black, fontcolor=white];
+    BOT [label=<<B>⊥</B>>, fillcolor=black, fontcolor=white];
+
+    // ----------------------
+    // Control
+    XCTRL [label=<<B>⊤</B >:ctrl>, fillcolor=yellow, shape=oval];
+    CTRL  [label=<<B>⊥</B>:ctrl>, fillcolor=yellow, shape=oval];
+
+    TOP   -> XCTRL;
+    XCTRL -> CTRL;
+    CTRL  -> BOT;
+
+    // ----------------------
+    // Integers
+    INT_TOP [label=<<B>⊤</B >:int>, fillcolor=lightblue, shape=oval];
+    INT_BOT [label=<<B>⊥</B>:int>, fillcolor=lightblue, shape=oval];
+
+    INT_MIN     [label="-n" , fillcolor=lightblue];
+    INT_MINDOTS [label="...", fillcolor=lightblue shape=oval];
+    INT_MINUS   [label="-1" , fillcolor=lightblue];
+    INT_ZERO    [label="0"  , fillcolor=lightblue];
+    INT_PLUS    [label="1"  , fillcolor=lightblue];
+    INT_MAXDOTS [label="...", fillcolor=lightblue, shape=oval];
+    INT_MAX     [label="+n" , fillcolor=lightblue];
+
+    TOP         -> INT_TOP;
+    INT_TOP     -> INT_MIN;
+    INT_TOP     -> INT_MINDOTS;
+    INT_TOP     -> INT_MINUS;
+    INT_TOP     -> INT_ZERO;
+    INT_TOP     -> INT_PLUS;
+    INT_TOP     -> INT_MAXDOTS;
+    INT_TOP     -> INT_MAX;
+    INT_MIN     -> INT_BOT;
+    INT_MINDOTS -> INT_BOT;
+    INT_MINUS   -> INT_BOT;
+    INT_ZERO    -> INT_BOT;
+    INT_PLUS    -> INT_BOT;
+    INT_MAXDOTS -> INT_BOT;
+    INT_MAX     -> INT_BOT;
+    INT_BOT     -> BOT;
+
+    INT_MIN -> INT_MINDOTS -> INT_MINUS -> INT_ZERO -> INT_PLUS -> INT_MAXDOTS -> INT_MAX [style=invis];
+    
+    // ----------------------
+    // Tuples
+
+    TUPLE_TOP [label=<<B>⊤</B >:tuple>, fillcolor=pink, shape=oval];
+    TUPLE_BOT [label=<<B>⊥</B>:tuple>, fillcolor=pink, shape=oval];
+
+    TUPLE1 [shape=none, fillcolor=none, label=<
+      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+        <TH><TD BGCOLOR="pink">tuple</TD></TH>
+        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
+      </TABLE>
+    >];
+    TUPLE2 [shape=none, fillcolor=none, label=<
+      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+        <TH><TD BGCOLOR="pink">tuple</TD></TH>
+        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
+        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
+      </TABLE>
+    >];
+    TUPLEN [shape=none, fillcolor=none, label=<
+      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+        <TH><TD BGCOLOR="pink">tuple</TD></TH>
+        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
+        <TR><TD BGCOLOR="black" ><FONT color="white">...</FONT></TD></TR>
+        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
+      </TABLE>
+    >];
+
+
+    TOP -> TUPLE_TOP;
+    TUPLE_TOP -> TUPLE1;
+    TUPLE_TOP -> TUPLE2;
+    TUPLE_TOP -> TUPLEN;
+    TUPLE1 -> TUPLE_BOT;
+    TUPLE2 -> TUPLE_BOT;
+    TUPLEN -> TUPLE_BOT;
+    TUPLE_BOT -> BOT;
+
+    // Additional customization
+    {rank=same; TOP}
+    {rank=same; XCTRL; INT_TOP; TUPLE_TOP}
+    {rank=same;
+      INT_MIN; INT_MINDOTS; INT_MINUS; INT_ZERO; INT_PLUS; INT_MAXDOTS; INT_MAX;
+    }
+    {rank=same; CTRL; INT_BOT, TUPLE_BOT}
+    {rank=same; BOT;}
+}
-- 
cgit v1.2.3