Class BinaryModuleWriter

java.lang.Object

de.inetsoftware.jwebassembly.module.ModuleWriter

de.inetsoftware.jwebassembly.binary.BinaryModuleWriter

All Implemented Interfaces:

Closeable, AutoCloseable

public class BinaryModuleWriter
extends ModuleWriter

Module Writer for binary format. http://webassembly.org/docs/binary-encoding/

Author:

Volker Berlin

Field Summary

Fields

Modifier and Type	Field	Description
static final int	ARRAY_GET
static final int	ARRAY_GET_S
static final int	ARRAY_GET_U
static final int	ARRAY_LEN
static final int	ARRAY_NEW
static final int	ARRAY_NEW_DEFAULT
static final int	ARRAY_SET
static final int	BLOCK
static final int	BR	Break a block/loop sequence: BR {call deep} call deep: How many blocks are break. 0 means the current block stack: no change
static final int	BR_IF
static final int	BR_ON_EXN
static final int	BR_ON_NULL	converts a nullable reference to a non-nullable one or branches if null
static final int	BR_TABLE	- br_table - target_count - count of entries in the table - target_table - levels of block breaks - default_target - levels of block breaks for default value
static final int	CALL
static final int	CALL_INDIRECT
static final int	CALL_REF	calling a function through a ref
static final int	CATCH
static final int	DROP
static final int	ELSE
static final int	END
static final int	F32_ABS
static final int	F32_ADD
static final int	F32_CEIL
static final int	F32_CONST
static final int	F32_CONVERT_I32_S
static final int	F32_CONVERT_I32_U
static final int	F32_CONVERT_I64_S
static final int	F32_CONVERT_I64_U
static final int	F32_COPYSIGN
static final int	F32_DEMOTE_F64
static final int	F32_DIV
static final int	F32_EQ
static final int	F32_FLOOR
static final int	F32_GE
static final int	F32_GT
static final int	F32_LE
static final int	F32_LOAD
static final int	F32_LT
static final int	F32_MAX
static final int	F32_MIN
static final int	F32_MUL
static final int	F32_NE
static final int	F32_NEAREST
static final int	F32_NEG
static final int	F32_REINTERPRET_I32
static final int	F32_SQRT
static final int	F32_STORE
static final int	F32_SUB
static final int	F32_TRUNC
static final int	F64_ABS
static final int	F64_ADD
static final int	F64_CEIL
static final int	F64_CONST
static final int	F64_CONVERT_I32_S
static final int	F64_CONVERT_I32_U
static final int	F64_CONVERT_I64_S
static final int	F64_CONVERT_I64_U
static final int	F64_COPYSIGN
static final int	F64_DIV
static final int	F64_EQ
static final int	F64_FLOOR
static final int	F64_GE
static final int	F64_GT
static final int	F64_LE
static final int	F64_LOAD
static final int	F64_LT
static final int	F64_MAX
static final int	F64_MIN
static final int	F64_MUL
static final int	F64_NE
static final int	F64_NEAREST
static final int	F64_NEG
static final int	F64_PROMOTE_F32
static final int	F64_REINTERPRET_I64
static final int	F64_SQRT
static final int	F64_STORE
static final int	F64_SUB
static final int	F64_TRUNC
static final int	FUNC_BIND	create a closure
static final int	GLOBAL_GET
static final int	GLOBAL_SET
static final int	I32_ADD
static final int	I32_AND
static final int	I32_CLZ
static final int	I32_CONST
static final int	I32_CTZ
static final int	I32_DIV_S
static final int	I32_DIV_U
static final int	I32_EQ
static final int	I32_EQZ
static final int	I32_EXTEND16_S
static final int	I32_EXTEND8_S
static final int	I32_GE_S
static final int	I32_GE_U
static final int	I32_GT_S
static final int	I32_GT_U
static final int	I32_LE_S
static final int	I32_LE_U
static final int	I32_LOAD
static final int	I32_LOAD16_S
static final int	I32_LOAD16_U
static final int	I32_LOAD8_S
static final int	I32_LOAD8_U
static final int	I32_LT_S
static final int	I32_LT_U
static final int	I32_MUL
static final int	I32_NE
static final int	I32_OR
static final int	I32_POPCNT
static final int	I32_REINTERPRET_F32
static final int	I32_REM_S
static final int	I32_REM_U
static final int	I32_ROTL
static final int	I32_ROTR
static final int	I32_SHL
static final int	I32_SHR_S
static final int	I32_SHR_U
static final int	I32_STORE
static final int	I32_STORE16
static final int	I32_STORE8
static final int	I32_SUB
static final int	I32_TRUNC_F32_S
static final int	I32_TRUNC_F32_U
static final int	I32_TRUNC_F64_S
static final int	I32_TRUNC_F64_U
static final int	I32_TRUNC_SAT_F32_S
static final int	I32_TRUNC_SAT_F32_U
static final int	I32_TRUNC_SAT_F64_S
static final int	I32_TRUNC_SAT_F64_U
static final int	I32_WRAP_I64
static final int	I32_XOR
static final int	I54_STORE16
static final int	I54_STORE32
static final int	I54_STORE8
static final int	I64_ADD
static final int	I64_AND
static final int	I64_CLZ
static final int	I64_CONST
static final int	I64_CTZ
static final int	I64_DIV_S
static final int	I64_DIV_U
static final int	I64_EQ
static final int	I64_EQZ
static final int	I64_EXTEND_I32_S
static final int	I64_EXTEND_I32_U
static final int	I64_EXTEND16_S
static final int	I64_EXTEND32_S
static final int	I64_EXTEND8_S
static final int	I64_GE_S
static final int	I64_GE_U
static final int	I64_GT_S
static final int	I64_GT_U
static final int	I64_LE_S
static final int	I64_LE_U
static final int	I64_LOAD
static final int	I64_LOAD16_S
static final int	I64_LOAD16_U
static final int	I64_LOAD32_S
static final int	I64_LOAD32_U
static final int	I64_LOAD8_S
static final int	I64_LOAD8_U
static final int	I64_LT_S
static final int	I64_LT_U
static final int	I64_MUL
static final int	I64_NE
static final int	I64_OR
static final int	I64_POPCNT
static final int	I64_REINTERPRET_F64
static final int	I64_REM_S
static final int	I64_REM_U
static final int	I64_ROTL
static final int	I64_ROTR
static final int	I64_SHL
static final int	I64_SHR_S
static final int	I64_SHR_U
static final int	I64_STORE
static final int	I64_SUB
static final int	I64_TRUNC_F32_S
static final int	I64_TRUNC_F32_U
static final int	I64_TRUNC_F64_S
static final int	I64_TRUNC_F64_U
static final int	I64_TRUNC_SAT_F32_S
static final int	I64_TRUNC_SAT_F32_U
static final int	I64_TRUNC_SAT_F64_S
static final int	I64_TRUNC_SAT_F64_U
static final int	I64_XOR
static final int	IF	If the value on the stack is true then the if block is executed.
static final int	LET	locals with block scope, in order to handle reference types without default initialisation values
static final int	LOCAL_GET
static final int	LOCAL_SET
static final int	LOCAL_TEE
static final int	LOOP
static final int	MEMORY_GROW
static final int	MEMORY_SIZE
static final int	NOP
static final int	REF_AS_NON_NULL	converts a nullable reference to a non-nullable one or traps if null
static final int	REF_CAST
static final int	REF_EQ
static final int	REF_ISNULL
static final int	REF_NULL
static final int	RETHROW
static final int	RETURN
static final int	RETURN_CALL
static final int	RETURN_CALL_INDIRECT
static final int	RETURN_CALL_REF	tail calling a function through a ref
static final int	RTT_CANON
static final int	SELECT	select one of two values based on condition
static final int	STRUCT_GET
static final int	STRUCT_NEW
static final int	STRUCT_NEW_DEFAULT
static final int	STRUCT_SET
static final int	TABLE_FILL
static final int	TABLE_GET
static final int	TABLE_GROW
static final int	TABLE_SET
static final int	TABLE_SIZE
static final int	THROW
static final int	TRY
static final int	UNREACHABLE

