Beispiel #1
0
def instantiate_test_module(store):
    def test__func(store, arg):
        pass

    def test__func_i32(store, arg):
        pass

    def test__func_f32(store, arg):
        pass

    def test__func__i32(store, arg):
        pass

    def test__func__f32(store, arg):
        pass

    def test__func_i32_i32(store, arg):
        pass

    def test__func_i64_i64(store, arg):
        pass

    wasm.alloc_func(store, [[], []], test__func)
    wasm.alloc_func(store, [["i32"], []], test__func_i32)
    wasm.alloc_func(store, [["f32"], []], test__func_f32)
    wasm.alloc_func(store, [[], ["i32"]], test__func__i32)
    wasm.alloc_func(store, [[], ["f32"]], test__func__f32)
    wasm.alloc_func(store, [["i32"], ["i32"]], test__func_i32_i32)
    wasm.alloc_func(store, [["i64"], ["i64"]], test__func_i64_i64)
    wasm.alloc_mem(store, Limits(1, None))
    wasm.alloc_global(store, ["const", "i32"], 666)
    wasm.alloc_global(store, ["const", "f32"], 0.0)
    wasm.alloc_table(store, TableType(Limits(10, None), FuncRef))
    moduleinst = {
        "types": [
            [["i32"], []],
            [["f32"], []],
            [[], ["i32"]],
            [[], ["f32"]],
            [["i32"], ["i32"]],
            [["i64"], ["i64"]],
        ],
        "funcaddrs": [0, 1, 2, 3, 4, 5, 6],
        "tableaddrs": [0],
        "memaddrs": [0],
        "globaladdrs": [0, 1],
        "exports": [
            {"name": "func", "value": ["func", 0]},
            {"name": "func_i32", "value": ["func", 1]},
            {"name": "func_f32", "value": ["func", 2]},
            {"name": "func__i32", "value": ["func", 3]},
            {"name": "func__f32", "value": ["func", 4]},
            {"name": "func__i32_i32", "value": ["func", 5]},
            {"name": "func__i64_i64", "value": ["func", 6]},
            {"name": "memory-2-inf", "value": ["mem", 0]},
            {"name": "global-i32", "value": ["global", 0]},
            {"name": "global-f32", "value": ["global", 1]},
            {"name": "table-10-inf", "value": ["table", 0]},
        ],
    }
    return moduleinst
Beispiel #2
0
def instantiate_spectest_module(store):
    logger = logging.getLogger("wasm.tools.fixtures.modules.spectest")

    def spectest__print_i32(store, arg):
        logger.debug('print_i32: %s', arg)
        return store, []

    def spectest__print_i64(store, arg):
        logger.debug('print_i64: %s', arg)
        return store, []

    def spectest__print_f32(store, arg):
        logger.debug('print_f32: %s', arg)
        return store, []

    def spectest__print_f64(store, arg):
        logger.debug('print_f64: %s', arg)
        return store, []

    def spectest__print_i32_f32(store, arg):
        logger.debug('print_i32_f32: %s', arg)
        return store, []

    def spectest__print_f64_f64(store, arg):
        logger.debug('print_f64_f64: %s', arg)
        return store, []

    def spectest__print(store, arg):
        logger.debug('print: %s', arg)
        return store, []

    wasm.alloc_func(store, [["i32"], []], spectest__print_i32)
    wasm.alloc_func(store, [["i64"], []], spectest__print_i64)
    wasm.alloc_func(store, [["f32"], []], spectest__print_f32)
    wasm.alloc_func(store, [["f64"], []], spectest__print_f64)
    wasm.alloc_func(store, [["i32", "f32"], []], spectest__print_i32_f32)
    wasm.alloc_func(store, [["f64", "f64"], []], spectest__print_f64_f64)
    wasm.alloc_func(store, [[], []], spectest__print)
    wasm.alloc_mem(store, Limits(1, 2))  # min:1,max:2 required by import.wast:
    wasm.alloc_global(store, ["const", "i32"], 666)  # 666 required by import.wast
    wasm.alloc_global(store, ["const", "f32"], 0.0)
    wasm.alloc_global(store, ["const", "f64"], 0.0)
    wasm.alloc_table(
        store, TableType(Limits(10, 20), FuncRef)
    )  # max was 30, changed to 20 for import.wast
    moduleinst = {
        "types": [
            [["i32"], []],
            [["i64"], []],
            [["i32"], []],
            [["f64"], []],
            [["i32", "f32"], []],
            [["f64", "f64"], []],
            [[], []],
        ],
        "funcaddrs": [0, 1, 2, 3, 4, 5, 6],
        "tableaddrs": [0],
        "memaddrs": [0],
        "globaladdrs": [0, 1, 2],
        "exports": [
            {"name": "print_i32", "value": ["func", 0]},
            {"name": "print_i64", "value": ["func", 1]},
            {"name": "print_f32", "value": ["func", 2]},
            {"name": "print_f64", "value": ["func", 3]},
            {"name": "print_i32_f32", "value": ["func", 4]},
            {"name": "print_f64_f64", "value": ["func", 5]},
            {"name": "print", "value": ["func", 6]},
            {"name": "memory", "value": ["mem", 0]},
            {"name": "global_i32", "value": ["global", 0]},
            {"name": "global_f32", "value": ["global", 1]},
            {"name": "global_f64", "value": ["global", 2]},
            {"name": "table", "value": ["table", 0]},
        ],
    }
    return moduleinst
