   0  -live- %i0, %r0
   3  switch %i0, <SwitchDictDescr 0:L1, 1:L2, 2:L3>
   7  unreachable
   8  ---
   8  L1:
   8  -live- %r0
  11  residual_call_r_r $<* fn W_BufferedReader._read_all>, R[%r0], <CallDescr(r) EF=7> -> %r0
  18  -live- %r0
  21  ref_return %r0
  23  ---
  23  L2:
  23  -live- %r0
  26  residual_call_r_r $<* fn W_BufferedReader._read_all>, R[%r0], <CallDescr(r) EF=7> -> %r0
  33  -live- %r0
  36  ref_return %r0
  38  ---
  38  L3:
  38  -live- %r0
  41  residual_call_r_r $<* fn W_BufferedReader._read_all>, R[%r0], <CallDescr(r) EF=7> -> %r0
  48  -live- %r0
  51  ref_return %r0
