   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 -> %i0
 133  getfield_gc_i_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i2
 138  -live- %i0, %i1, %i2, %r0
 141  goto_if_not_int_eq %i0, %i2, L16
 146  getfield_gc_r_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r0
 151  -live- %i1, %r0
 154  guard_class %r0 -> %i0
 157  getfield_raw_i %i0, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i0
 162  -live- %i0, %i1, %r0
 165  int_guard_value %i0
 167  residual_call_ir_i %i0, <IndirectCallTargets>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %i0
 176  -live- %i0
 179  int_eq %i0, $10 -> %i0
 183  int_return %i0
 185  ---
 185  L16:
 185  int_return $False
 187  ---
 187  L7:
 187  -live- %i1, %r0
 190  getfield_gc_i_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i0
 195  -live- %i0, %i1, %r0
 198  goto_if_not_int_eq %i1, %i0, L17
 203  int_return $True
 205  ---
 205  L17:
 205  getfield_gc_r_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r0
 210  -live- %i1, %r0
 213  guard_class %r0 -> %i0
 216  getfield_raw_i %i0, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i0
 221  -live- %i0, %i1, %r0
 224  int_guard_value %i0
 226  residual_call_ir_i %i0, <IndirectCallTargets>, I[%i1], R[%r0], <CallDescr(ri) EF=7> -> %i0
 235  -live- %i0
 238  int_eq %i0, $10 -> %i0
 242  int_return %i0
 244  ---
 244  L8:
 244  -live- %i1, %r0
 247  getfield_gc_i_pure %r0, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i0
 252  int_eq %i1, %i0 -> %i0
 256  int_return %i0
 258  ---
 258  L9:
 258  -live- %i1, %r0
 261  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_boundary_'>, I[%i1], R[%r0] -> %i0
 269  -live- %i0
 272  int_return %i0
 274  ---
 274  L10:
 274  -live- %i1, %r0
 277  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_non_boundary_'>, I[%i1], R[%r0] -> %i0
 285  -live- %i0
 288  int_return %i0
 290  ---
 290  L11:
 290  -live- %i1, %r0
 293  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_boundary__'>, I[%i1], R[%r0] -> %i0
 301  -live- %i0
 304  int_return %i0
 306  ---
 306  L12:
 306  -live- %i1, %r0
 309  inline_call_ir_i <JitCode 'BufMatchContext.buf_spec_at_non_boundary__'>, I[%i1], R[%r0] -> %i0
 317  -live- %i0
 320  int_return %i0
