Lines Matching refs:UWord
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 )
195 wv->words = wsu->alloc( wsu->cc, (SizeT)sz * sizeof(UWord) );
208 static void delete_WV_for_FM ( UWord wv ) {
212 static Word cmp_WordVecs_for_FM ( UWord wv1W, UWord wv2W )
214 UWord i;
316 UWord/*Set*/ ix_old = -1;
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )
441 UWord HG_(cardinalityWSU) ( WordSetU* wsu )
447 void HG_(getPayloadWS) ( /*OUT*/UWord** words, /*OUT*/UWord* nWords,
463 UWord/*Set*/ wv_ix = -1;
506 UWord i;
523 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )
525 UWord i;
535 WordSet HG_(doubletonWS) ( WordSetU* wsu, UWord w1, UWord w2 )
557 WordSet HG_(singletonWS) ( WordSetU* wsu, UWord w )
570 UWord i;
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )
607 UWord k, j;
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )
648 UWord i, j, k;
699 UWord i1, i2, k, sz;
769 UWord i1, i2, k, sz;
850 UWord i1, i2, k, sz;
927 UWord i;
