test run
target aarch64
target x86_64 machinst

function %bint_b8_i128() -> i64, i64 {
block0:
  v0 = bconst.b8 true
  v1 = bint.i128 v0
  v2, v3 = isplit.i128 v1
  return v2, v3
}
; run: %bint_b8_i128() == [1, 0]