|
11 | 11 | (module |
12 | 12 | ;; CHECK: (type $f (func)) |
13 | 13 | (type $f (func)) |
14 | | - ;; CHECK: (type $1 (func (result i32))) |
| 14 | + ;; CHECK: (type $1 (func (param i32))) |
15 | 15 |
|
16 | | - ;; CHECK: (type $2 (func (param i32))) |
| 16 | + ;; CHECK: (type $2 (func (result i32))) |
17 | 17 |
|
18 | 18 | ;; CHECK: (import "env" "import" (func $import)) |
19 | 19 | (import "env" "import" (func $import)) |
|
27 | 27 | (table funcref (elem $calls-import2-drop $calls-import2-drop)) |
28 | 28 | ;; CHECK: (global $__asyncify_state (mut i32) (i32.const 0)) |
29 | 29 |
|
30 | | - ;; CHECK: (global $__asyncify_catch_counter (mut i32) (i32.const 0)) |
31 | | - |
32 | 30 | ;; CHECK: (global $__asyncify_data (mut i32) (i32.const 0)) |
33 | 31 |
|
34 | 32 | ;; CHECK: (memory $0 1 2) |
|
47 | 45 |
|
48 | 46 | ;; CHECK: (export "asyncify_get_state" (func $asyncify_get_state)) |
49 | 47 |
|
50 | | - ;; CHECK: (export "asyncify_get_catch_counter" (func $asyncify_get_catch_counter)) |
51 | | - |
52 | 48 | ;; CHECK: (func $calls-import |
53 | 49 | ;; CHECK-NEXT: (local $0 i32) |
54 | 50 | ;; CHECK-NEXT: (local.set $0 |
|
158 | 154 | ) |
159 | 155 |
|
160 | 156 | ;; CHECK: (func $asyncify_start_unwind (param $0 i32) |
161 | | -;; CHECK-NEXT: (if |
162 | | -;; CHECK-NEXT: (i32.ne |
163 | | -;; CHECK-NEXT: (global.get $__asyncify_catch_counter) |
164 | | -;; CHECK-NEXT: (i32.const 0) |
165 | | -;; CHECK-NEXT: ) |
166 | | -;; CHECK-NEXT: (then |
167 | | -;; CHECK-NEXT: (unreachable) |
168 | | -;; CHECK-NEXT: ) |
169 | | -;; CHECK-NEXT: ) |
170 | 157 | ;; CHECK-NEXT: (global.set $__asyncify_state |
171 | 158 | ;; CHECK-NEXT: (i32.const 1) |
172 | 159 | ;; CHECK-NEXT: ) |
|
251 | 238 | ;; CHECK: (func $asyncify_get_state (result i32) |
252 | 239 | ;; CHECK-NEXT: (global.get $__asyncify_state) |
253 | 240 | ;; CHECK-NEXT: ) |
254 | | - |
255 | | -;; CHECK: (func $asyncify_get_catch_counter (result i32) |
256 | | -;; CHECK-NEXT: (global.get $__asyncify_catch_counter) |
257 | | -;; CHECK-NEXT: ) |
0 commit comments