ghc-9.8.1: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Wasm.ControlFlow.FromCmm

Synopsis

Documentation

structuredControl Source #

Arguments

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

needed for offset calculation

-> UniqSupply 
-> (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 ('[] :: [WasmType]) '['I32]) 

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