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

Index

allocateLinearScan
applyAllocsLinearScan
blockIdLinearScan
BlockInfo 
1 (Type/Class)LinearScan
2 (Data Constructor)LinearScan
blockOpsLinearScan
blockSuccessorsLinearScan
InputLinearScan
IsBranchLinearScan
IsCallLinearScan
IsLoopBeginLinearScan
IsLoopEndLinearScan
IsNormalLinearScan
OpInfo 
1 (Type/Class)LinearScan
2 (Data Constructor)LinearScan
OpKindLinearScan
opKindLinearScan
opRefsLinearScan
OutputLinearScan
PhysRegLinearScan
regRequiredLinearScan
restoreOpLinearScan
saveOpLinearScan
setBlockOpsLinearScan
TempLinearScan
varIdLinearScan
VarInfo 
1 (Type/Class)LinearScan
2 (Data Constructor)LinearScan
VarKindLinearScan
varKindLinearScan