#include "timing.h" #include #define INPUT_TYPE int #define INPUT_SIZE 512 #define FUNCTION_NAME __lshrdi3 #ifndef LIBNAME #define LIBNAME UNKNOWN #endif #define LIBSTRING LIBSTRINGX(LIBNAME) #define LIBSTRINGX(a) LIBSTRINGXX(a) #define LIBSTRINGXX(a) #a int64_t FUNCTION_NAME(int64_t input, INPUT_TYPE count); 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