testcases
package v1.10.1
Go to latest Published: Nov 9, 2025 License:Apache-2.0
Opens a new window with list of versions in this module.
Latest Latest
This package is not in the latest version of its module.
Opens a new window with license information.
Imports:3 Opens a new window with list of imports.
Imported by:0 Opens a new window with list of known importers.
Details
Validgo.mod file
The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
- Redistributable license
Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
- Tagged version
Modules with tagged versions give importers more predictable builds.
- Stable version
When a project reaches major version v1 it is considered stable.
- Learn more about best practices
Repository
Links
Open Source Insights
Documentation¶
Index¶
Constants¶
View Source
const ExportedFunctionName = "f"Variables¶
View Source
var (Empty =TestCase{Name: "empty", Module:SingleFunctionModule(vv, []byte{wasm.OpcodeEnd},nil)}Constants =TestCase{Name: "consts", Module:SingleFunctionModule(wasm.FunctionType{Results: []wasm.ValueType{i32, i64, f32, f64},}, []byte{wasm.OpcodeI32Const, 1,wasm.OpcodeI64Const, 2,wasm.OpcodeF32Const,byte(math.Float32bits(32.0)),byte(math.Float32bits(32.0) >> 8),byte(math.Float32bits(32.0) >> 16),byte(math.Float32bits(32.0) >> 24),wasm.OpcodeF64Const,byte(math.Float64bits(64.0)),byte(math.Float64bits(64.0) >> 8),byte(math.Float64bits(64.0) >> 16),byte(math.Float64bits(64.0) >> 24),byte(math.Float64bits(64.0) >> 32),byte(math.Float64bits(64.0) >> 40),byte(math.Float64bits(64.0) >> 48),byte(math.Float64bits(64.0) >> 56),wasm.OpcodeEnd,},nil)}Unreachable =TestCase{Name: "unreachable", Module:SingleFunctionModule(vv, []byte{wasm.OpcodeUnreachable,wasm.OpcodeEnd},nil)}OnlyReturn =TestCase{Name: "only_return", Module:SingleFunctionModule(vv, []byte{wasm.OpcodeReturn,wasm.OpcodeEnd},nil)}Params =TestCase{Name: "params", Module:SingleFunctionModule(i32f32f64_v, []byte{wasm.OpcodeReturn,wasm.OpcodeEnd},nil)}AddSubReturn =TestCase{Name: "add_sub_params_return_const",Module:SingleFunctionModule(wasm.FunctionType{Results: []wasm.ValueType{i32, i32, i64, i64}}, []byte{wasm.OpcodeI32Const, 4,wasm.OpcodeI32Const, 5,wasm.OpcodeI32Add,wasm.OpcodeI32Const, 6,wasm.OpcodeI32Sub,wasm.OpcodeI32Const, 3,wasm.OpcodeI32Const, 0xff, 0xff, 0xff, 0xff, 0,wasm.OpcodeI32Add,wasm.OpcodeI32Const, 0xff, 0xff, 0xff, 0xff, 0,wasm.OpcodeI32Sub,wasm.OpcodeI64Const, 4,wasm.OpcodeI64Const, 5,wasm.OpcodeI64Add,wasm.OpcodeI64Const, 6,wasm.OpcodeI64Sub,wasm.OpcodeI64Const, 3,wasm.OpcodeI64Const, 0xff, 0xff, 0xff, 0xff, 0xff, 0,wasm.OpcodeI64Add,wasm.OpcodeI64Const, 0xff, 0xff, 0xff, 0xff, 0xff, 0,wasm.OpcodeI64Sub,wasm.OpcodeEnd,},nil),}AddSubParamsReturn =TestCase{Name: "add_sub_params_return",Module:SingleFunctionModule(i32i32_i32, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Sub,wasm.OpcodeEnd,},nil),}ArithmReturn =TestCase{Name: "arithm return",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i32,i32, i32, i32,i32, i32,i64, i64, i64, i64,i64, i64, i64,i64, i64,},},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32And,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Or,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Xor,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Shl,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeI32ShrS,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32ShrU,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Rotr,wasm.OpcodeI32Const, 10,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Rotl,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64Mul,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64And,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64Or,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64Xor,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64Shl,wasm.OpcodeLocalGet, 5,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64ShrS,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64ShrU,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeI64Rotr,wasm.OpcodeI64Const, 10,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Rotl,wasm.OpcodeEnd,},nil),}DivUReturn32 =TestCase{Name: "div return unsigned 32",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i32, i32},Results: []wasm.ValueType{i32, i32},},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32DivU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI32RemU,wasm.OpcodeEnd,},nil),}DivUReturn64 =TestCase{Name: "div return unsigned 64",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i64, i64, i64, i64},Results: []wasm.ValueType{i64, i64},},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64DivU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64RemU,wasm.OpcodeEnd,},nil),}DivSReturn32 =TestCase{Name: "div return signed 32",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i32, i32},Results: []wasm.ValueType{i32, i32},},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32DivS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI32RemS,wasm.OpcodeEnd,},nil),}DivSReturn32_weird =TestCase{Name: "div return signed 32",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i32, i32},Results: []wasm.ValueType{i32, i32},},[]byte{wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI32RemS,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32DivS,wasm.OpcodeEnd,},nil),}DivSReturn64 =TestCase{Name: "div return signed 64",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i64, i64, i64, i64},Results: []wasm.ValueType{i64, i64},},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64DivS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64RemS,wasm.OpcodeEnd,},nil),}Locals =TestCase{Name: "locals", Module:SingleFunctionModule(vv, []byte{wasm.OpcodeEnd}, []wasm.ValueType{i32, i64, f32, f64})}LocalsParams =TestCase{Name: "locals_params",Module:SingleFunctionModule(i64f32f64_i64f32f64,[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Sub,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Add,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Sub,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Div,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Max,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Min,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Add,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Sub,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Mul,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Div,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Max,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Min,wasm.OpcodeEnd,}, []wasm.ValueType{i32, i64, f32, f64},),}LocalParamReturn =TestCase{Name: "local_param_return",Module:SingleFunctionModule(i32_i32i32, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}LocalParamTeeReturn =TestCase{Name: "local_param_tee_return",Module:SingleFunctionModule(i32_i32i32, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalTee, 1,wasm.OpcodeLocalGet, 1,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}SwapParamAndReturn =TestCase{Name: "swap_param_and_return",Module:SingleFunctionModule(i32i32_i32i32, []byte{wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeEnd,},nil),}Selects =TestCase{Name: "swap_param_and_return",Module:SingleFunctionModule(i32i32i64i64f32f32f64f64_i32i64, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Eq,wasm.OpcodeSelect,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 1,wasm.OpcodeTypedSelect, 1,wasm.ValueTypeI64,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 5,wasm.OpcodeLocalGet, 6,wasm.OpcodeLocalGet, 7,wasm.OpcodeF64Gt,wasm.OpcodeTypedSelect, 1,wasm.ValueTypeF32,wasm.OpcodeLocalGet, 6,wasm.OpcodeLocalGet, 7,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 5,wasm.OpcodeF32Ne,wasm.OpcodeTypedSelect, 1,wasm.ValueTypeF64,wasm.OpcodeEnd,},nil),}SwapParamsAndReturn =TestCase{Name: "swap_params_and_return",Module:SingleFunctionModule(i32i32_i32i32, []byte{wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalSet, 1,wasm.OpcodeLocalSet, 0,wasm.OpcodeBlock, blockSignature_vv,wasm.OpcodeEnd,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeEnd,},nil),}BlockBr =TestCase{Name: "block_br",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeBlock, 0,wasm.OpcodeBr, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{i32, i64, f32, f64}),}BlockBrIf =TestCase{Name: "block_br_if",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeBlock, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeBrIf, 0,wasm.OpcodeUnreachable,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}LoopBr =TestCase{Name: "loop_br",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeLoop, 0,wasm.OpcodeBr, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{}),}LoopBrWithParamResults =TestCase{Name: "loop_with_param_results",Module:SingleFunctionModule(i32i32_i32, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLoop, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeBrIf, 0,wasm.OpcodeDrop,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{}),}LoopBrIf =TestCase{Name: "loop_br_if",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeLoop, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeBrIf, 0,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{}),}BlockBlockBr =TestCase{Name: "block_block_br",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeBlock, 0,wasm.OpcodeBlock, 0,wasm.OpcodeBr, 1,wasm.OpcodeEnd,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{i32, i64, f32, f64}),}IfWithoutElse =TestCase{Name: "if_without_else",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeIf, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}IfElse =TestCase{Name: "if_else",Module:SingleFunctionModule(vv, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeIf, 0,wasm.OpcodeElse,wasm.OpcodeBr, 1,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}SinglePredecessorLocalRefs =TestCase{Name: "single_predecessor_local_refs",Module: &wasm.Module{TypeSection: []wasm.FunctionType{vv, v_i32},FunctionSection: []wasm.Index{1},CodeSection: []wasm.Code{{LocalTypes: []wasm.ValueType{i32, i32, i32},Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeIf, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeReturn,wasm.OpcodeElse,wasm.OpcodeEnd,wasm.OpcodeLocalGet, 0,wasm.OpcodeEnd,},}},},}MultiPredecessorLocalRef =TestCase{Name: "multi_predecessor_local_ref",Module:SingleFunctionModule(i32i32_i32, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalSet, 2,wasm.OpcodeElse,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalSet, 2,wasm.OpcodeEnd,wasm.OpcodeLocalGet, 2,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}ReferenceValueFromUnsealedBlock =TestCase{Name: "reference_value_from_unsealed_block",Module:SingleFunctionModule(i32_i32, []byte{wasm.OpcodeLoop, blockSignature_vv,wasm.OpcodeLocalGet, 0,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeLocalGet, 0,wasm.OpcodeEnd,}, []wasm.ValueType{i32}),}ReferenceValueFromUnsealedBlock2 =TestCase{Name: "reference_value_from_unsealed_block2",Module:SingleFunctionModule(i32_i32, []byte{wasm.OpcodeLoop, blockSignature_vv,wasm.OpcodeBlock, blockSignature_vv,wasm.OpcodeLocalGet, 0,wasm.OpcodeBrIf, 1,wasm.OpcodeEnd,wasm.OpcodeEnd,wasm.OpcodeI32Const, 0,wasm.OpcodeEnd,}, []wasm.ValueType{}),}ReferenceValueFromUnsealedBlock3 =TestCase{Name: "reference_value_from_unsealed_block3",Module:SingleFunctionModule(i32_v, []byte{wasm.OpcodeLoop, blockSignature_vv,wasm.OpcodeBlock, blockSignature_vv,wasm.OpcodeLocalGet, 0,wasm.OpcodeBrIf, 2,wasm.OpcodeEnd,wasm.OpcodeI32Const, 1,wasm.OpcodeLocalSet, 0,wasm.OpcodeBr, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,}, []wasm.ValueType{}),}CallSimple =TestCase{Name: "call_simple",Module: &wasm.Module{TypeSection: []wasm.FunctionType{v_i32, v_i32},FunctionSection: []wasm.Index{0, 1},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeCall, 1,wasm.OpcodeEnd,}},{Body: []byte{wasm.OpcodeI32Const, 40,wasm.OpcodeEnd}},},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Index: 0, Type:wasm.ExternTypeFunc}},},}Call =TestCase{Name: "call",Module: &wasm.Module{TypeSection: []wasm.FunctionType{v_i32i32, v_i32, i32i32_i32, i32_i32i32},FunctionSection: []wasm.Index{0, 1, 2, 3},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeCall, 1,wasm.OpcodeI32Const, 5,wasm.OpcodeCall, 2,wasm.OpcodeCall, 3,wasm.OpcodeEnd,}},{Body: []byte{wasm.OpcodeI32Const, 40,wasm.OpcodeEnd}},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Add,wasm.OpcodeEnd}},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeEnd}},},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Index: 0, Type:wasm.ExternTypeFunc}},},}ManyMiddleValues =TestCase{Name: "many_middle_values",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, f32},Results: []wasm.ValueType{i32, f32},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 2,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 3,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 4,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 5,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 6,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 7,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 8,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 9,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 10,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 11,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 12,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 13,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 14,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 15,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 16,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 17,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 18,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 19,wasm.OpcodeI32Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 20,wasm.OpcodeI32Mul,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x80, 0x3f,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0, 0x40,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x40, 0x40,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x80, 0x40,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0xa0, 0x40,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0xc0, 0x40,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0xe0, 0x40,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x10, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x20, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x30, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x40, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x50, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x60, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x70, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x80, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x88, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x90, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0x98, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Const, 0, 0, 0xa0, 0x41,wasm.OpcodeF32Mul,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeF32Add,wasm.OpcodeEnd,},nil),}CallManyParams =TestCase{Name: "call_many_params",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i64, f32, f64}},{Params: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,},},},FunctionSection: []wasm.Index{0, 1},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeCall, 1,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeEnd}},},},}CallManyReturns =TestCase{Name: "call_many_returns",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i64, f32, f64},Results: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,},},},FunctionSection: []wasm.Index{0, 0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeCall, 1,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeEnd,}},},},}ManyParamsSmallResults =TestCase{Name: "many_params_small_results",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,},Results: []wasm.ValueType{i32, i64, f32, f64,},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 9,wasm.OpcodeLocalGet, 18,wasm.OpcodeLocalGet, 27,wasm.OpcodeEnd,},nil),}SmallParamsManyResults =TestCase{Name: "small_params_many_results",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i64, f32, f64},Results: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeEnd,},nil),}ManyParamsManyResults =TestCase{Name: "many_params_many_results",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,i32, i64, f32, f64, i32, i64, f32, f64,},Results: []wasm.ValueType{f64, f32, i64, i32, f64, f32, i64, i32,f64, f32, i64, i32, f64, f32, i64, i32,f64, f32, i64, i32, f64, f32, i64, i32,f64, f32, i64, i32, f64, f32, i64, i32,f64, f32, i64, i32, f64, f32, i64, i32,},}, []byte{wasm.OpcodeLocalGet, 39,wasm.OpcodeLocalGet, 38,wasm.OpcodeLocalGet, 37,wasm.OpcodeLocalGet, 36,wasm.OpcodeLocalGet, 35,wasm.OpcodeLocalGet, 34,wasm.OpcodeLocalGet, 33,wasm.OpcodeLocalGet, 32,wasm.OpcodeLocalGet, 31,wasm.OpcodeLocalGet, 30,wasm.OpcodeLocalGet, 29,wasm.OpcodeLocalGet, 28,wasm.OpcodeLocalGet, 27,wasm.OpcodeLocalGet, 26,wasm.OpcodeLocalGet, 25,wasm.OpcodeLocalGet, 24,wasm.OpcodeLocalGet, 23,wasm.OpcodeLocalGet, 22,wasm.OpcodeLocalGet, 21,wasm.OpcodeLocalGet, 20,wasm.OpcodeLocalGet, 19,wasm.OpcodeLocalGet, 18,wasm.OpcodeLocalGet, 17,wasm.OpcodeLocalGet, 16,wasm.OpcodeLocalGet, 15,wasm.OpcodeLocalGet, 14,wasm.OpcodeLocalGet, 13,wasm.OpcodeLocalGet, 12,wasm.OpcodeLocalGet, 11,wasm.OpcodeLocalGet, 10,wasm.OpcodeLocalGet, 9,wasm.OpcodeLocalGet, 8,wasm.OpcodeLocalGet, 7,wasm.OpcodeLocalGet, 6,wasm.OpcodeLocalGet, 5,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeEnd,},nil),}IntegerComparisons =TestCase{Name: "integer_comparisons",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Eq,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Eq,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Ne,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Ne,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32LtS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64LtS,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32LtU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64LtU,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32GtS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64GtS,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32GtU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64GtU,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32LeS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64LeS,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32LeU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64LeU,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32GeS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64GeS,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32GeU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64GeU,wasm.OpcodeEnd,}, []wasm.ValueType{}),}IntegerBitwise =TestCase{Name: "integer_bitwise",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i32, i64, i64, i64, i64, i64, i64},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32And,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Or,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Xor,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Rotr,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64And,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Or,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Xor,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Const, 8,wasm.OpcodeI64Shl,wasm.OpcodeI64Xor,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Rotl,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Rotr,wasm.OpcodeEnd,}, []wasm.ValueType{}),}IntegerShift =TestCase{Name: "integer_shift",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i32, i64, i64},Results: []wasm.ValueType{i32, i32, i64, i64, i32, i32, i64, i64, i32, i32, i64, i64},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Shl,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 31,wasm.OpcodeI32Shl,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Shl,wasm.OpcodeLocalGet, 2,wasm.OpcodeI64Const, 32,wasm.OpcodeI64Shl,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32ShrU,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 31,wasm.OpcodeI32ShrU,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64ShrU,wasm.OpcodeLocalGet, 2,wasm.OpcodeI64Const, 32,wasm.OpcodeI64ShrU,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32ShrS,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 31,wasm.OpcodeI32ShrS,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64ShrS,wasm.OpcodeLocalGet, 2,wasm.OpcodeI64Const, 32,wasm.OpcodeI64ShrS,wasm.OpcodeEnd,}, []wasm.ValueType{}),}IntegerExtensions =TestCase{Name: "integer_extensions",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i64},Results: []wasm.ValueType{i64, i64, i64, i64, i64, i32, i32},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI64ExtendI32S,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64ExtendI32U,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Extend8S,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Extend16S,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Extend32S,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Extend8S,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Extend16S,wasm.OpcodeEnd,}, []wasm.ValueType{}),}IntegerBitCounts =TestCase{Name: "integer_bit_counts",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{i32, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Clz,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Ctz,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Popcnt,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Clz,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Ctz,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Popcnt,wasm.OpcodeEnd,}, []wasm.ValueType{}),}FloatComparisons =TestCase{Name: "float_comparisons",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{f32, f32, f64, f64},Results: []wasm.ValueType{i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Eq,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Ne,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Lt,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Gt,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Le,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF32Ge,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Eq,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Ne,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Lt,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Gt,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Le,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Ge,wasm.OpcodeEnd,}, []wasm.ValueType{}),}FloatArithm =TestCase{Name: "float_arithm",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{f64, f64, f64, f32, f32, f32},Results: []wasm.ValueType{f64, f64, f64, f64, f64, f64, f64, f64, f64, f64, f64, f64,f32, f32, f32, f32, f32, f32, f32, f32, f32, f32, f32, f32,},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Neg,wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Neg,wasm.OpcodeF64Abs,wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Sqrt,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Add,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Sub,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Mul,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Div,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Nearest,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Floor,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Ceil,wasm.OpcodeLocalGet, 2,wasm.OpcodeF64Trunc,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Neg,wasm.OpcodeF64Copysign,wasm.OpcodeLocalGet, 3,wasm.OpcodeF32Neg,wasm.OpcodeLocalGet, 3,wasm.OpcodeF32Neg,wasm.OpcodeF32Abs,wasm.OpcodeLocalGet, 3,wasm.OpcodeF32Sqrt,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeF32Add,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeF32Sub,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeF32Mul,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeF32Div,wasm.OpcodeLocalGet, 5,wasm.OpcodeF32Nearest,wasm.OpcodeLocalGet, 5,wasm.OpcodeF32Floor,wasm.OpcodeLocalGet, 5,wasm.OpcodeF32Ceil,wasm.OpcodeLocalGet, 5,wasm.OpcodeF32Trunc,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeF32Neg,wasm.OpcodeF32Copysign,wasm.OpcodeEnd,}, []wasm.ValueType{}),}FloatLe =TestCase{Name: "float_le",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{f64},Results: []wasm.ValueType{i64, i64},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Const, 0, 0, 0, 0, 0, 0, 240, 63,wasm.OpcodeF64Le,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeI64Const, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Const, 0, 0, 0, 0, 0, 0, 240, 63,wasm.OpcodeF64Le,wasm.OpcodeI64ExtendI32U,wasm.OpcodeReturn,wasm.OpcodeElse,wasm.OpcodeI64Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Const, 0, 0, 0, 0, 0, 0, 240, 63,wasm.OpcodeF64Le,wasm.OpcodeI64ExtendI32U,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeUnreachable,wasm.OpcodeEnd,}, []wasm.ValueType{}),}MinMaxFloat =TestCase{Name: "min_max_float",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{f64, f64, f32, f32},Results: []wasm.ValueType{f64, f64,f32, f32,},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Min,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64Max,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF32Min,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeF32Max,wasm.OpcodeEnd,}, []wasm.ValueType{}),}FloatConversions =TestCase{Name: "float_conversions",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{f64, f32},Results: []wasm.ValueType{i64, i64, i32, i32, i64, i64, i32, i32, f32, f64},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI64TruncF64S,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64TruncF32S,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32TruncF64S,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32TruncF32S,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64TruncF64U,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64TruncF32U,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32TruncF64U,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32TruncF32U,wasm.OpcodeLocalGet, 0,wasm.OpcodeF32DemoteF64,wasm.OpcodeLocalGet, 1,wasm.OpcodeF64PromoteF32,wasm.OpcodeEnd,}, []wasm.ValueType{}),}NonTrappingFloatConversions =TestCase{Name: "float_conversions",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{f64, f32},Results: []wasm.ValueType{i64, i64, i32, i32, i64, i64, i32, i32},}, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI64TruncSatF64S,wasm.OpcodeLocalGet, 1,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI64TruncSatF32S,wasm.OpcodeLocalGet, 0,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI32TruncSatF64S,wasm.OpcodeLocalGet, 1,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI32TruncSatF32S,wasm.OpcodeLocalGet, 0,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI64TruncSatF64U,wasm.OpcodeLocalGet, 1,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI64TruncSatF32U,wasm.OpcodeLocalGet, 0,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI32TruncSatF64U,wasm.OpcodeLocalGet, 1,wasm.OpcodeMiscPrefix,wasm.OpcodeMiscI32TruncSatF32U,wasm.OpcodeEnd,}, []wasm.ValueType{}),}FibonacciRecursive =TestCase{Name: "recursive_fibonacci",Module:SingleFunctionModule(i32_i32, []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 2,wasm.OpcodeI32LtS,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeLocalGet, 0,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeI32Sub,wasm.OpcodeCall, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 2,wasm.OpcodeI32Sub,wasm.OpcodeCall, 0,wasm.OpcodeI32Add,wasm.OpcodeEnd,},nil),}ImportedFunctionCall =TestCase{Name: "imported_function_call",Imported: &wasm.Module{ExportSection: []wasm.Export{{Name: "i32_i32", Type:wasm.ExternTypeFunc}},TypeSection: []wasm.FunctionType{i32i32_i32},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Mul,wasm.OpcodeEnd,}}},NameSection: &wasm.NameSection{ModuleName: "env"},},Module: &wasm.Module{ImportFunctionCount: 1,TypeSection: []wasm.FunctionType{i32_i32, i32i32_i32},ImportSection: []wasm.Import{{Type:wasm.ExternTypeFunc, Module: "env", Name: "i32_i32", DescFunc: 1}},FunctionSection: []wasm.Index{0},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 1},{Name: "imported_exported", Type:wasm.ExternTypeFunc, Index: 0},},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeCall, 0,wasm.OpcodeEnd,}}},},}MemoryStoreBasic =TestCase{Name: "memory_load_basic",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32}, Results: []wasm.ValueType{i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Store, 0x2, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load, 0x2, 0x0,wasm.OpcodeEnd,}}},},}MemoryStores =TestCase{Name: "memory_load_basic",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i64, f32, f64}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Store, 0x2, 0x0,wasm.OpcodeI32Const, 8,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Store, 0x3, 0x0,wasm.OpcodeI32Const, 16,wasm.OpcodeLocalGet, 2,wasm.OpcodeF32Store, 0x2, 0x0,wasm.OpcodeI32Const, 24,wasm.OpcodeLocalGet, 3,wasm.OpcodeF64Store, 0x3, 0x0,wasm.OpcodeI32Const, 32,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Store8, 0x0, 0,wasm.OpcodeI32Const, 40,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Store16, 0x1, 0,wasm.OpcodeI32Const, 48,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Store8, 0x0, 0,wasm.OpcodeI32Const, 56,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Store16, 0x1, 0,wasm.OpcodeI32Const, 0xc0, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Store32, 0x2, 0,wasm.OpcodeEnd,}}},},}MemoryLoadBasic =TestCase{Name: "memory_load_basic",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32},Results: []wasm.ValueType{i32},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load, 0x2, 0x0,wasm.OpcodeEnd,}}},DataSection: []wasm.DataSegment{{OffsetExpression: constExprI32(0), Init: maskedBuf(int(wasm.MemoryPageSize))}},},}MemorySizeGrow =TestCase{Name: "memory_size_grow",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Results: []wasm.ValueType{i32, i32, i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 2, IsMaxEncoded:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 1,wasm.OpcodeMemoryGrow, 0,wasm.OpcodeMemorySize, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeMemoryGrow, 0,wasm.OpcodeEnd,}}},},}MemoryLoadBasic2 =TestCase{Name: "memory_load_basic2",Module: &wasm.Module{TypeSection: []wasm.FunctionType{i32_i32, {}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1},FunctionSection: []wasm.Index{0, 1},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeI32Eq,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeCall, 0x1,wasm.OpcodeElse,wasm.OpcodeEnd,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load, 0x2, 0x0,wasm.OpcodeEnd,}},{Body: []byte{wasm.OpcodeEnd}},},DataSection: []wasm.DataSegment{{OffsetExpression: constExprI32(0), Init: maskedBuf(int(wasm.MemoryPageSize))}},},}ImportedMemoryGrow =TestCase{Name: "imported_memory_grow",Imported: &wasm.Module{ExportSection: []wasm.Export{{Name: "mem", Type:wasm.ExternTypeMemory, Index: 0},{Name: "size", Type:wasm.ExternTypeFunc, Index: 0},},MemorySection: &wasm.Memory{Min: 1},TypeSection: []wasm.FunctionType{v_i32},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeMemorySize, 0,wasm.OpcodeEnd}}},DataSection: []wasm.DataSegment{{OffsetExpression: constExprI32(0), Init: maskedBuf(int(wasm.MemoryPageSize))}},NameSection: &wasm.NameSection{ModuleName: "env"},},Module: &wasm.Module{ImportMemoryCount: 1,ImportFunctionCount: 1,ImportSection: []wasm.Import{{Module: "env", Name: "mem", Type:wasm.ExternTypeMemory, DescMem: &wasm.Memory{Min: 1}},{Module: "env", Name: "size", Type:wasm.ExternTypeFunc, DescFunc: 0},},TypeSection: []wasm.FunctionType{v_i32, {Results: []wasm.ValueType{i32, i32, i32, i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 1}},FunctionSection: []wasm.Index{1},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeCall, 0,wasm.OpcodeMemorySize, 0,wasm.OpcodeI32Const, 10,wasm.OpcodeMemoryGrow, 0,wasm.OpcodeDrop,wasm.OpcodeCall, 0,wasm.OpcodeMemorySize, 0,wasm.OpcodeEnd,}},},},}GlobalsGet =TestCase{Name: "globals_get",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Results: []wasm.ValueType{i32, i64, f32, f64, v128}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},GlobalSection: []wasm.Global{{Type:wasm.GlobalType{ValType:wasm.ValueTypeI32, Mutable:false},Init: constExprI32(math.MinInt32),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeI64, Mutable:false},Init: constExprI64(math.MinInt64),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeF32, Mutable:false},Init: constExprF32(math.MaxFloat32),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeF64, Mutable:false},Init: constExprF64(math.MaxFloat64),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeV128, Mutable:false},Init: constExprV128(1234, 5678),},},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeGlobalGet, 0,wasm.OpcodeGlobalGet, 1,wasm.OpcodeGlobalGet, 2,wasm.OpcodeGlobalGet, 3,wasm.OpcodeGlobalGet, 4,wasm.OpcodeEnd,}},},},}GlobalsSet =TestCase{Name: "globals_set",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Results: []wasm.ValueType{i32, i64, f32, f64, v128}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},GlobalSection: []wasm.Global{{Type:wasm.GlobalType{ValType:wasm.ValueTypeI32, Mutable:true},Init: constExprI32(0),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeI64, Mutable:true},Init: constExprI64(0),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeF32, Mutable:true},Init: constExprF32(0),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeF64, Mutable:true},Init: constExprF64(0),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeV128, Mutable:true},Init: constExprV128(0, 0),},},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 1,wasm.OpcodeGlobalSet, 0,wasm.OpcodeGlobalGet, 0,wasm.OpcodeI64Const, 2,wasm.OpcodeGlobalSet, 1,wasm.OpcodeGlobalGet, 1,wasm.OpcodeF32Const, 0, 0, 64, 64,wasm.OpcodeGlobalSet, 2,wasm.OpcodeGlobalGet, 2,wasm.OpcodeF64Const, 0, 0, 0, 0, 0, 0, 16, 64,wasm.OpcodeGlobalSet, 3,wasm.OpcodeGlobalGet, 3,wasm.OpcodeVecPrefix,wasm.OpcodeVecV128Const,10, 0, 0, 0, 0, 0, 0, 0, 20, 0, 0, 0, 0, 0, 0, 0,wasm.OpcodeGlobalSet, 4,wasm.OpcodeGlobalGet, 4,wasm.OpcodeEnd,}},},},}GlobalsMutable =TestCase{Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Results: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64}},{},},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0, 1},GlobalSection: []wasm.Global{{Type:wasm.GlobalType{ValType:wasm.ValueTypeI32, Mutable:true},Init: constExprI32(100),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeI64, Mutable:true},Init: constExprI64(200),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeF32, Mutable:true},Init: constExprF32(300.0),},{Type:wasm.GlobalType{ValType:wasm.ValueTypeF64, Mutable:true},Init: constExprF64(400.0),},},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeGlobalGet, 0,wasm.OpcodeGlobalGet, 1,wasm.OpcodeGlobalGet, 2,wasm.OpcodeGlobalGet, 3,wasm.OpcodeCall, 1,wasm.OpcodeGlobalGet, 0,wasm.OpcodeGlobalGet, 1,wasm.OpcodeGlobalGet, 2,wasm.OpcodeGlobalGet, 3,wasm.OpcodeEnd,}},{Body: []byte{wasm.OpcodeI32Const, 1,wasm.OpcodeGlobalSet, 0,wasm.OpcodeI64Const, 2,wasm.OpcodeGlobalSet, 1,wasm.OpcodeF32Const, 0, 0, 64, 64,wasm.OpcodeGlobalSet, 2,wasm.OpcodeF64Const, 0, 0, 0, 0, 0, 0, 16, 64,wasm.OpcodeGlobalSet, 3,wasm.OpcodeReturn,wasm.OpcodeEnd,}},},},}MemoryLoads =TestCase{Name: "memory_loads",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32},Results: []wasm.ValueType{i32, i64, f32, f64, i32, i64, f32, f64,i32, i32, i32, i32, i32, i32, i32, i32,i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64,},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load, 0x2, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load, 0x3, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeF32Load, 0x2, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Load, 0x3, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load, 0x2, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load, 0x3, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeF32Load, 0x2, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeF64Load, 0x3, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load8S, 0x0, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load8S, 0x0, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load8U, 0x0, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load8U, 0x0, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load16S, 0x1, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load16S, 0x1, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load16U, 0x1, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Load16U, 0x1, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load8S, 0x0, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load8S, 0x0, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load8U, 0x0, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load8U, 0x0, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load16S, 0x1, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load16S, 0x1, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load16U, 0x1, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load16U, 0x1, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load32S, 0x2, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load32S, 0x2, 0xf,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load32U, 0x2, 0x0,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Load32U, 0x2, 0xf,wasm.OpcodeEnd,}}},DataSection: []wasm.DataSegment{{OffsetExpression: constExprI32(0), Init: maskedBuf(int(wasm.MemoryPageSize))}},},}CallIndirect =TestCase{Module: &wasm.Module{TypeSection: []wasm.FunctionType{i32_i32, {}, v_i32, v_i32i32},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0, 1, 2, 3},TableSection: []wasm.Table{{Type:wasm.RefTypeFuncref, Min: 1000}},ElementSection: []wasm.ElementSegment{{OffsetExpr: constExprI32(0), TableIndex: 0, Type:wasm.RefTypeFuncref, Mode:wasm.ElementModeActive,Init: []wasm.Index{1, 2, 3},},},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeCallIndirect, 2, 0,wasm.OpcodeEnd,}},{Body: []byte{wasm.OpcodeEnd}},{Body: []byte{wasm.OpcodeI32Const, 10,wasm.OpcodeEnd}},{Body: []byte{wasm.OpcodeI32Const, 1,wasm.OpcodeI32Const, 1,wasm.OpcodeEnd}},},},}BrTable =TestCase{Module: &wasm.Module{TypeSection: []wasm.FunctionType{i32_i32, {}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeBrTable,6,0, 1, 2, 3, 4, 5,0,wasm.OpcodeEnd,wasm.OpcodeI32Const, 11,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 12,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 13,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 14,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 15,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 16,wasm.OpcodeReturn,wasm.OpcodeEnd,}},},},}BrTableWithArg =TestCase{Name: "br_table_with_arg",Module: &wasm.Module{TypeSection: []wasm.FunctionType{i32i32_i32, v_i32},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeBlock, 1,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeBrTable,6,0, 1, 2, 3, 4, 5,0,wasm.OpcodeEnd,wasm.OpcodeI32Const, 11,wasm.OpcodeI32Add,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 12,wasm.OpcodeI32Add,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 13,wasm.OpcodeI32Add,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 14,wasm.OpcodeI32Add,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 15,wasm.OpcodeI32Add,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeI32Const, 16,wasm.OpcodeI32Add,wasm.OpcodeReturn,wasm.OpcodeUnreachable,wasm.OpcodeEnd,}},},},}IfThenEndNestingUnreachableIfThenElseEnd =TestCase{Name: "if_then_end_nesting_unreachable_if_then_else_end",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{f64, f64, f64}},{Results: []wasm.ValueType{i64}},},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 4554},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeBlock, 1,wasm.OpcodeMemorySize, 0,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeMemorySize, 0,wasm.OpcodeBr, 0x0,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeElse,wasm.OpcodeEnd,wasm.OpcodeDrop,wasm.OpcodeEnd,wasm.OpcodeI64Const, 0,wasm.OpcodeEnd,wasm.OpcodeDrop,wasm.OpcodeEnd,}}},},}VecBitSelect =TestCase{Name: "vector_bit_select",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{v128, v128, v128}, Results: []wasm.ValueType{v128, v128}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeVecPrefix,wasm.OpcodeVecV128Bitselect,wasm.OpcodeLocalGet, 2,wasm.OpcodeEnd,}}},},}VecShuffle =TestCase{Name: "shuffle",Module:VecShuffleWithLane(0, 1, 2, 3, 4, 5, 6, 7, 24, 25, 26, 27, 28, 29, 30, 31),}MemoryWait32 =TestCase{Name: "memory_wait32",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i64}, Results: []wasm.ValueType{i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicMemoryWait32, 0x1, 8,wasm.OpcodeEnd,}}},},}MemoryWait64 =TestCase{Name: "memory_wait64",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i64, i64}, Results: []wasm.ValueType{i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicMemoryWait64, 0x2, 8,wasm.OpcodeEnd,}}},},}MemoryNotify =TestCase{Name: "memory_notify",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32}, Results: []wasm.ValueType{i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicMemoryNotify, 0x1, 8,wasm.OpcodeEnd,}}},},}AtomicRmwAdd =TestCase{Name: "atomic_rmw_add",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8AddU, 0x0, 0,wasm.OpcodeI32Const, 8,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16AddU, 0x1, 0,wasm.OpcodeI32Const, 16,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwAdd, 0x2, 0,wasm.OpcodeI32Const, 24,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8AddU, 0x0, 0,wasm.OpcodeI32Const, 32,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16AddU, 0x1, 0,wasm.OpcodeI32Const, 40,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32AddU, 0x2, 0,wasm.OpcodeI32Const, 48,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwAdd, 0x3, 0,wasm.OpcodeEnd,}}},},}AtomicRmwSub =TestCase{Name: "atomic_rmw_sub",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8SubU, 0x0, 0,wasm.OpcodeI32Const, 8,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16SubU, 0x1, 0,wasm.OpcodeI32Const, 16,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwSub, 0x2, 0,wasm.OpcodeI32Const, 24,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8SubU, 0x0, 0,wasm.OpcodeI32Const, 32,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16SubU, 0x1, 0,wasm.OpcodeI32Const, 40,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32SubU, 0x2, 0,wasm.OpcodeI32Const, 48,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwSub, 0x3, 0,wasm.OpcodeEnd,}}},},}AtomicRmwAnd =TestCase{Name: "atomic_rmw_and",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8AndU, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16AndU, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwAnd, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8AndU, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16AndU, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32AndU, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwAnd, 0x3, 48,wasm.OpcodeEnd,}}},},}AtomicRmwOr =TestCase{Name: "atomic_rmw_or",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8OrU, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16OrU, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwOr, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8OrU, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16OrU, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32OrU, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwOr, 0x3, 48,wasm.OpcodeEnd,}}},},}AtomicRmwXor =TestCase{Name: "atomic_rmw_xor",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8XorU, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16XorU, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwXor, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8XorU, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16XorU, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32XorU, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwXor, 0x3, 48,wasm.OpcodeEnd,}}},},}AtomicRmwXchg =TestCase{Name: "atomic_rmw_xchg",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8XchgU, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16XchgU, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwXchg, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8XchgU, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16XchgU, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32XchgU, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwXchg, 0x3, 48,wasm.OpcodeEnd,}}},},}AtomicStoreLoad =TestCase{Name: "atomic_store_load",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Store8, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Load8U, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Store16, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Load16U, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Store, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Load, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Store8, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Load8U, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Store16, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Load16U, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Store32, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Load32U, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Store, 0x3, 48,wasm.OpcodeI32Const, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Load, 0x3, 48,wasm.OpcodeEnd,}}},},}AtomicCas =TestCase{Name: "atomic_cas",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8CmpxchgU, 0x0, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16CmpxchgU, 0x1, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwCmpxchg, 0x2, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeLocalGet, 7,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8CmpxchgU, 0x0, 24,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 8,wasm.OpcodeLocalGet, 9,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16CmpxchgU, 0x1, 32,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 10,wasm.OpcodeLocalGet, 11,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32CmpxchgU, 0x2, 40,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 12,wasm.OpcodeLocalGet, 13,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwCmpxchg, 0x3, 48,wasm.OpcodeEnd,}}},},}AtomicCasConst0 =TestCase{Name: "atomic_cas_const0",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},Results: []wasm.ValueType{i32, i32, i32, i64, i64, i64, i64},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeI32Const, 0,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 0,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw8CmpxchgU, 0x0, 0,wasm.OpcodeI32Const, 8,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32Rmw16CmpxchgU, 0x1, 0,wasm.OpcodeI32Const, 16,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI32RmwCmpxchg, 0x2, 0,wasm.OpcodeI32Const, 24,wasm.OpcodeI64Const, 0,wasm.OpcodeLocalGet, 3,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw8CmpxchgU, 0x0, 0,wasm.OpcodeI32Const, 32,wasm.OpcodeI64Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw16CmpxchgU, 0x1, 0,wasm.OpcodeI32Const, 40,wasm.OpcodeI64Const, 0,wasm.OpcodeLocalGet, 5,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64Rmw32CmpxchgU, 0x2, 0,wasm.OpcodeI32Const, 48,wasm.OpcodeI64Const, 0,wasm.OpcodeLocalGet, 6,wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicI64RmwCmpxchg, 0x3, 0,wasm.OpcodeEnd,}}},},}AtomicFence =TestCase{Name: "atomic_fence",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{},Results: []wasm.ValueType{},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},MemorySection: &wasm.Memory{Min: 1, Max: 1, IsMaxEncoded:true, IsShared:true},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicFence, 0,wasm.OpcodeEnd,}}},},}AtomicFenceNoMemory =TestCase{Name: "atomic_fence",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{},Results: []wasm.ValueType{},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeAtomicPrefix,wasm.OpcodeAtomicFence, 0,wasm.OpcodeEnd,}}},},}IcmpAndZero =TestCase{Name: "icmp_and_zero",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32}, Results: []wasm.ValueType{i32}}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32And,wasm.OpcodeI32Eqz,wasm.OpcodeIf, blockSignature_vv,wasm.OpcodeI32Const, 1,wasm.OpcodeReturn,wasm.OpcodeElse,wasm.OpcodeI32Const, 0,wasm.OpcodeReturn,wasm.OpcodeEnd,wasm.OpcodeUnreachable,wasm.OpcodeEnd,}}},},}FibonacciTailRecursive =TestCase{Name: "tail_recursive_fibonacci",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{wasm.ValueTypeI32,wasm.ValueTypeI32,wasm.ValueTypeI32}, Results: []wasm.ValueType{wasm.ValueTypeI32}},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Eqz,wasm.OpcodeIf, 0x7f,wasm.OpcodeLocalGet, 1,wasm.OpcodeElse,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeI32Eq,wasm.OpcodeIf, 0x7f,wasm.OpcodeLocalGet, 2,wasm.OpcodeElse,wasm.OpcodeLocalGet, 0,wasm.OpcodeI32Const, 1,wasm.OpcodeI32Sub,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeI32Add,wasm.OpcodeTailCallReturnCall, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,wasm.OpcodeEnd,},nil,),}CountTailRecursive =TestCase{Name: "tail_recursive_count",Module:SingleFunctionModule(wasm.FunctionType{Params: []wasm.ValueType{wasm.ValueTypeI64,wasm.ValueTypeI64},Results: []wasm.ValueType{wasm.ValueTypeI64},},[]byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Eqz,wasm.OpcodeIf, 0x7e,wasm.OpcodeLocalGet, 1,wasm.OpcodeElse,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Const, 1,wasm.OpcodeI64Sub,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Const, 1,wasm.OpcodeI64Add,wasm.OpcodeTailCallReturnCall, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,},nil,),}// CountTailRecursiveTwoResults is a tail recursive function returning two arguments: (n, acc)CountTailRecursiveTwoResults =TestCase{Name: "tail_recursive_count_two_results",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{wasm.ValueTypeI64,wasm.ValueTypeI64},Results: []wasm.ValueType{wasm.ValueTypeI64,wasm.ValueTypeI64},},{Params: []wasm.ValueType{},Results: []wasm.ValueType{wasm.ValueTypeI64,wasm.ValueTypeI64},},},FunctionSection: []wasm.Index{0},CodeSection: []wasm.Code{{LocalTypes:nil,Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Eqz,wasm.OpcodeIf, 1,wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeReturn,wasm.OpcodeElse,wasm.OpcodeLocalGet, 0,wasm.OpcodeI64Const, 1,wasm.OpcodeI64Sub,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Const, 1,wasm.OpcodeI64Add,wasm.OpcodeTailCallReturnCall, 0,wasm.OpcodeEnd,wasm.OpcodeEnd,},}},ExportSection: []wasm.Export{{Name:ExportedFunctionName, Type:wasm.ExternTypeFunc, Index: 0}},},}// TailCallCompatibleSignatures tests a tail call between functions with compatible but different signatures.// - entry: (a, b, c, d) -> calls tail_caller(a, b, c + d) with a normal call// - tail_caller: (a, b, c) -> tail calls tail_callee(a + c, b)// - tail_callee: (x, y) -> calls helper(x, y) and returns its result// - helper: (x, y) -> returns x * yTailCallCompatibleSignatures =TestCase{Name: "tail_call_compatible_signatures",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32}, Results: []wasm.ValueType{i32}},{Params: []wasm.ValueType{i32, i32}, Results: []wasm.ValueType{i32}},{Params: []wasm.ValueType{i32, i32, i32}, Results: []wasm.ValueType{i32}},{Params: []wasm.ValueType{i32, i32, i32, i32}, Results: []wasm.ValueType{i32}},},FunctionSection: []wasm.Index{3, 2, 1, 0},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI32Add,wasm.OpcodeCall, 1,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 2,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 1,wasm.OpcodeTailCallReturnCall, 2,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeCall, 3,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Mul,wasm.OpcodeEnd,},},},ExportSection: []wasm.Export{{Name:ExportedFunctionName,Type:wasm.ExternTypeFunc,Index: 0,}},},}// TailCallMoreParams tests tail calls where the callee has more parameters than the caller.// This reproduces the ARM64 bug where current=0, callee=16 stack slot sizes cause return value corruption// - entry: () -> calls tail_caller() with no parameters// - tail_caller: () -> tail calls tail_callee(1, 2, 3, 4, 5, 6, 7, 8, 9) with many stack args// - tail_callee: returns multiple values that should be (10, 26) but get corrupted on ARM64TailCallMoreParams =TestCase{Name: "tail_call_more_params",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{}, Results: []wasm.ValueType{i64, i64}},{Params: []wasm.ValueType{i64, i64, i64, i64, i64, i64, i64, i64, i64}, Results: []wasm.ValueType{i64, i64}},},FunctionSection: []wasm.Index{0, 0, 1},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeCall, 1,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeI64Const, 1,wasm.OpcodeI64Const, 2,wasm.OpcodeI64Const, 3,wasm.OpcodeI64Const, 4,wasm.OpcodeI64Const, 5,wasm.OpcodeI64Const, 6,wasm.OpcodeI64Const, 7,wasm.OpcodeI64Const, 8,wasm.OpcodeI64Const, 9,wasm.OpcodeTailCallReturnCall, 2,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 2,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 3,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 5,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 6,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 7,wasm.OpcodeI64Add,wasm.OpcodeLocalGet, 8,wasm.OpcodeI64Add,wasm.OpcodeEnd,},},},ExportSection: []wasm.Export{{Name:ExportedFunctionName,Type:wasm.ExternTypeFunc,Index: 0,}},},}// TailCallManyParams is a tail call that uses stack space as well as registers on both// the amd64 and the arm64 ABIs to use. In these cases we fall back to a plain function call.TailCallManyParams =TestCase{Name: "tail_call_sqlite_pattern",Module: &wasm.Module{TypeSection: []wasm.FunctionType{{Params: []wasm.ValueType{i32, i32, i32, i32, i32, i32, i32}, Results: []wasm.ValueType{i32}},{Params: []wasm.ValueType{i32, i32, i32, i32, i32, i32, i32, i32}, Results: []wasm.ValueType{i32}},},FunctionSection: []wasm.Index{0, 0, 1},CodeSection: []wasm.Code{{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 5,wasm.OpcodeLocalGet, 6,wasm.OpcodeCall, 1,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeLocalGet, 2,wasm.OpcodeLocalGet, 3,wasm.OpcodeI32Const, 31,wasm.OpcodeI32And,wasm.OpcodeI32Const, 0x80, 1,wasm.OpcodeI32Or,wasm.OpcodeI32Const, 0,wasm.OpcodeLocalGet, 4,wasm.OpcodeLocalGet, 5,wasm.OpcodeLocalGet, 6,wasm.OpcodeTailCallReturnCall, 2,wasm.OpcodeEnd,},},{Body: []byte{wasm.OpcodeLocalGet, 0,wasm.OpcodeLocalGet, 1,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 2,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 3,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 4,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 5,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 6,wasm.OpcodeI32Add,wasm.OpcodeLocalGet, 7,wasm.OpcodeI32Add,wasm.OpcodeEnd,},},},ExportSection: []wasm.Export{{Name:ExportedFunctionName,Type:wasm.ExternTypeFunc,Index: 0,}},},})
Functions¶
funcVecShuffleWithLane¶added inv1.6.0
VecShuffleWithLane returns a VecShuffle test with a custom 16-bytes immediate (lane indexes).
Types¶
Source Files Click to show internal directories.
Click to hide internal directories.