Add trivially copyable invariant for ID types

Signed-off-by: gatecat <[email protected]>
YosysHQ · Jan 4, 2024 · 6aba122 · 6aba122
1 parent 6a9ad61
commit 6aba122
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/common/kernel/nextpnr_types.cc b/common/kernel/nextpnr_types.cc
@@ -23,8 +23,15 @@
 
 #include "nextpnr_namespaces.h"
 
+#include <type_traits>
+
 NEXTPNR_NAMESPACE_BEGIN
 
+// Invariant: architecture ID types must all be trivially copyable
+static_assert(std::is_trivially_copyable<BelId>::value == true);
+static_assert(std::is_trivially_copyable<WireId>::value == true);
+static_assert(std::is_trivially_copyable<PipId>::value == true);
+
 void CellInfo::addInput(IdString name)
 {
     ports[name].name = name;