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

   1 (module
   2   (type $t (func))
   3   (func $dummy)
   4
   5   (func $f1 (export "funcref") (param $x funcref) (result i32)
   6     (ref.is_null (local.get $x))
   7   )
   8   (func $f2 (export "externref") (param $x externref) (result i32)
   9     (ref.is_null (local.get $x))
  10   )
  11   (func $f3 (param $x (ref null $t)) (result i32)
  12     (ref.is_null (local.get $x))
  13   )
  14   (func $f3' (export "ref-null") (result i32)
  15     (call $f3 (ref.null $t))
  16   )
  17
  18   (table $t1 2 funcref)
  19   (table $t2 2 externref)
  20   (table $t3 2 (ref null $t))
  21   (elem (table $t1) (i32.const 1) func $dummy)
  22   (elem (table $t3) (i32.const 1) (ref $t) (ref.func $dummy))
  23
  24   (func (export "init") (param $r externref)
  25     (table.set $t2 (i32.const 1) (local.get $r))
  26   )
  27   (func (export "deinit")
  28     (table.set $t1 (i32.const 1) (ref.null func))
  29     (table.set $t2 (i32.const 1) (ref.null extern))
  30     (table.set $t3 (i32.const 1) (ref.null $t))
  31   )
  32
  33   (func (export "funcref-elem") (param $x i32) (result i32)
  34     (call $f1 (table.get $t1 (local.get $x)))
  35   )
  36   (func (export "externref-elem") (param $x i32) (result i32)
  37     (call $f2 (table.get $t2 (local.get $x)))
  38   )
  39   (func (export "ref-elem") (param $x i32) (result i32)
  40     (call $f3 (table.get $t3 (local.get $x)))
  41   )
  42 )
  43
  44 (assert_return (invoke "funcref" (ref.null func)) (i32.const 1))
  45 (assert_return (invoke "externref" (ref.null extern)) (i32.const 1))
  46 (assert_return (invoke "ref-null") (i32.const 1))
  47
  48 (assert_return (invoke "externref" (ref.extern 1)) (i32.const 0))
  49
  50 (invoke "init" (ref.extern 0))
  51
  52 (assert_return (invoke "funcref-elem" (i32.const 0)) (i32.const 1))
  53 (assert_return (invoke "externref-elem" (i32.const 0)) (i32.const 1))
  54 (assert_return (invoke "ref-elem" (i32.const 0)) (i32.const 1))
  55
  56 (assert_return (invoke "funcref-elem" (i32.const 1)) (i32.const 0))
  57 (assert_return (invoke "externref-elem" (i32.const 1)) (i32.const 0))
  58 (assert_return (invoke "ref-elem" (i32.const 1)) (i32.const 0))
  59
  60 (invoke "deinit")
  61
  62 (assert_return (invoke "funcref-elem" (i32.const 0)) (i32.const 1))
  63 (assert_return (invoke "externref-elem" (i32.const 0)) (i32.const 1))
  64 (assert_return (invoke "ref-elem" (i32.const 0)) (i32.const 1))
  65
  66 (assert_return (invoke "funcref-elem" (i32.const 1)) (i32.const 1))
  67 (assert_return (invoke "externref-elem" (i32.const 1)) (i32.const 1))
  68 (assert_return (invoke "ref-elem" (i32.const 1)) (i32.const 1))
  69
  70
  71 (module
  72   (type $t (func))
  73   (func (param $r (ref $t)) (drop (ref.is_null (local.get $r))))
  74   (func (param $r (ref func)) (drop (ref.is_null (local.get $r))))
  75   (func (param $r (ref extern)) (drop (ref.is_null (local.get $r))))
  76 )
  77
  78 (assert_invalid
  79   (module (func $ref-vs-num (param i32) (ref.is_null (local.get 0))))
  80   "type mismatch"
  81 )
  82 (assert_invalid
  83   (module (func $ref-vs-empty (ref.is_null)))
  84   "type mismatch"
  85 )