def test_ll_arraycopy(self): h = HeapCache() h.new_array(box1, lengthbox1) h.setarrayitem(box1, descr1, index1, box2) h.new_array(box2, lengthbox1) # Just need the destination box for this call h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_CANNOT_RAISE, FakeEffektinfo.OS_ARRAYCOPY), [None, None, box2, None, None]) assert h.getarrayitem(box1, descr1, index1) is box2 h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_CANNOT_RAISE, FakeEffektinfo.OS_ARRAYCOPY), [None, None, box3, None, None]) assert h.getarrayitem(box1, descr1, index1) is None h.setarrayitem(box4, descr1, index1, box2) assert h.getarrayitem(box4, descr1, index1) is box2 h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_CANNOT_RAISE, FakeEffektinfo.OS_ARRAYCOPY), [None, None, box2, None, None]) assert h.getarrayitem(box4, descr1, index1) is None
def test_invalidate_cache(self): h = HeapCache() h.setfield(box1, descr1, box2) h.setarrayitem(box1, descr1, index1, box2) h.setarrayitem(box1, descr1, index2, box4) h.invalidate_caches(rop.INT_ADD, None, []) h.invalidate_caches(rop.INT_ADD_OVF, None, []) h.invalidate_caches(rop.SETFIELD_RAW, None, []) h.invalidate_caches(rop.SETARRAYITEM_RAW, None, []) assert h.getfield(box1, descr1) is box2 assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_ELIDABLE_CANNOT_RAISE), []) assert h.getfield(box1, descr1) is box2 assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.invalidate_caches(rop.GUARD_TRUE, None, []) assert h.getfield(box1, descr1) is box2 assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.invalidate_caches(rop.CALL_LOOPINVARIANT, FakeCallDescr(FakeEffektinfo.EF_LOOPINVARIANT), []) h.invalidate_caches(rop.CALL, FakeCallDescr(FakeEffektinfo.EF_RANDOM_EFFECTS), []) assert h.getfield(box1, descr1) is None assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr1, index2) is None
def test_ll_arraycopy(self): h = HeapCache() h.new_array(box1, lengthbox1) h.setarrayitem(box1, descr1, index1, box2) h.new_array(box2, lengthbox1) # Just need the destination box for this call h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_CANNOT_RAISE, FakeEffektinfo.OS_ARRAYCOPY), [None, None, box2, None, None] ) assert h.getarrayitem(box1, descr1, index1) is box2 h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_CANNOT_RAISE, FakeEffektinfo.OS_ARRAYCOPY), [None, None, box3, None, None] ) assert h.getarrayitem(box1, descr1, index1) is None h.setarrayitem(box4, descr1, index1, box2) assert h.getarrayitem(box4, descr1, index1) is box2 h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_CANNOT_RAISE, FakeEffektinfo.OS_ARRAYCOPY), [None, None, box2, None, None] ) assert h.getarrayitem(box4, descr1, index1) is None
def test_invalidate_cache(self): h = HeapCache() h.setfield(box1, descr1, box2) h.setarrayitem(box1, descr1, index1, box2) h.setarrayitem(box1, descr1, index2, box4) h.invalidate_caches(rop.INT_ADD, None, []) h.invalidate_caches(rop.INT_ADD_OVF, None, []) h.invalidate_caches(rop.SETFIELD_RAW, None, []) h.invalidate_caches(rop.SETARRAYITEM_RAW, None, []) assert h.getfield(box1, descr1) is box2 assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_ELIDABLE_CANNOT_RAISE), []) assert h.getfield(box1, descr1) is box2 assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.invalidate_caches( rop.CALL_LOOPINVARIANT, FakeCallDescr(FakeEffektinfo.EF_LOOPINVARIANT), []) h.invalidate_caches( rop.CALL, FakeCallDescr(FakeEffektinfo.EF_RANDOM_EFFECTS), []) assert h.getfield(box1, descr1) is None assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr1, index2) is None
def test_heapcache_array_nonconst_index(self): h = HeapCache() h.setarrayitem(box1, descr1, index1, box2) h.setarrayitem(box1, descr1, index2, box4) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.setarrayitem(box1, descr1, box2, box3) assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr1, index2) is None
def test_heapcache_array_nonconst_index(self): h = HeapCache() h.setarrayitem(box1, descr1, index1, box2) h.setarrayitem(box1, descr1, index2, box4) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr1, index2) is box4 h.setarrayitem(box1, descr1, box2, box3) assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr1, index2) is None
def test_heapcache_arrays(self): h = HeapCache() assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box1, descr1, index2) is None assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box1, descr1, index2) is None assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr1, index2, box4) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr2, index1, box3) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr2, index1) is box3 assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr1, index1, box3) assert h.getarrayitem(box1, descr1, index1) is box3 assert h.getarrayitem(box1, descr2, index1) is box3 assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box3, descr1, index1, box1) assert h.getarrayitem(box3, descr1, index1) is box1 assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr2, index1) is box3 assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.reset() assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box3, descr1, index1) is None
def test_heapcache_arrays(self): h = HeapCache() assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box1, descr1, index2) is None assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box1, descr1, index2) is None assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr1, index2, box4) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr2, index1, box3) assert h.getarrayitem(box1, descr1, index1) is box2 assert h.getarrayitem(box1, descr2, index1) is box3 assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box1, descr1, index1, box3) assert h.getarrayitem(box1, descr1, index1) is box3 assert h.getarrayitem(box1, descr2, index1) is box3 assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.setarrayitem(box3, descr1, index1, box1) assert h.getarrayitem(box3, descr1, index1) is box1 assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr2, index1) is box3 assert h.getarrayitem(box1, descr1, index2) is box4 assert h.getarrayitem(box1, descr2, index2) is None h.reset() assert h.getarrayitem(box1, descr1, index1) is None assert h.getarrayitem(box1, descr2, index1) is None assert h.getarrayitem(box3, descr1, index1) is None
def test_replace_box_array(self): h = HeapCache() h.setarrayitem(box1, descr1, index1, box2) h.setarrayitem(box1, descr2, index1, box3) h.arraylen_now_known(box1, lengthbox1) h.setarrayitem(box2, descr1, index2, box1) h.setarrayitem(box3, descr2, index2, box1) h.setarrayitem(box2, descr3, index2, box3) h.replace_box(box1, box4) assert h.arraylen(box4) is lengthbox1 assert h.getarrayitem(box4, descr1, index1) is box2 assert h.getarrayitem(box4, descr2, index1) is box3 assert h.getarrayitem(box2, descr1, index2) is box4 assert h.getarrayitem(box3, descr2, index2) is box4 assert h.getarrayitem(box2, descr3, index2) is box3 h.replace_box(lengthbox1, lengthbox2) assert h.arraylen(box4) is lengthbox2
def test_replace_box_array(self): h = HeapCache() h.setarrayitem(box1, descr1, index1, box2) h.setarrayitem(box1, descr2, index1, box3) h.arraylen_now_known(box1, lengthbox1) h.setarrayitem(box2, descr1, index2, box1) h.setarrayitem(box3, descr2, index2, box1) h.setarrayitem(box2, descr3, index2, box3) h.replace_box(box1, box4) assert h.arraylen(box4) is lengthbox1 assert h.getarrayitem(box4, descr1, index1) is box2 assert h.getarrayitem(box4, descr2, index1) is box3 assert h.getarrayitem(box2, descr1, index2) is box4 assert h.getarrayitem(box3, descr2, index2) is box4 assert h.getarrayitem(box2, descr3, index2) is box3 h.replace_box(lengthbox1, lengthbox2) assert h.arraylen(box4) is lengthbox2
def test_heapcache_write_fields_multiple_array(self): h = HeapCache() h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 h.setarrayitem(box3, descr1, index1, box4) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is None # box1 and box3 can alias h = HeapCache() h.new(box1) h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 h.setarrayitem(box3, descr1, index1, box4) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is None # box1 and box3 can alias h = HeapCache() h.new(box1) h.new(box3) h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 h.setarrayitem(box3, descr1, index1, box4) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is box2 # box1 and box3 cannot alias h.setarrayitem(box1, descr1, index1, box3) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is box3 # box1 and box3 cannot alias
def test_heapcache_write_fields_multiple_array(self): h = HeapCache() h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 h.setarrayitem(box3, descr1, index1, box4) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is None # box1 and box3 can alias h = HeapCache() h.new(box1) h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 h.setarrayitem(box3, descr1, index1, box4) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is None # box1 and box3 can alias h = HeapCache() h.new(box1) h.new(box3) h.setarrayitem(box1, descr1, index1, box2) assert h.getarrayitem(box1, descr1, index1) is box2 h.setarrayitem(box3, descr1, index1, box4) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is box2 # box1 and box3 cannot alias h.setarrayitem(box1, descr1, index1, box3) assert h.getarrayitem(box3, descr1, index1) is box4 assert h.getarrayitem(box1, descr1, index1) is box3 # box1 and box3 cannot alias