Safe Haskell | None |
---|---|
Language | GHC2021 |
Minimum viable implementation of jump short-cutting: No short-cutting.
The functions here simply implement the no-short-cutting case. Implementing the real behaviour would be a great optimization in future.
Synopsis
- getJumpDestBlockId :: JumpDest -> Maybe BlockId
- canShortcut :: Instr -> Maybe JumpDest
- shortcutStatics :: (BlockId -> Maybe JumpDest) -> RawCmmStatics -> RawCmmStatics
- shortcutJump :: (BlockId -> Maybe JumpDest) -> Instr -> Instr
- newtype JumpDest = DestBlockId BlockId
Documentation
getJumpDestBlockId :: JumpDest -> Maybe BlockId Source #
Extract BlockId
Never Nothing
for Riscv64 NCG.
shortcutStatics :: (BlockId -> Maybe JumpDest) -> RawCmmStatics -> RawCmmStatics Source #