2 * yosys -- Yosys Open SYnthesis Suite
4 * Copyright (C) 2012 Clifford Wolf <clifford@clifford.at>
6 * Permission to use, copy, modify, and/or distribute this software for any
7 * purpose with or without fee is hereby granted, provided that the above
8 * copyright notice and this permission notice appear in all copies.
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
20 #include "kernel/yosys.h"
21 #include "libs/sha1/sha1.h"
22 #include "backends/ilang/ilang_backend.h"
34 std::vector
<FILE*> log_files
;
35 FILE *log_errfile
= NULL
;
36 SHA1
*log_hasher
= NULL
;
38 bool log_time
= false;
39 bool log_cmd_error_throw
= false;
40 int log_verbose_level
;
42 std::vector
<int> header_count
;
43 std::list
<std::string
> string_buf
;
44 int string_buf_size
= 0;
46 static struct timeval initial_tv
= { 0, 0 };
47 static bool next_print_log
= false;
49 void logv(const char *format
, va_list ap
)
51 while (format
[0] == '\n' && format
[1] != 0) {
56 std::string str
= vstringf(format
, ap
);
59 log_hasher
->update(str
);
65 if (next_print_log
|| initial_tv
.tv_sec
== 0) {
66 next_print_log
= false;
68 gettimeofday(&tv
, NULL
);
69 if (initial_tv
.tv_sec
== 0)
71 if (tv
.tv_usec
< initial_tv
.tv_usec
) {
73 tv
.tv_usec
+= 1000000;
75 tv
.tv_sec
-= initial_tv
.tv_sec
;
76 tv
.tv_usec
-= initial_tv
.tv_usec
;
77 time_str
+= stringf("[%05d.%06d] ", int(tv
.tv_sec
), int(tv
.tv_usec
));
80 if (format
[0] && format
[strlen(format
)-1] == '\n')
81 next_print_log
= true;
83 for (auto f
: log_files
)
84 fputs(time_str
.c_str(), f
);
87 for (auto f
: log_files
)
88 fputs(str
.c_str(), f
);
91 void logv_header(const char *format
, va_list ap
)
94 if (header_count
.size() > 0)
95 header_count
.back()++;
96 for (int c
: header_count
)
102 if (int(header_count
.size()) <= log_verbose_level
&& log_errfile
!= NULL
) {
103 for (int c
: header_count
)
104 fprintf(log_errfile
, "%d.", c
);
105 fprintf(log_errfile
, " ");
106 vfprintf(log_errfile
, format
, ap
);
111 void logv_error(const char *format
, va_list ap
)
115 if (log_errfile
!= NULL
) {
116 fprintf(log_errfile
, "ERROR: ");
117 vfprintf(log_errfile
, format
, ap
);
123 void log(const char *format
, ...)
126 va_start(ap
, format
);
131 void log_header(const char *format
, ...)
134 va_start(ap
, format
);
135 logv_header(format
, ap
);
139 void log_error(const char *format
, ...)
142 va_start(ap
, format
);
143 logv_error(format
, ap
);
146 void log_cmd_error(const char *format
, ...)
149 va_start(ap
, format
);
151 if (log_cmd_error_throw
) {
155 throw log_cmd_error_expection();
158 logv_error(format
, ap
);
163 header_count
.push_back(0);
168 header_count
.pop_back();
174 void log_reset_stack()
176 while (header_count
.size() > 1)
177 header_count
.pop_back();
185 for (auto f
: log_files
)
189 void log_dump_val_worker(RTLIL::SigSpec v
) {
190 log("%s", log_signal(v
));
193 const char *log_signal(const RTLIL::SigSpec
&sig
, bool autoint
)
198 FILE *f
= open_memstream(&ptr
, &size
);
199 ILANG_BACKEND::dump_sigspec(f
, sig
, autoint
);
203 if (string_buf_size
< 100)
206 string_buf
.pop_front();
207 string_buf
.push_back(ptr
);
210 return string_buf
.back().c_str();
213 const char *log_id(RTLIL::IdString str
)
216 log_assert(RTLIL::IdString::global_refcount_storage_
[str
.index_
] > 1);
217 if (p
[0] == '\\' && p
[1] != '$' && p
[1] != 0)
222 void log_cell(RTLIL::Cell
*cell
, std::string indent
)
227 FILE *f
= open_memstream(&ptr
, &size
);
228 ILANG_BACKEND::dump_cell(f
, indent
, cell
);
236 // ---------------------------------------------------
237 // This is the magic behind the code coverage counters
238 // ---------------------------------------------------
240 std::map
<std::string
, std::pair
<std::string
, int>> extra_coverage_data
;
242 void cover_extra(std::string parent
, std::string id
, bool increment
) {
243 if (extra_coverage_data
.count(id
) == 0) {
244 for (CoverData
*p
= __start_yosys_cover_list
; p
!= __stop_yosys_cover_list
; p
++)
246 extra_coverage_data
[id
].first
= stringf("%s:%d:%s", p
->file
, p
->line
, p
->func
);
247 log_assert(extra_coverage_data
.count(id
));
250 extra_coverage_data
[id
].second
++;
253 std::map
<std::string
, std::pair
<std::string
, int>> get_coverage_data()
255 std::map
<std::string
, std::pair
<std::string
, int>> coverage_data
;
257 for (auto &it
: pass_register
) {
258 std::string key
= stringf("passes.%s", it
.first
.c_str());
259 coverage_data
[key
].first
= stringf("%s:%d:%s", __FILE__
, __LINE__
, __FUNCTION__
);
260 coverage_data
[key
].second
+= it
.second
->call_counter
;
263 for (auto &it
: extra_coverage_data
) {
264 if (coverage_data
.count(it
.first
))
265 log("WARNING: found duplicate coverage id \"%s\".\n", it
.first
.c_str());
266 coverage_data
[it
.first
].first
= it
.second
.first
;
267 coverage_data
[it
.first
].second
+= it
.second
.second
;
270 for (CoverData
*p
= __start_yosys_cover_list
; p
!= __stop_yosys_cover_list
; p
++) {
271 if (coverage_data
.count(p
->id
))
272 log("WARNING: found duplicate coverage id \"%s\".\n", p
->id
);
273 coverage_data
[p
->id
].first
= stringf("%s:%d:%s", p
->file
, p
->line
, p
->func
);
274 coverage_data
[p
->id
].second
+= p
->counter
;
277 for (auto &it
: coverage_data
)
278 if (!it
.second
.first
.compare(0, strlen(YOSYS_SRC
"/"), YOSYS_SRC
"/"))
279 it
.second
.first
= it
.second
.first
.substr(strlen(YOSYS_SRC
"/"));
281 return coverage_data
;