| # RUN: llc -mtriple=wasm32-unknown-unknown -run-pass wasm-cfg-stackify %s -o - | FileCheck %s | |
| # This tests if END_LOOP marker is placed correctly when the BB it is to be | |
| # placed is unreachable. Regression test for PR41307. | |
| # CHECK-LABEL: unreachable_test | |
| name: unreachable_test | |
| liveins: | |
| - { reg: '$arguments' } | |
| body: | | |
| bb.0: | |
| successors: %bb.1 | |
| bb.1: | |
| ; predecessors: %bb.0, %bb.2 | |
| successors: %bb.2 | |
| bb.2: | |
| ; predecessors: %bb.1 | |
| successors: %bb.1 | |
| BR %bb.1, implicit-def dead $arguments | |
| ; CHECK: bb.3 | |
| ; CHECK: END_LOOP | |
| bb.3: | |
| UNREACHABLE implicit-def $arguments | |
| ... |