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

   1 ;; Test `return_call` operator
   2
   3 (module
   4   ;; Auxiliary definitions
   5   (func $const-i32 (result i32) (i32.const 0x132))
   6   (func $const-i64 (result i64) (i64.const 0x164))
   7   (func $const-f32 (result f32) (f32.const 0xf32))
   8   (func $const-f64 (result f64) (f64.const 0xf64))
   9
  10   (func $id-i32 (param i32) (result i32) (get_local 0))
  11   (func $id-i64 (param i64) (result i64) (get_local 0))
  12   (func $id-f32 (param f32) (result f32) (get_local 0))
  13   (func $id-f64 (param f64) (result f64) (get_local 0))
  14
  15   (func $f32-i32 (param f32 i32) (result i32) (get_local 1))
  16   (func $i32-i64 (param i32 i64) (result i64) (get_local 1))
  17   (func $f64-f32 (param f64 f32) (result f32) (get_local 1))
  18   (func $i64-f64 (param i64 f64) (result f64) (get_local 1))
  19
  20   ;; Typing
  21
  22   (func (export "type-i32") (result i32) (return_call $const-i32))
  23   (func (export "type-i64") (result i64) (return_call $const-i64))
  24   (func (export "type-f32") (result f32) (return_call $const-f32))
  25   (func (export "type-f64") (result f64) (return_call $const-f64))
  26
  27   (func (export "type-first-i32") (result i32) (return_call $id-i32 (i32.const 32)))
  28   (func (export "type-first-i64") (result i64) (return_call $id-i64 (i64.const 64)))
  29   (func (export "type-first-f32") (result f32) (return_call $id-f32 (f32.const 1.32)))
  30   (func (export "type-first-f64") (result f64) (return_call $id-f64 (f64.const 1.64)))
  31
  32   (func (export "type-second-i32") (result i32)
  33     (return_call $f32-i32 (f32.const 32.1) (i32.const 32))
  34   )
  35   (func (export "type-second-i64") (result i64)
  36     (return_call $i32-i64 (i32.const 32) (i64.const 64))
  37   )
  38   (func (export "type-second-f32") (result f32)
  39     (return_call $f64-f32 (f64.const 64) (f32.const 32))
  40   )
  41   (func (export "type-second-f64") (result f64)
  42     (return_call $i64-f64 (i64.const 64) (f64.const 64.1))
  43   )
  44
  45   ;; Recursion
  46
  47   (func $fac-acc (export "fac-acc") (param i64 i64) (result i64)
  48     (if (result i64) (i64.eqz (get_local 0))
  49       (then (get_local 1))
  50       (else
  51         (return_call $fac-acc
  52           (i64.sub (get_local 0) (i64.const 1))
  53           (i64.mul (get_local 0) (get_local 1))
  54         )
  55       )
  56     )
  57   )
  58
  59   (func $count (export "count") (param i64) (result i64)
  60     (if (result i64) (i64.eqz (get_local 0))
  61       (then (get_local 0))
  62       (else (return_call $count (i64.sub (get_local 0) (i64.const 1))))
  63     )
  64   )
  65
  66   (func $even (export "even") (param i64) (result i32)
  67     (if (result i32) (i64.eqz (get_local 0))
  68       (then (i32.const 44))
  69       (else (return_call $odd (i64.sub (get_local 0) (i64.const 1))))
  70     )
  71   )
  72   (func $odd (export "odd") (param i64) (result i32)
  73     (if (result i32) (i64.eqz (get_local 0))
  74       (then (i32.const 99))
  75       (else (return_call $even (i64.sub (get_local 0) (i64.const 1))))
  76     )
  77   )
  78 )
  79
  80 (assert_return (invoke "type-i32") (i32.const 0x132))
  81 (assert_return (invoke "type-i64") (i64.const 0x164))
  82 (assert_return (invoke "type-f32") (f32.const 0xf32))
  83 (assert_return (invoke "type-f64") (f64.const 0xf64))
  84
  85 (assert_return (invoke "type-first-i32") (i32.const 32))
  86 (assert_return (invoke "type-first-i64") (i64.const 64))
  87 (assert_return (invoke "type-first-f32") (f32.const 1.32))
  88 (assert_return (invoke "type-first-f64") (f64.const 1.64))
  89
  90 (assert_return (invoke "type-second-i32") (i32.const 32))
  91 (assert_return (invoke "type-second-i64") (i64.const 64))
  92 (assert_return (invoke "type-second-f32") (f32.const 32))
  93 (assert_return (invoke "type-second-f64") (f64.const 64.1))
  94
  95 (assert_return (invoke "fac-acc" (i64.const 0) (i64.const 1)) (i64.const 1))
  96 (assert_return (invoke "fac-acc" (i64.const 1) (i64.const 1)) (i64.const 1))
  97 (assert_return (invoke "fac-acc" (i64.const 5) (i64.const 1)) (i64.const 120))
  98 (assert_return
  99   (invoke "fac-acc" (i64.const 25) (i64.const 1))
 100   (i64.const 7034535277573963776)
 101 )
 102
 103 (assert_return (invoke "count" (i64.const 0)) (i64.const 0))
 104 (assert_return (invoke "count" (i64.const 1000)) (i64.const 0))
 105 (assert_return (invoke "count" (i64.const 1_000_000)) (i64.const 0))
 106
 107 (assert_return (invoke "even" (i64.const 0)) (i32.const 44))
 108 (assert_return (invoke "even" (i64.const 1)) (i32.const 99))
 109 (assert_return (invoke "even" (i64.const 100)) (i32.const 44))
 110 (assert_return (invoke "even" (i64.const 77)) (i32.const 99))
 111 (assert_return (invoke "even" (i64.const 1_000_000)) (i32.const 44))
 112 (assert_return (invoke "even" (i64.const 1_000_001)) (i32.const 99))
 113 (assert_return (invoke "odd" (i64.const 0)) (i32.const 99))
 114 (assert_return (invoke "odd" (i64.const 1)) (i32.const 44))
 115 (assert_return (invoke "odd" (i64.const 200)) (i32.const 99))
 116 (assert_return (invoke "odd" (i64.const 77)) (i32.const 44))
 117 (assert_return (invoke "odd" (i64.const 1_000_000)) (i32.const 99))
 118 (assert_return (invoke "odd" (i64.const 999_999)) (i32.const 44))
 119
 120
 121 ;; Invalid typing
 122
 123 (assert_invalid
 124   (module
 125     (func $type-void-vs-num (result i32) (return_call 1) (i32.const 0))
 126     (func)
 127   )
 128   "type mismatch"
 129 )
 130 (assert_invalid
 131   (module
 132     (func $type-num-vs-num (result i32) (return_call 1) (i32.const 0))
 133     (func (result i64) (i64.const 1))
 134   )
 135   "type mismatch"
 136 )
 137
 138 (assert_invalid
 139   (module
 140     (func $arity-0-vs-1 (return_call 1))
 141     (func (param i32))
 142   )
 143   "type mismatch"
 144 )
 145 (assert_invalid
 146   (module
 147     (func $arity-0-vs-2 (return_call 1))
 148     (func (param f64 i32))
 149   )
 150   "type mismatch"
 151 )
 152
 153 (module
 154   (func $arity-1-vs-0 (i32.const 1) (return_call 1))
 155   (func)
 156 )
 157
 158 (module
 159   (func $arity-2-vs-0 (f64.const 2) (i32.const 1) (return_call 1))
 160   (func)
 161 )
 162
 163 (assert_invalid
 164   (module
 165     (func $type-first-void-vs-num (return_call 1 (nop) (i32.const 1)))
 166     (func (param i32 i32))
 167   )
 168   "type mismatch"
 169 )
 170 (assert_invalid
 171   (module
 172     (func $type-second-void-vs-num (return_call 1 (i32.const 1) (nop)))
 173     (func (param i32 i32))
 174   )
 175   "type mismatch"
 176 )
 177 (assert_invalid
 178   (module
 179     (func $type-first-num-vs-num (return_call 1 (f64.const 1) (i32.const 1)))
 180     (func (param i32 f64))
 181   )
 182   "type mismatch"
 183 )
 184 (assert_invalid
 185   (module
 186     (func $type-second-num-vs-num (return_call 1 (i32.const 1) (f64.const 1)))
 187     (func (param f64 i32))
 188   )
 189   "type mismatch"
 190 )
 191
 192
 193 ;; Unbound function
 194
 195 (assert_invalid
 196   (module (func $unbound-func (return_call 1)))
 197   "unknown function"
 198 )
 199 (assert_invalid
 200   (module (func $large-func (return_call 1012321300)))
 201   "unknown function"
 202 )