From 1659b2591654acd3679c2779fd62281e496fdaf6 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Sun, 30 Jun 2024 01:58:08 +0100
Subject: Chapter 11: Splitting Memory
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Dibyendu Majumdar <mobile@majumdar.org.uk>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com>
Co-authored-by: tannal <tannal2409@gmail.com>
Co-authored-by: hadha <helsgithub15@gmail.com>
Co-authored-by: fuhsnn <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Symious <14933944+symious@users.noreply.github.com>
Co-authored-by: RobertObkircher <robert.obkircher@gmail.com>
Co-authored-by: Robert Obkircher <robert.obkircher@gmail.com>
Co-authored-by: Jun Kawasaki <jun784@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
---
 docs/chapter11/example2b-merged.json | 339 +++++++++++++++++++++++++++++++++++
 1 file changed, 339 insertions(+)
 create mode 100644 docs/chapter11/example2b-merged.json

(limited to 'docs/chapter11/example2b-merged.json')

diff --git a/docs/chapter11/example2b-merged.json b/docs/chapter11/example2b-merged.json
new file mode 100644
index 00000000..914b7cfb
--- /dev/null
+++ b/docs/chapter11/example2b-merged.json
@@ -0,0 +1,339 @@
+{
+  "ver": 1,
+  "comp": "chapter11/docs/example2b-merged.svg",
+  "step": 8,
+  "roots": [
+    23
+  ],
+  "scope": 0,
+  "nodes": [
+    {
+      "id": 1,
+      "label": "Start",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [],
+      "proj": null
+    },
+    {
+      "id": 3,
+      "label": "$mem",
+      "type": null,
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 1,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": {
+        "par": 1,
+        "idx": 1
+      }
+    },
+    {
+      "id": 5,
+      "label": "new Point",
+      "type": null,
+      "kind": "DATA",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 6,
+      "label": "#0",
+      "type": null,
+      "kind": "DATA",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 1,
+          "role": "ASSOC",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 7,
+      "label": "Store p.x",
+      "type": "MEM#2",
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 3,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 5,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 6,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 8,
+      "label": "Store p.y",
+      "type": "MEM#3",
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 3,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 5,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 6,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 11,
+      "label": "True",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [],
+      "proj": {
+        "par": 0,
+        "idx": 0
+      }
+    },
+    {
+      "id": 12,
+      "label": "False",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [],
+      "proj": {
+        "par": 0,
+        "idx": 1
+      }
+    },
+    {
+      "id": 13,
+      "label": "#3",
+      "type": null,
+      "kind": "DATA",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 1,
+          "role": "ASSOC",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 14,
+      "label": "Store p.x",
+      "type": "MEM#2",
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 11,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 7,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 5,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 13,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 15,
+      "label": "#4",
+      "type": null,
+      "kind": "DATA",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 1,
+          "role": "ASSOC",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 16,
+      "label": "Store p.x",
+      "type": "MEM#2",
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 12,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 7,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 5,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 15,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 20,
+      "label": "MemPhi x",
+      "type": "MEM#2",
+      "kind": "PHI",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "ASSOC",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 14,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 16,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 22,
+      "label": "MemMerge",
+      "type": null,
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 3,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 20,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 8,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 23,
+      "label": "Return",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 22,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 5,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    }
+  ],
+  "groups": []
+}
-- 
cgit v1.2.3