2013-01-05 04:13:26 -06:00
/*
* yosys - - Yosys Open SYnthesis Suite
*
* Copyright ( C ) 2012 Clifford Wolf < clifford @ clifford . at >
*
* Permission to use , copy , modify , and / or distribute this software for any
* purpose with or without fee is hereby granted , provided that the above
* copyright notice and this permission notice appear in all copies .
*
* THE SOFTWARE IS PROVIDED " AS IS " AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS . IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
* ANY SPECIAL , DIRECT , INDIRECT , OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE , DATA OR PROFITS , WHETHER IN AN
* ACTION OF CONTRACT , NEGLIGENCE OR OTHER TORTIOUS ACTION , ARISING OUT OF
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE .
*
*/
2014-07-30 07:10:15 -05:00
# include "kernel/yosys.h"
2013-01-05 04:13:26 -06:00
# ifndef LOG_H
# define LOG_H
2013-11-22 07:08:10 -06:00
# include <time.h>
2014-03-11 08:24:24 -05:00
# include <sys/time.h>
# include <sys/resource.h>
2014-07-28 04:08:55 -05:00
2014-09-27 09:17:53 -05:00
// from libs/sha1/sha1.h
class SHA1 ;
2014-07-31 06:19:47 -05:00
YOSYS_NAMESPACE_BEGIN
2014-07-24 12:36:20 -05:00
# define S__LINE__sub2(x) #x
# define S__LINE__sub1(x) S__LINE__sub2(x)
# define S__LINE__ S__LINE__sub1(__LINE__)
2014-07-27 05:04:12 -05:00
struct log_cmd_error_expection { } ;
2013-01-05 04:13:26 -06:00
extern std : : vector < FILE * > log_files ;
2014-08-23 08:14:58 -05:00
extern std : : vector < std : : ostream * > log_streams ;
2013-01-05 04:13:26 -06:00
extern FILE * log_errfile ;
2014-09-27 09:17:53 -05:00
extern SHA1 * log_hasher ;
2014-08-01 12:43:28 -05:00
2013-01-05 04:13:26 -06:00
extern bool log_time ;
extern bool log_cmd_error_throw ;
2013-11-17 06:26:31 -06:00
extern int log_verbose_level ;
2013-01-05 04:13:26 -06:00
void logv ( const char * format , va_list ap ) ;
void logv_header ( const char * format , va_list ap ) ;
void logv_error ( const char * format , va_list ap ) __attribute__ ( ( noreturn ) ) ;
void log ( const char * format , . . . ) __attribute__ ( ( format ( printf , 1 , 2 ) ) ) ;
void log_header ( const char * format , . . . ) __attribute__ ( ( format ( printf , 1 , 2 ) ) ) ;
void log_error ( const char * format , . . . ) __attribute__ ( ( format ( printf , 1 , 2 ) ) ) __attribute__ ( ( noreturn ) ) ;
void log_cmd_error ( const char * format , . . . ) __attribute__ ( ( format ( printf , 1 , 2 ) ) ) __attribute__ ( ( noreturn ) ) ;
2014-08-16 08:34:00 -05:00
void log_spacer ( ) ;
2013-01-05 04:13:26 -06:00
void log_push ( ) ;
void log_pop ( ) ;
void log_reset_stack ( ) ;
void log_flush ( ) ;
const char * log_signal ( const RTLIL : : SigSpec & sig , bool autoint = true ) ;
2014-08-01 17:45:25 -05:00
const char * log_id ( RTLIL : : IdString id ) ;
2014-07-18 03:26:01 -05:00
template < typename T > static inline const char * log_id ( T * obj ) {
2014-07-19 13:53:29 -05:00
return log_id ( obj - > name ) ;
2014-07-18 03:26:01 -05:00
}
2014-07-20 03:35:47 -05:00
void log_cell ( RTLIL : : Cell * cell , std : : string indent = " " ) ;
2014-09-27 09:17:53 -05:00
# define log_abort() YOSYS_NAMESPACE_PREFIX log_error("Abort in %s:%d.\n", __FILE__, __LINE__)
# define log_assert(_assert_expr_) do { if (_assert_expr_) break; YOSYS_NAMESPACE_PREFIX log_error("Assert `%s' failed in %s:%d.\n", #_assert_expr_, __FILE__, __LINE__); } while (0)
# define log_ping() YOSYS_NAMESPACE_PREFIX log("-- %s:%d %s --\n", __FILE__, __LINE__, __PRETTY_FUNCTION__)
2013-05-24 05:32:06 -05:00
2014-07-24 08:05:05 -05:00
// ---------------------------------------------------
// This is the magic behind the code coverage counters
// ---------------------------------------------------
2014-07-25 05:22:37 -05:00
# if defined(__linux__) && !defined(NDEBUG)
# define COVER_ACTIVE
2014-07-24 08:06:45 -05:00
# define cover(_id) do { \
static CoverData __d __attribute__ ( ( section ( " yosys_cover_list " ) , aligned ( 1 ) ) ) = { __FILE__ , __FUNCTION__ , _id , __LINE__ , 0 } ; \
__d . counter + + ; \
} while ( 0 )
2014-07-24 08:05:05 -05:00
struct CoverData {
const char * file , * func , * id ;
int line , counter ;
} __attribute__ ( ( packed ) ) ;
// this two symbols are created by the linker for the "yosys_cover_list" ELF section
extern " C " struct CoverData __start_yosys_cover_list [ ] ;
extern " C " struct CoverData __stop_yosys_cover_list [ ] ;
2014-07-24 12:36:20 -05:00
extern std : : map < std : : string , std : : pair < std : : string , int > > extra_coverage_data ;
2014-07-28 04:08:55 -05:00
void cover_extra ( std : : string parent , std : : string id , bool increment = true ) ;
std : : map < std : : string , std : : pair < std : : string , int > > get_coverage_data ( ) ;
2014-07-24 08:06:45 -05:00
2014-07-24 12:36:20 -05:00
# define cover_list(_id, ...) do { cover(_id); \
std : : string r = cover_list_worker ( _id , __VA_ARGS__ ) ; \
log_assert ( r . empty ( ) ) ; \
} while ( 0 )
static inline std : : string cover_list_worker ( std : : string , std : : string last ) {
return last ;
}
template < typename . . . T >
std : : string cover_list_worker ( std : : string prefix , std : : string first , T . . . rest ) {
std : : string selected = cover_list_worker ( prefix , rest . . . ) ;
cover_extra ( prefix , prefix + " . " + first , first = = selected ) ;
return first = = selected ? " " : selected ;
}
2014-07-23 20:48:38 -05:00
# else
2014-07-24 12:36:20 -05:00
# define cover(...) do { } while (0)
# define cover_list(...) do { } while (0)
2014-07-23 20:48:38 -05:00
# endif
// ------------------------------------------------------------
// everything below this line are utilities for troubleshooting
// ------------------------------------------------------------
2013-11-22 07:08:10 -06:00
// simple timer for performance measurements
// toggle the '#if 1' to get a baseline for the perormance penalty added by the measurement
struct PerformanceTimer
{
# if 1
int64_t total_ns ;
PerformanceTimer ( ) {
total_ns = 0 ;
}
static int64_t query ( ) {
2014-03-11 08:24:24 -05:00
# if defined(_POSIX_TIMERS) && (_POSIX_TIMERS > 0)
2013-11-22 07:08:10 -06:00
struct timespec ts ;
clock_gettime ( CLOCK_PROCESS_CPUTIME_ID , & ts ) ;
return int64_t ( ts . tv_sec ) * 1000000000 + ts . tv_nsec ;
2014-03-11 08:24:24 -05:00
# elif defined(RUSAGE_SELF)
struct rusage rusage ;
int64_t t ;
if ( getrusage ( RUSAGE_SELF , & rusage ) = = - 1 ) {
log_cmd_error ( " getrusage failed! \n " ) ;
log_abort ( ) ;
}
t = 1000000000ULL * ( int64_t ) rusage . ru_utime . tv_sec + ( int64_t ) rusage . ru_utime . tv_usec * 1000ULL ;
t + = 1000000000ULL * ( int64_t ) rusage . ru_stime . tv_sec + ( int64_t ) rusage . ru_stime . tv_usec * 1000ULL ;
return t ;
# else
# error Dont know how to measure per-process CPU time. Need alternative method (times() / clocks() / gettimeofday()?).
# endif
2013-11-22 07:08:10 -06:00
}
void reset ( ) {
total_ns = 0 ;
}
2014-07-27 08:14:02 -05:00
void begin ( ) {
total_ns - = query ( ) ;
2013-11-22 07:08:10 -06:00
}
2014-07-27 08:14:02 -05:00
void end ( ) {
total_ns + = query ( ) ;
2013-11-22 07:08:10 -06:00
}
float sec ( ) const {
return total_ns * 1e-9 ;
}
# else
2014-08-01 11:42:10 -05:00
static int64_t query ( ) { return 0 ; }
2013-11-22 07:08:10 -06:00
void reset ( ) { }
2014-07-27 08:14:02 -05:00
void begin ( ) { }
void end ( ) { }
2013-11-22 07:08:10 -06:00
float sec ( ) const { return 0 ; }
# endif
} ;
2013-12-20 05:11:58 -06:00
// simple API for quickly dumping values when debugging
2014-01-17 16:14:17 -06:00
static inline void log_dump_val_worker ( short v ) { log ( " %d " , v ) ; }
static inline void log_dump_val_worker ( unsigned short v ) { log ( " %u " , v ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_val_worker ( int v ) { log ( " %d " , v ) ; }
2014-01-17 16:14:17 -06:00
static inline void log_dump_val_worker ( unsigned int v ) { log ( " %u " , v ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_val_worker ( long int v ) { log ( " %ld " , v ) ; }
2014-01-17 16:14:17 -06:00
static inline void log_dump_val_worker ( unsigned long int v ) { log ( " %lu " , v ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_val_worker ( long long int v ) { log ( " %lld " , v ) ; }
2014-01-17 16:14:17 -06:00
static inline void log_dump_val_worker ( unsigned long long int v ) { log ( " %lld " , v ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_val_worker ( char c ) { log ( c > = 32 & & c < 127 ? " '%c' " : " ' \\ x%02x' " , c ) ; }
2014-01-17 16:14:17 -06:00
static inline void log_dump_val_worker ( unsigned char c ) { log ( c > = 32 & & c < 127 ? " '%c' " : " ' \\ x%02x' " , c ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_val_worker ( bool v ) { log ( " %s " , v ? " true " : " false " ) ; }
static inline void log_dump_val_worker ( double v ) { log ( " %f " , v ) ; }
2014-07-30 08:58:21 -05:00
static inline void log_dump_val_worker ( char * v ) { log ( " %s " , v ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_val_worker ( const char * v ) { log ( " %s " , v ) ; }
static inline void log_dump_val_worker ( std : : string v ) { log ( " %s " , v . c_str ( ) ) ; }
2014-07-27 08:14:02 -05:00
static inline void log_dump_val_worker ( PerformanceTimer p ) { log ( " %f seconds " , p . sec ( ) ) ; }
2013-12-20 05:11:58 -06:00
static inline void log_dump_args_worker ( const char * p ) { log_assert ( * p = = 0 ) ; }
2014-07-28 04:08:55 -05:00
void log_dump_val_worker ( RTLIL : : SigSpec v ) ;
2013-12-20 05:11:58 -06:00
2014-03-14 10:39:50 -05:00
template < typename T >
static inline void log_dump_val_worker ( T * ptr ) { log ( " %p " , ptr ) ; }
2014-07-24 12:36:20 -05:00
template < typename T , typename . . . Args >
2013-12-20 05:11:58 -06:00
void log_dump_args_worker ( const char * p , T first , Args . . . args )
{
int next_p_state = 0 ;
const char * next_p = p ;
while ( * next_p & & ( next_p_state ! = 0 | | * next_p ! = ' , ' ) ) {
if ( * next_p = = ' " ' )
do {
next_p + + ;
while ( * next_p = = ' \\ ' & & * ( next_p + 1 ) )
next_p + = 2 ;
} while ( * next_p & & * next_p ! = ' " ' ) ;
if ( * next_p = = ' \' ' ) {
next_p + + ;
if ( * next_p = = ' \\ ' )
next_p + + ;
if ( * next_p )
next_p + + ;
}
if ( * next_p = = ' ( ' | | * next_p = = ' [ ' | | * next_p = = ' { ' )
next_p_state + + ;
if ( ( * next_p = = ' ) ' | | * next_p = = ' ] ' | | * next_p = = ' } ' ) & & next_p_state > 0 )
next_p_state - - ;
next_p + + ;
}
log ( " \n \t %.*s => " , int ( next_p - p ) , p ) ;
if ( * next_p = = ' , ' )
next_p + + ;
while ( * next_p = = ' ' | | * next_p = = ' \t ' | | * next_p = = ' \r ' | | * next_p = = ' \n ' )
next_p + + ;
log_dump_val_worker ( first ) ;
log_dump_args_worker ( next_p , args . . . ) ;
}
# define log_dump(...) do { \
log ( " DEBUG DUMP IN %s AT %s:%d: " , __PRETTY_FUNCTION__ , __FILE__ , __LINE__ ) ; \
log_dump_args_worker ( # __VA_ARGS__ , __VA_ARGS__ ) ; \
log ( " \n " ) ; \
} while ( 0 )
2014-07-31 06:19:47 -05:00
YOSYS_NAMESPACE_END
2013-01-05 04:13:26 -06:00
# endif