value
structuredControl :: Applicative m=> Platformneeded for offset calculation
-> UniqSupply-> (Label -> CmmExpr -> m expr)translator for expressions
-> (Label -> CmmActions -> m stmt)translator for straight-line code
-> CmmGraphCFG to be translated
-> m (WasmControl stmt expr '[] '['I32])
Convert a Cmm CFG to WebAssembly's structured control flow.