| (module |
| (type $0 (func (param i32) (result i32))) |
| (type $1 (func (result i32))) |
| (memory $0 1) |
| (export "memory" (memory $0)) |
| (export "f1" (func $0)) |
| (export "f2" (func $1)) |
| |
| (func $0 (result i32) |
| (block (result i32) |
| (i32.store (i32.const 0) (memory.grow (i32.const 1))) |
| (i32.load (i32.const 0)) |
| ) |
| ) |
| |
| (func $1 (result i32) |
| (block (result i32) |
| (i32.store (i32.const 0) (call $grow)) |
| (i32.load (i32.const 0)) |
| ) |
| ) |
| |
| (func $grow (result i32) |
| (memory.grow (i32.const 1)) |
| ) |
| ) |
| |
| |
| (assert_return (invoke "f1") (i32.const 1)) |
| (assert_return (invoke "f2") (i32.const 2)) |