Beispiel #3
0
def instantiate_spectest_module(store: Store) -> ModuleInstance:
    logger = logging.getLogger("wasm.tools.fixtures.modules.spectest")

    def spectest__print_i32(store, arg):
        logger.debug('print_i32: %s', arg)
        return store, []

    def spectest__print_i64(store, arg):
        logger.debug('print_i64: %s', arg)
        return store, []

    def spectest__print_f32(store, arg):
        logger.debug('print_f32: %s', arg)
        return store, []

    def spectest__print_f64(store, arg):
        logger.debug('print_f64: %s', arg)
        return store, []

    def spectest__print_i32_f32(store, arg):
        logger.debug('print_i32_f32: %s', arg)
        return store, []

    def spectest__print_f64_f64(store, arg):
        logger.debug('print_f64_f64: %s', arg)
        return store, []

    def spectest__print(store, arg):
        logger.debug('print: %s', arg)
        return store, []

    wasm.alloc_func(store, FunctionType((ValType.i32, ), ()),
                    spectest__print_i32)
    wasm.alloc_func(store, FunctionType((ValType.i64, ), ()),
                    spectest__print_i64)
    wasm.alloc_func(store, FunctionType((ValType.f32, ), ()),
                    spectest__print_f32)
    wasm.alloc_func(store, FunctionType((ValType.f64, ), ()),
                    spectest__print_f64)
    wasm.alloc_func(store, FunctionType((ValType.i32, ValType.f32), ()),
                    spectest__print_i32_f32)
    wasm.alloc_func(store, FunctionType((ValType.f64, ValType.f64), ()),
                    spectest__print_f64_f64)
    wasm.alloc_func(store, FunctionType((), ()), spectest__print)

    # min:1,max:2 required by import.wast:
    wasm.alloc_mem(store, MemoryType(UInt32(1), UInt32(2)))

    # 666 required by import.wast
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.i32), 666)

    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.f32), 0.0)
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.f64), 0.0)
    wasm.alloc_table(
        store, TableType(
            Limits(UInt32(10), UInt32(20)),
            FunctionAddress))  # max was 30, changed to 20 for import.wast
    moduleinst = ModuleInstance(
        types=(
            FunctionType((ValType.i32, ), ()),
            FunctionType((ValType.i64, ), ()),
            FunctionType((ValType.f32, ), ()),
            FunctionType((ValType.f64, ), ()),
            FunctionType((ValType.i32, ValType.f32), ()),
            FunctionType((ValType.f64, ValType.f64), ()),
            FunctionType((), ()),
        ),
        func_addrs=tuple(FunctionAddress(idx) for idx in range(7)),
        table_addrs=(TableAddress(0), ),
        memory_addrs=(MemoryAddress(0), ),
        global_addrs=(GlobalAddress(0), GlobalAddress(1)),
        exports=(
            ExportInstance("print_i32", FunctionAddress(0)),
            ExportInstance("print_i64", FunctionAddress(1)),
            ExportInstance("print_f32", FunctionAddress(2)),
            ExportInstance("print_f64", FunctionAddress(3)),
            ExportInstance("print_i32_f32", FunctionAddress(4)),
            ExportInstance("print_f64_f64", FunctionAddress(5)),
            ExportInstance("print", FunctionAddress(6)),
            ExportInstance("memory", MemoryAddress(0)),
            ExportInstance("global_i32", GlobalAddress(0)),
            ExportInstance("global_f32", GlobalAddress(1)),
            ExportInstance("global_f64", GlobalAddress(2)),
            ExportInstance("table", TableAddress(0)),
        ),
    )
    return moduleinst