Fields inherited from class ModuleWriter

dataStream, options

Constructor Summary

Constructors

Constructor	Description
BinaryModuleWriter(WasmTarget target, WasmOptions options)	Create new instance.

Method Summary

Modifier and Type	Method	Description
void	close()
protected void	markSourceLine(int javaSourceLine)	Mark the current output position with Java code position for crating of a source map.
protected void	prepareFinish()	Finish the prepare after all classes/methods are prepare.
protected void	prepareImport(FunctionName name, String importModule, String importName)	Prepare a imported single function in the prepare phase.
protected void	writeArrayOperator(ArrayOperator op, ArrayType type)	Write an array operation.
protected void	writeBlockCode(WasmBlockOperator op, Object data)	Write a block/branch code
protected int	writeBlockType(TypeManager.BlockType type)	Write a block type.
protected void	writeCast(ValueTypeConvertion cast)	Cast a value from one type to another
protected void	writeConst(Number value, ValueType valueType)	Write a constant number value
protected void	writeDefaultValue(AnyType type)	Write the default/initial value for a type.
protected void	writeException()	Mark to write exceptions
protected void	writeExport(FunctionName name, String exportName)	Write an export directive
protected void	writeFunctionCall(FunctionName name, String comments)	Write a call to a function.
protected void	writeGlobalAccess(boolean load, FunctionName name, AnyType type)	Write a global variable operation
protected void	writeLocal(VariableOperator op, int idx)	Write a local variable operation.
protected void	writeMemoryOperator(MemoryOperator memOp, ValueType valueType, int offset, int alignment)	Write a memory operation for the linear memory.
protected void	writeMethodFinish()	Complete the method
protected void	writeMethodParam(String kind, AnyType valueType, String name)	Write a method parameter.
protected void	writeMethodParamFinish(FunctionName name)	Finish the function parameter.
protected void	writeMethodParamStart(FunctionName name, FunctionType funcType)	Write the method header.
protected void	writeMethodStart(FunctionName name, String sourceFile)	Start the writing of method/function code.
protected void	writeNumericOperator(NumericOperator numOp, ValueType valueType)	Write a add operator
protected void	writeStructOperator(StructOperator op, AnyType type, NamedStorageType fieldName, int idx)	Write a struct operation
protected int	writeStructType(TypeManager.StructType type)	Write a type/struct.
protected void	writeTable(boolean load, int idx)	Write a table operation.
protected void	writeVirtualFunctionCall(FunctionName name, AnyType type)	Write a function call to an instance function.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

