|
4 | 4 | ;; RUN: foreach %s %t wasm-opt --enable-exception-handling --asyncify --pass-arg=asyncify-asserts --pass-arg=asyncify-onlylist@level0,level1 -S -o - | filecheck %s
|
5 | 5 |
|
6 | 6 | (module
|
7 |
| - (memory 1 2) |
8 | 7 | ;; CHECK: (type $0 (func))
|
9 | 8 |
|
10 | 9 | ;; CHECK: (type $1 (func (param i32)))
|
|
17 | 16 | (import "extmod" "exttag" (tag $ret (param i32)))
|
18 | 17 | ;; CHECK: (import "extmod" "exttag" (tag $brif (param i32)))
|
19 | 18 | (import "extmod" "exttag" (tag $brif (param i32)))
|
| 19 | + |
| 20 | + (memory 1 2) |
| 21 | + |
20 | 22 | ;; CHECK: (global $__asyncify_state (mut i32) (i32.const 0))
|
21 | 23 |
|
22 | 24 | ;; CHECK: (global $__asyncify_catch_counter (mut i32) (i32.const 0))
|
|
98 | 100 | ;; CHECK-NEXT: (i32.const 0)
|
99 | 101 | ;; CHECK-NEXT: )
|
100 | 102 | ;; CHECK-NEXT: (then
|
101 |
| - ;; CHECK-NEXT: (block $try11 |
| 103 | + ;; CHECK-NEXT: (block $label |
102 | 104 | ;; CHECK-NEXT: (try $try1
|
103 | 105 | ;; CHECK-NEXT: (do
|
104 | 106 | ;; CHECK-NEXT: (local.set $1
|
|
109 | 111 | ;; CHECK-NEXT: (local.get $1)
|
110 | 112 | ;; CHECK-NEXT: )
|
111 | 113 | ;; CHECK-NEXT: )
|
112 |
| - ;; CHECK-NEXT: (br_if $try11 |
| 114 | + ;; CHECK-NEXT: (br_if $label |
113 | 115 | ;; CHECK-NEXT: (local.get $2)
|
114 | 116 | ;; CHECK-NEXT: )
|
115 | 117 | ;; CHECK-NEXT: (block
|
|
269 | 271 | ;; CHECK-NEXT: (i32.const 1)
|
270 | 272 | ;; CHECK-NEXT: )
|
271 | 273 | ;; CHECK-NEXT: )
|
272 |
| - ;; CHECK-NEXT: (br $try11) |
| 274 | + ;; CHECK-NEXT: (br $label) |
273 | 275 | ;; CHECK-NEXT: )
|
274 | 276 | ;; CHECK-NEXT: )
|
275 | 277 | ;; CHECK-NEXT: (call $fn2)
|
|
470 | 472 | ;; CHECK-NEXT: (i32.const 0)
|
471 | 473 | ;; CHECK-NEXT: )
|
472 | 474 | ;; CHECK-NEXT: (then
|
473 |
| - ;; CHECK-NEXT: (block $try18 |
| 475 | + ;; CHECK-NEXT: (block $label |
474 | 476 | ;; CHECK-NEXT: (try $try1
|
475 | 477 | ;; CHECK-NEXT: (do
|
476 |
| - ;; CHECK-NEXT: (try $try |
| 478 | + ;; CHECK-NEXT: (try |
477 | 479 | ;; CHECK-NEXT: (do
|
478 | 480 | ;; CHECK-NEXT: (local.set $1
|
479 | 481 | ;; CHECK-NEXT: (local.get $0)
|
|
483 | 485 | ;; CHECK-NEXT: (local.get $1)
|
484 | 486 | ;; CHECK-NEXT: )
|
485 | 487 | ;; CHECK-NEXT: )
|
486 |
| - ;; CHECK-NEXT: (br_if $try18 |
| 488 | + ;; CHECK-NEXT: (br_if $label |
487 | 489 | ;; CHECK-NEXT: (local.get $2)
|
488 | 490 | ;; CHECK-NEXT: )
|
489 | 491 | ;; CHECK-NEXT: (block
|
|
555 | 557 | ;; CHECK-NEXT: (local.set $0
|
556 | 558 | ;; CHECK-NEXT: (local.get $5)
|
557 | 559 | ;; CHECK-NEXT: )
|
558 |
| - ;; CHECK-NEXT: (try $try2 |
| 560 | + ;; CHECK-NEXT: (try |
559 | 561 | ;; CHECK-NEXT: (do
|
560 | 562 | ;; CHECK-NEXT: (call $fn1)
|
561 | 563 | ;; CHECK-NEXT: )
|
|
602 | 604 | ;; CHECK-NEXT: (local.set $0
|
603 | 605 | ;; CHECK-NEXT: (local.get $6)
|
604 | 606 | ;; CHECK-NEXT: )
|
605 |
| - ;; CHECK-NEXT: (try $try3 |
| 607 | + ;; CHECK-NEXT: (try |
606 | 608 | ;; CHECK-NEXT: (do
|
607 | 609 | ;; CHECK-NEXT: (call $fn1)
|
608 | 610 | ;; CHECK-NEXT: )
|
|
698 | 700 | ;; CHECK-NEXT: (local.get $11)
|
699 | 701 | ;; CHECK-NEXT: )
|
700 | 702 | ;; CHECK-NEXT: (block $nottop
|
701 |
| - ;; CHECK-NEXT: (try $try6 |
| 703 | + ;; CHECK-NEXT: (try |
702 | 704 | ;; CHECK-NEXT: (do
|
703 | 705 | ;; CHECK-NEXT: (call $fn1)
|
704 | 706 | ;; CHECK-NEXT: )
|
|
731 | 733 | ;; CHECK-NEXT: (i32.const 1)
|
732 | 734 | ;; CHECK-NEXT: )
|
733 | 735 | ;; CHECK-NEXT: )
|
734 |
| - ;; CHECK-NEXT: (br $try18) |
| 736 | + ;; CHECK-NEXT: (br $label) |
735 | 737 | ;; CHECK-NEXT: )
|
736 | 738 | ;; CHECK-NEXT: )
|
737 | 739 | ;; CHECK-NEXT: (call $fn3)
|
|
755 | 757 | ;; CHECK-NEXT: (i32.const 1)
|
756 | 758 | ;; CHECK-NEXT: )
|
757 | 759 | ;; CHECK-NEXT: )
|
758 |
| - ;; CHECK-NEXT: (br $try18) |
| 760 | + ;; CHECK-NEXT: (br $label) |
759 | 761 | ;; CHECK-NEXT: )
|
760 | 762 | ;; CHECK-NEXT: )
|
761 | 763 | ;; CHECK-NEXT: (call $fn2)
|
|
786 | 788 | ;; CHECK-NEXT: (i32.const 1)
|
787 | 789 | ;; CHECK-NEXT: )
|
788 | 790 | ;; CHECK-NEXT: )
|
789 |
| - ;; CHECK-NEXT: (try $try7 |
| 791 | + ;; CHECK-NEXT: (try |
790 | 792 | ;; CHECK-NEXT: (do
|
791 | 793 | ;; CHECK-NEXT: (call $fn1)
|
792 | 794 | ;; CHECK-NEXT: )
|
|
0 commit comments