flatten: add -barriers flag

* This uses $barrier optimization barriers to connect wires into the
  flattened module instead of connections

Author: georgerennie

passes/techmap/flatten.cc

@@ -61,6 +61,7 @@ struct FlattenWorker
 	bool create_scopeinfo = true;
 	bool create_scopename = false;
 	std::string separator = ".";
+	bool barriers = false;
 
 	template<class T>
 	void map_attributes(RTLIL::Cell *cell, T *object, IdString orig_object_name)
@@ -247,7 +248,27 @@ struct FlattenWorker
 				log_error("Cell port %s.%s.%s is driving constant bits: %s <= %s\n",
 					log_id(module), log_id(cell), log_id(port_it.first), log_signal(new_conn.first), log_signal(new_conn.second));
 
-			module->connect(new_conn);
+			if (barriers) {
+				// Drive public output wires with barriers and the rest with
+				// connections
+				RTLIL::SigSig skip_conn, barrier_conn;
+
+				for (int i = 0; i < GetSize(new_conn.first); i++) {
+					const auto lhs = new_conn.first[i], rhs = new_conn.second[i];
+					auto& sigsig = !lhs.is_wire() || !lhs.wire->name.isPublic() ? skip_conn : barrier_conn;
+					sigsig.first.append(lhs);
+					sigsig.second.append(rhs);
+				}
+
+				if (!skip_conn.first.empty())
+					module->connect(skip_conn);
+
+				if (!barrier_conn.first.empty())
+					module->addBarrier(NEW_ID, barrier_conn.second, barrier_conn.first);
+			} else {
+				module->connect(new_conn);
+			}
+
 			sigmap.add(new_conn.first, new_conn.second);
 		}
 
@@ -353,6 +374,10 @@ struct FlattenPass : public Pass {
 		log("        Don't remove unused submodules, leave a flattened version of each\n");
 		log("        submodule in the design.\n");
 		log("\n");
+		log("    -barriers\n");
+		log("        Introduce an optimization barrier (a $barrier cell) when a flattened\n");
+		log("        module drives a public wire.\n");
+		log("\n");
 	}
 	void execute(std::vector<std::string> args, RTLIL::Design *design) override
 	{
@@ -386,6 +411,9 @@ struct FlattenPass : public Pass {
 			}
 			if (args[argidx] == "-nocleanup") {
 				cleanup = false;
+			}
+			if (args[argidx] == "-barriers") {
+				worker.barriers = true;
 				continue;
 			}
 			break;