blob: 1ae2db8248471b9caa60d758b72d9f305765eab8 [file] [log] [blame]
# 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
...