mirror of
https://github.com/fluencelabs/wasmer
synced 2025-03-30 06:21:04 +00:00
86 lines
2.5 KiB
Plaintext
86 lines
2.5 KiB
Plaintext
(module
|
|
(memory 0)
|
|
(func (export "size") (result i32) (memory.size))
|
|
(func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz))))
|
|
)
|
|
|
|
(assert_return (invoke "size") (i32.const 0))
|
|
(assert_return (invoke "grow" (i32.const 1)))
|
|
(assert_return (invoke "size") (i32.const 1))
|
|
(assert_return (invoke "grow" (i32.const 4)))
|
|
(assert_return (invoke "size") (i32.const 5))
|
|
(assert_return (invoke "grow" (i32.const 0)))
|
|
(assert_return (invoke "size") (i32.const 5))
|
|
|
|
(module
|
|
(memory 1)
|
|
(func (export "size") (result i32) (memory.size))
|
|
(func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz))))
|
|
)
|
|
|
|
(assert_return (invoke "size") (i32.const 1))
|
|
(assert_return (invoke "grow" (i32.const 1)))
|
|
(assert_return (invoke "size") (i32.const 2))
|
|
(assert_return (invoke "grow" (i32.const 4)))
|
|
(assert_return (invoke "size") (i32.const 6))
|
|
(assert_return (invoke "grow" (i32.const 0)))
|
|
(assert_return (invoke "size") (i32.const 6))
|
|
|
|
(module
|
|
(memory 0 2)
|
|
(func (export "size") (result i32) (memory.size))
|
|
(func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz))))
|
|
)
|
|
|
|
(assert_return (invoke "size") (i32.const 0))
|
|
(assert_return (invoke "grow" (i32.const 3)))
|
|
(assert_return (invoke "size") (i32.const 0))
|
|
(assert_return (invoke "grow" (i32.const 1)))
|
|
(assert_return (invoke "size") (i32.const 1))
|
|
(assert_return (invoke "grow" (i32.const 0)))
|
|
(assert_return (invoke "size") (i32.const 1))
|
|
(assert_return (invoke "grow" (i32.const 4)))
|
|
(assert_return (invoke "size") (i32.const 1))
|
|
(assert_return (invoke "grow" (i32.const 1)))
|
|
(assert_return (invoke "size") (i32.const 2))
|
|
|
|
(module
|
|
(memory 3 8)
|
|
(func (export "size") (result i32) (memory.size))
|
|
(func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz))))
|
|
)
|
|
|
|
(assert_return (invoke "size") (i32.const 3))
|
|
(assert_return (invoke "grow" (i32.const 1)))
|
|
(assert_return (invoke "size") (i32.const 4))
|
|
(assert_return (invoke "grow" (i32.const 3)))
|
|
(assert_return (invoke "size") (i32.const 7))
|
|
(assert_return (invoke "grow" (i32.const 0)))
|
|
(assert_return (invoke "size") (i32.const 7))
|
|
(assert_return (invoke "grow" (i32.const 2)))
|
|
(assert_return (invoke "size") (i32.const 7))
|
|
(assert_return (invoke "grow" (i32.const 1)))
|
|
(assert_return (invoke "size") (i32.const 8))
|
|
|
|
|
|
;; Type errors
|
|
|
|
(assert_invalid
|
|
(module
|
|
(memory 1)
|
|
(func $type-result-i32-vs-empty
|
|
(memory.size)
|
|
)
|
|
)
|
|
"type mismatch"
|
|
)
|
|
(assert_invalid
|
|
(module
|
|
(memory 1)
|
|
(func $type-result-i32-vs-f32 (result f32)
|
|
(memory.size)
|
|
)
|
|
)
|
|
"type mismatch"
|
|
)
|