sledge/runtime/include/debuglog.h

#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 */