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