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

   1 (module
   2   (type $t (func))
   3   (table $t1 10 (ref null func))
   4   (table $t2 10 (ref null $t))
   5   (elem $el funcref)
   6   (func $f
   7     (table.init $t1 $el (i32.const 0) (i32.const 1) (i32.const 2))
   8     (table.copy $t1 $t2 (i32.const 0) (i32.const 1) (i32.const 2))
   9   )
  10 )
  11
  12 (assert_invalid
  13   (module
  14     (table $t1 10 funcref)
  15     (table $t2 10 externref)
  16     (func $f
  17       (table.copy $t1 $t2 (i32.const 0) (i32.const 1) (i32.const 2))
  18     )
  19   )
  20   "type mismatch"
  21 )
  22
  23 (assert_invalid
  24   (module
  25     (table $t 10 funcref)
  26     (elem $el externref)
  27     (func $f
  28       (table.init $t $el (i32.const 0) (i32.const 1) (i32.const 2))
  29     )
  30   )
  31   "type mismatch"
  32 )