Bill Currie
|
da446fd343
|
Detect natural loops.
Non-nested loops that have the same head-node are merged into one loop.
However, loop nesting is not currently detected (next step).
|
2012-11-15 13:44:07 +09:00 |
|
Bill Currie
|
1fead50f4e
|
Calculate the dominators of each node in the flow graph.
The dominators are represented by sets using the node numbers.
|
2012-11-15 13:44:07 +09:00 |
|
Bill Currie
|
7853bf1859
|
Calculate a node's successors and predecessors.
The dot graphs are a little odd (arrow heads on the wrong end of the
predecessor edges), but things seem to be correct.
|
2012-11-15 13:44:06 +09:00 |
|
Bill Currie
|
739ebc522c
|
Begin working on flow analysis.
For now, variable and flow graph node maps are built.
|
2012-11-15 13:44:06 +09:00 |
|