From 8e9c96518c3bb953f3e2ccf74f88f03e5e2dc4db Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 17 Jan 2025 11:46:07 +1300
Subject: [PATCH] cutpoint: Add $scopeinfo cell

Also adds "blackbox" as a valid TYPE.
---
 kernel/rtlil.cc        | 2 +-
 passes/sat/cutpoint.cc | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index cb0f7da78..075a9bf6b 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -2012,7 +2012,7 @@ namespace {
 				param(ID::TYPE);
 				check_expected();
 				std::string scope_type = cell->getParam(ID::TYPE).decode_string();
-				if (scope_type != "module" && scope_type != "struct")
+				if (scope_type != "module" && scope_type != "struct" && scope_type != "blackbox")
 					error(__LINE__);
 				return;
 			}
diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc
index 0ca422bfa..510363d3a 100644
--- a/passes/sat/cutpoint.cc
+++ b/passes/sat/cutpoint.cc
@@ -93,6 +93,8 @@ struct CutpointPass : public Pass {
 				if (module->get_blackbox_attribute()) {
 					module->set_bool_attribute(ID::blackbox, false);
 					module->set_bool_attribute(ID::whitebox, false);
+					auto scopeinfo = module->addCell(NEW_ID, ID($scopeinfo));
+					scopeinfo->setParam(ID::TYPE, RTLIL::Const("blackbox"));
 				}
 				continue;
 			}