32static inline iword Time_Clock() {
33#if defined(__APPLE__) && defined(__MACH__)
34#define APPLE_MACH (__APPLE__ & __MACH__)
38#if (defined(LIN) || defined(LIN64)) && !APPLE_MACH && !defined(__MINGW32__)
40 if (clock_gettime(CLOCK_MONOTONIC, &ts) < 0)
42 iword res = ((
iword)ts.tv_sec) * CLOCKS_PER_SEC;
43 res += (((
iword)ts.tv_nsec) * CLOCKS_PER_SEC) / 1000000000;
46 return (
iword)clock();
50static inline void Time_Print(
const char *pStr,
iword time) {
51 printf(
"%s = %10.2f sec", pStr, (
float)1.0 * ((
double)(time)) / ((
double)CLOCKS_PER_SEC));
54static inline void Time_PrintEndl(
const char *pStr,
iword time) {
55 Time_Print(pStr, time);
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.