binaryen-0.0.6.0: binaryen/test/passes/asyncify_mod-asyncify-never-unwind_O.txt
(module
(type $none_=>_none (func))
(type $i32_=>_none (func (param i32)))
(type $none_=>_i32 (func (result i32)))
(import "env" "import" (func $import))
(memory $0 1 2)
(global $__asyncify_state (mut i32) (i32.const 0))
(global $__asyncify_data (mut i32) (i32.const 0))
(export "calls-import" (func $calls-import))
(export "calls-import2" (func $calls-import))
(export "calls-import2-drop" (func $calls-import))
(export "calls-nothing" (func $calls-import))
(export "asyncify_start_unwind" (func $asyncify_start_unwind))
(export "asyncify_stop_unwind" (func $asyncify_stop_unwind))
(export "asyncify_start_rewind" (func $asyncify_start_rewind))
(export "asyncify_stop_rewind" (func $asyncify_stop_unwind))
(export "asyncify_get_state" (func $asyncify_get_state))
(func $calls-import (; has Stack IR ;)
(if
(select
(i32.eqz
(if (result i32)
(i32.eq
(global.get $__asyncify_state)
(i32.const 2)
)
(block (result i32)
(i32.store
(global.get $__asyncify_data)
(i32.sub
(i32.load
(global.get $__asyncify_data)
)
(i32.const 4)
)
)
(i32.load
(i32.load
(global.get $__asyncify_data)
)
)
)
(i32.const 0)
)
)
(i32.const 1)
(global.get $__asyncify_state)
)
(call $import)
)
)
(func $asyncify_start_unwind (; has Stack IR ;) (param $0 i32)
(global.set $__asyncify_state
(i32.const 1)
)
(global.set $__asyncify_data
(local.get $0)
)
(if
(i32.gt_u
(i32.load
(global.get $__asyncify_data)
)
(i32.load offset=4
(global.get $__asyncify_data)
)
)
(unreachable)
)
)
(func $asyncify_stop_unwind (; has Stack IR ;)
(global.set $__asyncify_state
(i32.const 0)
)
(if
(i32.gt_u
(i32.load
(global.get $__asyncify_data)
)
(i32.load offset=4
(global.get $__asyncify_data)
)
)
(unreachable)
)
)
(func $asyncify_start_rewind (; has Stack IR ;) (param $0 i32)
(global.set $__asyncify_state
(i32.const 2)
)
(global.set $__asyncify_data
(local.get $0)
)
(if
(i32.gt_u
(i32.load
(global.get $__asyncify_data)
)
(i32.load offset=4
(global.get $__asyncify_data)
)
)
(unreachable)
)
)
(func $asyncify_get_state (; has Stack IR ;) (result i32)
(global.get $__asyncify_state)
)
)