Quelle  elem.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/elem.wast

// ./test/core/elem.wast:4
let $0 = instantiate(`(module
  (table $$t 10 funcref)
  (func $$f)
  (func $$g)

  ;; Passive
  (elem funcref)
  (elem funcref (ref.func $$f) (item ref.func $$f) (item (ref.null func)) (ref.func $$g))
  (elem func)
  (elem func $$f $$f $$g $$g)

  (elem $$p1 funcref)
  (elem $$p2 funcref (ref.func $$f) (ref.func $$f) (ref.null func) (ref.func $$g))
  (elem $$p3 func)
  (elem $$p4 func $$f $$f $$g $$g)

  ;; Active
  (elem (table $$t) (i32.const 0) funcref)
  (elem (table $$t) (i32.const 0) funcref (ref.func $$f) (ref.null func))
  (elem (table $$t) (i32.const 0) func)
  (elem (table $$t) (i32.const 0) func $$f $$g)
  (elem (table $$t) (offset (i32.const 0)) funcref)
  (elem (table $$t) (offset (i32.const 0)) func $$f $$g)
  (elem (table 0) (i32.const 0) func)
  (elem (table 0x0) (i32.const 0) func $$f $$f)
  (elem (table 0x000) (offset (i32.const 0)) func)
  (elem (table 0) (offset (i32.const 0)) func $$f $$f)
  (elem (table $$t) (i32.const 0) func)
  (elem (table $$t) (i32.const 0) func $$f $$f)
  (elem (table $$t) (offset (i32.const 0)) func)
  (elem (table $$t) (offset (i32.const 0)) func $$f $$f)
  (elem (offset (i32.const 0)))
  (elem (offset (i32.const 0)) funcref (ref.func $$f) (ref.null func))
  (elem (offset (i32.const 0)) func $$f $$f)
  (elem (offset (i32.const 0)) $$f $$f)
  (elem (i32.const 0))
  (elem (i32.const 0) funcref (ref.func $$f) (ref.null func))
  (elem (i32.const 0) func $$f $$f)
  (elem (i32.const 0) $$f $$f)
  (elem (i32.const 0) funcref (item (ref.func $$f)) (item (ref.null func)))

  (elem $$a1 (table $$t) (i32.const 0) funcref)
  (elem $$a2 (table $$t) (i32.const 0) funcref (ref.func $$f) (ref.null func))
  (elem $$a3 (table $$t) (i32.const 0) func)
  (elem $$a4 (table $$t) (i32.const 0) func $$f $$g)
  (elem $$a9 (table $$t) (offset (i32.const 0)) funcref)
  (elem $$a10 (table $$t) (offset (i32.const 0)) func $$f $$g)
  (elem $$a11 (table 0) (i32.const 0) func)
  (elem $$a12 (table 0x0) (i32.const 0) func $$f $$f)
  (elem $$a13 (table 0x000) (offset (i32.const 0)) func)
  (elem $$a14 (table 0) (offset (i32.const 0)) func $$f $$f)
  (elem $$a15 (table $$t) (i32.const 0) func)
  (elem $$a16 (table $$t) (i32.const 0) func $$f $$f)
  (elem $$a17 (table $$t) (offset (i32.const 0)) func)
  (elem $$a18 (table $$t) (offset (i32.const 0)) func $$f $$f)
  (elem $$a19 (offset (i32.const 0)))
  (elem $$a20 (offset (i32.const 0)) funcref (ref.func $$f) (ref.null func))
  (elem $$a21 (offset (i32.const 0)) func $$f $$f)
  (elem $$a22 (offset (i32.const 0)) $$f $$f)
  (elem $$a23 (i32.const 0))
  (elem $$a24 (i32.const 0) funcref (ref.func $$f) (ref.null func))
  (elem $$a25 (i32.const 0) func $$f $$f)
  (elem $$a26 (i32.const 0) $$f $$f)

  ;; Declarative
  (elem declare funcref)
  (elem declare funcref (ref.func $$f) (ref.func $$f) (ref.null func) (ref.func $$g))
  (elem declare func)
  (elem declare func $$f $$f $$g $$g)

  (elem $$d1 declare funcref)
  (elem $$d2 declare funcref (ref.func $$f) (ref.func $$f) (ref.null func) (ref.func $$g))
  (elem $$d3 declare func)
  (elem $$d4 declare func $$f $$f $$g $$g)
)`);

