Lines Matching refs:UWord
56 UWord magic;
57 UWord words[256];
65 UWord magic;
74 UWord partial_key;
92 static inline UWord swa_bitarray_read ( const UChar* arr, UWord ix ) {
93 UWord bix = ix >> 3;
94 UWord off = ix & 7;
98 static inline UWord swa_bitarray_read_then_set ( UChar* arr, UWord ix ) {
99 UWord bix = ix >> 3;
100 UWord off = ix & 7;
107 static inline UWord swa_bitarray_read_then_clear ( UChar* arr, UWord ix ) {
108 UWord bix = ix >> 3;
109 UWord off = ix & 7;
118 static void swa_PUSH ( SparseWA* swa, UWord partial_key, Int curr_ix,
133 UWord* partial_key, Int* curr_ix,
177 /*OUT*/UWord* keyP, /*OUT*/UWord* valP )
179 UWord p_key;
200 if (*(UWord*)curr_nd == Level0_MAGIC) {
206 *keyP = (p_key << 8) + (UWord)curr_ix;
216 vg_assert(*(UWord*)curr_nd == LevelN_MAGIC);
221 p_key = (p_key << 8) + (UWord)curr_ix;
256 if (*(UWord*)nd == LevelN_MAGIC) {
264 vg_assert(*(UWord*)nd == Level0_MAGIC);
277 /*OUT*/UWord* valP,
278 UWord key )
281 UWord ix;
310 Bool VG_(addToSWA) ( SparseWA* swa, UWord key, UWord val )
313 UWord ix;
368 /*OUT*/UWord* oldV, UWord key )
371 UWord ix;
377 UWord visitedIx[_3_or_7];
433 static UWord swa_sizeSWA_wrk ( const void* nd )
436 if (*(const UWord*)nd == LevelN_MAGIC) {
437 UWord sum = 0;
447 vg_assert(*(const UWord*)nd == Level0_MAGIC);
452 UWord VG_(sizeSWA) ( const SparseWA* swa )
