Source code
Revision control
Copy as Markdown
Other Tools
/* 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
*
*
* 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)
(table $$t2 i64 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:42
invoke($1, `test`, []);
// ./test/core/table_init.wast:43
assert_trap(() => invoke($1, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:44
assert_trap(() => invoke($1, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:45
assert_return(() => invoke($1, `check`, [2]), [value("i32", 3)]);
// ./test/core/table_init.wast:46
assert_return(() => invoke($1, `check`, [3]), [value("i32", 1)]);
// ./test/core/table_init.wast:47
assert_return(() => invoke($1, `check`, [4]), [value("i32", 4)]);
// ./test/core/table_init.wast:48
assert_return(() => invoke($1, `check`, [5]), [value("i32", 1)]);
// ./test/core/table_init.wast:49
assert_trap(() => invoke($1, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:50
assert_return(() => invoke($1, `check`, [7]), [value("i32", 2)]);
// ./test/core/table_init.wast:51
assert_return(() => invoke($1, `check`, [8]), [value("i32", 7)]);
// ./test/core/table_init.wast:52
assert_return(() => invoke($1, `check`, [9]), [value("i32", 1)]);
// ./test/core/table_init.wast:53
assert_return(() => invoke($1, `check`, [10]), [value("i32", 8)]);
// ./test/core/table_init.wast:54
assert_trap(() => invoke($1, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:55
assert_return(() => invoke($1, `check`, [12]), [value("i32", 7)]);
// ./test/core/table_init.wast:56
assert_return(() => invoke($1, `check`, [13]), [value("i32", 5)]);
// ./test/core/table_init.wast:57
assert_return(() => invoke($1, `check`, [14]), [value("i32", 2)]);
// ./test/core/table_init.wast:58
assert_return(() => invoke($1, `check`, [15]), [value("i32", 3)]);
// ./test/core/table_init.wast:59
assert_return(() => invoke($1, `check`, [16]), [value("i32", 6)]);
// ./test/core/table_init.wast:60
assert_trap(() => invoke($1, `check`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:61
assert_trap(() => invoke($1, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:62
assert_trap(() => invoke($1, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:63
assert_trap(() => invoke($1, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:64
assert_trap(() => invoke($1, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:65
assert_trap(() => invoke($1, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:66
assert_trap(() => invoke($1, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:67
assert_trap(() => invoke($1, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:68
assert_trap(() => invoke($1, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:69
assert_trap(() => invoke($1, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:70
assert_trap(() => invoke($1, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:71
assert_trap(() => invoke($1, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:72
assert_trap(() => invoke($1, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:74
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)
(table $$t2 i64 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:101
invoke($2, `test`, []);
// ./test/core/table_init.wast:102
assert_trap(() => invoke($2, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:103
assert_trap(() => invoke($2, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:104
assert_return(() => invoke($2, `check`, [2]), [value("i32", 3)]);
// ./test/core/table_init.wast:105
assert_return(() => invoke($2, `check`, [3]), [value("i32", 1)]);
// ./test/core/table_init.wast:106
assert_return(() => invoke($2, `check`, [4]), [value("i32", 4)]);
// ./test/core/table_init.wast:107
assert_return(() => invoke($2, `check`, [5]), [value("i32", 1)]);
// ./test/core/table_init.wast:108
assert_trap(() => invoke($2, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:109
assert_trap(() => invoke($2, `check`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:110
assert_trap(() => invoke($2, `check`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:111
assert_trap(() => invoke($2, `check`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:112
assert_trap(() => invoke($2, `check`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:113
assert_trap(() => invoke($2, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:114
assert_return(() => invoke($2, `check`, [12]), [value("i32", 7)]);
// ./test/core/table_init.wast:115
assert_return(() => invoke($2, `check`, [13]), [value("i32", 5)]);
// ./test/core/table_init.wast:116
assert_return(() => invoke($2, `check`, [14]), [value("i32", 2)]);
// ./test/core/table_init.wast:117
assert_return(() => invoke($2, `check`, [15]), [value("i32", 9)]);
// ./test/core/table_init.wast:118
assert_return(() => invoke($2, `check`, [16]), [value("i32", 2)]);
// ./test/core/table_init.wast:119
assert_return(() => invoke($2, `check`, [17]), [value("i32", 7)]);
// ./test/core/table_init.wast:120
assert_trap(() => invoke($2, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:121
assert_trap(() => invoke($2, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:122
assert_trap(() => invoke($2, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:123
assert_trap(() => invoke($2, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:124
assert_trap(() => invoke($2, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:125
assert_trap(() => invoke($2, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:126
assert_trap(() => invoke($2, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:127
assert_trap(() => invoke($2, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:128
assert_trap(() => invoke($2, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:129
assert_trap(() => invoke($2, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:130
assert_trap(() => invoke($2, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:131
assert_trap(() => invoke($2, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:133
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)
(table $$t2 i64 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:168
invoke($3, `test`, []);
// ./test/core/table_init.wast:169
assert_trap(() => invoke($3, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:170
assert_trap(() => invoke($3, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:171
assert_return(() => invoke($3, `check`, [2]), [value("i32", 3)]);
// ./test/core/table_init.wast:172
assert_return(() => invoke($3, `check`, [3]), [value("i32", 1)]);
// ./test/core/table_init.wast:173
assert_return(() => invoke($3, `check`, [4]), [value("i32", 4)]);
// ./test/core/table_init.wast:174
assert_return(() => invoke($3, `check`, [5]), [value("i32", 1)]);
// ./test/core/table_init.wast:175
assert_trap(() => invoke($3, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:176
assert_return(() => invoke($3, `check`, [7]), [value("i32", 2)]);
// ./test/core/table_init.wast:177
assert_return(() => invoke($3, `check`, [8]), [value("i32", 7)]);
// ./test/core/table_init.wast:178
assert_return(() => invoke($3, `check`, [9]), [value("i32", 1)]);
// ./test/core/table_init.wast:179
assert_return(() => invoke($3, `check`, [10]), [value("i32", 8)]);
// ./test/core/table_init.wast:180
assert_trap(() => invoke($3, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:181
assert_return(() => invoke($3, `check`, [12]), [value("i32", 7)]);
// ./test/core/table_init.wast:182
assert_trap(() => invoke($3, `check`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:183
assert_return(() => invoke($3, `check`, [14]), [value("i32", 7)]);
// ./test/core/table_init.wast:184
assert_return(() => invoke($3, `check`, [15]), [value("i32", 5)]);
// ./test/core/table_init.wast:185
assert_return(() => invoke($3, `check`, [16]), [value("i32", 2)]);
// ./test/core/table_init.wast:186
assert_return(() => invoke($3, `check`, [17]), [value("i32", 7)]);
// ./test/core/table_init.wast:187
assert_trap(() => invoke($3, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:188
assert_return(() => invoke($3, `check`, [19]), [value("i32", 9)]);
// ./test/core/table_init.wast:189
assert_trap(() => invoke($3, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:190
assert_return(() => invoke($3, `check`, [21]), [value("i32", 7)]);
// ./test/core/table_init.wast:191
assert_trap(() => invoke($3, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:192
assert_return(() => invoke($3, `check`, [23]), [value("i32", 8)]);
// ./test/core/table_init.wast:193
assert_return(() => invoke($3, `check`, [24]), [value("i32", 8)]);
// ./test/core/table_init.wast:194
assert_trap(() => invoke($3, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:195
assert_trap(() => invoke($3, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:196
assert_trap(() => invoke($3, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:197
assert_trap(() => invoke($3, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:198
assert_trap(() => invoke($3, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:200
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)
(table $$t2 i64 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:227
invoke($4, `test`, []);
// ./test/core/table_init.wast:228
assert_trap(() => invoke($4, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:229
assert_trap(() => invoke($4, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:230
assert_return(() => invoke($4, `check`, [2]), [value("i32", 3)]);
// ./test/core/table_init.wast:231
assert_return(() => invoke($4, `check`, [3]), [value("i32", 1)]);
// ./test/core/table_init.wast:232
assert_return(() => invoke($4, `check`, [4]), [value("i32", 4)]);
// ./test/core/table_init.wast:233
assert_return(() => invoke($4, `check`, [5]), [value("i32", 1)]);
// ./test/core/table_init.wast:234
assert_trap(() => invoke($4, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:235
assert_return(() => invoke($4, `check`, [7]), [value("i32", 2)]);
// ./test/core/table_init.wast:236
assert_return(() => invoke($4, `check`, [8]), [value("i32", 7)]);
// ./test/core/table_init.wast:237
assert_return(() => invoke($4, `check`, [9]), [value("i32", 1)]);
// ./test/core/table_init.wast:238
assert_return(() => invoke($4, `check`, [10]), [value("i32", 8)]);
// ./test/core/table_init.wast:239
assert_trap(() => invoke($4, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:240
assert_return(() => invoke($4, `check`, [12]), [value("i32", 7)]);
// ./test/core/table_init.wast:241
assert_return(() => invoke($4, `check`, [13]), [value("i32", 5)]);
// ./test/core/table_init.wast:242
assert_return(() => invoke($4, `check`, [14]), [value("i32", 2)]);
// ./test/core/table_init.wast:243
assert_return(() => invoke($4, `check`, [15]), [value("i32", 3)]);
// ./test/core/table_init.wast:244
assert_return(() => invoke($4, `check`, [16]), [value("i32", 6)]);
// ./test/core/table_init.wast:245
assert_trap(() => invoke($4, `check`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:246
assert_trap(() => invoke($4, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:247
assert_trap(() => invoke($4, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:248
assert_trap(() => invoke($4, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:249
assert_trap(() => invoke($4, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:250
assert_trap(() => invoke($4, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:251
assert_trap(() => invoke($4, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:252
assert_trap(() => invoke($4, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:253
assert_trap(() => invoke($4, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:254
assert_trap(() => invoke($4, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:255
assert_trap(() => invoke($4, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:256
assert_trap(() => invoke($4, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:257
assert_trap(() => invoke($4, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:259
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)
(table $$t2 i64 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:286
invoke($5, `test`, []);
// ./test/core/table_init.wast:287
assert_trap(() => invoke($5, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:288
assert_trap(() => invoke($5, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:289
assert_return(() => invoke($5, `check`, [2]), [value("i32", 3)]);
// ./test/core/table_init.wast:290
assert_return(() => invoke($5, `check`, [3]), [value("i32", 1)]);
// ./test/core/table_init.wast:291
assert_return(() => invoke($5, `check`, [4]), [value("i32", 4)]);
// ./test/core/table_init.wast:292
assert_return(() => invoke($5, `check`, [5]), [value("i32", 1)]);
// ./test/core/table_init.wast:293
assert_trap(() => invoke($5, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:294
assert_trap(() => invoke($5, `check`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:295
assert_trap(() => invoke($5, `check`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:296
assert_trap(() => invoke($5, `check`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:297
assert_trap(() => invoke($5, `check`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:298
assert_trap(() => invoke($5, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:299
assert_return(() => invoke($5, `check`, [12]), [value("i32", 7)]);
// ./test/core/table_init.wast:300
assert_return(() => invoke($5, `check`, [13]), [value("i32", 5)]);
// ./test/core/table_init.wast:301
assert_return(() => invoke($5, `check`, [14]), [value("i32", 2)]);
// ./test/core/table_init.wast:302
assert_return(() => invoke($5, `check`, [15]), [value("i32", 9)]);
// ./test/core/table_init.wast:303
assert_return(() => invoke($5, `check`, [16]), [value("i32", 2)]);
// ./test/core/table_init.wast:304
assert_return(() => invoke($5, `check`, [17]), [value("i32", 7)]);
// ./test/core/table_init.wast:305
assert_trap(() => invoke($5, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:306
assert_trap(() => invoke($5, `check`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:307
assert_trap(() => invoke($5, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:308
assert_trap(() => invoke($5, `check`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:309
assert_trap(() => invoke($5, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:310
assert_trap(() => invoke($5, `check`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:311
assert_trap(() => invoke($5, `check`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:312
assert_trap(() => invoke($5, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:313
assert_trap(() => invoke($5, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:314
assert_trap(() => invoke($5, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:315
assert_trap(() => invoke($5, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:316
assert_trap(() => invoke($5, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:318
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)
(table $$t2 i64 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:353
invoke($6, `test`, []);
// ./test/core/table_init.wast:354
assert_trap(() => invoke($6, `check`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:355
assert_trap(() => invoke($6, `check`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:356
assert_return(() => invoke($6, `check`, [2]), [value("i32", 3)]);
// ./test/core/table_init.wast:357
assert_return(() => invoke($6, `check`, [3]), [value("i32", 1)]);
// ./test/core/table_init.wast:358
assert_return(() => invoke($6, `check`, [4]), [value("i32", 4)]);
// ./test/core/table_init.wast:359
assert_return(() => invoke($6, `check`, [5]), [value("i32", 1)]);
// ./test/core/table_init.wast:360
assert_trap(() => invoke($6, `check`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:361
assert_return(() => invoke($6, `check`, [7]), [value("i32", 2)]);
// ./test/core/table_init.wast:362
assert_return(() => invoke($6, `check`, [8]), [value("i32", 7)]);
// ./test/core/table_init.wast:363
assert_return(() => invoke($6, `check`, [9]), [value("i32", 1)]);
// ./test/core/table_init.wast:364
assert_return(() => invoke($6, `check`, [10]), [value("i32", 8)]);
// ./test/core/table_init.wast:365
assert_trap(() => invoke($6, `check`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:366
assert_return(() => invoke($6, `check`, [12]), [value("i32", 7)]);
// ./test/core/table_init.wast:367
assert_trap(() => invoke($6, `check`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:368
assert_return(() => invoke($6, `check`, [14]), [value("i32", 7)]);
// ./test/core/table_init.wast:369
assert_return(() => invoke($6, `check`, [15]), [value("i32", 5)]);
// ./test/core/table_init.wast:370
assert_return(() => invoke($6, `check`, [16]), [value("i32", 2)]);
// ./test/core/table_init.wast:371
assert_return(() => invoke($6, `check`, [17]), [value("i32", 7)]);
// ./test/core/table_init.wast:372
assert_trap(() => invoke($6, `check`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:373
assert_return(() => invoke($6, `check`, [19]), [value("i32", 9)]);
// ./test/core/table_init.wast:374
assert_trap(() => invoke($6, `check`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:375
assert_return(() => invoke($6, `check`, [21]), [value("i32", 7)]);
// ./test/core/table_init.wast:376
assert_trap(() => invoke($6, `check`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:377
assert_return(() => invoke($6, `check`, [23]), [value("i32", 8)]);
// ./test/core/table_init.wast:378
assert_return(() => invoke($6, `check`, [24]), [value("i32", 8)]);
// ./test/core/table_init.wast:379
assert_trap(() => invoke($6, `check`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:380
assert_trap(() => invoke($6, `check`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:381
assert_trap(() => invoke($6, `check`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:382
assert_trap(() => invoke($6, `check`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:383
assert_trap(() => invoke($6, `check`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:385
let $7 = 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)
(table $$t2 i64 30 30 funcref)
(elem (table $$t2) (i64.const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t2) (i64.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 $$t2 1 (i64.const 7) (i32.const 0) (i32.const 4)))
(func (export "check") (param i64) (result i32)
(call_indirect $$t2 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:412
invoke($7, `test`, []);
// ./test/core/table_init.wast:413
assert_trap(() => invoke($7, `check`, [0n]), `uninitialized element`);
// ./test/core/table_init.wast:414
assert_trap(() => invoke($7, `check`, [1n]), `uninitialized element`);
// ./test/core/table_init.wast:415
assert_return(() => invoke($7, `check`, [2n]), [value("i32", 3)]);
// ./test/core/table_init.wast:416
assert_return(() => invoke($7, `check`, [3n]), [value("i32", 1)]);
// ./test/core/table_init.wast:417
assert_return(() => invoke($7, `check`, [4n]), [value("i32", 4)]);
// ./test/core/table_init.wast:418
assert_return(() => invoke($7, `check`, [5n]), [value("i32", 1)]);
// ./test/core/table_init.wast:419
assert_trap(() => invoke($7, `check`, [6n]), `uninitialized element`);
// ./test/core/table_init.wast:420
assert_return(() => invoke($7, `check`, [7n]), [value("i32", 2)]);
// ./test/core/table_init.wast:421
assert_return(() => invoke($7, `check`, [8n]), [value("i32", 7)]);
// ./test/core/table_init.wast:422
assert_return(() => invoke($7, `check`, [9n]), [value("i32", 1)]);
// ./test/core/table_init.wast:423
assert_return(() => invoke($7, `check`, [10n]), [value("i32", 8)]);
// ./test/core/table_init.wast:424
assert_trap(() => invoke($7, `check`, [11n]), `uninitialized element`);
// ./test/core/table_init.wast:425
assert_return(() => invoke($7, `check`, [12n]), [value("i32", 7)]);
// ./test/core/table_init.wast:426
assert_return(() => invoke($7, `check`, [13n]), [value("i32", 5)]);
// ./test/core/table_init.wast:427
assert_return(() => invoke($7, `check`, [14n]), [value("i32", 2)]);
// ./test/core/table_init.wast:428
assert_return(() => invoke($7, `check`, [15n]), [value("i32", 3)]);
// ./test/core/table_init.wast:429
assert_return(() => invoke($7, `check`, [16n]), [value("i32", 6)]);
// ./test/core/table_init.wast:430
assert_trap(() => invoke($7, `check`, [17n]), `uninitialized element`);
// ./test/core/table_init.wast:431
assert_trap(() => invoke($7, `check`, [18n]), `uninitialized element`);
// ./test/core/table_init.wast:432
assert_trap(() => invoke($7, `check`, [19n]), `uninitialized element`);
// ./test/core/table_init.wast:433
assert_trap(() => invoke($7, `check`, [20n]), `uninitialized element`);
// ./test/core/table_init.wast:434
assert_trap(() => invoke($7, `check`, [21n]), `uninitialized element`);
// ./test/core/table_init.wast:435
assert_trap(() => invoke($7, `check`, [22n]), `uninitialized element`);
// ./test/core/table_init.wast:436
assert_trap(() => invoke($7, `check`, [23n]), `uninitialized element`);
// ./test/core/table_init.wast:437
assert_trap(() => invoke($7, `check`, [24n]), `uninitialized element`);
// ./test/core/table_init.wast:438
assert_trap(() => invoke($7, `check`, [25n]), `uninitialized element`);
// ./test/core/table_init.wast:439
assert_trap(() => invoke($7, `check`, [26n]), `uninitialized element`);
// ./test/core/table_init.wast:440
assert_trap(() => invoke($7, `check`, [27n]), `uninitialized element`);
// ./test/core/table_init.wast:441
assert_trap(() => invoke($7, `check`, [28n]), `uninitialized element`);
// ./test/core/table_init.wast:442
assert_trap(() => invoke($7, `check`, [29n]), `uninitialized element`);
// ./test/core/table_init.wast:444
let $8 = 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)
(table $$t2 i64 30 30 funcref)
(elem (table $$t2) (i64.const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t2) (i64.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 $$t2 3 (i64.const 15) (i32.const 1) (i32.const 3)))
(func (export "check") (param i64) (result i32)
(call_indirect $$t2 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:471
invoke($8, `test`, []);
// ./test/core/table_init.wast:472
assert_trap(() => invoke($8, `check`, [0n]), `uninitialized element`);
// ./test/core/table_init.wast:473
assert_trap(() => invoke($8, `check`, [1n]), `uninitialized element`);
// ./test/core/table_init.wast:474
assert_return(() => invoke($8, `check`, [2n]), [value("i32", 3)]);
// ./test/core/table_init.wast:475
assert_return(() => invoke($8, `check`, [3n]), [value("i32", 1)]);
// ./test/core/table_init.wast:476
assert_return(() => invoke($8, `check`, [4n]), [value("i32", 4)]);
// ./test/core/table_init.wast:477
assert_return(() => invoke($8, `check`, [5n]), [value("i32", 1)]);
// ./test/core/table_init.wast:478
assert_trap(() => invoke($8, `check`, [6n]), `uninitialized element`);
// ./test/core/table_init.wast:479
assert_trap(() => invoke($8, `check`, [7n]), `uninitialized element`);
// ./test/core/table_init.wast:480
assert_trap(() => invoke($8, `check`, [8n]), `uninitialized element`);
// ./test/core/table_init.wast:481
assert_trap(() => invoke($8, `check`, [9n]), `uninitialized element`);
// ./test/core/table_init.wast:482
assert_trap(() => invoke($8, `check`, [10n]), `uninitialized element`);
// ./test/core/table_init.wast:483
assert_trap(() => invoke($8, `check`, [11n]), `uninitialized element`);
// ./test/core/table_init.wast:484
assert_return(() => invoke($8, `check`, [12n]), [value("i32", 7)]);
// ./test/core/table_init.wast:485
assert_return(() => invoke($8, `check`, [13n]), [value("i32", 5)]);
// ./test/core/table_init.wast:486
assert_return(() => invoke($8, `check`, [14n]), [value("i32", 2)]);
// ./test/core/table_init.wast:487
assert_return(() => invoke($8, `check`, [15n]), [value("i32", 9)]);
// ./test/core/table_init.wast:488
assert_return(() => invoke($8, `check`, [16n]), [value("i32", 2)]);
// ./test/core/table_init.wast:489
assert_return(() => invoke($8, `check`, [17n]), [value("i32", 7)]);
// ./test/core/table_init.wast:490
assert_trap(() => invoke($8, `check`, [18n]), `uninitialized element`);
// ./test/core/table_init.wast:491
assert_trap(() => invoke($8, `check`, [19n]), `uninitialized element`);
// ./test/core/table_init.wast:492
assert_trap(() => invoke($8, `check`, [20n]), `uninitialized element`);
// ./test/core/table_init.wast:493
assert_trap(() => invoke($8, `check`, [21n]), `uninitialized element`);
// ./test/core/table_init.wast:494
assert_trap(() => invoke($8, `check`, [22n]), `uninitialized element`);
// ./test/core/table_init.wast:495
assert_trap(() => invoke($8, `check`, [23n]), `uninitialized element`);
// ./test/core/table_init.wast:496
assert_trap(() => invoke($8, `check`, [24n]), `uninitialized element`);
// ./test/core/table_init.wast:497
assert_trap(() => invoke($8, `check`, [25n]), `uninitialized element`);
// ./test/core/table_init.wast:498
assert_trap(() => invoke($8, `check`, [26n]), `uninitialized element`);
// ./test/core/table_init.wast:499
assert_trap(() => invoke($8, `check`, [27n]), `uninitialized element`);
// ./test/core/table_init.wast:500
assert_trap(() => invoke($8, `check`, [28n]), `uninitialized element`);
// ./test/core/table_init.wast:501
assert_trap(() => invoke($8, `check`, [29n]), `uninitialized element`);
// ./test/core/table_init.wast:503
let $9 = 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)
(table $$t2 i64 30 30 funcref)
(elem (table $$t2) (i64.const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t2) (i64.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 $$t2 1 (i64.const 7) (i32.const 0) (i32.const 4))
(elem.drop 1)
(table.init $$t2 3 (i64.const 15) (i32.const 1) (i32.const 3))
(elem.drop 3)
(table.copy $$t2 2 (i64.const 20) (i64.const 15) (i64.const 5))
(table.copy $$t2 2 (i64.const 21) (i64.const 29) (i64.const 1))
(table.copy $$t2 2 (i64.const 24) (i64.const 10) (i64.const 1))
(table.copy $$t2 2 (i64.const 13) (i64.const 11) (i64.const 4))
(table.copy $$t2 2 (i64.const 19) (i64.const 20) (i64.const 5)))
(func (export "check") (param i64) (result i32)
(call_indirect $$t2 (type 0) (local.get 0)))
)`);
// ./test/core/table_init.wast:538
invoke($9, `test`, []);
// ./test/core/table_init.wast:539
assert_trap(() => invoke($9, `check`, [0n]), `uninitialized element`);
// ./test/core/table_init.wast:540
assert_trap(() => invoke($9, `check`, [1n]), `uninitialized element`);
// ./test/core/table_init.wast:541
assert_return(() => invoke($9, `check`, [2n]), [value("i32", 3)]);
// ./test/core/table_init.wast:542
assert_return(() => invoke($9, `check`, [3n]), [value("i32", 1)]);
// ./test/core/table_init.wast:543
assert_return(() => invoke($9, `check`, [4n]), [value("i32", 4)]);
// ./test/core/table_init.wast:544
assert_return(() => invoke($9, `check`, [5n]), [value("i32", 1)]);
// ./test/core/table_init.wast:545
assert_trap(() => invoke($9, `check`, [6n]), `uninitialized element`);
// ./test/core/table_init.wast:546
assert_return(() => invoke($9, `check`, [7n]), [value("i32", 2)]);
// ./test/core/table_init.wast:547
assert_return(() => invoke($9, `check`, [8n]), [value("i32", 7)]);
// ./test/core/table_init.wast:548
assert_return(() => invoke($9, `check`, [9n]), [value("i32", 1)]);
// ./test/core/table_init.wast:549
assert_return(() => invoke($9, `check`, [10n]), [value("i32", 8)]);
// ./test/core/table_init.wast:550
assert_trap(() => invoke($9, `check`, [11n]), `uninitialized element`);
// ./test/core/table_init.wast:551
assert_return(() => invoke($9, `check`, [12n]), [value("i32", 7)]);
// ./test/core/table_init.wast:552
assert_trap(() => invoke($9, `check`, [13n]), `uninitialized element`);
// ./test/core/table_init.wast:553
assert_return(() => invoke($9, `check`, [14n]), [value("i32", 7)]);
// ./test/core/table_init.wast:554
assert_return(() => invoke($9, `check`, [15n]), [value("i32", 5)]);
// ./test/core/table_init.wast:555
assert_return(() => invoke($9, `check`, [16n]), [value("i32", 2)]);
// ./test/core/table_init.wast:556
assert_return(() => invoke($9, `check`, [17n]), [value("i32", 7)]);
// ./test/core/table_init.wast:557
assert_trap(() => invoke($9, `check`, [18n]), `uninitialized element`);
// ./test/core/table_init.wast:558
assert_return(() => invoke($9, `check`, [19n]), [value("i32", 9)]);
// ./test/core/table_init.wast:559
assert_trap(() => invoke($9, `check`, [20n]), `uninitialized element`);
// ./test/core/table_init.wast:560
assert_return(() => invoke($9, `check`, [21n]), [value("i32", 7)]);
// ./test/core/table_init.wast:561
assert_trap(() => invoke($9, `check`, [22n]), `uninitialized element`);
// ./test/core/table_init.wast:562
assert_return(() => invoke($9, `check`, [23n]), [value("i32", 8)]);
// ./test/core/table_init.wast:563
assert_return(() => invoke($9, `check`, [24n]), [value("i32", 8)]);
// ./test/core/table_init.wast:564
assert_trap(() => invoke($9, `check`, [25n]), `uninitialized element`);
// ./test/core/table_init.wast:565
assert_trap(() => invoke($9, `check`, [26n]), `uninitialized element`);
// ./test/core/table_init.wast:566
assert_trap(() => invoke($9, `check`, [27n]), `uninitialized element`);
// ./test/core/table_init.wast:567
assert_trap(() => invoke($9, `check`, [28n]), `uninitialized element`);
// ./test/core/table_init.wast:568
assert_trap(() => invoke($9, `check`, [29n]), `uninitialized element`);
// ./test/core/table_init.wast:569
assert_invalid(
() => instantiate(`(module
(func (export "test")
(elem.drop 0)))`),
`unknown elem segment 0`,
);
// ./test/core/table_init.wast:575
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:581
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:589
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:598
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 2)
))`);
// ./test/core/table_init.wast:620
invoke($10, `test`, []);
// ./test/core/table_init.wast:622
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")
(table.init 2 (i32.const 12) (i32.const 1) (i32.const 1))
))`);
// ./test/core/table_init.wast:644
assert_trap(() => invoke($11, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:646
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 1) (i32.const 1))
(table.init 1 (i32.const 21) (i32.const 1) (i32.const 1))))`);
// ./test/core/table_init.wast:668
invoke($12, `test`, []);
// ./test/core/table_init.wast:670
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")
(elem.drop 1)
(elem.drop 1)))`);
// ./test/core/table_init.wast:692
invoke($13, `test`, []);
// ./test/core/table_init.wast:694
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")
(elem.drop 1)
(table.init 1 (i32.const 12) (i32.const 1) (i32.const 1))))`);
// ./test/core/table_init.wast:716
assert_trap(() => invoke($14, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:718
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 1 (i32.const 12) (i32.const 0) (i32.const 5))
))`);
// ./test/core/table_init.wast:740
assert_trap(() => invoke($15, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:742
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 1 (i32.const 12) (i32.const 2) (i32.const 3))
))`);
// ./test/core/table_init.wast:764
assert_trap(() => invoke($16, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:766
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 28) (i32.const 1) (i32.const 3))
))`);
// ./test/core/table_init.wast:788
assert_trap(() => invoke($17, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:790
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 12) (i32.const 4) (i32.const 0))
))`);
// ./test/core/table_init.wast:812
invoke($18, `test`, []);
// ./test/core/table_init.wast:814
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 12) (i32.const 5) (i32.const 0))
))`);
// ./test/core/table_init.wast:836
assert_trap(() => invoke($19, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:838
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 30) (i32.const 2) (i32.const 0))
))`);
// ./test/core/table_init.wast:860
invoke($20, `test`, []);
// ./test/core/table_init.wast:862
let $21 = 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:884
assert_trap(() => invoke($21, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:886
let $22 = 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:908
invoke($22, `test`, []);
// ./test/core/table_init.wast:910
let $23 = 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:932
assert_trap(() => invoke($23, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:934
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 26) (i32.const 1) (i32.const 3))
))`);
// ./test/core/table_init.wast:956
assert_trap(() => invoke($24, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:958
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 12) (i32.const 4) (i32.const 0))
))`);
// ./test/core/table_init.wast:980
invoke($25, `test`, []);
// ./test/core/table_init.wast:982
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 12) (i32.const 5) (i32.const 0))
))`);
// ./test/core/table_init.wast:1004
assert_trap(() => invoke($26, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:1006
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 28) (i32.const 2) (i32.const 0))
))`);
// ./test/core/table_init.wast:1028
invoke($27, `test`, []);
// ./test/core/table_init.wast:1030
let $28 = 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:1052
assert_trap(() => invoke($28, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:1054
let $29 = 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:1076
invoke($29, `test`, []);
// ./test/core/table_init.wast:1078
let $30 = 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:1100
assert_trap(() => invoke($30, `test`, []), `out of bounds table access`);
// ./test/core/table_init.wast:1102
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:1111
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:1120
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:1129
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:1138
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:1147
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:1156
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:1165
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:1174
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:1183
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:1192
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:1201
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:1210
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:1219
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:1228
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:1237
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:1246
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:1255
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:1264
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:1273
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:1282
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:1291
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:1300
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:1309
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:1318
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:1327
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:1336
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:1345
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:1354
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:1363
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:1372
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:1381
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:1390
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:1399
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:1408
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:1417
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:1426
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:1435
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:1444
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:1453
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:1462
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:1471
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:1480
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:1489
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:1498
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:1507
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:1516
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:1525
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:1534
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:1543
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:1552
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:1561
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:1570
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:1579
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:1588
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:1597
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:1606
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:1615
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) (i64.const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1624
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) (f64.const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1633
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) (f64.const 1) (i32.const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1642
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) (f64.const 1) (f32.const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1651
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) (f64.const 1) (i64.const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1660
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) (f64.const 1) (f64.const 1))))`),
`type mismatch`,
);
// ./test/core/table_init.wast:1669
let $31 = instantiate(`(module
(type (func (result i32)))
(table 32 64 funcref)
(elem funcref
(ref.func $$f0) (ref.func $$f1) (ref.func $$f2) (ref.func $$f3)
(ref.func $$f4) (ref.func $$f5) (ref.func $$f6) (ref.func $$f7)
(ref.func $$f8) (ref.func $$f9) (ref.func $$f10) (ref.func $$f11)
(ref.func $$f12) (ref.func $$f13) (ref.func $$f14) (ref.func $$f15))
(func $$f0 (export "f0") (result i32) (i32.const 0))
(func $$f1 (export "f1") (result i32) (i32.const 1))
(func $$f2 (export "f2") (result i32) (i32.const 2))
(func $$f3 (export "f3") (result i32) (i32.const 3))
(func $$f4 (export "f4") (result i32) (i32.const 4))
(func $$f5 (export "f5") (result i32) (i32.const 5))
(func $$f6 (export "f6") (result i32) (i32.const 6))
(func $$f7 (export "f7") (result i32) (i32.const 7))
(func $$f8 (export "f8") (result i32) (i32.const 8))
(func $$f9 (export "f9") (result i32) (i32.const 9))
(func $$f10 (export "f10") (result i32) (i32.const 10))
(func $$f11 (export "f11") (result i32) (i32.const 11))
(func $$f12 (export "f12") (result i32) (i32.const 12))
(func $$f13 (export "f13") (result i32) (i32.const 13))
(func $$f14 (export "f14") (result i32) (i32.const 14))
(func $$f15 (export "f15") (result i32) (i32.const 15))
(func (export "test") (param $$n i32) (result i32)
(call_indirect (type 0) (local.get $$n)))
(func (export "run") (param $$offs i32) (param $$len i32)
(table.init 0 (local.get $$offs) (i32.const 0) (local.get $$len))))`);
// ./test/core/table_init.wast:1697
assert_trap(() => invoke($31, `run`, [24, 16]), `out of bounds table access`);
// ./test/core/table_init.wast:1698
assert_trap(() => invoke($31, `test`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:1699
assert_trap(() => invoke($31, `test`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:1700
assert_trap(() => invoke($31, `test`, [2]), `uninitialized element`);
// ./test/core/table_init.wast:1701
assert_trap(() => invoke($31, `test`, [3]), `uninitialized element`);
// ./test/core/table_init.wast:1702
assert_trap(() => invoke($31, `test`, [4]), `uninitialized element`);
// ./test/core/table_init.wast:1703
assert_trap(() => invoke($31, `test`, [5]), `uninitialized element`);
// ./test/core/table_init.wast:1704
assert_trap(() => invoke($31, `test`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:1705
assert_trap(() => invoke($31, `test`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:1706
assert_trap(() => invoke($31, `test`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:1707
assert_trap(() => invoke($31, `test`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:1708
assert_trap(() => invoke($31, `test`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:1709
assert_trap(() => invoke($31, `test`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:1710
assert_trap(() => invoke($31, `test`, [12]), `uninitialized element`);
// ./test/core/table_init.wast:1711
assert_trap(() => invoke($31, `test`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:1712
assert_trap(() => invoke($31, `test`, [14]), `uninitialized element`);
// ./test/core/table_init.wast:1713
assert_trap(() => invoke($31, `test`, [15]), `uninitialized element`);
// ./test/core/table_init.wast:1714
assert_trap(() => invoke($31, `test`, [16]), `uninitialized element`);
// ./test/core/table_init.wast:1715
assert_trap(() => invoke($31, `test`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:1716
assert_trap(() => invoke($31, `test`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:1717
assert_trap(() => invoke($31, `test`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:1718
assert_trap(() => invoke($31, `test`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:1719
assert_trap(() => invoke($31, `test`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:1720
assert_trap(() => invoke($31, `test`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:1721
assert_trap(() => invoke($31, `test`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:1722
assert_trap(() => invoke($31, `test`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:1723
assert_trap(() => invoke($31, `test`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:1724
assert_trap(() => invoke($31, `test`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:1725
assert_trap(() => invoke($31, `test`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:1726
assert_trap(() => invoke($31, `test`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:1727
assert_trap(() => invoke($31, `test`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:1728
assert_trap(() => invoke($31, `test`, [30]), `uninitialized element`);
// ./test/core/table_init.wast:1729
assert_trap(() => invoke($31, `test`, [31]), `uninitialized element`);
// ./test/core/table_init.wast:1731
let $32 = instantiate(`(module
(type (func (result i32)))
(table 32 64 funcref)
(elem funcref
(ref.func $$f0) (ref.func $$f1) (ref.func $$f2) (ref.func $$f3)
(ref.func $$f4) (ref.func $$f5) (ref.func $$f6) (ref.func $$f7)
(ref.func $$f8) (ref.func $$f9) (ref.func $$f10) (ref.func $$f11)
(ref.func $$f12) (ref.func $$f13) (ref.func $$f14) (ref.func $$f15))
(func $$f0 (export "f0") (result i32) (i32.const 0))
(func $$f1 (export "f1") (result i32) (i32.const 1))
(func $$f2 (export "f2") (result i32) (i32.const 2))
(func $$f3 (export "f3") (result i32) (i32.const 3))
(func $$f4 (export "f4") (result i32) (i32.const 4))
(func $$f5 (export "f5") (result i32) (i32.const 5))
(func $$f6 (export "f6") (result i32) (i32.const 6))
(func $$f7 (export "f7") (result i32) (i32.const 7))
(func $$f8 (export "f8") (result i32) (i32.const 8))
(func $$f9 (export "f9") (result i32) (i32.const 9))
(func $$f10 (export "f10") (result i32) (i32.const 10))
(func $$f11 (export "f11") (result i32) (i32.const 11))
(func $$f12 (export "f12") (result i32) (i32.const 12))
(func $$f13 (export "f13") (result i32) (i32.const 13))
(func $$f14 (export "f14") (result i32) (i32.const 14))
(func $$f15 (export "f15") (result i32) (i32.const 15))
(func (export "test") (param $$n i32) (result i32)
(call_indirect (type 0) (local.get $$n)))
(func (export "run") (param $$offs i32) (param $$len i32)
(table.init 0 (local.get $$offs) (i32.const 0) (local.get $$len))))`);
// ./test/core/table_init.wast:1759
assert_trap(() => invoke($32, `run`, [25, 16]), `out of bounds table access`);
// ./test/core/table_init.wast:1760
assert_trap(() => invoke($32, `test`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:1761
assert_trap(() => invoke($32, `test`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:1762
assert_trap(() => invoke($32, `test`, [2]), `uninitialized element`);
// ./test/core/table_init.wast:1763
assert_trap(() => invoke($32, `test`, [3]), `uninitialized element`);
// ./test/core/table_init.wast:1764
assert_trap(() => invoke($32, `test`, [4]), `uninitialized element`);
// ./test/core/table_init.wast:1765
assert_trap(() => invoke($32, `test`, [5]), `uninitialized element`);
// ./test/core/table_init.wast:1766
assert_trap(() => invoke($32, `test`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:1767
assert_trap(() => invoke($32, `test`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:1768
assert_trap(() => invoke($32, `test`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:1769
assert_trap(() => invoke($32, `test`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:1770
assert_trap(() => invoke($32, `test`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:1771
assert_trap(() => invoke($32, `test`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:1772
assert_trap(() => invoke($32, `test`, [12]), `uninitialized element`);
// ./test/core/table_init.wast:1773
assert_trap(() => invoke($32, `test`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:1774
assert_trap(() => invoke($32, `test`, [14]), `uninitialized element`);
// ./test/core/table_init.wast:1775
assert_trap(() => invoke($32, `test`, [15]), `uninitialized element`);
// ./test/core/table_init.wast:1776
assert_trap(() => invoke($32, `test`, [16]), `uninitialized element`);
// ./test/core/table_init.wast:1777
assert_trap(() => invoke($32, `test`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:1778
assert_trap(() => invoke($32, `test`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:1779
assert_trap(() => invoke($32, `test`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:1780
assert_trap(() => invoke($32, `test`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:1781
assert_trap(() => invoke($32, `test`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:1782
assert_trap(() => invoke($32, `test`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:1783
assert_trap(() => invoke($32, `test`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:1784
assert_trap(() => invoke($32, `test`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:1785
assert_trap(() => invoke($32, `test`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:1786
assert_trap(() => invoke($32, `test`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:1787
assert_trap(() => invoke($32, `test`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:1788
assert_trap(() => invoke($32, `test`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:1789
assert_trap(() => invoke($32, `test`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:1790
assert_trap(() => invoke($32, `test`, [30]), `uninitialized element`);
// ./test/core/table_init.wast:1791
assert_trap(() => invoke($32, `test`, [31]), `uninitialized element`);
// ./test/core/table_init.wast:1793
let $33 = instantiate(`(module
(type (func (result i32)))
(table 160 320 funcref)
(elem funcref
(ref.func $$f0) (ref.func $$f1) (ref.func $$f2) (ref.func $$f3)
(ref.func $$f4) (ref.func $$f5) (ref.func $$f6) (ref.func $$f7)
(ref.func $$f8) (ref.func $$f9) (ref.func $$f10) (ref.func $$f11)
(ref.func $$f12) (ref.func $$f13) (ref.func $$f14) (ref.func $$f15))
(func $$f0 (export "f0") (result i32) (i32.const 0))
(func $$f1 (export "f1") (result i32) (i32.const 1))
(func $$f2 (export "f2") (result i32) (i32.const 2))
(func $$f3 (export "f3") (result i32) (i32.const 3))
(func $$f4 (export "f4") (result i32) (i32.const 4))
(func $$f5 (export "f5") (result i32) (i32.const 5))
(func $$f6 (export "f6") (result i32) (i32.const 6))
(func $$f7 (export "f7") (result i32) (i32.const 7))
(func $$f8 (export "f8") (result i32) (i32.const 8))
(func $$f9 (export "f9") (result i32) (i32.const 9))
(func $$f10 (export "f10") (result i32) (i32.const 10))
(func $$f11 (export "f11") (result i32) (i32.const 11))
(func $$f12 (export "f12") (result i32) (i32.const 12))
(func $$f13 (export "f13") (result i32) (i32.const 13))
(func $$f14 (export "f14") (result i32) (i32.const 14))
(func $$f15 (export "f15") (result i32) (i32.const 15))
(func (export "test") (param $$n i32) (result i32)
(call_indirect (type 0) (local.get $$n)))
(func (export "run") (param $$offs i32) (param $$len i32)
(table.init 0 (local.get $$offs) (i32.const 0) (local.get $$len))))`);
// ./test/core/table_init.wast:1821
assert_trap(() => invoke($33, `run`, [96, 32]), `out of bounds table access`);
// ./test/core/table_init.wast:1822
assert_trap(() => invoke($33, `test`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:1823
assert_trap(() => invoke($33, `test`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:1824
assert_trap(() => invoke($33, `test`, [2]), `uninitialized element`);
// ./test/core/table_init.wast:1825
assert_trap(() => invoke($33, `test`, [3]), `uninitialized element`);
// ./test/core/table_init.wast:1826
assert_trap(() => invoke($33, `test`, [4]), `uninitialized element`);
// ./test/core/table_init.wast:1827
assert_trap(() => invoke($33, `test`, [5]), `uninitialized element`);
// ./test/core/table_init.wast:1828
assert_trap(() => invoke($33, `test`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:1829
assert_trap(() => invoke($33, `test`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:1830
assert_trap(() => invoke($33, `test`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:1831
assert_trap(() => invoke($33, `test`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:1832
assert_trap(() => invoke($33, `test`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:1833
assert_trap(() => invoke($33, `test`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:1834
assert_trap(() => invoke($33, `test`, [12]), `uninitialized element`);
// ./test/core/table_init.wast:1835
assert_trap(() => invoke($33, `test`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:1836
assert_trap(() => invoke($33, `test`, [14]), `uninitialized element`);
// ./test/core/table_init.wast:1837
assert_trap(() => invoke($33, `test`, [15]), `uninitialized element`);
// ./test/core/table_init.wast:1838
assert_trap(() => invoke($33, `test`, [16]), `uninitialized element`);
// ./test/core/table_init.wast:1839
assert_trap(() => invoke($33, `test`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:1840
assert_trap(() => invoke($33, `test`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:1841
assert_trap(() => invoke($33, `test`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:1842
assert_trap(() => invoke($33, `test`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:1843
assert_trap(() => invoke($33, `test`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:1844
assert_trap(() => invoke($33, `test`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:1845
assert_trap(() => invoke($33, `test`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:1846
assert_trap(() => invoke($33, `test`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:1847
assert_trap(() => invoke($33, `test`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:1848
assert_trap(() => invoke($33, `test`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:1849
assert_trap(() => invoke($33, `test`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:1850
assert_trap(() => invoke($33, `test`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:1851
assert_trap(() => invoke($33, `test`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:1852
assert_trap(() => invoke($33, `test`, [30]), `uninitialized element`);
// ./test/core/table_init.wast:1853
assert_trap(() => invoke($33, `test`, [31]), `uninitialized element`);
// ./test/core/table_init.wast:1854
assert_trap(() => invoke($33, `test`, [32]), `uninitialized element`);
// ./test/core/table_init.wast:1855
assert_trap(() => invoke($33, `test`, [33]), `uninitialized element`);
// ./test/core/table_init.wast:1856
assert_trap(() => invoke($33, `test`, [34]), `uninitialized element`);
// ./test/core/table_init.wast:1857
assert_trap(() => invoke($33, `test`, [35]), `uninitialized element`);
// ./test/core/table_init.wast:1858
assert_trap(() => invoke($33, `test`, [36]), `uninitialized element`);
// ./test/core/table_init.wast:1859
assert_trap(() => invoke($33, `test`, [37]), `uninitialized element`);
// ./test/core/table_init.wast:1860
assert_trap(() => invoke($33, `test`, [38]), `uninitialized element`);
// ./test/core/table_init.wast:1861
assert_trap(() => invoke($33, `test`, [39]), `uninitialized element`);
// ./test/core/table_init.wast:1862
assert_trap(() => invoke($33, `test`, [40]), `uninitialized element`);
// ./test/core/table_init.wast:1863
assert_trap(() => invoke($33, `test`, [41]), `uninitialized element`);
// ./test/core/table_init.wast:1864
assert_trap(() => invoke($33, `test`, [42]), `uninitialized element`);
// ./test/core/table_init.wast:1865
assert_trap(() => invoke($33, `test`, [43]), `uninitialized element`);
// ./test/core/table_init.wast:1866
assert_trap(() => invoke($33, `test`, [44]), `uninitialized element`);
// ./test/core/table_init.wast:1867
assert_trap(() => invoke($33, `test`, [45]), `uninitialized element`);
// ./test/core/table_init.wast:1868
assert_trap(() => invoke($33, `test`, [46]), `uninitialized element`);
// ./test/core/table_init.wast:1869
assert_trap(() => invoke($33, `test`, [47]), `uninitialized element`);
// ./test/core/table_init.wast:1870
assert_trap(() => invoke($33, `test`, [48]), `uninitialized element`);
// ./test/core/table_init.wast:1871
assert_trap(() => invoke($33, `test`, [49]), `uninitialized element`);
// ./test/core/table_init.wast:1872
assert_trap(() => invoke($33, `test`, [50]), `uninitialized element`);
// ./test/core/table_init.wast:1873
assert_trap(() => invoke($33, `test`, [51]), `uninitialized element`);
// ./test/core/table_init.wast:1874
assert_trap(() => invoke($33, `test`, [52]), `uninitialized element`);
// ./test/core/table_init.wast:1875
assert_trap(() => invoke($33, `test`, [53]), `uninitialized element`);
// ./test/core/table_init.wast:1876
assert_trap(() => invoke($33, `test`, [54]), `uninitialized element`);
// ./test/core/table_init.wast:1877
assert_trap(() => invoke($33, `test`, [55]), `uninitialized element`);
// ./test/core/table_init.wast:1878
assert_trap(() => invoke($33, `test`, [56]), `uninitialized element`);
// ./test/core/table_init.wast:1879
assert_trap(() => invoke($33, `test`, [57]), `uninitialized element`);
// ./test/core/table_init.wast:1880
assert_trap(() => invoke($33, `test`, [58]), `uninitialized element`);
// ./test/core/table_init.wast:1881
assert_trap(() => invoke($33, `test`, [59]), `uninitialized element`);
// ./test/core/table_init.wast:1882
assert_trap(() => invoke($33, `test`, [60]), `uninitialized element`);
// ./test/core/table_init.wast:1883
assert_trap(() => invoke($33, `test`, [61]), `uninitialized element`);
// ./test/core/table_init.wast:1884
assert_trap(() => invoke($33, `test`, [62]), `uninitialized element`);
// ./test/core/table_init.wast:1885
assert_trap(() => invoke($33, `test`, [63]), `uninitialized element`);
// ./test/core/table_init.wast:1886
assert_trap(() => invoke($33, `test`, [64]), `uninitialized element`);
// ./test/core/table_init.wast:1887
assert_trap(() => invoke($33, `test`, [65]), `uninitialized element`);
// ./test/core/table_init.wast:1888
assert_trap(() => invoke($33, `test`, [66]), `uninitialized element`);
// ./test/core/table_init.wast:1889
assert_trap(() => invoke($33, `test`, [67]), `uninitialized element`);
// ./test/core/table_init.wast:1890
assert_trap(() => invoke($33, `test`, [68]), `uninitialized element`);
// ./test/core/table_init.wast:1891
assert_trap(() => invoke($33, `test`, [69]), `uninitialized element`);
// ./test/core/table_init.wast:1892
assert_trap(() => invoke($33, `test`, [70]), `uninitialized element`);
// ./test/core/table_init.wast:1893
assert_trap(() => invoke($33, `test`, [71]), `uninitialized element`);
// ./test/core/table_init.wast:1894
assert_trap(() => invoke($33, `test`, [72]), `uninitialized element`);
// ./test/core/table_init.wast:1895
assert_trap(() => invoke($33, `test`, [73]), `uninitialized element`);
// ./test/core/table_init.wast:1896
assert_trap(() => invoke($33, `test`, [74]), `uninitialized element`);
// ./test/core/table_init.wast:1897
assert_trap(() => invoke($33, `test`, [75]), `uninitialized element`);
// ./test/core/table_init.wast:1898
assert_trap(() => invoke($33, `test`, [76]), `uninitialized element`);
// ./test/core/table_init.wast:1899
assert_trap(() => invoke($33, `test`, [77]), `uninitialized element`);
// ./test/core/table_init.wast:1900
assert_trap(() => invoke($33, `test`, [78]), `uninitialized element`);
// ./test/core/table_init.wast:1901
assert_trap(() => invoke($33, `test`, [79]), `uninitialized element`);
// ./test/core/table_init.wast:1902
assert_trap(() => invoke($33, `test`, [80]), `uninitialized element`);
// ./test/core/table_init.wast:1903
assert_trap(() => invoke($33, `test`, [81]), `uninitialized element`);
// ./test/core/table_init.wast:1904
assert_trap(() => invoke($33, `test`, [82]), `uninitialized element`);
// ./test/core/table_init.wast:1905
assert_trap(() => invoke($33, `test`, [83]), `uninitialized element`);
// ./test/core/table_init.wast:1906
assert_trap(() => invoke($33, `test`, [84]), `uninitialized element`);
// ./test/core/table_init.wast:1907
assert_trap(() => invoke($33, `test`, [85]), `uninitialized element`);
// ./test/core/table_init.wast:1908
assert_trap(() => invoke($33, `test`, [86]), `uninitialized element`);
// ./test/core/table_init.wast:1909
assert_trap(() => invoke($33, `test`, [87]), `uninitialized element`);
// ./test/core/table_init.wast:1910
assert_trap(() => invoke($33, `test`, [88]), `uninitialized element`);
// ./test/core/table_init.wast:1911
assert_trap(() => invoke($33, `test`, [89]), `uninitialized element`);
// ./test/core/table_init.wast:1912
assert_trap(() => invoke($33, `test`, [90]), `uninitialized element`);
// ./test/core/table_init.wast:1913
assert_trap(() => invoke($33, `test`, [91]), `uninitialized element`);
// ./test/core/table_init.wast:1914
assert_trap(() => invoke($33, `test`, [92]), `uninitialized element`);
// ./test/core/table_init.wast:1915
assert_trap(() => invoke($33, `test`, [93]), `uninitialized element`);
// ./test/core/table_init.wast:1916
assert_trap(() => invoke($33, `test`, [94]), `uninitialized element`);
// ./test/core/table_init.wast:1917
assert_trap(() => invoke($33, `test`, [95]), `uninitialized element`);
// ./test/core/table_init.wast:1918
assert_trap(() => invoke($33, `test`, [96]), `uninitialized element`);
// ./test/core/table_init.wast:1919
assert_trap(() => invoke($33, `test`, [97]), `uninitialized element`);
// ./test/core/table_init.wast:1920
assert_trap(() => invoke($33, `test`, [98]), `uninitialized element`);
// ./test/core/table_init.wast:1921
assert_trap(() => invoke($33, `test`, [99]), `uninitialized element`);
// ./test/core/table_init.wast:1922
assert_trap(() => invoke($33, `test`, [100]), `uninitialized element`);
// ./test/core/table_init.wast:1923
assert_trap(() => invoke($33, `test`, [101]), `uninitialized element`);
// ./test/core/table_init.wast:1924
assert_trap(() => invoke($33, `test`, [102]), `uninitialized element`);
// ./test/core/table_init.wast:1925
assert_trap(() => invoke($33, `test`, [103]), `uninitialized element`);
// ./test/core/table_init.wast:1926
assert_trap(() => invoke($33, `test`, [104]), `uninitialized element`);
// ./test/core/table_init.wast:1927
assert_trap(() => invoke($33, `test`, [105]), `uninitialized element`);
// ./test/core/table_init.wast:1928
assert_trap(() => invoke($33, `test`, [106]), `uninitialized element`);
// ./test/core/table_init.wast:1929
assert_trap(() => invoke($33, `test`, [107]), `uninitialized element`);
// ./test/core/table_init.wast:1930
assert_trap(() => invoke($33, `test`, [108]), `uninitialized element`);
// ./test/core/table_init.wast:1931
assert_trap(() => invoke($33, `test`, [109]), `uninitialized element`);
// ./test/core/table_init.wast:1932
assert_trap(() => invoke($33, `test`, [110]), `uninitialized element`);
// ./test/core/table_init.wast:1933
assert_trap(() => invoke($33, `test`, [111]), `uninitialized element`);
// ./test/core/table_init.wast:1934
assert_trap(() => invoke($33, `test`, [112]), `uninitialized element`);
// ./test/core/table_init.wast:1935
assert_trap(() => invoke($33, `test`, [113]), `uninitialized element`);
// ./test/core/table_init.wast:1936
assert_trap(() => invoke($33, `test`, [114]), `uninitialized element`);
// ./test/core/table_init.wast:1937
assert_trap(() => invoke($33, `test`, [115]), `uninitialized element`);
// ./test/core/table_init.wast:1938
assert_trap(() => invoke($33, `test`, [116]), `uninitialized element`);
// ./test/core/table_init.wast:1939
assert_trap(() => invoke($33, `test`, [117]), `uninitialized element`);
// ./test/core/table_init.wast:1940
assert_trap(() => invoke($33, `test`, [118]), `uninitialized element`);
// ./test/core/table_init.wast:1941
assert_trap(() => invoke($33, `test`, [119]), `uninitialized element`);
// ./test/core/table_init.wast:1942
assert_trap(() => invoke($33, `test`, [120]), `uninitialized element`);
// ./test/core/table_init.wast:1943
assert_trap(() => invoke($33, `test`, [121]), `uninitialized element`);
// ./test/core/table_init.wast:1944
assert_trap(() => invoke($33, `test`, [122]), `uninitialized element`);
// ./test/core/table_init.wast:1945
assert_trap(() => invoke($33, `test`, [123]), `uninitialized element`);
// ./test/core/table_init.wast:1946
assert_trap(() => invoke($33, `test`, [124]), `uninitialized element`);
// ./test/core/table_init.wast:1947
assert_trap(() => invoke($33, `test`, [125]), `uninitialized element`);
// ./test/core/table_init.wast:1948
assert_trap(() => invoke($33, `test`, [126]), `uninitialized element`);
// ./test/core/table_init.wast:1949
assert_trap(() => invoke($33, `test`, [127]), `uninitialized element`);
// ./test/core/table_init.wast:1950
assert_trap(() => invoke($33, `test`, [128]), `uninitialized element`);
// ./test/core/table_init.wast:1951
assert_trap(() => invoke($33, `test`, [129]), `uninitialized element`);
// ./test/core/table_init.wast:1952
assert_trap(() => invoke($33, `test`, [130]), `uninitialized element`);
// ./test/core/table_init.wast:1953
assert_trap(() => invoke($33, `test`, [131]), `uninitialized element`);
// ./test/core/table_init.wast:1954
assert_trap(() => invoke($33, `test`, [132]), `uninitialized element`);
// ./test/core/table_init.wast:1955
assert_trap(() => invoke($33, `test`, [133]), `uninitialized element`);
// ./test/core/table_init.wast:1956
assert_trap(() => invoke($33, `test`, [134]), `uninitialized element`);
// ./test/core/table_init.wast:1957
assert_trap(() => invoke($33, `test`, [135]), `uninitialized element`);
// ./test/core/table_init.wast:1958
assert_trap(() => invoke($33, `test`, [136]), `uninitialized element`);
// ./test/core/table_init.wast:1959
assert_trap(() => invoke($33, `test`, [137]), `uninitialized element`);
// ./test/core/table_init.wast:1960
assert_trap(() => invoke($33, `test`, [138]), `uninitialized element`);
// ./test/core/table_init.wast:1961
assert_trap(() => invoke($33, `test`, [139]), `uninitialized element`);
// ./test/core/table_init.wast:1962
assert_trap(() => invoke($33, `test`, [140]), `uninitialized element`);
// ./test/core/table_init.wast:1963
assert_trap(() => invoke($33, `test`, [141]), `uninitialized element`);
// ./test/core/table_init.wast:1964
assert_trap(() => invoke($33, `test`, [142]), `uninitialized element`);
// ./test/core/table_init.wast:1965
assert_trap(() => invoke($33, `test`, [143]), `uninitialized element`);
// ./test/core/table_init.wast:1966
assert_trap(() => invoke($33, `test`, [144]), `uninitialized element`);
// ./test/core/table_init.wast:1967
assert_trap(() => invoke($33, `test`, [145]), `uninitialized element`);
// ./test/core/table_init.wast:1968
assert_trap(() => invoke($33, `test`, [146]), `uninitialized element`);
// ./test/core/table_init.wast:1969
assert_trap(() => invoke($33, `test`, [147]), `uninitialized element`);
// ./test/core/table_init.wast:1970
assert_trap(() => invoke($33, `test`, [148]), `uninitialized element`);
// ./test/core/table_init.wast:1971
assert_trap(() => invoke($33, `test`, [149]), `uninitialized element`);
// ./test/core/table_init.wast:1972
assert_trap(() => invoke($33, `test`, [150]), `uninitialized element`);
// ./test/core/table_init.wast:1973
assert_trap(() => invoke($33, `test`, [151]), `uninitialized element`);
// ./test/core/table_init.wast:1974
assert_trap(() => invoke($33, `test`, [152]), `uninitialized element`);
// ./test/core/table_init.wast:1975
assert_trap(() => invoke($33, `test`, [153]), `uninitialized element`);
// ./test/core/table_init.wast:1976
assert_trap(() => invoke($33, `test`, [154]), `uninitialized element`);
// ./test/core/table_init.wast:1977
assert_trap(() => invoke($33, `test`, [155]), `uninitialized element`);
// ./test/core/table_init.wast:1978
assert_trap(() => invoke($33, `test`, [156]), `uninitialized element`);
// ./test/core/table_init.wast:1979
assert_trap(() => invoke($33, `test`, [157]), `uninitialized element`);
// ./test/core/table_init.wast:1980
assert_trap(() => invoke($33, `test`, [158]), `uninitialized element`);
// ./test/core/table_init.wast:1981
assert_trap(() => invoke($33, `test`, [159]), `uninitialized element`);
// ./test/core/table_init.wast:1983
let $34 = instantiate(`(module
(type (func (result i32)))
(table 160 320 funcref)
(elem funcref
(ref.func $$f0) (ref.func $$f1) (ref.func $$f2) (ref.func $$f3)
(ref.func $$f4) (ref.func $$f5) (ref.func $$f6) (ref.func $$f7)
(ref.func $$f8) (ref.func $$f9) (ref.func $$f10) (ref.func $$f11)
(ref.func $$f12) (ref.func $$f13) (ref.func $$f14) (ref.func $$f15))
(func $$f0 (export "f0") (result i32) (i32.const 0))
(func $$f1 (export "f1") (result i32) (i32.const 1))
(func $$f2 (export "f2") (result i32) (i32.const 2))
(func $$f3 (export "f3") (result i32) (i32.const 3))
(func $$f4 (export "f4") (result i32) (i32.const 4))
(func $$f5 (export "f5") (result i32) (i32.const 5))
(func $$f6 (export "f6") (result i32) (i32.const 6))
(func $$f7 (export "f7") (result i32) (i32.const 7))
(func $$f8 (export "f8") (result i32) (i32.const 8))
(func $$f9 (export "f9") (result i32) (i32.const 9))
(func $$f10 (export "f10") (result i32) (i32.const 10))
(func $$f11 (export "f11") (result i32) (i32.const 11))
(func $$f12 (export "f12") (result i32) (i32.const 12))
(func $$f13 (export "f13") (result i32) (i32.const 13))
(func $$f14 (export "f14") (result i32) (i32.const 14))
(func $$f15 (export "f15") (result i32) (i32.const 15))
(func (export "test") (param $$n i32) (result i32)
(call_indirect (type 0) (local.get $$n)))
(func (export "run") (param $$offs i32) (param $$len i32)
(table.init 0 (local.get $$offs) (i32.const 0) (local.get $$len))))`);
// ./test/core/table_init.wast:2011
assert_trap(() => invoke($34, `run`, [97, 31]), `out of bounds table access`);
// ./test/core/table_init.wast:2012
assert_trap(() => invoke($34, `test`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:2013
assert_trap(() => invoke($34, `test`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:2014
assert_trap(() => invoke($34, `test`, [2]), `uninitialized element`);
// ./test/core/table_init.wast:2015
assert_trap(() => invoke($34, `test`, [3]), `uninitialized element`);
// ./test/core/table_init.wast:2016
assert_trap(() => invoke($34, `test`, [4]), `uninitialized element`);
// ./test/core/table_init.wast:2017
assert_trap(() => invoke($34, `test`, [5]), `uninitialized element`);
// ./test/core/table_init.wast:2018
assert_trap(() => invoke($34, `test`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:2019
assert_trap(() => invoke($34, `test`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:2020
assert_trap(() => invoke($34, `test`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:2021
assert_trap(() => invoke($34, `test`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:2022
assert_trap(() => invoke($34, `test`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:2023
assert_trap(() => invoke($34, `test`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:2024
assert_trap(() => invoke($34, `test`, [12]), `uninitialized element`);
// ./test/core/table_init.wast:2025
assert_trap(() => invoke($34, `test`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:2026
assert_trap(() => invoke($34, `test`, [14]), `uninitialized element`);
// ./test/core/table_init.wast:2027
assert_trap(() => invoke($34, `test`, [15]), `uninitialized element`);
// ./test/core/table_init.wast:2028
assert_trap(() => invoke($34, `test`, [16]), `uninitialized element`);
// ./test/core/table_init.wast:2029
assert_trap(() => invoke($34, `test`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:2030
assert_trap(() => invoke($34, `test`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:2031
assert_trap(() => invoke($34, `test`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:2032
assert_trap(() => invoke($34, `test`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:2033
assert_trap(() => invoke($34, `test`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:2034
assert_trap(() => invoke($34, `test`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:2035
assert_trap(() => invoke($34, `test`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:2036
assert_trap(() => invoke($34, `test`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:2037
assert_trap(() => invoke($34, `test`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:2038
assert_trap(() => invoke($34, `test`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:2039
assert_trap(() => invoke($34, `test`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:2040
assert_trap(() => invoke($34, `test`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:2041
assert_trap(() => invoke($34, `test`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:2042
assert_trap(() => invoke($34, `test`, [30]), `uninitialized element`);
// ./test/core/table_init.wast:2043
assert_trap(() => invoke($34, `test`, [31]), `uninitialized element`);
// ./test/core/table_init.wast:2044
assert_trap(() => invoke($34, `test`, [32]), `uninitialized element`);
// ./test/core/table_init.wast:2045
assert_trap(() => invoke($34, `test`, [33]), `uninitialized element`);
// ./test/core/table_init.wast:2046
assert_trap(() => invoke($34, `test`, [34]), `uninitialized element`);
// ./test/core/table_init.wast:2047
assert_trap(() => invoke($34, `test`, [35]), `uninitialized element`);
// ./test/core/table_init.wast:2048
assert_trap(() => invoke($34, `test`, [36]), `uninitialized element`);
// ./test/core/table_init.wast:2049
assert_trap(() => invoke($34, `test`, [37]), `uninitialized element`);
// ./test/core/table_init.wast:2050
assert_trap(() => invoke($34, `test`, [38]), `uninitialized element`);
// ./test/core/table_init.wast:2051
assert_trap(() => invoke($34, `test`, [39]), `uninitialized element`);
// ./test/core/table_init.wast:2052
assert_trap(() => invoke($34, `test`, [40]), `uninitialized element`);
// ./test/core/table_init.wast:2053
assert_trap(() => invoke($34, `test`, [41]), `uninitialized element`);
// ./test/core/table_init.wast:2054
assert_trap(() => invoke($34, `test`, [42]), `uninitialized element`);
// ./test/core/table_init.wast:2055
assert_trap(() => invoke($34, `test`, [43]), `uninitialized element`);
// ./test/core/table_init.wast:2056
assert_trap(() => invoke($34, `test`, [44]), `uninitialized element`);
// ./test/core/table_init.wast:2057
assert_trap(() => invoke($34, `test`, [45]), `uninitialized element`);
// ./test/core/table_init.wast:2058
assert_trap(() => invoke($34, `test`, [46]), `uninitialized element`);
// ./test/core/table_init.wast:2059
assert_trap(() => invoke($34, `test`, [47]), `uninitialized element`);
// ./test/core/table_init.wast:2060
assert_trap(() => invoke($34, `test`, [48]), `uninitialized element`);
// ./test/core/table_init.wast:2061
assert_trap(() => invoke($34, `test`, [49]), `uninitialized element`);
// ./test/core/table_init.wast:2062
assert_trap(() => invoke($34, `test`, [50]), `uninitialized element`);
// ./test/core/table_init.wast:2063
assert_trap(() => invoke($34, `test`, [51]), `uninitialized element`);
// ./test/core/table_init.wast:2064
assert_trap(() => invoke($34, `test`, [52]), `uninitialized element`);
// ./test/core/table_init.wast:2065
assert_trap(() => invoke($34, `test`, [53]), `uninitialized element`);
// ./test/core/table_init.wast:2066
assert_trap(() => invoke($34, `test`, [54]), `uninitialized element`);
// ./test/core/table_init.wast:2067
assert_trap(() => invoke($34, `test`, [55]), `uninitialized element`);
// ./test/core/table_init.wast:2068
assert_trap(() => invoke($34, `test`, [56]), `uninitialized element`);
// ./test/core/table_init.wast:2069
assert_trap(() => invoke($34, `test`, [57]), `uninitialized element`);
// ./test/core/table_init.wast:2070
assert_trap(() => invoke($34, `test`, [58]), `uninitialized element`);
// ./test/core/table_init.wast:2071
assert_trap(() => invoke($34, `test`, [59]), `uninitialized element`);
// ./test/core/table_init.wast:2072
assert_trap(() => invoke($34, `test`, [60]), `uninitialized element`);
// ./test/core/table_init.wast:2073
assert_trap(() => invoke($34, `test`, [61]), `uninitialized element`);
// ./test/core/table_init.wast:2074
assert_trap(() => invoke($34, `test`, [62]), `uninitialized element`);
// ./test/core/table_init.wast:2075
assert_trap(() => invoke($34, `test`, [63]), `uninitialized element`);
// ./test/core/table_init.wast:2076
assert_trap(() => invoke($34, `test`, [64]), `uninitialized element`);
// ./test/core/table_init.wast:2077
assert_trap(() => invoke($34, `test`, [65]), `uninitialized element`);
// ./test/core/table_init.wast:2078
assert_trap(() => invoke($34, `test`, [66]), `uninitialized element`);
// ./test/core/table_init.wast:2079
assert_trap(() => invoke($34, `test`, [67]), `uninitialized element`);
// ./test/core/table_init.wast:2080
assert_trap(() => invoke($34, `test`, [68]), `uninitialized element`);
// ./test/core/table_init.wast:2081
assert_trap(() => invoke($34, `test`, [69]), `uninitialized element`);
// ./test/core/table_init.wast:2082
assert_trap(() => invoke($34, `test`, [70]), `uninitialized element`);
// ./test/core/table_init.wast:2083
assert_trap(() => invoke($34, `test`, [71]), `uninitialized element`);
// ./test/core/table_init.wast:2084
assert_trap(() => invoke($34, `test`, [72]), `uninitialized element`);
// ./test/core/table_init.wast:2085
assert_trap(() => invoke($34, `test`, [73]), `uninitialized element`);
// ./test/core/table_init.wast:2086
assert_trap(() => invoke($34, `test`, [74]), `uninitialized element`);
// ./test/core/table_init.wast:2087
assert_trap(() => invoke($34, `test`, [75]), `uninitialized element`);
// ./test/core/table_init.wast:2088
assert_trap(() => invoke($34, `test`, [76]), `uninitialized element`);
// ./test/core/table_init.wast:2089
assert_trap(() => invoke($34, `test`, [77]), `uninitialized element`);
// ./test/core/table_init.wast:2090
assert_trap(() => invoke($34, `test`, [78]), `uninitialized element`);
// ./test/core/table_init.wast:2091
assert_trap(() => invoke($34, `test`, [79]), `uninitialized element`);
// ./test/core/table_init.wast:2092
assert_trap(() => invoke($34, `test`, [80]), `uninitialized element`);
// ./test/core/table_init.wast:2093
assert_trap(() => invoke($34, `test`, [81]), `uninitialized element`);
// ./test/core/table_init.wast:2094
assert_trap(() => invoke($34, `test`, [82]), `uninitialized element`);
// ./test/core/table_init.wast:2095
assert_trap(() => invoke($34, `test`, [83]), `uninitialized element`);
// ./test/core/table_init.wast:2096
assert_trap(() => invoke($34, `test`, [84]), `uninitialized element`);
// ./test/core/table_init.wast:2097
assert_trap(() => invoke($34, `test`, [85]), `uninitialized element`);
// ./test/core/table_init.wast:2098
assert_trap(() => invoke($34, `test`, [86]), `uninitialized element`);
// ./test/core/table_init.wast:2099
assert_trap(() => invoke($34, `test`, [87]), `uninitialized element`);
// ./test/core/table_init.wast:2100
assert_trap(() => invoke($34, `test`, [88]), `uninitialized element`);
// ./test/core/table_init.wast:2101
assert_trap(() => invoke($34, `test`, [89]), `uninitialized element`);
// ./test/core/table_init.wast:2102
assert_trap(() => invoke($34, `test`, [90]), `uninitialized element`);
// ./test/core/table_init.wast:2103
assert_trap(() => invoke($34, `test`, [91]), `uninitialized element`);
// ./test/core/table_init.wast:2104
assert_trap(() => invoke($34, `test`, [92]), `uninitialized element`);
// ./test/core/table_init.wast:2105
assert_trap(() => invoke($34, `test`, [93]), `uninitialized element`);
// ./test/core/table_init.wast:2106
assert_trap(() => invoke($34, `test`, [94]), `uninitialized element`);
// ./test/core/table_init.wast:2107
assert_trap(() => invoke($34, `test`, [95]), `uninitialized element`);
// ./test/core/table_init.wast:2108
assert_trap(() => invoke($34, `test`, [96]), `uninitialized element`);
// ./test/core/table_init.wast:2109
assert_trap(() => invoke($34, `test`, [97]), `uninitialized element`);
// ./test/core/table_init.wast:2110
assert_trap(() => invoke($34, `test`, [98]), `uninitialized element`);
// ./test/core/table_init.wast:2111
assert_trap(() => invoke($34, `test`, [99]), `uninitialized element`);
// ./test/core/table_init.wast:2112
assert_trap(() => invoke($34, `test`, [100]), `uninitialized element`);
// ./test/core/table_init.wast:2113
assert_trap(() => invoke($34, `test`, [101]), `uninitialized element`);
// ./test/core/table_init.wast:2114
assert_trap(() => invoke($34, `test`, [102]), `uninitialized element`);
// ./test/core/table_init.wast:2115
assert_trap(() => invoke($34, `test`, [103]), `uninitialized element`);
// ./test/core/table_init.wast:2116
assert_trap(() => invoke($34, `test`, [104]), `uninitialized element`);
// ./test/core/table_init.wast:2117
assert_trap(() => invoke($34, `test`, [105]), `uninitialized element`);
// ./test/core/table_init.wast:2118
assert_trap(() => invoke($34, `test`, [106]), `uninitialized element`);
// ./test/core/table_init.wast:2119
assert_trap(() => invoke($34, `test`, [107]), `uninitialized element`);
// ./test/core/table_init.wast:2120
assert_trap(() => invoke($34, `test`, [108]), `uninitialized element`);
// ./test/core/table_init.wast:2121
assert_trap(() => invoke($34, `test`, [109]), `uninitialized element`);
// ./test/core/table_init.wast:2122
assert_trap(() => invoke($34, `test`, [110]), `uninitialized element`);
// ./test/core/table_init.wast:2123
assert_trap(() => invoke($34, `test`, [111]), `uninitialized element`);
// ./test/core/table_init.wast:2124
assert_trap(() => invoke($34, `test`, [112]), `uninitialized element`);
// ./test/core/table_init.wast:2125
assert_trap(() => invoke($34, `test`, [113]), `uninitialized element`);
// ./test/core/table_init.wast:2126
assert_trap(() => invoke($34, `test`, [114]), `uninitialized element`);
// ./test/core/table_init.wast:2127
assert_trap(() => invoke($34, `test`, [115]), `uninitialized element`);
// ./test/core/table_init.wast:2128
assert_trap(() => invoke($34, `test`, [116]), `uninitialized element`);
// ./test/core/table_init.wast:2129
assert_trap(() => invoke($34, `test`, [117]), `uninitialized element`);
// ./test/core/table_init.wast:2130
assert_trap(() => invoke($34, `test`, [118]), `uninitialized element`);
// ./test/core/table_init.wast:2131
assert_trap(() => invoke($34, `test`, [119]), `uninitialized element`);
// ./test/core/table_init.wast:2132
assert_trap(() => invoke($34, `test`, [120]), `uninitialized element`);
// ./test/core/table_init.wast:2133
assert_trap(() => invoke($34, `test`, [121]), `uninitialized element`);
// ./test/core/table_init.wast:2134
assert_trap(() => invoke($34, `test`, [122]), `uninitialized element`);
// ./test/core/table_init.wast:2135
assert_trap(() => invoke($34, `test`, [123]), `uninitialized element`);
// ./test/core/table_init.wast:2136
assert_trap(() => invoke($34, `test`, [124]), `uninitialized element`);
// ./test/core/table_init.wast:2137
assert_trap(() => invoke($34, `test`, [125]), `uninitialized element`);
// ./test/core/table_init.wast:2138
assert_trap(() => invoke($34, `test`, [126]), `uninitialized element`);
// ./test/core/table_init.wast:2139
assert_trap(() => invoke($34, `test`, [127]), `uninitialized element`);
// ./test/core/table_init.wast:2140
assert_trap(() => invoke($34, `test`, [128]), `uninitialized element`);
// ./test/core/table_init.wast:2141
assert_trap(() => invoke($34, `test`, [129]), `uninitialized element`);
// ./test/core/table_init.wast:2142
assert_trap(() => invoke($34, `test`, [130]), `uninitialized element`);
// ./test/core/table_init.wast:2143
assert_trap(() => invoke($34, `test`, [131]), `uninitialized element`);
// ./test/core/table_init.wast:2144
assert_trap(() => invoke($34, `test`, [132]), `uninitialized element`);
// ./test/core/table_init.wast:2145
assert_trap(() => invoke($34, `test`, [133]), `uninitialized element`);
// ./test/core/table_init.wast:2146
assert_trap(() => invoke($34, `test`, [134]), `uninitialized element`);
// ./test/core/table_init.wast:2147
assert_trap(() => invoke($34, `test`, [135]), `uninitialized element`);
// ./test/core/table_init.wast:2148
assert_trap(() => invoke($34, `test`, [136]), `uninitialized element`);
// ./test/core/table_init.wast:2149
assert_trap(() => invoke($34, `test`, [137]), `uninitialized element`);
// ./test/core/table_init.wast:2150
assert_trap(() => invoke($34, `test`, [138]), `uninitialized element`);
// ./test/core/table_init.wast:2151
assert_trap(() => invoke($34, `test`, [139]), `uninitialized element`);
// ./test/core/table_init.wast:2152
assert_trap(() => invoke($34, `test`, [140]), `uninitialized element`);
// ./test/core/table_init.wast:2153
assert_trap(() => invoke($34, `test`, [141]), `uninitialized element`);
// ./test/core/table_init.wast:2154
assert_trap(() => invoke($34, `test`, [142]), `uninitialized element`);
// ./test/core/table_init.wast:2155
assert_trap(() => invoke($34, `test`, [143]), `uninitialized element`);
// ./test/core/table_init.wast:2156
assert_trap(() => invoke($34, `test`, [144]), `uninitialized element`);
// ./test/core/table_init.wast:2157
assert_trap(() => invoke($34, `test`, [145]), `uninitialized element`);
// ./test/core/table_init.wast:2158
assert_trap(() => invoke($34, `test`, [146]), `uninitialized element`);
// ./test/core/table_init.wast:2159
assert_trap(() => invoke($34, `test`, [147]), `uninitialized element`);
// ./test/core/table_init.wast:2160
assert_trap(() => invoke($34, `test`, [148]), `uninitialized element`);
// ./test/core/table_init.wast:2161
assert_trap(() => invoke($34, `test`, [149]), `uninitialized element`);
// ./test/core/table_init.wast:2162
assert_trap(() => invoke($34, `test`, [150]), `uninitialized element`);
// ./test/core/table_init.wast:2163
assert_trap(() => invoke($34, `test`, [151]), `uninitialized element`);
// ./test/core/table_init.wast:2164
assert_trap(() => invoke($34, `test`, [152]), `uninitialized element`);
// ./test/core/table_init.wast:2165
assert_trap(() => invoke($34, `test`, [153]), `uninitialized element`);
// ./test/core/table_init.wast:2166
assert_trap(() => invoke($34, `test`, [154]), `uninitialized element`);
// ./test/core/table_init.wast:2167
assert_trap(() => invoke($34, `test`, [155]), `uninitialized element`);
// ./test/core/table_init.wast:2168
assert_trap(() => invoke($34, `test`, [156]), `uninitialized element`);
// ./test/core/table_init.wast:2169
assert_trap(() => invoke($34, `test`, [157]), `uninitialized element`);
// ./test/core/table_init.wast:2170
assert_trap(() => invoke($34, `test`, [158]), `uninitialized element`);
// ./test/core/table_init.wast:2171
assert_trap(() => invoke($34, `test`, [159]), `uninitialized element`);
// ./test/core/table_init.wast:2173
let $35 = instantiate(`(module
(type (func (result i32)))
(table 64 64 funcref)
(elem funcref
(ref.func $$f0) (ref.func $$f1) (ref.func $$f2) (ref.func $$f3)
(ref.func $$f4) (ref.func $$f5) (ref.func $$f6) (ref.func $$f7)
(ref.func $$f8) (ref.func $$f9) (ref.func $$f10) (ref.func $$f11)
(ref.func $$f12) (ref.func $$f13) (ref.func $$f14) (ref.func $$f15))
(func $$f0 (export "f0") (result i32) (i32.const 0))
(func $$f1 (export "f1") (result i32) (i32.const 1))
(func $$f2 (export "f2") (result i32) (i32.const 2))
(func $$f3 (export "f3") (result i32) (i32.const 3))
(func $$f4 (export "f4") (result i32) (i32.const 4))
(func $$f5 (export "f5") (result i32) (i32.const 5))
(func $$f6 (export "f6") (result i32) (i32.const 6))
(func $$f7 (export "f7") (result i32) (i32.const 7))
(func $$f8 (export "f8") (result i32) (i32.const 8))
(func $$f9 (export "f9") (result i32) (i32.const 9))
(func $$f10 (export "f10") (result i32) (i32.const 10))
(func $$f11 (export "f11") (result i32) (i32.const 11))
(func $$f12 (export "f12") (result i32) (i32.const 12))
(func $$f13 (export "f13") (result i32) (i32.const 13))
(func $$f14 (export "f14") (result i32) (i32.const 14))
(func $$f15 (export "f15") (result i32) (i32.const 15))
(func (export "test") (param $$n i32) (result i32)
(call_indirect (type 0) (local.get $$n)))
(func (export "run") (param $$offs i32) (param $$len i32)
(table.init 0 (local.get $$offs) (i32.const 0) (local.get $$len))))`);
// ./test/core/table_init.wast:2201
assert_trap(() => invoke($35, `run`, [48, -16]), `out of bounds table access`);
// ./test/core/table_init.wast:2202
assert_trap(() => invoke($35, `test`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:2203
assert_trap(() => invoke($35, `test`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:2204
assert_trap(() => invoke($35, `test`, [2]), `uninitialized element`);
// ./test/core/table_init.wast:2205
assert_trap(() => invoke($35, `test`, [3]), `uninitialized element`);
// ./test/core/table_init.wast:2206
assert_trap(() => invoke($35, `test`, [4]), `uninitialized element`);
// ./test/core/table_init.wast:2207
assert_trap(() => invoke($35, `test`, [5]), `uninitialized element`);
// ./test/core/table_init.wast:2208
assert_trap(() => invoke($35, `test`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:2209
assert_trap(() => invoke($35, `test`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:2210
assert_trap(() => invoke($35, `test`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:2211
assert_trap(() => invoke($35, `test`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:2212
assert_trap(() => invoke($35, `test`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:2213
assert_trap(() => invoke($35, `test`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:2214
assert_trap(() => invoke($35, `test`, [12]), `uninitialized element`);
// ./test/core/table_init.wast:2215
assert_trap(() => invoke($35, `test`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:2216
assert_trap(() => invoke($35, `test`, [14]), `uninitialized element`);
// ./test/core/table_init.wast:2217
assert_trap(() => invoke($35, `test`, [15]), `uninitialized element`);
// ./test/core/table_init.wast:2218
assert_trap(() => invoke($35, `test`, [16]), `uninitialized element`);
// ./test/core/table_init.wast:2219
assert_trap(() => invoke($35, `test`, [17]), `uninitialized element`);
// ./test/core/table_init.wast:2220
assert_trap(() => invoke($35, `test`, [18]), `uninitialized element`);
// ./test/core/table_init.wast:2221
assert_trap(() => invoke($35, `test`, [19]), `uninitialized element`);
// ./test/core/table_init.wast:2222
assert_trap(() => invoke($35, `test`, [20]), `uninitialized element`);
// ./test/core/table_init.wast:2223
assert_trap(() => invoke($35, `test`, [21]), `uninitialized element`);
// ./test/core/table_init.wast:2224
assert_trap(() => invoke($35, `test`, [22]), `uninitialized element`);
// ./test/core/table_init.wast:2225
assert_trap(() => invoke($35, `test`, [23]), `uninitialized element`);
// ./test/core/table_init.wast:2226
assert_trap(() => invoke($35, `test`, [24]), `uninitialized element`);
// ./test/core/table_init.wast:2227
assert_trap(() => invoke($35, `test`, [25]), `uninitialized element`);
// ./test/core/table_init.wast:2228
assert_trap(() => invoke($35, `test`, [26]), `uninitialized element`);
// ./test/core/table_init.wast:2229
assert_trap(() => invoke($35, `test`, [27]), `uninitialized element`);
// ./test/core/table_init.wast:2230
assert_trap(() => invoke($35, `test`, [28]), `uninitialized element`);
// ./test/core/table_init.wast:2231
assert_trap(() => invoke($35, `test`, [29]), `uninitialized element`);
// ./test/core/table_init.wast:2232
assert_trap(() => invoke($35, `test`, [30]), `uninitialized element`);
// ./test/core/table_init.wast:2233
assert_trap(() => invoke($35, `test`, [31]), `uninitialized element`);
// ./test/core/table_init.wast:2234
assert_trap(() => invoke($35, `test`, [32]), `uninitialized element`);
// ./test/core/table_init.wast:2235
assert_trap(() => invoke($35, `test`, [33]), `uninitialized element`);
// ./test/core/table_init.wast:2236
assert_trap(() => invoke($35, `test`, [34]), `uninitialized element`);
// ./test/core/table_init.wast:2237
assert_trap(() => invoke($35, `test`, [35]), `uninitialized element`);
// ./test/core/table_init.wast:2238
assert_trap(() => invoke($35, `test`, [36]), `uninitialized element`);
// ./test/core/table_init.wast:2239
assert_trap(() => invoke($35, `test`, [37]), `uninitialized element`);
// ./test/core/table_init.wast:2240
assert_trap(() => invoke($35, `test`, [38]), `uninitialized element`);
// ./test/core/table_init.wast:2241
assert_trap(() => invoke($35, `test`, [39]), `uninitialized element`);
// ./test/core/table_init.wast:2242
assert_trap(() => invoke($35, `test`, [40]), `uninitialized element`);
// ./test/core/table_init.wast:2243
assert_trap(() => invoke($35, `test`, [41]), `uninitialized element`);
// ./test/core/table_init.wast:2244
assert_trap(() => invoke($35, `test`, [42]), `uninitialized element`);
// ./test/core/table_init.wast:2245
assert_trap(() => invoke($35, `test`, [43]), `uninitialized element`);
// ./test/core/table_init.wast:2246
assert_trap(() => invoke($35, `test`, [44]), `uninitialized element`);
// ./test/core/table_init.wast:2247
assert_trap(() => invoke($35, `test`, [45]), `uninitialized element`);
// ./test/core/table_init.wast:2248
assert_trap(() => invoke($35, `test`, [46]), `uninitialized element`);
// ./test/core/table_init.wast:2249
assert_trap(() => invoke($35, `test`, [47]), `uninitialized element`);
// ./test/core/table_init.wast:2250
assert_trap(() => invoke($35, `test`, [48]), `uninitialized element`);
// ./test/core/table_init.wast:2251
assert_trap(() => invoke($35, `test`, [49]), `uninitialized element`);
// ./test/core/table_init.wast:2252
assert_trap(() => invoke($35, `test`, [50]), `uninitialized element`);
// ./test/core/table_init.wast:2253
assert_trap(() => invoke($35, `test`, [51]), `uninitialized element`);
// ./test/core/table_init.wast:2254
assert_trap(() => invoke($35, `test`, [52]), `uninitialized element`);
// ./test/core/table_init.wast:2255
assert_trap(() => invoke($35, `test`, [53]), `uninitialized element`);
// ./test/core/table_init.wast:2256
assert_trap(() => invoke($35, `test`, [54]), `uninitialized element`);
// ./test/core/table_init.wast:2257
assert_trap(() => invoke($35, `test`, [55]), `uninitialized element`);
// ./test/core/table_init.wast:2258
assert_trap(() => invoke($35, `test`, [56]), `uninitialized element`);
// ./test/core/table_init.wast:2259
assert_trap(() => invoke($35, `test`, [57]), `uninitialized element`);
// ./test/core/table_init.wast:2260
assert_trap(() => invoke($35, `test`, [58]), `uninitialized element`);
// ./test/core/table_init.wast:2261
assert_trap(() => invoke($35, `test`, [59]), `uninitialized element`);
// ./test/core/table_init.wast:2262
assert_trap(() => invoke($35, `test`, [60]), `uninitialized element`);
// ./test/core/table_init.wast:2263
assert_trap(() => invoke($35, `test`, [61]), `uninitialized element`);
// ./test/core/table_init.wast:2264
assert_trap(() => invoke($35, `test`, [62]), `uninitialized element`);
// ./test/core/table_init.wast:2265
assert_trap(() => invoke($35, `test`, [63]), `uninitialized element`);
// ./test/core/table_init.wast:2267
let $36 = instantiate(`(module
(type (func (result i32)))
(table 16 16 funcref)
(elem funcref
(ref.func $$f0) (ref.func $$f1) (ref.func $$f2) (ref.func $$f3)
(ref.func $$f4) (ref.func $$f5) (ref.func $$f6) (ref.func $$f7)
(ref.func $$f8) (ref.func $$f9) (ref.func $$f10) (ref.func $$f11)
(ref.func $$f12) (ref.func $$f13) (ref.func $$f14) (ref.func $$f15))
(func $$f0 (export "f0") (result i32) (i32.const 0))
(func $$f1 (export "f1") (result i32) (i32.const 1))
(func $$f2 (export "f2") (result i32) (i32.const 2))
(func $$f3 (export "f3") (result i32) (i32.const 3))
(func $$f4 (export "f4") (result i32) (i32.const 4))
(func $$f5 (export "f5") (result i32) (i32.const 5))
(func $$f6 (export "f6") (result i32) (i32.const 6))
(func $$f7 (export "f7") (result i32) (i32.const 7))
(func $$f8 (export "f8") (result i32) (i32.const 8))
(func $$f9 (export "f9") (result i32) (i32.const 9))
(func $$f10 (export "f10") (result i32) (i32.const 10))
(func $$f11 (export "f11") (result i32) (i32.const 11))
(func $$f12 (export "f12") (result i32) (i32.const 12))
(func $$f13 (export "f13") (result i32) (i32.const 13))
(func $$f14 (export "f14") (result i32) (i32.const 14))
(func $$f15 (export "f15") (result i32) (i32.const 15))
(func (export "test") (param $$n i32) (result i32)
(call_indirect (type 0) (local.get $$n)))
(func (export "run") (param $$offs i32) (param $$len i32)
(table.init 0 (local.get $$offs) (i32.const 8) (local.get $$len))))`);
// ./test/core/table_init.wast:2295
assert_trap(() => invoke($36, `run`, [0, -4]), `out of bounds table access`);
// ./test/core/table_init.wast:2296
assert_trap(() => invoke($36, `test`, [0]), `uninitialized element`);
// ./test/core/table_init.wast:2297
assert_trap(() => invoke($36, `test`, [1]), `uninitialized element`);
// ./test/core/table_init.wast:2298
assert_trap(() => invoke($36, `test`, [2]), `uninitialized element`);
// ./test/core/table_init.wast:2299
assert_trap(() => invoke($36, `test`, [3]), `uninitialized element`);
// ./test/core/table_init.wast:2300
assert_trap(() => invoke($36, `test`, [4]), `uninitialized element`);
// ./test/core/table_init.wast:2301
assert_trap(() => invoke($36, `test`, [5]), `uninitialized element`);
// ./test/core/table_init.wast:2302
assert_trap(() => invoke($36, `test`, [6]), `uninitialized element`);
// ./test/core/table_init.wast:2303
assert_trap(() => invoke($36, `test`, [7]), `uninitialized element`);
// ./test/core/table_init.wast:2304
assert_trap(() => invoke($36, `test`, [8]), `uninitialized element`);
// ./test/core/table_init.wast:2305
assert_trap(() => invoke($36, `test`, [9]), `uninitialized element`);
// ./test/core/table_init.wast:2306
assert_trap(() => invoke($36, `test`, [10]), `uninitialized element`);
// ./test/core/table_init.wast:2307
assert_trap(() => invoke($36, `test`, [11]), `uninitialized element`);
// ./test/core/table_init.wast:2308
assert_trap(() => invoke($36, `test`, [12]), `uninitialized element`);
// ./test/core/table_init.wast:2309
assert_trap(() => invoke($36, `test`, [13]), `uninitialized element`);
// ./test/core/table_init.wast:2310
assert_trap(() => invoke($36, `test`, [14]), `uninitialized element`);
// ./test/core/table_init.wast:2311
assert_trap(() => invoke($36, `test`, [15]), `uninitialized element`);
// ./test/core/table_init.wast:2313
let $37 = instantiate(`(module
(table 1 funcref)
;; 65 elem segments. 64 is the smallest positive number that is encoded
;; differently as a signed LEB.
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref) (elem funcref) (elem funcref) (elem funcref)
(elem funcref)
(func (table.init 64 (i32.const 0) (i32.const 0) (i32.const 0))))`);