wasm-utils/tests/expectations/stack-height/simple.wat

(module
  (type (;0;) (func))
  (func (;0;) (type 0)
    i32.const 123
    drop)
  (func (;1;) (type 0)
    get_global 0
    i32.const 1
    i32.add
    set_global 0
    get_global 0
    i32.const 1024
    i32.gt_u
    if  ;; label = @1
      unreachable
    end
    call 0
    get_global 0
    i32.const 1
    i32.sub
    set_global 0)
  (global (;0;) (mut i32) (i32.const 0))
  (export "simple" (func 1)))
Impl stack height limiter (#64) * 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. 2018-02-27 16:52:37 +03:00			`(module`
			`(type (;0;) (func))`
			`(func (;0;) (type 0)`
			`i32.const 123`
			`drop)`
fix call_indirect test (#98) Merged 2018-08-01 13:48:38 +03:00			`(func (;1;) (type 0)`
Impl stack height limiter (#64) * 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. 2018-02-27 16:52:37 +03:00			`get_global 0`
			`i32.const 1`
			`i32.add`
			`set_global 0`
			`get_global 0`
			`i32.const 1024`
			`i32.gt_u`
			`if ;; label = @1`
			`unreachable`
			`end`
			`call 0`
			`get_global 0`
			`i32.const 1`
			`i32.sub`
			`set_global 0)`
			`(global (;0;) (mut i32) (i32.const 0))`
			`(export "simple" (func 1)))`