// ./test/core/elem.wast:80
let $1 = instantiate(`(module
  (func $$f)
  (func $$g)

  (table $$t funcref (elem (ref.func $$f) (ref.null func) (ref.func $$g)))
)`);

// ./test/core/elem.wast:87
let $2 = instantiate(`(module
  (func $$f)
  (func $$g)

  (table $$t 10 (ref func) (ref.func $$f))
  (elem (i32.const 3) $$g)
)`);

// ./test/core/elem.wast:98
let $3 = instantiate(`(module
  (table 10 funcref)
  (func $$f)
  (elem (i32.const 0) $$f)
)`);

// ./test/core/elem.wast:103
let $4 = instantiate(`(module
  (import "spectest" "table" (table 10 funcref))
  (func $$f)
  (elem (i32.const 0) $$f)
)`);

// ./test/core/elem.wast:109
let $5 = instantiate(`(module
  (table 10 funcref)
  (func $$f)
  (elem (i32.const 0) $$f)
  (elem (i32.const 3) $$f)
  (elem (i32.const 7) $$f)
  (elem (i32.const 5) $$f)
  (elem (i32.const 3) $$f)
)`);

// ./test/core/elem.wast:118
let $6 = instantiate(`(module
  (import "spectest" "table" (table 10 funcref))
  (func $$f)
  (elem (i32.const 9) $$f)
  (elem (i32.const 3) $$f)
  (elem (i32.const 7) $$f)
  (elem (i32.const 3) $$f)
  (elem (i32.const 5) $$f)
)`);

// ./test/core/elem.wast:128
let $7 = instantiate(`(module
  (global (import "spectest" "global_i32") i32)
  (table 1000 funcref)
  (func $$f)
  (elem (global.get 0) $$f)
)`);

// ./test/core/elem.wast:135
let $8 = instantiate(`(module
  (global $$g (import "spectest" "global_i32") i32)
  (table 1000 funcref)
  (func $$f)
  (elem (global.get $$g) $$f)
)`);

// ./test/core/elem.wast:142
let $9 = instantiate(`(module
  (type $$out-i32 (func (result i32)))
  (table 10 funcref)
  (elem (i32.const 7) $$const-i32-a)
  (elem (i32.const 9) $$const-i32-b)
  (func $$const-i32-a (type $$out-i32) (i32.const 65))
  (func $$const-i32-b (type $$out-i32) (i32.const 66))
  (func (export "call-7") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 7))
  )
  (func (export "call-9") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 9))
  )
)`);

// ./test/core/elem.wast:156
assert_return(() => invoke($9, `call-7`, []), [value("i32", 65)]);

// ./test/core/elem.wast:157
assert_return(() => invoke($9, `call-9`, []), [value("i32", 66)]);

// ./test/core/elem.wast:161
let $10 = instantiate(`(module
  (type $$out-i32 (func (result i32)))
  (table 11 funcref)
  (elem (i32.const 6) funcref (ref.null func) (ref.func $$const-i32-a))
  (elem (i32.const 9) funcref (ref.func $$const-i32-b) (ref.null func))
  (func $$const-i32-a (type $$out-i32) (i32.const 65))
  (func $$const-i32-b (type $$out-i32) (i32.const 66))
  (func (export "call-7") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 7))
  )
  (func (export "call-9") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 9))
  )
)`);

// ./test/core/elem.wast:175
assert_return(() => invoke($10, `call-7`, []), [value("i32", 65)]);

// ./test/core/elem.wast:176
assert_return(() => invoke($10, `call-9`, []), [value("i32", 66)]);

// ./test/core/elem.wast:178
let $11 = instantiate(`(module
  (global i32 (i32.const 0))
  (table 1 funcref) (elem (global.get 0) $$f) (func $$f)
)`);

// ./test/core/elem.wast:182
let $12 = instantiate(`(module
  (global $$g i32 (i32.const 0))
  (table 1 funcref) (elem (global.get $$g) $$f) (func $$f)
)`);

