blob: cd76d9132f9db16303aa56656cf54bcf36a7a432 [file] [log] [blame]
# 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
...