UNREACHABLE

static final int UNREACHABLE

See Also:

• Constant Field Values

NOP

static final int NOP

See Also:

• Constant Field Values

BLOCK

static final int BLOCK

See Also:

• Constant Field Values

LOOP

static final int LOOP

See Also:

• Constant Field Values

IF

static final int IF

If the value on the stack is true then the if block is executed.
sequence: IF {return type}
return type: can be void (0x40)
stack: remove one i32 value and compare it with 0

See Also:

• Constant Field Values

ELSE

static final int ELSE

See Also:

• Constant Field Values

TRY

static final int TRY

See Also:

• Constant Field Values

CATCH

static final int CATCH

See Also:

• Constant Field Values

THROW

static final int THROW

See Also:

• Constant Field Values

RETHROW

static final int RETHROW

See Also:

• Constant Field Values

BR_ON_EXN

static final int BR_ON_EXN

See Also:

• Constant Field Values

END

static final int END

See Also:

• Constant Field Values

BR

static final int BR

Break a block/loop
sequence: BR {call deep}
call deep: How many blocks are break. 0 means the current block
stack: no change

See Also:

• Constant Field Values

BR_IF

static final int BR_IF

See Also:

• Constant Field Values

BR_TABLE

static final int BR_TABLE

- br_table - target_count - count of entries in the table - target_table - levels of block breaks - default_target - levels of block breaks for default value

See Also:

• Constant Field Values

RETURN

static final int RETURN

See Also:

• Constant Field Values

CALL

static final int CALL

See Also:

• Constant Field Values

CALL_INDIRECT

static final int CALL_INDIRECT

See Also:

• Constant Field Values

RETURN_CALL

static final int RETURN_CALL

See Also:

• Constant Field Values

RETURN_CALL_INDIRECT

static final int RETURN_CALL_INDIRECT

See Also:

• Constant Field Values

CALL_REF

static final int CALL_REF

calling a function through a ref

See Also:

• Constant Field Values

RETURN_CALL_REF

static final int RETURN_CALL_REF

tail calling a function through a ref

See Also:

• Constant Field Values

FUNC_BIND

static final int FUNC_BIND

create a closure

See Also:

• Constant Field Values

LET

static final int LET

locals with block scope, in order to handle reference types without default initialisation values

See Also:

• Constant Field Values

DROP

static final int DROP

See Also:

• Constant Field Values

SELECT

static final int SELECT

select one of two values based on condition

See Also:

• Constant Field Values

LOCAL_GET

static final int LOCAL_GET

See Also:

• Constant Field Values

LOCAL_SET

static final int LOCAL_SET

See Also:

• Constant Field Values

LOCAL_TEE

static final int LOCAL_TEE

See Also:

• Constant Field Values

GLOBAL_GET

static final int GLOBAL_GET

See Also:

• Constant Field Values

GLOBAL_SET

static final int GLOBAL_SET

See Also:

• Constant Field Values

TABLE_GET

static final int TABLE_GET

See Also:

• Constant Field Values

TABLE_SET

static final int TABLE_SET

See Also:

• Constant Field Values

I32_LOAD

static final int I32_LOAD

See Also:

• Constant Field Values

I64_LOAD

static final int I64_LOAD

See Also:

• Constant Field Values

F32_LOAD

static final int F32_LOAD

See Also:

• Constant Field Values

F64_LOAD

static final int F64_LOAD

See Also:

• Constant Field Values

I32_LOAD8_S

static final int I32_LOAD8_S

See Also:

• Constant Field Values

I32_LOAD8_U

static final int I32_LOAD8_U

See Also:

• Constant Field Values

I32_LOAD16_S

static final int I32_LOAD16_S

See Also:

• Constant Field Values

I32_LOAD16_U