// ./test/core/elem.wast:190
let $13 = instantiate(`(module
  (table 10 funcref)
  (func $$f)
  (elem (i32.const 9) $$f)
)`);

// ./test/core/elem.wast:195
let $14 = instantiate(`(module
  (import "spectest" "table" (table 10 funcref))
  (func $$f)
  (elem (i32.const 9) $$f)
)`);

// ./test/core/elem.wast:201
let $15 = instantiate(`(module
  (table 0 funcref)
  (elem (i32.const 0))
)`);

// ./test/core/elem.wast:205
let $16 = instantiate(`(module
  (import "spectest" "table" (table 0 funcref))
  (elem (i32.const 0))
)`);

// ./test/core/elem.wast:210
let $17 = instantiate(`(module
  (table 0 0 funcref)
  (elem (i32.const 0))
)`);

// ./test/core/elem.wast:215
let $18 = instantiate(`(module
  (table 20 funcref)
  (elem (i32.const 20))
)`);

// ./test/core/elem.wast:220
let $19 = instantiate(`(module
  (import "spectest" "table" (table 0 funcref))
  (func $$f)
  (elem (i32.const 0) $$f)
)`);

// ./test/core/elem.wast:226
let $20 = instantiate(`(module
  (import "spectest" "table" (table 0 100 funcref))
  (func $$f)
  (elem (i32.const 0) $$f)
)`);

// ./test/core/elem.wast:232
let $21 = instantiate(`(module
  (import "spectest" "table" (table 0 funcref))
  (func $$f)
  (elem (i32.const 1) $$f)
)`);

// ./test/core/elem.wast:238
let $22 = instantiate(`(module
  (import "spectest" "table" (table 0 30 funcref))
  (func $$f)
  (elem (i32.const 1) $$f)
)`);

// ./test/core/elem.wast:247
let $23 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (i32.const 0) func 0)
)`);

// ./test/core/elem.wast:252
let $24 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\07\\01"                ;; Elem section: 1 element segment
    "\\00\\41\\00\\0b\\01\\00"     ;; Segment 0: (i32.const 0) func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:264
let $25 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem func 0)
)`);

// ./test/core/elem.wast:269
let $26 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\05\\01"                ;; Elem section: 1 element segment
    "\\01\\00\\01\\00"           ;; Segment 0: func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:281
let $27 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (table 0) (i32.const 0) func 0)
)`);

// ./test/core/elem.wast:286
let $28 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\09\\01"                ;; Elem section: 1 element segment
    "\\02\\00\\41\\00\\0b\\00\\01\\00"  ;; Segment 0: (table 0) (i32.const 0) func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:298
let $29 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem declare func 0)
)`);

// ./test/core/elem.wast:303
let $30 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\05\\01"                ;; Elem section: 1 element segment
    "\\03\\00\\01\\00"           ;; Segment 0: declare func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:315
let $31 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (i32.const 0) (;;)(ref func) (ref.func 0))
)`);

// ./test/core/elem.wast:320
let $32 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\09\\01"                ;; Elem section: 1 element segment
    "\\04\\41\\00\\0b\\01\\d2\\00\\0b"  ;; Segment 0: (i32.const 0) (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:331
let $33 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (i32.const 0) funcref (ref.null func))
)`);

// ./test/core/elem.wast:336
let $34 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\09\\01"                ;; Elem section: 1 element segment
    "\\04\\41\\00\\0b\\01\\d0\\70\\0b"  ;; Segment 0: (i32.const 0) (ref.null func)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:348
let $35 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (i32.const 0) funcref (ref.func 0))
)`);

// ./test/core/elem.wast:353
let $36 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\07\\01"                ;; Elem section: 1 element segment
    "\\05\\70\\01\\d2\\00\\0b"     ;; Segment 0: funcref (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:364
let $37 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (i32.const 0) funcref (ref.null func))
)`);

// ./test/core/elem.wast:369
let $38 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\07\\01"                ;; Elem section: 1 element segment
    "\\05\\70\\01\\d0\\70\\0b"     ;; Segment 0: funcref (ref.null func)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:381
