fun i32 @const_prop_same () {
init:
  bid: b0
  allocations: 


block b0:
  j b1()

block b1:
  ret 0:i1
}

fun i32 @const_prop_true () {
init:
  bid: b0
  allocations: 


block b0:
  j b1()

block b1:
  ret 0:i1

block b2:
  ret 0:i1
}

fun i32 @const_prop_false () {
init:
  bid: b0
  allocations: 


block b0:
  j b2()

block b1:
  ret 0:i1

block b2:
  ret 0:i1
}

fun i32 @const_prop_switch_same () {
init:
  bid: b0
  allocations: 

block b0:
  j b1()

block b1:
  ret 0:i1
}

fun i32 @const_prop_switch_case () {
init:
  bid: b0
  allocations: 


block b0:
  j b2()

block b1:
  ret 0:i1

block b2:
  ret 0:i1

block b3:
  ret 0:i1
}

fun i32 @const_prop_switch_default () {
init:
  bid: b0
  allocations: 


block b0:
  j b1()

block b1:
  ret 0:i1

block b2:
  ret 0:i1

block b3:
  ret 0:i1
}