static final int I32_LOAD16_U

See Also:

• Constant Field Values

I64_LOAD8_S

static final int I64_LOAD8_S

See Also:

• Constant Field Values

I64_LOAD8_U

static final int I64_LOAD8_U

See Also:

• Constant Field Values

I64_LOAD16_S

static final int I64_LOAD16_S

See Also:

• Constant Field Values

I64_LOAD16_U

static final int I64_LOAD16_U

See Also:

• Constant Field Values

I64_LOAD32_S

static final int I64_LOAD32_S

See Also:

• Constant Field Values

I64_LOAD32_U

static final int I64_LOAD32_U

See Also:

• Constant Field Values

I32_STORE

static final int I32_STORE

See Also:

• Constant Field Values

I64_STORE

static final int I64_STORE

See Also:

• Constant Field Values

F32_STORE

static final int F32_STORE

See Also:

• Constant Field Values

F64_STORE

static final int F64_STORE

See Also:

• Constant Field Values

I32_STORE8

static final int I32_STORE8

See Also:

• Constant Field Values

I32_STORE16

static final int I32_STORE16

See Also:

• Constant Field Values

I54_STORE8

static final int I54_STORE8

See Also:

• Constant Field Values

I54_STORE16

static final int I54_STORE16

See Also:

• Constant Field Values

I54_STORE32

static final int I54_STORE32

See Also:

• Constant Field Values

MEMORY_SIZE

static final int MEMORY_SIZE

See Also:

• Constant Field Values

MEMORY_GROW

static final int MEMORY_GROW

See Also:

• Constant Field Values

I32_CONST

static final int I32_CONST

See Also:

• Constant Field Values

I64_CONST

static final int I64_CONST

See Also:

• Constant Field Values

F32_CONST

static final int F32_CONST

See Also:

• Constant Field Values

F64_CONST

static final int F64_CONST

See Also:

• Constant Field Values

I32_EQZ

static final int I32_EQZ

See Also:

• Constant Field Values

I32_EQ

static final int I32_EQ

See Also:

• Constant Field Values

I32_NE

static final int I32_NE

See Also:

• Constant Field Values

I32_LT_S

static final int I32_LT_S

See Also:

• Constant Field Values

I32_LT_U

static final int I32_LT_U

See Also:

• Constant Field Values

I32_GT_S

static final int I32_GT_S

See Also:

• Constant Field Values

I32_GT_U

static final int I32_GT_U

See Also:

• Constant Field Values

I32_LE_S

static final int I32_LE_S

See Also:

• Constant Field Values

I32_LE_U

static final int I32_LE_U

See Also:

• Constant Field Values

I32_GE_S

static final int I32_GE_S

See Also:

• Constant Field Values

I32_GE_U

static final int I32_GE_U

See Also:

• Constant Field Values

I64_EQZ

static final int I64_EQZ

See Also:

• Constant Field Values

I64_EQ

static final int I64_EQ

See Also:

• Constant Field Values

I64_NE

static final int I64_NE

See Also:

• Constant Field Values

I64_LT_S

static final int I64_LT_S

See Also:

• Constant Field Values

I64_LT_U

static final int I64_LT_U

See Also:

• Constant Field Values

I64_GT_S

static final int I64_GT_S

See Also:

• Constant Field Values

I64_GT_U

static final int I64_GT_U

See Also:

• Constant Field Values

I64_LE_S

static final int I64_LE_S

See Also:

• Constant Field Values

I64_LE_U

static final int I64_LE_U

See Also:

• Constant Field Values

I64_GE_S

static final int I64_GE_S

See Also:

• Constant Field Values

I64_GE_U

static final int I64_GE_U

See Also:

• Constant Field Values

F32_EQ

static final int F32_EQ

See Also:

• Constant Field Values

F32_NE

static final int F32_NE

See Also:

• Constant Field Values

F32_LT

static final int F32_LT

See Also:

• Constant Field Values

F32_GT

static final int F32_GT

See Also:

• Constant Field Values

F32_LE

static final int F32_LE

See Also:

• Constant Field Values

F32_GE

static final int F32_GE

See Also:

• Constant Field Values

F64_EQ

static final int F64_EQ

See Also:

• Constant Field Values

F64_NE

static final int F64_NE

See Also:

• Constant Field Values

F64_LT

static final int F64_LT

See Also:

• Constant Field Values

F64_GT

static final int F64_GT

See Also:

• Constant Field Values

F64_LE

static final int F64_LE

See Also:

• Constant Field Values

F64_GE

static final int F64_GE

See Also:

• Constant Field Values

I32_CLZ

static final int I32_CLZ

See Also:

• Constant Field Values

I32_CTZ

static final int I32_CTZ

See Also:

• Constant Field Values

I32_POPCNT

static final int I32_POPCNT

See Also:

