def clear_caches(self, opnum, descr, argboxes):
if (opnum == rop.SETFIELD_GC or
opnum == rop.SETARRAYITEM_GC or
opnum == rop.SETFIELD_RAW or
opnum == rop.SETARRAYITEM_RAW or
opnum == rop.SETINTERIORFIELD_GC or
opnum == rop.COPYSTRCONTENT or
opnum == rop.COPYUNICODECONTENT or
opnum == rop.STRSETITEM or
opnum == rop.UNICODESETITEM or
opnum == rop.SETFIELD_RAW or
opnum == rop.SETARRAYITEM_RAW or
opnum == rop.SETINTERIORFIELD_RAW or
opnum == rop.RECORD_EXACT_CLASS or
opnum == rop.RAW_STORE or
opnum == rop.ASSERT_NOT_NONE):
return
if (rop._OVF_FIRST <= opnum <= rop._OVF_LAST or
rop._NOSIDEEFFECT_FIRST <= opnum <= rop._NOSIDEEFFECT_LAST or
rop._GUARD_FIRST <= opnum <= rop._GUARD_LAST):
return
self.need_guard_not_invalidated = True # can do better, but good start
if (OpHelpers.is_plain_call(opnum) or
OpHelpers.is_call_loopinvariant(opnum) or
OpHelpers.is_cond_call_value(opnum) or
opnum == rop.COND_CALL):
effectinfo = descr.get_extra_info()
ef = effectinfo.extraeffect
if (ef == effectinfo.EF_LOOPINVARIANT or
ef == effectinfo.EF_ELIDABLE_CANNOT_RAISE or
ef == effectinfo.EF_ELIDABLE_OR_MEMORYERROR or
ef == effectinfo.EF_ELIDABLE_CAN_RAISE):
return
# A special case for ll_arraycopy, because it is so common, and its
# effects are so well defined.
elif effectinfo.oopspecindex == effectinfo.OS_ARRAYCOPY:
self._clear_caches_arraycopy(opnum, descr, argboxes, effectinfo)
return
elif effectinfo.oopspecindex == effectinfo.OS_ARRAYMOVE:
self._clear_caches_arraymove(opnum, descr, argboxes, effectinfo)
return
else:
# Only invalidate things that are escaped
# XXX can do better, only do it for the descrs in the effectinfo
for descr, cache in self.heap_cache.iteritems():
cache.invalidate_unescaped()
for descr, indices in self.heap_array_cache.iteritems():
for cache in indices.itervalues():
cache.invalidate_unescaped()
return
# XXX not completely sure, but I *think* it is needed to reset() the
# state at least in the 'CALL_*' operations that release the GIL. We
# tried to do only the kind of resetting done by the two loops just
# above, but hit an assertion in "pypy test_multiprocessing.py".
self.reset_keep_likely_virtuals()
def clear_caches(self, opnum, descr, argboxes):
if (opnum == rop.SETFIELD_GC or
opnum == rop.SETARRAYITEM_GC or
opnum == rop.SETFIELD_RAW or
opnum == rop.SETARRAYITEM_RAW or
opnum == rop.SETINTERIORFIELD_GC or
opnum == rop.COPYSTRCONTENT or
opnum == rop.COPYUNICODECONTENT or
opnum == rop.STRSETITEM or
opnum == rop.UNICODESETITEM or
opnum == rop.SETFIELD_RAW or
opnum == rop.SETARRAYITEM_RAW or
opnum == rop.SETINTERIORFIELD_RAW or
opnum == rop.RAW_STORE):
return
if (rop._OVF_FIRST <= opnum <= rop._OVF_LAST or
rop._NOSIDEEFFECT_FIRST <= opnum <= rop._NOSIDEEFFECT_LAST or
rop._GUARD_FIRST <= opnum <= rop._GUARD_LAST):
return
if (OpHelpers.is_plain_call(opnum) or
OpHelpers.is_call_loopinvariant(opnum) or
OpHelpers.is_cond_call_value(opnum) or
opnum == rop.COND_CALL):
effectinfo = descr.get_extra_info()
ef = effectinfo.extraeffect
if (ef == effectinfo.EF_LOOPINVARIANT or
ef == effectinfo.EF_ELIDABLE_CANNOT_RAISE or
ef == effectinfo.EF_ELIDABLE_OR_MEMORYERROR or
ef == effectinfo.EF_ELIDABLE_CAN_RAISE):
return
# A special case for ll_arraycopy, because it is so common, and its
# effects are so well defined.
elif effectinfo.oopspecindex == effectinfo.OS_ARRAYCOPY:
self._clear_caches_arraycopy(opnum, descr, argboxes, effectinfo)
return
else:
# Only invalidate things that are escaped
# XXX can do better, only do it for the descrs in the effectinfo
for descr, cache in self.heap_cache.iteritems():
cache.invalidate_unescaped()
for descr, indices in self.heap_array_cache.iteritems():
for cache in indices.itervalues():
cache.invalidate_unescaped()
return
# XXX not completely sure, but I *think* it is needed to reset() the
# state at least in the 'CALL_*' operations that release the GIL. We
# tried to do only the kind of resetting done by the two loops just
# above, but hit an assertion in "pypy test_multiprocessing.py".
self.reset_keep_likely_virtuals()
