GHC.Wasm.ControlFlow · ghc-9.10.3

datadata WasmControl a b (c :: [WasmType]) (d :: [WasmType]) where

Representation of WebAssembly control flow. Normally written as WasmControl s e pre post Type parameter s is the type of (unspecified) statements. It might be instantiated with an open Cmm block or with a sequence of Wasm instructions. Parameter e is the type of expressions. Parameter pre represents the values that are expected on the WebAssembly stack when the code runs, and post represents the state of the stack on completion.

Constructors

WasmPush :: WasmTypeTag t -> b -> WasmControl a b c (t ': c)
WasmBlock :: WasmFunctionType c d -> WasmControl a b c d -> WasmControl a b c d
WasmLoop :: WasmFunctionType c d -> WasmControl a b c d -> WasmControl a b c d
WasmIfTop :: WasmFunctionType pre d -> WasmControl a b pre d -> WasmControl a b pre d -> WasmControl a b ('I32 ': pre) d
WasmBr :: Int -> WasmControl a b c d
WasmFallthrough :: WasmControl a b c d
WasmBrTable :: b -> BrTableInterval -> [Int] -> Int -> WasmControl a b c d
WasmTailCall :: b -> WasmControl a b c d
WasmActions :: a -> WasmControl a b c c
WasmSeq :: WasmControl a b c mid -> WasmControl a b mid d -> WasmControl a b c d

value(<>)

:: WasmControl s e pre mid
-> WasmControl s e mid post
-> WasmControl s e pre post

#

pattern

pattern WasmIf :: WasmFunctionType pre post -> e -> WasmControl s e pre post -> WasmControl s e pre post -> WasmControl s e pre post

#

datadata BrTableInterval

#

Constructors

BrTableInterval
- bti_lo :: Integer
- bti_count :: Integer

Instances2Show, Outputable

Show BrTableIntervalDefined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.Types
Outputable BrTableIntervalDefined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.Types

valueinclusiveInterval :: Integer -> Integer -> BrTableInterval

#

Module : GHC.Wasm.ControlFlow Description : Representation of control-flow portion of the WebAssembly instruction set

datadata WasmType

#

WebAssembly type of a WebAssembly value that WebAssembly code could either expect on the evaluation stack or leave on the evaluation stack.

Instances1TestEquality

TestEquality WasmTypeTagDefined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.Types

datadata WasmTypeTag (a :: WasmType) where

#

Singleton type useful for programming with WasmType at the type level.

Constructors

Instances2TestEquality, Show

TestEquality WasmTypeTagDefined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.Types
Show (WasmTypeTag t)Defined in ghc-9.10.3 · GHC.CmmToAsm.Wasm.Types

datadata TypeList (a :: [WasmType]) where

#

List of WebAssembly types used to describe the sequence of WebAssembly values that a block of code may expect on the stack or leave on the stack.

Constructors

TypeListNil :: TypeList '[]
TypeListCons :: WasmTypeTag t -> TypeList ts -> TypeList (t ': ts)

datadata WasmFunctionType (pre :: [WasmType]) (post :: [WasmType])

#

The type of a WebAssembly function, loop, block, or conditional. This type says what values the code expects to pop off the stack and what values it promises to push. The WebAssembly standard requires that this type appear explicitly in the code.

Constructors

WasmFunctionType
- ft_pops :: TypeList pre
- ft_pushes :: TypeList post