   0  -live- %i0, %i1, %r0
   3  switch %i0, <SwitchDictDescr 0:L1, 1:L2, 2:L3>
   7  unreachable
   8  ---
   8  L1:
   8  -live- %i1, %r0
  11  residual_call_ir_r $<* fn W_BufferedReader._read_generic>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %r0
  20  -live- %r0
  23  ref_return %r0
  25  ---
  25  L2:
  25  -live- %i1, %r0
  28  residual_call_ir_r $<* fn W_BufferedReader._read_generic>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %r0
  37  -live- %r0
  40  ref_return %r0
  42  ---
  42  L3:
  42  -live- %i1, %r0
  45  residual_call_ir_r $<* fn W_BufferedReader._read_generic>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %r0
  54  -live- %r0
  57  ref_return %r0