Beispiel #4
0
def instantiate_test_module(store):
    def test__func(store, arg):
        pass

    def test__func_i32(store, arg):
        pass

    def test__func_f32(store, arg):
        pass

    def test__func__i32(store, arg):
        pass

    def test__func__f32(store, arg):
        pass

    def test__func_i32_i32(store, arg):
        pass

    def test__func_i64_i64(store, arg):
        pass

    wasm.alloc_func(store, FunctionType((), ()), test__func)
    wasm.alloc_func(store, FunctionType((ValType.i32, ), ()), test__func_i32)
    wasm.alloc_func(store, FunctionType((ValType.f32, ), ()), test__func_f32)
    wasm.alloc_func(store, FunctionType((), (ValType.i32, )), test__func__i32)
    wasm.alloc_func(store, FunctionType((), (ValType.f32, )), test__func__f32)
    wasm.alloc_func(store, FunctionType((ValType.i32, ), (ValType.i32, )),
                    test__func_i32_i32)
    wasm.alloc_func(store, FunctionType((ValType.i64, ), (ValType.i64, )),
                    test__func_i64_i64)
    wasm.alloc_mem(store, MemoryType(1, None))
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.i32), 666)
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.f32), 0.0)
    wasm.alloc_table(store, TableType(Limits(10, None), FunctionAddress))
    moduleinst = ModuleInstance(
        types=(
            FunctionType((), ()),
            FunctionType((ValType.i32, ), ()),
            FunctionType((ValType.f32, ), ()),
            FunctionType((), (ValType.i32, )),
            FunctionType((), (ValType.f32, )),
            FunctionType((ValType.i32, ), (ValType.i32, )),
            FunctionType((ValType.i64, ), (ValType.i64, )),
        ),
        func_addrs=tuple(FunctionAddress(idx) for idx in range(7)),
        table_addrs=(TableAddress(0), ),
        memory_addrs=(MemoryAddress(0), ),
        global_addrs=(GlobalAddress(0), GlobalAddress(1)),
        exports=(
            ExportInstance("func", FunctionAddress(0)),
            ExportInstance("func_i32", FunctionAddress(1)),
            ExportInstance("func_f32", FunctionAddress(2)),
            ExportInstance("func__i32", FunctionAddress(3)),
            ExportInstance("func__f32", FunctionAddress(4)),
            ExportInstance("func__i32_i32", FunctionAddress(5)),
            ExportInstance("func__i64_i64", FunctionAddress(6)),
            ExportInstance("memory-2-inf", MemoryAddress(0)),
            ExportInstance("global-i32", GlobalAddress(0)),
            ExportInstance("global-f32", GlobalAddress(1)),
            ExportInstance("table-10-inf", TableAddress(0)),
        ),
    )
    return moduleinst
