A | |
Analysis [Sparecode_params] |
Whether to perform spare code detection or not.
|
Annot [Sparecode_params] |
keep more things to keep all reachable annotations.
|
B | |
BoolInfo [Transform] | |
BoolMark [Marks] | |
C | |
Config [Marks] | |
G | |
GlobDecl [Sparecode_params] |
remove unused global types and variables
|
Globs | |
I | |
Info [Transform] | |
M | |
M [Marks.Config] | |
Marks |
when we first compute marks to select outputs,
we don't immediately propagate input marks to the calls,
because some calls may be useless and we don't want to compute
their inputs.
|
P | |
P [Register] | |
ProjBoolMarks [Marks] | |
R | |
Register |
Internal State
|
Result [Register] | |
Result [Globs] | |
S | |
Sparecode_params |
Whether to perform spare code detection or not.
|
T | |
Transform |