Click on a value or block to toggle highlighting of that value/block and its uses. (Values and blocks are highlighted by ID, and IDs of dead items may be reused, so not all highlights necessarily correspond to the clicked item.)
Faded out values and blocks are dead code that has not been eliminated.
Values printed in italics have a dependency cycle.
CFG: Dashed edge is for unlikely branches. Blue color is for backward edges. Edge with a dot means that this edge follows the order in which blocks were laidout.
sources | sources12 13 14 15 16
|
AST | ASTbuildssa-enter buildssa-body . FOR l(13) tc(1) . . BLOCK l(13) . FOR-body . . AS l(14) tc(1) implicit(true) int . . . NAME-main.counter l(3) x(0) class(PEXTERN) tc(1) assigned used int . . . ADD l(14) tc(1) int . . . . NAME-main.counter l(3) x(0) class(PEXTERN) tc(1) assigned used int . . . . LITERAL-1 l(14) tc(1) int buildssa-exit |
start | start |
number lines + decompose user + opt | number lines [8785 ns]decompose user [13588 ns]opt [1308829 ns] |
zero arg cse | zero arg cse [2143 ns] |
opt deadcode | opt deadcode [3167 ns] |
gcse deadcode + decompose builtin + expand calls | gcse deadcode [968 ns]decompose builtin [1404 ns]expand calls [112493 ns] |
softfloat + late opt | softfloat [18474 ns]late opt [1289 ns] |
generic deadcode + writebarrier + lower + tighten tuple selectors + lowered deadcode + checkLower + critical + layout + schedule + flagalloc + regalloc + stackframe | generic deadcode [1019 ns]writebarrier [14088 ns]lower [406344 ns]tighten tuple selectors [368 ns]lowered deadcode [946 ns]checkLower [13207 ns]critical [12994 ns]layout [14810 ns]schedule [28865 ns]flagalloc [13418 ns]regalloc [665687 ns]stackframe [670 ns] |
genssa | genssa |