sledge/runtime/include/debuglog.h

34 lines
1.2 KiB

#pragma once
#include <pthread.h>
#include <stdint.h>
#include <stdio.h>
extern int32_t debuglog_file_descriptor;
#ifdef LOG_TO_FILE
#ifdef NDEBUG
#error LOG_TO_FILE is invalid if NDEBUG is set
#endif /* NDEBUG */
#endif /* LOG_TO_FILE */
/**
* debuglog is a macro that behaves based on the macros NDEBUG and LOG_TO_FILE
* If NDEBUG is set, debuglog does nothing
* If NDEBUG is not set and LOG_TO_FILE is set, debuglog prints to the logfile defined in debuglog_file_descriptor
* If NDEBUG is not set and LOG_TO_FILE is not set, debuglog prints to STDERR
*/
#ifdef NDEBUG
#define debuglog(fmt, ...)
#else /* NDEBUG */
#ifdef LOG_TO_FILE
#define debuglog(fmt, ...) \
dprintf(debuglog_file_descriptor, "C: %02d, T: 0x%lx, F: %s> \n\t" fmt "\n", sched_getcpu(), pthread_self(), \
__func__, ##__VA_ARGS__);
#else /* !LOG_TO_FILE */
#define debuglog(fmt, ...) \
fprintf(stderr, "C: %02d, T: 0x%lx, F: %s> \n\t" fmt "\n", sched_getcpu(), pthread_self(), __func__, \
##__VA_ARGS__);
#endif /* LOG_TO_FILE */
#endif /* !NDEBUG */