diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2018-10-25 23:35:13 +0000 |
|---|---|---|
| committer | Heejin Ahn <aheejin@gmail.com> | 2018-10-25 23:35:13 +0000 |
| commit | 1147d91402559d0d1193265f81bc854674a1e36f (patch) | |
| tree | 3da30369e844fcc3cd587eba38da5c0bbe085ea3 /llvm/test/CodeGen | |
| parent | cc18f8aa0f3ca35295419e1f4f0322a6cbe3c70b (diff) | |
| download | bcm5719-llvm-1147d91402559d0d1193265f81bc854674a1e36f.tar.gz bcm5719-llvm-1147d91402559d0d1193265f81bc854674a1e36f.zip | |
[WebAssembly] Error out when block/loop markers mismatch
Summary:
Currently InstPrinter ignores if there are mismatches between block/loop
and end markers by skipping the case if ControlFlowStack is empty. I
guess it is better to explicitly error out in this case, because this
signals invalid input.
Reviewers: aardappel
Subscribers: dschuff, sbc100, jgravelle-google, sunfish, llvm-commits
Differential Revision: https://reviews.llvm.org/D53620
llvm-svn: 345333
Diffstat (limited to 'llvm/test/CodeGen')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/block-mismatch.mir | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/block-mismatch.mir b/llvm/test/CodeGen/WebAssembly/block-mismatch.mir new file mode 100644 index 00000000000..0da58e9ddb8 --- /dev/null +++ b/llvm/test/CodeGen/WebAssembly/block-mismatch.mir @@ -0,0 +1,18 @@ +# RUN: not llc -mtriple=wasm32-unknown-unknown -start-after xray-instrumentation %s -o /dev/null 2>&1 | FileCheck %s + +# This tests if there are block/loop marker mismatches, the program crashes. + +--- +name: block_mismatch +liveins: + - { reg: '$arguments', reg: '$value_stack' } +tracksRegLiveness: true +body: | + bb.0: + liveins: $arguments, $value_stack + BLOCK 64, implicit-def $value_stack, implicit $value_stack + END_BLOCK implicit-def $value_stack, implicit $value_stack + ; CHECK: LLVM ERROR: END marker mismatch! + END_BLOCK implicit-def $value_stack, implicit $value_stack + RETURN_VOID implicit-def dead $arguments +... |
