Index of modules


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]
Result_pair [Register]

S
Sparecode_params
Whether to perform spare code detection or not.

T
Transform