mirror of
https://github.com/pezkuwichain/wasm-instrument.git
synced 2026-04-25 10:17:57 +00:00
Sergey Pepyakin
9527b969a4
* Initial implementation * Add wasm-stack-height binary * Fixes and tracing. * Doc fixes. * Fix type resolving for thunks. * Fix thunk numbering. * Don't generate thunks for fns with stack_cost = 0 * Diff tests. * Add table tests. * Add global test. * Make tests deterministic. * Refactoring. * Clean and refactor. * Rename Context → Stack in stach_height. * Don't generate call wrappers if stack_cost = 0 * Errors instead of panics. * Add with_stack_limit function. * Fix thunk generation. * Pass the stack height limit as separate value. * Use .unwrap_or_default() in diff.rs. * Remove redundant &. * Remove simple_test. * Remove variants of the Error. * `resolve_func_type` returns an Error. * Don't unwrap for .last() * Remove stack_limit from rules::Set * Rename max_height::compute.
27 lines
433 B
WebAssembly Text Format
27 lines
433 B
WebAssembly Text Format
(module
|
|
(import "env" "foo" (func $foo))
|
|
|
|
;; Declare a global.
|
|
(global $counter (mut i32) (i32.const 1))
|
|
|
|
(func $i32.add (export "i32.add") (param i32 i32) (result i32)
|
|
get_local 0
|
|
get_local 1
|
|
i32.add
|
|
)
|
|
(func (param $arg i32)
|
|
(local $tmp i32)
|
|
|
|
get_global 0
|
|
i32.const 1
|
|
i32.add
|
|
tee_local $tmp
|
|
set_global $counter
|
|
|
|
get_local $tmp
|
|
get_local $arg
|
|
call $i32.add
|
|
drop
|
|
)
|
|
)
|