1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
# RUN: llc -mtriple=wasm32-unknown-unknown -start-after xray-instrumentation -wasm-keep-registers %s -o - | FileCheck %s
---
# Tests if block/loop/try/catch/end instructions are correctly printed with
# their annotations.
# CHECK: test0:
# CHECK: block
# CHECK: try
# CHECK: br 0 # 0: down to label1
# CHECK: catch_all # catch0:
# CHECK: block
# CHECK: br_if 0, 1 # 0: down to label2
# CHECK: loop # label3:
# CHECK: br_if 0, 1 # 0: up to label3
# CHECK: end_loop
# CHECK: end_block # label2:
# CHECK: try
# CHECK: rethrow 0 # 0: down to catch1
# CHECK: catch_all # catch1:
# CHECK: block
# CHECK: try
# CHECK: br 0 # 0: down to label6
# CHECK: catch_all # catch2:
# CHECK: unreachable
# CHECK: end_try # label6:
# CHECK: end_block # label5:
# CHECK: rethrow 0 # 0: to caller
# CHECK: end_try # label4:
# CHECK: end_try # label1:
# CHECK: end_block # label0:
name: test0
liveins:
- { reg: '$arguments', reg: '$value_stack' }
body: |
bb.0:
successors: %bb.7, %bb.1
BLOCK 64, implicit-def $value_stack, implicit $value_stack
TRY 64, implicit-def $value_stack, implicit $value_stack
BR 0, implicit-def $arguments
bb.1 (landing-pad):
; predecessors: %bb.0
successors: %bb.2, %bb.3
CATCH_ALL implicit-def $arguments
BLOCK 64, implicit-def $value_stack, implicit $value_stack
BR_IF 0, 1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack
bb.2:
; predecessors: %bb.1, %bb.2
successors: %bb.2, %bb.3
LOOP 64, implicit-def $value_stack, implicit $value_stack
BR_IF 0, 1, implicit-def $arguments
bb.3:
; predecessors: %bb.1, %bb.2
successors: %bb.4
END_LOOP implicit-def $value_stack, implicit $value_stack
END_BLOCK implicit-def $value_stack, implicit $value_stack
TRY 64, implicit-def $value_stack, implicit $value_stack
RETHROW 0, implicit-def $arguments
bb.4 (landing-pad):
; predecessors: %bb.3
successors: %bb.6, %bb.5
CATCH_ALL implicit-def $arguments
BLOCK 64, implicit-def $value_stack, implicit $value_stack
TRY 64, implicit-def $value_stack, implicit $value_stack
BR 0, implicit-def $arguments
bb.5 (landing-pad):
; predecessors: %bb.4
CATCH_ALL implicit-def $arguments
UNREACHABLE implicit-def dead $arguments
bb.6:
; predecessors: %bb.4
END_TRY implicit-def $value_stack, implicit $value_stack
END_BLOCK implicit-def $value_stack, implicit $value_stack
RETHROW 0, implicit-def $arguments
bb.7:
; predecessors: %bb.0
END_TRY implicit-def $value_stack, implicit $value_stack
END_TRY implicit-def $value_stack, implicit $value_stack
END_BLOCK implicit-def $value_stack, implicit $value_stack
FALLTHROUGH_RETURN_VOID implicit-def dead $arguments
END_FUNCTION implicit-def $value_stack, implicit $value_stack
...
|