• Constant Field Values

I32_ADD

static final int I32_ADD

See Also:

• Constant Field Values

I32_SUB

static final int I32_SUB

See Also:

• Constant Field Values

I32_MUL

static final int I32_MUL

See Also:

• Constant Field Values

I32_DIV_S

static final int I32_DIV_S

See Also:

• Constant Field Values

I32_DIV_U

static final int I32_DIV_U

See Also:

• Constant Field Values

I32_REM_S

static final int I32_REM_S

See Also:

• Constant Field Values

I32_REM_U

static final int I32_REM_U

See Also:

• Constant Field Values

I32_AND

static final int I32_AND

See Also:

• Constant Field Values

I32_OR

static final int I32_OR

See Also:

• Constant Field Values

I32_XOR

static final int I32_XOR

See Also:

• Constant Field Values

I32_SHL

static final int I32_SHL

See Also:

• Constant Field Values

I32_SHR_S

static final int I32_SHR_S

See Also:

• Constant Field Values

I32_SHR_U

static final int I32_SHR_U

See Also:

• Constant Field Values

I32_ROTL

static final int I32_ROTL

See Also:

• Constant Field Values

I32_ROTR

static final int I32_ROTR

See Also:

• Constant Field Values

I64_CLZ

static final int I64_CLZ

See Also:

• Constant Field Values

I64_CTZ

static final int I64_CTZ

See Also:

• Constant Field Values

I64_POPCNT

static final int I64_POPCNT

See Also:

• Constant Field Values

I64_ADD

static final int I64_ADD

See Also:

• Constant Field Values

I64_SUB

static final int I64_SUB

See Also:

• Constant Field Values

I64_MUL

static final int I64_MUL

See Also:

• Constant Field Values

I64_DIV_S

static final int I64_DIV_S

See Also:

• Constant Field Values

I64_DIV_U

static final int I64_DIV_U

See Also:

• Constant Field Values

I64_REM_S

static final int I64_REM_S

See Also:

• Constant Field Values

I64_REM_U

static final int I64_REM_U

See Also:

• Constant Field Values

I64_AND

static final int I64_AND

See Also:

• Constant Field Values

I64_OR

static final int I64_OR

See Also:

• Constant Field Values

I64_XOR

static final int I64_XOR

See Also:

• Constant Field Values

I64_SHL

static final int I64_SHL

See Also:

• Constant Field Values

I64_SHR_S

static final int I64_SHR_S

See Also:

• Constant Field Values

I64_SHR_U

static final int I64_SHR_U

See Also:

• Constant Field Values

I64_ROTL

static final int I64_ROTL

See Also:

• Constant Field Values

I64_ROTR

static final int I64_ROTR

See Also:

• Constant Field Values

F32_ABS

static final int F32_ABS

See Also:

• Constant Field Values

F32_NEG

static final int F32_NEG

See Also:

• Constant Field Values

F32_CEIL

static final int F32_CEIL

See Also:

• Constant Field Values

F32_FLOOR

static final int F32_FLOOR

See Also:

• Constant Field Values

F32_TRUNC

static final int F32_TRUNC

See Also:

• Constant Field Values

F32_NEAREST

static final int F32_NEAREST

See Also:

• Constant Field Values

F32_SQRT

static final int F32_SQRT

See Also:

• Constant Field Values

F32_ADD

static final int F32_ADD

See Also:

• Constant Field Values

F32_SUB

static final int F32_SUB

See Also:

• Constant Field Values

F32_MUL

static final int F32_MUL

See Also:

• Constant Field Values

F32_DIV

static final int F32_DIV

See Also:

• Constant Field Values

F32_MIN

static final int F32_MIN

See Also:

• Constant Field Values

F32_MAX

static final int F32_MAX

See Also:

• Constant Field Values

F32_COPYSIGN

static final int F32_COPYSIGN

See Also:

• Constant Field Values

F64_ABS

static final int F64_ABS

See Also:

• Constant Field Values

F64_NEG

static final int F64_NEG

See Also:

• Constant Field Values

F64_CEIL

static final int F64_CEIL

See Also:

• Constant Field Values

F64_FLOOR

static final int F64_FLOOR

See Also:

• Constant Field Values

F64_TRUNC

static final int F64_TRUNC

See Also:

• Constant Field Values

F64_NEAREST

static final int F64_NEAREST

See Also:

• Constant Field Values

F64_SQRT

static final int F64_SQRT

See Also:

• Constant Field Values

F64_ADD

static final int F64_ADD

See Also:

• Constant Field Values

F64_SUB

static final int F64_SUB

See Also:

• Constant Field Values

F64_MUL

static final int F64_MUL

See Also:

• Constant Field Values

F64_DIV

static final int F64_DIV

See Also:

• Constant Field Values

F64_MIN

static final int F64_MIN

See Also:

