From: eddiehung <e.hung@imperial.ac.uk>
Date: Tue, 28 Apr 2015 07:55:26 +0000 (+0100)
Subject: blifwriter: write out .names for true/false/undef type == '-'
X-Git-Tag: yosys-0.7~186^2~3^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=058deb777e72458fa018e21eaf0322ca75b86fd7;p=yosys.git

blifwriter: write out .names for true/false/undef type == '-'
---

diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc
index 6422d9f01..bbc0614e4 100644
--- a/backends/blif/blif.cc
+++ b/backends/blif/blif.cc
@@ -145,18 +145,24 @@ struct BlifDumper
 				if (config->false_type != "-")
 					f << stringf(".%s %s %s=$false\n", subckt_or_gate(config->false_type),
 							config->false_type.c_str(), config->false_out.c_str());
+				else
+					f << stringf(".names %s\n", config->false_out.c_str());
 			} else
 				f << stringf(".names $false\n");
 			if (!config->true_type.empty()) {
 				if (config->true_type != "-")
 					f << stringf(".%s %s %s=$true\n", subckt_or_gate(config->true_type),
 							config->true_type.c_str(), config->true_out.c_str());
+				else
+					f << stringf(".names %s\n1\n", config->true_out.c_str());
 			} else
 				f << stringf(".names $true\n1\n");
 			if (!config->undef_type.empty()) {
 				if (config->undef_type != "-")
 					f << stringf(".%s %s %s=$undef\n", subckt_or_gate(config->undef_type),
 							config->undef_type.c_str(), config->undef_out.c_str());
+				else
+					f << stringf(".names %s\n", config->undef_out.c_str());
 			} else
 				f << stringf(".names $undef\n");
 		}