test/CodeGen/WebAssembly/cfg-stackify-dbg.mir

   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
   7 name: unreachable_test
   8 liveins:
   9   - { reg: '$arguments' }
  10 body: |
  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 ...