Chapter 11: Splitting Memory

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>

1 files changed, 486 insertions, 0 deletions

diff --git a/docs/chapter11/example2b-split-y.json b/docs/chapter11/example2b-split-y.json
new file mode 100644
index 00000000..fc3c8758
--- /dev/null
+++ b/docs/chapter11/example2b-split-y.json
@@ -0,0 +1,486 @@
+{
+  "ver": 1,
+  "comp": "chapter11/docs/example2b-split-y.svg",
+  "step": 3,
+  "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": 17,
+      "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": 14,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 8,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 18,
+      "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": 16,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 8,
+          "role": "MEM",
+          "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": 26,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 20,
+          "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
+    },
+    {
+      "id": 24,
+      "label": "MemPhi y",
+      "type": "MEM#3",
+      "kind": "PHI",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "ASSOC",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 8,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 8,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 25,
+      "label": "BulkMemPhi except x,y",
+      "type": null,
+      "kind": "PHI",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "ASSOC",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 17,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 18,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 26,
+      "label": "MemMerge",
+      "type": null,
+      "kind": "MEM",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 25,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 20,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 24,
+          "role": "MEM",
+          "label": null
+        }
+      ],
+      "proj": null
+    }
+  ],
+  "groups": []
+}