}
-/* Returns number of characters written */
-Int CLG_(sprint_cost)(HChar* buf, EventSet* es, ULong* c)
-{
- Int i, pos, skipped = 0;
-
- if (!c || es->size==0) return 0;
-
- /* At least one entry */
- pos = VG_(sprintf)(buf, "%llu", c[0]);
- for(i=1; i<es->size; i++) {
- if (c[i] == 0) {
- skipped++;
- continue;
- }
- while(skipped>0) {
- buf[pos++] = ' ';
- buf[pos++] = '0';
- skipped--;
- }
- buf[pos++] = ' ';
- pos += VG_(sprintf)(buf+pos, "%llu", c[i]);
- }
-
- return pos;
-}
-
-
/* Allocate space for an event mapping */
EventMapping* CLG_(get_eventmapping)(EventSet* es)
{
* Returns false if nothing changed */
Bool CLG_(add_diff_cost)(EventSet*,ULong* dst, ULong* old, ULong* new_cost);
Bool CLG_(add_diff_cost_lz)(EventSet*,ULong** pdst, ULong* old, ULong* new_cost);
-/* Returns number of characters written */
-Int CLG_(sprint_cost)(HChar* buf, EventSet*, ULong*);
/* EventMapping: An ordered subset of events from an event set.
* This is used to print out part of an EventSet, or in another order.