00001
00007 #ifndef UTIL_TIME_H
00008 #define UTIL_TIME_H
00009
00010 #include <config.h>
00011 #include <util/data_types.h>
00012 #include <sys/time.h>
00013
00014 CPS_START_NAMESPACE
00019
00020 Float dclock(void);
00021 Float print_time(char *cname, char *fname, Float time);
00022
00024 Float print_flops(unsigned long long nflops, Float time);
00026 Float print_flops(char *cname, char *fname,unsigned long long nflops, Float time);
00028 Float print_flops(unsigned long long nflops, struct timeval *start, struct timeval *end);
00030 Float print_flops(char *cname, char *fname, unsigned long long nflops, struct timeval *start, struct timeval *end);
00031
00034 CPS_END_NAMESPACE
00035 #endif
