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

   1 ;; Syntax
   2
   3 (module
   4   (type $t (func))
   5
   6   (func
   7     (param
   8       funcref
   9       externref
  10       (ref func)
  11       (ref extern)
  12       (ref 0)
  13       (ref $t)
  14       (ref 0)
  15       (ref $t)
  16       (ref null func)
  17       (ref null extern)
  18       (ref null 0)
  19       (ref null $t)
  20     )
  21   )
  22 )
  23
  24
  25 ;; Undefined type index.
  26
  27 (assert_invalid
  28   (module (type $type-func-param-invalid (func (param (ref 1)))))
  29   "unknown type"
  30 )
  31 (assert_invalid
  32   (module (type $type-func-result-invalid (func (result (ref 1)))))
  33   "unknown type"
  34 )
  35
  36 (assert_invalid
  37   (module (global $global-invalid (ref null 1) (ref.null 1)))
  38   "unknown type"
  39 )
  40
  41 (assert_invalid
  42   (module (table $table-invalid 10 (ref null 1)))
  43   "unknown type"
  44 )
  45
  46 (assert_invalid
  47   (module (elem $elem-invalid (ref 1)))
  48   "unknown type"
  49 )
  50
  51 (assert_invalid
  52   (module (func $func-param-invalid (param (ref 1))))
  53   "unknown type"
  54 )
  55 (assert_invalid
  56   (module (func $func-result-invalid (result (ref 1))))
  57   "unknown type"
  58 )
  59 (assert_invalid
  60   (module (func $func-local-invalid (local (ref null 1))))
  61   "unknown type"
  62 )
  63
  64 (assert_invalid
  65   (module (func $block-result-invalid (drop (block (result (ref 1)) (unreachable)))))
  66   "unknown type"
  67 )
  68 (assert_invalid
  69   (module (func $loop-result-invalid (drop (loop (result (ref 1)) (unreachable)))))
  70   "unknown type"
  71 )
  72 (assert_invalid
  73   (module (func $if-invalid (drop (if (result (ref 1)) (then) (else)))))
  74   "unknown type"
  75 )
  76
  77 (assert_invalid
  78   (module (func $select-result-invalid (drop (select (result (ref 1)) (unreachable)))))
  79   "unknown type"
  80 )