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/graph5.gv | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

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

diff --git a/chapter11/docs/graph5.gv b/chapter11/docs/graph5.gv
index f89a83ac..0baa512f 100644
--- a/chapter11/docs/graph5.gv
+++ b/chapter11/docs/graph5.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" ];
@@ -71,13 +72,13 @@ return v;
 	Stop3 -> Return37[taillabel=0 color=red];
 	new9 -> Start2:p0[taillabel=0 color=green];
 	Store10 -> Start2:p0[taillabel=0 color=red];
-	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 -> Loop11[taillabel=0 color=red];
 	LT14 -> Con_4[taillabel=1];
@@ -85,7 +86,7 @@ return v;
 	If16 -> Loop11[taillabel=0 color=red];
 	If16 -> LT14[taillabel=1];
 	Div21 -> Start2[taillabel=0 color=red];
-	Div21 -> Start2:p1[taillabel=1];
+	Div21 -> Start2:p2[taillabel=1];
 	Div21 -> Con_22[taillabel=2];
 	EQ23 -> Loop11[taillabel=0 color=red];
 	EQ23 -> Phi_arg13[taillabel=1];
@@ -108,6 +109,9 @@ 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];
+	MemMerge -> Loop11[taillabel=0 color=green];
 }
-- 
cgit v1.2.3