Lines Matching refs:UWord
66 UWord key;
67 UWord val;
75 UWord w;
87 Word (*kCmp)(UWord,UWord);
94 static Bool avl_removeroot_wrk(AvlNode** t, Word(*kCmp)(UWord,UWord));
139 static UWord size_avl_nonNull ( const AvlNode* nd )
148 static inline Word cmp_unsigned_Words ( UWord w1, UWord w2 ) {
164 Word (*kCmp)(UWord,UWord) )
181 : /*unboxed*/ cmp_unsigned_Words( (UWord)(*rootp)->key,
182 (UWord)a->key );
265 Word(*kCmp)(UWord,UWord) )
270 : /*unboxed*/ cmp_unsigned_Words( (UWord)(*rootp)->key,
271 (UWord)a->key );
357 Word(*kCmp)(UWord,UWord) )
392 AvlNode* avl_find_node ( AvlNode* t, Word k, Word(*kCmp)(UWord,UWord) )
407 UWord cmpresU; /* unsigned */
410 cmpresS = cmp_unsigned_Words( (UWord)t->key, (UWord)k );
412 cmpresU = (UWord)cmpresS;
421 /*OUT*/UWord* kMinP, /*OUT*/UWord* vMinP,
422 /*OUT*/UWord* kMaxP, /*OUT*/UWord* vMaxP,
423 UWord minKey, UWord minVal,
424 UWord maxKey, UWord maxVal,
425 UWord key,
426 Word(*kCmp)(UWord,UWord) )
428 UWord kLowerBound = minKey;
429 UWord vLowerBound = minVal;
430 UWord kUpperBound = maxKey;
431 UWord vUpperBound = maxVal;
503 UWord(*dopyK)(UWord),
504 UWord(*dopyV)(UWord),
552 Word (*kCmp)(UWord,UWord) )
569 ordering used is unsigned word ordering (UWord) on the key
574 Word (*kCmp)(UWord,UWord) )
582 void(*kFin)(UWord),
583 void(*vFin)(UWord),
602 void VG_(deleteFM) ( WordFM* fm, void(*kFin)(UWord), void(*vFin)(UWord) )
611 Bool VG_(addToFM) ( WordFM* fm, UWord k, UWord v )
630 /*OUT*/UWord* oldK, /*OUT*/UWord* oldV, UWord key )
648 /*OUT*/UWord* keyP, /*OUT*/UWord* valP, UWord key )
664 /*OUT*/UWord* kMinP, /*OUT*/UWord* vMinP,
665 /*OUT*/UWord* kMaxP, /*OUT*/UWord* vMaxP,
666 UWord minKey, UWord minVal,
667 UWord maxKey, UWord maxVal,
668 UWord key )
680 UWord VG_(sizeFM) ( const WordFM* fm )
705 void VG_(initIterAtFM) ( WordFM* fm, UWord start_at )
710 UWord cmpresU; /* unsigned */
736 cmpresU = (UWord)cmpresS;
755 Bool VG_(nextIterFM) ( WordFM* fm, /*OUT*/UWord* pKey, /*OUT*/UWord* pVal )
796 WordFM* VG_(dopyFM) ( WordFM* fm, UWord(*dopyK)(UWord),
797 UWord(*dopyV)(UWord) )
854 void VG_(addToBag)( WordBag* bag, UWord w )
856 UWord key, count;
866 UWord VG_(elemBag) ( const WordBag* bag, UWord w )
868 UWord key, count;
878 UWord VG_(sizeUniqueBag) ( const WordBag* bag )
883 static UWord sizeTotalBag_wrk ( const AvlNode* nd )
886 UWord w = nd->val;
894 UWord VG_(sizeTotalBag)( const WordBag* bag )
902 Bool VG_(delFromBag)( WordBag* bag, UWord w )
904 UWord key, count;
937 UWord VG_(anyElementOfBag)( const WordBag* bag )
952 Bool VG_(nextIterBag)( WordBag* bag, /*OUT*/UWord* pVal, /*OUT*/UWord* pCount )