272 static WordVec* do_ix2vec ( WordSetU* wsu, WordSet ws )  in do_ix2vec()  argument
280    tl_assert(ws < wsu->ix2vec_used); /* XXX */  in do_ix2vec()
281    wv = wsu->ix2vec[ws];  in do_ix2vec()
290 static WordVec* do_ix2vec_with_dead ( WordSetU* wsu, WordSet ws )  in do_ix2vec_with_dead()  argument
298    tl_assert(ws < wsu->ix2vec_used); /* XXX */  in do_ix2vec_with_dead()
299    wv = wsu->ix2vec[ws];  in do_ix2vec_with_dead()
333       WordSet ws;  in add_or_dealloc_WordVec()  local
335       ws = wsu->ix2vec_free - &(wsu->ix2vec[0]);  in add_or_dealloc_WordVec()
336       tl_assert(wsu->ix2vec[ws] == NULL || is_dead(wsu,wsu->ix2vec[ws]));  in add_or_dealloc_WordVec()
337       wsu->ix2vec_free = (WordVec **) wsu->ix2vec[ws];  in add_or_dealloc_WordVec()
338       wsu->ix2vec[ws] = wv_new;  in add_or_dealloc_WordVec()
339       VG_(addToFM)( wsu->vec2ix, (Word)wv_new, ws );  in add_or_dealloc_WordVec()
340       if (HG_DEBUG) VG_(printf)("aodW %s re-use free %d %p\n", wsu->cc, (Int)ws, wv_new );  in add_or_dealloc_WordVec()
341       return ws;  in add_or_dealloc_WordVec()
400 Bool HG_(isEmptyWS) ( WordSetU* wsu, WordSet ws )  in HG_()
402    WordVec* wv = do_ix2vec( wsu, ws );  in HG_()
405       tl_assert(ws == wsu->empty);  in HG_()
408       tl_assert(ws != wsu->empty);  in HG_()
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
418    wv = do_ix2vec( wsu, ws );  in HG_()
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )  in HG_()
426    wv = do_ix2vec( wsu, ws );  in HG_()
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )  in HG_()
436    wv = do_ix2vec( wsu, ws );  in HG_()
448                          WordSetU* wsu, WordSet ws )  in HG_()
451    if (HG_DEBUG) VG_(printf)("getPayloadWS %s %d\n", wsu->cc, (Int)ws);  in HG_()
453    wv = do_ix2vec( wsu, ws );  in HG_()
459 void HG_(dieWS) ( WordSetU* wsu, WordSet ws )  in HG_()
461    WordVec* wv = do_ix2vec_with_dead( wsu, ws );  in HG_()
465    if (HG_DEBUG) VG_(printf)("dieWS %s %d %p\n", wsu->cc, (Int)ws, wv);  in HG_()
467    if (ws == 0)  in HG_()
476    wsu->ix2vec[ws] = (WordVec*) wsu->ix2vec_free;  in HG_()
477    wsu->ix2vec_free = &wsu->ix2vec[ws];  in HG_()
485    tl_assert (wv_ix == ws);  in HG_()
495 Bool HG_(plausibleWS) ( WordSetU* wsu, WordSet ws )  in HG_()
498    if (ws < 0 || ws >= wsu->ix2vec_used)  in HG_()
503 Bool HG_(saneWS_SLOW) ( WordSetU* wsu, WordSet ws )  in HG_()
508    if (ws < 0 || ws >= wsu->ix2vec_used)  in HG_()
510    wv = do_ix2vec( wsu, ws );  in HG_()
523 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
526    WordVec* wv = do_ix2vec( wsu, ws );  in HG_()
568 void HG_(ppWS) ( WordSetU* wsu, WordSet ws )  in HG_()
573    wv = do_ix2vec( wsu, ws );  in HG_()
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
613    WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_addTo, ws, w);  in HG_()
617    wv = do_ix2vec( wsu, ws );  in HG_()
620          result = ws;  in HG_()
642    WCache_UPDATE(wsu->cache_addTo, ws, w, result);  in HG_()
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
651    WordVec* wv = do_ix2vec( wsu, ws );  in HG_()
657       tl_assert(ws == wsu->empty);  in HG_()
658       return ws;  in HG_()
661    WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_delFrom, ws, w);  in HG_()
670       result = ws;  in HG_()
693    WCache_UPDATE(wsu->cache_delFrom, ws, w, result);  in HG_()
925 void show_WS ( WordSetU* wsu, WordSet ws )  in show_WS()  argument
928    WordVec* wv = do_ix2vec( wsu, ws );  in show_WS()
929    VG_(printf)("#%u{", ws);  in show_WS()