mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-05 02:20:19 +00:00
101 lines
1.8 KiB
Plaintext
101 lines
1.8 KiB
Plaintext
(assert_invalid
|
|
(module (func) (start 1))
|
|
"unknown function"
|
|
)
|
|
|
|
(assert_invalid
|
|
(module
|
|
(func $main (result i32) (return (i32.const 0)))
|
|
(start $main)
|
|
)
|
|
"start function"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(func $main (param $a i32))
|
|
(start $main)
|
|
)
|
|
"start function"
|
|
)
|
|
|
|
(module
|
|
(memory (data "A"))
|
|
(func $inc
|
|
(i32.store8
|
|
(i32.const 0)
|
|
(i32.add
|
|
(i32.load8_u (i32.const 0))
|
|
(i32.const 1)
|
|
)
|
|
)
|
|
)
|
|
(func $get (result i32)
|
|
(return (i32.load8_u (i32.const 0)))
|
|
)
|
|
(func $main
|
|
(call $inc)
|
|
(call $inc)
|
|
(call $inc)
|
|
)
|
|
|
|
(start $main)
|
|
(export "inc" (func $inc))
|
|
(export "get" (func $get))
|
|
)
|
|
(assert_return (invoke "get") (i32.const 68))
|
|
(invoke "inc")
|
|
(assert_return (invoke "get") (i32.const 69))
|
|
(invoke "inc")
|
|
(assert_return (invoke "get") (i32.const 70))
|
|
|
|
(module
|
|
(memory (data "A"))
|
|
(func $inc
|
|
(i32.store8
|
|
(i32.const 0)
|
|
(i32.add
|
|
(i32.load8_u (i32.const 0))
|
|
(i32.const 1)
|
|
)
|
|
)
|
|
)
|
|
(func $get (result i32)
|
|
(return (i32.load8_u (i32.const 0)))
|
|
)
|
|
(func $main
|
|
(call $inc)
|
|
(call $inc)
|
|
(call $inc)
|
|
)
|
|
(start 2)
|
|
(export "inc" (func $inc))
|
|
(export "get" (func $get))
|
|
)
|
|
(assert_return (invoke "get") (i32.const 68))
|
|
(invoke "inc")
|
|
(assert_return (invoke "get") (i32.const 69))
|
|
(invoke "inc")
|
|
(assert_return (invoke "get") (i32.const 70))
|
|
|
|
(module
|
|
(func $print_i32 (import "spectest" "print_i32") (param i32))
|
|
(func $main (call $print_i32 (i32.const 1)))
|
|
(start 1)
|
|
)
|
|
|
|
(module
|
|
(func $print_i32 (import "spectest" "print_i32") (param i32))
|
|
(func $main (call $print_i32 (i32.const 2)))
|
|
(start $main)
|
|
)
|
|
|
|
(module
|
|
(func $print (import "spectest" "print"))
|
|
(start $print)
|
|
)
|
|
|
|
(assert_trap
|
|
(module (func $main (unreachable)) (start $main))
|
|
"unreachable"
|
|
)
|