   0  L1:
   0  -live- %i0, %i1, %r0, %r1
   0  int_guard_value %i0
   2  -live- %i0, %i1, %r0, %r1
   2  ref_guard_value %r0
   4  -live- %i0, %i1, %r0, %r1
   4  jit_merge_point $89, I[%i0], R[%r0], F[], I[%i1], R[%r1], F[]
  16  -live- %i0, %i1, %r1
  16  -live- %i0, %i1, %r1
  16  getfield_gc_r_greenfield %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_pattern> -> %r0
  21  getfield_gc_r_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.BufMatchContext.inst__buffer> -> %r2
  26  -live- %i0, %i1, %r0, %r1, %r2
  26  guard_class %r2 -> %i2
  29  getfield_raw_i %i2, FieldDescr<rpython.rlib.buffer.Buffer_vtable.cls_getitem> -> %i2
  34  -live- %i0, %i1, %i2, %r0, %r1, %r2
  34  int_guard_value %i2
  36  residual_call_ir_i %i2, <IndirectCallTargets>, I[%i1], R[%r2], <CallDescr(ri) EF=7> -> %i2
  45  -live- %i0, %i1, %i2, %r0, %r1
  45  inline_call_ir_i <JitCode 'check_charset'>, I[$5, %i2], R[%r0] -> %i2
  54  -live- %i0, %i1, %i2, %r1
  54  -live- %i0, %i1, %i2, %r1
  54  goto_if_not_int_is_true %i2, L2
  58  inline_call_ir_r <JitCode 'BufMatchContext.buf_spec_sre_match'>, I[%i0, %i1], R[%r1, $<* struct rpython.rlib.rsre.rsre_core.Mark>] -> %r0
  68  -live- %i0, %i1, %r0, %r1
  68  -live- %i0, %i1, %r0, %r1
  68  goto_if_not_ptr_iszero %r0, L3
  72  L4:
  72  int_add %i1, $1 -> %i1
  76  getfield_gc_i_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_end> -> %i2
  81  -live- %i0, %i1, %i2, %r1
  81  goto_if_not_int_lt %i1, %i2, L5
  86  -live- %i0, %i1, %r1
  86  getfield_gc_r_greenfield %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_pattern> -> %r0
  91  goto L1
  94  ---
  94  L5:
  94  int_return $False
  96  ---
  96  L3:
  96  setfield_gc_i %r1, %i1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_match_start>
 101  int_return $True
 103  ---
 103  L2:
 103  goto L4
