/* Copyright 2021 Mozilla Foundation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
// ./test/core/table_copy.wast
// ./test/core/table_copy.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_copy.wast:13
register($0, `a`);
// ./test/core/table_copy.wast:15
let $1 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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")
(nop))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:45
invoke($1, `test`, []);
// ./test/core/table_copy.wast:46
assert_trap(() => invoke($1, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:47
assert_trap(() => invoke($1, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:48
assert_return(() => invoke($1, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:49
assert_return(() => invoke($1, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:50
assert_return(() => invoke($1, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:51
assert_return(() => invoke($1, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:52
assert_trap(() => invoke($1, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:53
assert_trap(() => invoke($1, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:54
assert_trap(() => invoke($1, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:55
assert_trap(() => invoke($1, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:56
assert_trap(() => invoke($1, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:57
assert_trap(() => invoke($1, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:58
assert_return(() => invoke($1, `check_t0`, [12]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:59
assert_return(() => invoke($1, `check_t0`, [13]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:60
assert_return(() => invoke($1, `check_t0`, [14]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:61
assert_return(() => invoke($1, `check_t0`, [15]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:62
assert_return(() => invoke($1, `check_t0`, [16]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:63
assert_trap(() => invoke($1, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:64
assert_trap(() => invoke($1, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:65
assert_trap(() => invoke($1, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:66
assert_trap(() => invoke($1, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:67
assert_trap(() => invoke($1, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:68
assert_trap(() => invoke($1, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:69
assert_trap(() => invoke($1, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:70
assert_trap(() => invoke($1, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:71
assert_trap(() => invoke($1, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:72
assert_trap(() => invoke($1, `check_t0`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:73
assert_trap(() => invoke($1, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:74
assert_trap(() => invoke($1, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:75
assert_trap(() => invoke($1, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:76
assert_trap(() => invoke($1, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:77
assert_trap(() => invoke($1, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:78
assert_trap(() => invoke($1, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:79
assert_return(() => invoke($1, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:80
assert_return(() => invoke($1, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:81
assert_return(() => invoke($1, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:82
assert_return(() => invoke($1, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:83
assert_trap(() => invoke($1, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:84
assert_trap(() => invoke($1, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:85
assert_trap(() => invoke($1, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:86
assert_trap(() => invoke($1, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:87
assert_return(() => invoke($1, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:88
assert_return(() => invoke($1, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:89
assert_return(() => invoke($1, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:90
assert_return(() => invoke($1, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:91
assert_return(() => invoke($1, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:92
assert_trap(() => invoke($1, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:93
assert_trap(() => invoke($1, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:94
assert_trap(() => invoke($1, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:95
assert_trap(() => invoke($1, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:96
assert_trap(() => invoke($1, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:97
assert_trap(() => invoke($1, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:98
assert_trap(() => invoke($1, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:99
assert_trap(() => invoke($1, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:100
assert_trap(() => invoke($1, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:101
assert_trap(() => invoke($1, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:102
assert_trap(() => invoke($1, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:103
assert_trap(() => invoke($1, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:104
assert_trap(() => invoke($1, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:105
assert_trap(() => invoke($1, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:107
let $2 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 13) (i32.
const 2) (i32.
const 3)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:137
invoke($2, `test`, []);
// ./test/core/table_copy.wast:138
assert_trap(() => invoke($2, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:139
assert_trap(() => invoke($2, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:140
assert_return(() => invoke($2, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:141
assert_return(() => invoke($2, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:142
assert_return(() => invoke($2, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:143
assert_return(() => invoke($2, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:144
assert_trap(() => invoke($2, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:145
assert_trap(() => invoke($2, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:146
assert_trap(() => invoke($2, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:147
assert_trap(() => invoke($2, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:148
assert_trap(() => invoke($2, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:149
assert_trap(() => invoke($2, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:150
assert_return(() => invoke($2, `check_t0`, [12]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:151
assert_return(() => invoke($2, `check_t0`, [13]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:152
assert_return(() => invoke($2, `check_t0`, [14]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:153
assert_return(() => invoke($2, `check_t0`, [15]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:154
assert_return(() => invoke($2, `check_t0`, [16]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:155
assert_trap(() => invoke($2, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:156
assert_trap(() => invoke($2, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:157
assert_trap(() => invoke($2, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:158
assert_trap(() => invoke($2, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:159
assert_trap(() => invoke($2, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:160
assert_trap(() => invoke($2, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:161
assert_trap(() => invoke($2, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:162
assert_trap(() => invoke($2, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:163
assert_trap(() => invoke($2, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:164
assert_trap(() => invoke($2, `check_t0`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:165
assert_trap(() => invoke($2, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:166
assert_trap(() => invoke($2, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:167
assert_trap(() => invoke($2, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:168
assert_trap(() => invoke($2, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:169
assert_trap(() => invoke($2, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:170
assert_trap(() => invoke($2, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:171
assert_return(() => invoke($2, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:172
assert_return(() => invoke($2, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:173
assert_return(() => invoke($2, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:174
assert_return(() => invoke($2, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:175
assert_trap(() => invoke($2, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:176
assert_trap(() => invoke($2, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:177
assert_trap(() => invoke($2, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:178
assert_trap(() => invoke($2, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:179
assert_return(() => invoke($2, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:180
assert_return(() => invoke($2, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:181
assert_return(() => invoke($2, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:182
assert_return(() => invoke($2, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:183
assert_return(() => invoke($2, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:184
assert_trap(() => invoke($2, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:185
assert_trap(() => invoke($2, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:186
assert_trap(() => invoke($2, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:187
assert_trap(() => invoke($2, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:188
assert_trap(() => invoke($2, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:189
assert_trap(() => invoke($2, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:190
assert_trap(() => invoke($2, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:191
assert_trap(() => invoke($2, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:192
assert_trap(() => invoke($2, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:193
assert_trap(() => invoke($2, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:194
assert_trap(() => invoke($2, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:195
assert_trap(() => invoke($2, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:196
assert_trap(() => invoke($2, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:197
assert_trap(() => invoke($2, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:199
let $3 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$t0) (i32.
const 2) func 3 1 4 1)
(elem funcref
(ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
(elem (table $$t0) (i32.
const 12) func 7 5 2 3 6)
(elem funcref
(ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 25) (i32.
const 15) (i32.
const 2)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:229
invoke($3, `test`, []);
// ./test/core/table_copy.wast:230
assert_trap(() => invoke($3, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:231
assert_trap(() => invoke($3, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:232
assert_return(() => invoke($3, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:233
assert_return(() => invoke($3, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:234
assert_return(() => invoke($3, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:235
assert_return(() => invoke($3, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:236
assert_trap(() => invoke($3, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:237
assert_trap(() => invoke($3, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:238
assert_trap(() => invoke($3, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:239
assert_trap(() => invoke($3, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:240
assert_trap(() => invoke($3, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:241
assert_trap(() => invoke($3, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:242
assert_return(() => invoke($3, `check_t0`, [12]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:243
assert_return(() => invoke($3, `check_t0`, [13]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:244
assert_return(() => invoke($3, `check_t0`, [14]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:245
assert_return(() => invoke($3, `check_t0`, [15]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:246
assert_return(() => invoke($3, `check_t0`, [16]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:247
assert_trap(() => invoke($3, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:248
assert_trap(() => invoke($3, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:249
assert_trap(() => invoke($3, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:250
assert_trap(() => invoke($3, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:251
assert_trap(() => invoke($3, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:252
assert_trap(() => invoke($3, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:253
assert_trap(() => invoke($3, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:254
assert_trap(() => invoke($3, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:255
assert_return(() => invoke($3, `check_t0`, [25]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:256
assert_return(() => invoke($3, `check_t0`, [26]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:257
assert_trap(() => invoke($3, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:258
assert_trap(() => invoke($3, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:259
assert_trap(() => invoke($3, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:260
assert_trap(() => invoke($3, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:261
assert_trap(() => invoke($3, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:262
assert_trap(() => invoke($3, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:263
assert_return(() => invoke($3, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:264
assert_return(() => invoke($3, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:265
assert_return(() => invoke($3, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:266
assert_return(() => invoke($3, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:267
assert_trap(() => invoke($3, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:268
assert_trap(() => invoke($3, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:269
assert_trap(() => invoke($3, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:270
assert_trap(() => invoke($3, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:271
assert_return(() => invoke($3, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:272
assert_return(() => invoke($3, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:273
assert_return(() => invoke($3, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:274
assert_return(() => invoke($3, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:275
assert_return(() => invoke($3, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:276
assert_trap(() => invoke($3, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:277
assert_trap(() => invoke($3, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:278
assert_trap(() => invoke($3, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:279
assert_trap(() => invoke($3, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:280
assert_trap(() => invoke($3, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:281
assert_trap(() => invoke($3, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:282
assert_trap(() => invoke($3, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:283
assert_trap(() => invoke($3, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:284
assert_trap(() => invoke($3, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:285
assert_trap(() => invoke($3, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:286
assert_trap(() => invoke($3, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:287
assert_trap(() => invoke($3, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:288
assert_trap(() => invoke($3, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:289
assert_trap(() => invoke($3, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:291
let $4 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$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))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 13) (i32.
const 25) (i32.
const 3)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:321
invoke($4, `test`, []);
// ./test/core/table_copy.wast:322
assert_trap(() => invoke($4, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:323
assert_trap(() => invoke($4, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:324
assert_return(() => invoke($4, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:325
assert_return(() => invoke($4, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:326
assert_return(() => invoke($4, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:327
assert_return(() => invoke($4, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:328
assert_trap(() => invoke($4, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:329
assert_trap(() => invoke($4, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:330
assert_trap(() => invoke($4, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:331
assert_trap(() => invoke($4, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:332
assert_trap(() => invoke($4, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:333
assert_trap(() => invoke($4, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:334
assert_return(() => invoke($4, `check_t0`, [12]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:335
assert_trap(() => invoke($4, `check_t0`, [13]), `uninitialized element`);
// ./test/core/table_copy.wast:336
assert_trap(() => invoke($4, `check_t0`, [14]), `uninitialized element`);
// ./test/core/table_copy.wast:337
assert_trap(() => invoke($4, `check_t0`, [15]), `uninitialized element`);
// ./test/core/table_copy.wast:338
assert_return(() => invoke($4, `check_t0`, [16]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:339
assert_trap(() => invoke($4, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:340
assert_trap(() => invoke($4, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:341
assert_trap(() => invoke($4, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:342
assert_trap(() => invoke($4, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:343
assert_trap(() => invoke($4, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:344
assert_trap(() => invoke($4, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:345
assert_trap(() => invoke($4, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:346
assert_trap(() => invoke($4, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:347
assert_trap(() => invoke($4, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:348
assert_trap(() => invoke($4, `check_t0`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:349
assert_trap(() => invoke($4, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:350
assert_trap(() => invoke($4, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:351
assert_trap(() => invoke($4, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:352
assert_trap(() => invoke($4, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:353
assert_trap(() => invoke($4, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:354
assert_trap(() => invoke($4, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:355
assert_return(() => invoke($4, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:356
assert_return(() => invoke($4, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:357
assert_return(() => invoke($4, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:358
assert_return(() => invoke($4, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:359
assert_trap(() => invoke($4, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:360
assert_trap(() => invoke($4, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:361
assert_trap(() => invoke($4, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:362
assert_trap(() => invoke($4, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:363
assert_return(() => invoke($4, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:364
assert_return(() => invoke($4, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:365
assert_return(() => invoke($4, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:366
assert_return(() => invoke($4, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:367
assert_return(() => invoke($4, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:368
assert_trap(() => invoke($4, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:369
assert_trap(() => invoke($4, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:370
assert_trap(() => invoke($4, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:371
assert_trap(() => invoke($4, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:372
assert_trap(() => invoke($4, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:373
assert_trap(() => invoke($4, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:374
assert_trap(() => invoke($4, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:375
assert_trap(() => invoke($4, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:376
assert_trap(() => invoke($4, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:377
assert_trap(() => invoke($4, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:378
assert_trap(() => invoke($4, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:379
assert_trap(() => invoke($4, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:380
assert_trap(() => invoke($4, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:381
assert_trap(() => invoke($4, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:383
let $5 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$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))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 20) (i32.
const 22) (i32.
const 4)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:413
invoke($5, `test`, []);
// ./test/core/table_copy.wast:414
assert_trap(() => invoke($5, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:415
assert_trap(() => invoke($5, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:416
assert_return(() => invoke($5, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:417
assert_return(() => invoke($5, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:418
assert_return(() => invoke($5, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:419
assert_return(() => invoke($5, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:420
assert_trap(() => invoke($5, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:421
assert_trap(() => invoke($5, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:422
assert_trap(() => invoke($5, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:423
assert_trap(() => invoke($5, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:424
assert_trap(() => invoke($5, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:425
assert_trap(() => invoke($5, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:426
assert_return(() => invoke($5, `check_t0`, [12]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:427
assert_return(() => invoke($5, `check_t0`, [13]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:428
assert_return(() => invoke($5, `check_t0`, [14]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:429
assert_return(() => invoke($5, `check_t0`, [15]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:430
assert_return(() => invoke($5, `check_t0`, [16]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:431
assert_trap(() => invoke($5, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:432
assert_trap(() => invoke($5, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:433
assert_trap(() => invoke($5, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:434
assert_trap(() => invoke($5, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:435
assert_trap(() => invoke($5, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:436
assert_trap(() => invoke($5, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:437
assert_trap(() => invoke($5, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:438
assert_trap(() => invoke($5, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:439
assert_trap(() => invoke($5, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:440
assert_trap(() => invoke($5, `check_t0`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:441
assert_trap(() => invoke($5, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:442
assert_trap(() => invoke($5, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:443
assert_trap(() => invoke($5, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:444
assert_trap(() => invoke($5, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:445
assert_trap(() => invoke($5, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:446
assert_trap(() => invoke($5, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:447
assert_return(() => invoke($5, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:448
assert_return(() => invoke($5, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:449
assert_return(() => invoke($5, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:450
assert_return(() => invoke($5, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:451
assert_trap(() => invoke($5, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:452
assert_trap(() => invoke($5, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:453
assert_trap(() => invoke($5, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:454
assert_trap(() => invoke($5, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:455
assert_return(() => invoke($5, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:456
assert_return(() => invoke($5, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:457
assert_return(() => invoke($5, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:458
assert_return(() => invoke($5, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:459
assert_return(() => invoke($5, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:460
assert_trap(() => invoke($5, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:461
assert_trap(() => invoke($5, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:462
assert_trap(() => invoke($5, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:463
assert_trap(() => invoke($5, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:464
assert_trap(() => invoke($5, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:465
assert_trap(() => invoke($5, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:466
assert_trap(() => invoke($5, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:467
assert_trap(() => invoke($5, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:468
assert_trap(() => invoke($5, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:469
assert_trap(() => invoke($5, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:470
assert_trap(() => invoke($5, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:471
assert_trap(() => invoke($5, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:472
assert_trap(() => invoke($5, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:473
assert_trap(() => invoke($5, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:475
let $6 = instantiate(`(module
(type (func (result i32))) ;; type #0
(
import "a" "ef0" (func (result i32))) ;; index 0
(
import "a" "ef1" (func (result i32)))
(
import "a" "ef2" (func (result i32)))
(
import "a" "ef3" (func (result i32)))
(
import "a" "ef4" (func (result i32))) ;; index 4
(table $$t0 30 30 funcref)
(table $$t1 30 30 funcref)
(elem (table $$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))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 25) (i32.
const 1) (i32.
const 3)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:505
invoke($6, `test`, []);
// ./test/core/table_copy.wast:506
assert_trap(() => invoke($6, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:507
assert_trap(() => invoke($6, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:508
assert_return(() => invoke($6, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:509
assert_return(() => invoke($6, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:510
assert_return(() => invoke($6, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:511
assert_return(() => invoke($6, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:512
assert_trap(() => invoke($6, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:513
assert_trap(() => invoke($6, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:514
assert_trap(() => invoke($6, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:515
assert_trap(() => invoke($6, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:516
assert_trap(() => invoke($6, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:517
assert_trap(() => invoke($6, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:518
assert_return(() => invoke($6, `check_t0`, [12]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:519
assert_return(() => invoke($6, `check_t0`, [13]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:520
assert_return(() => invoke($6, `check_t0`, [14]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:521
assert_return(() => invoke($6, `check_t0`, [15]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:522
assert_return(() => invoke($6, `check_t0`, [16]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:523
assert_trap(() => invoke($6, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:524
assert_trap(() => invoke($6, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:525
assert_trap(() => invoke($6, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:526
assert_trap(() => invoke($6, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:527
assert_trap(() => invoke($6, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:528
assert_trap(() => invoke($6, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:529
assert_trap(() => invoke($6, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:530
assert_trap(() => invoke($6, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:531
assert_trap(() => invoke($6, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:532
assert_return(() => invoke($6, `check_t0`, [26]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:533
assert_return(() => invoke($6, `check_t0`, [27]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:534
assert_trap(() => invoke($6, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:535
assert_trap(() => invoke($6, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:536
assert_trap(() => invoke($6, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:537
assert_trap(() => invoke($6, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:538
assert_trap(() => invoke($6, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:539
assert_return(() => invoke($6, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:540
assert_return(() => invoke($6, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:541
assert_return(() => invoke($6, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:542
assert_return(() => invoke($6, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:543
assert_trap(() => invoke($6, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:544
assert_trap(() => invoke($6, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:545
assert_trap(() => invoke($6, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:546
assert_trap(() => invoke($6, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:547
assert_return(() => invoke($6, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:548
assert_return(() => invoke($6, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:549
assert_return(() => invoke($6, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:550
assert_return(() => invoke($6, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:551
assert_return(() => invoke($6, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:552
assert_trap(() => invoke($6, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:553
assert_trap(() => invoke($6, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:554
assert_trap(() => invoke($6, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:555
assert_trap(() => invoke($6, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:556
assert_trap(() => invoke($6, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:557
assert_trap(() => invoke($6, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:558
assert_trap(() => invoke($6, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:559
assert_trap(() => invoke($6, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:560
assert_trap(() => invoke($6, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:561
assert_trap(() => invoke($6, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:562
assert_trap(() => invoke($6, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:563
assert_trap(() => invoke($6, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:564
assert_trap(() => invoke($6, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:565
assert_trap(() => invoke($6, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:567
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)
(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))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 10) (i32.
const 12) (i32.
const 7)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:597
invoke($7, `test`, []);
// ./test/core/table_copy.wast:598
assert_trap(() => invoke($7, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:599
assert_trap(() => invoke($7, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:600
assert_return(() => invoke($7, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:601
assert_return(() => invoke($7, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:602
assert_return(() => invoke($7, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:603
assert_return(() => invoke($7, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:604
assert_trap(() => invoke($7, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:605
assert_trap(() => invoke($7, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:606
assert_trap(() => invoke($7, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:607
assert_trap(() => invoke($7, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:608
assert_return(() => invoke($7, `check_t0`, [10]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:609
assert_return(() => invoke($7, `check_t0`, [11]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:610
assert_return(() => invoke($7, `check_t0`, [12]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:611
assert_return(() => invoke($7, `check_t0`, [13]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:612
assert_return(() => invoke($7, `check_t0`, [14]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:613
assert_trap(() => invoke($7, `check_t0`, [15]), `uninitialized element`);
// ./test/core/table_copy.wast:614
assert_trap(() => invoke($7, `check_t0`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:615
assert_trap(() => invoke($7, `check_t0`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:616
assert_trap(() => invoke($7, `check_t0`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:617
assert_trap(() => invoke($7, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:618
assert_trap(() => invoke($7, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:619
assert_trap(() => invoke($7, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:620
assert_trap(() => invoke($7, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:621
assert_trap(() => invoke($7, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:622
assert_trap(() => invoke($7, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:623
assert_trap(() => invoke($7, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:624
assert_trap(() => invoke($7, `check_t0`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:625
assert_trap(() => invoke($7, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:626
assert_trap(() => invoke($7, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:627
assert_trap(() => invoke($7, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:628
assert_trap(() => invoke($7, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:629
assert_trap(() => invoke($7, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:630
assert_trap(() => invoke($7, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:631
assert_return(() => invoke($7, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:632
assert_return(() => invoke($7, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:633
assert_return(() => invoke($7, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:634
assert_return(() => invoke($7, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:635
assert_trap(() => invoke($7, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:636
assert_trap(() => invoke($7, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:637
assert_trap(() => invoke($7, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:638
assert_trap(() => invoke($7, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:639
assert_return(() => invoke($7, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:640
assert_return(() => invoke($7, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:641
assert_return(() => invoke($7, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:642
assert_return(() => invoke($7, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:643
assert_return(() => invoke($7, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:644
assert_trap(() => invoke($7, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:645
assert_trap(() => invoke($7, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:646
assert_trap(() => invoke($7, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:647
assert_trap(() => invoke($7, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:648
assert_trap(() => invoke($7, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:649
assert_trap(() => invoke($7, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:650
assert_trap(() => invoke($7, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:651
assert_trap(() => invoke($7, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:652
assert_trap(() => invoke($7, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:653
assert_trap(() => invoke($7, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:654
assert_trap(() => invoke($7, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:655
assert_trap(() => invoke($7, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:656
assert_trap(() => invoke($7, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:657
assert_trap(() => invoke($7, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:659
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)
(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))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t0 $$t0 (i32.
const 12) (i32.
const 10) (i32.
const 7)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:689
invoke($8, `test`, []);
// ./test/core/table_copy.wast:690
assert_trap(() => invoke($8, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:691
assert_trap(() => invoke($8, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:692
assert_return(() => invoke($8, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:693
assert_return(() => invoke($8, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:694
assert_return(() => invoke($8, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:695
assert_return(() => invoke($8, `check_t0`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:696
assert_trap(() => invoke($8, `check_t0`, [6]), `uninitialized element`);
// ./test/core/table_copy.wast:697
assert_trap(() => invoke($8, `check_t0`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:698
assert_trap(() => invoke($8, `check_t0`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:699
assert_trap(() => invoke($8, `check_t0`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:700
assert_trap(() => invoke($8, `check_t0`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:701
assert_trap(() => invoke($8, `check_t0`, [11]), `uninitialized element`);
// ./test/core/table_copy.wast:702
assert_trap(() => invoke($8, `check_t0`, [12]), `uninitialized element`);
// ./test/core/table_copy.wast:703
assert_trap(() => invoke($8, `check_t0`, [13]), `uninitialized element`);
// ./test/core/table_copy.wast:704
assert_return(() => invoke($8, `check_t0`, [14]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:705
assert_return(() => invoke($8, `check_t0`, [15]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:706
assert_return(() => invoke($8, `check_t0`, [16]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:707
assert_return(() => invoke($8, `check_t0`, [17]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:708
assert_return(() => invoke($8, `check_t0`, [18]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:709
assert_trap(() => invoke($8, `check_t0`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:710
assert_trap(() => invoke($8, `check_t0`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:711
assert_trap(() => invoke($8, `check_t0`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:712
assert_trap(() => invoke($8, `check_t0`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:713
assert_trap(() => invoke($8, `check_t0`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:714
assert_trap(() => invoke($8, `check_t0`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:715
assert_trap(() => invoke($8, `check_t0`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:716
assert_trap(() => invoke($8, `check_t0`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:717
assert_trap(() => invoke($8, `check_t0`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:718
assert_trap(() => invoke($8, `check_t0`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:719
assert_trap(() => invoke($8, `check_t0`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:720
assert_trap(() => invoke($8, `check_t1`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:721
assert_trap(() => invoke($8, `check_t1`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:722
assert_trap(() => invoke($8, `check_t1`, [2]), `uninitialized element`);
// ./test/core/table_copy.wast:723
assert_return(() => invoke($8, `check_t1`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:724
assert_return(() => invoke($8, `check_t1`, [4]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:725
assert_return(() => invoke($8, `check_t1`, [5]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:726
assert_return(() => invoke($8, `check_t1`, [6]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:727
assert_trap(() => invoke($8, `check_t1`, [7]), `uninitialized element`);
// ./test/core/table_copy.wast:728
assert_trap(() => invoke($8, `check_t1`, [8]), `uninitialized element`);
// ./test/core/table_copy.wast:729
assert_trap(() => invoke($8, `check_t1`, [9]), `uninitialized element`);
// ./test/core/table_copy.wast:730
assert_trap(() => invoke($8, `check_t1`, [10]), `uninitialized element`);
// ./test/core/table_copy.wast:731
assert_return(() => invoke($8, `check_t1`, [11]), [value(
"i32", 6)]);
// ./test/core/table_copy.wast:732
assert_return(() => invoke($8, `check_t1`, [12]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:733
assert_return(() => invoke($8, `check_t1`, [13]), [value(
"i32", 2)]);
// ./test/core/table_copy.wast:734
assert_return(() => invoke($8, `check_t1`, [14]), [value(
"i32", 5)]);
// ./test/core/table_copy.wast:735
assert_return(() => invoke($8, `check_t1`, [15]), [value(
"i32", 7)]);
// ./test/core/table_copy.wast:736
assert_trap(() => invoke($8, `check_t1`, [16]), `uninitialized element`);
// ./test/core/table_copy.wast:737
assert_trap(() => invoke($8, `check_t1`, [17]), `uninitialized element`);
// ./test/core/table_copy.wast:738
assert_trap(() => invoke($8, `check_t1`, [18]), `uninitialized element`);
// ./test/core/table_copy.wast:739
assert_trap(() => invoke($8, `check_t1`, [19]), `uninitialized element`);
// ./test/core/table_copy.wast:740
assert_trap(() => invoke($8, `check_t1`, [20]), `uninitialized element`);
// ./test/core/table_copy.wast:741
assert_trap(() => invoke($8, `check_t1`, [21]), `uninitialized element`);
// ./test/core/table_copy.wast:742
assert_trap(() => invoke($8, `check_t1`, [22]), `uninitialized element`);
// ./test/core/table_copy.wast:743
assert_trap(() => invoke($8, `check_t1`, [23]), `uninitialized element`);
// ./test/core/table_copy.wast:744
assert_trap(() => invoke($8, `check_t1`, [24]), `uninitialized element`);
// ./test/core/table_copy.wast:745
assert_trap(() => invoke($8, `check_t1`, [25]), `uninitialized element`);
// ./test/core/table_copy.wast:746
assert_trap(() => invoke($8, `check_t1`, [26]), `uninitialized element`);
// ./test/core/table_copy.wast:747
assert_trap(() => invoke($8, `check_t1`, [27]), `uninitialized element`);
// ./test/core/table_copy.wast:748
assert_trap(() => invoke($8, `check_t1`, [28]), `uninitialized element`);
// ./test/core/table_copy.wast:749
assert_trap(() => invoke($8, `check_t1`, [29]), `uninitialized element`);
// ./test/core/table_copy.wast:751
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)
(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))
(elem (table $$t1) (i32.
const 3) func 1 3 1 4)
(elem (table $$t1) (i32.
const 11) func 6 3 2 5 7)
(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.copy $$t1 $$t0 (i32.
const 10) (i32.
const 0) (i32.
const 20)))
(func (export
"check_t0") (param i32) (result i32)
(call_indirect $$t0 (type 0) (local.get 0)))
(func (export
"check_t1") (param i32) (result i32)
(call_indirect $$t1 (type 0) (local.get 0)))
)`);
// ./test/core/table_copy.wast:781
invoke($9, `test`, []);
// ./test/core/table_copy.wast:782
assert_trap(() => invoke($9, `check_t0`, [0]), `uninitialized element`);
// ./test/core/table_copy.wast:783
assert_trap(() => invoke($9, `check_t0`, [1]), `uninitialized element`);
// ./test/core/table_copy.wast:784
assert_return(() => invoke($9, `check_t0`, [2]), [value(
"i32", 3)]);
// ./test/core/table_copy.wast:785
assert_return(() => invoke($9, `check_t0`, [3]), [value(
"i32", 1)]);
// ./test/core/table_copy.wast:786
assert_return(() => invoke($9, `check_t0`, [4]), [value(
"i32", 4)]);
// ./test/core/table_copy.wast:787
--> --------------------
--> maximum size reached
--> --------------------
