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/graph4.gv | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

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

diff --git a/chapter11/docs/graph4.gv b/chapter11/docs/graph4.gv
index f6958ccb..cf622aa1 100644
--- a/chapter11/docs/graph4.gv
+++ b/chapter11/docs/graph4.gv
@@ -21,11 +21,12 @@ return v;
 			<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" ];
@@ -57,10 +58,10 @@ return v;
 			</TD></TR>
 			</TABLE>>
 		];
-		Phi_230 [ style=filled fillcolor=lightyellow label="&phi;_$2" ];
+		Phi_230 [ style=filled fillcolor=lightyellow label="MemPhi_2" ];
 		Store31 [ label=".f =" ];
 		Region32 [ shape=box style=filled fillcolor=yellow label="Region" ];
-		Phi_233 [ style=filled fillcolor=lightyellow label="&phi;_$2" ];
+		Phi_233 [ style=filled fillcolor=lightyellow label="MemPhi_2" ];
 		Sub35 [ label="-" ];
 		Con_36 [ label="#1" ];
 		Return37 [ shape=box style=filled fillcolor=yellow label="Return" ];
@@ -70,19 +71,19 @@ return v;
 	edge [ fontname=Helvetica, fontsize=8 ];
 	Stop3 -> Return37[taillabel=0 color=red];
 	new9 -> Start2:p0[taillabel=0 color=green];
-	Store10 -> Start2:p2[taillabel=1 color=blue];
+	Store10 -> Start2:p1[taillabel=1 color=blue];
 	Store10 -> new9[taillabel=2];
 	Store10 -> Con_4[taillabel=3];
 	Loop11 -> Start2:p0[taillabel=1 color=red];
 	Loop11 -> Region32[taillabel=2 color=red constraint=false];
 	Phi_arg13 -> Loop11 [style=dotted taillabel=0];
-	Phi_arg13 -> Start2:p1[taillabel=1];
+	Phi_arg13 -> Start2:p2[taillabel=1];
 	Phi_arg13 -> Sub35[taillabel=2 constraint=false];
 	LT14 -> Con_4[taillabel=1];
 	LT14 -> Phi_arg13[taillabel=2];
 	If16 -> Loop11[taillabel=0 color=red];
 	If16 -> LT14[taillabel=1];
-	Div21 -> Start2:p1[taillabel=1];
+	Div21 -> Start2:p2[taillabel=1];
 	Div21 -> Con_22[taillabel=2];
 	EQ23 -> Phi_arg13[taillabel=1];
 	EQ23 -> Con_24[taillabel=2];
@@ -102,6 +103,8 @@ return v;
 	Sub35 -> Phi_arg13[taillabel=1];
 	Sub35 -> Con_36[taillabel=2];
 	Return37 -> If16:p1[taillabel=0 color=red];
-	Return37 -> new9[taillabel=1];
-	Return37 -> Phi_230[taillabel=2 color=blue];
+	Return37 -> new9[taillabel=2];
+	Return37 -> MemMerge[taillabel=1 color=blue];
+	MemMerge -> Start2:p1[taillabel=1 color=blue];
+	MemMerge -> Phi_230[taillabel=2 color=blue];
 }
-- 
cgit v1.2.3