Safe Haskell | None |
---|
One ounce of sanity checking is worth 10000000000000000 ounces of staring blindly at assembly code trying to find the problem..
- checkBlock :: CmmBlock -> NatBasicBlock Instr -> NatBasicBlock Instr
Documentation
checkBlock :: CmmBlock -> NatBasicBlock Instr -> NatBasicBlock InstrSource
Enforce intra-block invariants.