   0  -live- %i0, %i1, %r0
   3  switch %i0, <SwitchDictDescr 0:L1, 1:L2, 2:L3, 3:L4, 4:L5, 5:L6, 6:L7, 7:L8, 8:L9, 9:L10, 10:L11, 11:L12>
   7  int_return $False
   9  ---
   9  L1:
   9  L13:
   9  -live- %i1
  12  int_is_zero %i1 -> %i0
  15  int_return %i0
  17  ---
  17  L2:
  17  -live- %i1, %r0
  20  int_sub %i1, $1 -> %i0
  24  -live- %i0, %r0
  27  goto_if_not_int_lt %i0, $0, L14
  32  int_return $True
  34  ---
  34  L14:
  34  getfield_gc_r_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r0
  39  -live- %i0, %r0
  42  guard_class %r0 -> %i1
  45  getfield_raw_i %i1, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i1
  50  -live- %i0, %i1, %r0
  53  int_guard_value %i1
  55  residual_call_ir_i %i1, <IndirectCallTargets>, I[%i0], R[%r0], <CallDescr(ri) EF=7> -> %i0
  64  -live- %i0
  67  int_eq %i0, $10 -> %i0
  71  int_return %i0
  73  ---
  73  L3:
  73  -live- %i1
  76  goto L13
  79  ---
  79  L4:
  79  -live- %i1, %r0
  82  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_boundary'>, I[%i1], R[%r0] -> %i0
  90  -live- %i0
  93  int_return %i0
  95  ---
  95  L5:
  95  -live- %i1, %r0
  98  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_non_boundary'>, I[%i1], R[%r0] -> %i0
 106  -live- %i0
 109  int_return %i0
 111  ---
 111  L6:
 111  -live- %i1, %r0
 114  getfield_gc_i_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i0
 119  -live- %i0, %i1, %r0
 122  goto_if_not_int_eq %i1, %i0, L15
 127  int_return $True
 129  ---
 129  L15:
 129  int_add %i1, $1 -> %i2
 133  -live- %i0, %i1, %i2, %r0
 136  goto_if_not_int_eq %i2, %i0, L16
 141  getfield_gc_r_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r0
 146  -live- %i1, %r0
 149  guard_class %r0 -> %i0
 152  getfield_raw_i %i0, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i0
 157  -live- %i0, %i1, %r0
 160  int_guard_value %i0
 162  residual_call_ir_i %i0, <IndirectCallTargets>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %i0
 171  -live- %i0
 174  int_eq %i0, $10 -> %i0
 178  int_return %i0
 180  ---
 180  L16:
 180  int_return $False
 182  ---
 182  L7:
 182  -live- %i1, %r0
 185  getfield_gc_i_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i0
 190  -live- %i0, %i1, %r0
 193  goto_if_not_int_eq %i1, %i0, L17
 198  int_return $True
 200  ---
 200  L17:
 200  getfield_gc_r_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r0
 205  -live- %i1, %r0
 208  guard_class %r0 -> %i0
 211  getfield_raw_i %i0, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i0
 216  -live- %i0, %i1, %r0
 219  int_guard_value %i0
 221  residual_call_ir_i %i0, <IndirectCallTargets>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %i0
 230  -live- %i0
 233  int_eq %i0, $10 -> %i0
 237  int_return %i0
 239  ---
 239  L8:
 239  -live- %i1, %r0
 242  getfield_gc_i_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i0
 247  int_eq %i1, %i0 -> %i0
 251  int_return %i0
 253  ---
 253  L9:
 253  -live- %i1, %r0
 256  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_boundary_'>, I[%i1], R[%r0] -> %i0
 264  -live- %i0
 267  int_return %i0
 269  ---
 269  L10:
 269  -live- %i1, %r0
 272  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_non_boundary_'>, I[%i1], R[%r0] -> %i0
 280  -live- %i0
 283  int_return %i0
 285  ---
 285  L11:
 285  -live- %i1, %r0
 288  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_boundary__'>, I[%i1], R[%r0] -> %i0
 296  -live- %i0
 299  int_return %i0
 301  ---
 301  L12:
 301  -live- %i1, %r0
 304  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_non_boundary__'>, I[%i1], R[%r0] -> %i0
 312  -live- %i0
 315  int_return %i0
