   0  L1:
   0  -live- %i0, %i1, %i2, %r0, %r1
   0  int_guard_value %i0
   2  -live- %i0, %i1, %i2, %r0, %r1
   2  ref_guard_value %r0
   4  -live- %i0, %i1, %i2, %r0, %r1
   4  jit_merge_point $92, I[%i0], R[%r0], F[], I[%i1, %i2], R[%r1], F[]
  17  -live- %i0, %i1, %i2, %r1
  17  -live- %i0, %i1, %i2, %r1
  17  goto_if_not_int_lt %i1, %i2, L2
  22  int_add %i0, $2 -> %i3
  26  getfield_gc_r_pure %r1, FieldDescr<rpython.rlib.rsre.rsre_core.StrMatchContext.inst__string> -> %r0
  31  strgetitem %r0, %i1 -> %i4
  35  inline_call_ir_i <JitCode 'check_charset'>, I[%i3, %i4], R[%r1] -> %i3
  44  -live- %i0, %i1, %i2, %i3, %r1
  44  -live- %i0, %i1, %i2, %i3, %r1
  44  goto_if_not_int_is_true %i3, L3
  48  int_add %i1, $1 -> %i1
  52  -live- %i0, %i1, %i2, %r1
  52  getfield_gc_r_greenfield %r1, FieldDescr<rpython.rlib.rsre.rsre_core.AbstractMatchContext.inst_pattern> -> %r0
  57  goto L1
  60  ---
  60  L3:
  60  int_return %i1
  62  ---
  62  L2:
  62  int_return %i1