• Constant Field Values

F64_MAX

static final int F64_MAX

See Also:

• Constant Field Values

F64_COPYSIGN

static final int F64_COPYSIGN

See Also:

• Constant Field Values

I32_WRAP_I64

static final int I32_WRAP_I64

See Also:

• Constant Field Values

I32_TRUNC_F32_S

static final int I32_TRUNC_F32_S

See Also:

• Constant Field Values

I32_TRUNC_F32_U

static final int I32_TRUNC_F32_U

See Also:

• Constant Field Values

I32_TRUNC_F64_S

static final int I32_TRUNC_F64_S

See Also:

• Constant Field Values

I32_TRUNC_F64_U

static final int I32_TRUNC_F64_U

See Also:

• Constant Field Values

I64_EXTEND_I32_S

static final int I64_EXTEND_I32_S

See Also:

• Constant Field Values

I64_EXTEND_I32_U

static final int I64_EXTEND_I32_U

See Also:

• Constant Field Values

I64_TRUNC_F32_S

static final int I64_TRUNC_F32_S

See Also:

• Constant Field Values

I64_TRUNC_F32_U

static final int I64_TRUNC_F32_U

See Also:

• Constant Field Values

I64_TRUNC_F64_S

static final int I64_TRUNC_F64_S

See Also:

• Constant Field Values

I64_TRUNC_F64_U

static final int I64_TRUNC_F64_U

See Also:

• Constant Field Values

F32_CONVERT_I32_S

static final int F32_CONVERT_I32_S

See Also:

• Constant Field Values

F32_CONVERT_I32_U

static final int F32_CONVERT_I32_U

See Also:

• Constant Field Values

F32_CONVERT_I64_S

static final int F32_CONVERT_I64_S

See Also:

• Constant Field Values

F32_CONVERT_I64_U

static final int F32_CONVERT_I64_U

See Also:

• Constant Field Values

F32_DEMOTE_F64

static final int F32_DEMOTE_F64

See Also:

• Constant Field Values

F64_CONVERT_I32_S

static final int F64_CONVERT_I32_S

See Also:

• Constant Field Values

F64_CONVERT_I32_U

static final int F64_CONVERT_I32_U

See Also:

• Constant Field Values

F64_CONVERT_I64_S

static final int F64_CONVERT_I64_S

See Also:

• Constant Field Values

F64_CONVERT_I64_U

static final int F64_CONVERT_I64_U

See Also:

• Constant Field Values

F64_PROMOTE_F32

static final int F64_PROMOTE_F32

See Also:

• Constant Field Values

I32_REINTERPRET_F32

static final int I32_REINTERPRET_F32

See Also:

• Constant Field Values

I64_REINTERPRET_F64

static final int I64_REINTERPRET_F64

See Also:

• Constant Field Values

F32_REINTERPRET_I32

static final int F32_REINTERPRET_I32

See Also:

• Constant Field Values

F64_REINTERPRET_I64

static final int F64_REINTERPRET_I64

See Also:

• Constant Field Values

I32_EXTEND8_S

static final int I32_EXTEND8_S

See Also:

• Constant Field Values

I32_EXTEND16_S

static final int I32_EXTEND16_S

See Also:

• Constant Field Values

I64_EXTEND8_S

static final int I64_EXTEND8_S

See Also:

• Constant Field Values

I64_EXTEND16_S

static final int I64_EXTEND16_S

See Also:

• Constant Field Values

I64_EXTEND32_S

static final int I64_EXTEND32_S

See Also:

• Constant Field Values

REF_NULL

static final int REF_NULL

See Also:

• Constant Field Values

REF_ISNULL

static final int REF_ISNULL

See Also:

• Constant Field Values

REF_AS_NON_NULL

static final int REF_AS_NON_NULL

converts a nullable reference to a non-nullable one or traps if null

See Also:

• Constant Field Values

BR_ON_NULL

static final int BR_ON_NULL

converts a nullable reference to a non-nullable one or branches if null

See Also:

• Constant Field Values

REF_EQ

static final int REF_EQ

See Also:

• Constant Field Values

I32_TRUNC_SAT_F32_S

static final int I32_TRUNC_SAT_F32_S

See Also:

• Constant Field Values

I32_TRUNC_SAT_F32_U

static final int I32_TRUNC_SAT_F32_U

See Also:

• Constant Field Values

I32_TRUNC_SAT_F64_S

static final int I32_TRUNC_SAT_F64_S

See Also:

• Constant Field Values

I32_TRUNC_SAT_F64_U

static final int I32_TRUNC_SAT_F64_U

See Also:

• Constant Field Values

I64_TRUNC_SAT_F32_S

static final int I64_TRUNC_SAT_F32_S

See Also:

• Constant Field Values

I64_TRUNC_SAT_F32_U

static final int I64_TRUNC_SAT_F32_U