let $39 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (table 0) (i32.const 0) funcref (ref.func 0))
)`);

// ./test/core/elem.wast:386
let $40 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\0b\\01"                ;; Elem section: 1 element segment
    "\\06\\00\\41\\00\\0b\\70\\01\\d2\\00\\0b"  ;; Segment 0: (table 0) (i32.const 0) funcref (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:397
let $41 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem (table 0) (i32.const 0) funcref (ref.null func))
)`);

// ./test/core/elem.wast:402
let $42 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\0b\\01"                ;; Elem section: 1 element segment
    "\\06\\00\\41\\00\\0b\\70\\01\\d0\\70\\0b"  ;; Segment 0: (table 0) (i32.const 0) funcref (ref.null func)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:414
let $43 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem declare funcref (ref.func 0))
)`);

// ./test/core/elem.wast:419
let $44 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\07\\01"                ;; Elem section: 1 element segment
    "\\07\\70\\01\\d2\\00\\0b"     ;; Segment 0: declare funcref (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:430
let $45 = instantiate(`(module
  (func)
  (table 1 funcref)
  (elem declare funcref (ref.null func))
)`);

// ./test/core/elem.wast:435
let $46 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\04\\01"                ;; Table section: 1 table
    "\\70\\00\\01"              ;; Table 0: [1..] funcref
  "\\09\\07\\01"                ;; Elem section: 1 element segment
    "\\07\\70\\01\\d0\\70\\0b"     ;; Segment 0: declare funcref (ref.null func)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:448
let $47 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem (i32.const 0) func 0)
)`);

// ./test/core/elem.wast:453
let $48 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\07\\01"                ;; Elem section: 1 element segment
    "\\00\\41\\00\\0b\\01\\00"     ;; Segment 0: (i32.const 0) func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:465
let $49 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem func 0)
)`);

// ./test/core/elem.wast:470
let $50 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\05\\01"                ;; Elem section: 1 element segment
    "\\01\\00\\01\\00"           ;; Segment 0: func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:482
let $51 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem (table 0) (i32.const 0) func 0)
)`);

// ./test/core/elem.wast:487
let $52 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\09\\01"                ;; Elem section: 1 element segment
    "\\02\\00\\41\\00\\0b\\00\\01\\00"  ;; Segment 0: (table 0) (i32.const 0) func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:499
