From: whitequark <whitequark@whitequark.org>
Date: Mon, 11 Nov 2019 23:13:00 +0000 (+0000)
Subject: flowmap: don't break if that creates a k+2 (and larger) LUT either.
X-Git-Tag: working-ls180~967^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eef32195bd1afb4f029bf3039377e65f0beabac2;p=yosys.git

flowmap: don't break if that creates a k+2 (and larger) LUT either.

Fixes #1405.
---

diff --git a/passes/techmap/flowmap.cc b/passes/techmap/flowmap.cc
index 5807178dd..96eee45db 100644
--- a/passes/techmap/flowmap.cc
+++ b/passes/techmap/flowmap.cc
@@ -1050,7 +1050,7 @@ struct FlowmapWorker
 
 				auto cut_inputs = cut_lut_at_gate(lut, lut_gate);
 				pool<RTLIL::SigBit> gate_inputs = cut_inputs.first, other_inputs = cut_inputs.second;
-				if (gate_inputs.empty() && (int)other_inputs.size() == order)
+				if (gate_inputs.empty() && (int)other_inputs.size() >= order)
 				{
 					if (debug_relax)
 						log("      Breaking would result in a (k+1)-LUT.\n");