See Also:

• Constant Field Values

I64_TRUNC_SAT_F64_S

static final int I64_TRUNC_SAT_F64_S

See Also:

• Constant Field Values

I64_TRUNC_SAT_F64_U

static final int I64_TRUNC_SAT_F64_U

See Also:

• Constant Field Values

TABLE_GROW

static final int TABLE_GROW

See Also:

• Constant Field Values

TABLE_SIZE

static final int TABLE_SIZE

See Also:

• Constant Field Values

TABLE_FILL

static final int TABLE_FILL

See Also:

• Constant Field Values

STRUCT_NEW

static final int STRUCT_NEW

See Also:

• Constant Field Values

STRUCT_NEW_DEFAULT

static final int STRUCT_NEW_DEFAULT

See Also:

• Constant Field Values

STRUCT_GET

static final int STRUCT_GET

See Also:

• Constant Field Values

STRUCT_SET

static final int STRUCT_SET

See Also:

• Constant Field Values

ARRAY_NEW

static final int ARRAY_NEW

See Also:

• Constant Field Values

ARRAY_NEW_DEFAULT

static final int ARRAY_NEW_DEFAULT

See Also:

• Constant Field Values

ARRAY_GET

static final int ARRAY_GET

See Also:

• Constant Field Values

ARRAY_GET_S

static final int ARRAY_GET_S

See Also:

• Constant Field Values

ARRAY_GET_U

static final int ARRAY_GET_U

See Also:

• Constant Field Values

ARRAY_SET

static final int ARRAY_SET

See Also:

• Constant Field Values

ARRAY_LEN

static final int ARRAY_LEN

See Also:

• Constant Field Values

RTT_CANON

static final int RTT_CANON

See Also:

• Constant Field Values

REF_CAST

static final int REF_CAST

See Also:

• Constant Field Values

Constructor Details

BinaryModuleWriter

public BinaryModuleWriter(WasmTarget target,
 WasmOptions options)
                   throws IOException

Create new instance.

Parameters:

target - the target for the module data.

options - compiler properties

Throws:

IOException - if any I/O error occur

Method Details

close

public void close()
           throws IOException

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Throws:

IOException

writeStructType

protected int writeStructType(TypeManager.StructType type)
                       throws IOException

Write a type/struct.

Specified by:

writeStructType in class ModuleWriter

Parameters:

type - the type to declare/write

Returns:

type ID

Throws:

IOException - if any I/O error occur

writeBlockType

protected int writeBlockType(TypeManager.BlockType type)
                      throws IOException

Write a block type.

Specified by:

writeBlockType in class ModuleWriter

Parameters:

type - the type

Returns:

type ID

Throws:

IOException - if any I/O error occur

writeException

protected void writeException()
                       throws IOException

Mark to write exceptions

Specified by:

writeException in class ModuleWriter

Throws:

IOException - if any I/O error occur

prepareImport

protected void prepareImport(FunctionName name,
 String importModule,
 String importName)

Prepare a imported single function in the prepare phase.

Specified by:

prepareImport in class ModuleWriter

Parameters:

name - the function name

importModule - the import module name if it is a import function

importName - the import name if it is a import function

prepareFinish

protected void prepareFinish()

Finish the prepare after all classes/methods are prepare. This must be call before we can start with write the first method.

Specified by:

prepareFinish in class ModuleWriter

writeExport

protected void writeExport(FunctionName name,
 String exportName)
                    throws IOException

Write an export directive

Specified by:

writeExport in class ModuleWriter

Parameters:

name - the function name

exportName - the export name, if null then the same like the method name

Throws:

IOException - if any I/O error occur

writeMethodParamStart

protected void writeMethodParamStart(FunctionName name,
 FunctionType funcType)
                              throws IOException

Write the method header.

Specified by:

writeMethodParamStart in class ModuleWriter

Parameters:

name - the function name

funcType - the type of function

Throws:

IOException - if any I/O error occur

writeMethodParam

protected void writeMethodParam(String kind,
 AnyType valueType,
 @Nullable
 String name)
                         throws IOException

Write a method parameter.

Specified by:

writeMethodParam in class ModuleWriter

Parameters:

kind - "param", "result" or "local"

valueType - the data type of the parameter

name - optional name of the parameter

Throws:

IOException - if any I/O error occur

writeMethodParamFinish

protected void writeMethodParamFinish(FunctionName name)
                               throws IOException

Finish the function parameter.

Specified by:

writeMethodParamFinish in class ModuleWriter

Parameters:

name - the function name

Throws:

IOException - if any I/O error occur

writeMethodStart

protected void writeMethodStart(FunctionName name,
 String sourceFile)
                         throws IOException

Start the writing of method/function code.

Specified by:

writeMethodStart in class ModuleWriter

Parameters:

name - the function name