let $53 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem declare func 0)
)`);

// ./test/core/elem.wast:504
let $54 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\05\\01"                ;; Elem section: 1 element segment
    "\\03\\00\\01\\00"           ;; Segment 0: declare func 0
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:516
assert_invalid(
  () => instantiate(`(module
    (func)
    (table 1 (ref func) (ref.func 0))
    (elem (i32.const 0) funcref (ref.func 0))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:524
assert_invalid(
  () => instantiate(`(module binary
    "\\00asm" "\\01\\00\\00\\00"    ;; Magic
    "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
    "\\03\\02\\01\\00"             ;; Function section: 1 function
    "\\04\\0a\\01"                ;; Table section: 1 table
      "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
    "\\09\\09\\01"                ;; Elem section: 1 element segment
      "\\04\\41\\00\\0b\\01\\d2\\00\\0b"  ;; Segment 0: (i32.const 0) (ref.func 0)
    "\\0a\\04\\01"                ;; Code section: 1 function
      "\\02\\00\\0b"              ;; Function 0: empty
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:539
let $55 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem (ref func) (ref.func 0))
)`);

// ./test/core/elem.wast:544
let $56 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\08\\01"                ;; Elem section: 1 element segment
    "\\05\\64\\70\\01\\d2\\00\\0b"  ;; Segment 0: (ref func) (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:556
let $57 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem (table 0) (i32.const 0) (ref func) (ref.func 0))
)`);

// ./test/core/elem.wast:561
let $58 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\0c\\01"                ;; Elem section: 1 element segment
    "\\06\\00\\41\\00\\0b\\64\\70\\01\\d2\\00\\0b"  ;; Segment 0: (table 0) (i32.const 0) (ref func) (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:573
let $59 = instantiate(`(module
  (func)
  (table 1 (ref func) (ref.func 0))
  (elem declare (ref func) (ref.func 0))
)`);

// ./test/core/elem.wast:578
let $60 = instantiate(`(module binary
  "\\00asm" "\\01\\00\\00\\00"    ;; Magic
  "\\01\\04\\01\\60\\00\\00"       ;; Type section: 1 type
  "\\03\\02\\01\\00"             ;; Function section: 1 function
  "\\04\\0a\\01"                ;; Table section: 1 table
    "\\40\\00\\64\\70\\00\\01\\d2\\00\\0b"  ;; Table 0: [1..] (ref func) (ref.func 0)
  "\\09\\08\\01"                ;; Elem section: 1 element segment
    "\\07\\64\\70\\01\\d2\\00\\0b"  ;; Segment 0: declare (ref func) (ref.func 0)
  "\\0a\\04\\01"                ;; Code section: 1 function
    "\\02\\00\\0b"              ;; Function 0: empty
)`);

// ./test/core/elem.wast:593
assert_trap(
  () => instantiate(`(module
    (table 0 funcref)
    (func $$f)
    (elem (i32.const 0) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:602
assert_trap(
  () => instantiate(`(module
    (table 0 0 funcref)
    (func $$f)
    (elem (i32.const 0) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:611
assert_trap(
  () => instantiate(`(module
    (table 0 1 funcref)
    (func $$f)
    (elem (i32.const 0) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:620
assert_trap(
  () => instantiate(`(module
    (table 0 funcref)
    (elem (i32.const 1))
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:627
assert_trap(
  () => instantiate(`(module
    (table 10 funcref)
    (func $$f)
    (elem (i32.const 10) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:635
assert_trap(
  () => instantiate(`(module
    (import "spectest" "table" (table 10 funcref))
    (func $$f)
    (elem (i32.const 10) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:644
assert_trap(
  () => instantiate(`(module
    (table 10 20 funcref)
    (func $$f)
    (elem (i32.const 10) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:652
assert_trap(
  () => instantiate(`(module
    (import "spectest" "table" (table 10 funcref))
    (func $$f)
    (elem (i32.const 10) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:661
assert_trap(
  () => instantiate(`(module
    (table 10 funcref)
    (func $$f)
    (elem (i32.const -1) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:669
assert_trap(
  () => instantiate(`(module
    (import "spectest" "table" (table 10 funcref))
    (func $$f)
    (elem (i32.const -1) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:678
assert_trap(
  () => instantiate(`(module
    (table 10 funcref)
    (func $$f)
    (elem (i32.const -10) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:686
assert_trap(
  () => instantiate(`(module
    (import "spectest" "table" (table 10 funcref))
    (func $$f)
    (elem (i32.const -10) $$f)
  )`),
  `out of bounds table access`,
);

// ./test/core/elem.wast:698
let $61 = instantiate(`(module
  (table 10 funcref)
  (elem $$e (i32.const 0) func $$f)
  (func $$f)
  (func (export "init")
    (table.init $$e (i32.const 0) (i32.const 0) (i32.const 1))
  )
)`);

// ./test/core/elem.wast:706
assert_trap(() => invoke($61, `init`, []), `out of bounds table access`);

// ./test/core/elem.wast:708
let $62 = instantiate(`(module
  (table 10 funcref)
  (elem $$e declare func $$f)
  (func $$f)
  (func (export "init")
    (table.init $$e (i32.const 0) (i32.const 0) (i32.const 1))
  )
)`);

// ./test/core/elem.wast:716
assert_trap(() => invoke($62, `init`, []), `out of bounds table access`);

// ./test/core/elem.wast:721
assert_invalid(
  () => instantiate(`(module
    (func $$f)
    (elem (i32.const 0) $$f)
  )`),
  `unknown table`,
);

// ./test/core/elem.wast:732
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i64.const 0))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:740
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (ref.null func))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:748
assert_invalid(
  () => instantiate(`(module 
    (table 1 funcref)
    (elem (offset (;empty instruction sequence;)))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:756
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (offset (i32.const 0) (i32.const 0)))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:764
assert_invalid(
  () => instantiate(`(module
    (global (import "test" "global-i32") i32)
    (table 1 funcref)
    (elem (offset (global.get 0) (global.get 0)))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:773
assert_invalid(
  () => instantiate(`(module
    (global (import "test" "global-i32") i32)
    (table 1 funcref)
    (elem (offset (global.get 0) (i32.const 0)))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:783
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i32.ctz (i32.const 0)))
  )`),
  `constant expression required`,
);

// ./test/core/elem.wast:791
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (nop))
  )`),
  `constant expression required`,
);

// ./test/core/elem.wast:799
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (offset (nop) (i32.const 0)))
  )`),
  `constant expression required`,
);

// ./test/core/elem.wast:807
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (offset (i32.const 0) (nop)))
  )`),
  `constant expression required`,
);

// ./test/core/elem.wast:815
assert_invalid(
  () => instantiate(`(module
    (global $$g (import "test" "g") (mut i32))
    (table 1 funcref)
    (elem (global.get $$g))
  )`),
  `constant expression required`,
);

// ./test/core/elem.wast:824
assert_invalid(
  () => instantiate(`(module 
     (table 1 funcref)
     (elem (global.get 0))
   )`),
  `unknown global 0`,
);

// ./test/core/elem.wast:832
assert_invalid(
  () => instantiate(`(module
     (global (import "test" "global-i32") i32)
     (table 1 funcref)
     (elem (global.get 1))
   )`),
  `unknown global 1`,
);

// ./test/core/elem.wast:841
assert_invalid(
  () => instantiate(`(module 
     (global (import "test" "global-mut-i32") (mut i32))
     (table 1 funcref)
     (elem (global.get 0))
   )`),
  `constant expression required`,
);

// ./test/core/elem.wast:853
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i32.const 0) funcref (ref.null extern))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:861
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i32.const 0) funcref (item (ref.null func) (ref.null func)))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:869
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i32.const 0) funcref (i32.const 0))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:877
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i32.const 0) funcref (item (i32.const 0)))
  )`),
  `type mismatch`,
);

// ./test/core/elem.wast:885
assert_invalid(
  () => instantiate(`(module
    (table 1 funcref)
    (elem (i32.const 0) funcref (item (call $$f)))
    (func $$f (result funcref) (ref.null func))
  )`),
  `constant expression required`,
);

// ./test/core/elem.wast:897
let $63 = instantiate(`(module
  (type $$out-i32 (func (result i32)))
  (table 10 funcref)
  (elem (i32.const 9) $$const-i32-a)
  (elem (i32.const 9) $$const-i32-b)
  (func $$const-i32-a (type $$out-i32) (i32.const 65))
  (func $$const-i32-b (type $$out-i32) (i32.const 66))
  (func (export "call-overwritten") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 9))
  )
)`);

// ./test/core/elem.wast:908
assert_return(() => invoke($63, `call-overwritten`, []), [value("i32", 66)]);

// ./test/core/elem.wast:910
let $64 = instantiate(`(module
  (type $$out-i32 (func (result i32)))
  (import "spectest" "table" (table 10 funcref))
  (elem (i32.const 9) $$const-i32-a)
  (elem (i32.const 9) $$const-i32-b)
  (func $$const-i32-a (type $$out-i32) (i32.const 65))
  (func $$const-i32-b (type $$out-i32) (i32.const 66))
  (func (export "call-overwritten-element") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 9))
  )
)`);

// ./test/core/elem.wast:921
assert_return(() => invoke($64, `call-overwritten-element`, []), [value("i32", 66)]);

// ./test/core/elem.wast:926
let $65 = instantiate(`(module $$module1
  (type $$out-i32 (func (result i32)))
  (table (export "shared-table") 10 funcref)
  (elem (i32.const 8) $$const-i32-a)
  (elem (i32.const 9) $$const-i32-b)
  (func $$const-i32-a (type $$out-i32) (i32.const 65))
  (func $$const-i32-b (type $$out-i32) (i32.const 66))
  (func (export "call-7") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 7))
  )
  (func (export "call-8") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 8))
  )
  (func (export "call-9") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 9))
  )
)`);
let $module1 = $65;

// ./test/core/elem.wast:944
register($module1, `module1`);

// ./test/core/elem.wast:946
assert_trap(() => invoke($module1, `call-7`, []), `uninitialized element`);

// ./test/core/elem.wast:947
assert_return(() => invoke($module1, `call-8`, []), [value("i32", 65)]);

// ./test/core/elem.wast:948
assert_return(() => invoke($module1, `call-9`, []), [value("i32", 66)]);

// ./test/core/elem.wast:950
let $66 = instantiate(`(module $$module2
  (type $$out-i32 (func (result i32)))
  (import "module1" "shared-table" (table 10 funcref))
  (elem (i32.const 7) $$const-i32-c)
  (elem (i32.const 8) $$const-i32-d)
  (func $$const-i32-c (type $$out-i32) (i32.const 67))
  (func $$const-i32-d (type $$out-i32) (i32.const 68))
)`);
let $module2 = $66;

// ./test/core/elem.wast:959
assert_return(() => invoke($module1, `call-7`, []), [value("i32", 67)]);

// ./test/core/elem.wast:960
assert_return(() => invoke($module1, `call-8`, []), [value("i32", 68)]);

// ./test/core/elem.wast:961
assert_return(() => invoke($module1, `call-9`, []), [value("i32", 66)]);

// ./test/core/elem.wast:963
let $67 = instantiate(`(module $$module3
  (type $$out-i32 (func (result i32)))
  (import "module1" "shared-table" (table 10 funcref))
  (elem (i32.const 8) $$const-i32-e)
  (elem (i32.const 9) $$const-i32-f)
  (func $$const-i32-e (type $$out-i32) (i32.const 69))
  (func $$const-i32-f (type $$out-i32) (i32.const 70))
)`);
let $module3 = $67;

// ./test/core/elem.wast:972
assert_return(() => invoke($module1, `call-7`, []), [value("i32", 67)]);

// ./test/core/elem.wast:973
assert_return(() => invoke($module1, `call-8`, []), [value("i32", 69)]);

// ./test/core/elem.wast:974
assert_return(() => invoke($module1, `call-9`, []), [value("i32", 70)]);

// ./test/core/elem.wast:978
assert_invalid(
  () => instantiate(`(module (func $$f) (table 1 externref) (elem (i32.const 0) $$f))`),
  `type mismatch`,
);

// ./test/core/elem.wast:983
assert_invalid(
  () => instantiate(`(module (table 1 funcref) (elem (i32.const 0) externref (ref.null extern)))`),
  `type mismatch`,
);

// ./test/core/elem.wast:988
assert_invalid(
  () => instantiate(`(module
    (func $$f)
    (table $$t 1 externref)
    (elem $$e funcref (ref.func $$f))
    (func (table.init $$t $$e (i32.const 0) (i32.const 0) (i32.const 1))))`),
  `type mismatch`,
);

// ./test/core/elem.wast:997
assert_invalid(
  () => instantiate(`(module
    (table $$t 1 funcref)
    (elem $$e externref (ref.null extern))
    (func (table.init $$t $$e (i32.const 0) (i32.const 0) (i32.const 1))))`),
  `type mismatch`,
);

// ./test/core/elem.wast:1007
let $68 = instantiate(`(module $$m
  (table $$t (export "table") 2 externref)
  (func (export "get") (param $$i i32) (result externref)
        (table.get $$t (local.get $$i)))
  (func (export "set") (param $$i i32) (param $$x externref)
        (table.set $$t (local.get $$i) (local.get $$x))))`);
let $m = $68;

// ./test/core/elem.wast:1014
register($m, `exporter`);

// ./test/core/elem.wast:1016
assert_return(() => invoke($m, `get`, [0]), [value('externref', null)]);

// ./test/core/elem.wast:1017
assert_return(() => invoke($m, `get`, [1]), [value('externref', null)]);

// ./test/core/elem.wast:1019
assert_return(() => invoke($m, `set`, [0, externref(42)]), []);

// ./test/core/elem.wast:1020
assert_return(() => invoke($m, `set`, [1, externref(137)]), []);

// ./test/core/elem.wast:1022
assert_return(() => invoke($m, `get`, [0]), [new ExternRefResult(42)]);

// ./test/core/elem.wast:1023
assert_return(() => invoke($m, `get`, [1]), [new ExternRefResult(137)]);

// ./test/core/elem.wast:1025
let $69 = instantiate(`(module
  (import "exporter" "table" (table $$t 2 externref))
  (elem (i32.const 0) externref (ref.null extern)))`);

// ./test/core/elem.wast:1029
assert_return(() => invoke($m, `get`, [0]), [value('externref', null)]);

// ./test/core/elem.wast:1030
assert_return(() => invoke($m, `get`, [1]), [new ExternRefResult(137)]);

// ./test/core/elem.wast:1034
let $70 = instantiate(`(module $$module4
  (func (result i32)
    i32.const 42
  )
  (global (export "f") funcref (ref.func 0))
)`);
let $module4 = $70;

// ./test/core/elem.wast:1041
register($module4, `module4`);

// ./test/core/elem.wast:1043
let $71 = instantiate(`(module
  (import "module4" "f" (global funcref))
  (type $$out-i32 (func (result i32)))
  (table 10 funcref)
  (elem (offset (i32.const 0)) funcref (global.get 0))
  (func (export "call_imported_elem") (type $$out-i32)
    (call_indirect (type $$out-i32) (i32.const 0))
  )
)`);

// ./test/core/elem.wast:1053
assert_return(() => invoke($71, `call_imported_elem`, []), [value("i32", 42)]);

// ./test/core/elem.wast:1057
let $72 = instantiate(`(module
  (table 10 funcref)
  (func (result i32) (i32.const 42))
  (func (export "call_in_table") (param i32) (result i32)
    (call_indirect (type 0) (local.get 0)))
  (elem (table 0) (offset (i32.add (i32.const 1) (i32.const 2))) funcref (ref.func 0))
)`);

// ./test/core/elem.wast:1065
assert_return(() => invoke($72, `call_in_table`, [3]), [value("i32", 42)]);

// ./test/core/elem.wast:1066
assert_trap(() => invoke($72, `call_in_table`, [0]), `uninitialized element`);

// ./test/core/elem.wast:1068
let $73 = instantiate(`(module
  (table 10 funcref)
  (func (result i32) (i32.const 42))
  (func (export "call_in_table") (param i32) (result i32)
    (call_indirect (type 0) (local.get 0)))
  (elem (table 0) (offset (i32.sub (i32.const 2) (i32.const 1))) funcref (ref.func 0))
)`);

// ./test/core/elem.wast:1076
assert_return(() => invoke($73, `call_in_table`, [1]), [value("i32", 42)]);

// ./test/core/elem.wast:1077
assert_trap(() => invoke($73, `call_in_table`, [0]), `uninitialized element`);

// ./test/core/elem.wast:1079
let $74 = instantiate(`(module
  (table 10 funcref)
  (func (result i32) (i32.const 42))
  (func (export "call_in_table") (param i32) (result i32)
    (call_indirect (type 0) (local.get 0)))
  (elem (table 0) (offset (i32.mul (i32.const 2) (i32.const 2))) funcref (ref.func 0))
)`);

// ./test/core/elem.wast:1087
assert_return(() => invoke($74, `call_in_table`, [4]), [value("i32", 42)]);

// ./test/core/elem.wast:1088
assert_trap(() => invoke($74, `call_in_table`, [0]), `uninitialized element`);

// ./test/core/elem.wast:1092
let $75 = instantiate(`(module
  (global (import "spectest" "global_i32") i32)
  (table 10 funcref)
  (func (result i32) (i32.const 42))
  (func (export "call_in_table") (param i32) (result i32)
    (call_indirect (type 0) (local.get 0)))
  (elem (table 0)
        (offset
          (i32.mul
            (i32.const 2)
            (i32.add
              (i32.sub (global.get 0) (i32.const 665))
              (i32.const 2))))
        funcref
        (ref.func 0))
)`);

// ./test/core/elem.wast:1109
assert_return(() => invoke($75, `call_in_table`, [6]), [value("i32", 42)]);

// ./test/core/elem.wast:1110
assert_trap(() => invoke($75, `call_in_table`, [0]), `uninitialized element`);