   0  L1:
   0  -live- %i0, %i1, %i2, %r0, %r1
   0  int_guard_value %i0
   2  -live- %i0, %i1, %i2, %r0, %r1
   2  int_guard_value %i1
   4  -live- %i0, %i1, %i2, %r0, %r1
   4  ref_guard_value %r0
   6  -live- %i0, %i1, %i2, %r0, %r1
   6  jit_merge_point $76, I[%i0, %i1], R[%r0], F[], I[%i2], R[%r1], F[]
  19  -live- %i0, %i1, %i2, %r0, %r1
  19  getfield_gc_r_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r2
  24  -live- %i0, %i1, %i2, %r0, %r1, %r2
  24  guard_class %r2 -> %i3
  27  getfield_raw_i %i3, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i3
  32  -live- %i0, %i1, %i2, %i3, %r0, %r1, %r2
  32  int_guard_value %i3
  34  residual_call_ir_i %i3, <IndirectCallTargets>, I[%i2], R[%r2], <CallDescr(ri) EF=7> -> %i3
  43  -live- %i0, %i1, %i2, %i3, %r0, %r1
  43  -live- %i0, %i1, %i2, %i3, %r0, %r1
  43  goto_if_not_int_eq %i3, %i1, L2
  48  int_add %i2, $1 -> %i3
  52  inline_call_ir_r <JitCode 'BufMatchContext.buf_spec_sre_match'>, I[%i0, %i3], R[%r1, %r0, $<* struct rpython.rlib.rsre.rsre_core.Mark>] -> %r2
  63  -live- %i0, %i1, %i2, %r0, %r1, %r2
  63  -live- %i0, %i1, %i2, %r0, %r1, %r2
  63  goto_if_not_ptr_iszero %r2, L3
  67  L4:
  67  int_add %i2, $1 -> %i2
  71  getfield_gc_i_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i3
  76  -live- %i0, %i1, %i2, %i3, %r0, %r1
  76  goto_if_not_int_lt %i2, %i3, L5
  81  goto L1
  84  ---
  84  L5:
  84  int_return $False
  86  ---
  86  L3:
  86  setfield_gc_i %r1, %i2, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_match_start>
  91  int_return $True
  93  ---
  93  L2:
  93  goto L4