sourceFile - the name of the source file

Throws:

IOException - if any I/O error occur

markSourceLine

protected void markSourceLine(int javaSourceLine)

Mark the current output position with Java code position for crating of a source map.

Specified by:

markSourceLine in class ModuleWriter

Parameters:

javaSourceLine - the line number in the Java code

writeMethodFinish

protected void writeMethodFinish()
                          throws IOException

Complete the method

Specified by:

writeMethodFinish in class ModuleWriter

Throws:

IOException - if any I/O error occur

writeConst

protected void writeConst(Number value,
 ValueType valueType)
                   throws IOException

Write a constant number value

Specified by:

writeConst in class ModuleWriter

Parameters:

value - the value

valueType - the data type of the number

Throws:

IOException - if any I/O error occur

writeLocal

protected void writeLocal(VariableOperator op,
 int idx)
                   throws IOException

Write a local variable operation.

Specified by:

writeLocal in class ModuleWriter

Parameters:

op - the operation

idx - the index of the parameter variable

Throws:

IOException - if any I/O error occur

writeGlobalAccess

protected void writeGlobalAccess(boolean load,
 FunctionName name,
 AnyType type)
                          throws IOException

Write a global variable operation

Specified by:

writeGlobalAccess in class ModuleWriter

Parameters:

load - true: if load or GET

name - the variable name

type - the type of the variable

Throws:

IOException - if any I/O error occur

writeTable

protected void writeTable(boolean load,
 @Nonnegative
 int idx)
                   throws IOException

Write a table operation.

Specified by:

writeTable in class ModuleWriter

Parameters:

load - true: if "get" else "set"

idx - the index of the table

Throws:

IOException - if any I/O error occur

writeDefaultValue

protected void writeDefaultValue(AnyType type)
                          throws IOException

Write the default/initial value for a type.

Specified by:

writeDefaultValue in class ModuleWriter

Parameters:

type - the type

Throws:

IOException - if an I/O error occurs.

writeNumericOperator

protected void writeNumericOperator(NumericOperator numOp,
 @Nullable
 ValueType valueType)
                             throws IOException

Write a add operator

Specified by:

writeNumericOperator in class ModuleWriter

Parameters:

numOp - the numeric operation

valueType - the type of the parameters

Throws:

IOException - if any I/O error occur

writeCast

protected void writeCast(ValueTypeConvertion cast)
                  throws IOException

Cast a value from one type to another

Specified by:

writeCast in class ModuleWriter

Parameters:

cast - the operator

Throws:

IOException - if any I/O error occur

writeFunctionCall

protected void writeFunctionCall(FunctionName name,
 String comments)
                          throws IOException

Write a call to a function.

Specified by:

writeFunctionCall in class ModuleWriter

Parameters:

name - the function name

comments - optional comment for the text format

Throws:

IOException - if any I/O error occur

writeVirtualFunctionCall

protected void writeVirtualFunctionCall(FunctionName name,
 AnyType type)
                                 throws IOException

Write a function call to an instance function. On the stack there must be the object.

Specified by:

writeVirtualFunctionCall in class ModuleWriter

Parameters:

name - the function name

type - the base type that should be called

Throws:

IOException - if any I/O error occur

writeBlockCode

protected void writeBlockCode(@Nonnull
 WasmBlockOperator op,
 @Nullable
 Object data)
                       throws IOException

Write a block/branch code

Specified by:

writeBlockCode in class ModuleWriter

Parameters:

op - the operation

data - extra data depending of the operator

Throws:

IOException - if any I/O error occur

writeArrayOperator

protected void writeArrayOperator(@Nonnull
 ArrayOperator op,
 ArrayType type)
                           throws IOException

Write an array operation.

Specified by:

writeArrayOperator in class ModuleWriter

Parameters:

op - the operation

type - the type of the array

Throws:

IOException - if any I/O error occur

writeStructOperator

protected void writeStructOperator(StructOperator op,
 AnyType type,
 NamedStorageType fieldName,
 int idx)
                            throws IOException

Write a struct operation

Specified by:

writeStructOperator in class ModuleWriter

Parameters:

op - the operation

type - the type of the struct

fieldName - the fieldName if the operation is per field

idx - the index of the field if the operation is per field

Throws:

IOException - if any I/O error occur

writeMemoryOperator

protected void writeMemoryOperator(MemoryOperator memOp,
 ValueType valueType,
 int offset,
 int alignment)
                            throws IOException

Write a memory operation for the linear memory.

Specified by:

writeMemoryOperator in class ModuleWriter

Parameters:

memOp - the memory operation

valueType - the value type of the stack value

offset - the offset into the memory. Should be ideally a factor of 4.

alignment - the alignment of the value on the linear memory (0: 8 Bit; 1: 16 Bit; 2: 32 Bit)

Throws:

IOException - if any I/O error occur