From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 31 Dec 2019 02:26:35 +0000 (-0800)
Subject: Rid unnecessary if
X-Git-Tag: working-ls180~849^2~89
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=65baefecd39b3be641b9a6be350d2ae83854cacc;p=yosys.git

Rid unnecessary if
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 877e0e58a..35fb8d5dc 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -714,22 +714,20 @@ struct XAigerWriter
 			f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
 			f.write(buffer_str.data(), buffer_str.size());
 
-			if (holes_module) {
-				module->design->selection_stack.emplace_back(false);
-				module->design->selection().select(holes_module);
+			module->design->selection_stack.emplace_back(false);
+			module->design->selection().select(holes_module);
 
-				std::stringstream a_buffer;
-				XAigerWriter writer(holes_module);
-				writer.write_aiger(a_buffer, false /*ascii_mode*/);
+			std::stringstream a_buffer;
+			XAigerWriter writer(holes_module);
+			writer.write_aiger(a_buffer, false /*ascii_mode*/);
 
-				module->design->selection_stack.pop_back();
+			module->design->selection_stack.pop_back();
 
-				f << "a";
-				std::string buffer_str = a_buffer.str();
-				int32_t buffer_size_be = to_big_endian(buffer_str.size());
-				f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
-				f.write(buffer_str.data(), buffer_str.size());
-			}
+			f << "a";
+			buffer_str = a_buffer.str();
+			buffer_size_be = to_big_endian(buffer_str.size());
+			f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
+			f.write(buffer_str.data(), buffer_str.size());
 		}
 
 		f << "h";