/* 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/table_init.wast
// ./test/core/table_init.wast:6
let $0 = instantiate(`(module
(func (export
"ef0") (result i32) (i32.
const 0))
(func (export
"ef1") (result i32) (i32.
const 1))
(func (export
"ef2") (result i32) (i32.
const 2))
(func (export
"ef3") (result i32) (i32.
const 3))
(func (export
"ef4") (result i32) (i32.
const 4))
)`);
// ./test/core/table_init.wast:13
register($0, `a`);
// ./test/core/table_init.wast:15
let $1 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 5)) ;; index 5
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9)) ;; index 9
(func (export
"test")
(table.init $$t0 1 (i32.
const 7) (i32.
const 0) (i32.
const 4)))
(func (export
"check") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:41
invoke($1, `test`, []);
// ./test/core/table_init.wast:42
assert_trap(() => invoke($1, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:43
assert_trap(() => invoke($1, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:44
assert_return(() => invoke($1, `check`, [2]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:45
assert_return(() => invoke($1, `check`, [3]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:46
assert_return(() => invoke($1, `check`, [4]), [value(
"i32", 4)]);
// ./test/core/table_init.wast:47
assert_return(() => invoke($1, `check`, [5]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:48
assert_trap(() => invoke($1, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:49
assert_return(() => invoke($1, `check`, [7]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:50
assert_return(() => invoke($1, `check`, [8]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:51
assert_return(() => invoke($1, `check`, [9]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:52
assert_return(() => invoke($1, `check`, [10]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:53
assert_trap(() => invoke($1, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:54
assert_return(() => invoke($1, `check`, [12]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:55
assert_return(() => invoke($1, `check`, [13]), [value(
"i32", 5)]);
// ./test/core/table_init.wast:56
assert_return(() => invoke($1, `check`, [14]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:57
assert_return(() => invoke($1, `check`, [15]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:58
assert_return(() => invoke($1, `check`, [16]), [value(
"i32", 6)]);
// ./test/core/table_init.wast:59
assert_trap(() => invoke($1, `check`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:60
assert_trap(() => invoke($1, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:61
assert_trap(() => invoke($1, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:62
assert_trap(() => invoke($1, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:63
assert_trap(() => invoke($1, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:64
assert_trap(() => invoke($1, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:65
assert_trap(() => invoke($1, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:66
assert_trap(() => invoke($1, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:67
assert_trap(() => invoke($1, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:68
assert_trap(() => invoke($1, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:69
assert_trap(() => invoke($1, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:70
assert_trap(() => invoke($1, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:71
assert_trap(() => invoke($1, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:73
let $2 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 5)) ;; index 5
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9)) ;; index 9
(func (export
"test")
(table.init $$t0 3 (i32.
const 15) (i32.
const 1) (i32.
const 3)))
(func (export
"check") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:99
invoke($2, `test`, []);
// ./test/core/table_init.wast:100
assert_trap(() => invoke($2, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:101
assert_trap(() => invoke($2, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:102
assert_return(() => invoke($2, `check`, [2]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:103
assert_return(() => invoke($2, `check`, [3]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:104
assert_return(() => invoke($2, `check`, [4]), [value(
"i32", 4)]);
// ./test/core/table_init.wast:105
assert_return(() => invoke($2, `check`, [5]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:106
assert_trap(() => invoke($2, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:107
assert_trap(() => invoke($2, `check`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:108
assert_trap(() => invoke($2, `check`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:109
assert_trap(() => invoke($2, `check`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:110
assert_trap(() => invoke($2, `check`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:111
assert_trap(() => invoke($2, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:112
assert_return(() => invoke($2, `check`, [12]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:113
assert_return(() => invoke($2, `check`, [13]), [value(
"i32", 5)]);
// ./test/core/table_init.wast:114
assert_return(() => invoke($2, `check`, [14]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:115
assert_return(() => invoke($2, `check`, [15]), [value(
"i32", 9)]);
// ./test/core/table_init.wast:116
assert_return(() => invoke($2, `check`, [16]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:117
assert_return(() => invoke($2, `check`, [17]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:118
assert_trap(() => invoke($2, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:119
assert_trap(() => invoke($2, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:120
assert_trap(() => invoke($2, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:121
assert_trap(() => invoke($2, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:122
assert_trap(() => invoke($2, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:123
assert_trap(() => invoke($2, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:124
assert_trap(() => invoke($2, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:125
assert_trap(() => invoke($2, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:126
assert_trap(() => invoke($2, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:127
assert_trap(() => invoke($2, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:128
assert_trap(() => invoke($2, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:129
assert_trap(() => invoke($2, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:131
let $3 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 5)) ;; index 5
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9)) ;; index 9
(func (export
"test")
(table.init $$t0 1 (i32.
const 7) (i32.
const 0) (i32.
const 4))
(elem.drop 1)
(table.init $$t0 3 (i32.
const 15) (i32.
const 1) (i32.
const 3))
(elem.drop 3)
(table.copy $$t0 0 (i32.
const 20) (i32.
const 15) (i32.
const 5))
(table.copy $$t0 0 (i32.
const 21) (i32.
const 29) (i32.
const 1))
(table.copy $$t0 0 (i32.
const 24) (i32.
const 10) (i32.
const 1))
(table.copy $$t0 0 (i32.
const 13) (i32.
const 11) (i32.
const 4))
(table.copy $$t0 0 (i32.
const 19) (i32.
const 20) (i32.
const 5)))
(func (export
"check") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:165
invoke($3, `test`, []);
// ./test/core/table_init.wast:166
assert_trap(() => invoke($3, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:167
assert_trap(() => invoke($3, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:168
assert_return(() => invoke($3, `check`, [2]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:169
assert_return(() => invoke($3, `check`, [3]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:170
assert_return(() => invoke($3, `check`, [4]), [value(
"i32", 4)]);
// ./test/core/table_init.wast:171
assert_return(() => invoke($3, `check`, [5]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:172
assert_trap(() => invoke($3, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:173
assert_return(() => invoke($3, `check`, [7]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:174
assert_return(() => invoke($3, `check`, [8]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:175
assert_return(() => invoke($3, `check`, [9]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:176
assert_return(() => invoke($3, `check`, [10]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:177
assert_trap(() => invoke($3, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:178
assert_return(() => invoke($3, `check`, [12]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:179
assert_trap(() => invoke($3, `check`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:180
assert_return(() => invoke($3, `check`, [14]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:181
assert_return(() => invoke($3, `check`, [15]), [value(
"i32", 5)]);
// ./test/core/table_init.wast:182
assert_return(() => invoke($3, `check`, [16]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:183
assert_return(() => invoke($3, `check`, [17]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:184
assert_trap(() => invoke($3, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:185
assert_return(() => invoke($3, `check`, [19]), [value(
"i32", 9)]);
// ./test/core/table_init.wast:186
assert_trap(() => invoke($3, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:187
assert_return(() => invoke($3, `check`, [21]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:188
assert_trap(() => invoke($3, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:189
assert_return(() => invoke($3, `check`, [23]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:190
assert_return(() => invoke($3, `check`, [24]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:191
assert_trap(() => invoke($3, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:192
assert_trap(() => invoke($3, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:193
assert_trap(() => invoke($3, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:194
assert_trap(() => invoke($3, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:195
assert_trap(() => invoke($3, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:197
let $4 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 5)) ;; index 5
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9)) ;; index 9
(func (export
"test")
(table.init $$t1 1 (i32.
const 7) (i32.
const 0) (i32.
const 4)))
(func (export
"check") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:223
invoke($4, `test`, []);
// ./test/core/table_init.wast:224
assert_trap(() => invoke($4, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:225
assert_trap(() => invoke($4, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:226
assert_return(() => invoke($4, `check`, [2]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:227
assert_return(() => invoke($4, `check`, [3]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:228
assert_return(() => invoke($4, `check`, [4]), [value(
"i32", 4)]);
// ./test/core/table_init.wast:229
assert_return(() => invoke($4, `check`, [5]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:230
assert_trap(() => invoke($4, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:231
assert_return(() => invoke($4, `check`, [7]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:232
assert_return(() => invoke($4, `check`, [8]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:233
assert_return(() => invoke($4, `check`, [9]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:234
assert_return(() => invoke($4, `check`, [10]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:235
assert_trap(() => invoke($4, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:236
assert_return(() => invoke($4, `check`, [12]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:237
assert_return(() => invoke($4, `check`, [13]), [value(
"i32", 5)]);
// ./test/core/table_init.wast:238
assert_return(() => invoke($4, `check`, [14]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:239
assert_return(() => invoke($4, `check`, [15]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:240
assert_return(() => invoke($4, `check`, [16]), [value(
"i32", 6)]);
// ./test/core/table_init.wast:241
assert_trap(() => invoke($4, `check`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:242
assert_trap(() => invoke($4, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:243
assert_trap(() => invoke($4, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:244
assert_trap(() => invoke($4, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:245
assert_trap(() => invoke($4, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:246
assert_trap(() => invoke($4, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:247
assert_trap(() => invoke($4, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:248
assert_trap(() => invoke($4, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:249
assert_trap(() => invoke($4, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:250
assert_trap(() => invoke($4, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:251
assert_trap(() => invoke($4, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:252
assert_trap(() => invoke($4, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:253
assert_trap(() => invoke($4, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:255
let $5 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 5)) ;; index 5
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9)) ;; index 9
(func (export
"test")
(table.init $$t1 3 (i32.
const 15) (i32.
const 1) (i32.
const 3)))
(func (export
"check") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:281
invoke($5, `test`, []);
// ./test/core/table_init.wast:282
assert_trap(() => invoke($5, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:283
assert_trap(() => invoke($5, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:284
assert_return(() => invoke($5, `check`, [2]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:285
assert_return(() => invoke($5, `check`, [3]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:286
assert_return(() => invoke($5, `check`, [4]), [value(
"i32", 4)]);
// ./test/core/table_init.wast:287
assert_return(() => invoke($5, `check`, [5]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:288
assert_trap(() => invoke($5, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:289
assert_trap(() => invoke($5, `check`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:290
assert_trap(() => invoke($5, `check`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:291
assert_trap(() => invoke($5, `check`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:292
assert_trap(() => invoke($5, `check`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:293
assert_trap(() => invoke($5, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:294
assert_return(() => invoke($5, `check`, [12]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:295
assert_return(() => invoke($5, `check`, [13]), [value(
"i32", 5)]);
// ./test/core/table_init.wast:296
assert_return(() => invoke($5, `check`, [14]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:297
assert_return(() => invoke($5, `check`, [15]), [value(
"i32", 9)]);
// ./test/core/table_init.wast:298
assert_return(() => invoke($5, `check`, [16]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:299
assert_return(() => invoke($5, `check`, [17]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:300
assert_trap(() => invoke($5, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:301
assert_trap(() => invoke($5, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:302
assert_trap(() => invoke($5, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:303
assert_trap(() => invoke($5, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:304
assert_trap(() => invoke($5, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:305
assert_trap(() => invoke($5, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:306
assert_trap(() => invoke($5, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:307
assert_trap(() => invoke($5, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:308
assert_trap(() => invoke($5, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:309
assert_trap(() => invoke($5, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:310
assert_trap(() => invoke($5, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:311
assert_trap(() => invoke($5, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:313
let $6 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 5)) ;; index 5
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9)) ;; index 9
(func (export
"test")
(table.init $$t1 1 (i32.
const 7) (i32.
const 0) (i32.
const 4))
(elem.drop 1)
(table.init $$t1 3 (i32.
const 15) (i32.
const 1) (i32.
const 3))
(elem.drop 3)
(table.copy $$t1 1 (i32.
const 20) (i32.
const 15) (i32.
const 5))
(table.copy $$t1 1 (i32.
const 21) (i32.
const 29) (i32.
const 1))
(table.copy $$t1 1 (i32.
const 24) (i32.
const 10) (i32.
const 1))
(table.copy $$t1 1 (i32.
const 13) (i32.
const 11) (i32.
const 4))
(table.copy $$t1 1 (i32.
const 19) (i32.
const 20) (i32.
const 5)))
(func (export
"check") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:347
invoke($6, `test`, []);
// ./test/core/table_init.wast:348
assert_trap(() => invoke($6, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:349
assert_trap(() => invoke($6, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:350
assert_return(() => invoke($6, `check`, [2]), [value(
"i32", 3)]);
// ./test/core/table_init.wast:351
assert_return(() => invoke($6, `check`, [3]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:352
assert_return(() => invoke($6, `check`, [4]), [value(
"i32", 4)]);
// ./test/core/table_init.wast:353
assert_return(() => invoke($6, `check`, [5]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:354
assert_trap(() => invoke($6, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:355
assert_return(() => invoke($6, `check`, [7]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:356
assert_return(() => invoke($6, `check`, [8]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:357
assert_return(() => invoke($6, `check`, [9]), [value(
"i32", 1)]);
// ./test/core/table_init.wast:358
assert_return(() => invoke($6, `check`, [10]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:359
assert_trap(() => invoke($6, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:360
assert_return(() => invoke($6, `check`, [12]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:361
assert_trap(() => invoke($6, `check`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:362
assert_return(() => invoke($6, `check`, [14]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:363
assert_return(() => invoke($6, `check`, [15]), [value(
"i32", 5)]);
// ./test/core/table_init.wast:364
assert_return(() => invoke($6, `check`, [16]), [value(
"i32", 2)]);
// ./test/core/table_init.wast:365
assert_return(() => invoke($6, `check`, [17]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:366
assert_trap(() => invoke($6, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:367
assert_return(() => invoke($6, `check`, [19]), [value(
"i32", 9)]);
// ./test/core/table_init.wast:368
assert_trap(() => invoke($6, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:369
assert_return(() => invoke($6, `check`, [21]), [value(
"i32", 7)]);
// ./test/core/table_init.wast:370
assert_trap(() => invoke($6, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:371
assert_return(() => invoke($6, `check`, [23]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:372
assert_return(() => invoke($6, `check`, [24]), [value(
"i32", 8)]);
// ./test/core/table_init.wast:373
assert_trap(() => invoke($6, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:374
assert_trap(() => invoke($6, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:375
assert_trap(() => invoke($6, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:376
assert_trap(() => invoke($6, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:377
assert_trap(() => invoke($6, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:378
assert_invalid(
() => instantiate(`(module
(func (export
"test")
(elem.drop 0)))`),
`unknown elem segment 0`,
);
// ./test/core/table_init.wast:384
assert_invalid(
() => instantiate(`(module
(func (export
"test")
(table.init 0 (i32.
const 12) (i32.
const 1) (i32.
const 1))))`),
`unknown table 0`,
);
// ./test/core/table_init.wast:390
assert_invalid(
() => instantiate(`(module
(elem funcref (ref.func 0))
(func (result i32) (i32.
const 0))
(func (export
"test")
(elem.drop 4)))`),
`unknown elem segment 4`,
);
// ./test/core/table_init.wast:398
assert_invalid(
() => instantiate(`(module
(elem funcref (ref.func 0))
(func (result i32) (i32.
const 0))
(func (export
"test")
(table.init 4 (i32.
const 12) (i32.
const 1) (i32.
const 1))))`),
`unknown table 0`,
);
// ./test/core/table_init.wast:407
let $7 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(elem.drop 2)
))`);
// ./test/core/table_init.wast:429
invoke($7, `test`, []);
// ./test/core/table_init.wast:431
let $8 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init 2 (i32.
const 12) (i32.
const 1) (i32.
const 1))
))`);
// ./test/core/table_init.wast:453
assert_trap(() => invoke($8, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:455
let $9 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init 1 (i32.
const 12) (i32.
const 1) (i32.
const 1))
(table.init 1 (i32.
const 21) (i32.
const 1) (i32.
const 1))))`);
// ./test/core/table_init.wast:477
invoke($9, `test`, []);
// ./test/core/table_init.wast:479
let $10 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(elem.drop 1)
(elem.drop 1)))`);
// ./test/core/table_init.wast:501
invoke($10, `test`, []);
// ./test/core/table_init.wast:503
let $11 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(elem.drop 1)
(table.init 1 (i32.
const 12) (i32.
const 1) (i32.
const 1))))`);
// ./test/core/table_init.wast:525
assert_trap(() => invoke($11, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:527
let $12 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init 1 (i32.
const 12) (i32.
const 0) (i32.
const 5))
))`);
// ./test/core/table_init.wast:549
assert_trap(() => invoke($12, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:551
let $13 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init 1 (i32.
const 12) (i32.
const 2) (i32.
const 3))
))`);
// ./test/core/table_init.wast:573
assert_trap(() => invoke($13, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:575
let $14 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 28) (i32.
const 1) (i32.
const 3))
))`);
// ./test/core/table_init.wast:597
assert_trap(() => invoke($14, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:599
let $15 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 12) (i32.
const 4) (i32.
const 0))
))`);
// ./test/core/table_init.wast:621
invoke($15, `test`, []);
// ./test/core/table_init.wast:623
let $16 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 12) (i32.
const 5) (i32.
const 0))
))`);
// ./test/core/table_init.wast:645
assert_trap(() => invoke($16, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:647
let $17 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 30) (i32.
const 2) (i32.
const 0))
))`);
// ./test/core/table_init.wast:669
invoke($17, `test`, []);
// ./test/core/table_init.wast:671
let $18 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 31) (i32.
const 2) (i32.
const 0))
))`);
// ./test/core/table_init.wast:693
assert_trap(() => invoke($18, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:695
let $19 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 30) (i32.
const 4) (i32.
const 0))
))`);
// ./test/core/table_init.wast:717
invoke($19, `test`, []);
// ./test/core/table_init.wast:719
let $20 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t0 1 (i32.
const 31) (i32.
const 5) (i32.
const 0))
))`);
// ./test/core/table_init.wast:741
assert_trap(() => invoke($20, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:743
let $21 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 26) (i32.
const 1) (i32.
const 3))
))`);
// ./test/core/table_init.wast:765
assert_trap(() => invoke($21, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:767
let $22 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 12) (i32.
const 4) (i32.
const 0))
))`);
// ./test/core/table_init.wast:789
invoke($22, `test`, []);
// ./test/core/table_init.wast:791
let $23 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 12) (i32.
const 5) (i32.
const 0))
))`);
// ./test/core/table_init.wast:813
assert_trap(() => invoke($23, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:815
let $24 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 28) (i32.
const 2) (i32.
const 0))
))`);
// ./test/core/table_init.wast:837
invoke($24, `test`, []);
// ./test/core/table_init.wast:839
let $25 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 29) (i32.
const 2) (i32.
const 0))
))`);
// ./test/core/table_init.wast:861
assert_trap(() => invoke($25, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:863
let $26 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 28) (i32.
const 4) (i32.
const 0))
))`);
// ./test/core/table_init.wast:885
invoke($26, `test`, []);
// ./test/core/table_init.wast:887
let $27 = instantiate(`(module
(table $$t0 30 30 funcref)
(table $$t1 28 28 funcref)
(elem (table $$t1) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t1) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(func (result i32) (i32.
const 0))
(func (result i32) (i32.
const 1))
(func (result i32) (i32.
const 2))
(func (result i32) (i32.
const 3))
(func (result i32) (i32.
const 4))
(func (result i32) (i32.
const 5))
(func (result i32) (i32.
const 6))
(func (result i32) (i32.
const 7))
(func (result i32) (i32.
const 8))
(func (result i32) (i32.
const 9))
(func (export
"test")
(table.init $$t1 1 (i32.
const 29) (i32.
const 5) (i32.
const 0))
))`);
// ./test/core/table_init.wast:909
assert_trap(() => invoke($27, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:911
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:920
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:929
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:938
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:947
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:956
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:965
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:974
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:983
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:992
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i64.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1001
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (i64.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1010
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1019
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1028
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f64.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1037
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i32.
const 1) (f64.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1046
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1055
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1064
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1073
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1082
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1091
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1100
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1109
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1118
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1127
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1136
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i64.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1145
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (i64.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1154
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1163
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1172
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f64.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1181
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f32.
const 1) (f64.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1190
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1199
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1208
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1217
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1226
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1235
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1244
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1253
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1262
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1271
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1280
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i64.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1289
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (i64.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1298
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1307
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1316
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f64.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1325
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (i64.
const 1) (f64.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1334
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (i32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1343
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (i32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1352
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (i32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1361
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (i32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1370
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (f32.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1379
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (f32.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1388
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (f32.
const 1) (i64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1397
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (f32.
const 1) (f64.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1406
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (i64.
const 1) (i32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1415
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
(table.init 0 (f64.
const 1) (i64.
const 1) (f32.
const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1424
assert_invalid(
() => instantiate(`(module
(table 10 funcref)
(elem funcref (ref.func $$f0) (ref.func $$f0) (ref.func $$f0))
(func $$f0)
(func (export
"test")
--> --------------------
--> maximum size reached
--> --------------------
