github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/spectest/v2/testdata/table_copy.wast (about) 1 ;; 2 ;; Generated by ../meta/generate_table_copy.js 3 ;; DO NOT EDIT THIS FILE. CHANGE THE SOURCE AND REGENERATE. 4 ;; 5 6 (module 7 (func (export "ef0") (result i32) (i32.const 0)) 8 (func (export "ef1") (result i32) (i32.const 1)) 9 (func (export "ef2") (result i32) (i32.const 2)) 10 (func (export "ef3") (result i32) (i32.const 3)) 11 (func (export "ef4") (result i32) (i32.const 4)) 12 ) 13 (register "a") 14 15 (module 16 (type (func (result i32))) ;; type #0 17 (import "a" "ef0" (func (result i32))) ;; index 0 18 (import "a" "ef1" (func (result i32))) 19 (import "a" "ef2" (func (result i32))) 20 (import "a" "ef3" (func (result i32))) 21 (import "a" "ef4" (func (result i32))) ;; index 4 22 (table $t0 30 30 funcref) 23 (table $t1 30 30 funcref) 24 (elem (table $t0) (i32.const 2) func 3 1 4 1) 25 (elem funcref 26 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 27 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 28 (elem funcref 29 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 30 (elem (table $t1) (i32.const 3) func 1 3 1 4) 31 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 32 (func (result i32) (i32.const 5)) ;; index 5 33 (func (result i32) (i32.const 6)) 34 (func (result i32) (i32.const 7)) 35 (func (result i32) (i32.const 8)) 36 (func (result i32) (i32.const 9)) ;; index 9 37 (func (export "test") 38 (nop)) 39 (func (export "check_t0") (param i32) (result i32) 40 (call_indirect $t0 (type 0) (local.get 0))) 41 (func (export "check_t1") (param i32) (result i32) 42 (call_indirect $t1 (type 0) (local.get 0))) 43 ) 44 45 (invoke "test") 46 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 47 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 48 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 49 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 50 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 51 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 52 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 53 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 54 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 55 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 56 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 57 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 58 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 59 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 60 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 61 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 62 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 63 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 64 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 65 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 66 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 67 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 68 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 69 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 70 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 71 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 72 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 73 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 74 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 75 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 76 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 77 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 78 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 79 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 80 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 81 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 82 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 83 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 84 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 85 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 86 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 87 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 88 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 89 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 90 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 91 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 92 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 93 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 94 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 95 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 96 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 97 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 98 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 99 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 100 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 101 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 102 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 103 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 104 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 105 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 106 107 (module 108 (type (func (result i32))) ;; type #0 109 (import "a" "ef0" (func (result i32))) ;; index 0 110 (import "a" "ef1" (func (result i32))) 111 (import "a" "ef2" (func (result i32))) 112 (import "a" "ef3" (func (result i32))) 113 (import "a" "ef4" (func (result i32))) ;; index 4 114 (table $t0 30 30 funcref) 115 (table $t1 30 30 funcref) 116 (elem (table $t0) (i32.const 2) func 3 1 4 1) 117 (elem funcref 118 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 119 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 120 (elem funcref 121 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 122 (elem (table $t1) (i32.const 3) func 1 3 1 4) 123 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 124 (func (result i32) (i32.const 5)) ;; index 5 125 (func (result i32) (i32.const 6)) 126 (func (result i32) (i32.const 7)) 127 (func (result i32) (i32.const 8)) 128 (func (result i32) (i32.const 9)) ;; index 9 129 (func (export "test") 130 (table.copy $t0 $t0 (i32.const 13) (i32.const 2) (i32.const 3))) 131 (func (export "check_t0") (param i32) (result i32) 132 (call_indirect $t0 (type 0) (local.get 0))) 133 (func (export "check_t1") (param i32) (result i32) 134 (call_indirect $t1 (type 0) (local.get 0))) 135 ) 136 137 (invoke "test") 138 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 139 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 140 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 141 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 142 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 143 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 144 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 145 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 146 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 147 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 148 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 149 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 150 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 151 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 3)) 152 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 1)) 153 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 4)) 154 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 155 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 156 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 157 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 158 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 159 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 160 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 161 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 162 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 163 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 164 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 165 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 166 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 167 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 168 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 169 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 170 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 171 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 172 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 173 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 174 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 175 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 176 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 177 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 178 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 179 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 180 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 181 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 182 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 183 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 184 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 185 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 186 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 187 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 188 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 189 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 190 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 191 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 192 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 193 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 194 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 195 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 196 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 197 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 198 199 (module 200 (type (func (result i32))) ;; type #0 201 (import "a" "ef0" (func (result i32))) ;; index 0 202 (import "a" "ef1" (func (result i32))) 203 (import "a" "ef2" (func (result i32))) 204 (import "a" "ef3" (func (result i32))) 205 (import "a" "ef4" (func (result i32))) ;; index 4 206 (table $t0 30 30 funcref) 207 (table $t1 30 30 funcref) 208 (elem (table $t0) (i32.const 2) func 3 1 4 1) 209 (elem funcref 210 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 211 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 212 (elem funcref 213 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 214 (elem (table $t1) (i32.const 3) func 1 3 1 4) 215 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 216 (func (result i32) (i32.const 5)) ;; index 5 217 (func (result i32) (i32.const 6)) 218 (func (result i32) (i32.const 7)) 219 (func (result i32) (i32.const 8)) 220 (func (result i32) (i32.const 9)) ;; index 9 221 (func (export "test") 222 (table.copy $t0 $t0 (i32.const 25) (i32.const 15) (i32.const 2))) 223 (func (export "check_t0") (param i32) (result i32) 224 (call_indirect $t0 (type 0) (local.get 0))) 225 (func (export "check_t1") (param i32) (result i32) 226 (call_indirect $t1 (type 0) (local.get 0))) 227 ) 228 229 (invoke "test") 230 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 231 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 232 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 233 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 234 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 235 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 236 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 237 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 238 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 239 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 240 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 241 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 242 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 243 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 244 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 245 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 246 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 247 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 248 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 249 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 250 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 251 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 252 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 253 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 254 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 255 (assert_return (invoke "check_t0" (i32.const 25)) (i32.const 3)) 256 (assert_return (invoke "check_t0" (i32.const 26)) (i32.const 6)) 257 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 258 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 259 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 260 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 261 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 262 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 263 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 264 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 265 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 266 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 267 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 268 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 269 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 270 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 271 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 272 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 273 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 274 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 275 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 276 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 277 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 278 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 279 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 280 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 281 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 282 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 283 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 284 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 285 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 286 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 287 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 288 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 289 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 290 291 (module 292 (type (func (result i32))) ;; type #0 293 (import "a" "ef0" (func (result i32))) ;; index 0 294 (import "a" "ef1" (func (result i32))) 295 (import "a" "ef2" (func (result i32))) 296 (import "a" "ef3" (func (result i32))) 297 (import "a" "ef4" (func (result i32))) ;; index 4 298 (table $t0 30 30 funcref) 299 (table $t1 30 30 funcref) 300 (elem (table $t0) (i32.const 2) func 3 1 4 1) 301 (elem funcref 302 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 303 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 304 (elem funcref 305 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 306 (elem (table $t1) (i32.const 3) func 1 3 1 4) 307 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 308 (func (result i32) (i32.const 5)) ;; index 5 309 (func (result i32) (i32.const 6)) 310 (func (result i32) (i32.const 7)) 311 (func (result i32) (i32.const 8)) 312 (func (result i32) (i32.const 9)) ;; index 9 313 (func (export "test") 314 (table.copy $t0 $t0 (i32.const 13) (i32.const 25) (i32.const 3))) 315 (func (export "check_t0") (param i32) (result i32) 316 (call_indirect $t0 (type 0) (local.get 0))) 317 (func (export "check_t1") (param i32) (result i32) 318 (call_indirect $t1 (type 0) (local.get 0))) 319 ) 320 321 (invoke "test") 322 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 323 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 324 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 325 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 326 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 327 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 328 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 329 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 330 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 331 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 332 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 333 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 334 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 335 (assert_trap (invoke "check_t0" (i32.const 13)) "uninitialized element") 336 (assert_trap (invoke "check_t0" (i32.const 14)) "uninitialized element") 337 (assert_trap (invoke "check_t0" (i32.const 15)) "uninitialized element") 338 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 339 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 340 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 341 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 342 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 343 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 344 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 345 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 346 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 347 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 348 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 349 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 350 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 351 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 352 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 353 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 354 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 355 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 356 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 357 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 358 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 359 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 360 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 361 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 362 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 363 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 364 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 365 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 366 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 367 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 368 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 369 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 370 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 371 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 372 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 373 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 374 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 375 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 376 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 377 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 378 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 379 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 380 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 381 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 382 383 (module 384 (type (func (result i32))) ;; type #0 385 (import "a" "ef0" (func (result i32))) ;; index 0 386 (import "a" "ef1" (func (result i32))) 387 (import "a" "ef2" (func (result i32))) 388 (import "a" "ef3" (func (result i32))) 389 (import "a" "ef4" (func (result i32))) ;; index 4 390 (table $t0 30 30 funcref) 391 (table $t1 30 30 funcref) 392 (elem (table $t0) (i32.const 2) func 3 1 4 1) 393 (elem funcref 394 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 395 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 396 (elem funcref 397 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 398 (elem (table $t1) (i32.const 3) func 1 3 1 4) 399 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 400 (func (result i32) (i32.const 5)) ;; index 5 401 (func (result i32) (i32.const 6)) 402 (func (result i32) (i32.const 7)) 403 (func (result i32) (i32.const 8)) 404 (func (result i32) (i32.const 9)) ;; index 9 405 (func (export "test") 406 (table.copy $t0 $t0 (i32.const 20) (i32.const 22) (i32.const 4))) 407 (func (export "check_t0") (param i32) (result i32) 408 (call_indirect $t0 (type 0) (local.get 0))) 409 (func (export "check_t1") (param i32) (result i32) 410 (call_indirect $t1 (type 0) (local.get 0))) 411 ) 412 413 (invoke "test") 414 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 415 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 416 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 417 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 418 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 419 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 420 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 421 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 422 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 423 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 424 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 425 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 426 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 427 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 428 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 429 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 430 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 431 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 432 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 433 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 434 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 435 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 436 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 437 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 438 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 439 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 440 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 441 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 442 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 443 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 444 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 445 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 446 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 447 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 448 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 449 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 450 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 451 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 452 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 453 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 454 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 455 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 456 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 457 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 458 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 459 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 460 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 461 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 462 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 463 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 464 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 465 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 466 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 467 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 468 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 469 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 470 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 471 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 472 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 473 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 474 475 (module 476 (type (func (result i32))) ;; type #0 477 (import "a" "ef0" (func (result i32))) ;; index 0 478 (import "a" "ef1" (func (result i32))) 479 (import "a" "ef2" (func (result i32))) 480 (import "a" "ef3" (func (result i32))) 481 (import "a" "ef4" (func (result i32))) ;; index 4 482 (table $t0 30 30 funcref) 483 (table $t1 30 30 funcref) 484 (elem (table $t0) (i32.const 2) func 3 1 4 1) 485 (elem funcref 486 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 487 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 488 (elem funcref 489 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 490 (elem (table $t1) (i32.const 3) func 1 3 1 4) 491 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 492 (func (result i32) (i32.const 5)) ;; index 5 493 (func (result i32) (i32.const 6)) 494 (func (result i32) (i32.const 7)) 495 (func (result i32) (i32.const 8)) 496 (func (result i32) (i32.const 9)) ;; index 9 497 (func (export "test") 498 (table.copy $t0 $t0 (i32.const 25) (i32.const 1) (i32.const 3))) 499 (func (export "check_t0") (param i32) (result i32) 500 (call_indirect $t0 (type 0) (local.get 0))) 501 (func (export "check_t1") (param i32) (result i32) 502 (call_indirect $t1 (type 0) (local.get 0))) 503 ) 504 505 (invoke "test") 506 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 507 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 508 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 509 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 510 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 511 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 512 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 513 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 514 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 515 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 516 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 517 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 518 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 519 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 520 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 521 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 522 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 523 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 524 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 525 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 526 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 527 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 528 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 529 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 530 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 531 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 532 (assert_return (invoke "check_t0" (i32.const 26)) (i32.const 3)) 533 (assert_return (invoke "check_t0" (i32.const 27)) (i32.const 1)) 534 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 535 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 536 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 537 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 538 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 539 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 540 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 541 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 542 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 543 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 544 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 545 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 546 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 547 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 548 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 549 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 550 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 551 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 552 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 553 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 554 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 555 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 556 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 557 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 558 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 559 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 560 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 561 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 562 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 563 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 564 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 565 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 566 567 (module 568 (type (func (result i32))) ;; type #0 569 (import "a" "ef0" (func (result i32))) ;; index 0 570 (import "a" "ef1" (func (result i32))) 571 (import "a" "ef2" (func (result i32))) 572 (import "a" "ef3" (func (result i32))) 573 (import "a" "ef4" (func (result i32))) ;; index 4 574 (table $t0 30 30 funcref) 575 (table $t1 30 30 funcref) 576 (elem (table $t0) (i32.const 2) func 3 1 4 1) 577 (elem funcref 578 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 579 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 580 (elem funcref 581 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 582 (elem (table $t1) (i32.const 3) func 1 3 1 4) 583 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 584 (func (result i32) (i32.const 5)) ;; index 5 585 (func (result i32) (i32.const 6)) 586 (func (result i32) (i32.const 7)) 587 (func (result i32) (i32.const 8)) 588 (func (result i32) (i32.const 9)) ;; index 9 589 (func (export "test") 590 (table.copy $t0 $t0 (i32.const 10) (i32.const 12) (i32.const 7))) 591 (func (export "check_t0") (param i32) (result i32) 592 (call_indirect $t0 (type 0) (local.get 0))) 593 (func (export "check_t1") (param i32) (result i32) 594 (call_indirect $t1 (type 0) (local.get 0))) 595 ) 596 597 (invoke "test") 598 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 599 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 600 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 601 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 602 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 603 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 604 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 605 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 606 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 607 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 608 (assert_return (invoke "check_t0" (i32.const 10)) (i32.const 7)) 609 (assert_return (invoke "check_t0" (i32.const 11)) (i32.const 5)) 610 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 2)) 611 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 3)) 612 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 6)) 613 (assert_trap (invoke "check_t0" (i32.const 15)) "uninitialized element") 614 (assert_trap (invoke "check_t0" (i32.const 16)) "uninitialized element") 615 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 616 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 617 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 618 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 619 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 620 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 621 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 622 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 623 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 624 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 625 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 626 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 627 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 628 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 629 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 630 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 631 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 632 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 633 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 634 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 635 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 636 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 637 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 638 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 639 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 640 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 641 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 642 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 643 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 644 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 645 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 646 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 647 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 648 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 649 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 650 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 651 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 652 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 653 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 654 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 655 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 656 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 657 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 658 659 (module 660 (type (func (result i32))) ;; type #0 661 (import "a" "ef0" (func (result i32))) ;; index 0 662 (import "a" "ef1" (func (result i32))) 663 (import "a" "ef2" (func (result i32))) 664 (import "a" "ef3" (func (result i32))) 665 (import "a" "ef4" (func (result i32))) ;; index 4 666 (table $t0 30 30 funcref) 667 (table $t1 30 30 funcref) 668 (elem (table $t0) (i32.const 2) func 3 1 4 1) 669 (elem funcref 670 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 671 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 672 (elem funcref 673 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 674 (elem (table $t1) (i32.const 3) func 1 3 1 4) 675 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 676 (func (result i32) (i32.const 5)) ;; index 5 677 (func (result i32) (i32.const 6)) 678 (func (result i32) (i32.const 7)) 679 (func (result i32) (i32.const 8)) 680 (func (result i32) (i32.const 9)) ;; index 9 681 (func (export "test") 682 (table.copy $t0 $t0 (i32.const 12) (i32.const 10) (i32.const 7))) 683 (func (export "check_t0") (param i32) (result i32) 684 (call_indirect $t0 (type 0) (local.get 0))) 685 (func (export "check_t1") (param i32) (result i32) 686 (call_indirect $t1 (type 0) (local.get 0))) 687 ) 688 689 (invoke "test") 690 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 691 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 692 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 693 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 694 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 695 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 696 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 697 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 698 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 699 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 700 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 701 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 702 (assert_trap (invoke "check_t0" (i32.const 12)) "uninitialized element") 703 (assert_trap (invoke "check_t0" (i32.const 13)) "uninitialized element") 704 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 7)) 705 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 5)) 706 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 2)) 707 (assert_return (invoke "check_t0" (i32.const 17)) (i32.const 3)) 708 (assert_return (invoke "check_t0" (i32.const 18)) (i32.const 6)) 709 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 710 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 711 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 712 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 713 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 714 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 715 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 716 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 717 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 718 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 719 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 720 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 721 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 722 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 723 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 724 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 725 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 726 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 727 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 728 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 729 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 730 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 731 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 732 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 733 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 734 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 735 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 736 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 737 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 738 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 739 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 740 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 741 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 742 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 743 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 744 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 745 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 746 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 747 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 748 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 749 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 750 751 (module 752 (type (func (result i32))) ;; type #0 753 (import "a" "ef0" (func (result i32))) ;; index 0 754 (import "a" "ef1" (func (result i32))) 755 (import "a" "ef2" (func (result i32))) 756 (import "a" "ef3" (func (result i32))) 757 (import "a" "ef4" (func (result i32))) ;; index 4 758 (table $t0 30 30 funcref) 759 (table $t1 30 30 funcref) 760 (elem (table $t0) (i32.const 2) func 3 1 4 1) 761 (elem funcref 762 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 763 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 764 (elem funcref 765 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 766 (elem (table $t1) (i32.const 3) func 1 3 1 4) 767 (elem (table $t1) (i32.const 11) func 6 3 2 5 7) 768 (func (result i32) (i32.const 5)) ;; index 5 769 (func (result i32) (i32.const 6)) 770 (func (result i32) (i32.const 7)) 771 (func (result i32) (i32.const 8)) 772 (func (result i32) (i32.const 9)) ;; index 9 773 (func (export "test") 774 (table.copy $t1 $t0 (i32.const 10) (i32.const 0) (i32.const 20))) 775 (func (export "check_t0") (param i32) (result i32) 776 (call_indirect $t0 (type 0) (local.get 0))) 777 (func (export "check_t1") (param i32) (result i32) 778 (call_indirect $t1 (type 0) (local.get 0))) 779 ) 780 781 (invoke "test") 782 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 783 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 784 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 785 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 786 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 787 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 788 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 789 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 790 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 791 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 792 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 793 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 794 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 795 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 796 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 797 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 798 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 799 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 800 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 801 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 802 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 803 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 804 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 805 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 806 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 807 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 808 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 809 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 810 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 811 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 812 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 813 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 814 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 815 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 816 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 817 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 818 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 819 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 820 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 821 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 822 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 823 (assert_trap (invoke "check_t1" (i32.const 11)) "uninitialized element") 824 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 825 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 1)) 826 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 4)) 827 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 1)) 828 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 829 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 830 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 831 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 832 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 833 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 834 (assert_return (invoke "check_t1" (i32.const 22)) (i32.const 7)) 835 (assert_return (invoke "check_t1" (i32.const 23)) (i32.const 5)) 836 (assert_return (invoke "check_t1" (i32.const 24)) (i32.const 2)) 837 (assert_return (invoke "check_t1" (i32.const 25)) (i32.const 3)) 838 (assert_return (invoke "check_t1" (i32.const 26)) (i32.const 6)) 839 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 840 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 841 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 842 843 (module 844 (type (func (result i32))) ;; type #0 845 (import "a" "ef0" (func (result i32))) ;; index 0 846 (import "a" "ef1" (func (result i32))) 847 (import "a" "ef2" (func (result i32))) 848 (import "a" "ef3" (func (result i32))) 849 (import "a" "ef4" (func (result i32))) ;; index 4 850 (table $t0 30 30 funcref) 851 (table $t1 30 30 funcref) 852 (elem (table $t1) (i32.const 2) func 3 1 4 1) 853 (elem funcref 854 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 855 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 856 (elem funcref 857 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 858 (elem (table $t0) (i32.const 3) func 1 3 1 4) 859 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 860 (func (result i32) (i32.const 5)) ;; index 5 861 (func (result i32) (i32.const 6)) 862 (func (result i32) (i32.const 7)) 863 (func (result i32) (i32.const 8)) 864 (func (result i32) (i32.const 9)) ;; index 9 865 (func (export "test") 866 (nop)) 867 (func (export "check_t0") (param i32) (result i32) 868 (call_indirect $t1 (type 0) (local.get 0))) 869 (func (export "check_t1") (param i32) (result i32) 870 (call_indirect $t0 (type 0) (local.get 0))) 871 ) 872 873 (invoke "test") 874 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 875 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 876 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 877 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 878 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 879 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 880 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 881 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 882 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 883 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 884 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 885 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 886 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 887 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 888 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 889 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 890 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 891 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 892 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 893 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 894 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 895 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 896 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 897 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 898 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 899 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 900 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 901 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 902 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 903 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 904 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 905 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 906 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 907 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 908 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 909 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 910 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 911 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 912 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 913 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 914 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 915 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 916 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 917 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 918 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 919 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 920 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 921 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 922 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 923 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 924 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 925 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 926 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 927 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 928 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 929 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 930 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 931 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 932 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 933 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 934 935 (module 936 (type (func (result i32))) ;; type #0 937 (import "a" "ef0" (func (result i32))) ;; index 0 938 (import "a" "ef1" (func (result i32))) 939 (import "a" "ef2" (func (result i32))) 940 (import "a" "ef3" (func (result i32))) 941 (import "a" "ef4" (func (result i32))) ;; index 4 942 (table $t0 30 30 funcref) 943 (table $t1 30 30 funcref) 944 (elem (table $t1) (i32.const 2) func 3 1 4 1) 945 (elem funcref 946 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 947 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 948 (elem funcref 949 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 950 (elem (table $t0) (i32.const 3) func 1 3 1 4) 951 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 952 (func (result i32) (i32.const 5)) ;; index 5 953 (func (result i32) (i32.const 6)) 954 (func (result i32) (i32.const 7)) 955 (func (result i32) (i32.const 8)) 956 (func (result i32) (i32.const 9)) ;; index 9 957 (func (export "test") 958 (table.copy $t1 $t1 (i32.const 13) (i32.const 2) (i32.const 3))) 959 (func (export "check_t0") (param i32) (result i32) 960 (call_indirect $t1 (type 0) (local.get 0))) 961 (func (export "check_t1") (param i32) (result i32) 962 (call_indirect $t0 (type 0) (local.get 0))) 963 ) 964 965 (invoke "test") 966 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 967 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 968 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 969 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 970 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 971 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 972 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 973 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 974 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 975 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 976 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 977 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 978 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 979 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 3)) 980 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 1)) 981 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 4)) 982 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 983 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 984 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 985 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 986 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 987 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 988 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 989 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 990 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 991 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 992 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 993 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 994 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 995 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 996 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 997 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 998 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 999 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1000 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1001 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1002 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1003 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1004 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1005 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1006 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1007 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1008 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1009 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1010 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1011 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1012 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1013 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1014 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1015 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1016 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1017 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1018 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1019 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1020 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1021 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1022 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1023 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1024 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1025 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1026 1027 (module 1028 (type (func (result i32))) ;; type #0 1029 (import "a" "ef0" (func (result i32))) ;; index 0 1030 (import "a" "ef1" (func (result i32))) 1031 (import "a" "ef2" (func (result i32))) 1032 (import "a" "ef3" (func (result i32))) 1033 (import "a" "ef4" (func (result i32))) ;; index 4 1034 (table $t0 30 30 funcref) 1035 (table $t1 30 30 funcref) 1036 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1037 (elem funcref 1038 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1039 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1040 (elem funcref 1041 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1042 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1043 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1044 (func (result i32) (i32.const 5)) ;; index 5 1045 (func (result i32) (i32.const 6)) 1046 (func (result i32) (i32.const 7)) 1047 (func (result i32) (i32.const 8)) 1048 (func (result i32) (i32.const 9)) ;; index 9 1049 (func (export "test") 1050 (table.copy $t1 $t1 (i32.const 25) (i32.const 15) (i32.const 2))) 1051 (func (export "check_t0") (param i32) (result i32) 1052 (call_indirect $t1 (type 0) (local.get 0))) 1053 (func (export "check_t1") (param i32) (result i32) 1054 (call_indirect $t0 (type 0) (local.get 0))) 1055 ) 1056 1057 (invoke "test") 1058 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1059 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1060 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1061 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1062 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1063 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1064 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1065 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1066 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1067 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1068 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 1069 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 1070 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 1071 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 1072 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 1073 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 1074 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 1075 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 1076 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 1077 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1078 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1079 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1080 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1081 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1082 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1083 (assert_return (invoke "check_t0" (i32.const 25)) (i32.const 3)) 1084 (assert_return (invoke "check_t0" (i32.const 26)) (i32.const 6)) 1085 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 1086 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1087 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1088 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1089 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1090 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1091 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1092 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1093 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1094 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1095 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1096 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1097 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1098 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1099 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1100 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1101 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1102 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1103 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1104 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1105 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1106 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1107 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1108 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1109 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1110 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1111 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1112 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1113 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1114 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1115 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1116 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1117 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1118 1119 (module 1120 (type (func (result i32))) ;; type #0 1121 (import "a" "ef0" (func (result i32))) ;; index 0 1122 (import "a" "ef1" (func (result i32))) 1123 (import "a" "ef2" (func (result i32))) 1124 (import "a" "ef3" (func (result i32))) 1125 (import "a" "ef4" (func (result i32))) ;; index 4 1126 (table $t0 30 30 funcref) 1127 (table $t1 30 30 funcref) 1128 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1129 (elem funcref 1130 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1131 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1132 (elem funcref 1133 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1134 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1135 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1136 (func (result i32) (i32.const 5)) ;; index 5 1137 (func (result i32) (i32.const 6)) 1138 (func (result i32) (i32.const 7)) 1139 (func (result i32) (i32.const 8)) 1140 (func (result i32) (i32.const 9)) ;; index 9 1141 (func (export "test") 1142 (table.copy $t1 $t1 (i32.const 13) (i32.const 25) (i32.const 3))) 1143 (func (export "check_t0") (param i32) (result i32) 1144 (call_indirect $t1 (type 0) (local.get 0))) 1145 (func (export "check_t1") (param i32) (result i32) 1146 (call_indirect $t0 (type 0) (local.get 0))) 1147 ) 1148 1149 (invoke "test") 1150 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1151 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1152 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1153 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1154 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1155 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1156 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1157 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1158 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1159 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1160 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 1161 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 1162 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 1163 (assert_trap (invoke "check_t0" (i32.const 13)) "uninitialized element") 1164 (assert_trap (invoke "check_t0" (i32.const 14)) "uninitialized element") 1165 (assert_trap (invoke "check_t0" (i32.const 15)) "uninitialized element") 1166 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 1167 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 1168 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 1169 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1170 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1171 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1172 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1173 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1174 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1175 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 1176 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 1177 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 1178 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1179 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1180 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1181 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1182 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1183 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1184 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1185 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1186 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1187 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1188 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1189 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1190 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1191 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1192 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1193 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1194 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1195 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1196 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1197 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1198 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1199 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1200 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1201 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1202 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1203 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1204 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1205 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1206 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1207 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1208 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1209 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1210 1211 (module 1212 (type (func (result i32))) ;; type #0 1213 (import "a" "ef0" (func (result i32))) ;; index 0 1214 (import "a" "ef1" (func (result i32))) 1215 (import "a" "ef2" (func (result i32))) 1216 (import "a" "ef3" (func (result i32))) 1217 (import "a" "ef4" (func (result i32))) ;; index 4 1218 (table $t0 30 30 funcref) 1219 (table $t1 30 30 funcref) 1220 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1221 (elem funcref 1222 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1223 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1224 (elem funcref 1225 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1226 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1227 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1228 (func (result i32) (i32.const 5)) ;; index 5 1229 (func (result i32) (i32.const 6)) 1230 (func (result i32) (i32.const 7)) 1231 (func (result i32) (i32.const 8)) 1232 (func (result i32) (i32.const 9)) ;; index 9 1233 (func (export "test") 1234 (table.copy $t1 $t1 (i32.const 20) (i32.const 22) (i32.const 4))) 1235 (func (export "check_t0") (param i32) (result i32) 1236 (call_indirect $t1 (type 0) (local.get 0))) 1237 (func (export "check_t1") (param i32) (result i32) 1238 (call_indirect $t0 (type 0) (local.get 0))) 1239 ) 1240 1241 (invoke "test") 1242 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1243 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1244 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1245 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1246 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1247 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1248 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1249 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1250 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1251 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1252 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 1253 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 1254 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 1255 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 1256 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 1257 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 1258 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 1259 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 1260 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 1261 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1262 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1263 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1264 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1265 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1266 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1267 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 1268 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 1269 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 1270 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1271 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1272 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1273 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1274 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1275 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1276 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1277 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1278 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1279 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1280 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1281 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1282 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1283 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1284 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1285 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1286 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1287 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1288 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1289 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1290 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1291 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1292 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1293 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1294 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1295 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1296 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1297 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1298 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1299 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1300 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1301 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1302 1303 (module 1304 (type (func (result i32))) ;; type #0 1305 (import "a" "ef0" (func (result i32))) ;; index 0 1306 (import "a" "ef1" (func (result i32))) 1307 (import "a" "ef2" (func (result i32))) 1308 (import "a" "ef3" (func (result i32))) 1309 (import "a" "ef4" (func (result i32))) ;; index 4 1310 (table $t0 30 30 funcref) 1311 (table $t1 30 30 funcref) 1312 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1313 (elem funcref 1314 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1315 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1316 (elem funcref 1317 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1318 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1319 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1320 (func (result i32) (i32.const 5)) ;; index 5 1321 (func (result i32) (i32.const 6)) 1322 (func (result i32) (i32.const 7)) 1323 (func (result i32) (i32.const 8)) 1324 (func (result i32) (i32.const 9)) ;; index 9 1325 (func (export "test") 1326 (table.copy $t1 $t1 (i32.const 25) (i32.const 1) (i32.const 3))) 1327 (func (export "check_t0") (param i32) (result i32) 1328 (call_indirect $t1 (type 0) (local.get 0))) 1329 (func (export "check_t1") (param i32) (result i32) 1330 (call_indirect $t0 (type 0) (local.get 0))) 1331 ) 1332 1333 (invoke "test") 1334 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1335 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1336 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1337 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1338 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1339 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1340 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1341 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1342 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1343 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1344 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 1345 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 1346 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 1347 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 1348 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 1349 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 1350 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 1351 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 1352 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 1353 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1354 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1355 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1356 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1357 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1358 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1359 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 1360 (assert_return (invoke "check_t0" (i32.const 26)) (i32.const 3)) 1361 (assert_return (invoke "check_t0" (i32.const 27)) (i32.const 1)) 1362 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1363 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1364 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1365 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1366 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1367 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1368 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1369 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1370 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1371 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1372 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1373 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1374 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1375 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1376 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1377 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1378 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1379 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1380 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1381 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1382 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1383 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1384 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1385 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1386 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1387 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1388 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1389 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1390 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1391 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1392 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1393 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1394 1395 (module 1396 (type (func (result i32))) ;; type #0 1397 (import "a" "ef0" (func (result i32))) ;; index 0 1398 (import "a" "ef1" (func (result i32))) 1399 (import "a" "ef2" (func (result i32))) 1400 (import "a" "ef3" (func (result i32))) 1401 (import "a" "ef4" (func (result i32))) ;; index 4 1402 (table $t0 30 30 funcref) 1403 (table $t1 30 30 funcref) 1404 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1405 (elem funcref 1406 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1407 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1408 (elem funcref 1409 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1410 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1411 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1412 (func (result i32) (i32.const 5)) ;; index 5 1413 (func (result i32) (i32.const 6)) 1414 (func (result i32) (i32.const 7)) 1415 (func (result i32) (i32.const 8)) 1416 (func (result i32) (i32.const 9)) ;; index 9 1417 (func (export "test") 1418 (table.copy $t1 $t1 (i32.const 10) (i32.const 12) (i32.const 7))) 1419 (func (export "check_t0") (param i32) (result i32) 1420 (call_indirect $t1 (type 0) (local.get 0))) 1421 (func (export "check_t1") (param i32) (result i32) 1422 (call_indirect $t0 (type 0) (local.get 0))) 1423 ) 1424 1425 (invoke "test") 1426 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1427 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1428 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1429 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1430 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1431 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1432 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1433 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1434 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1435 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1436 (assert_return (invoke "check_t0" (i32.const 10)) (i32.const 7)) 1437 (assert_return (invoke "check_t0" (i32.const 11)) (i32.const 5)) 1438 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 2)) 1439 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 3)) 1440 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 6)) 1441 (assert_trap (invoke "check_t0" (i32.const 15)) "uninitialized element") 1442 (assert_trap (invoke "check_t0" (i32.const 16)) "uninitialized element") 1443 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 1444 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 1445 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1446 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1447 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1448 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1449 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1450 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1451 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 1452 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 1453 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 1454 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1455 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1456 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1457 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1458 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1459 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1460 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1461 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1462 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1463 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1464 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1465 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1466 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1467 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1468 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1469 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1470 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1471 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1472 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1473 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1474 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1475 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1476 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1477 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1478 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1479 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1480 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1481 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1482 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1483 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1484 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1485 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1486 1487 (module 1488 (type (func (result i32))) ;; type #0 1489 (import "a" "ef0" (func (result i32))) ;; index 0 1490 (import "a" "ef1" (func (result i32))) 1491 (import "a" "ef2" (func (result i32))) 1492 (import "a" "ef3" (func (result i32))) 1493 (import "a" "ef4" (func (result i32))) ;; index 4 1494 (table $t0 30 30 funcref) 1495 (table $t1 30 30 funcref) 1496 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1497 (elem funcref 1498 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1499 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1500 (elem funcref 1501 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1502 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1503 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1504 (func (result i32) (i32.const 5)) ;; index 5 1505 (func (result i32) (i32.const 6)) 1506 (func (result i32) (i32.const 7)) 1507 (func (result i32) (i32.const 8)) 1508 (func (result i32) (i32.const 9)) ;; index 9 1509 (func (export "test") 1510 (table.copy $t1 $t1 (i32.const 12) (i32.const 10) (i32.const 7))) 1511 (func (export "check_t0") (param i32) (result i32) 1512 (call_indirect $t1 (type 0) (local.get 0))) 1513 (func (export "check_t1") (param i32) (result i32) 1514 (call_indirect $t0 (type 0) (local.get 0))) 1515 ) 1516 1517 (invoke "test") 1518 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1519 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1520 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1521 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1522 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1523 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1524 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1525 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1526 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1527 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1528 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 1529 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 1530 (assert_trap (invoke "check_t0" (i32.const 12)) "uninitialized element") 1531 (assert_trap (invoke "check_t0" (i32.const 13)) "uninitialized element") 1532 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 7)) 1533 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 5)) 1534 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 2)) 1535 (assert_return (invoke "check_t0" (i32.const 17)) (i32.const 3)) 1536 (assert_return (invoke "check_t0" (i32.const 18)) (i32.const 6)) 1537 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1538 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1539 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1540 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1541 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1542 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1543 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 1544 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 1545 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 1546 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1547 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1548 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1549 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1550 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1551 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1552 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1553 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1554 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1555 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1556 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1557 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1558 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1559 (assert_return (invoke "check_t1" (i32.const 11)) (i32.const 6)) 1560 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1561 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 2)) 1562 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 5)) 1563 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 7)) 1564 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1565 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1566 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1567 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1568 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1569 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1570 (assert_trap (invoke "check_t1" (i32.const 22)) "uninitialized element") 1571 (assert_trap (invoke "check_t1" (i32.const 23)) "uninitialized element") 1572 (assert_trap (invoke "check_t1" (i32.const 24)) "uninitialized element") 1573 (assert_trap (invoke "check_t1" (i32.const 25)) "uninitialized element") 1574 (assert_trap (invoke "check_t1" (i32.const 26)) "uninitialized element") 1575 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1576 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1577 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1578 1579 (module 1580 (type (func (result i32))) ;; type #0 1581 (import "a" "ef0" (func (result i32))) ;; index 0 1582 (import "a" "ef1" (func (result i32))) 1583 (import "a" "ef2" (func (result i32))) 1584 (import "a" "ef3" (func (result i32))) 1585 (import "a" "ef4" (func (result i32))) ;; index 4 1586 (table $t0 30 30 funcref) 1587 (table $t1 30 30 funcref) 1588 (elem (table $t1) (i32.const 2) func 3 1 4 1) 1589 (elem funcref 1590 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1591 (elem (table $t1) (i32.const 12) func 7 5 2 3 6) 1592 (elem funcref 1593 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1594 (elem (table $t0) (i32.const 3) func 1 3 1 4) 1595 (elem (table $t0) (i32.const 11) func 6 3 2 5 7) 1596 (func (result i32) (i32.const 5)) ;; index 5 1597 (func (result i32) (i32.const 6)) 1598 (func (result i32) (i32.const 7)) 1599 (func (result i32) (i32.const 8)) 1600 (func (result i32) (i32.const 9)) ;; index 9 1601 (func (export "test") 1602 (table.copy $t0 $t1 (i32.const 10) (i32.const 0) (i32.const 20))) 1603 (func (export "check_t0") (param i32) (result i32) 1604 (call_indirect $t1 (type 0) (local.get 0))) 1605 (func (export "check_t1") (param i32) (result i32) 1606 (call_indirect $t0 (type 0) (local.get 0))) 1607 ) 1608 1609 (invoke "test") 1610 (assert_trap (invoke "check_t0" (i32.const 0)) "uninitialized element") 1611 (assert_trap (invoke "check_t0" (i32.const 1)) "uninitialized element") 1612 (assert_return (invoke "check_t0" (i32.const 2)) (i32.const 3)) 1613 (assert_return (invoke "check_t0" (i32.const 3)) (i32.const 1)) 1614 (assert_return (invoke "check_t0" (i32.const 4)) (i32.const 4)) 1615 (assert_return (invoke "check_t0" (i32.const 5)) (i32.const 1)) 1616 (assert_trap (invoke "check_t0" (i32.const 6)) "uninitialized element") 1617 (assert_trap (invoke "check_t0" (i32.const 7)) "uninitialized element") 1618 (assert_trap (invoke "check_t0" (i32.const 8)) "uninitialized element") 1619 (assert_trap (invoke "check_t0" (i32.const 9)) "uninitialized element") 1620 (assert_trap (invoke "check_t0" (i32.const 10)) "uninitialized element") 1621 (assert_trap (invoke "check_t0" (i32.const 11)) "uninitialized element") 1622 (assert_return (invoke "check_t0" (i32.const 12)) (i32.const 7)) 1623 (assert_return (invoke "check_t0" (i32.const 13)) (i32.const 5)) 1624 (assert_return (invoke "check_t0" (i32.const 14)) (i32.const 2)) 1625 (assert_return (invoke "check_t0" (i32.const 15)) (i32.const 3)) 1626 (assert_return (invoke "check_t0" (i32.const 16)) (i32.const 6)) 1627 (assert_trap (invoke "check_t0" (i32.const 17)) "uninitialized element") 1628 (assert_trap (invoke "check_t0" (i32.const 18)) "uninitialized element") 1629 (assert_trap (invoke "check_t0" (i32.const 19)) "uninitialized element") 1630 (assert_trap (invoke "check_t0" (i32.const 20)) "uninitialized element") 1631 (assert_trap (invoke "check_t0" (i32.const 21)) "uninitialized element") 1632 (assert_trap (invoke "check_t0" (i32.const 22)) "uninitialized element") 1633 (assert_trap (invoke "check_t0" (i32.const 23)) "uninitialized element") 1634 (assert_trap (invoke "check_t0" (i32.const 24)) "uninitialized element") 1635 (assert_trap (invoke "check_t0" (i32.const 25)) "uninitialized element") 1636 (assert_trap (invoke "check_t0" (i32.const 26)) "uninitialized element") 1637 (assert_trap (invoke "check_t0" (i32.const 27)) "uninitialized element") 1638 (assert_trap (invoke "check_t0" (i32.const 28)) "uninitialized element") 1639 (assert_trap (invoke "check_t0" (i32.const 29)) "uninitialized element") 1640 (assert_trap (invoke "check_t1" (i32.const 0)) "uninitialized element") 1641 (assert_trap (invoke "check_t1" (i32.const 1)) "uninitialized element") 1642 (assert_trap (invoke "check_t1" (i32.const 2)) "uninitialized element") 1643 (assert_return (invoke "check_t1" (i32.const 3)) (i32.const 1)) 1644 (assert_return (invoke "check_t1" (i32.const 4)) (i32.const 3)) 1645 (assert_return (invoke "check_t1" (i32.const 5)) (i32.const 1)) 1646 (assert_return (invoke "check_t1" (i32.const 6)) (i32.const 4)) 1647 (assert_trap (invoke "check_t1" (i32.const 7)) "uninitialized element") 1648 (assert_trap (invoke "check_t1" (i32.const 8)) "uninitialized element") 1649 (assert_trap (invoke "check_t1" (i32.const 9)) "uninitialized element") 1650 (assert_trap (invoke "check_t1" (i32.const 10)) "uninitialized element") 1651 (assert_trap (invoke "check_t1" (i32.const 11)) "uninitialized element") 1652 (assert_return (invoke "check_t1" (i32.const 12)) (i32.const 3)) 1653 (assert_return (invoke "check_t1" (i32.const 13)) (i32.const 1)) 1654 (assert_return (invoke "check_t1" (i32.const 14)) (i32.const 4)) 1655 (assert_return (invoke "check_t1" (i32.const 15)) (i32.const 1)) 1656 (assert_trap (invoke "check_t1" (i32.const 16)) "uninitialized element") 1657 (assert_trap (invoke "check_t1" (i32.const 17)) "uninitialized element") 1658 (assert_trap (invoke "check_t1" (i32.const 18)) "uninitialized element") 1659 (assert_trap (invoke "check_t1" (i32.const 19)) "uninitialized element") 1660 (assert_trap (invoke "check_t1" (i32.const 20)) "uninitialized element") 1661 (assert_trap (invoke "check_t1" (i32.const 21)) "uninitialized element") 1662 (assert_return (invoke "check_t1" (i32.const 22)) (i32.const 7)) 1663 (assert_return (invoke "check_t1" (i32.const 23)) (i32.const 5)) 1664 (assert_return (invoke "check_t1" (i32.const 24)) (i32.const 2)) 1665 (assert_return (invoke "check_t1" (i32.const 25)) (i32.const 3)) 1666 (assert_return (invoke "check_t1" (i32.const 26)) (i32.const 6)) 1667 (assert_trap (invoke "check_t1" (i32.const 27)) "uninitialized element") 1668 (assert_trap (invoke "check_t1" (i32.const 28)) "uninitialized element") 1669 (assert_trap (invoke "check_t1" (i32.const 29)) "uninitialized element") 1670 1671 (module 1672 (table $t0 30 30 funcref) 1673 (table $t1 30 30 funcref) 1674 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1675 (elem funcref 1676 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1677 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1678 (elem funcref 1679 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1680 (func (result i32) (i32.const 0)) 1681 (func (result i32) (i32.const 1)) 1682 (func (result i32) (i32.const 2)) 1683 (func (result i32) (i32.const 3)) 1684 (func (result i32) (i32.const 4)) 1685 (func (result i32) (i32.const 5)) 1686 (func (result i32) (i32.const 6)) 1687 (func (result i32) (i32.const 7)) 1688 (func (result i32) (i32.const 8)) 1689 (func (result i32) (i32.const 9)) 1690 (func (export "test") 1691 (table.copy $t0 $t0 (i32.const 28) (i32.const 1) (i32.const 3)) 1692 )) 1693 1694 (assert_trap (invoke "test") "out of bounds table access") 1695 1696 (module 1697 (table $t0 30 30 funcref) 1698 (table $t1 30 30 funcref) 1699 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1700 (elem funcref 1701 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1702 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1703 (elem funcref 1704 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1705 (func (result i32) (i32.const 0)) 1706 (func (result i32) (i32.const 1)) 1707 (func (result i32) (i32.const 2)) 1708 (func (result i32) (i32.const 3)) 1709 (func (result i32) (i32.const 4)) 1710 (func (result i32) (i32.const 5)) 1711 (func (result i32) (i32.const 6)) 1712 (func (result i32) (i32.const 7)) 1713 (func (result i32) (i32.const 8)) 1714 (func (result i32) (i32.const 9)) 1715 (func (export "test") 1716 (table.copy $t0 $t0 (i32.const 0xFFFFFFFE) (i32.const 1) (i32.const 2)) 1717 )) 1718 1719 (assert_trap (invoke "test") "out of bounds table access") 1720 1721 (module 1722 (table $t0 30 30 funcref) 1723 (table $t1 30 30 funcref) 1724 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1725 (elem funcref 1726 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1727 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1728 (elem funcref 1729 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1730 (func (result i32) (i32.const 0)) 1731 (func (result i32) (i32.const 1)) 1732 (func (result i32) (i32.const 2)) 1733 (func (result i32) (i32.const 3)) 1734 (func (result i32) (i32.const 4)) 1735 (func (result i32) (i32.const 5)) 1736 (func (result i32) (i32.const 6)) 1737 (func (result i32) (i32.const 7)) 1738 (func (result i32) (i32.const 8)) 1739 (func (result i32) (i32.const 9)) 1740 (func (export "test") 1741 (table.copy $t0 $t0 (i32.const 15) (i32.const 25) (i32.const 6)) 1742 )) 1743 1744 (assert_trap (invoke "test") "out of bounds table access") 1745 1746 (module 1747 (table $t0 30 30 funcref) 1748 (table $t1 30 30 funcref) 1749 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1750 (elem funcref 1751 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1752 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1753 (elem funcref 1754 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1755 (func (result i32) (i32.const 0)) 1756 (func (result i32) (i32.const 1)) 1757 (func (result i32) (i32.const 2)) 1758 (func (result i32) (i32.const 3)) 1759 (func (result i32) (i32.const 4)) 1760 (func (result i32) (i32.const 5)) 1761 (func (result i32) (i32.const 6)) 1762 (func (result i32) (i32.const 7)) 1763 (func (result i32) (i32.const 8)) 1764 (func (result i32) (i32.const 9)) 1765 (func (export "test") 1766 (table.copy $t0 $t0 (i32.const 15) (i32.const 0xFFFFFFFE) (i32.const 2)) 1767 )) 1768 1769 (assert_trap (invoke "test") "out of bounds table access") 1770 1771 (module 1772 (table $t0 30 30 funcref) 1773 (table $t1 30 30 funcref) 1774 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1775 (elem funcref 1776 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1777 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1778 (elem funcref 1779 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1780 (func (result i32) (i32.const 0)) 1781 (func (result i32) (i32.const 1)) 1782 (func (result i32) (i32.const 2)) 1783 (func (result i32) (i32.const 3)) 1784 (func (result i32) (i32.const 4)) 1785 (func (result i32) (i32.const 5)) 1786 (func (result i32) (i32.const 6)) 1787 (func (result i32) (i32.const 7)) 1788 (func (result i32) (i32.const 8)) 1789 (func (result i32) (i32.const 9)) 1790 (func (export "test") 1791 (table.copy $t0 $t0 (i32.const 15) (i32.const 25) (i32.const 0)) 1792 )) 1793 1794 (invoke "test") 1795 1796 (module 1797 (table $t0 30 30 funcref) 1798 (table $t1 30 30 funcref) 1799 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1800 (elem funcref 1801 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1802 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1803 (elem funcref 1804 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1805 (func (result i32) (i32.const 0)) 1806 (func (result i32) (i32.const 1)) 1807 (func (result i32) (i32.const 2)) 1808 (func (result i32) (i32.const 3)) 1809 (func (result i32) (i32.const 4)) 1810 (func (result i32) (i32.const 5)) 1811 (func (result i32) (i32.const 6)) 1812 (func (result i32) (i32.const 7)) 1813 (func (result i32) (i32.const 8)) 1814 (func (result i32) (i32.const 9)) 1815 (func (export "test") 1816 (table.copy $t0 $t0 (i32.const 30) (i32.const 15) (i32.const 0)) 1817 )) 1818 1819 (invoke "test") 1820 1821 (module 1822 (table $t0 30 30 funcref) 1823 (table $t1 30 30 funcref) 1824 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1825 (elem funcref 1826 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1827 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1828 (elem funcref 1829 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1830 (func (result i32) (i32.const 0)) 1831 (func (result i32) (i32.const 1)) 1832 (func (result i32) (i32.const 2)) 1833 (func (result i32) (i32.const 3)) 1834 (func (result i32) (i32.const 4)) 1835 (func (result i32) (i32.const 5)) 1836 (func (result i32) (i32.const 6)) 1837 (func (result i32) (i32.const 7)) 1838 (func (result i32) (i32.const 8)) 1839 (func (result i32) (i32.const 9)) 1840 (func (export "test") 1841 (table.copy $t0 $t0 (i32.const 31) (i32.const 15) (i32.const 0)) 1842 )) 1843 1844 (assert_trap (invoke "test") "out of bounds table access") 1845 1846 (module 1847 (table $t0 30 30 funcref) 1848 (table $t1 30 30 funcref) 1849 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1850 (elem funcref 1851 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1852 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1853 (elem funcref 1854 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1855 (func (result i32) (i32.const 0)) 1856 (func (result i32) (i32.const 1)) 1857 (func (result i32) (i32.const 2)) 1858 (func (result i32) (i32.const 3)) 1859 (func (result i32) (i32.const 4)) 1860 (func (result i32) (i32.const 5)) 1861 (func (result i32) (i32.const 6)) 1862 (func (result i32) (i32.const 7)) 1863 (func (result i32) (i32.const 8)) 1864 (func (result i32) (i32.const 9)) 1865 (func (export "test") 1866 (table.copy $t0 $t0 (i32.const 15) (i32.const 30) (i32.const 0)) 1867 )) 1868 1869 (invoke "test") 1870 1871 (module 1872 (table $t0 30 30 funcref) 1873 (table $t1 30 30 funcref) 1874 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1875 (elem funcref 1876 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1877 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1878 (elem funcref 1879 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1880 (func (result i32) (i32.const 0)) 1881 (func (result i32) (i32.const 1)) 1882 (func (result i32) (i32.const 2)) 1883 (func (result i32) (i32.const 3)) 1884 (func (result i32) (i32.const 4)) 1885 (func (result i32) (i32.const 5)) 1886 (func (result i32) (i32.const 6)) 1887 (func (result i32) (i32.const 7)) 1888 (func (result i32) (i32.const 8)) 1889 (func (result i32) (i32.const 9)) 1890 (func (export "test") 1891 (table.copy $t0 $t0 (i32.const 15) (i32.const 31) (i32.const 0)) 1892 )) 1893 1894 (assert_trap (invoke "test") "out of bounds table access") 1895 1896 (module 1897 (table $t0 30 30 funcref) 1898 (table $t1 30 30 funcref) 1899 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1900 (elem funcref 1901 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1902 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1903 (elem funcref 1904 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1905 (func (result i32) (i32.const 0)) 1906 (func (result i32) (i32.const 1)) 1907 (func (result i32) (i32.const 2)) 1908 (func (result i32) (i32.const 3)) 1909 (func (result i32) (i32.const 4)) 1910 (func (result i32) (i32.const 5)) 1911 (func (result i32) (i32.const 6)) 1912 (func (result i32) (i32.const 7)) 1913 (func (result i32) (i32.const 8)) 1914 (func (result i32) (i32.const 9)) 1915 (func (export "test") 1916 (table.copy $t0 $t0 (i32.const 30) (i32.const 30) (i32.const 0)) 1917 )) 1918 1919 (invoke "test") 1920 1921 (module 1922 (table $t0 30 30 funcref) 1923 (table $t1 30 30 funcref) 1924 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1925 (elem funcref 1926 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1927 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1928 (elem funcref 1929 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1930 (func (result i32) (i32.const 0)) 1931 (func (result i32) (i32.const 1)) 1932 (func (result i32) (i32.const 2)) 1933 (func (result i32) (i32.const 3)) 1934 (func (result i32) (i32.const 4)) 1935 (func (result i32) (i32.const 5)) 1936 (func (result i32) (i32.const 6)) 1937 (func (result i32) (i32.const 7)) 1938 (func (result i32) (i32.const 8)) 1939 (func (result i32) (i32.const 9)) 1940 (func (export "test") 1941 (table.copy $t0 $t0 (i32.const 31) (i32.const 31) (i32.const 0)) 1942 )) 1943 1944 (assert_trap (invoke "test") "out of bounds table access") 1945 1946 (module 1947 (table $t0 30 30 funcref) 1948 (table $t1 30 30 funcref) 1949 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1950 (elem funcref 1951 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1952 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1953 (elem funcref 1954 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1955 (func (result i32) (i32.const 0)) 1956 (func (result i32) (i32.const 1)) 1957 (func (result i32) (i32.const 2)) 1958 (func (result i32) (i32.const 3)) 1959 (func (result i32) (i32.const 4)) 1960 (func (result i32) (i32.const 5)) 1961 (func (result i32) (i32.const 6)) 1962 (func (result i32) (i32.const 7)) 1963 (func (result i32) (i32.const 8)) 1964 (func (result i32) (i32.const 9)) 1965 (func (export "test") 1966 (table.copy $t1 $t0 (i32.const 28) (i32.const 1) (i32.const 3)) 1967 )) 1968 1969 (assert_trap (invoke "test") "out of bounds table access") 1970 1971 (module 1972 (table $t0 30 30 funcref) 1973 (table $t1 30 30 funcref) 1974 (elem (table $t0) (i32.const 2) func 3 1 4 1) 1975 (elem funcref 1976 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 1977 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 1978 (elem funcref 1979 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 1980 (func (result i32) (i32.const 0)) 1981 (func (result i32) (i32.const 1)) 1982 (func (result i32) (i32.const 2)) 1983 (func (result i32) (i32.const 3)) 1984 (func (result i32) (i32.const 4)) 1985 (func (result i32) (i32.const 5)) 1986 (func (result i32) (i32.const 6)) 1987 (func (result i32) (i32.const 7)) 1988 (func (result i32) (i32.const 8)) 1989 (func (result i32) (i32.const 9)) 1990 (func (export "test") 1991 (table.copy $t1 $t0 (i32.const 0xFFFFFFFE) (i32.const 1) (i32.const 2)) 1992 )) 1993 1994 (assert_trap (invoke "test") "out of bounds table access") 1995 1996 (module 1997 (table $t0 30 30 funcref) 1998 (table $t1 30 30 funcref) 1999 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2000 (elem funcref 2001 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2002 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2003 (elem funcref 2004 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2005 (func (result i32) (i32.const 0)) 2006 (func (result i32) (i32.const 1)) 2007 (func (result i32) (i32.const 2)) 2008 (func (result i32) (i32.const 3)) 2009 (func (result i32) (i32.const 4)) 2010 (func (result i32) (i32.const 5)) 2011 (func (result i32) (i32.const 6)) 2012 (func (result i32) (i32.const 7)) 2013 (func (result i32) (i32.const 8)) 2014 (func (result i32) (i32.const 9)) 2015 (func (export "test") 2016 (table.copy $t1 $t0 (i32.const 15) (i32.const 25) (i32.const 6)) 2017 )) 2018 2019 (assert_trap (invoke "test") "out of bounds table access") 2020 2021 (module 2022 (table $t0 30 30 funcref) 2023 (table $t1 30 30 funcref) 2024 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2025 (elem funcref 2026 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2027 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2028 (elem funcref 2029 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2030 (func (result i32) (i32.const 0)) 2031 (func (result i32) (i32.const 1)) 2032 (func (result i32) (i32.const 2)) 2033 (func (result i32) (i32.const 3)) 2034 (func (result i32) (i32.const 4)) 2035 (func (result i32) (i32.const 5)) 2036 (func (result i32) (i32.const 6)) 2037 (func (result i32) (i32.const 7)) 2038 (func (result i32) (i32.const 8)) 2039 (func (result i32) (i32.const 9)) 2040 (func (export "test") 2041 (table.copy $t1 $t0 (i32.const 15) (i32.const 0xFFFFFFFE) (i32.const 2)) 2042 )) 2043 2044 (assert_trap (invoke "test") "out of bounds table access") 2045 2046 (module 2047 (table $t0 30 30 funcref) 2048 (table $t1 30 30 funcref) 2049 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2050 (elem funcref 2051 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2052 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2053 (elem funcref 2054 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2055 (func (result i32) (i32.const 0)) 2056 (func (result i32) (i32.const 1)) 2057 (func (result i32) (i32.const 2)) 2058 (func (result i32) (i32.const 3)) 2059 (func (result i32) (i32.const 4)) 2060 (func (result i32) (i32.const 5)) 2061 (func (result i32) (i32.const 6)) 2062 (func (result i32) (i32.const 7)) 2063 (func (result i32) (i32.const 8)) 2064 (func (result i32) (i32.const 9)) 2065 (func (export "test") 2066 (table.copy $t1 $t0 (i32.const 15) (i32.const 25) (i32.const 0)) 2067 )) 2068 2069 (invoke "test") 2070 2071 (module 2072 (table $t0 30 30 funcref) 2073 (table $t1 30 30 funcref) 2074 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2075 (elem funcref 2076 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2077 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2078 (elem funcref 2079 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2080 (func (result i32) (i32.const 0)) 2081 (func (result i32) (i32.const 1)) 2082 (func (result i32) (i32.const 2)) 2083 (func (result i32) (i32.const 3)) 2084 (func (result i32) (i32.const 4)) 2085 (func (result i32) (i32.const 5)) 2086 (func (result i32) (i32.const 6)) 2087 (func (result i32) (i32.const 7)) 2088 (func (result i32) (i32.const 8)) 2089 (func (result i32) (i32.const 9)) 2090 (func (export "test") 2091 (table.copy $t1 $t0 (i32.const 30) (i32.const 15) (i32.const 0)) 2092 )) 2093 2094 (invoke "test") 2095 2096 (module 2097 (table $t0 30 30 funcref) 2098 (table $t1 30 30 funcref) 2099 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2100 (elem funcref 2101 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2102 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2103 (elem funcref 2104 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2105 (func (result i32) (i32.const 0)) 2106 (func (result i32) (i32.const 1)) 2107 (func (result i32) (i32.const 2)) 2108 (func (result i32) (i32.const 3)) 2109 (func (result i32) (i32.const 4)) 2110 (func (result i32) (i32.const 5)) 2111 (func (result i32) (i32.const 6)) 2112 (func (result i32) (i32.const 7)) 2113 (func (result i32) (i32.const 8)) 2114 (func (result i32) (i32.const 9)) 2115 (func (export "test") 2116 (table.copy $t1 $t0 (i32.const 31) (i32.const 15) (i32.const 0)) 2117 )) 2118 2119 (assert_trap (invoke "test") "out of bounds table access") 2120 2121 (module 2122 (table $t0 30 30 funcref) 2123 (table $t1 30 30 funcref) 2124 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2125 (elem funcref 2126 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2127 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2128 (elem funcref 2129 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2130 (func (result i32) (i32.const 0)) 2131 (func (result i32) (i32.const 1)) 2132 (func (result i32) (i32.const 2)) 2133 (func (result i32) (i32.const 3)) 2134 (func (result i32) (i32.const 4)) 2135 (func (result i32) (i32.const 5)) 2136 (func (result i32) (i32.const 6)) 2137 (func (result i32) (i32.const 7)) 2138 (func (result i32) (i32.const 8)) 2139 (func (result i32) (i32.const 9)) 2140 (func (export "test") 2141 (table.copy $t1 $t0 (i32.const 15) (i32.const 30) (i32.const 0)) 2142 )) 2143 2144 (invoke "test") 2145 2146 (module 2147 (table $t0 30 30 funcref) 2148 (table $t1 30 30 funcref) 2149 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2150 (elem funcref 2151 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2152 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2153 (elem funcref 2154 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2155 (func (result i32) (i32.const 0)) 2156 (func (result i32) (i32.const 1)) 2157 (func (result i32) (i32.const 2)) 2158 (func (result i32) (i32.const 3)) 2159 (func (result i32) (i32.const 4)) 2160 (func (result i32) (i32.const 5)) 2161 (func (result i32) (i32.const 6)) 2162 (func (result i32) (i32.const 7)) 2163 (func (result i32) (i32.const 8)) 2164 (func (result i32) (i32.const 9)) 2165 (func (export "test") 2166 (table.copy $t1 $t0 (i32.const 15) (i32.const 31) (i32.const 0)) 2167 )) 2168 2169 (assert_trap (invoke "test") "out of bounds table access") 2170 2171 (module 2172 (table $t0 30 30 funcref) 2173 (table $t1 30 30 funcref) 2174 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2175 (elem funcref 2176 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2177 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2178 (elem funcref 2179 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2180 (func (result i32) (i32.const 0)) 2181 (func (result i32) (i32.const 1)) 2182 (func (result i32) (i32.const 2)) 2183 (func (result i32) (i32.const 3)) 2184 (func (result i32) (i32.const 4)) 2185 (func (result i32) (i32.const 5)) 2186 (func (result i32) (i32.const 6)) 2187 (func (result i32) (i32.const 7)) 2188 (func (result i32) (i32.const 8)) 2189 (func (result i32) (i32.const 9)) 2190 (func (export "test") 2191 (table.copy $t1 $t0 (i32.const 30) (i32.const 30) (i32.const 0)) 2192 )) 2193 2194 (invoke "test") 2195 2196 (module 2197 (table $t0 30 30 funcref) 2198 (table $t1 30 30 funcref) 2199 (elem (table $t0) (i32.const 2) func 3 1 4 1) 2200 (elem funcref 2201 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8)) 2202 (elem (table $t0) (i32.const 12) func 7 5 2 3 6) 2203 (elem funcref 2204 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6)) 2205 (func (result i32) (i32.const 0)) 2206 (func (result i32) (i32.const 1)) 2207 (func (result i32) (i32.const 2)) 2208 (func (result i32) (i32.const 3)) 2209 (func (result i32) (i32.const 4)) 2210 (func (result i32) (i32.const 5)) 2211 (func (result i32) (i32.const 6)) 2212 (func (result i32) (i32.const 7)) 2213 (func (result i32) (i32.const 8)) 2214 (func (result i32) (i32.const 9)) 2215 (func (export "test") 2216 (table.copy $t1 $t0 (i32.const 31) (i32.const 31) (i32.const 0)) 2217 )) 2218 2219 (assert_trap (invoke "test") "out of bounds table access") 2220 2221 (module 2222 (type (func (result i32))) 2223 (table 32 64 funcref) 2224 (elem (i32.const 0) 2225 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7) 2226 (func $f0 (export "f0") (result i32) (i32.const 0)) 2227 (func $f1 (export "f1") (result i32) (i32.const 1)) 2228 (func $f2 (export "f2") (result i32) (i32.const 2)) 2229 (func $f3 (export "f3") (result i32) (i32.const 3)) 2230 (func $f4 (export "f4") (result i32) (i32.const 4)) 2231 (func $f5 (export "f5") (result i32) (i32.const 5)) 2232 (func $f6 (export "f6") (result i32) (i32.const 6)) 2233 (func $f7 (export "f7") (result i32) (i32.const 7)) 2234 (func $f8 (export "f8") (result i32) (i32.const 8)) 2235 (func $f9 (export "f9") (result i32) (i32.const 9)) 2236 (func $f10 (export "f10") (result i32) (i32.const 10)) 2237 (func $f11 (export "f11") (result i32) (i32.const 11)) 2238 (func $f12 (export "f12") (result i32) (i32.const 12)) 2239 (func $f13 (export "f13") (result i32) (i32.const 13)) 2240 (func $f14 (export "f14") (result i32) (i32.const 14)) 2241 (func $f15 (export "f15") (result i32) (i32.const 15)) 2242 (func (export "test") (param $n i32) (result i32) 2243 (call_indirect (type 0) (local.get $n))) 2244 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2245 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2246 2247 (assert_trap (invoke "run" (i32.const 24) (i32.const 0) (i32.const 16)) 2248 "out of bounds table access") 2249 (assert_return (invoke "test" (i32.const 0)) (i32.const 0)) 2250 (assert_return (invoke "test" (i32.const 1)) (i32.const 1)) 2251 (assert_return (invoke "test" (i32.const 2)) (i32.const 2)) 2252 (assert_return (invoke "test" (i32.const 3)) (i32.const 3)) 2253 (assert_return (invoke "test" (i32.const 4)) (i32.const 4)) 2254 (assert_return (invoke "test" (i32.const 5)) (i32.const 5)) 2255 (assert_return (invoke "test" (i32.const 6)) (i32.const 6)) 2256 (assert_return (invoke "test" (i32.const 7)) (i32.const 7)) 2257 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2258 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2259 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2260 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2261 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2262 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2263 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2264 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2265 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2266 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2267 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2268 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2269 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2270 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2271 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2272 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2273 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element") 2274 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element") 2275 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element") 2276 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element") 2277 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element") 2278 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element") 2279 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element") 2280 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element") 2281 2282 (module 2283 (type (func (result i32))) 2284 (table 32 64 funcref) 2285 (elem (i32.const 0) 2286 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8) 2287 (func $f0 (export "f0") (result i32) (i32.const 0)) 2288 (func $f1 (export "f1") (result i32) (i32.const 1)) 2289 (func $f2 (export "f2") (result i32) (i32.const 2)) 2290 (func $f3 (export "f3") (result i32) (i32.const 3)) 2291 (func $f4 (export "f4") (result i32) (i32.const 4)) 2292 (func $f5 (export "f5") (result i32) (i32.const 5)) 2293 (func $f6 (export "f6") (result i32) (i32.const 6)) 2294 (func $f7 (export "f7") (result i32) (i32.const 7)) 2295 (func $f8 (export "f8") (result i32) (i32.const 8)) 2296 (func $f9 (export "f9") (result i32) (i32.const 9)) 2297 (func $f10 (export "f10") (result i32) (i32.const 10)) 2298 (func $f11 (export "f11") (result i32) (i32.const 11)) 2299 (func $f12 (export "f12") (result i32) (i32.const 12)) 2300 (func $f13 (export "f13") (result i32) (i32.const 13)) 2301 (func $f14 (export "f14") (result i32) (i32.const 14)) 2302 (func $f15 (export "f15") (result i32) (i32.const 15)) 2303 (func (export "test") (param $n i32) (result i32) 2304 (call_indirect (type 0) (local.get $n))) 2305 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2306 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2307 2308 (assert_trap (invoke "run" (i32.const 23) (i32.const 0) (i32.const 15)) 2309 "out of bounds table access") 2310 (assert_return (invoke "test" (i32.const 0)) (i32.const 0)) 2311 (assert_return (invoke "test" (i32.const 1)) (i32.const 1)) 2312 (assert_return (invoke "test" (i32.const 2)) (i32.const 2)) 2313 (assert_return (invoke "test" (i32.const 3)) (i32.const 3)) 2314 (assert_return (invoke "test" (i32.const 4)) (i32.const 4)) 2315 (assert_return (invoke "test" (i32.const 5)) (i32.const 5)) 2316 (assert_return (invoke "test" (i32.const 6)) (i32.const 6)) 2317 (assert_return (invoke "test" (i32.const 7)) (i32.const 7)) 2318 (assert_return (invoke "test" (i32.const 8)) (i32.const 8)) 2319 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2320 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2321 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2322 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2323 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2324 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2325 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2326 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2327 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2328 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2329 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2330 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2331 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2332 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2333 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2334 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element") 2335 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element") 2336 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element") 2337 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element") 2338 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element") 2339 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element") 2340 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element") 2341 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element") 2342 2343 (module 2344 (type (func (result i32))) 2345 (table 32 64 funcref) 2346 (elem (i32.const 24) 2347 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7) 2348 (func $f0 (export "f0") (result i32) (i32.const 0)) 2349 (func $f1 (export "f1") (result i32) (i32.const 1)) 2350 (func $f2 (export "f2") (result i32) (i32.const 2)) 2351 (func $f3 (export "f3") (result i32) (i32.const 3)) 2352 (func $f4 (export "f4") (result i32) (i32.const 4)) 2353 (func $f5 (export "f5") (result i32) (i32.const 5)) 2354 (func $f6 (export "f6") (result i32) (i32.const 6)) 2355 (func $f7 (export "f7") (result i32) (i32.const 7)) 2356 (func $f8 (export "f8") (result i32) (i32.const 8)) 2357 (func $f9 (export "f9") (result i32) (i32.const 9)) 2358 (func $f10 (export "f10") (result i32) (i32.const 10)) 2359 (func $f11 (export "f11") (result i32) (i32.const 11)) 2360 (func $f12 (export "f12") (result i32) (i32.const 12)) 2361 (func $f13 (export "f13") (result i32) (i32.const 13)) 2362 (func $f14 (export "f14") (result i32) (i32.const 14)) 2363 (func $f15 (export "f15") (result i32) (i32.const 15)) 2364 (func (export "test") (param $n i32) (result i32) 2365 (call_indirect (type 0) (local.get $n))) 2366 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2367 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2368 2369 (assert_trap (invoke "run" (i32.const 0) (i32.const 24) (i32.const 16)) 2370 "out of bounds table access") 2371 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2372 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2373 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2374 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2375 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2376 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2377 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2378 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2379 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2380 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2381 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2382 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2383 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2384 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2385 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2386 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2387 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2388 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2389 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2390 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2391 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2392 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2393 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2394 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2395 (assert_return (invoke "test" (i32.const 24)) (i32.const 0)) 2396 (assert_return (invoke "test" (i32.const 25)) (i32.const 1)) 2397 (assert_return (invoke "test" (i32.const 26)) (i32.const 2)) 2398 (assert_return (invoke "test" (i32.const 27)) (i32.const 3)) 2399 (assert_return (invoke "test" (i32.const 28)) (i32.const 4)) 2400 (assert_return (invoke "test" (i32.const 29)) (i32.const 5)) 2401 (assert_return (invoke "test" (i32.const 30)) (i32.const 6)) 2402 (assert_return (invoke "test" (i32.const 31)) (i32.const 7)) 2403 2404 (module 2405 (type (func (result i32))) 2406 (table 32 64 funcref) 2407 (elem (i32.const 23) 2408 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8) 2409 (func $f0 (export "f0") (result i32) (i32.const 0)) 2410 (func $f1 (export "f1") (result i32) (i32.const 1)) 2411 (func $f2 (export "f2") (result i32) (i32.const 2)) 2412 (func $f3 (export "f3") (result i32) (i32.const 3)) 2413 (func $f4 (export "f4") (result i32) (i32.const 4)) 2414 (func $f5 (export "f5") (result i32) (i32.const 5)) 2415 (func $f6 (export "f6") (result i32) (i32.const 6)) 2416 (func $f7 (export "f7") (result i32) (i32.const 7)) 2417 (func $f8 (export "f8") (result i32) (i32.const 8)) 2418 (func $f9 (export "f9") (result i32) (i32.const 9)) 2419 (func $f10 (export "f10") (result i32) (i32.const 10)) 2420 (func $f11 (export "f11") (result i32) (i32.const 11)) 2421 (func $f12 (export "f12") (result i32) (i32.const 12)) 2422 (func $f13 (export "f13") (result i32) (i32.const 13)) 2423 (func $f14 (export "f14") (result i32) (i32.const 14)) 2424 (func $f15 (export "f15") (result i32) (i32.const 15)) 2425 (func (export "test") (param $n i32) (result i32) 2426 (call_indirect (type 0) (local.get $n))) 2427 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2428 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2429 2430 (assert_trap (invoke "run" (i32.const 0) (i32.const 23) (i32.const 15)) 2431 "out of bounds table access") 2432 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2433 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2434 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2435 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2436 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2437 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2438 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2439 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2440 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2441 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2442 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2443 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2444 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2445 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2446 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2447 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2448 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2449 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2450 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2451 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2452 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2453 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2454 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2455 (assert_return (invoke "test" (i32.const 23)) (i32.const 0)) 2456 (assert_return (invoke "test" (i32.const 24)) (i32.const 1)) 2457 (assert_return (invoke "test" (i32.const 25)) (i32.const 2)) 2458 (assert_return (invoke "test" (i32.const 26)) (i32.const 3)) 2459 (assert_return (invoke "test" (i32.const 27)) (i32.const 4)) 2460 (assert_return (invoke "test" (i32.const 28)) (i32.const 5)) 2461 (assert_return (invoke "test" (i32.const 29)) (i32.const 6)) 2462 (assert_return (invoke "test" (i32.const 30)) (i32.const 7)) 2463 (assert_return (invoke "test" (i32.const 31)) (i32.const 8)) 2464 2465 (module 2466 (type (func (result i32))) 2467 (table 32 64 funcref) 2468 (elem (i32.const 11) 2469 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7) 2470 (func $f0 (export "f0") (result i32) (i32.const 0)) 2471 (func $f1 (export "f1") (result i32) (i32.const 1)) 2472 (func $f2 (export "f2") (result i32) (i32.const 2)) 2473 (func $f3 (export "f3") (result i32) (i32.const 3)) 2474 (func $f4 (export "f4") (result i32) (i32.const 4)) 2475 (func $f5 (export "f5") (result i32) (i32.const 5)) 2476 (func $f6 (export "f6") (result i32) (i32.const 6)) 2477 (func $f7 (export "f7") (result i32) (i32.const 7)) 2478 (func $f8 (export "f8") (result i32) (i32.const 8)) 2479 (func $f9 (export "f9") (result i32) (i32.const 9)) 2480 (func $f10 (export "f10") (result i32) (i32.const 10)) 2481 (func $f11 (export "f11") (result i32) (i32.const 11)) 2482 (func $f12 (export "f12") (result i32) (i32.const 12)) 2483 (func $f13 (export "f13") (result i32) (i32.const 13)) 2484 (func $f14 (export "f14") (result i32) (i32.const 14)) 2485 (func $f15 (export "f15") (result i32) (i32.const 15)) 2486 (func (export "test") (param $n i32) (result i32) 2487 (call_indirect (type 0) (local.get $n))) 2488 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2489 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2490 2491 (assert_trap (invoke "run" (i32.const 24) (i32.const 11) (i32.const 16)) 2492 "out of bounds table access") 2493 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2494 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2495 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2496 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2497 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2498 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2499 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2500 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2501 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2502 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2503 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2504 (assert_return (invoke "test" (i32.const 11)) (i32.const 0)) 2505 (assert_return (invoke "test" (i32.const 12)) (i32.const 1)) 2506 (assert_return (invoke "test" (i32.const 13)) (i32.const 2)) 2507 (assert_return (invoke "test" (i32.const 14)) (i32.const 3)) 2508 (assert_return (invoke "test" (i32.const 15)) (i32.const 4)) 2509 (assert_return (invoke "test" (i32.const 16)) (i32.const 5)) 2510 (assert_return (invoke "test" (i32.const 17)) (i32.const 6)) 2511 (assert_return (invoke "test" (i32.const 18)) (i32.const 7)) 2512 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2513 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2514 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2515 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2516 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2517 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element") 2518 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element") 2519 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element") 2520 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element") 2521 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element") 2522 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element") 2523 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element") 2524 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element") 2525 2526 (module 2527 (type (func (result i32))) 2528 (table 32 64 funcref) 2529 (elem (i32.const 24) 2530 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7) 2531 (func $f0 (export "f0") (result i32) (i32.const 0)) 2532 (func $f1 (export "f1") (result i32) (i32.const 1)) 2533 (func $f2 (export "f2") (result i32) (i32.const 2)) 2534 (func $f3 (export "f3") (result i32) (i32.const 3)) 2535 (func $f4 (export "f4") (result i32) (i32.const 4)) 2536 (func $f5 (export "f5") (result i32) (i32.const 5)) 2537 (func $f6 (export "f6") (result i32) (i32.const 6)) 2538 (func $f7 (export "f7") (result i32) (i32.const 7)) 2539 (func $f8 (export "f8") (result i32) (i32.const 8)) 2540 (func $f9 (export "f9") (result i32) (i32.const 9)) 2541 (func $f10 (export "f10") (result i32) (i32.const 10)) 2542 (func $f11 (export "f11") (result i32) (i32.const 11)) 2543 (func $f12 (export "f12") (result i32) (i32.const 12)) 2544 (func $f13 (export "f13") (result i32) (i32.const 13)) 2545 (func $f14 (export "f14") (result i32) (i32.const 14)) 2546 (func $f15 (export "f15") (result i32) (i32.const 15)) 2547 (func (export "test") (param $n i32) (result i32) 2548 (call_indirect (type 0) (local.get $n))) 2549 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2550 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2551 2552 (assert_trap (invoke "run" (i32.const 11) (i32.const 24) (i32.const 16)) 2553 "out of bounds table access") 2554 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2555 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2556 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2557 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2558 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2559 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2560 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2561 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2562 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2563 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2564 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2565 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2566 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2567 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2568 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2569 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2570 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2571 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2572 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2573 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2574 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2575 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2576 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2577 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2578 (assert_return (invoke "test" (i32.const 24)) (i32.const 0)) 2579 (assert_return (invoke "test" (i32.const 25)) (i32.const 1)) 2580 (assert_return (invoke "test" (i32.const 26)) (i32.const 2)) 2581 (assert_return (invoke "test" (i32.const 27)) (i32.const 3)) 2582 (assert_return (invoke "test" (i32.const 28)) (i32.const 4)) 2583 (assert_return (invoke "test" (i32.const 29)) (i32.const 5)) 2584 (assert_return (invoke "test" (i32.const 30)) (i32.const 6)) 2585 (assert_return (invoke "test" (i32.const 31)) (i32.const 7)) 2586 2587 (module 2588 (type (func (result i32))) 2589 (table 32 64 funcref) 2590 (elem (i32.const 21) 2591 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7) 2592 (func $f0 (export "f0") (result i32) (i32.const 0)) 2593 (func $f1 (export "f1") (result i32) (i32.const 1)) 2594 (func $f2 (export "f2") (result i32) (i32.const 2)) 2595 (func $f3 (export "f3") (result i32) (i32.const 3)) 2596 (func $f4 (export "f4") (result i32) (i32.const 4)) 2597 (func $f5 (export "f5") (result i32) (i32.const 5)) 2598 (func $f6 (export "f6") (result i32) (i32.const 6)) 2599 (func $f7 (export "f7") (result i32) (i32.const 7)) 2600 (func $f8 (export "f8") (result i32) (i32.const 8)) 2601 (func $f9 (export "f9") (result i32) (i32.const 9)) 2602 (func $f10 (export "f10") (result i32) (i32.const 10)) 2603 (func $f11 (export "f11") (result i32) (i32.const 11)) 2604 (func $f12 (export "f12") (result i32) (i32.const 12)) 2605 (func $f13 (export "f13") (result i32) (i32.const 13)) 2606 (func $f14 (export "f14") (result i32) (i32.const 14)) 2607 (func $f15 (export "f15") (result i32) (i32.const 15)) 2608 (func (export "test") (param $n i32) (result i32) 2609 (call_indirect (type 0) (local.get $n))) 2610 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2611 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2612 2613 (assert_trap (invoke "run" (i32.const 24) (i32.const 21) (i32.const 16)) 2614 "out of bounds table access") 2615 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2616 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2617 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2618 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2619 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2620 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2621 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2622 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2623 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2624 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2625 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2626 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2627 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2628 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2629 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2630 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2631 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2632 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2633 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2634 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2635 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2636 (assert_return (invoke "test" (i32.const 21)) (i32.const 0)) 2637 (assert_return (invoke "test" (i32.const 22)) (i32.const 1)) 2638 (assert_return (invoke "test" (i32.const 23)) (i32.const 2)) 2639 (assert_return (invoke "test" (i32.const 24)) (i32.const 3)) 2640 (assert_return (invoke "test" (i32.const 25)) (i32.const 4)) 2641 (assert_return (invoke "test" (i32.const 26)) (i32.const 5)) 2642 (assert_return (invoke "test" (i32.const 27)) (i32.const 6)) 2643 (assert_return (invoke "test" (i32.const 28)) (i32.const 7)) 2644 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element") 2645 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element") 2646 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element") 2647 2648 (module 2649 (type (func (result i32))) 2650 (table 32 64 funcref) 2651 (elem (i32.const 24) 2652 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7) 2653 (func $f0 (export "f0") (result i32) (i32.const 0)) 2654 (func $f1 (export "f1") (result i32) (i32.const 1)) 2655 (func $f2 (export "f2") (result i32) (i32.const 2)) 2656 (func $f3 (export "f3") (result i32) (i32.const 3)) 2657 (func $f4 (export "f4") (result i32) (i32.const 4)) 2658 (func $f5 (export "f5") (result i32) (i32.const 5)) 2659 (func $f6 (export "f6") (result i32) (i32.const 6)) 2660 (func $f7 (export "f7") (result i32) (i32.const 7)) 2661 (func $f8 (export "f8") (result i32) (i32.const 8)) 2662 (func $f9 (export "f9") (result i32) (i32.const 9)) 2663 (func $f10 (export "f10") (result i32) (i32.const 10)) 2664 (func $f11 (export "f11") (result i32) (i32.const 11)) 2665 (func $f12 (export "f12") (result i32) (i32.const 12)) 2666 (func $f13 (export "f13") (result i32) (i32.const 13)) 2667 (func $f14 (export "f14") (result i32) (i32.const 14)) 2668 (func $f15 (export "f15") (result i32) (i32.const 15)) 2669 (func (export "test") (param $n i32) (result i32) 2670 (call_indirect (type 0) (local.get $n))) 2671 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2672 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2673 2674 (assert_trap (invoke "run" (i32.const 21) (i32.const 24) (i32.const 16)) 2675 "out of bounds table access") 2676 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2677 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2678 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2679 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2680 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2681 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2682 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2683 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2684 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2685 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2686 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2687 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2688 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2689 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2690 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2691 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2692 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2693 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2694 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2695 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2696 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2697 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2698 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2699 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2700 (assert_return (invoke "test" (i32.const 24)) (i32.const 0)) 2701 (assert_return (invoke "test" (i32.const 25)) (i32.const 1)) 2702 (assert_return (invoke "test" (i32.const 26)) (i32.const 2)) 2703 (assert_return (invoke "test" (i32.const 27)) (i32.const 3)) 2704 (assert_return (invoke "test" (i32.const 28)) (i32.const 4)) 2705 (assert_return (invoke "test" (i32.const 29)) (i32.const 5)) 2706 (assert_return (invoke "test" (i32.const 30)) (i32.const 6)) 2707 (assert_return (invoke "test" (i32.const 31)) (i32.const 7)) 2708 2709 (module 2710 (type (func (result i32))) 2711 (table 32 64 funcref) 2712 (elem (i32.const 21) 2713 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8 $f9 $f10) 2714 (func $f0 (export "f0") (result i32) (i32.const 0)) 2715 (func $f1 (export "f1") (result i32) (i32.const 1)) 2716 (func $f2 (export "f2") (result i32) (i32.const 2)) 2717 (func $f3 (export "f3") (result i32) (i32.const 3)) 2718 (func $f4 (export "f4") (result i32) (i32.const 4)) 2719 (func $f5 (export "f5") (result i32) (i32.const 5)) 2720 (func $f6 (export "f6") (result i32) (i32.const 6)) 2721 (func $f7 (export "f7") (result i32) (i32.const 7)) 2722 (func $f8 (export "f8") (result i32) (i32.const 8)) 2723 (func $f9 (export "f9") (result i32) (i32.const 9)) 2724 (func $f10 (export "f10") (result i32) (i32.const 10)) 2725 (func $f11 (export "f11") (result i32) (i32.const 11)) 2726 (func $f12 (export "f12") (result i32) (i32.const 12)) 2727 (func $f13 (export "f13") (result i32) (i32.const 13)) 2728 (func $f14 (export "f14") (result i32) (i32.const 14)) 2729 (func $f15 (export "f15") (result i32) (i32.const 15)) 2730 (func (export "test") (param $n i32) (result i32) 2731 (call_indirect (type 0) (local.get $n))) 2732 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2733 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2734 2735 (assert_trap (invoke "run" (i32.const 21) (i32.const 21) (i32.const 16)) 2736 "out of bounds table access") 2737 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2738 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2739 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2740 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2741 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2742 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2743 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2744 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2745 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2746 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2747 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2748 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2749 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2750 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2751 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2752 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2753 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2754 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2755 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2756 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2757 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2758 (assert_return (invoke "test" (i32.const 21)) (i32.const 0)) 2759 (assert_return (invoke "test" (i32.const 22)) (i32.const 1)) 2760 (assert_return (invoke "test" (i32.const 23)) (i32.const 2)) 2761 (assert_return (invoke "test" (i32.const 24)) (i32.const 3)) 2762 (assert_return (invoke "test" (i32.const 25)) (i32.const 4)) 2763 (assert_return (invoke "test" (i32.const 26)) (i32.const 5)) 2764 (assert_return (invoke "test" (i32.const 27)) (i32.const 6)) 2765 (assert_return (invoke "test" (i32.const 28)) (i32.const 7)) 2766 (assert_return (invoke "test" (i32.const 29)) (i32.const 8)) 2767 (assert_return (invoke "test" (i32.const 30)) (i32.const 9)) 2768 (assert_return (invoke "test" (i32.const 31)) (i32.const 10)) 2769 2770 (module 2771 (type (func (result i32))) 2772 (table 128 128 funcref) 2773 (elem (i32.const 112) 2774 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8 $f9 $f10 $f11 $f12 $f13 $f14 $f15) 2775 (func $f0 (export "f0") (result i32) (i32.const 0)) 2776 (func $f1 (export "f1") (result i32) (i32.const 1)) 2777 (func $f2 (export "f2") (result i32) (i32.const 2)) 2778 (func $f3 (export "f3") (result i32) (i32.const 3)) 2779 (func $f4 (export "f4") (result i32) (i32.const 4)) 2780 (func $f5 (export "f5") (result i32) (i32.const 5)) 2781 (func $f6 (export "f6") (result i32) (i32.const 6)) 2782 (func $f7 (export "f7") (result i32) (i32.const 7)) 2783 (func $f8 (export "f8") (result i32) (i32.const 8)) 2784 (func $f9 (export "f9") (result i32) (i32.const 9)) 2785 (func $f10 (export "f10") (result i32) (i32.const 10)) 2786 (func $f11 (export "f11") (result i32) (i32.const 11)) 2787 (func $f12 (export "f12") (result i32) (i32.const 12)) 2788 (func $f13 (export "f13") (result i32) (i32.const 13)) 2789 (func $f14 (export "f14") (result i32) (i32.const 14)) 2790 (func $f15 (export "f15") (result i32) (i32.const 15)) 2791 (func (export "test") (param $n i32) (result i32) 2792 (call_indirect (type 0) (local.get $n))) 2793 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2794 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2795 2796 (assert_trap (invoke "run" (i32.const 0) (i32.const 112) (i32.const 4294967264)) 2797 "out of bounds table access") 2798 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element") 2799 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element") 2800 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element") 2801 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element") 2802 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element") 2803 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element") 2804 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element") 2805 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element") 2806 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element") 2807 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element") 2808 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element") 2809 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element") 2810 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element") 2811 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element") 2812 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element") 2813 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element") 2814 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2815 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2816 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2817 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2818 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2819 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2820 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2821 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2822 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element") 2823 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element") 2824 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element") 2825 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element") 2826 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element") 2827 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element") 2828 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element") 2829 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element") 2830 (assert_trap (invoke "test" (i32.const 32)) "uninitialized element") 2831 (assert_trap (invoke "test" (i32.const 33)) "uninitialized element") 2832 (assert_trap (invoke "test" (i32.const 34)) "uninitialized element") 2833 (assert_trap (invoke "test" (i32.const 35)) "uninitialized element") 2834 (assert_trap (invoke "test" (i32.const 36)) "uninitialized element") 2835 (assert_trap (invoke "test" (i32.const 37)) "uninitialized element") 2836 (assert_trap (invoke "test" (i32.const 38)) "uninitialized element") 2837 (assert_trap (invoke "test" (i32.const 39)) "uninitialized element") 2838 (assert_trap (invoke "test" (i32.const 40)) "uninitialized element") 2839 (assert_trap (invoke "test" (i32.const 41)) "uninitialized element") 2840 (assert_trap (invoke "test" (i32.const 42)) "uninitialized element") 2841 (assert_trap (invoke "test" (i32.const 43)) "uninitialized element") 2842 (assert_trap (invoke "test" (i32.const 44)) "uninitialized element") 2843 (assert_trap (invoke "test" (i32.const 45)) "uninitialized element") 2844 (assert_trap (invoke "test" (i32.const 46)) "uninitialized element") 2845 (assert_trap (invoke "test" (i32.const 47)) "uninitialized element") 2846 (assert_trap (invoke "test" (i32.const 48)) "uninitialized element") 2847 (assert_trap (invoke "test" (i32.const 49)) "uninitialized element") 2848 (assert_trap (invoke "test" (i32.const 50)) "uninitialized element") 2849 (assert_trap (invoke "test" (i32.const 51)) "uninitialized element") 2850 (assert_trap (invoke "test" (i32.const 52)) "uninitialized element") 2851 (assert_trap (invoke "test" (i32.const 53)) "uninitialized element") 2852 (assert_trap (invoke "test" (i32.const 54)) "uninitialized element") 2853 (assert_trap (invoke "test" (i32.const 55)) "uninitialized element") 2854 (assert_trap (invoke "test" (i32.const 56)) "uninitialized element") 2855 (assert_trap (invoke "test" (i32.const 57)) "uninitialized element") 2856 (assert_trap (invoke "test" (i32.const 58)) "uninitialized element") 2857 (assert_trap (invoke "test" (i32.const 59)) "uninitialized element") 2858 (assert_trap (invoke "test" (i32.const 60)) "uninitialized element") 2859 (assert_trap (invoke "test" (i32.const 61)) "uninitialized element") 2860 (assert_trap (invoke "test" (i32.const 62)) "uninitialized element") 2861 (assert_trap (invoke "test" (i32.const 63)) "uninitialized element") 2862 (assert_trap (invoke "test" (i32.const 64)) "uninitialized element") 2863 (assert_trap (invoke "test" (i32.const 65)) "uninitialized element") 2864 (assert_trap (invoke "test" (i32.const 66)) "uninitialized element") 2865 (assert_trap (invoke "test" (i32.const 67)) "uninitialized element") 2866 (assert_trap (invoke "test" (i32.const 68)) "uninitialized element") 2867 (assert_trap (invoke "test" (i32.const 69)) "uninitialized element") 2868 (assert_trap (invoke "test" (i32.const 70)) "uninitialized element") 2869 (assert_trap (invoke "test" (i32.const 71)) "uninitialized element") 2870 (assert_trap (invoke "test" (i32.const 72)) "uninitialized element") 2871 (assert_trap (invoke "test" (i32.const 73)) "uninitialized element") 2872 (assert_trap (invoke "test" (i32.const 74)) "uninitialized element") 2873 (assert_trap (invoke "test" (i32.const 75)) "uninitialized element") 2874 (assert_trap (invoke "test" (i32.const 76)) "uninitialized element") 2875 (assert_trap (invoke "test" (i32.const 77)) "uninitialized element") 2876 (assert_trap (invoke "test" (i32.const 78)) "uninitialized element") 2877 (assert_trap (invoke "test" (i32.const 79)) "uninitialized element") 2878 (assert_trap (invoke "test" (i32.const 80)) "uninitialized element") 2879 (assert_trap (invoke "test" (i32.const 81)) "uninitialized element") 2880 (assert_trap (invoke "test" (i32.const 82)) "uninitialized element") 2881 (assert_trap (invoke "test" (i32.const 83)) "uninitialized element") 2882 (assert_trap (invoke "test" (i32.const 84)) "uninitialized element") 2883 (assert_trap (invoke "test" (i32.const 85)) "uninitialized element") 2884 (assert_trap (invoke "test" (i32.const 86)) "uninitialized element") 2885 (assert_trap (invoke "test" (i32.const 87)) "uninitialized element") 2886 (assert_trap (invoke "test" (i32.const 88)) "uninitialized element") 2887 (assert_trap (invoke "test" (i32.const 89)) "uninitialized element") 2888 (assert_trap (invoke "test" (i32.const 90)) "uninitialized element") 2889 (assert_trap (invoke "test" (i32.const 91)) "uninitialized element") 2890 (assert_trap (invoke "test" (i32.const 92)) "uninitialized element") 2891 (assert_trap (invoke "test" (i32.const 93)) "uninitialized element") 2892 (assert_trap (invoke "test" (i32.const 94)) "uninitialized element") 2893 (assert_trap (invoke "test" (i32.const 95)) "uninitialized element") 2894 (assert_trap (invoke "test" (i32.const 96)) "uninitialized element") 2895 (assert_trap (invoke "test" (i32.const 97)) "uninitialized element") 2896 (assert_trap (invoke "test" (i32.const 98)) "uninitialized element") 2897 (assert_trap (invoke "test" (i32.const 99)) "uninitialized element") 2898 (assert_trap (invoke "test" (i32.const 100)) "uninitialized element") 2899 (assert_trap (invoke "test" (i32.const 101)) "uninitialized element") 2900 (assert_trap (invoke "test" (i32.const 102)) "uninitialized element") 2901 (assert_trap (invoke "test" (i32.const 103)) "uninitialized element") 2902 (assert_trap (invoke "test" (i32.const 104)) "uninitialized element") 2903 (assert_trap (invoke "test" (i32.const 105)) "uninitialized element") 2904 (assert_trap (invoke "test" (i32.const 106)) "uninitialized element") 2905 (assert_trap (invoke "test" (i32.const 107)) "uninitialized element") 2906 (assert_trap (invoke "test" (i32.const 108)) "uninitialized element") 2907 (assert_trap (invoke "test" (i32.const 109)) "uninitialized element") 2908 (assert_trap (invoke "test" (i32.const 110)) "uninitialized element") 2909 (assert_trap (invoke "test" (i32.const 111)) "uninitialized element") 2910 (assert_return (invoke "test" (i32.const 112)) (i32.const 0)) 2911 (assert_return (invoke "test" (i32.const 113)) (i32.const 1)) 2912 (assert_return (invoke "test" (i32.const 114)) (i32.const 2)) 2913 (assert_return (invoke "test" (i32.const 115)) (i32.const 3)) 2914 (assert_return (invoke "test" (i32.const 116)) (i32.const 4)) 2915 (assert_return (invoke "test" (i32.const 117)) (i32.const 5)) 2916 (assert_return (invoke "test" (i32.const 118)) (i32.const 6)) 2917 (assert_return (invoke "test" (i32.const 119)) (i32.const 7)) 2918 (assert_return (invoke "test" (i32.const 120)) (i32.const 8)) 2919 (assert_return (invoke "test" (i32.const 121)) (i32.const 9)) 2920 (assert_return (invoke "test" (i32.const 122)) (i32.const 10)) 2921 (assert_return (invoke "test" (i32.const 123)) (i32.const 11)) 2922 (assert_return (invoke "test" (i32.const 124)) (i32.const 12)) 2923 (assert_return (invoke "test" (i32.const 125)) (i32.const 13)) 2924 (assert_return (invoke "test" (i32.const 126)) (i32.const 14)) 2925 (assert_return (invoke "test" (i32.const 127)) (i32.const 15)) 2926 2927 (module 2928 (type (func (result i32))) 2929 (table 128 128 funcref) 2930 (elem (i32.const 0) 2931 $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8 $f9 $f10 $f11 $f12 $f13 $f14 $f15) 2932 (func $f0 (export "f0") (result i32) (i32.const 0)) 2933 (func $f1 (export "f1") (result i32) (i32.const 1)) 2934 (func $f2 (export "f2") (result i32) (i32.const 2)) 2935 (func $f3 (export "f3") (result i32) (i32.const 3)) 2936 (func $f4 (export "f4") (result i32) (i32.const 4)) 2937 (func $f5 (export "f5") (result i32) (i32.const 5)) 2938 (func $f6 (export "f6") (result i32) (i32.const 6)) 2939 (func $f7 (export "f7") (result i32) (i32.const 7)) 2940 (func $f8 (export "f8") (result i32) (i32.const 8)) 2941 (func $f9 (export "f9") (result i32) (i32.const 9)) 2942 (func $f10 (export "f10") (result i32) (i32.const 10)) 2943 (func $f11 (export "f11") (result i32) (i32.const 11)) 2944 (func $f12 (export "f12") (result i32) (i32.const 12)) 2945 (func $f13 (export "f13") (result i32) (i32.const 13)) 2946 (func $f14 (export "f14") (result i32) (i32.const 14)) 2947 (func $f15 (export "f15") (result i32) (i32.const 15)) 2948 (func (export "test") (param $n i32) (result i32) 2949 (call_indirect (type 0) (local.get $n))) 2950 (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32) 2951 (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len)))) 2952 2953 (assert_trap (invoke "run" (i32.const 112) (i32.const 0) (i32.const 4294967264)) 2954 "out of bounds table access") 2955 (assert_return (invoke "test" (i32.const 0)) (i32.const 0)) 2956 (assert_return (invoke "test" (i32.const 1)) (i32.const 1)) 2957 (assert_return (invoke "test" (i32.const 2)) (i32.const 2)) 2958 (assert_return (invoke "test" (i32.const 3)) (i32.const 3)) 2959 (assert_return (invoke "test" (i32.const 4)) (i32.const 4)) 2960 (assert_return (invoke "test" (i32.const 5)) (i32.const 5)) 2961 (assert_return (invoke "test" (i32.const 6)) (i32.const 6)) 2962 (assert_return (invoke "test" (i32.const 7)) (i32.const 7)) 2963 (assert_return (invoke "test" (i32.const 8)) (i32.const 8)) 2964 (assert_return (invoke "test" (i32.const 9)) (i32.const 9)) 2965 (assert_return (invoke "test" (i32.const 10)) (i32.const 10)) 2966 (assert_return (invoke "test" (i32.const 11)) (i32.const 11)) 2967 (assert_return (invoke "test" (i32.const 12)) (i32.const 12)) 2968 (assert_return (invoke "test" (i32.const 13)) (i32.const 13)) 2969 (assert_return (invoke "test" (i32.const 14)) (i32.const 14)) 2970 (assert_return (invoke "test" (i32.const 15)) (i32.const 15)) 2971 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element") 2972 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element") 2973 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element") 2974 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element") 2975 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element") 2976 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element") 2977 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element") 2978 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element") 2979 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element") 2980 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element") 2981 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element") 2982 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element") 2983 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element") 2984 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element") 2985 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element") 2986 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element") 2987 (assert_trap (invoke "test" (i32.const 32)) "uninitialized element") 2988 (assert_trap (invoke "test" (i32.const 33)) "uninitialized element") 2989 (assert_trap (invoke "test" (i32.const 34)) "uninitialized element") 2990 (assert_trap (invoke "test" (i32.const 35)) "uninitialized element") 2991 (assert_trap (invoke "test" (i32.const 36)) "uninitialized element") 2992 (assert_trap (invoke "test" (i32.const 37)) "uninitialized element") 2993 (assert_trap (invoke "test" (i32.const 38)) "uninitialized element") 2994 (assert_trap (invoke "test" (i32.const 39)) "uninitialized element") 2995 (assert_trap (invoke "test" (i32.const 40)) "uninitialized element") 2996 (assert_trap (invoke "test" (i32.const 41)) "uninitialized element") 2997 (assert_trap (invoke "test" (i32.const 42)) "uninitialized element") 2998 (assert_trap (invoke "test" (i32.const 43)) "uninitialized element") 2999 (assert_trap (invoke "test" (i32.const 44)) "uninitialized element") 3000 (assert_trap (invoke "test" (i32.const 45)) "uninitialized element") 3001 (assert_trap (invoke "test" (i32.const 46)) "uninitialized element") 3002 (assert_trap (invoke "test" (i32.const 47)) "uninitialized element") 3003 (assert_trap (invoke "test" (i32.const 48)) "uninitialized element") 3004 (assert_trap (invoke "test" (i32.const 49)) "uninitialized element") 3005 (assert_trap (invoke "test" (i32.const 50)) "uninitialized element") 3006 (assert_trap (invoke "test" (i32.const 51)) "uninitialized element") 3007 (assert_trap (invoke "test" (i32.const 52)) "uninitialized element") 3008 (assert_trap (invoke "test" (i32.const 53)) "uninitialized element") 3009 (assert_trap (invoke "test" (i32.const 54)) "uninitialized element") 3010 (assert_trap (invoke "test" (i32.const 55)) "uninitialized element") 3011 (assert_trap (invoke "test" (i32.const 56)) "uninitialized element") 3012 (assert_trap (invoke "test" (i32.const 57)) "uninitialized element") 3013 (assert_trap (invoke "test" (i32.const 58)) "uninitialized element") 3014 (assert_trap (invoke "test" (i32.const 59)) "uninitialized element") 3015 (assert_trap (invoke "test" (i32.const 60)) "uninitialized element") 3016 (assert_trap (invoke "test" (i32.const 61)) "uninitialized element") 3017 (assert_trap (invoke "test" (i32.const 62)) "uninitialized element") 3018 (assert_trap (invoke "test" (i32.const 63)) "uninitialized element") 3019 (assert_trap (invoke "test" (i32.const 64)) "uninitialized element") 3020 (assert_trap (invoke "test" (i32.const 65)) "uninitialized element") 3021 (assert_trap (invoke "test" (i32.const 66)) "uninitialized element") 3022 (assert_trap (invoke "test" (i32.const 67)) "uninitialized element") 3023 (assert_trap (invoke "test" (i32.const 68)) "uninitialized element") 3024 (assert_trap (invoke "test" (i32.const 69)) "uninitialized element") 3025 (assert_trap (invoke "test" (i32.const 70)) "uninitialized element") 3026 (assert_trap (invoke "test" (i32.const 71)) "uninitialized element") 3027 (assert_trap (invoke "test" (i32.const 72)) "uninitialized element") 3028 (assert_trap (invoke "test" (i32.const 73)) "uninitialized element") 3029 (assert_trap (invoke "test" (i32.const 74)) "uninitialized element") 3030 (assert_trap (invoke "test" (i32.const 75)) "uninitialized element") 3031 (assert_trap (invoke "test" (i32.const 76)) "uninitialized element") 3032 (assert_trap (invoke "test" (i32.const 77)) "uninitialized element") 3033 (assert_trap (invoke "test" (i32.const 78)) "uninitialized element") 3034 (assert_trap (invoke "test" (i32.const 79)) "uninitialized element") 3035 (assert_trap (invoke "test" (i32.const 80)) "uninitialized element") 3036 (assert_trap (invoke "test" (i32.const 81)) "uninitialized element") 3037 (assert_trap (invoke "test" (i32.const 82)) "uninitialized element") 3038 (assert_trap (invoke "test" (i32.const 83)) "uninitialized element") 3039 (assert_trap (invoke "test" (i32.const 84)) "uninitialized element") 3040 (assert_trap (invoke "test" (i32.const 85)) "uninitialized element") 3041 (assert_trap (invoke "test" (i32.const 86)) "uninitialized element") 3042 (assert_trap (invoke "test" (i32.const 87)) "uninitialized element") 3043 (assert_trap (invoke "test" (i32.const 88)) "uninitialized element") 3044 (assert_trap (invoke "test" (i32.const 89)) "uninitialized element") 3045 (assert_trap (invoke "test" (i32.const 90)) "uninitialized element") 3046 (assert_trap (invoke "test" (i32.const 91)) "uninitialized element") 3047 (assert_trap (invoke "test" (i32.const 92)) "uninitialized element") 3048 (assert_trap (invoke "test" (i32.const 93)) "uninitialized element") 3049 (assert_trap (invoke "test" (i32.const 94)) "uninitialized element") 3050 (assert_trap (invoke "test" (i32.const 95)) "uninitialized element") 3051 (assert_trap (invoke "test" (i32.const 96)) "uninitialized element") 3052 (assert_trap (invoke "test" (i32.const 97)) "uninitialized element") 3053 (assert_trap (invoke "test" (i32.const 98)) "uninitialized element") 3054 (assert_trap (invoke "test" (i32.const 99)) "uninitialized element") 3055 (assert_trap (invoke "test" (i32.const 100)) "uninitialized element") 3056 (assert_trap (invoke "test" (i32.const 101)) "uninitialized element") 3057 (assert_trap (invoke "test" (i32.const 102)) "uninitialized element") 3058 (assert_trap (invoke "test" (i32.const 103)) "uninitialized element") 3059 (assert_trap (invoke "test" (i32.const 104)) "uninitialized element") 3060 (assert_trap (invoke "test" (i32.const 105)) "uninitialized element") 3061 (assert_trap (invoke "test" (i32.const 106)) "uninitialized element") 3062 (assert_trap (invoke "test" (i32.const 107)) "uninitialized element") 3063 (assert_trap (invoke "test" (i32.const 108)) "uninitialized element") 3064 (assert_trap (invoke "test" (i32.const 109)) "uninitialized element") 3065 (assert_trap (invoke "test" (i32.const 110)) "uninitialized element") 3066 (assert_trap (invoke "test" (i32.const 111)) "uninitialized element") 3067 (assert_trap (invoke "test" (i32.const 112)) "uninitialized element") 3068 (assert_trap (invoke "test" (i32.const 113)) "uninitialized element") 3069 (assert_trap (invoke "test" (i32.const 114)) "uninitialized element") 3070 (assert_trap (invoke "test" (i32.const 115)) "uninitialized element") 3071 (assert_trap (invoke "test" (i32.const 116)) "uninitialized element") 3072 (assert_trap (invoke "test" (i32.const 117)) "uninitialized element") 3073 (assert_trap (invoke "test" (i32.const 118)) "uninitialized element") 3074 (assert_trap (invoke "test" (i32.const 119)) "uninitialized element") 3075 (assert_trap (invoke "test" (i32.const 120)) "uninitialized element") 3076 (assert_trap (invoke "test" (i32.const 121)) "uninitialized element") 3077 (assert_trap (invoke "test" (i32.const 122)) "uninitialized element") 3078 (assert_trap (invoke "test" (i32.const 123)) "uninitialized element") 3079 (assert_trap (invoke "test" (i32.const 124)) "uninitialized element") 3080 (assert_trap (invoke "test" (i32.const 125)) "uninitialized element") 3081 (assert_trap (invoke "test" (i32.const 126)) "uninitialized element") 3082 (assert_trap (invoke "test" (i32.const 127)) "uninitialized element")