| (module |
| (memory 1 2) |
| (import "env" "import" (func $import)) |
| (import "env" "import2" (func $import2 (result i32))) |
| (import "env" "import3" (func $import3 (param i32))) |
| (func $calls-import |
| (call $import) |
| ) |
| (func $calls-import2 (result i32) |
| (local $temp i32) |
| (local.set $temp (call $import2)) |
| (return (local.get $temp)) |
| ) |
| (func $calls-import2-drop |
| (drop (call $import2)) |
| ) |
| (func $calls-nothing |
| (drop (i32.eqz (i32.const 17))) |
| ) |
| (func $many-locals (param $x i32) (result i32) |
| (local $y i32) |
| (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)) |
| ) |
| (func $calls-import2-if (param $x i32) |
| (if (local.get $x) |
| (call $import) |
| ) |
| ) |
| (func $calls-import2-if-else (param $x i32) |
| (if (local.get $x) |
| (call $import3 (i32.const 1)) |
| (call $import3 (i32.const 2)) |
| ) |
| ) |
| (func $calls-import2-if-else-oneside (param $x i32) (result i32) |
| (if (local.get $x) |
| (return (i32.const 1)) |
| (call $import3 (i32.const 2)) |
| ) |
| (return (i32.const 3)) |
| ) |
| (func $calls-import2-if-else-oneside2 (param $x i32) (result i32) |
| (if (local.get $x) |
| (call $import3 (i32.const 1)) |
| (return (i32.const 2)) |
| ) |
| (return (i32.const 3)) |
| ) |
| (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) |
| ) |
| ) |
| ) |
| (func $calls-loop2 |
| (loop $l |
| (br_if $l |
| (call $import2) |
| ) |
| ) |
| ) |
| (func $calls-mix |
| (call $boring) |
| (call $import) |
| (call $boring) |
| (call $import) |
| ) |
| (func $boring) |
| (func $calls-mix-deep |
| (call $boring-deep) |
| (call $import-deep) |
| (call $boring) |
| (call $import) |
| ) |
| (func $boring-deep |
| (call $boring) |
| ) |
| (func $import-deep |
| (call $import) |
| ) |
| ) |
| |