Lines Matching refs:Word
120 Word nElems; // number of elements in the tree
180 static inline Word fast_cmp(const void* k, const AvlNode* n) in fast_cmp()
197 inline Word slow_cmp(const AvlTree* t, const void* k, const AvlNode* n) in slow_cmp()
386 Word sz = 0; in VG_()
454 static inline Word cmp_key_root(const AvlTree* t, const AvlNode* n) in cmp_key_root()
465 Word cmpres = cmp_key_root(t, n); in avl_insert()
565 Word* node = VG_(OSetGen_AllocNode)(t, sizeof(UWord)); in VG_()
577 Word cmpres; in avl_lookup()
652 Word cmpres = cmp_key_root(t, n); in avl_remove()
866 Word cmpresS; /* signed */ in VG_()
882 cmpresS = (Word)slow_cmp(oset, k, t); in VG_()
915 Word VG_(OSetGen_Size)(const AvlTree* t) in VG_()
921 Word VG_(OSetWord_Size)(const AvlTree* t) in VG_()