   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 $80, I[%i0, %i1], R[%r0], F[], I[%i2], R[%r1], F[]
  19  -live- %i0, %i1, %i2, %r1
  19  getfield_gc_r_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r0
  24  -live- %i0, %i1, %i2, %r0, %r1
  24  guard_class %r0 -> %i3
  27  getfield_raw_i %i3, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i3
  32  -live- %i0, %i1, %i2, %i3, %r0, %r1
  32  int_guard_value %i3
  34  residual_call_ir_i %i3, <IndirectCallTargets>, I[%i2], R[%r0], <CallDescr(ri) EF=7> -> %i3
  43  -live- %i0, %i1, %i2, %i3, %r1
  43  -live- %i0, %i1, %i2, %i3, %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, $<* struct rpython.rlib.rsre.rsre_core.Mark>] -> %r0
  62  -live- %i0, %i1, %i2, %r0, %r1
  62  -live- %i0, %i1, %i2, %r0, %r1
  62  goto_if_not_ptr_iszero %r0, L3
  66  L4:
  66  int_add %i2, $1 -> %i2
  70  getfield_gc_i_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i3
  75  -live- %i0, %i1, %i2, %i3, %r1
  75  goto_if_not_int_lt %i2, %i3, L5
  80  -live- %i0, %i1, %i2, %r1
  80  getfield_gc_r_greenfield %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_pattern> -> %r0
  85  goto L1
  88  ---
  88  L5:
  88  int_return $False
  90  ---
  90  L3:
  90  setfield_gc_i %r1, %i2, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_match_start>
  95  int_return $True
  97  ---
  97  L2:
  97  goto L4
