Quelle  instance.wast.js   Sprache: JAVA

/* Copyright 2021 Mozilla Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

// ./test/core/instance.wast

// ./test/core/instance.wast:3
let $M = module(`(module 
  (global (export "glob") (mut i32) (i32.const 0))
  (table (export "tab") 10 funcref (ref.null func))
  (memory (export "mem") 1)
  (tag (export "tag"))
)`);

// ./test/core/instance.wast:10
let $I1 = instantiateFromModule($M);

// ./test/core/instance.wast:11
let $I2 = instantiateFromModule($M);

// ./test/core/instance.wast:12
register($I1, `I1`);

// ./test/core/instance.wast:13
register($I2, `I2`);

// ./test/core/instance.wast:15
let $0 = instantiate(`(module
  (import "I1" "glob" (global $$glob1 (mut i32)))
  (import "I2" "glob" (global $$glob2 (mut i32)))
  (import "I1" "tab" (table $$tab1 10 funcref))
  (import "I2" "tab" (table $$tab2 10 funcref))
  (import "I1" "mem" (memory $$mem1 1))
  (import "I2" "mem" (memory $$mem2 1))
  (import "I1" "tag" (tag $$tag1))
  (import "I2" "tag" (tag $$tag2))

  (func $$f)
  (elem declare func $$f)

  (func (export "glob") (result i32)
    (global.set $$glob1 (i32.const 1))
    (global.get $$glob2)
  )
  (func (export "tab") (result funcref)
    (table.set $$tab1 (i32.const 0) (ref.func $$f))
    (table.get $$tab2 (i32.const 0))
  )
  (func (export "mem") (result i32)
    (i32.store $$mem1 (i32.const 0) (i32.const 1))
    (i32.load $$mem2 (i32.const 0))
  )
  (func (export "tag") (result i32)
    (block $$on_tag1
      (block $$on_other
        (try_table (catch $$tag1 $$on_tag1) (catch_all $$on_other)
          (throw $$tag2)
        )
        (unreachable)
      )
      (return (i32.const 0))
    )
    (return (i32.const 1))
  )
)`);

// ./test/core/instance.wast:54
assert_return(() => invoke($0, `glob`, []), [value("i32", 0)]);

// ./test/core/instance.wast:55
assert_return(() => invoke($0, `tab`, []), [null]);

// ./test/core/instance.wast:56
assert_return(() => invoke($0, `mem`, []), [value("i32", 0)]);

// ./test/core/instance.wast:57
assert_return(() => invoke($0, `tag`, []), [value("i32", 0)]);

// ./test/core/instance.wast:62
let $1 = instantiate(`(module
  (import "I1" "glob" (global $$glob1 (mut i32)))
  (import "I1" "glob" (global $$glob2 (mut i32)))
  (import "I1" "tab" (table $$tab1 10 funcref))
  (import "I1" "tab" (table $$tab2 10 funcref))
  (import "I1" "mem" (memory $$mem1 1))
  (import "I1" "mem" (memory $$mem2 1))
  (import "I1" "tag" (tag $$tag1))
  (import "I1" "tag" (tag $$tag2))

  (func $$f)
  (elem declare func $$f)

  (func (export "glob") (result i32)
    (global.set $$glob1 (i32.const 1))
    (global.get $$glob2)
  )
  (func (export "tab") (result funcref)
    (table.set $$tab1 (i32.const 0) (ref.func $$f))
    (table.get $$tab2 (i32.const 0))
  )
  (func (export "mem") (result i32)
    (i32.store $$mem1 (i32.const 0) (i32.const 1))
    (i32.load $$mem2 (i32.const 0))
  )
  (func (export "tag") (result i32)
    (block $$on_tag1
      (block $$on_other
        (try_table (catch $$tag1 $$on_tag1) (catch_all $$on_other)
          (throw $$tag2)
        )
        (unreachable)
      )
      (return (i32.const 0))
    )
    (return (i32.const 1))
  )
)`);

// ./test/core/instance.wast:101
assert_return(() => invoke($1, `glob`, []), [value("i32", 1)]);

// ./test/core/instance.wast:102
assert_return(() => invoke($1, `tab`, []), [new RefWithType('funcref')]);

// ./test/core/instance.wast:103
assert_return(() => invoke($1, `mem`, []), [value("i32", 1)]);

// ./test/core/instance.wast:104
assert_return(() => invoke($1, `tag`, []), [value("i32", 1)]);

// ./test/core/instance.wast:109
let $N = module(`(module 
  (global $$glob (mut i32) (i32.const 0))
  (table $$tab 10 funcref (ref.null func))
  (memory $$mem 1)
  (tag $$tag)

  (export "glob1" (global $$glob))
  (export "glob2" (global $$glob))
  (export "tab1" (table $$tab))
  (export "tab2" (table $$tab))
  (export "mem1" (memory $$mem))
  (export "mem2" (memory $$mem))
  (export "tag1" (tag $$tag))
  (export "tag2" (tag $$tag))
)`);

// ./test/core/instance.wast:125
let $I = instantiateFromModule($N);

// ./test/core/instance.wast:126
register($I, `I`);

// ./test/core/instance.wast:128
let $2 = instantiate(`(module
  (import "I" "glob1" (global $$glob1 (mut i32)))
  (import "I" "glob2" (global $$glob2 (mut i32)))
  (import "I" "tab1" (table $$tab1 10 funcref))
  (import "I" "tab2" (table $$tab2 10 funcref))
  (import "I" "mem1" (memory $$mem1 1))
  (import "I" "mem2" (memory $$mem2 1))
  (import "I" "tag1" (tag $$tag1))
  (import "I" "tag2" (tag $$tag2))

  (func $$f)
  (elem declare func $$f)

  (func (export "glob") (result i32)
    (global.set $$glob1 (i32.const 1))
    (global.get $$glob2)
  )
  (func (export "tab") (result funcref)
    (table.set $$tab1 (i32.const 0) (ref.func $$f))
    (table.get $$tab2 (i32.const 0))
  )
  (func (export "mem") (result i32)
    (i32.store $$mem1 (i32.const 0) (i32.const 1))
    (i32.load $$mem2 (i32.const 0))
  )
  (func (export "tag") (result i32)
    (block $$on_tag1
      (block $$on_other
        (try_table (catch $$tag1 $$on_tag1) (catch_all $$on_other)
          (throw $$tag2)
        )
        (unreachable)
      )
      (return (i32.const 0))
    )
    (return (i32.const 1))
  )
)`);

// ./test/core/instance.wast:167
assert_return(() => invoke($2, `glob`, []), [value("i32", 1)]);

// ./test/core/instance.wast:168
assert_return(() => invoke($2, `tab`, []), [new RefWithType('funcref')]);

// ./test/core/instance.wast:169
assert_return(() => invoke($2, `mem`, []), [value("i32", 1)]);

// ./test/core/instance.wast:170
assert_return(() => invoke($2, `tag`, []), [value("i32", 1)]);