// |jit-test| skip-if: !wasmReftypesEnabled()

// Moving a JS value through a wasm anyref is a pair of boxing/unboxing
// conversions that leaves the value unchanged.  There are many cases,
// along these axes:
//
//  - global variables
//  - tables
//  - function parameters and returns
//  - struct fields [for the gc feature], see anyref-boxing-struct.js

let VALUES = [null,
              undefined,
              true,
              false,
              {x:1337},
              ["abracadabra"],
              1337,
              13.37,
              "hi",
              Symbol("status"),
              () => 1337];

// Global variables can receive values via several mechanisms:
//
// - on initialization when created from JS
// - on initialization when created in Wasm, from an imported global
// - through the "value" property if the value is mutable
// - through the set_global wasm instruction, ditto
//
// Their values can be obtained in several ways:
//
// - through the "value" property
// - through the get_global wasm instruction
// - read when other globals are initialized from them

// Set via initialization and read via 'value'

for (let v of VALUES)
{
    let g = new WebAssembly.Global({value: "anyref"}, v);
    assertEq(g.value, v);
}

// Set via 'value' and read via 'value'

for (let v of VALUES)
{
    let g = new WebAssembly.Global({value: "anyref", mutable: true});
    g.value = v;
    assertEq(g.value, v);
}

// Set via initialization, then read via get_global and returned

for (let v of VALUES)
{
    let g = new WebAssembly.Global({value: "anyref"}, v);
    let ins = wasmEvalText(
        `(module
           (gc_feature_opt_in 2)
           (import $glob "m" "g" (global anyref))
           (func (export "f") (result anyref)
             (get_global $glob)))`,
        {m:{g}});
    assertEq(ins.exports.f(), v);
}

// Set via set_global, then read via 'value'

for (let v of VALUES)
{
    let g = new WebAssembly.Global({value: "anyref", mutable: true});
    let ins = wasmEvalText(
        `(module
           (gc_feature_opt_in 2)
           (import $glob "m" "g" (global (mut anyref)))
           (func (export "f") (param $v anyref)
             (set_global $glob (get_local $v))))`,
        {m:{g}});
    ins.exports.f(v);
    assertEq(g.value, v);
}

// Tables of anyref can receive values via several mechanisms:
//
// - through WebAssembly.Table.prototype.set()
// - through the table.set, table.copy, and table.grow instructions
// - unimplemented: through table.fill
// - unimplemented: through WebAssembly.Table.prototype.grow()
//
// Their values can be read in several ways:
//
// - through WebAssembly.Table.prototype.get()
// - through the table.get and table.copy instructions
//
// (Note, tables are always initialized to null when created from JS)

// .set() and .get()

for (let v of VALUES)
{
    let t = new WebAssembly.Table({element: "anyref", initial: 10});
    t.set(3, v);
    assertEq(t.get(3), v);
}

// write with table.set, read with .get()

for (let v of VALUES)
{
    let t = new WebAssembly.Table({element: "anyref", initial: 10});
    let ins = wasmEvalText(
        `(module
           (gc_feature_opt_in 2)
           (import $t "m" "t" (table 10 anyref))
           (func (export "f") (param $v anyref)
             (table.set $t (i32.const 3) (get_local $v))))`,
        {m:{t}});
    ins.exports.f(v);
    assertEq(t.get(3), v);
}

// write with .set(), read with table.get

for (let v of VALUES)
{
    let t = new WebAssembly.Table({element: "anyref", initial: 10});
    let ins = wasmEvalText(
        `(module
           (gc_feature_opt_in 2)
           (import $t "m" "t" (table 10 anyref))
           (func (export "f") (result anyref)
             (table.get $t (i32.const 3))))`,
        {m:{t}});
    t.set(3, v);
    assertEq(ins.exports.f(), v);
}

// Imported JS functions can receive anyref values as parameters and return
// them.

for (let v of VALUES)
{
    let returner = function () { return v; };
    let receiver = function (w) { assertEq(w, v); };
    let ins = wasmEvalText(
        `(module
           (gc_feature_opt_in 2)
           (import $returner "m" "returner" (func (result anyref)))
           (import $receiver "m" "receiver" (func (param anyref)))
           (func (export "test_returner") (result anyref)
             (call $returner))
           (func (export "test_receiver") (param $v anyref)
             (call $receiver (get_local $v))))`,
        {m:{returner, receiver}});
    assertEq(ins.exports.test_returner(), v);
    ins.exports.test_receiver(v);
}