import SPARC.Ppr ()
import Instruction
-import Cmm
+import OldCmm
import Outputable
-- | Enforce intra-block invariants.
--
checkBlock
- :: CmmBasicBlock -> NatBasicBlock Instr -> NatBasicBlock Instr
+ :: CmmBasicBlock
+ -> NatBasicBlock Instr -> NatBasicBlock Instr
checkBlock cmm block@(BasicBlock _ instrs)
| checkBlockInstrs instrs