{
  "ver": 1,
  "comp": "chapter11/docs/example2b-final.svg",
  "step": 100,
  "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": 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": 13,
      "label": "#3",
      "type": null,
      "kind": "DATA",
      "edges": [
        {
          "idx": 0,
          "def": 1,
          "role": "ASSOC",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 15,
      "label": "#4",
      "type": null,
      "kind": "DATA",
      "edges": [
        {
          "idx": 0,
          "def": 1,
          "role": "ASSOC",
          "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": 27,
          "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
    },
    {
      "id": 27,
      "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": 28,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 28,
      "label": "Phi x value",
      "type": null,
      "kind": "PHI",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "ASSOC",
          "label": null
        },
        {
          "idx": 1,
          "def": 13,
          "role": "DATA",
          "label": null
        },
        {
          "idx": 2,
          "def": 15,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    }
  ],
  "groups": []
}