# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+exception-handling < %s | FileCheck %s
# Check that it converts to .o without errors, but don't check any output:
# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+exception-handling -filetype=obj -o %t.o < %s

  .tagtype  __cpp_exception i32

block_branch_test:
  .functype  block_branch_test () -> ()

  # Block input paramter / return tests

  i32.const 0
  block (i32) -> (i32)
  end_block
  drop

  i32.const 0
  i64.const 0
  block (i32, i64) -> (i32, f32)
    drop
    f32.const 0.0
  end_block
  drop
  drop

  i32.const 0
  loop (i32) -> (f32)
    drop
    f32.const 0.0
  end_loop
  drop

  i32.const 0
  i32.const 0
  if (i32) -> (i32)
  else
    i32.popcnt
  end_if
  drop

  try i32
    i32.const 0
  catch       __cpp_exception
    i32.clz
  catch_all
    i32.const 5
  end_try
  drop

  i32.const 0
  block (i32) -> (i32)
    block (i32) -> (f32)
      drop
      f32.const 0.0
    end_block
    drop
    i32.const 0
  end_block
  drop

  # Branch tests

  block f32
    f32.const 0.0
    i32.const 0
    br_if 0
    f32.const 1.0
    br 0
    # After 'br', we can pop any values from the polymorphic stack
    i32.add
    i32.sub
    i32.mul
    drop
  end_block
  drop

  block () -> (f32, f64)
    f32.const 0.0
    f64.const 0.0
    i32.const 0
    br_if 0
    block (f32, f64) -> (f32, f64)
      i32.const 1
      br_if 0
    end_block
  end_block
  drop
  drop

  # Within a loop, branches target the start of the loop
  i32.const 0
  loop (i32) -> ()
    i32.const 1
    br 0
  end_loop

  end_function

# CHECK-LABEL: block_branch_test

# CHECK:         i32.const  0
# CHECK-NEXT:    block     (i32) -> (i32)
# CHECK-NEXT:    end_block                               # label0:
# CHECK-NEXT:    drop

# CHECK:         i32.const  0
# CHECK-NEXT:    i64.const  0
# CHECK-NEXT:    block     (i32, i64) -> (i32, f32)
# CHECK-NEXT:    drop
# CHECK-NEXT:    f32.const  0x0p0
# CHECK-NEXT:    end_block                               # label1:
# CHECK-NEXT:    drop
# CHECK-NEXT:    drop

# CHECK:         i32.const  0
# CHECK-NEXT:    loop      (i32) -> (f32)                  # label2:
# CHECK-NEXT:    drop
# CHECK-NEXT:    f32.const  0x0p0
# CHECK-NEXT:    end_loop
# CHECK-NEXT:    drop

# CHECK:         i32.const  0
# CHECK-NEXT:    i32.const  0
# CHECK-NEXT:    if      (i32) -> (i32)
# CHECK-NEXT:    else
# CHECK-NEXT:    i32.popcnt
# CHECK-NEXT:    end_if
# CHECK-NEXT:    drop

# CHECK:         try       i32
# CHECK-NEXT:    i32.const  0
# CHECK-NEXT:    catch     __cpp_exception                 # catch3:
# CHECK-NEXT:    i32.clz
# CHECK-NEXT:    catch_all
# CHECK-NEXT:    i32.const  5
# CHECK-NEXT:    end_try                                 # label3:
# CHECK-NEXT:    drop

# CHECK:         i32.const  0
# CHECK-NEXT:    block     (i32) -> (i32)
# CHECK-NEXT:    block     (i32) -> (f32)
# CHECK-NEXT:    drop
# CHECK-NEXT:    f32.const  0x0p0
# CHECK-NEXT:    end_block                               # label5:
# CHECK-NEXT:    drop
# CHECK-NEXT:    i32.const  0
# CHECK-NEXT:    end_block                               # label4:
# CHECK-NEXT:    drop

# CHECK:         block     f32
# CHECK-NEXT:    f32.const  0x0p0
# CHECK-NEXT:    i32.const  0
# CHECK-NEXT:    br_if     0                               # 0: down to label6
# CHECK-NEXT:    f32.const  0x1p0
# CHECK-NEXT:    br        0                               # 0: down to label6
# CHECK-NEXT:    i32.add
# CHECK-NEXT:    i32.sub
# CHECK-NEXT:    i32.mul
# CHECK-NEXT:    drop
# CHECK-NEXT:    end_block                               # label6:
# CHECK-NEXT:    drop

# CHECK:         block     () -> (f32, f64)
# CHECK-NEXT:    f32.const  0x0p0
# CHECK-NEXT:    f64.const  0x0p0
# CHECK-NEXT:    i32.const  0
# CHECK-NEXT:    br_if     0                               # 0: down to label7
# CHECK-NEXT:    block     (f32, f64) -> (f32, f64)
# CHECK-NEXT:    i32.const  1
# CHECK-NEXT:    br_if     0                               # 0: down to label8
# CHECK-NEXT:    end_block                               # label8:
# CHECK-NEXT:    end_block                               # label7:
# CHECK-NEXT:    drop
# CHECK-NEXT:    drop

# CHECK:         i32.const  0
# CHECK-NEXT:    loop      (i32) -> ()                     # label9:
# CHECK-NEXT:    i32.const  1
# CHECK-NEXT:    br        0                               # 0: up to label9
# CHECK-NEXT:    end_loop

# CHECK:         end_function