55    struct { UWord arg1; UWord arg2; UWord res; }
69       UWord     dynMax; /* 1 .. N_WCACHE_STAT_MAX inclusive */
70       UWord     inUse;  /* 0 .. dynMax inclusive */
84       UWord   _i;                                                    \
85       UWord   _arg1  = (UWord)(_zzarg1);                             \
86       UWord   _arg2  = (UWord)(_zzarg2);                             \
111       UWord   _arg1  = (UWord)(_zzarg1);                             \
112       UWord   _arg2  = (UWord)(_zzarg2);                             \
113       UWord   _res   = (UWord)(_zzresult);                           \
137       UWord*    words;
138       UWord     size; /* Really this should be SizeT */
156       UWord     ix2vec_size;
157       UWord     ix2vec_used;
166       UWord     n_add;
167       UWord     n_add_uncached;
168       UWord     n_del;
169       UWord     n_del_uncached;
170       UWord     n_die;
171       UWord     n_union;
172       UWord     n_intersect;
173       UWord     n_intersect_uncached;
174       UWord     n_minus;
175       UWord     n_minus_uncached;
176       UWord     n_elem;
177       UWord     n_doubleton;
178       UWord     n_isEmpty;
179       UWord     n_isSingleton;
180       UWord     n_anyElementOf;
181       UWord     n_isSubsetOf;
186 static WordVec* new_WV_of_size ( WordSetU* wsu, UWord sz )  in new_WV_of_size()
195      wv->words = wsu->alloc( wsu->cc, (SizeT)sz * sizeof(UWord) );  in new_WV_of_size()
208 static void delete_WV_for_FM ( UWord wv ) {  in delete_WV_for_FM()
212 static Word cmp_WordVecs_for_FM ( UWord wv1W, UWord wv2W )  in cmp_WordVecs_for_FM()
214    UWord    i;  in cmp_WordVecs_for_FM()
316    UWord/*Set*/ ix_old = -1;  in add_or_dealloc_WordVec()
322                          (UWord*)&wv_old, (UWord*)&ix_old,  in add_or_dealloc_WordVec()
323                          (UWord)wv_new );  in add_or_dealloc_WordVec()
339       VG_(addToFM)( wsu->vec2ix, (UWord)wv_new, ws );  in add_or_dealloc_WordVec()
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )  in HG_()
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )  in HG_()
441 UWord HG_(cardinalityWSU) ( WordSetU* wsu )  in HG_()
447 void HG_(getPayloadWS) ( /*OUT*/UWord** words, /*OUT*/UWord* nWords,   in HG_()
463    UWord/*Set*/ wv_ix = -1;  in HG_()
480                     (UWord*)&wv_in_vec2ix, (UWord*)&wv_ix,  in HG_()
481                     (UWord)wv );  in HG_()
506    UWord    i;  in HG_()
523 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
525    UWord    i;  in HG_()
535 WordSet HG_(doubletonWS) ( WordSetU* wsu, UWord w1, UWord w2 )  in HG_()
557 WordSet HG_(singletonWS) ( WordSetU* wsu, UWord w )  in HG_()
570    UWord    i;  in HG_()
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
607    UWord    k, j;  in HG_()
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
648    UWord    i, j, k;  in HG_()
699    UWord    i1, i2, k, sz;  in HG_()
769    UWord    i1, i2, k, sz;  in HG_()
850    UWord    i1, i2, k, sz;  in HG_()
927    UWord i;  in show_WS()