From b475b072b38db7f46406ed6128fffe3e15a6e7ac Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Tue, 29 Sep 2026 13:08:30 -0700
Subject: forward port lazy memory to ch11

---
 chapter11/docs/graph3.gv | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

(limited to 'chapter11/docs/graph3.gv')

diff --git a/chapter11/docs/graph3.gv b/chapter11/docs/graph3.gv
index c47ac565..d89d0ed4 100644
--- a/chapter11/docs/graph3.gv
+++ b/chapter11/docs/graph3.gv
@@ -18,11 +18,12 @@ return i;
 			<TR><TD BGCOLOR="yellow">Start</TD></TR>
 			<TR><TD>
 				<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-				<TR><TD PORT="p0" BGCOLOR="yellow">$ctrl</TD><TD PORT="p1">arg</TD><TD PORT="p2">$2</TD></TR>
+				<TR><TD PORT="p0" BGCOLOR="yellow">$ctrl</TD><TD PORT="p1">$mem</TD><TD PORT="p2">arg</TD></TR>
 				</TABLE>
 			</TD></TR>
 			</TABLE>>
 		];
+		MemMerge [ shape=box label="MemMerge" ];
 		Stop3 [ shape=box style=filled fillcolor=yellow label="Stop" ];
 		Con_4 [ label="#0" ];
 		new9 [ label="new S" ];
@@ -44,7 +45,7 @@ return i;
 		Con_21 [ label="#1" ];
 		Store22 [ label=".f =" ];
 		Region23 [ shape=box style=filled fillcolor=yellow label="Region" ];
-		Phi_224 [ style=filled fillcolor=lightyellow label="&phi;_$2" ];
+		Phi_224 [ style=filled fillcolor=lightyellow label="MemPhi_2" ];
 		Return25 [ shape=box style=filled fillcolor=yellow label="Return" ];
 		{ rank=same; Region23;Phi_224;}
 	}
@@ -52,7 +53,7 @@ return i;
 	Stop3 -> Return25[taillabel=0 color=red];
 	new9 -> Start2:p0[taillabel=0 color=green];
 	Store12 -> Start2:p0[taillabel=0 color=red];
-	Store12 -> Start2:p2[taillabel=1 color=blue];
+	Store12 -> Start2:p1[taillabel=1 color=blue];
 	Store12 -> new9[taillabel=2];
 	Store12 -> Con_11[taillabel=3];
 	new13 -> Start2:p0[taillabel=0 color=green];
@@ -64,7 +65,7 @@ return i;
 	Load16 -> Store14[taillabel=1 color=blue];
 	Load16 -> new9[taillabel=2];
 	If17 -> Start2:p0[taillabel=0 color=red];
-	If17 -> Start2:p1[taillabel=1];
+	If17 -> Start2:p2[taillabel=1];
 	Store22 -> If17:p0[taillabel=0 color=red];
 	Store22 -> Store14[taillabel=1 color=blue];
 	Store22 -> new9[taillabel=2];
@@ -76,6 +77,9 @@ return i;
 	Phi_224 -> Store22[taillabel=1 color=blue];
 	Phi_224 -> Store14[taillabel=2 color=blue constraint=false];
 	Return25 -> Region23[taillabel=0 color=red];
-	Return25 -> Load16[taillabel=1];
-	Return25 -> Phi_224[taillabel=2 color=blue];
+	Return25 -> Load16[taillabel=2];
+	Return25 -> MemMerge[taillabel=1 color=blue];
+	MemMerge -> Start2:p1[taillabel=1 color=blue];
+	MemMerge -> Phi_224[taillabel=2 color=blue];
+	MemMerge -> Region23[taillabel=0 color=green];
 }
-- 
cgit v1.2.3