• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:usedTS

2096       UInt     usedTS;  member
2172 if (vts->usedTS > vts->sizeTS) return False; in is_sane_VTS()
2173 n = vts->usedTS; in is_sane_VTS()
2199 tl_assert(vts->usedTS == 0); in VTS__new()
2211 UInt nTS = vts->usedTS; in VTS__clone()
2215 clone->usedTS = nTS; in VTS__clone()
2235 UInt nTS = vts->usedTS; in VTS__subtract()
2255 res->usedTS = j; in VTS__subtract()
2266 tl_assert(vts->usedTS <= vts->sizeTS); in VTS__delete()
2279 tl_assert(out->usedTS == 0); in VTS__singleton()
2281 UInt hi = out->usedTS++; in VTS__singleton()
2299 tl_assert(out->usedTS == 0); in VTS__tick()
2300 if (vts->usedTS >= ThrID_MAX_VALID) in VTS__tick()
2302 tl_assert(out->sizeTS >= 1 + vts->usedTS); in VTS__tick()
2307 n = vts->usedTS; in VTS__tick()
2314 UInt hi = out->usedTS++; in VTS__tick()
2330 UInt hi = out->usedTS++; in VTS__tick()
2341 UInt hi = out->usedTS++; in VTS__tick()
2347 UInt hi = out->usedTS++; in VTS__tick()
2354 UInt hi = out->usedTS++; in VTS__tick()
2360 tl_assert(out->usedTS == vts->usedTS + (found ? 0 : 1)); in VTS__tick()
2361 tl_assert(out->usedTS <= out->sizeTS); in VTS__tick()
2379 useda = a->usedTS; in VTS__join()
2380 usedb = b->usedTS; in VTS__join()
2383 tl_assert(out->usedTS == 0); in VTS__join()
2453 UInt hi = out->usedTS++; in VTS__join()
2461 tl_assert(out->usedTS <= out->sizeTS); in VTS__join()
2462 tl_assert(out->usedTS == useda + usedb - ncommon); in VTS__join()
2480 useda = a->usedTS; in VTS__cmpLEQ()
2481 usedb = b->usedTS; in VTS__cmpLEQ()
2578 ctsa = &a->ts[0]; useda = a->usedTS; in VTS__cmp_structural()
2579 ctsb = &b->ts[0]; usedb = b->usedTS; in VTS__cmp_structural()
2625 n = vts->usedTS; in VTS__show()
2642 n = vts->usedTS; in VTS__indexAt_SLOW()
3128 nSTSsBefore += old_vts->usedTS; in vts_tab__do_GC()
3131 tl_assert(new_vts->sizeTS == new_vts->usedTS); in vts_tab__do_GC()
3132 tl_assert(*(ULong*)(&new_vts->ts[new_vts->usedTS]) in vts_tab__do_GC()
3183 nSTSsAfter += new_vts->usedTS; in vts_tab__do_GC()
3476 temp_max_sized_VTS->usedTS = 0; in VtsID__join2_WRK()
3492 temp_max_sized_VTS->usedTS = 0; in VtsID__mk_Singleton()
3500 temp_max_sized_VTS->usedTS = 0; in VtsID__tick()