LinearScan
allocate
data BlockInfo m blk1 blk2 op1 op2
data OpInfo m op1 op2
data OpKind
type VarId
data VarInfo
data VarKind
type PhysReg