#include <stdio.h>
#include <stdint.h>
+#include "llvm/Support/DataTypes.h"
+
/* A file in this case is a translation unit. Each .o file built with line
* profiling enabled will emit to a different file. Only one file may be
* started at a time.
void llvm_prof_linectr_emit_counter(const char *dir, const char *file,
uint32_t line, uint32_t column,
uint64_t *counter) {
- printf("%s/%s:%u:%u %lu\n", dir, file, line, column, *counter);
+ printf("%s/%s:%u:%u %" PRIu64 "\n", dir, file, line, column, *counter);
}
void llvm_prof_linectr_end_file() {