LinearScan
allocate
data BlockInfo blk o a b
data OpInfo accType o v a b
data OpKind
data VarInfo v
data VarKind
type PhysReg