| # 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 |
| ... |
