From 736c658c274404084b15b450b2ab72d0e7569586 Mon Sep 17 00:00:00 2001
From: Dibyendu Majumdar <dibyendumajumdar@users.noreply.github.com>
Date: Fri, 3 Nov 2023 21:21:54 +0000
Subject: Backport changes in Chapter 5 to previous chapters and update
 Chapter5 documentation (#34)

* Backport changes from chapter 5 to older chapters (#30)

* Fix wrong indent

* Backport to chapter 4

* Backport to chapter 3

* Backport to chapter 2

* Backport to chapter 1

* Add if statement to comment (#32)

* Update visuals for chapters 1,2 & 3.
Reenable drawing of edges from constants to Start for these chapters.

* Update visuals for chapters 4.
Revise text to explain the labeling of edges in graphs and that we omit edge from Constant to Start nodes from chapter 4.

* Add code snippets for if statement parsing and the duplication and merging of ScopeNodes.
Explain how scopeNodes are duplicated and merged.

* Add constant check to minus node (#31)

* Fix closing root block with } (#33)

* Backport fix closing root block with } to chapter 4 and 3 (#35)

* Show use-def edge from Phi to Region as dotted edge.
Add example of Phi peephole.
Update visuals.
Add more examples.

* Fix visuals in chapter 1 and README in chapter 4.

* Remove subheading

* Adjust spaces

---------

Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com>
---
 chapter01/docs/01-graph.gv  | 14 ++++++++++----
 chapter01/docs/01-graph.svg | 47 ++++++++++++++++++++++++---------------------
 2 files changed, 35 insertions(+), 26 deletions(-)

(limited to 'chapter01/docs')

diff --git a/chapter01/docs/01-graph.gv b/chapter01/docs/01-graph.gv
index 82d1b40a..df256f52 100644
--- a/chapter01/docs/01-graph.gv
+++ b/chapter01/docs/01-graph.gv
@@ -1,11 +1,17 @@
 digraph chapter01 {
+/*
+return 1;
+*/
 	rankdir=BT;
+	ordering="in";
+	concentrate="true";
 	subgraph cluster_Nodes {
 		Start1 [ shape=box style=filled fillcolor=yellow label="Start" ];
-		Con12 [ label="Con1" ];
+		Con_2 [ label="#1" ];
 		Return3 [ shape=box style=filled fillcolor=yellow label="Return" ];
 	}
-	Con12 -> Start1 [style=dotted];
-	Return3 -> Start1 [color=red];
-	Return3 -> Con12;
+	edge [ fontname=Helvetica, fontsize=8 ];
+	Con_2 -> Start1[taillabel=0 style=dotted];
+	Return3 -> Start1[taillabel=0 color=red];
+	Return3 -> Con_2[taillabel=1];
 }
diff --git a/chapter01/docs/01-graph.svg b/chapter01/docs/01-graph.svg
index 8e478f4d..7f511966 100644
--- a/chapter01/docs/01-graph.svg
+++ b/chapter01/docs/01-graph.svg
@@ -4,50 +4,53 @@
 <!-- Generated by graphviz version 2.43.0 (0)
  -->
 <!-- Title: chapter01 Pages: 1 -->
-<svg width="128pt" height="220pt"
- viewBox="0.00 0.00 128.00 220.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<svg width="114pt" height="220pt"
+ viewBox="0.00 0.00 114.00 220.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 216)">
 <title>chapter01</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-216 124,-216 124,4 -4,4"/>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-216 110,-216 110,4 -4,4"/>
 <g id="clust1" class="cluster">
 <title>cluster_Nodes</title>
-<polygon fill="none" stroke="black" points="8,-8 8,-204 112,-204 112,-8 8,-8"/>
+<polygon fill="none" stroke="black" points="8,-8 8,-204 98,-204 98,-8 8,-8"/>
 </g>
 <!-- Start1 -->
 <g id="node1" class="node">
 <title>Start1</title>
-<polygon fill="yellow" stroke="black" points="83,-196 29,-196 29,-160 83,-160 83,-196"/>
-<text text-anchor="middle" x="56" y="-174.3" font-family="Times,serif" font-size="14.00">Start</text>
+<polygon fill="yellow" stroke="black" points="80,-196 26,-196 26,-160 80,-160 80,-196"/>
+<text text-anchor="middle" x="53" y="-174.3" font-family="Times,serif" font-size="14.00">Start</text>
 </g>
-<!-- Con12 -->
+<!-- Con_2 -->
 <g id="node2" class="node">
-<title>Con12</title>
-<ellipse fill="none" stroke="black" cx="70" cy="-106" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="70" y="-102.3" font-family="Times,serif" font-size="14.00">Con1</text>
+<title>Con_2</title>
+<ellipse fill="none" stroke="black" cx="43" cy="-106" rx="27" ry="18"/>
+<text text-anchor="middle" x="43" y="-102.3" font-family="Times,serif" font-size="14.00">#1</text>
 </g>
-<!-- Con12&#45;&gt;Start1 -->
+<!-- Con_2&#45;&gt;Start1 -->
 <g id="edge1" class="edge">
-<title>Con12&#45;&gt;Start1</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M66.61,-123.95C65.07,-131.65 63.21,-140.97 61.47,-149.64"/>
-<polygon fill="black" stroke="black" points="57.98,-149.23 59.46,-159.72 64.85,-150.61 57.98,-149.23"/>
+<title>Con_2&#45;&gt;Start1</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M45.42,-123.95C46.52,-131.65 47.85,-140.97 49.09,-149.64"/>
+<polygon fill="black" stroke="black" points="45.65,-150.32 50.53,-159.72 52.58,-149.33 45.65,-150.32"/>
+<text text-anchor="middle" x="42.42" y="-126.55" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
 <!-- Return3 -->
 <g id="node3" class="node">
 <title>Return3</title>
-<polygon fill="yellow" stroke="black" points="92,-52 26,-52 26,-16 92,-16 92,-52"/>
-<text text-anchor="middle" x="59" y="-30.3" font-family="Times,serif" font-size="14.00">Return</text>
+<polygon fill="yellow" stroke="black" points="86,-52 20,-52 20,-16 86,-16 86,-52"/>
+<text text-anchor="middle" x="53" y="-30.3" font-family="Times,serif" font-size="14.00">Return</text>
 </g>
 <!-- Return3&#45;&gt;Start1 -->
 <g id="edge2" class="edge">
 <title>Return3&#45;&gt;Start1</title>
-<path fill="none" stroke="red" d="M45.44,-52.03C38.44,-61.91 30.63,-74.95 27,-88 22.71,-103.41 23.04,-108.5 27,-124 29.38,-133.3 33.76,-142.73 38.42,-151"/>
-<polygon fill="red" stroke="red" points="35.54,-153.01 43.69,-159.78 41.54,-149.41 35.54,-153.01"/>
+<path fill="none" stroke="red" d="M64.05,-52.39C69.74,-62.38 76.08,-75.42 79,-88 82.62,-103.59 82.62,-108.41 79,-124 76.9,-133.04 73.03,-142.32 68.91,-150.53"/>
+<polygon fill="red" stroke="red" points="65.69,-149.14 64.05,-159.61 71.86,-152.45 65.69,-149.14"/>
+<text text-anchor="middle" x="61.05" y="-54.99" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
-<!-- Return3&#45;&gt;Con12 -->
+<!-- Return3&#45;&gt;Con_2 -->
 <g id="edge3" class="edge">
-<title>Return3&#45;&gt;Con12</title>
-<path fill="none" stroke="black" d="M61.72,-52.3C62.93,-60.02 64.39,-69.29 65.74,-77.89"/>
-<polygon fill="black" stroke="black" points="62.3,-78.56 67.31,-87.9 69.22,-77.47 62.3,-78.56"/>
+<title>Return3&#45;&gt;Con_2</title>
+<path fill="none" stroke="black" d="M50.53,-52.3C49.43,-60.02 48.1,-69.29 46.87,-77.89"/>
+<polygon fill="black" stroke="black" points="43.39,-77.5 45.44,-87.9 50.32,-78.49 43.39,-77.5"/>
+<text text-anchor="middle" x="47.53" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
 </g>
 </svg>
-- 
cgit v1.2.3