Chapter 18: Functions and Calls

Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com>
Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@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: Jun Kawasaki <jun784@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>

1 files changed, 276 insertions, 0 deletions

diff --git a/docs/chapter18/inline-before.json b/docs/chapter18/inline-before.json
new file mode 100644
index 00000000..243aff79
--- /dev/null
+++ b/docs/chapter18/inline-before.json
@@ -0,0 +1,276 @@
+{
+  "ver": 1,
+  "comp": "inline",
+  "step": 1,
+  "roots": [
+    12
+  ],
+  "scope": 0,
+  "nodes": [
+    {
+      "id": 1,
+      "label": "Parm_arg",
+      "type": "int",
+      "kind": "PHI",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "ASSOC",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 0,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 2,
+      "label": "Con",
+      "type": "1",
+      "kind": "DATA",
+      "edges": [],
+      "proj": null
+    },
+    {
+      "id": 3,
+      "label": "Con inc",
+      "type": "{int -> int}",
+      "kind": "DATA",
+      "edges": [],
+      "proj": null
+    },
+    {
+      "id": 4,
+      "label": "Call",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 0,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 1,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 3,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 5,
+      "label": "inc",
+      "type": null,
+      "kind": "FUN",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "ASSOC",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 4,
+          "role": "CTRL",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 6,
+      "label": "Con",
+      "type": "int",
+      "kind": "DATA",
+      "edges": [],
+      "proj": null
+    },
+    {
+      "id": 7,
+      "label": "Parm_x",
+      "type": "int",
+      "kind": "PHI",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 5,
+          "role": "ASSOC",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 6,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 1,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 8,
+      "label": "Add",
+      "type": "int",
+      "kind": "DATA",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 7,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 2,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 9,
+      "label": "Return inc",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 0,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 8,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 0,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 10,
+      "label": "CallEnd",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 4,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 9,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    },
+    {
+      "id": 11,
+      "label": "result",
+      "type": "int",
+      "kind": "DATA",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 10,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": {
+        "par": 10,
+        "idx": 2
+      }
+    },
+    {
+      "id": 12,
+      "label": "Return main",
+      "type": null,
+      "kind": "CTRL",
+      "edges": [
+        {
+          "idx": 0,
+          "def": 0,
+          "role": "CTRL",
+          "label": null
+        },
+        {
+          "idx": 1,
+          "def": 0,
+          "role": "MEM",
+          "label": null
+        },
+        {
+          "idx": 2,
+          "def": 11,
+          "role": "DATA",
+          "label": null
+        },
+        {
+          "idx": 3,
+          "def": 0,
+          "role": "DATA",
+          "label": null
+        }
+      ],
+      "proj": null
+    }
+  ],
+  "groups": []
+}