| ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. | |
| ;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up. | |
| ;; RUN: foreach %s %t wasm-opt --asyncify --enable-multivalue -S -o - | filecheck %s | |
| ;; Pre-existing imports that the pass turns into the implementations. | |
| (module | |
| (import "asyncify" "start_unwind" (func $asyncify_start_unwind (param i32))) | |
| (import "asyncify" "stop_unwind" (func $asyncify_stop_unwind)) | |
| (import "asyncify" "start_rewind" (func $asyncify_start_rewind (param i32))) | |
| (import "asyncify" "stop_rewind" (func $asyncify_stop_rewind)) | |
| (memory 1 2) | |
| ;; CHECK: (type $0 (func)) | |
| ;; CHECK: (type $1 (func (param i32))) | |
| ;; CHECK: (type $2 (func (result i32))) | |
| ;; CHECK: (global $sleeping (mut i32) (i32.const 0)) | |
| (global $sleeping (mut i32) (i32.const 0)) | |
| ;; do a sleep operation: start a sleep if running, or resume after a sleep | |
| ;; if we just rewound. | |
| ;; CHECK: (global $__asyncify_state (mut i32) (i32.const 0)) | |
| ;; CHECK: (global $__asyncify_data (mut i32) (i32.const 0)) | |
| ;; CHECK: (memory $0 1 2) | |
| ;; CHECK: (export "asyncify_start_unwind" (func $asyncify_start_unwind)) | |
| ;; CHECK: (export "asyncify_stop_unwind" (func $asyncify_stop_unwind)) | |
| ;; CHECK: (export "asyncify_start_rewind" (func $asyncify_start_rewind)) | |
| ;; CHECK: (export "asyncify_stop_rewind" (func $asyncify_stop_rewind)) | |
| ;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state)) | |
| ;; CHECK: (func $do_sleep | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eqz | |
| ;; CHECK-NEXT: (global.get $sleeping) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (global.set $sleeping | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (call $asyncify_start_unwind | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (else | |
| ;; CHECK-NEXT: (global.set $sleeping | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (call $asyncify_stop_rewind) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $do_sleep | |
| (if | |
| (i32.eqz (global.get $sleeping)) | |
| (then | |
| (block | |
| (global.set $sleeping (i32.const 1)) | |
| ;; we should set up the data at address 4 around here | |
| (call $asyncify_start_unwind (i32.const 4)) | |
| ) | |
| ) | |
| (else | |
| (block | |
| (global.set $sleeping (i32.const 0)) | |
| (call $asyncify_stop_rewind) | |
| ) | |
| ) | |
| ) | |
| ) | |
| ;; a function that does some work and has a sleep (async pause/resume) in the middle | |
| ;; CHECK: (func $work | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $stuff) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $do_sleep) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $stuff) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $work | |
| (call $stuff) ;; do some work | |
| (call $do_sleep) ;; take a break | |
| (call $stuff) ;; do some more work | |
| ) | |
| ;; CHECK: (func $stuff | |
| ;; CHECK-NEXT: ) | |
| (func $stuff) | |
| ;; the first event called from the main event loop: just call into $work | |
| ;; CHECK: (func $first_event | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $work) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $first_event | |
| (call $work) | |
| ;; work will sleep, so we exit through here while it is paused | |
| ) | |
| ;; the second event called from the main event loop: to resume $work, | |
| ;; stop the unwind, then prepare a rewind, and initiate it by doing | |
| ;; the call to rewind the call stack back up to where it was | |
| ;; CHECK: (func $second_event | |
| ;; CHECK-NEXT: (call $asyncify_stop_unwind) | |
| ;; CHECK-NEXT: (call $asyncify_start_rewind | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (call $work) | |
| ;; CHECK-NEXT: ) | |
| (func $second_event | |
| (call $asyncify_stop_unwind) | |
| (call $asyncify_start_rewind (i32.const 4)) | |
| (call $work) | |
| ) | |
| ;; a function that can't do a sleep | |
| ;; CHECK: (func $never_sleep | |
| ;; CHECK-NEXT: (call $stuff) | |
| ;; CHECK-NEXT: (call $stuff) | |
| ;; CHECK-NEXT: (call $stuff) | |
| ;; CHECK-NEXT: ) | |
| (func $never_sleep | |
| (call $stuff) | |
| (call $stuff) | |
| (call $stuff) | |
| ) | |
| ) | |
| ;; Calls to imports that will call into asyncify themselves. | |
| ;; CHECK: (func $asyncify_start_unwind (param $0 i32) | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (global.set $__asyncify_data | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_stop_unwind | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_start_rewind (param $0 i32) | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (global.set $__asyncify_data | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_stop_rewind | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_get_state (result i32) | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: ) | |
| (module | |
| ;; CHECK: (type $0 (func)) | |
| ;; CHECK: (type $1 (func (param i32))) | |
| ;; CHECK: (type $2 (func (result i32))) | |
| ;; CHECK: (type $3 (func (param i32) (result i32))) | |
| ;; CHECK: (type $4 (func (result i32 i64))) | |
| ;; CHECK: (import "env" "import" (func $import)) | |
| (import "env" "import" (func $import)) | |
| ;; CHECK: (import "env" "import2" (func $import2 (result i32))) | |
| (import "env" "import2" (func $import2 (result i32))) | |
| ;; CHECK: (import "env" "import3" (func $import3 (param i32))) | |
| (import "env" "import3" (func $import3 (param i32))) | |
| ;; CHECK: (import "env" "import-mv" (func $import-mv (result i32 i64))) | |
| (import "env" "import-mv" (func $import-mv (result i32 i64))) | |
| (memory 1 2) | |
| ;; CHECK: (global $__asyncify_state (mut i32) (i32.const 0)) | |
| ;; CHECK: (global $__asyncify_data (mut i32) (i32.const 0)) | |
| ;; CHECK: (memory $0 1 2) | |
| ;; CHECK: (export "asyncify_start_unwind" (func $asyncify_start_unwind)) | |
| ;; CHECK: (export "asyncify_stop_unwind" (func $asyncify_stop_unwind)) | |
| ;; CHECK: (export "asyncify_start_rewind" (func $asyncify_start_rewind)) | |
| ;; CHECK: (export "asyncify_stop_rewind" (func $asyncify_stop_rewind)) | |
| ;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state)) | |
| ;; CHECK: (func $calls-import | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import | |
| (call $import) | |
| ) | |
| ;; CHECK: (func $calls-import2 (result i32) | |
| ;; CHECK-NEXT: (local $temp i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (local $7 i32) | |
| ;; CHECK-NEXT: (local $8 i32) | |
| ;; CHECK-NEXT: (local $9 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $8 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $8) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $7 | |
| ;; CHECK-NEXT: (call $import2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (else | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $7) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $temp | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (local.get $temp) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $9 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $9) | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import2 (result i32) | |
| (local $temp i32) | |
| (local.set $temp (call $import2)) | |
| (return (local.get $temp)) | |
| ) | |
| ;; CHECK: (func $calls-import2-drop | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (call $import2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (else | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (drop | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import2-drop | |
| (drop (call $import2)) | |
| ) | |
| ;; CHECK: (func $calls-nothing | |
| ;; CHECK-NEXT: (drop | |
| ;; CHECK-NEXT: (i32.eqz | |
| ;; CHECK-NEXT: (i32.const 17) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-nothing | |
| (drop (i32.eqz (i32.const 17))) | |
| ) | |
| ;; CHECK: (func $many-locals (param $x i32) (result i32) | |
| ;; CHECK-NEXT: (local $y i32) | |
| ;; CHECK-NEXT: (local $z (tuple f32 i64)) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (local $7 i32) | |
| ;; CHECK-NEXT: (local $8 i32) | |
| ;; CHECK-NEXT: (local $9 i32) | |
| ;; CHECK-NEXT: (local $10 i32) | |
| ;; CHECK-NEXT: (local $11 i32) | |
| ;; CHECK-NEXT: (local $12 i32) | |
| ;; CHECK-NEXT: (local $13 i32) | |
| ;; CHECK-NEXT: (local $14 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $13 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $y | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $13) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $11 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $12 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (loop $l | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (local.get $y) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $x | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.div_s | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: (i32.const 3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $y | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $7 | |
| ;; CHECK-NEXT: (local.get $y) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (br_if $l | |
| ;; CHECK-NEXT: (local.get $7) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $12) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $8 | |
| ;; CHECK-NEXT: (local.get $y) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return | |
| ;; CHECK-NEXT: (local.get $8) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $11) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $14 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $14) | |
| ;; CHECK-NEXT: (local.get $y) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| (func $many-locals (param $x i32) (result i32) | |
| (local $y i32) | |
| (local $z (tuple f32 i64)) | |
| (loop $l | |
| (local.set $x | |
| (i32.add (local.get $y) (i32.const 1)) | |
| ) | |
| (local.set $y | |
| (i32.div_s (local.get $x) (i32.const 3)) | |
| ) | |
| (br_if $l (local.get $y)) | |
| ) | |
| (call $import) | |
| (return (local.get $y)) | |
| ) | |
| ;; CHECK: (func $calls-import2-if (param $x i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import2-if (param $x i32) | |
| (if (local.get $x) | |
| (then | |
| (call $import) | |
| ) | |
| ) | |
| ) | |
| ;; CHECK: (func $calls-import2-if-else (param $x i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import3 | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eqz | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import3 | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import2-if-else (param $x i32) | |
| (if (local.get $x) | |
| (then | |
| (call $import3 (i32.const 1)) | |
| ) | |
| (else | |
| (call $import3 (i32.const 2)) | |
| ) | |
| ) | |
| ) | |
| ;; CHECK: (func $calls-import2-if-else-oneside (param $x i32) (result i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (return | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eqz | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import3 | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (return | |
| ;; CHECK-NEXT: (i32.const 3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import2-if-else-oneside (param $x i32) (result i32) | |
| (if (local.get $x) | |
| (then | |
| (return (i32.const 1)) | |
| ) | |
| (else | |
| (call $import3 (i32.const 2)) | |
| ) | |
| ) | |
| (return (i32.const 3)) | |
| ) | |
| ;; CHECK: (func $calls-import2-if-else-oneside2 (param $x i32) (result i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (local $7 i32) | |
| ;; CHECK-NEXT: (local $8 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $7 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $7) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import3 | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eqz | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (return | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (return | |
| ;; CHECK-NEXT: (i32.const 3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $8 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $8) | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-import2-if-else-oneside2 (param $x i32) (result i32) | |
| (if (local.get $x) | |
| (then | |
| (call $import3 (i32.const 1)) | |
| ) | |
| (else | |
| (return (i32.const 2)) | |
| ) | |
| ) | |
| (return (i32.const 3)) | |
| ) | |
| ;; CHECK: (func $calls-mv | |
| ;; CHECK-NEXT: (local $x (tuple i32 i64)) | |
| ;; CHECK-NEXT: (local $1 (tuple i32 i64)) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 (tuple i32 i64)) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -12) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (tuple.make 2 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i64.load offset=4 align=4 | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (call $import-mv) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (else | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $x | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: (tuple.extract 2 0 | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i64.store offset=4 align=4 | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: (tuple.extract 2 1 | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 12) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-mv | |
| (local $x (tuple i32 i64)) | |
| (local.set $x (call $import-mv)) | |
| ) | |
| ;; CHECK: (func $calls-loop (param $x i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (local $6 i32) | |
| ;; CHECK-NEXT: (local $7 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $6 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $x | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $6) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (loop $l | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import3 | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $x | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (br_if $l | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $7 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $7) | |
| ;; CHECK-NEXT: (local.get $x) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-loop (param $x i32) | |
| (loop $l | |
| (call $import3 (i32.const 1)) | |
| (local.set $x | |
| (i32.add (local.get $x) (i32.const 1)) | |
| ) | |
| (br_if $l | |
| (local.get $x) | |
| ) | |
| ) | |
| ) | |
| ;; CHECK: (func $calls-loop2 | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (local $2 i32) | |
| ;; CHECK-NEXT: (local $3 i32) | |
| ;; CHECK-NEXT: (local $4 i32) | |
| ;; CHECK-NEXT: (local $5 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $4 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (local.get $4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $2 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (loop $l | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $2) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (local.set $3 | |
| ;; CHECK-NEXT: (call $import2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (else | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (local.get $3) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br_if $l | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (local.set $5 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (local.get $5) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-loop2 | |
| (loop $l | |
| (br_if $l | |
| (call $import2) | |
| ) | |
| ) | |
| ) | |
| ;; CHECK: (func $calls-mix | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $boring) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $boring) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-mix | |
| (call $boring) | |
| (call $import) | |
| (call $boring) | |
| (call $import) | |
| ) | |
| ;; CHECK: (func $boring | |
| ;; CHECK-NEXT: ) | |
| (func $boring) | |
| ;; CHECK: (func $calls-mix-deep | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $boring-deep) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import-deep) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $boring) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $calls-mix-deep | |
| (call $boring-deep) | |
| (call $import-deep) | |
| (call $boring) | |
| (call $import) | |
| ) | |
| ;; CHECK: (func $boring-deep | |
| ;; CHECK-NEXT: (call $boring) | |
| ;; CHECK-NEXT: ) | |
| (func $boring-deep | |
| (call $boring) | |
| ) | |
| ;; CHECK: (func $import-deep | |
| ;; CHECK-NEXT: (local $0 i32) | |
| ;; CHECK-NEXT: (local $1 i32) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $0 | |
| ;; CHECK-NEXT: (block $__asyncify_unwind (result i32) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const -4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.set $1 | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.or | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (local.get $1) | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (call $import) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.eq | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (br $__asyncify_unwind | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (return) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (block | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.store | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: (i32.add | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.const 4) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (nop) | |
| ;; CHECK-NEXT: ) | |
| (func $import-deep | |
| (call $import) | |
| ) | |
| ) | |
| ;; empty module, in particular with no memory | |
| ;; CHECK: (func $asyncify_start_unwind (param $0 i32) | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (global.set $__asyncify_data | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_stop_unwind | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_start_rewind (param $0 i32) | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (global.set $__asyncify_data | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_stop_rewind | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_get_state (result i32) | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: ) | |
| (module | |
| ) | |
| ;; CHECK: (type $0 (func (param i32))) | |
| ;; CHECK: (type $1 (func)) | |
| ;; CHECK: (type $2 (func (result i32))) | |
| ;; CHECK: (global $__asyncify_state (mut i32) (i32.const 0)) | |
| ;; CHECK: (global $__asyncify_data (mut i32) (i32.const 0)) | |
| ;; CHECK: (memory $0 1 1) | |
| ;; CHECK: (export "asyncify_start_unwind" (func $asyncify_start_unwind)) | |
| ;; CHECK: (export "asyncify_stop_unwind" (func $asyncify_stop_unwind)) | |
| ;; CHECK: (export "asyncify_start_rewind" (func $asyncify_start_rewind)) | |
| ;; CHECK: (export "asyncify_stop_rewind" (func $asyncify_stop_rewind)) | |
| ;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state)) | |
| ;; CHECK: (func $asyncify_start_unwind (param $0 i32) | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 1) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (global.set $__asyncify_data | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_stop_unwind | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_start_rewind (param $0 i32) | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 2) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (global.set $__asyncify_data | |
| ;; CHECK-NEXT: (local.get $0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_stop_rewind | |
| ;; CHECK-NEXT: (global.set $__asyncify_state | |
| ;; CHECK-NEXT: (i32.const 0) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (if | |
| ;; CHECK-NEXT: (i32.gt_u | |
| ;; CHECK-NEXT: (i32.load | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (i32.load offset=4 | |
| ;; CHECK-NEXT: (global.get $__asyncify_data) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: (then | |
| ;; CHECK-NEXT: (unreachable) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK-NEXT: ) | |
| ;; CHECK: (func $asyncify_get_state (result i32) | |
| ;; CHECK-NEXT: (global.get $__asyncify_state) | |
| ;; CHECK-NEXT: ) |