review.tizen.org Git - platform/framework/web/lwnode.git/blob

   1 ;;
   2 ;; Generated by ../meta/generate_table_copy.js
   3 ;;
   4
   5 (module
   6   (func (export "ef0") (result i32) (i32.const 0))
   7   (func (export "ef1") (result i32) (i32.const 1))
   8   (func (export "ef2") (result i32) (i32.const 2))
   9   (func (export "ef3") (result i32) (i32.const 3))
  10   (func (export "ef4") (result i32) (i32.const 4))
  11 )
  12 (register "a")
  13
  14 (module
  15   (type (func (result i32)))  ;; type #0
  16   (import "a" "ef0" (func (result i32)))    ;; index 0
  17   (import "a" "ef1" (func (result i32)))
  18   (import "a" "ef2" (func (result i32)))
  19   (import "a" "ef3" (func (result i32)))
  20   (import "a" "ef4" (func (result i32)))    ;; index 4
  21   (table 30 30 funcref)
  22   (elem (i32.const 2) 3 1 4 1)
  23   (elem funcref
  24     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
  25   (elem (i32.const 12) 7 5 2 3 6)
  26   (elem funcref
  27     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
  28   (func (result i32) (i32.const 5))  ;; index 5
  29   (func (result i32) (i32.const 6))
  30   (func (result i32) (i32.const 7))
  31   (func (result i32) (i32.const 8))
  32   (func (result i32) (i32.const 9))  ;; index 9
  33   (func (export "test")
  34     (nop))
  35   (func (export "check") (param i32) (result i32)
  36     (call_indirect (type 0) (local.get 0)))
  37 )
  38
  39 (invoke "test")
  40 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
  41 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
  42 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
  43 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
  44 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
  45 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
  46 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
  47 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
  48 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
  49 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
  50 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
  51 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
  52 (assert_return (invoke "check" (i32.const 12)) (i32.const 7))
  53 (assert_return (invoke "check" (i32.const 13)) (i32.const 5))
  54 (assert_return (invoke "check" (i32.const 14)) (i32.const 2))
  55 (assert_return (invoke "check" (i32.const 15)) (i32.const 3))
  56 (assert_return (invoke "check" (i32.const 16)) (i32.const 6))
  57 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
  58 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
  59 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
  60 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
  61 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
  62 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
  63 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
  64 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
  65 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
  66 (assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
  67 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
  68 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
  69 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
  70
  71 (module
  72   (type (func (result i32)))  ;; type #0
  73   (import "a" "ef0" (func (result i32)))    ;; index 0
  74   (import "a" "ef1" (func (result i32)))
  75   (import "a" "ef2" (func (result i32)))
  76   (import "a" "ef3" (func (result i32)))
  77   (import "a" "ef4" (func (result i32)))    ;; index 4
  78   (table 30 30 funcref)
  79   (elem (i32.const 2) 3 1 4 1)
  80   (elem funcref
  81     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
  82   (elem (i32.const 12) 7 5 2 3 6)
  83   (elem funcref
  84     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
  85   (func (result i32) (i32.const 5))  ;; index 5
  86   (func (result i32) (i32.const 6))
  87   (func (result i32) (i32.const 7))
  88   (func (result i32) (i32.const 8))
  89   (func (result i32) (i32.const 9))  ;; index 9
  90   (func (export "test")
  91     (table.copy (i32.const 13) (i32.const 2) (i32.const 3)))
  92   (func (export "check") (param i32) (result i32)
  93     (call_indirect (type 0) (local.get 0)))
  94 )
  95
  96 (invoke "test")
  97 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
  98 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
  99 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 100 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 101 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 102 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 103 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 104 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 105 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 106 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 107 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
 108 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
 109 (assert_return (invoke "check" (i32.const 12)) (i32.const 7))
 110 (assert_return (invoke "check" (i32.const 13)) (i32.const 3))
 111 (assert_return (invoke "check" (i32.const 14)) (i32.const 1))
 112 (assert_return (invoke "check" (i32.const 15)) (i32.const 4))
 113 (assert_return (invoke "check" (i32.const 16)) (i32.const 6))
 114 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
 115 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
 116 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 117 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 118 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 119 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 120 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 121 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 122 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
 123 (assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
 124 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
 125 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 126 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 127
 128 (module
 129   (type (func (result i32)))  ;; type #0
 130   (import "a" "ef0" (func (result i32)))    ;; index 0
 131   (import "a" "ef1" (func (result i32)))
 132   (import "a" "ef2" (func (result i32)))
 133   (import "a" "ef3" (func (result i32)))
 134   (import "a" "ef4" (func (result i32)))    ;; index 4
 135   (table 30 30 funcref)
 136   (elem (i32.const 2) 3 1 4 1)
 137   (elem funcref
 138     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 139   (elem (i32.const 12) 7 5 2 3 6)
 140   (elem funcref
 141     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 142   (func (result i32) (i32.const 5))  ;; index 5
 143   (func (result i32) (i32.const 6))
 144   (func (result i32) (i32.const 7))
 145   (func (result i32) (i32.const 8))
 146   (func (result i32) (i32.const 9))  ;; index 9
 147   (func (export "test")
 148     (table.copy (i32.const 25) (i32.const 15) (i32.const 2)))
 149   (func (export "check") (param i32) (result i32)
 150     (call_indirect (type 0) (local.get 0)))
 151 )
 152
 153 (invoke "test")
 154 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
 155 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
 156 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 157 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 158 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 159 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 160 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 161 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 162 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 163 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 164 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
 165 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
 166 (assert_return (invoke "check" (i32.const 12)) (i32.const 7))
 167 (assert_return (invoke "check" (i32.const 13)) (i32.const 5))
 168 (assert_return (invoke "check" (i32.const 14)) (i32.const 2))
 169 (assert_return (invoke "check" (i32.const 15)) (i32.const 3))
 170 (assert_return (invoke "check" (i32.const 16)) (i32.const 6))
 171 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
 172 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
 173 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 174 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 175 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 176 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 177 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 178 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 179 (assert_return (invoke "check" (i32.const 25)) (i32.const 3))
 180 (assert_return (invoke "check" (i32.const 26)) (i32.const 6))
 181 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
 182 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 183 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 184
 185 (module
 186   (type (func (result i32)))  ;; type #0
 187   (import "a" "ef0" (func (result i32)))    ;; index 0
 188   (import "a" "ef1" (func (result i32)))
 189   (import "a" "ef2" (func (result i32)))
 190   (import "a" "ef3" (func (result i32)))
 191   (import "a" "ef4" (func (result i32)))    ;; index 4
 192   (table 30 30 funcref)
 193   (elem (i32.const 2) 3 1 4 1)
 194   (elem funcref
 195     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 196   (elem (i32.const 12) 7 5 2 3 6)
 197   (elem funcref
 198     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 199   (func (result i32) (i32.const 5))  ;; index 5
 200   (func (result i32) (i32.const 6))
 201   (func (result i32) (i32.const 7))
 202   (func (result i32) (i32.const 8))
 203   (func (result i32) (i32.const 9))  ;; index 9
 204   (func (export "test")
 205     (table.copy (i32.const 13) (i32.const 25) (i32.const 3)))
 206   (func (export "check") (param i32) (result i32)
 207     (call_indirect (type 0) (local.get 0)))
 208 )
 209
 210 (invoke "test")
 211 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
 212 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
 213 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 214 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 215 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 216 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 217 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 218 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 219 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 220 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 221 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
 222 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
 223 (assert_return (invoke "check" (i32.const 12)) (i32.const 7))
 224 (assert_trap (invoke "check" (i32.const 13)) "uninitialized element")
 225 (assert_trap (invoke "check" (i32.const 14)) "uninitialized element")
 226 (assert_trap (invoke "check" (i32.const 15)) "uninitialized element")
 227 (assert_return (invoke "check" (i32.const 16)) (i32.const 6))
 228 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
 229 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
 230 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 231 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 232 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 233 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 234 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 235 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 236 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
 237 (assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
 238 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
 239 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 240 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 241
 242 (module
 243   (type (func (result i32)))  ;; type #0
 244   (import "a" "ef0" (func (result i32)))    ;; index 0
 245   (import "a" "ef1" (func (result i32)))
 246   (import "a" "ef2" (func (result i32)))
 247   (import "a" "ef3" (func (result i32)))
 248   (import "a" "ef4" (func (result i32)))    ;; index 4
 249   (table 30 30 funcref)
 250   (elem (i32.const 2) 3 1 4 1)
 251   (elem funcref
 252     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 253   (elem (i32.const 12) 7 5 2 3 6)
 254   (elem funcref
 255     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 256   (func (result i32) (i32.const 5))  ;; index 5
 257   (func (result i32) (i32.const 6))
 258   (func (result i32) (i32.const 7))
 259   (func (result i32) (i32.const 8))
 260   (func (result i32) (i32.const 9))  ;; index 9
 261   (func (export "test")
 262     (table.copy (i32.const 20) (i32.const 22) (i32.const 4)))
 263   (func (export "check") (param i32) (result i32)
 264     (call_indirect (type 0) (local.get 0)))
 265 )
 266
 267 (invoke "test")
 268 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
 269 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
 270 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 271 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 272 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 273 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 274 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 275 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 276 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 277 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 278 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
 279 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
 280 (assert_return (invoke "check" (i32.const 12)) (i32.const 7))
 281 (assert_return (invoke "check" (i32.const 13)) (i32.const 5))
 282 (assert_return (invoke "check" (i32.const 14)) (i32.const 2))
 283 (assert_return (invoke "check" (i32.const 15)) (i32.const 3))
 284 (assert_return (invoke "check" (i32.const 16)) (i32.const 6))
 285 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
 286 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
 287 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 288 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 289 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 290 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 291 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 292 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 293 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
 294 (assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
 295 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
 296 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 297 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 298
 299 (module
 300   (type (func (result i32)))  ;; type #0
 301   (import "a" "ef0" (func (result i32)))    ;; index 0
 302   (import "a" "ef1" (func (result i32)))
 303   (import "a" "ef2" (func (result i32)))
 304   (import "a" "ef3" (func (result i32)))
 305   (import "a" "ef4" (func (result i32)))    ;; index 4
 306   (table 30 30 funcref)
 307   (elem (i32.const 2) 3 1 4 1)
 308   (elem funcref
 309     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 310   (elem (i32.const 12) 7 5 2 3 6)
 311   (elem funcref
 312     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 313   (func (result i32) (i32.const 5))  ;; index 5
 314   (func (result i32) (i32.const 6))
 315   (func (result i32) (i32.const 7))
 316   (func (result i32) (i32.const 8))
 317   (func (result i32) (i32.const 9))  ;; index 9
 318   (func (export "test")
 319     (table.copy (i32.const 25) (i32.const 1) (i32.const 3)))
 320   (func (export "check") (param i32) (result i32)
 321     (call_indirect (type 0) (local.get 0)))
 322 )
 323
 324 (invoke "test")
 325 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
 326 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
 327 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 328 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 329 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 330 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 331 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 332 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 333 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 334 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 335 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
 336 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
 337 (assert_return (invoke "check" (i32.const 12)) (i32.const 7))
 338 (assert_return (invoke "check" (i32.const 13)) (i32.const 5))
 339 (assert_return (invoke "check" (i32.const 14)) (i32.const 2))
 340 (assert_return (invoke "check" (i32.const 15)) (i32.const 3))
 341 (assert_return (invoke "check" (i32.const 16)) (i32.const 6))
 342 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
 343 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
 344 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 345 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 346 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 347 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 348 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 349 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 350 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
 351 (assert_return (invoke "check" (i32.const 26)) (i32.const 3))
 352 (assert_return (invoke "check" (i32.const 27)) (i32.const 1))
 353 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 354 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 355
 356 (module
 357   (type (func (result i32)))  ;; type #0
 358   (import "a" "ef0" (func (result i32)))    ;; index 0
 359   (import "a" "ef1" (func (result i32)))
 360   (import "a" "ef2" (func (result i32)))
 361   (import "a" "ef3" (func (result i32)))
 362   (import "a" "ef4" (func (result i32)))    ;; index 4
 363   (table 30 30 funcref)
 364   (elem (i32.const 2) 3 1 4 1)
 365   (elem funcref
 366     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 367   (elem (i32.const 12) 7 5 2 3 6)
 368   (elem funcref
 369     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 370   (func (result i32) (i32.const 5))  ;; index 5
 371   (func (result i32) (i32.const 6))
 372   (func (result i32) (i32.const 7))
 373   (func (result i32) (i32.const 8))
 374   (func (result i32) (i32.const 9))  ;; index 9
 375   (func (export "test")
 376     (table.copy (i32.const 10) (i32.const 12) (i32.const 7)))
 377   (func (export "check") (param i32) (result i32)
 378     (call_indirect (type 0) (local.get 0)))
 379 )
 380
 381 (invoke "test")
 382 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
 383 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
 384 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 385 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 386 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 387 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 388 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 389 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 390 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 391 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 392 (assert_return (invoke "check" (i32.const 10)) (i32.const 7))
 393 (assert_return (invoke "check" (i32.const 11)) (i32.const 5))
 394 (assert_return (invoke "check" (i32.const 12)) (i32.const 2))
 395 (assert_return (invoke "check" (i32.const 13)) (i32.const 3))
 396 (assert_return (invoke "check" (i32.const 14)) (i32.const 6))
 397 (assert_trap (invoke "check" (i32.const 15)) "uninitialized element")
 398 (assert_trap (invoke "check" (i32.const 16)) "uninitialized element")
 399 (assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
 400 (assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
 401 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 402 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 403 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 404 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 405 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 406 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 407 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
 408 (assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
 409 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
 410 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 411 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 412
 413 (module
 414   (type (func (result i32)))  ;; type #0
 415   (import "a" "ef0" (func (result i32)))    ;; index 0
 416   (import "a" "ef1" (func (result i32)))
 417   (import "a" "ef2" (func (result i32)))
 418   (import "a" "ef3" (func (result i32)))
 419   (import "a" "ef4" (func (result i32)))    ;; index 4
 420   (table 30 30 funcref)
 421   (elem (i32.const 2) 3 1 4 1)
 422   (elem funcref
 423     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 424   (elem (i32.const 12) 7 5 2 3 6)
 425   (elem funcref
 426     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 427   (func (result i32) (i32.const 5))  ;; index 5
 428   (func (result i32) (i32.const 6))
 429   (func (result i32) (i32.const 7))
 430   (func (result i32) (i32.const 8))
 431   (func (result i32) (i32.const 9))  ;; index 9
 432   (func (export "test")
 433     (table.copy (i32.const 12) (i32.const 10) (i32.const 7)))
 434   (func (export "check") (param i32) (result i32)
 435     (call_indirect (type 0) (local.get 0)))
 436 )
 437
 438 (invoke "test")
 439 (assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
 440 (assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
 441 (assert_return (invoke "check" (i32.const 2)) (i32.const 3))
 442 (assert_return (invoke "check" (i32.const 3)) (i32.const 1))
 443 (assert_return (invoke "check" (i32.const 4)) (i32.const 4))
 444 (assert_return (invoke "check" (i32.const 5)) (i32.const 1))
 445 (assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
 446 (assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
 447 (assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
 448 (assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
 449 (assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
 450 (assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
 451 (assert_trap (invoke "check" (i32.const 12)) "uninitialized element")
 452 (assert_trap (invoke "check" (i32.const 13)) "uninitialized element")
 453 (assert_return (invoke "check" (i32.const 14)) (i32.const 7))
 454 (assert_return (invoke "check" (i32.const 15)) (i32.const 5))
 455 (assert_return (invoke "check" (i32.const 16)) (i32.const 2))
 456 (assert_return (invoke "check" (i32.const 17)) (i32.const 3))
 457 (assert_return (invoke "check" (i32.const 18)) (i32.const 6))
 458 (assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
 459 (assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
 460 (assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
 461 (assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
 462 (assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
 463 (assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
 464 (assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
 465 (assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
 466 (assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
 467 (assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
 468 (assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
 469
 470 (module
 471   (table 30 30 funcref)
 472   (elem (i32.const 2) 3 1 4 1)
 473   (elem funcref
 474     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 475   (elem (i32.const 12) 7 5 2 3 6)
 476   (elem funcref
 477     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 478   (func (result i32) (i32.const 0))
 479   (func (result i32) (i32.const 1))
 480   (func (result i32) (i32.const 2))
 481   (func (result i32) (i32.const 3))
 482   (func (result i32) (i32.const 4))
 483   (func (result i32) (i32.const 5))
 484   (func (result i32) (i32.const 6))
 485   (func (result i32) (i32.const 7))
 486   (func (result i32) (i32.const 8))
 487   (func (result i32) (i32.const 9))
 488   (func (export "test")
 489     (table.copy (i32.const 28) (i32.const 1) (i32.const 3))
 490     ))
 491
 492 (assert_trap (invoke "test") "out of bounds")
 493
 494 (module
 495   (table 30 30 funcref)
 496   (elem (i32.const 2) 3 1 4 1)
 497   (elem funcref
 498     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 499   (elem (i32.const 12) 7 5 2 3 6)
 500   (elem funcref
 501     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 502   (func (result i32) (i32.const 0))
 503   (func (result i32) (i32.const 1))
 504   (func (result i32) (i32.const 2))
 505   (func (result i32) (i32.const 3))
 506   (func (result i32) (i32.const 4))
 507   (func (result i32) (i32.const 5))
 508   (func (result i32) (i32.const 6))
 509   (func (result i32) (i32.const 7))
 510   (func (result i32) (i32.const 8))
 511   (func (result i32) (i32.const 9))
 512   (func (export "test")
 513     (table.copy (i32.const 0xFFFFFFFE) (i32.const 1) (i32.const 2))
 514     ))
 515
 516 (assert_trap (invoke "test") "out of bounds")
 517
 518 (module
 519   (table 30 30 funcref)
 520   (elem (i32.const 2) 3 1 4 1)
 521   (elem funcref
 522     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 523   (elem (i32.const 12) 7 5 2 3 6)
 524   (elem funcref
 525     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 526   (func (result i32) (i32.const 0))
 527   (func (result i32) (i32.const 1))
 528   (func (result i32) (i32.const 2))
 529   (func (result i32) (i32.const 3))
 530   (func (result i32) (i32.const 4))
 531   (func (result i32) (i32.const 5))
 532   (func (result i32) (i32.const 6))
 533   (func (result i32) (i32.const 7))
 534   (func (result i32) (i32.const 8))
 535   (func (result i32) (i32.const 9))
 536   (func (export "test")
 537     (table.copy (i32.const 15) (i32.const 25) (i32.const 6))
 538     ))
 539
 540 (assert_trap (invoke "test") "out of bounds")
 541
 542 (module
 543   (table 30 30 funcref)
 544   (elem (i32.const 2) 3 1 4 1)
 545   (elem funcref
 546     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 547   (elem (i32.const 12) 7 5 2 3 6)
 548   (elem funcref
 549     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 550   (func (result i32) (i32.const 0))
 551   (func (result i32) (i32.const 1))
 552   (func (result i32) (i32.const 2))
 553   (func (result i32) (i32.const 3))
 554   (func (result i32) (i32.const 4))
 555   (func (result i32) (i32.const 5))
 556   (func (result i32) (i32.const 6))
 557   (func (result i32) (i32.const 7))
 558   (func (result i32) (i32.const 8))
 559   (func (result i32) (i32.const 9))
 560   (func (export "test")
 561     (table.copy (i32.const 15) (i32.const 0xFFFFFFFE) (i32.const 2))
 562     ))
 563
 564 (assert_trap (invoke "test") "out of bounds")
 565
 566 (module
 567   (table 30 30 funcref)
 568   (elem (i32.const 2) 3 1 4 1)
 569   (elem funcref
 570     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 571   (elem (i32.const 12) 7 5 2 3 6)
 572   (elem funcref
 573     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 574   (func (result i32) (i32.const 0))
 575   (func (result i32) (i32.const 1))
 576   (func (result i32) (i32.const 2))
 577   (func (result i32) (i32.const 3))
 578   (func (result i32) (i32.const 4))
 579   (func (result i32) (i32.const 5))
 580   (func (result i32) (i32.const 6))
 581   (func (result i32) (i32.const 7))
 582   (func (result i32) (i32.const 8))
 583   (func (result i32) (i32.const 9))
 584   (func (export "test")
 585     (table.copy (i32.const 15) (i32.const 25) (i32.const 0))
 586     ))
 587
 588 (invoke "test")
 589
 590 (module
 591   (table 30 30 funcref)
 592   (elem (i32.const 2) 3 1 4 1)
 593   (elem funcref
 594     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 595   (elem (i32.const 12) 7 5 2 3 6)
 596   (elem funcref
 597     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 598   (func (result i32) (i32.const 0))
 599   (func (result i32) (i32.const 1))
 600   (func (result i32) (i32.const 2))
 601   (func (result i32) (i32.const 3))
 602   (func (result i32) (i32.const 4))
 603   (func (result i32) (i32.const 5))
 604   (func (result i32) (i32.const 6))
 605   (func (result i32) (i32.const 7))
 606   (func (result i32) (i32.const 8))
 607   (func (result i32) (i32.const 9))
 608   (func (export "test")
 609     (table.copy (i32.const 30) (i32.const 15) (i32.const 0))
 610     ))
 611
 612 (invoke "test")
 613
 614 (module
 615   (table 30 30 funcref)
 616   (elem (i32.const 2) 3 1 4 1)
 617   (elem funcref
 618     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 619   (elem (i32.const 12) 7 5 2 3 6)
 620   (elem funcref
 621     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 622   (func (result i32) (i32.const 0))
 623   (func (result i32) (i32.const 1))
 624   (func (result i32) (i32.const 2))
 625   (func (result i32) (i32.const 3))
 626   (func (result i32) (i32.const 4))
 627   (func (result i32) (i32.const 5))
 628   (func (result i32) (i32.const 6))
 629   (func (result i32) (i32.const 7))
 630   (func (result i32) (i32.const 8))
 631   (func (result i32) (i32.const 9))
 632   (func (export "test")
 633     (table.copy (i32.const 31) (i32.const 15) (i32.const 0))
 634     ))
 635
 636 (assert_trap (invoke "test") "out of bounds")
 637
 638 (module
 639   (table 30 30 funcref)
 640   (elem (i32.const 2) 3 1 4 1)
 641   (elem funcref
 642     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 643   (elem (i32.const 12) 7 5 2 3 6)
 644   (elem funcref
 645     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 646   (func (result i32) (i32.const 0))
 647   (func (result i32) (i32.const 1))
 648   (func (result i32) (i32.const 2))
 649   (func (result i32) (i32.const 3))
 650   (func (result i32) (i32.const 4))
 651   (func (result i32) (i32.const 5))
 652   (func (result i32) (i32.const 6))
 653   (func (result i32) (i32.const 7))
 654   (func (result i32) (i32.const 8))
 655   (func (result i32) (i32.const 9))
 656   (func (export "test")
 657     (table.copy (i32.const 15) (i32.const 30) (i32.const 0))
 658     ))
 659
 660 (invoke "test")
 661
 662 (module
 663   (table 30 30 funcref)
 664   (elem (i32.const 2) 3 1 4 1)
 665   (elem funcref
 666     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 667   (elem (i32.const 12) 7 5 2 3 6)
 668   (elem funcref
 669     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 670   (func (result i32) (i32.const 0))
 671   (func (result i32) (i32.const 1))
 672   (func (result i32) (i32.const 2))
 673   (func (result i32) (i32.const 3))
 674   (func (result i32) (i32.const 4))
 675   (func (result i32) (i32.const 5))
 676   (func (result i32) (i32.const 6))
 677   (func (result i32) (i32.const 7))
 678   (func (result i32) (i32.const 8))
 679   (func (result i32) (i32.const 9))
 680   (func (export "test")
 681     (table.copy (i32.const 15) (i32.const 31) (i32.const 0))
 682     ))
 683
 684 (assert_trap (invoke "test") "out of bounds")
 685
 686 (module
 687   (table 30 30 funcref)
 688   (elem (i32.const 2) 3 1 4 1)
 689   (elem funcref
 690     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 691   (elem (i32.const 12) 7 5 2 3 6)
 692   (elem funcref
 693     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 694   (func (result i32) (i32.const 0))
 695   (func (result i32) (i32.const 1))
 696   (func (result i32) (i32.const 2))
 697   (func (result i32) (i32.const 3))
 698   (func (result i32) (i32.const 4))
 699   (func (result i32) (i32.const 5))
 700   (func (result i32) (i32.const 6))
 701   (func (result i32) (i32.const 7))
 702   (func (result i32) (i32.const 8))
 703   (func (result i32) (i32.const 9))
 704   (func (export "test")
 705     (table.copy (i32.const 30) (i32.const 30) (i32.const 0))
 706     ))
 707
 708 (invoke "test")
 709
 710 (module
 711   (table 30 30 funcref)
 712   (elem (i32.const 2) 3 1 4 1)
 713   (elem funcref
 714     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
 715   (elem (i32.const 12) 7 5 2 3 6)
 716   (elem funcref
 717     (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
 718   (func (result i32) (i32.const 0))
 719   (func (result i32) (i32.const 1))
 720   (func (result i32) (i32.const 2))
 721   (func (result i32) (i32.const 3))
 722   (func (result i32) (i32.const 4))
 723   (func (result i32) (i32.const 5))
 724   (func (result i32) (i32.const 6))
 725   (func (result i32) (i32.const 7))
 726   (func (result i32) (i32.const 8))
 727   (func (result i32) (i32.const 9))
 728   (func (export "test")
 729     (table.copy (i32.const 31) (i32.const 31) (i32.const 0))
 730     ))
 731
 732 (assert_trap (invoke "test") "out of bounds")
 733
 734 (module
 735   (type (func (result i32)))
 736   (table 32 64 funcref)
 737   (elem (i32.const 0)
 738          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7)
 739   (func $f0 (export "f0") (result i32) (i32.const 0))
 740   (func $f1 (export "f1") (result i32) (i32.const 1))
 741   (func $f2 (export "f2") (result i32) (i32.const 2))
 742   (func $f3 (export "f3") (result i32) (i32.const 3))
 743   (func $f4 (export "f4") (result i32) (i32.const 4))
 744   (func $f5 (export "f5") (result i32) (i32.const 5))
 745   (func $f6 (export "f6") (result i32) (i32.const 6))
 746   (func $f7 (export "f7") (result i32) (i32.const 7))
 747   (func $f8 (export "f8") (result i32) (i32.const 8))
 748   (func $f9 (export "f9") (result i32) (i32.const 9))
 749   (func $f10 (export "f10") (result i32) (i32.const 10))
 750   (func $f11 (export "f11") (result i32) (i32.const 11))
 751   (func $f12 (export "f12") (result i32) (i32.const 12))
 752   (func $f13 (export "f13") (result i32) (i32.const 13))
 753   (func $f14 (export "f14") (result i32) (i32.const 14))
 754   (func $f15 (export "f15") (result i32) (i32.const 15))
 755   (func (export "test") (param $n i32) (result i32)
 756     (call_indirect (type 0) (local.get $n)))
 757   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
 758     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
 759
 760 (assert_trap (invoke "run" (i32.const 24) (i32.const 0) (i32.const 16))
 761              "out of bounds")
 762 (assert_return (invoke "test" (i32.const 0)) (i32.const 0))
 763 (assert_return (invoke "test" (i32.const 1)) (i32.const 1))
 764 (assert_return (invoke "test" (i32.const 2)) (i32.const 2))
 765 (assert_return (invoke "test" (i32.const 3)) (i32.const 3))
 766 (assert_return (invoke "test" (i32.const 4)) (i32.const 4))
 767 (assert_return (invoke "test" (i32.const 5)) (i32.const 5))
 768 (assert_return (invoke "test" (i32.const 6)) (i32.const 6))
 769 (assert_return (invoke "test" (i32.const 7)) (i32.const 7))
 770 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
 771 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
 772 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
 773 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
 774 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
 775 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
 776 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
 777 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
 778 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
 779 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
 780 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
 781 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
 782 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
 783 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
 784 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
 785 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
 786 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
 787 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
 788 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
 789 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
 790 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
 791 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
 792 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
 793 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
 794
 795 (module
 796   (type (func (result i32)))
 797   (table 32 64 funcref)
 798   (elem (i32.const 0)
 799          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8)
 800   (func $f0 (export "f0") (result i32) (i32.const 0))
 801   (func $f1 (export "f1") (result i32) (i32.const 1))
 802   (func $f2 (export "f2") (result i32) (i32.const 2))
 803   (func $f3 (export "f3") (result i32) (i32.const 3))
 804   (func $f4 (export "f4") (result i32) (i32.const 4))
 805   (func $f5 (export "f5") (result i32) (i32.const 5))
 806   (func $f6 (export "f6") (result i32) (i32.const 6))
 807   (func $f7 (export "f7") (result i32) (i32.const 7))
 808   (func $f8 (export "f8") (result i32) (i32.const 8))
 809   (func $f9 (export "f9") (result i32) (i32.const 9))
 810   (func $f10 (export "f10") (result i32) (i32.const 10))
 811   (func $f11 (export "f11") (result i32) (i32.const 11))
 812   (func $f12 (export "f12") (result i32) (i32.const 12))
 813   (func $f13 (export "f13") (result i32) (i32.const 13))
 814   (func $f14 (export "f14") (result i32) (i32.const 14))
 815   (func $f15 (export "f15") (result i32) (i32.const 15))
 816   (func (export "test") (param $n i32) (result i32)
 817     (call_indirect (type 0) (local.get $n)))
 818   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
 819     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
 820
 821 (assert_trap (invoke "run" (i32.const 23) (i32.const 0) (i32.const 15))
 822              "out of bounds")
 823 (assert_return (invoke "test" (i32.const 0)) (i32.const 0))
 824 (assert_return (invoke "test" (i32.const 1)) (i32.const 1))
 825 (assert_return (invoke "test" (i32.const 2)) (i32.const 2))
 826 (assert_return (invoke "test" (i32.const 3)) (i32.const 3))
 827 (assert_return (invoke "test" (i32.const 4)) (i32.const 4))
 828 (assert_return (invoke "test" (i32.const 5)) (i32.const 5))
 829 (assert_return (invoke "test" (i32.const 6)) (i32.const 6))
 830 (assert_return (invoke "test" (i32.const 7)) (i32.const 7))
 831 (assert_return (invoke "test" (i32.const 8)) (i32.const 8))
 832 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
 833 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
 834 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
 835 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
 836 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
 837 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
 838 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
 839 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
 840 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
 841 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
 842 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
 843 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
 844 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
 845 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
 846 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
 847 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
 848 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
 849 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
 850 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
 851 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
 852 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
 853 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
 854 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
 855
 856 (module
 857   (type (func (result i32)))
 858   (table 32 64 funcref)
 859   (elem (i32.const 24)
 860          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7)
 861   (func $f0 (export "f0") (result i32) (i32.const 0))
 862   (func $f1 (export "f1") (result i32) (i32.const 1))
 863   (func $f2 (export "f2") (result i32) (i32.const 2))
 864   (func $f3 (export "f3") (result i32) (i32.const 3))
 865   (func $f4 (export "f4") (result i32) (i32.const 4))
 866   (func $f5 (export "f5") (result i32) (i32.const 5))
 867   (func $f6 (export "f6") (result i32) (i32.const 6))
 868   (func $f7 (export "f7") (result i32) (i32.const 7))
 869   (func $f8 (export "f8") (result i32) (i32.const 8))
 870   (func $f9 (export "f9") (result i32) (i32.const 9))
 871   (func $f10 (export "f10") (result i32) (i32.const 10))
 872   (func $f11 (export "f11") (result i32) (i32.const 11))
 873   (func $f12 (export "f12") (result i32) (i32.const 12))
 874   (func $f13 (export "f13") (result i32) (i32.const 13))
 875   (func $f14 (export "f14") (result i32) (i32.const 14))
 876   (func $f15 (export "f15") (result i32) (i32.const 15))
 877   (func (export "test") (param $n i32) (result i32)
 878     (call_indirect (type 0) (local.get $n)))
 879   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
 880     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
 881
 882 (assert_trap (invoke "run" (i32.const 0) (i32.const 24) (i32.const 16))
 883              "out of bounds")
 884 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
 885 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
 886 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
 887 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
 888 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
 889 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
 890 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
 891 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
 892 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
 893 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
 894 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
 895 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
 896 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
 897 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
 898 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
 899 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
 900 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
 901 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
 902 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
 903 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
 904 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
 905 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
 906 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
 907 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
 908 (assert_return (invoke "test" (i32.const 24)) (i32.const 0))
 909 (assert_return (invoke "test" (i32.const 25)) (i32.const 1))
 910 (assert_return (invoke "test" (i32.const 26)) (i32.const 2))
 911 (assert_return (invoke "test" (i32.const 27)) (i32.const 3))
 912 (assert_return (invoke "test" (i32.const 28)) (i32.const 4))
 913 (assert_return (invoke "test" (i32.const 29)) (i32.const 5))
 914 (assert_return (invoke "test" (i32.const 30)) (i32.const 6))
 915 (assert_return (invoke "test" (i32.const 31)) (i32.const 7))
 916
 917 (module
 918   (type (func (result i32)))
 919   (table 32 64 funcref)
 920   (elem (i32.const 23)
 921          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8)
 922   (func $f0 (export "f0") (result i32) (i32.const 0))
 923   (func $f1 (export "f1") (result i32) (i32.const 1))
 924   (func $f2 (export "f2") (result i32) (i32.const 2))
 925   (func $f3 (export "f3") (result i32) (i32.const 3))
 926   (func $f4 (export "f4") (result i32) (i32.const 4))
 927   (func $f5 (export "f5") (result i32) (i32.const 5))
 928   (func $f6 (export "f6") (result i32) (i32.const 6))
 929   (func $f7 (export "f7") (result i32) (i32.const 7))
 930   (func $f8 (export "f8") (result i32) (i32.const 8))
 931   (func $f9 (export "f9") (result i32) (i32.const 9))
 932   (func $f10 (export "f10") (result i32) (i32.const 10))
 933   (func $f11 (export "f11") (result i32) (i32.const 11))
 934   (func $f12 (export "f12") (result i32) (i32.const 12))
 935   (func $f13 (export "f13") (result i32) (i32.const 13))
 936   (func $f14 (export "f14") (result i32) (i32.const 14))
 937   (func $f15 (export "f15") (result i32) (i32.const 15))
 938   (func (export "test") (param $n i32) (result i32)
 939     (call_indirect (type 0) (local.get $n)))
 940   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
 941     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
 942
 943 (assert_trap (invoke "run" (i32.const 0) (i32.const 23) (i32.const 15))
 944              "out of bounds")
 945 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
 946 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
 947 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
 948 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
 949 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
 950 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
 951 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
 952 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
 953 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
 954 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
 955 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
 956 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
 957 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
 958 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
 959 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
 960 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
 961 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
 962 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
 963 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
 964 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
 965 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
 966 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
 967 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
 968 (assert_return (invoke "test" (i32.const 23)) (i32.const 0))
 969 (assert_return (invoke "test" (i32.const 24)) (i32.const 1))
 970 (assert_return (invoke "test" (i32.const 25)) (i32.const 2))
 971 (assert_return (invoke "test" (i32.const 26)) (i32.const 3))
 972 (assert_return (invoke "test" (i32.const 27)) (i32.const 4))
 973 (assert_return (invoke "test" (i32.const 28)) (i32.const 5))
 974 (assert_return (invoke "test" (i32.const 29)) (i32.const 6))
 975 (assert_return (invoke "test" (i32.const 30)) (i32.const 7))
 976 (assert_return (invoke "test" (i32.const 31)) (i32.const 8))
 977
 978 (module
 979   (type (func (result i32)))
 980   (table 32 64 funcref)
 981   (elem (i32.const 11)
 982          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7)
 983   (func $f0 (export "f0") (result i32) (i32.const 0))
 984   (func $f1 (export "f1") (result i32) (i32.const 1))
 985   (func $f2 (export "f2") (result i32) (i32.const 2))
 986   (func $f3 (export "f3") (result i32) (i32.const 3))
 987   (func $f4 (export "f4") (result i32) (i32.const 4))
 988   (func $f5 (export "f5") (result i32) (i32.const 5))
 989   (func $f6 (export "f6") (result i32) (i32.const 6))
 990   (func $f7 (export "f7") (result i32) (i32.const 7))
 991   (func $f8 (export "f8") (result i32) (i32.const 8))
 992   (func $f9 (export "f9") (result i32) (i32.const 9))
 993   (func $f10 (export "f10") (result i32) (i32.const 10))
 994   (func $f11 (export "f11") (result i32) (i32.const 11))
 995   (func $f12 (export "f12") (result i32) (i32.const 12))
 996   (func $f13 (export "f13") (result i32) (i32.const 13))
 997   (func $f14 (export "f14") (result i32) (i32.const 14))
 998   (func $f15 (export "f15") (result i32) (i32.const 15))
 999   (func (export "test") (param $n i32) (result i32)
1000     (call_indirect (type 0) (local.get $n)))
1001   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1002     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1003
1004 (assert_trap (invoke "run" (i32.const 24) (i32.const 11) (i32.const 16))
1005              "out of bounds")
1006 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1007 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1008 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1009 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1010 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1011 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1012 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1013 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1014 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1015 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1016 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1017 (assert_return (invoke "test" (i32.const 11)) (i32.const 0))
1018 (assert_return (invoke "test" (i32.const 12)) (i32.const 1))
1019 (assert_return (invoke "test" (i32.const 13)) (i32.const 2))
1020 (assert_return (invoke "test" (i32.const 14)) (i32.const 3))
1021 (assert_return (invoke "test" (i32.const 15)) (i32.const 4))
1022 (assert_return (invoke "test" (i32.const 16)) (i32.const 5))
1023 (assert_return (invoke "test" (i32.const 17)) (i32.const 6))
1024 (assert_return (invoke "test" (i32.const 18)) (i32.const 7))
1025 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1026 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1027 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1028 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1029 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1030 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1031 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1032 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1033 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1034 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1035 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1036 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1037 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1038
1039 (module
1040   (type (func (result i32)))
1041   (table 32 64 funcref)
1042   (elem (i32.const 24)
1043          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7)
1044   (func $f0 (export "f0") (result i32) (i32.const 0))
1045   (func $f1 (export "f1") (result i32) (i32.const 1))
1046   (func $f2 (export "f2") (result i32) (i32.const 2))
1047   (func $f3 (export "f3") (result i32) (i32.const 3))
1048   (func $f4 (export "f4") (result i32) (i32.const 4))
1049   (func $f5 (export "f5") (result i32) (i32.const 5))
1050   (func $f6 (export "f6") (result i32) (i32.const 6))
1051   (func $f7 (export "f7") (result i32) (i32.const 7))
1052   (func $f8 (export "f8") (result i32) (i32.const 8))
1053   (func $f9 (export "f9") (result i32) (i32.const 9))
1054   (func $f10 (export "f10") (result i32) (i32.const 10))
1055   (func $f11 (export "f11") (result i32) (i32.const 11))
1056   (func $f12 (export "f12") (result i32) (i32.const 12))
1057   (func $f13 (export "f13") (result i32) (i32.const 13))
1058   (func $f14 (export "f14") (result i32) (i32.const 14))
1059   (func $f15 (export "f15") (result i32) (i32.const 15))
1060   (func (export "test") (param $n i32) (result i32)
1061     (call_indirect (type 0) (local.get $n)))
1062   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1063     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1064
1065 (assert_trap (invoke "run" (i32.const 11) (i32.const 24) (i32.const 16))
1066              "out of bounds")
1067 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1068 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1069 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1070 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1071 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1072 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1073 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1074 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1075 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1076 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1077 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1078 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1079 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1080 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1081 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1082 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1083 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1084 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1085 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1086 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1087 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1088 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1089 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1090 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1091 (assert_return (invoke "test" (i32.const 24)) (i32.const 0))
1092 (assert_return (invoke "test" (i32.const 25)) (i32.const 1))
1093 (assert_return (invoke "test" (i32.const 26)) (i32.const 2))
1094 (assert_return (invoke "test" (i32.const 27)) (i32.const 3))
1095 (assert_return (invoke "test" (i32.const 28)) (i32.const 4))
1096 (assert_return (invoke "test" (i32.const 29)) (i32.const 5))
1097 (assert_return (invoke "test" (i32.const 30)) (i32.const 6))
1098 (assert_return (invoke "test" (i32.const 31)) (i32.const 7))
1099
1100 (module
1101   (type (func (result i32)))
1102   (table 32 64 funcref)
1103   (elem (i32.const 21)
1104          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7)
1105   (func $f0 (export "f0") (result i32) (i32.const 0))
1106   (func $f1 (export "f1") (result i32) (i32.const 1))
1107   (func $f2 (export "f2") (result i32) (i32.const 2))
1108   (func $f3 (export "f3") (result i32) (i32.const 3))
1109   (func $f4 (export "f4") (result i32) (i32.const 4))
1110   (func $f5 (export "f5") (result i32) (i32.const 5))
1111   (func $f6 (export "f6") (result i32) (i32.const 6))
1112   (func $f7 (export "f7") (result i32) (i32.const 7))
1113   (func $f8 (export "f8") (result i32) (i32.const 8))
1114   (func $f9 (export "f9") (result i32) (i32.const 9))
1115   (func $f10 (export "f10") (result i32) (i32.const 10))
1116   (func $f11 (export "f11") (result i32) (i32.const 11))
1117   (func $f12 (export "f12") (result i32) (i32.const 12))
1118   (func $f13 (export "f13") (result i32) (i32.const 13))
1119   (func $f14 (export "f14") (result i32) (i32.const 14))
1120   (func $f15 (export "f15") (result i32) (i32.const 15))
1121   (func (export "test") (param $n i32) (result i32)
1122     (call_indirect (type 0) (local.get $n)))
1123   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1124     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1125
1126 (assert_trap (invoke "run" (i32.const 24) (i32.const 21) (i32.const 16))
1127              "out of bounds")
1128 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1129 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1130 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1131 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1132 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1133 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1134 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1135 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1136 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1137 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1138 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1139 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1140 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1141 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1142 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1143 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1144 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1145 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1146 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1147 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1148 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1149 (assert_return (invoke "test" (i32.const 21)) (i32.const 0))
1150 (assert_return (invoke "test" (i32.const 22)) (i32.const 1))
1151 (assert_return (invoke "test" (i32.const 23)) (i32.const 2))
1152 (assert_return (invoke "test" (i32.const 24)) (i32.const 3))
1153 (assert_return (invoke "test" (i32.const 25)) (i32.const 4))
1154 (assert_return (invoke "test" (i32.const 26)) (i32.const 5))
1155 (assert_return (invoke "test" (i32.const 27)) (i32.const 6))
1156 (assert_return (invoke "test" (i32.const 28)) (i32.const 7))
1157 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1158 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1159 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1160
1161 (module
1162   (type (func (result i32)))
1163   (table 32 64 funcref)
1164   (elem (i32.const 24)
1165          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7)
1166   (func $f0 (export "f0") (result i32) (i32.const 0))
1167   (func $f1 (export "f1") (result i32) (i32.const 1))
1168   (func $f2 (export "f2") (result i32) (i32.const 2))
1169   (func $f3 (export "f3") (result i32) (i32.const 3))
1170   (func $f4 (export "f4") (result i32) (i32.const 4))
1171   (func $f5 (export "f5") (result i32) (i32.const 5))
1172   (func $f6 (export "f6") (result i32) (i32.const 6))
1173   (func $f7 (export "f7") (result i32) (i32.const 7))
1174   (func $f8 (export "f8") (result i32) (i32.const 8))
1175   (func $f9 (export "f9") (result i32) (i32.const 9))
1176   (func $f10 (export "f10") (result i32) (i32.const 10))
1177   (func $f11 (export "f11") (result i32) (i32.const 11))
1178   (func $f12 (export "f12") (result i32) (i32.const 12))
1179   (func $f13 (export "f13") (result i32) (i32.const 13))
1180   (func $f14 (export "f14") (result i32) (i32.const 14))
1181   (func $f15 (export "f15") (result i32) (i32.const 15))
1182   (func (export "test") (param $n i32) (result i32)
1183     (call_indirect (type 0) (local.get $n)))
1184   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1185     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1186
1187 (assert_trap (invoke "run" (i32.const 21) (i32.const 24) (i32.const 16))
1188              "out of bounds")
1189 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1190 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1191 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1192 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1193 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1194 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1195 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1196 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1197 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1198 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1199 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1200 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1201 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1202 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1203 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1204 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1205 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1206 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1207 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1208 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1209 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1210 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1211 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1212 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1213 (assert_return (invoke "test" (i32.const 24)) (i32.const 0))
1214 (assert_return (invoke "test" (i32.const 25)) (i32.const 1))
1215 (assert_return (invoke "test" (i32.const 26)) (i32.const 2))
1216 (assert_return (invoke "test" (i32.const 27)) (i32.const 3))
1217 (assert_return (invoke "test" (i32.const 28)) (i32.const 4))
1218 (assert_return (invoke "test" (i32.const 29)) (i32.const 5))
1219 (assert_return (invoke "test" (i32.const 30)) (i32.const 6))
1220 (assert_return (invoke "test" (i32.const 31)) (i32.const 7))
1221
1222 (module
1223   (type (func (result i32)))
1224   (table 32 64 funcref)
1225   (elem (i32.const 21)
1226          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8 $f9 $f10)
1227   (func $f0 (export "f0") (result i32) (i32.const 0))
1228   (func $f1 (export "f1") (result i32) (i32.const 1))
1229   (func $f2 (export "f2") (result i32) (i32.const 2))
1230   (func $f3 (export "f3") (result i32) (i32.const 3))
1231   (func $f4 (export "f4") (result i32) (i32.const 4))
1232   (func $f5 (export "f5") (result i32) (i32.const 5))
1233   (func $f6 (export "f6") (result i32) (i32.const 6))
1234   (func $f7 (export "f7") (result i32) (i32.const 7))
1235   (func $f8 (export "f8") (result i32) (i32.const 8))
1236   (func $f9 (export "f9") (result i32) (i32.const 9))
1237   (func $f10 (export "f10") (result i32) (i32.const 10))
1238   (func $f11 (export "f11") (result i32) (i32.const 11))
1239   (func $f12 (export "f12") (result i32) (i32.const 12))
1240   (func $f13 (export "f13") (result i32) (i32.const 13))
1241   (func $f14 (export "f14") (result i32) (i32.const 14))
1242   (func $f15 (export "f15") (result i32) (i32.const 15))
1243   (func (export "test") (param $n i32) (result i32)
1244     (call_indirect (type 0) (local.get $n)))
1245   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1246     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1247
1248 (assert_trap (invoke "run" (i32.const 21) (i32.const 21) (i32.const 16))
1249              "out of bounds")
1250 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1251 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1252 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1253 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1254 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1255 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1256 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1257 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1258 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1259 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1260 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1261 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1262 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1263 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1264 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1265 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1266 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1267 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1268 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1269 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1270 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1271 (assert_return (invoke "test" (i32.const 21)) (i32.const 0))
1272 (assert_return (invoke "test" (i32.const 22)) (i32.const 1))
1273 (assert_return (invoke "test" (i32.const 23)) (i32.const 2))
1274 (assert_return (invoke "test" (i32.const 24)) (i32.const 3))
1275 (assert_return (invoke "test" (i32.const 25)) (i32.const 4))
1276 (assert_return (invoke "test" (i32.const 26)) (i32.const 5))
1277 (assert_return (invoke "test" (i32.const 27)) (i32.const 6))
1278 (assert_return (invoke "test" (i32.const 28)) (i32.const 7))
1279 (assert_return (invoke "test" (i32.const 29)) (i32.const 8))
1280 (assert_return (invoke "test" (i32.const 30)) (i32.const 9))
1281 (assert_return (invoke "test" (i32.const 31)) (i32.const 10))
1282
1283 (module
1284   (type (func (result i32)))
1285   (table 128 128 funcref)
1286   (elem (i32.const 112)
1287          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8 $f9 $f10 $f11 $f12 $f13 $f14 $f15)
1288   (func $f0 (export "f0") (result i32) (i32.const 0))
1289   (func $f1 (export "f1") (result i32) (i32.const 1))
1290   (func $f2 (export "f2") (result i32) (i32.const 2))
1291   (func $f3 (export "f3") (result i32) (i32.const 3))
1292   (func $f4 (export "f4") (result i32) (i32.const 4))
1293   (func $f5 (export "f5") (result i32) (i32.const 5))
1294   (func $f6 (export "f6") (result i32) (i32.const 6))
1295   (func $f7 (export "f7") (result i32) (i32.const 7))
1296   (func $f8 (export "f8") (result i32) (i32.const 8))
1297   (func $f9 (export "f9") (result i32) (i32.const 9))
1298   (func $f10 (export "f10") (result i32) (i32.const 10))
1299   (func $f11 (export "f11") (result i32) (i32.const 11))
1300   (func $f12 (export "f12") (result i32) (i32.const 12))
1301   (func $f13 (export "f13") (result i32) (i32.const 13))
1302   (func $f14 (export "f14") (result i32) (i32.const 14))
1303   (func $f15 (export "f15") (result i32) (i32.const 15))
1304   (func (export "test") (param $n i32) (result i32)
1305     (call_indirect (type 0) (local.get $n)))
1306   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1307     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1308
1309 (assert_trap (invoke "run" (i32.const 0) (i32.const 112) (i32.const 4294967264))
1310              "out of bounds")
1311 (assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1312 (assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1313 (assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1314 (assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1315 (assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1316 (assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1317 (assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1318 (assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1319 (assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1320 (assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1321 (assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1322 (assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1323 (assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1324 (assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1325 (assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1326 (assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1327 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1328 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1329 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1330 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1331 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1332 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1333 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1334 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1335 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1336 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1337 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1338 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1339 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1340 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1341 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1342 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1343 (assert_trap (invoke "test" (i32.const 32)) "uninitialized element")
1344 (assert_trap (invoke "test" (i32.const 33)) "uninitialized element")
1345 (assert_trap (invoke "test" (i32.const 34)) "uninitialized element")
1346 (assert_trap (invoke "test" (i32.const 35)) "uninitialized element")
1347 (assert_trap (invoke "test" (i32.const 36)) "uninitialized element")
1348 (assert_trap (invoke "test" (i32.const 37)) "uninitialized element")
1349 (assert_trap (invoke "test" (i32.const 38)) "uninitialized element")
1350 (assert_trap (invoke "test" (i32.const 39)) "uninitialized element")
1351 (assert_trap (invoke "test" (i32.const 40)) "uninitialized element")
1352 (assert_trap (invoke "test" (i32.const 41)) "uninitialized element")
1353 (assert_trap (invoke "test" (i32.const 42)) "uninitialized element")
1354 (assert_trap (invoke "test" (i32.const 43)) "uninitialized element")
1355 (assert_trap (invoke "test" (i32.const 44)) "uninitialized element")
1356 (assert_trap (invoke "test" (i32.const 45)) "uninitialized element")
1357 (assert_trap (invoke "test" (i32.const 46)) "uninitialized element")
1358 (assert_trap (invoke "test" (i32.const 47)) "uninitialized element")
1359 (assert_trap (invoke "test" (i32.const 48)) "uninitialized element")
1360 (assert_trap (invoke "test" (i32.const 49)) "uninitialized element")
1361 (assert_trap (invoke "test" (i32.const 50)) "uninitialized element")
1362 (assert_trap (invoke "test" (i32.const 51)) "uninitialized element")
1363 (assert_trap (invoke "test" (i32.const 52)) "uninitialized element")
1364 (assert_trap (invoke "test" (i32.const 53)) "uninitialized element")
1365 (assert_trap (invoke "test" (i32.const 54)) "uninitialized element")
1366 (assert_trap (invoke "test" (i32.const 55)) "uninitialized element")
1367 (assert_trap (invoke "test" (i32.const 56)) "uninitialized element")
1368 (assert_trap (invoke "test" (i32.const 57)) "uninitialized element")
1369 (assert_trap (invoke "test" (i32.const 58)) "uninitialized element")
1370 (assert_trap (invoke "test" (i32.const 59)) "uninitialized element")
1371 (assert_trap (invoke "test" (i32.const 60)) "uninitialized element")
1372 (assert_trap (invoke "test" (i32.const 61)) "uninitialized element")
1373 (assert_trap (invoke "test" (i32.const 62)) "uninitialized element")
1374 (assert_trap (invoke "test" (i32.const 63)) "uninitialized element")
1375 (assert_trap (invoke "test" (i32.const 64)) "uninitialized element")
1376 (assert_trap (invoke "test" (i32.const 65)) "uninitialized element")
1377 (assert_trap (invoke "test" (i32.const 66)) "uninitialized element")
1378 (assert_trap (invoke "test" (i32.const 67)) "uninitialized element")
1379 (assert_trap (invoke "test" (i32.const 68)) "uninitialized element")
1380 (assert_trap (invoke "test" (i32.const 69)) "uninitialized element")
1381 (assert_trap (invoke "test" (i32.const 70)) "uninitialized element")
1382 (assert_trap (invoke "test" (i32.const 71)) "uninitialized element")
1383 (assert_trap (invoke "test" (i32.const 72)) "uninitialized element")
1384 (assert_trap (invoke "test" (i32.const 73)) "uninitialized element")
1385 (assert_trap (invoke "test" (i32.const 74)) "uninitialized element")
1386 (assert_trap (invoke "test" (i32.const 75)) "uninitialized element")
1387 (assert_trap (invoke "test" (i32.const 76)) "uninitialized element")
1388 (assert_trap (invoke "test" (i32.const 77)) "uninitialized element")
1389 (assert_trap (invoke "test" (i32.const 78)) "uninitialized element")
1390 (assert_trap (invoke "test" (i32.const 79)) "uninitialized element")
1391 (assert_trap (invoke "test" (i32.const 80)) "uninitialized element")
1392 (assert_trap (invoke "test" (i32.const 81)) "uninitialized element")
1393 (assert_trap (invoke "test" (i32.const 82)) "uninitialized element")
1394 (assert_trap (invoke "test" (i32.const 83)) "uninitialized element")
1395 (assert_trap (invoke "test" (i32.const 84)) "uninitialized element")
1396 (assert_trap (invoke "test" (i32.const 85)) "uninitialized element")
1397 (assert_trap (invoke "test" (i32.const 86)) "uninitialized element")
1398 (assert_trap (invoke "test" (i32.const 87)) "uninitialized element")
1399 (assert_trap (invoke "test" (i32.const 88)) "uninitialized element")
1400 (assert_trap (invoke "test" (i32.const 89)) "uninitialized element")
1401 (assert_trap (invoke "test" (i32.const 90)) "uninitialized element")
1402 (assert_trap (invoke "test" (i32.const 91)) "uninitialized element")
1403 (assert_trap (invoke "test" (i32.const 92)) "uninitialized element")
1404 (assert_trap (invoke "test" (i32.const 93)) "uninitialized element")
1405 (assert_trap (invoke "test" (i32.const 94)) "uninitialized element")
1406 (assert_trap (invoke "test" (i32.const 95)) "uninitialized element")
1407 (assert_trap (invoke "test" (i32.const 96)) "uninitialized element")
1408 (assert_trap (invoke "test" (i32.const 97)) "uninitialized element")
1409 (assert_trap (invoke "test" (i32.const 98)) "uninitialized element")
1410 (assert_trap (invoke "test" (i32.const 99)) "uninitialized element")
1411 (assert_trap (invoke "test" (i32.const 100)) "uninitialized element")
1412 (assert_trap (invoke "test" (i32.const 101)) "uninitialized element")
1413 (assert_trap (invoke "test" (i32.const 102)) "uninitialized element")
1414 (assert_trap (invoke "test" (i32.const 103)) "uninitialized element")
1415 (assert_trap (invoke "test" (i32.const 104)) "uninitialized element")
1416 (assert_trap (invoke "test" (i32.const 105)) "uninitialized element")
1417 (assert_trap (invoke "test" (i32.const 106)) "uninitialized element")
1418 (assert_trap (invoke "test" (i32.const 107)) "uninitialized element")
1419 (assert_trap (invoke "test" (i32.const 108)) "uninitialized element")
1420 (assert_trap (invoke "test" (i32.const 109)) "uninitialized element")
1421 (assert_trap (invoke "test" (i32.const 110)) "uninitialized element")
1422 (assert_trap (invoke "test" (i32.const 111)) "uninitialized element")
1423 (assert_return (invoke "test" (i32.const 112)) (i32.const 0))
1424 (assert_return (invoke "test" (i32.const 113)) (i32.const 1))
1425 (assert_return (invoke "test" (i32.const 114)) (i32.const 2))
1426 (assert_return (invoke "test" (i32.const 115)) (i32.const 3))
1427 (assert_return (invoke "test" (i32.const 116)) (i32.const 4))
1428 (assert_return (invoke "test" (i32.const 117)) (i32.const 5))
1429 (assert_return (invoke "test" (i32.const 118)) (i32.const 6))
1430 (assert_return (invoke "test" (i32.const 119)) (i32.const 7))
1431 (assert_return (invoke "test" (i32.const 120)) (i32.const 8))
1432 (assert_return (invoke "test" (i32.const 121)) (i32.const 9))
1433 (assert_return (invoke "test" (i32.const 122)) (i32.const 10))
1434 (assert_return (invoke "test" (i32.const 123)) (i32.const 11))
1435 (assert_return (invoke "test" (i32.const 124)) (i32.const 12))
1436 (assert_return (invoke "test" (i32.const 125)) (i32.const 13))
1437 (assert_return (invoke "test" (i32.const 126)) (i32.const 14))
1438 (assert_return (invoke "test" (i32.const 127)) (i32.const 15))
1439
1440 (module
1441   (type (func (result i32)))
1442   (table 128 128 funcref)
1443   (elem (i32.const 0)
1444          $f0 $f1 $f2 $f3 $f4 $f5 $f6 $f7 $f8 $f9 $f10 $f11 $f12 $f13 $f14 $f15)
1445   (func $f0 (export "f0") (result i32) (i32.const 0))
1446   (func $f1 (export "f1") (result i32) (i32.const 1))
1447   (func $f2 (export "f2") (result i32) (i32.const 2))
1448   (func $f3 (export "f3") (result i32) (i32.const 3))
1449   (func $f4 (export "f4") (result i32) (i32.const 4))
1450   (func $f5 (export "f5") (result i32) (i32.const 5))
1451   (func $f6 (export "f6") (result i32) (i32.const 6))
1452   (func $f7 (export "f7") (result i32) (i32.const 7))
1453   (func $f8 (export "f8") (result i32) (i32.const 8))
1454   (func $f9 (export "f9") (result i32) (i32.const 9))
1455   (func $f10 (export "f10") (result i32) (i32.const 10))
1456   (func $f11 (export "f11") (result i32) (i32.const 11))
1457   (func $f12 (export "f12") (result i32) (i32.const 12))
1458   (func $f13 (export "f13") (result i32) (i32.const 13))
1459   (func $f14 (export "f14") (result i32) (i32.const 14))
1460   (func $f15 (export "f15") (result i32) (i32.const 15))
1461   (func (export "test") (param $n i32) (result i32)
1462     (call_indirect (type 0) (local.get $n)))
1463   (func (export "run") (param $targetOffs i32) (param $srcOffs i32) (param $len i32)
1464     (table.copy (local.get $targetOffs) (local.get $srcOffs) (local.get $len))))
1465
1466 (assert_trap (invoke "run" (i32.const 112) (i32.const 0) (i32.const 4294967264))
1467              "out of bounds")
1468 (assert_return (invoke "test" (i32.const 0)) (i32.const 0))
1469 (assert_return (invoke "test" (i32.const 1)) (i32.const 1))
1470 (assert_return (invoke "test" (i32.const 2)) (i32.const 2))
1471 (assert_return (invoke "test" (i32.const 3)) (i32.const 3))
1472 (assert_return (invoke "test" (i32.const 4)) (i32.const 4))
1473 (assert_return (invoke "test" (i32.const 5)) (i32.const 5))
1474 (assert_return (invoke "test" (i32.const 6)) (i32.const 6))
1475 (assert_return (invoke "test" (i32.const 7)) (i32.const 7))
1476 (assert_return (invoke "test" (i32.const 8)) (i32.const 8))
1477 (assert_return (invoke "test" (i32.const 9)) (i32.const 9))
1478 (assert_return (invoke "test" (i32.const 10)) (i32.const 10))
1479 (assert_return (invoke "test" (i32.const 11)) (i32.const 11))
1480 (assert_return (invoke "test" (i32.const 12)) (i32.const 12))
1481 (assert_return (invoke "test" (i32.const 13)) (i32.const 13))
1482 (assert_return (invoke "test" (i32.const 14)) (i32.const 14))
1483 (assert_return (invoke "test" (i32.const 15)) (i32.const 15))
1484 (assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1485 (assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1486 (assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1487 (assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1488 (assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1489 (assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1490 (assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1491 (assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1492 (assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1493 (assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1494 (assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1495 (assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1496 (assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1497 (assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1498 (assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1499 (assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1500 (assert_trap (invoke "test" (i32.const 32)) "uninitialized element")
1501 (assert_trap (invoke "test" (i32.const 33)) "uninitialized element")
1502 (assert_trap (invoke "test" (i32.const 34)) "uninitialized element")
1503 (assert_trap (invoke "test" (i32.const 35)) "uninitialized element")
1504 (assert_trap (invoke "test" (i32.const 36)) "uninitialized element")
1505 (assert_trap (invoke "test" (i32.const 37)) "uninitialized element")
1506 (assert_trap (invoke "test" (i32.const 38)) "uninitialized element")
1507 (assert_trap (invoke "test" (i32.const 39)) "uninitialized element")
1508 (assert_trap (invoke "test" (i32.const 40)) "uninitialized element")
1509 (assert_trap (invoke "test" (i32.const 41)) "uninitialized element")
1510 (assert_trap (invoke "test" (i32.const 42)) "uninitialized element")
1511 (assert_trap (invoke "test" (i32.const 43)) "uninitialized element")
1512 (assert_trap (invoke "test" (i32.const 44)) "uninitialized element")
1513 (assert_trap (invoke "test" (i32.const 45)) "uninitialized element")
1514 (assert_trap (invoke "test" (i32.const 46)) "uninitialized element")
1515 (assert_trap (invoke "test" (i32.const 47)) "uninitialized element")
1516 (assert_trap (invoke "test" (i32.const 48)) "uninitialized element")
1517 (assert_trap (invoke "test" (i32.const 49)) "uninitialized element")
1518 (assert_trap (invoke "test" (i32.const 50)) "uninitialized element")
1519 (assert_trap (invoke "test" (i32.const 51)) "uninitialized element")
1520 (assert_trap (invoke "test" (i32.const 52)) "uninitialized element")
1521 (assert_trap (invoke "test" (i32.const 53)) "uninitialized element")
1522 (assert_trap (invoke "test" (i32.const 54)) "uninitialized element")
1523 (assert_trap (invoke "test" (i32.const 55)) "uninitialized element")
1524 (assert_trap (invoke "test" (i32.const 56)) "uninitialized element")
1525 (assert_trap (invoke "test" (i32.const 57)) "uninitialized element")
1526 (assert_trap (invoke "test" (i32.const 58)) "uninitialized element")
1527 (assert_trap (invoke "test" (i32.const 59)) "uninitialized element")
1528 (assert_trap (invoke "test" (i32.const 60)) "uninitialized element")
1529 (assert_trap (invoke "test" (i32.const 61)) "uninitialized element")
1530 (assert_trap (invoke "test" (i32.const 62)) "uninitialized element")
1531 (assert_trap (invoke "test" (i32.const 63)) "uninitialized element")
1532 (assert_trap (invoke "test" (i32.const 64)) "uninitialized element")
1533 (assert_trap (invoke "test" (i32.const 65)) "uninitialized element")
1534 (assert_trap (invoke "test" (i32.const 66)) "uninitialized element")
1535 (assert_trap (invoke "test" (i32.const 67)) "uninitialized element")
1536 (assert_trap (invoke "test" (i32.const 68)) "uninitialized element")
1537 (assert_trap (invoke "test" (i32.const 69)) "uninitialized element")
1538 (assert_trap (invoke "test" (i32.const 70)) "uninitialized element")
1539 (assert_trap (invoke "test" (i32.const 71)) "uninitialized element")
1540 (assert_trap (invoke "test" (i32.const 72)) "uninitialized element")
1541 (assert_trap (invoke "test" (i32.const 73)) "uninitialized element")
1542 (assert_trap (invoke "test" (i32.const 74)) "uninitialized element")
1543 (assert_trap (invoke "test" (i32.const 75)) "uninitialized element")
1544 (assert_trap (invoke "test" (i32.const 76)) "uninitialized element")
1545 (assert_trap (invoke "test" (i32.const 77)) "uninitialized element")
1546 (assert_trap (invoke "test" (i32.const 78)) "uninitialized element")
1547 (assert_trap (invoke "test" (i32.const 79)) "uninitialized element")
1548 (assert_trap (invoke "test" (i32.const 80)) "uninitialized element")
1549 (assert_trap (invoke "test" (i32.const 81)) "uninitialized element")
1550 (assert_trap (invoke "test" (i32.const 82)) "uninitialized element")
1551 (assert_trap (invoke "test" (i32.const 83)) "uninitialized element")
1552 (assert_trap (invoke "test" (i32.const 84)) "uninitialized element")
1553 (assert_trap (invoke "test" (i32.const 85)) "uninitialized element")
1554 (assert_trap (invoke "test" (i32.const 86)) "uninitialized element")
1555 (assert_trap (invoke "test" (i32.const 87)) "uninitialized element")
1556 (assert_trap (invoke "test" (i32.const 88)) "uninitialized element")
1557 (assert_trap (invoke "test" (i32.const 89)) "uninitialized element")
1558 (assert_trap (invoke "test" (i32.const 90)) "uninitialized element")
1559 (assert_trap (invoke "test" (i32.const 91)) "uninitialized element")
1560 (assert_trap (invoke "test" (i32.const 92)) "uninitialized element")
1561 (assert_trap (invoke "test" (i32.const 93)) "uninitialized element")
1562 (assert_trap (invoke "test" (i32.const 94)) "uninitialized element")
1563 (assert_trap (invoke "test" (i32.const 95)) "uninitialized element")
1564 (assert_trap (invoke "test" (i32.const 96)) "uninitialized element")
1565 (assert_trap (invoke "test" (i32.const 97)) "uninitialized element")
1566 (assert_trap (invoke "test" (i32.const 98)) "uninitialized element")
1567 (assert_trap (invoke "test" (i32.const 99)) "uninitialized element")
1568 (assert_trap (invoke "test" (i32.const 100)) "uninitialized element")
1569 (assert_trap (invoke "test" (i32.const 101)) "uninitialized element")
1570 (assert_trap (invoke "test" (i32.const 102)) "uninitialized element")
1571 (assert_trap (invoke "test" (i32.const 103)) "uninitialized element")
1572 (assert_trap (invoke "test" (i32.const 104)) "uninitialized element")
1573 (assert_trap (invoke "test" (i32.const 105)) "uninitialized element")
1574 (assert_trap (invoke "test" (i32.const 106)) "uninitialized element")
1575 (assert_trap (invoke "test" (i32.const 107)) "uninitialized element")
1576 (assert_trap (invoke "test" (i32.const 108)) "uninitialized element")
1577 (assert_trap (invoke "test" (i32.const 109)) "uninitialized element")
1578 (assert_trap (invoke "test" (i32.const 110)) "uninitialized element")
1579 (assert_trap (invoke "test" (i32.const 111)) "uninitialized element")
1580 (assert_trap (invoke "test" (i32.const 112)) "uninitialized element")
1581 (assert_trap (invoke "test" (i32.const 113)) "uninitialized element")
1582 (assert_trap (invoke "test" (i32.const 114)) "uninitialized element")
1583 (assert_trap (invoke "test" (i32.const 115)) "uninitialized element")
1584 (assert_trap (invoke "test" (i32.const 116)) "uninitialized element")
1585 (assert_trap (invoke "test" (i32.const 117)) "uninitialized element")
1586 (assert_trap (invoke "test" (i32.const 118)) "uninitialized element")
1587 (assert_trap (invoke "test" (i32.const 119)) "uninitialized element")
1588 (assert_trap (invoke "test" (i32.const 120)) "uninitialized element")
1589 (assert_trap (invoke "test" (i32.const 121)) "uninitialized element")
1590 (assert_trap (invoke "test" (i32.const 122)) "uninitialized element")
1591 (assert_trap (invoke "test" (i32.const 123)) "uninitialized element")
1592 (assert_trap (invoke "test" (i32.const 124)) "uninitialized element")
1593 (assert_trap (invoke "test" (i32.const 125)) "uninitialized element")
1594 (assert_trap (invoke "test" (i32.const 126)) "uninitialized element")
1595 (assert_trap (invoke "test" (i32.const 127)) "uninitialized element")