diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2018-10-25 23:45:48 +0000 |
|---|---|---|
| committer | Heejin Ahn <aheejin@gmail.com> | 2018-10-25 23:45:48 +0000 |
| commit | 3103d3dcd18cc2b91441dd47f03a4f7da74cdcd1 (patch) | |
| tree | 74959f3b0fb62def55b267a6c55c7f7dd99eb403 /llvm/test | |
| parent | f213f81d9ca40d3a7a154a6914a659806a67293c (diff) | |
| download | bcm5719-llvm-3103d3dcd18cc2b91441dd47f03a4f7da74cdcd1.tar.gz bcm5719-llvm-3103d3dcd18cc2b91441dd47f03a4f7da74cdcd1.zip | |
[WebAssembly] Support EH instructions in InstPrinter
Summary: This adds support for exception handling instructions to InstPrinter.
Reviewers: dschuff, aardappel
Subscribers: sbc100, jgravelle-google, sunfish, llvm-commits
Differential Revision: https://reviews.llvm.org/D53634
llvm-svn: 345343
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/annotations.mir | 94 |
1 files changed, 94 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/annotations.mir b/llvm/test/CodeGen/WebAssembly/annotations.mir new file mode 100644 index 00000000000..1ae2db82484 --- /dev/null +++ b/llvm/test/CodeGen/WebAssembly/annotations.mir @@ -0,0 +1,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 +... |
