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
}