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