ghc-9.6.4: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Wasm.ControlFlow.FromCmm

Synopsis

Documentation

structuredControl Source #

Arguments

:: forall expr stmt m. Applicative m 
=> Platform

needed for offset calculation

-> (Label -> CmmExpr -> m expr)

translator for expressions

-> (Label -> CmmActions -> m stmt)

translator for straight-line code

-> CmmGraph

CFG to be translated

-> m (WasmControl stmt expr '[] '['I32]) 

Convert a Cmm CFG to WebAssembly's structured control flow.