   0  residual_call_ir_r $<* fn AbstractAttribute.find_map_attr>, I[%i0], R[%r0, %r2], <CallDescr(rri) EF=0> -> %r4
  10  -live- %i0, %r0, %r1, %r2, %r3, %r4
  10  goto_if_not_ptr_iszero %r4, L1
  14  getfield_gc_r_pure %r0, FieldDescr<pypy.objspace.std.mapdict.AbstractAttribute.inst_terminator> -> %r0
  19  -live- %i0, %r0, %r1, %r2, %r3
  19  guard_class %r0 -> %i1
  22  getfield_raw_i %i1, FieldDescr<pypy.objspace.std.mapdict.Terminator_vtable.cls__write_terminator> -> %i1
  27  inline_call_ir_i <JitCode 'dispatcher'>, I[%i1, %i0], R[%r0, %r1, %r2, %r3] -> %i0
  39  -live- %i0
  39  int_return %i0
  41  ---
  41  L1:
  41  -live- %r1, %r3, %r4
  41  record_quasiimmut_field %r4, FieldDescr<pypy.objspace.std.mapdict.PlainAttribute.inst_ever_mutated>, FieldDescr<pypy.objspace.std.mapdict.PlainAttribute.mutate_ever_mutated>
  47  getfield_gc_i_pure %r4, FieldDescr<pypy.objspace.std.mapdict.PlainAttribute.inst_ever_mutated> -> %i0
  52  -live- %i0, %r1, %r3, %r4
  52  goto_if_not %i0, L2
  56  L3:
  56  getfield_gc_i_pure %r4, FieldDescr<pypy.objspace.std.mapdict.PlainAttribute.inst_storageindex> -> %i0
  61  -live- %i0, %r1, %r3
  61  guard_class %r1 -> %i1
  64  getfield_raw_i %i1, FieldDescr<pypy.interpreter.baseobjspace.W_Root_vtable.cls__mapdict_write_storage> -> %i1
  69  -live- %i0, %i1, %r1, %r3
  69  int_guard_value %i1
  71  residual_call_ir_v %i1, <IndirectCallTargets>, I[%i0], R[%r1, %r3], <CallDescr(rir) EF=5>
  80  -live-
  80  int_return $True
  82  ---
  82  L2:
  82  -live- %r1, %r3, %r4
  82  jit_force_quasi_immutable %r4, FieldDescr<pypy.objspace.std.mapdict.PlainAttribute.mutate_ever_mutated>
  86  setfield_gc_i %r4, $True, FieldDescr<pypy.objspace.std.mapdict.PlainAttribute.inst_ever_mutated>
  91  goto L3