Beispiel #5
0
def instantiate_spectest_module(store):
    logger = logging.getLogger("wasm.tools.fixtures.modules.spectest")

    def spectest__print_i32(store, arg):
        logger.debug('print_i32: %s', arg)
        return store, []

    def spectest__print_i64(store, arg):
        logger.debug('print_i64: %s', arg)
        return store, []

    def spectest__print_f32(store, arg):
        logger.debug('print_f32: %s', arg)
        return store, []

    def spectest__print_f64(store, arg):
        logger.debug('print_f64: %s', arg)
        return store, []

    def spectest__print_i32_f32(store, arg):
        logger.debug('print_i32_f32: %s', arg)
        return store, []

    def spectest__print_f64_f64(store, arg):
        logger.debug('print_f64_f64: %s', arg)
        return store, []

    def spectest__print(store, arg):
        logger.debug('print: %s', arg)
        return store, []

    wasm.alloc_func(store, FuncType((ValType.i32, ), ()), spectest__print_i32)
    wasm.alloc_func(store, FuncType((ValType.i64, ), ()), spectest__print_i64)
    wasm.alloc_func(store, FuncType((ValType.f32, ), ()), spectest__print_f32)
    wasm.alloc_func(store, FuncType((ValType.f64, ), ()), spectest__print_f64)
    wasm.alloc_func(store, FuncType((ValType.i32, ValType.f32), ()),
                    spectest__print_i32_f32)
    wasm.alloc_func(store, FuncType((ValType.f64, ValType.f64), ()),
                    spectest__print_f64_f64)
    wasm.alloc_func(store, FuncType((), ()), spectest__print)

    # min:1,max:2 required by import.wast:
    wasm.alloc_mem(store, MemoryType(1, 2))

    # 666 required by import.wast
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.i32), 666)

    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.f32), 0.0)
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.f64), 0.0)
    wasm.alloc_table(store, TableType(Limits(
        10, 20), FuncRef))  # max was 30, changed to 20 for import.wast
    moduleinst = {
        "types": [
            FuncType((ValType.i32, ), ()),
            FuncType((ValType.i64, ), ()),
            FuncType((ValType.f32, ), ()),
            FuncType((ValType.f64, ), ()),
            FuncType((ValType.i32, ValType.f32), ()),
            FuncType((ValType.f64, ValType.f64), ()),
            FuncType((), ()),
        ],
        "funcaddrs": [FuncIdx(idx) for idx in range(7)],
        "tableaddrs": [TableIdx(0)],
        "memaddrs": [MemoryIdx(0)],
        "globaladdrs": [GlobalIdx(0), GlobalIdx(1)],
        "exports": [
            Export("print_i32", FuncIdx(0)),
            Export("print_i64", FuncIdx(1)),
            Export("print_f32", FuncIdx(2)),
            Export("print_f64", FuncIdx(3)),
            Export("print_i32_f32", FuncIdx(4)),
            Export("print_f64_f64", FuncIdx(5)),
            Export("print", FuncIdx(6)),
            Export("memory", MemoryIdx(0)),
            Export("global_i32", GlobalIdx(0)),
            Export("global_f32", GlobalIdx(1)),
            Export("global_f64", GlobalIdx(2)),
            Export("table", TableIdx(0)),
        ],
    }
    return moduleinst
Beispiel #6
0
def instantiate_test_module(store):
    def test__func(store, arg):
        pass

    def test__func_i32(store, arg):
        pass

    def test__func_f32(store, arg):
        pass

    def test__func__i32(store, arg):
        pass

    def test__func__f32(store, arg):
        pass

    def test__func_i32_i32(store, arg):
        pass

    def test__func_i64_i64(store, arg):
        pass

    wasm.alloc_func(store, FuncType((), ()), test__func)
    wasm.alloc_func(store, FuncType((ValType.i32, ), ()), test__func_i32)
    wasm.alloc_func(store, FuncType((ValType.f32, ), ()), test__func_f32)
    wasm.alloc_func(store, FuncType((), (ValType.i32, )), test__func__i32)
    wasm.alloc_func(store, FuncType((), (ValType.f32, )), test__func__f32)
    wasm.alloc_func(store, FuncType((ValType.i32, ), (ValType.i32, )),
                    test__func_i32_i32)
    wasm.alloc_func(store, FuncType((ValType.i64, ), (ValType.i64, )),
                    test__func_i64_i64)
    wasm.alloc_mem(store, MemoryType(1, None))
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.i32), 666)
    wasm.alloc_global(store, GlobalType(Mutability.const, ValType.f32), 0.0)
    wasm.alloc_table(store, TableType(Limits(10, None), FuncRef))
    moduleinst = {
        "types": [
            FuncType((), ()),
            FuncType((ValType.i32, ), ()),
            FuncType((ValType.f32, ), ()),
            FuncType((), (ValType.i32, )),
            FuncType((), (ValType.f32, )),
            FuncType((ValType.i32, ), (ValType.i32, )),
            FuncType((ValType.i64, ), (ValType.i64, )),
        ],
        "funcaddrs": [FuncIdx(idx) for idx in range(7)],
        "tableaddrs": [TableIdx(0)],
        "memaddrs": [MemoryIdx(0)],
        "globaladdrs": [GlobalIdx(0), GlobalIdx(1)],
        "exports": [
            Export("func", FuncIdx(0)),
            Export("func_i32", FuncIdx(1)),
            Export("func_f32", FuncIdx(2)),
            Export("func__i32", FuncIdx(3)),
            Export("func__f32", FuncIdx(4)),
            Export("func__i32_i32", FuncIdx(5)),
            Export("func__i64_i64", FuncIdx(6)),
            Export("memory-2-inf", MemoryIdx(0)),
            Export("global-i32", GlobalIdx(0)),
            Export("global-f32", GlobalIdx(1)),
            Export("table-10-inf", TableIdx(0)),
        ],
    }
    return moduleinst