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

   1 (module
   2   (func $f1 (export "funcref") (param $x funcref) (result i32)
   3     (ref.is_null (local.get $x))
   4   )
   5   (func $f2 (export "externref") (param $x externref) (result i32)
   6     (ref.is_null (local.get $x))
   7   )
   8
   9   (table $t1 2 funcref)
  10   (table $t2 2 externref)
  11   (elem (table $t1) (i32.const 1) func $dummy)
  12   (func $dummy)
  13
  14   (func (export "init") (param $r externref)
  15     (table.set $t2 (i32.const 1) (local.get $r))
  16   )
  17   (func (export "deinit")
  18     (table.set $t1 (i32.const 1) (ref.null func))
  19     (table.set $t2 (i32.const 1) (ref.null extern))
  20   )
  21
  22   (func (export "funcref-elem") (param $x i32) (result i32)
  23     (call $f1 (table.get $t1 (local.get $x)))
  24   )
  25   (func (export "externref-elem") (param $x i32) (result i32)
  26     (call $f2 (table.get $t2 (local.get $x)))
  27   )
  28 )
  29
  30 (assert_return (invoke "funcref" (ref.null func)) (i32.const 1))
  31 (assert_return (invoke "externref" (ref.null extern)) (i32.const 1))
  32
  33 (assert_return (invoke "externref" (ref.extern 1)) (i32.const 0))
  34
  35 (invoke "init" (ref.extern 0))
  36
  37 (assert_return (invoke "funcref-elem" (i32.const 0)) (i32.const 1))
  38 (assert_return (invoke "externref-elem" (i32.const 0)) (i32.const 1))
  39
  40 (assert_return (invoke "funcref-elem" (i32.const 1)) (i32.const 0))
  41 (assert_return (invoke "externref-elem" (i32.const 1)) (i32.const 0))
  42
  43 (invoke "deinit")
  44
  45 (assert_return (invoke "funcref-elem" (i32.const 0)) (i32.const 1))
  46 (assert_return (invoke "externref-elem" (i32.const 0)) (i32.const 1))
  47
  48 (assert_return (invoke "funcref-elem" (i32.const 1)) (i32.const 1))
  49 (assert_return (invoke "externref-elem" (i32.const 1)) (i32.const 1))
  50
  51 (assert_invalid
  52   (module (func $ref-vs-num (param i32) (ref.is_null (local.get 0))))
  53   "type mismatch"
  54 )
  55 (assert_invalid
  56   (module (func $ref-vs-empty (ref.is_null)))
  57   "type mismatch"
  58 )