Safe Haskell | None |
---|---|
Language | Haskell98 |
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 Instr Source
Enforce intra-block invariants.