JSTests/wasm/stress/mutable-globals-cross.js

import Builder from '../Builder.js'
import * as assert from '../assert.js'

{
    const global = new WebAssembly.Global({ value: 'i32', mutable: true }, 42);
    const instance1 = (function () {
        const b = new Builder();
        let cont = b
            .Type().End()
            .Import()
                .Global()
                    .I32("imp", "i32", "mutable")
                .End()
            .End()
            .Function().End()
            .Export()
                .Global("i32", 0)
                .Function("getI32")
                .Function("setI32")
            .End()
            .Code()
                .Function("getI32", { params: [], ret: "i32" }, [])
                    .GetGlobal(0)
                    .Return()
                .End()
                .Function("setI32", { params: ["i32"], ret: "void" }, [])
                    .GetLocal(0)
                    .SetGlobal(0)
                    .Return()
                .End()
            .End()

        const bin = b.WebAssembly().get();
        const module = new WebAssembly.Module(bin);
        return new WebAssembly.Instance(module, {
            imp: {
                i32: global
            }
        });
    }());
    const instance2 = (function () {
        const b = new Builder();
        let cont = b
            .Type().End()
            .Import()
                .Global()
                    .I32("imp", "i32", "mutable")
                .End()
            .End()
            .Function().End()
            .Export()
                .Global("i32", 0)
                .Function("getI32")
                .Function("setI32")
            .End()
            .Code()
                .Function("getI32", { params: [], ret: "i32" }, [])
                    .GetGlobal(0)
                    .Return()
                .End()
                .Function("setI32", { params: ["i32"], ret: "void" }, [])
                    .GetLocal(0)
                    .SetGlobal(0)
                    .Return()
                .End()
            .End()

        const bin = b.WebAssembly().get();
        const module = new WebAssembly.Module(bin);
        return new WebAssembly.Instance(module, {
            imp: {
                i32: global
            }
        });
    }());

    assert.eq(global.value, 42);

    for (var i = 0; i < 1e3; ++i) {
        let binding1 = instance1.exports.i32;
        let binding2 = instance2.exports.i32;
        assert.eq(binding1.value, 42);
        assert.eq(binding2.value, 42);
        assert.eq(instance1.exports.getI32(), 42);
        assert.eq(instance2.exports.getI32(), 42);
        assert.eq(global.value, 42);

        binding1.value = 41;
        assert.eq(binding1.value, 41);
        assert.eq(binding2.value, 41);
        assert.eq(instance1.exports.getI32(), 41);
        assert.eq(instance2.exports.getI32(), 41);
        assert.eq(global.value, 41);

        binding2.value = -40;
        assert.eq(binding1.value, -40);
        assert.eq(binding2.value, -40);
        assert.eq(instance1.exports.getI32(), -40);
        assert.eq(instance2.exports.getI32(), -40);
        assert.eq(global.value, -40);

        instance1.exports.setI32(20);
        assert.eq(instance1.exports.getI32(), 20);
        assert.eq(instance2.exports.getI32(), 20);
        assert.eq(binding1.value, 20);
        assert.eq(binding2.value, 20);
        assert.eq(global.value, 20);

        instance2.exports.setI32(1000);
        assert.eq(instance1.exports.getI32(), 1000);
        assert.eq(instance2.exports.getI32(), 1000);
        assert.eq(binding1.value, 1000);
        assert.eq(binding2.value, 1000);
        assert.eq(global.value, 1000);

        binding1.value = 42;
    }
}