| ; RUN: llc < %s -O0 -verify-machineinstrs |
| target triple = "wasm32-unknown-unknown" |
| |
| ; Regression test for #184441. |
| |
| ; Ensures that the orphanation of block %b due to the eliding of the |
| ; `unreachable` default label of the switch during IR => DAG translation |
| ; (without any subsequent DCE) doesn't trip our assertions in |
| ; WebAssemblyFixIrreducibleControlFlow, which expect all blocks in a function |
| ; to be reachable from the function's entry. |
| |
| define void @test() { |
| entry: |
| switch i32 poison, label %b [ |
| i32 0, label %a |
| ] |
| a: |
| ret void |
| b: |
| unreachable |
| } |
