mirror of
https://github.com/pezkuwichain/wasm-instrument.git
synced 2026-06-13 21:01:07 +00:00
Sasha Gryaznov
38 lines
775 B
WebAssembly Text Format
38 lines
775 B
WebAssembly Text Format
(module
|
|
(type (;0;) (func (param i32 i32) (result i32)))
|
|
(type (;1;) (func (param i64)))
|
|
(func $add_locals (;0;) (type 0) (param $x i32) (param $y i32) (result i32)
|
|
(local $t i32)
|
|
i64.const 17
|
|
call 2
|
|
local.get $x
|
|
local.get $y
|
|
call $add
|
|
local.set $t
|
|
local.get $t
|
|
)
|
|
(func $add (;1;) (type 0) (param $x i32) (param $y i32) (result i32)
|
|
i64.const 14
|
|
call 2
|
|
local.get $x
|
|
local.get $y
|
|
i32.add
|
|
)
|
|
(func (;2;) (type 1) (param i64)
|
|
global.get 0
|
|
local.get 0
|
|
i64.ge_u
|
|
if ;; label = @1
|
|
global.get 0
|
|
local.get 0
|
|
i64.sub
|
|
global.set 0
|
|
else
|
|
i64.const -1
|
|
global.set 0
|
|
unreachable
|
|
end
|
|
)
|
|
(global (;0;) (mut i64) i64.const 0)
|
|
(export "gas_left" (global 0))
|
|
) |