Files
wasm-instrument/tests/expectations/gas/start.wat
T
Alexander Theißen 0229f865b6 Use u64 for gas counter (#30)
* Use `u64` for gas counter

* Update doc
2022-09-11 14:36:06 +02:00

20 lines
499 B
WebAssembly Text Format

(module
(type (;0;) (func (param i32 i32)))
(type (;1;) (func))
(type (;2;) (func (param i64)))
(import "env" "ext_return" (func $ext_return (;0;) (type 0)))
(import "env" "memory" (memory (;0;) 1 1))
(import "env" "gas" (func (;1;) (type 2)))
(func $start (;2;) (type 1)
i64.const 4
call 1
i32.const 8
i32.const 4
call $ext_return
unreachable
)
(func (;3;) (type 1))
(export "call" (func 3))
(start $start)
(data (;0;) (i32.const 8) "\01\02\03\04")
)