| |
| /*--------------------------------------------------------------------*/ |
| /*--- An expandable array implementation. m_xarray.h ---*/ |
| /*--------------------------------------------------------------------*/ |
| |
| /* |
| This file is part of Valgrind, a dynamic binary instrumentation |
| framework. |
| |
| Copyright (C) 2007-2007 OpenWorks LLP |
| info@open-works.co.uk |
| |
| This program is free software; you can redistribute it and/or |
| modify it under the terms of the GNU General Public License as |
| published by the Free Software Foundation; either version 2 of the |
| License, or (at your option) any later version. |
| |
| This program is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program; if not, write to the Free Software |
| Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 02111-1307, USA. |
| |
| The GNU General Public License is contained in the file COPYING. |
| */ |
| |
| #include "pub_core_basics.h" |
| #include "pub_core_libcbase.h" |
| #include "pub_core_libcassert.h" |
| #include "pub_core_libcprint.h" |
| #include "pub_core_xarray.h" /* self */ |
| |
| |
| /* See pub_tool_xarray.h for details of what this is all about. */ |
| |
| struct _XArray { |
| void* (*alloc) ( SizeT ); /* alloc fn (nofail) */ |
| void (*free) ( void* ); /* free fn */ |
| Int (*cmpFn) ( void*, void* ); /* cmp fn (may be NULL) */ |
| Word elemSzB; /* element size in bytes */ |
| void* arr; /* pointer to elements */ |
| Word usedsizeE; /* # used elements in arr */ |
| Word totsizeE; /* max size of arr, in elements */ |
| Bool sorted; /* is it sorted? */ |
| }; |
| |
| |
| XArray* VG_(newXA) ( void*(*alloc_fn)(SizeT), |
| void(*free_fn)(void*), |
| Word elemSzB ) |
| { |
| struct _XArray* xa; |
| /* Implementation relies on Word being signed and (possibly) |
| on SizeT being unsigned. */ |
| vg_assert( sizeof(Word) == sizeof(void*) ); |
| vg_assert( ((Word)(-1)) < ((Word)(0)) ); |
| vg_assert( ((SizeT)(-1)) > ((SizeT)(0)) ); |
| /* check user-supplied info .. */ |
| vg_assert(alloc_fn); |
| vg_assert(free_fn); |
| vg_assert(elemSzB > 0); |
| xa = alloc_fn( sizeof(struct _XArray) ); |
| vg_assert(xa); |
| xa->alloc = alloc_fn; |
| xa->free = free_fn; |
| xa->cmpFn = NULL; |
| xa->elemSzB = elemSzB; |
| xa->usedsizeE = 0; |
| xa->totsizeE = 0; |
| xa->sorted = False; |
| xa->arr = NULL; |
| return xa; |
| } |
| |
| void VG_(deleteXA) ( XArray* xao ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(xa->free); |
| if (xa->arr); |
| xa->free(xa->arr); |
| xa->free(xa); |
| } |
| |
| void VG_(setCmpFnXA) ( XArray* xao, Int (*compar)(void*,void*) ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(compar); |
| xa->cmpFn = compar; |
| xa->sorted = False; |
| } |
| |
| inline void* VG_(indexXA) ( XArray* xao, Word n ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(n >= 0); |
| vg_assert(n < xa->usedsizeE); |
| return ((char*)xa->arr) + n * xa->elemSzB; |
| } |
| |
| Int VG_(addToXA) ( XArray* xao, void* elem ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(elem); |
| vg_assert(xa->totsizeE >= 0); |
| vg_assert(xa->usedsizeE >= 0 && xa->usedsizeE <= xa->totsizeE); |
| if (xa->usedsizeE == xa->totsizeE) { |
| void* tmp; |
| Word newsz; |
| if (xa->totsizeE == 0) |
| vg_assert(!xa->arr); |
| if (xa->totsizeE > 0) |
| vg_assert(xa->arr); |
| newsz = xa->totsizeE==0 ? 2 : 2 * xa->totsizeE; |
| if (0) |
| VG_(printf)("addToXA: increasing from %ld to %ld\n", |
| xa->totsizeE, newsz); |
| tmp = xa->alloc(newsz * xa->elemSzB); |
| vg_assert(tmp); |
| if (xa->usedsizeE > 0) |
| VG_(memcpy)(tmp, xa->arr, xa->usedsizeE * xa->elemSzB); |
| if (xa->arr) |
| xa->free(xa->arr); |
| xa->arr = tmp; |
| xa->totsizeE = newsz; |
| } |
| vg_assert(xa->usedsizeE < xa->totsizeE); |
| vg_assert(xa->arr); |
| VG_(memcpy)( ((UChar*)xa->arr) + xa->usedsizeE * xa->elemSzB, |
| elem, xa->elemSzB ); |
| xa->usedsizeE++; |
| xa->sorted = False; |
| return xa->usedsizeE-1; |
| } |
| |
| void VG_(sortXA) ( XArray* xao ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(xa->cmpFn); |
| VG_(ssort)( xa->arr, xa->usedsizeE, xa->elemSzB, xa->cmpFn ); |
| xa->sorted = True; |
| } |
| |
| Bool VG_(lookupXA) ( XArray* xao, void* key, Word* first, Word* last ) |
| { |
| Word lo, mid, hi, cres; |
| void* midv; |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(xa->cmpFn); |
| vg_assert(xa->sorted); |
| vg_assert(first); |
| vg_assert(last); |
| lo = 0; |
| hi = xa->usedsizeE-1; |
| while (True) { |
| /* current unsearched space is from lo to hi, inclusive. */ |
| if (lo > hi) return False; /* not found */ |
| mid = (lo + hi) / 2; |
| midv = VG_(indexXA)( xa, mid ); |
| cres = xa->cmpFn( key, midv ); |
| if (cres < 0) { hi = mid-1; continue; } |
| if (cres > 0) { lo = mid+1; continue; } |
| /* Found it, at mid. See how far we can expand this. */ |
| vg_assert(xa->cmpFn( key, VG_(indexXA)(xa, lo) ) >= 0); |
| vg_assert(xa->cmpFn( key, VG_(indexXA)(xa, hi) ) <= 0); |
| *first = *last = mid; |
| while (*first > 0 |
| && 0 == xa->cmpFn( key, VG_(indexXA)(xa, (*first)-1))) |
| (*first)--; |
| while (*last < xa->usedsizeE-1 |
| && 0 == xa->cmpFn( key, VG_(indexXA)(xa, (*last)+1))) |
| (*last)++; |
| return True; |
| } |
| } |
| |
| Word VG_(sizeXA) ( XArray* xao ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| return xa->usedsizeE; |
| } |
| |
| void VG_(dropTailXA) ( XArray* xao, Word n ) |
| { |
| struct _XArray* xa = (struct _XArray*)xao; |
| vg_assert(xa); |
| vg_assert(n >= 0); |
| vg_assert(n <= xa->usedsizeE); |
| xa->usedsizeE -= n; |
| } |
| |
| |
| /*--------------------------------------------------------------------*/ |
| /*--- end m_xarray.c ---*/ |
| /*--------------------------------------------------------------------*/ |