From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Fri, 5 Apr 2019 21:42:25 +0000 (-0700)
Subject: abc -dff now implies "-D 0" otherwise retiming doesn't happen
X-Git-Tag: yosys-0.9~195^2~15
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=19271bd996a79cb4be1db658fcf18227ee0a1dff;p=yosys.git

abc -dff now implies "-D 0" otherwise retiming doesn't happen
---

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 21b70f492..c828ad8ed 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1674,6 +1674,8 @@ struct AbcPass : public Pass {
 			}
 			if (arg == "-dff") {
 				dff_mode = true;
+				if (delay_target.empty())
+					delay_target = "-D 0";
 				continue;
 			}
 			if (arg == "-clk" && argidx+1 < args.size()) {