summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-18 09:28:05 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-18 09:28:05 +0100
commit32af10fa9b0fb8c86451a15f780288da13d4ab99 (patch)
treeada7b3592e5c4964b3c1655c87d90c09a59eda43
parent61a2bf57b43eff81f177f1280574dff22885ad86 (diff)
Coding style corrections in SatHelper::dump_model_to_vcd()
-rw-r--r--passes/sat/sat.cc62
1 files changed, 31 insertions, 31 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 2dc7a16b..3b4a394e 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -632,27 +632,27 @@ struct SatHelper
if (last_timestep == -2)
log(" no model variables selected for display.\n");
}
-
+
void dump_model_to_vcd(std::string vcd_file_name)
{
- FILE* f = fopen(vcd_file_name.c_str(), "w");
- if(!f)
+ FILE *f = fopen(vcd_file_name.c_str(), "w");
+ if (!f)
log_cmd_error("Can't open output file `%s' for writing: %s\n", vcd_file_name.c_str(), strerror(errno));
-
+
log("Dumping SAT model to VCD file %s\n", vcd_file_name.c_str());
-
+
time_t timestamp;
struct tm* now;
- char stime[128] = {0};
+ char stime[128] = {};
time(&timestamp);
now = localtime(&timestamp);
strftime(stime, sizeof(stime), "%c", now);
-
+
std::string module_fname = "unknown";
auto apos = module->attributes.find("\\src");
if(apos != module->attributes.end())
module_fname = module->attributes["\\src"].decode_string();
-
+
fprintf(f, "$date\n");
fprintf(f, " %s\n", stime);
fprintf(f, "$end\n");
@@ -663,21 +663,22 @@ struct SatHelper
fprintf(f, " Generated from SAT problem in module %s (declared at %s)\n",
module->name.c_str(), module_fname.c_str());
fprintf(f, "$end\n");
-
- //VCD has some limits on internal (non-display) identifier names, so make legal ones
+
+ // VCD has some limits on internal (non-display) identifier names, so make legal ones
std::map<std::string, std::string> vcdnames;
-
- fprintf(f, "$timescale 1ns\n"); //arbitrary time scale since actual clock period is unknown/unimportant
+
+ fprintf(f, "$timescale 1ns\n"); // arbitrary time scale since actual clock period is unknown/unimportant
fprintf(f, "$scope module %s $end\n", module->name.c_str());
- for (auto &info : modelInfo) {
- if(vcdnames.find(info.description) != vcdnames.end())
+ for (auto &info : modelInfo)
+ {
+ if (vcdnames.find(info.description) != vcdnames.end())
continue;
-
+
char namebuf[16];
snprintf(namebuf, sizeof(namebuf), "v%d", static_cast<int>(vcdnames.size()));
vcdnames[info.description] = namebuf;
-
- //Even display identifiers can't use some special characters
+
+ // Even display identifiers can't use some special characters
std::string legal_desc = info.description.c_str();
for (auto &c : legal_desc) {
if(c == '$')
@@ -685,21 +686,21 @@ struct SatHelper
if(c == ':')
c = '_';
}
-
+
fprintf(f, "$var wire %d %s %s $end\n", info.width, namebuf, legal_desc.c_str());
-
- //Need to look at first *two* cycles!
- //We need to put a name on all variables but those without an initialization clause
- //have no value at timestep 0
+
+ // Need to look at first *two* cycles!
+ // We need to put a name on all variables but those without an initialization clause
+ // have no value at timestep 0
if(info.timestep > 1)
break;
}
fprintf(f, "$upscope $end\n");
fprintf(f, "$enddefinitions $end\n");
fprintf(f, "$dumpvars\n");
-
+
static const char bitvals[] = "01xzxx";
-
+
int last_timestep = -2;
for (auto &info : modelInfo)
{
@@ -710,19 +711,18 @@ struct SatHelper
if (enable_undef && modelValues.at(modelExpressions.size()/2 + info.offset + i))
value.bits.back() = RTLIL::State::Sx;
}
-
- if (info.timestep != last_timestep) {
+
+ if (info.timestep != last_timestep) {
if(last_timestep == 0)
fprintf(f, "$end\n");
else
fprintf(f, "#%d\n", info.timestep);
-
last_timestep = info.timestep;
}
-
- if(info.width == 1)
+
+ if(info.width == 1) {
fprintf(f, "%c%s\n", bitvals[value.bits[0]], vcdnames[info.description].c_str());
- else {
+ } else {
fprintf(f, "b");
for(int k=info.width-1; k >= 0; k --) //need to flip bit ordering for VCD
fprintf(f, "%c", bitvals[value.bits[k]]);
@@ -732,7 +732,7 @@ struct SatHelper
if (last_timestep == -2)
log(" no model variables selected for display.\n");
-
+
fclose(f);
}