diff options
| author | dibyendumajumdar <mobile@majumdar.org.uk> | 2023-10-28 14:16:43 +0100 |
|---|---|---|
| committer | Dibyendu Majumdar <dibyendumajumdar@users.noreply.github.com> | 2023-11-01 18:56:50 +0000 |
| commit | 5ebbfe4813289ec520160c112f3b30d10b0eeb5f (patch) | |
| tree | 81592d21d649f39534a1ab87a2437492dd3e3496 /chapter04 | |
| parent | d0bece8ab70696e4c670a05ba94c1eb7baeee366 (diff) | |
| download | Simple-5ebbfe4813289ec520160c112f3b30d10b0eeb5f.tar.gz Simple-5ebbfe4813289ec520160c112f3b30d10b0eeb5f.zip | |
Add descriptions of the new node types in Chapter 5.
Add references to Cliff's thesis.
Diffstat (limited to 'chapter04')
| -rw-r--r-- | chapter04/README.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/chapter04/README.md b/chapter04/README.md index 45d054de..2700a6a9 100644 --- a/chapter04/README.md +++ b/chapter04/README.md @@ -118,7 +118,7 @@ track the current in-scope control node via the name `$ctrl`. This means that when we need to create an edge to the predecessor control node, we simply lookup this name in the current scope. -This introduces the idea that the control flow subgraph is a Petri net model. +This introduces the idea that the control flow subgraph is a Petri net model [[1]](#1). The control token moves virtually from node to node as execution proceeds. The initial control token is in Start, it then moves via the Proj node to Return. In later chapters we will see how the token moves across branches. @@ -245,3 +245,8 @@ Note the temporary add of a bogus user to the Node `m`. The reason this is done is that we know `m` is the new replacement and is alive, but since it is not yet part of the graph up the tree, it has no users yet. By adding a bogus user we prevent it being mistaken for dead and being killed. + +## References +<a id="1">[1]</a> +Click, C. (1995). +Combining Analyses, Combining Optimizations, 131. |