const char *
util_str_prim_mode(unsigned value, boolean shortened);
+void
+util_dump_ns(FILE *f, uint64_t time);
+
void
util_dump_ptr(FILE *stream, const void *value);
#include "util/u_format.h"
#include "tgsi/tgsi_dump.h"
+#include <inttypes.h>
+
#include "u_dump.h"
util_stream_writef(stream, "%g", value);
}
+void
+util_dump_ns(FILE *f, uint64_t time)
+{
+ uint64_t secs = time / (1000*1000*1000);
+ unsigned usecs = (time % (1000*1000*1000)) / 1000;
+ fprintf(f, "%"PRIu64".%06us", secs, usecs);
+}
+
static void
util_dump_string(FILE *stream, const char *str)
{