linearscan-0.1.0.0: Linear scan register allocator, formally verified in Coq

Index

allocateLinearScan
AllocationLinearScan
blockIdLinearScan
BlockInfo 
1 (Type/Class)LinearScan
2 (Data Constructor)LinearScan
blockOpsLinearScan
CallLinearScan
defaultBlockInfoLinearScan
defaultOpInfoLinearScan
defaultVarInfoLinearScan
InputLinearScan
LoopBeginLinearScan
LoopEndLinearScan
NormalLinearScan
opIdLinearScan
OpInfo 
1 (Type/Class)LinearScan
2 (Data Constructor)LinearScan
OpKindLinearScan
opKindLinearScan
opMetaLinearScan
OutputLinearScan
PhysRegLinearScan
RegisterLinearScan
regRefsLinearScan
regRequiredLinearScan
SpillLinearScan
TempLinearScan
UnallocatedLinearScan
varAllocLinearScan
varIdLinearScan
VarInfo 
1 (Type/Class)LinearScan
2 (Data Constructor)LinearScan
VarKindLinearScan
varKindLinearScan
varRefsLinearScan