xref: /llvm-project/llvm/test/CodeGen/WebAssembly/cfg-stackify-dbg.mir (revision 67f74aceab191c5ecad2394edb267ecee49d872d) 
1# RUN: llc -mtriple=wasm32-unknown-unknown -run-pass wasm-cfg-stackify %s -o - | FileCheck %s
2
3# This tests if END_LOOP marker is placed correctly when the BB it is to be
4# placed is unreachable. Regression test for PR41307.
5
6# CHECK-LABEL: unreachable_test
7name: unreachable_test
8liveins:
9  - { reg: '$arguments' }
10body: |
11  bb.0:
12    successors: %bb.1
13
14  bb.1:
15  ; predecessors: %bb.0, %bb.2
16    successors: %bb.2
17
18  bb.2:
19  ; predecessors: %bb.1
20    successors: %bb.1
21    BR %bb.1, implicit-def dead $arguments
22
23  ; CHECK: bb.3
24  ; CHECK: END_LOOP
25  bb.3:
26    UNREACHABLE implicit-def $arguments
27...
28