mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-13 22:25:40 +00:00
74875ed554
* Move wasmer-runtime to wasmer-runtime-core * Add the runtime library * Fix issue with macros using wasmer_runtime, fmt * Make default compiler dependency optional * Add instantiate and validate functions
361 lines
11 KiB
Plaintext
361 lines
11 KiB
Plaintext
;; Test `call` operator
|
|
|
|
(module
|
|
;; Auxiliary definitions
|
|
(func $const-i32 (result i32) (i32.const 0x132))
|
|
(func $const-i64 (result i64) (i64.const 0x164))
|
|
(func $const-f32 (result f32) (f32.const 0xf32))
|
|
(func $const-f64 (result f64) (f64.const 0xf64))
|
|
|
|
(func $id-i32 (param i32) (result i32) (get_local 0))
|
|
(func $id-i64 (param i64) (result i64) (get_local 0))
|
|
(func $id-f32 (param f32) (result f32) (get_local 0))
|
|
(func $id-f64 (param f64) (result f64) (get_local 0))
|
|
|
|
(func $f32-i32 (param f32 i32) (result i32) (get_local 1))
|
|
(func $i32-i64 (param i32 i64) (result i64) (get_local 1))
|
|
(func $f64-f32 (param f64 f32) (result f32) (get_local 1))
|
|
(func $i64-f64 (param i64 f64) (result f64) (get_local 1))
|
|
|
|
;; Typing
|
|
|
|
(func (export "type-i32") (result i32) (call $const-i32))
|
|
(func (export "type-i64") (result i64) (call $const-i64))
|
|
(func (export "type-f32") (result f32) (call $const-f32))
|
|
(func (export "type-f64") (result f64) (call $const-f64))
|
|
|
|
(func (export "type-first-i32") (result i32) (call $id-i32 (i32.const 32)))
|
|
(func (export "type-first-i64") (result i64) (call $id-i64 (i64.const 64)))
|
|
(func (export "type-first-f32") (result f32) (call $id-f32 (f32.const 1.32)))
|
|
(func (export "type-first-f64") (result f64) (call $id-f64 (f64.const 1.64)))
|
|
|
|
(func (export "type-second-i32") (result i32)
|
|
(call $f32-i32 (f32.const 32.1) (i32.const 32))
|
|
)
|
|
(func (export "type-second-i64") (result i64)
|
|
(call $i32-i64 (i32.const 32) (i64.const 64))
|
|
)
|
|
(func (export "type-second-f32") (result f32)
|
|
(call $f64-f32 (f64.const 64) (f32.const 32))
|
|
)
|
|
(func (export "type-second-f64") (result f64)
|
|
(call $i64-f64 (i64.const 64) (f64.const 64.1))
|
|
)
|
|
|
|
;; Recursion
|
|
|
|
(func $fac (export "fac") (param i64) (result i64)
|
|
(if (result i64) (i64.eqz (get_local 0))
|
|
(then (i64.const 1))
|
|
(else
|
|
(i64.mul
|
|
(get_local 0)
|
|
(call $fac (i64.sub (get_local 0) (i64.const 1)))
|
|
)
|
|
)
|
|
)
|
|
)
|
|
|
|
(func $fac-acc (export "fac-acc") (param i64 i64) (result i64)
|
|
(if (result i64) (i64.eqz (get_local 0))
|
|
(then (get_local 1))
|
|
(else
|
|
(call $fac-acc
|
|
(i64.sub (get_local 0) (i64.const 1))
|
|
(i64.mul (get_local 0) (get_local 1))
|
|
)
|
|
)
|
|
)
|
|
)
|
|
|
|
(func $fib (export "fib") (param i64) (result i64)
|
|
(if (result i64) (i64.le_u (get_local 0) (i64.const 1))
|
|
(then (i64.const 1))
|
|
(else
|
|
(i64.add
|
|
(call $fib (i64.sub (get_local 0) (i64.const 2)))
|
|
(call $fib (i64.sub (get_local 0) (i64.const 1)))
|
|
)
|
|
)
|
|
)
|
|
)
|
|
|
|
(func $even (export "even") (param i64) (result i32)
|
|
(if (result i32) (i64.eqz (get_local 0))
|
|
(then (i32.const 44))
|
|
(else (call $odd (i64.sub (get_local 0) (i64.const 1))))
|
|
)
|
|
)
|
|
(func $odd (export "odd") (param i64) (result i32)
|
|
(if (result i32) (i64.eqz (get_local 0))
|
|
(then (i32.const 99))
|
|
(else (call $even (i64.sub (get_local 0) (i64.const 1))))
|
|
)
|
|
)
|
|
|
|
;; Stack exhaustion
|
|
|
|
;; Implementations are required to have every call consume some abstract
|
|
;; resource towards exhausting some abstract finite limit, such that
|
|
;; infinitely recursive test cases reliably trap in finite time. This is
|
|
;; because otherwise applications could come to depend on it on those
|
|
;; implementations and be incompatible with implementations that don't do
|
|
;; it (or don't do it under the same circumstances).
|
|
|
|
(func $runaway (export "runaway") (call $runaway))
|
|
|
|
(func $mutual-runaway1 (export "mutual-runaway") (call $mutual-runaway2))
|
|
(func $mutual-runaway2 (call $mutual-runaway1))
|
|
|
|
;; As parameter of control constructs and instructions
|
|
|
|
(memory 1)
|
|
|
|
(func (export "as-select-first") (result i32)
|
|
(select (call $const-i32) (i32.const 2) (i32.const 3))
|
|
)
|
|
(func (export "as-select-mid") (result i32)
|
|
(select (i32.const 2) (call $const-i32) (i32.const 3))
|
|
)
|
|
(func (export "as-select-last") (result i32)
|
|
(select (i32.const 2) (i32.const 3) (call $const-i32))
|
|
)
|
|
|
|
(func (export "as-if-condition") (result i32)
|
|
(if (result i32) (call $const-i32) (then (i32.const 1)) (else (i32.const 2)))
|
|
)
|
|
|
|
(func (export "as-br_if-first") (result i32)
|
|
(block (result i32) (br_if 0 (call $const-i32) (i32.const 2)))
|
|
)
|
|
(func (export "as-br_if-last") (result i32)
|
|
(block (result i32) (br_if 0 (i32.const 2) (call $const-i32)))
|
|
)
|
|
|
|
(func (export "as-br_table-first") (result i32)
|
|
(block (result i32) (call $const-i32) (i32.const 2) (br_table 0 0))
|
|
)
|
|
(func (export "as-br_table-last") (result i32)
|
|
(block (result i32) (i32.const 2) (call $const-i32) (br_table 0 0))
|
|
)
|
|
|
|
(func $func (param i32 i32) (result i32) (get_local 0))
|
|
(type $check (func (param i32 i32) (result i32)))
|
|
(table anyfunc (elem $func))
|
|
(func (export "as-call_indirect-first") (result i32)
|
|
(block (result i32)
|
|
(call_indirect (type $check)
|
|
(call $const-i32) (i32.const 2) (i32.const 0)
|
|
)
|
|
)
|
|
)
|
|
(func (export "as-call_indirect-mid") (result i32)
|
|
(block (result i32)
|
|
(call_indirect (type $check)
|
|
(i32.const 2) (call $const-i32) (i32.const 0)
|
|
)
|
|
)
|
|
)
|
|
(func (export "as-call_indirect-last") (result i32)
|
|
(block (result i32)
|
|
(call_indirect (type $check)
|
|
(i32.const 1) (i32.const 2) (call $const-i32)
|
|
)
|
|
)
|
|
)
|
|
|
|
(func (export "as-store-first")
|
|
(call $const-i32) (i32.const 1) (i32.store)
|
|
)
|
|
(func (export "as-store-last")
|
|
(i32.const 10) (call $const-i32) (i32.store)
|
|
)
|
|
|
|
(func (export "as-memory.grow-value") (result i32)
|
|
(memory.grow (call $const-i32))
|
|
)
|
|
(func (export "as-return-value") (result i32)
|
|
(call $const-i32) (return)
|
|
)
|
|
(func (export "as-drop-operand")
|
|
(call $const-i32) (drop)
|
|
)
|
|
(func (export "as-br-value") (result i32)
|
|
(block (result i32) (br 0 (call $const-i32)))
|
|
)
|
|
(func (export "as-set_local-value") (result i32)
|
|
(local i32) (set_local 0 (call $const-i32)) (get_local 0)
|
|
)
|
|
(func (export "as-tee_local-value") (result i32)
|
|
(local i32) (tee_local 0 (call $const-i32))
|
|
)
|
|
(global $a (mut i32) (i32.const 10))
|
|
(func (export "as-set_global-value") (result i32)
|
|
(set_global $a (call $const-i32))
|
|
(get_global $a)
|
|
)
|
|
(func (export "as-load-operand") (result i32)
|
|
(i32.load (call $const-i32))
|
|
)
|
|
)
|
|
|
|
(assert_return (invoke "type-i32") (i32.const 0x132))
|
|
(assert_return (invoke "type-i64") (i64.const 0x164))
|
|
(assert_return (invoke "type-f32") (f32.const 0xf32))
|
|
(assert_return (invoke "type-f64") (f64.const 0xf64))
|
|
|
|
(assert_return (invoke "type-first-i32") (i32.const 32))
|
|
(assert_return (invoke "type-first-i64") (i64.const 64))
|
|
(assert_return (invoke "type-first-f32") (f32.const 1.32))
|
|
(assert_return (invoke "type-first-f64") (f64.const 1.64))
|
|
|
|
(assert_return (invoke "type-second-i32") (i32.const 32))
|
|
(assert_return (invoke "type-second-i64") (i64.const 64))
|
|
(assert_return (invoke "type-second-f32") (f32.const 32))
|
|
(assert_return (invoke "type-second-f64") (f64.const 64.1))
|
|
|
|
(assert_return (invoke "fac" (i64.const 0)) (i64.const 1))
|
|
(assert_return (invoke "fac" (i64.const 1)) (i64.const 1))
|
|
(assert_return (invoke "fac" (i64.const 5)) (i64.const 120))
|
|
(assert_return (invoke "fac" (i64.const 25)) (i64.const 7034535277573963776))
|
|
(assert_return (invoke "fac-acc" (i64.const 0) (i64.const 1)) (i64.const 1))
|
|
(assert_return (invoke "fac-acc" (i64.const 1) (i64.const 1)) (i64.const 1))
|
|
(assert_return (invoke "fac-acc" (i64.const 5) (i64.const 1)) (i64.const 120))
|
|
(assert_return
|
|
(invoke "fac-acc" (i64.const 25) (i64.const 1))
|
|
(i64.const 7034535277573963776)
|
|
)
|
|
|
|
(assert_return (invoke "fib" (i64.const 0)) (i64.const 1))
|
|
(assert_return (invoke "fib" (i64.const 1)) (i64.const 1))
|
|
(assert_return (invoke "fib" (i64.const 2)) (i64.const 2))
|
|
(assert_return (invoke "fib" (i64.const 5)) (i64.const 8))
|
|
(assert_return (invoke "fib" (i64.const 20)) (i64.const 10946))
|
|
|
|
(assert_return (invoke "even" (i64.const 0)) (i32.const 44))
|
|
(assert_return (invoke "even" (i64.const 1)) (i32.const 99))
|
|
(assert_return (invoke "even" (i64.const 100)) (i32.const 44))
|
|
(assert_return (invoke "even" (i64.const 77)) (i32.const 99))
|
|
(assert_return (invoke "odd" (i64.const 0)) (i32.const 99))
|
|
(assert_return (invoke "odd" (i64.const 1)) (i32.const 44))
|
|
(assert_return (invoke "odd" (i64.const 200)) (i32.const 99))
|
|
(assert_return (invoke "odd" (i64.const 77)) (i32.const 44))
|
|
|
|
(assert_exhaustion (invoke "runaway") "call stack exhausted")
|
|
(assert_exhaustion (invoke "mutual-runaway") "call stack exhausted")
|
|
|
|
(assert_return (invoke "as-select-first") (i32.const 0x132))
|
|
(assert_return (invoke "as-select-mid") (i32.const 2))
|
|
(assert_return (invoke "as-select-last") (i32.const 2))
|
|
|
|
(assert_return (invoke "as-if-condition") (i32.const 1))
|
|
|
|
(assert_return (invoke "as-br_if-first") (i32.const 0x132))
|
|
(assert_return (invoke "as-br_if-last") (i32.const 2))
|
|
|
|
(assert_return (invoke "as-br_table-first") (i32.const 0x132))
|
|
(assert_return (invoke "as-br_table-last") (i32.const 2))
|
|
|
|
(assert_return (invoke "as-call_indirect-first") (i32.const 0x132))
|
|
(assert_return (invoke "as-call_indirect-mid") (i32.const 2))
|
|
(assert_trap (invoke "as-call_indirect-last") "undefined element")
|
|
|
|
(assert_return (invoke "as-store-first"))
|
|
(assert_return (invoke "as-store-last"))
|
|
|
|
(assert_return (invoke "as-memory.grow-value") (i32.const 1))
|
|
(assert_return (invoke "as-return-value") (i32.const 0x132))
|
|
(assert_return (invoke "as-drop-operand"))
|
|
(assert_return (invoke "as-br-value") (i32.const 0x132))
|
|
(assert_return (invoke "as-set_local-value") (i32.const 0x132))
|
|
(assert_return (invoke "as-tee_local-value") (i32.const 0x132))
|
|
(assert_return (invoke "as-set_global-value") (i32.const 0x132))
|
|
(assert_return (invoke "as-load-operand") (i32.const 1))
|
|
|
|
;; Invalid typing
|
|
|
|
(assert_invalid
|
|
(module
|
|
(func $type-void-vs-num (i32.eqz (call 1)))
|
|
(func)
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $type-num-vs-num (i32.eqz (call 1)))
|
|
(func (result i64) (i64.const 1))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
|
|
(assert_invalid
|
|
(module
|
|
(func $arity-0-vs-1 (call 1))
|
|
(func (param i32))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $arity-0-vs-2 (call 1))
|
|
(func (param f64 i32))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $arity-1-vs-0 (call 1 (i32.const 1)))
|
|
(func)
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $arity-2-vs-0 (call 1 (f64.const 2) (i32.const 1)))
|
|
(func)
|
|
)
|
|
"type mismatch"
|
|
)
|
|
|
|
(assert_invalid
|
|
(module
|
|
(func $type-first-void-vs-num (call 1 (nop) (i32.const 1)))
|
|
(func (param i32 i32))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $type-second-void-vs-num (call 1 (i32.const 1) (nop)))
|
|
(func (param i32 i32))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $type-first-num-vs-num (call 1 (f64.const 1) (i32.const 1)))
|
|
(func (param i32 f64))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $type-second-num-vs-num (call 1 (i32.const 1) (f64.const 1)))
|
|
(func (param f64 i32))
|
|
)
|
|
"type mismatch"
|
|
)
|
|
|
|
|
|
;; Unbound function
|
|
|
|
(assert_invalid
|
|
(module (func $unbound-func (call 1)))
|
|
"unknown function"
|
|
)
|
|
(assert_invalid
|
|
(module (func $large-func (call 1012321300)))
|
|
"unknown function"
|
|
)
|