From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 21 Jan 2020 19:56:01 +0000 (-0800)
Subject: read_aiger: discard LUT inputs with nodeID == 0; not < 2
X-Git-Tag: working-ls180~849^2~14
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd093c00f84b44662a09d469c2b0d8ba6ecf6f6e;p=yosys.git

read_aiger: discard LUT inputs with nodeID == 0; not < 2
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 52bcfa0b6..e7478c316 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -414,7 +414,7 @@ void AigerReader::parse_xaiger()
 				for (unsigned j = 0; j < cutLeavesM; ++j) {
 					nodeID = parse_xaiger_literal(f);
 					log_debug2("\t%u\n", nodeID);
-					if (nodeID < 2) {
+					if (nodeID == 0) {
 						log_debug("\tLUT '$lut$aiger%d$%d' input %d is constant!\n", aiger_autoidx, rootNodeID, cutLeavesM);
 						continue;
 					}