llvm/test/MC/WebAssembly/type-checker-emit-after-unreachable.s

   1 # We had a regression where an else instruction would be omitted if it followed
   2 # return (i.e. it was in an unreachable state).
   3 # See: https://github.com/llvm/llvm-project/issues/56935
   4
   5 # RUN: llvm-mc -triple=wasm32-unknown-unknown < %s | FileCheck %s
   6
   7 foo:
   8   .functype foo () -> (i32)
   9   i32.const 1
  10   if i32
  11     i32.const 2
  12     return
  13   else
  14     i32.const 3
  15   end_if
  16   end_function
  17
  18 # CHECK-LABEL: foo:
  19 # CHECK-NEXT: .functype foo () -> (i32)
  20 # CHECK-NEXT: i32.const 1
  21 # CHECK-NEXT: if i32
  22 # CHECK-NEXT: i32.const 2
  23 # CHECK-NEXT: return
  24 # CHECK-NEXT: else
  25 # CHECK-NEXT: i32.const 3
  26 # CHECK-NEXT: end_if
  27 # CHECK-NEXT: end_function