#include "timing.h" #include #define INPUT_TYPE uint64_t #define INPUT_SIZE 512 #define FUNCTION_NAME __floatundisf #ifndef LIBNAME #define LIBNAME UNKNOWN #endif #define LIBSTRING LIBSTRINGX(LIBNAME) #define LIBSTRINGX(a) LIBSTRINGXX(a) #define LIBSTRINGXX(a) #a float FUNCTION_NAME(INPUT_TYPE x); int main(int argc, char *argv[]) { INPUT_TYPE input[INPUT_SIZE]; int i, j; srand(42); // Initialize the input array with data of various sizes. for (i=0; i> (rand() & 63); double bestTime = __builtin_inf(); void *dummyp; for (j=0; j<1024; ++j) { uint64_t startTime = mach_absolute_time(); for (i=0; i