aboutsummaryrefslogtreecommitdiffstats
path: root/common/kernel/constraints.h
diff options
context:
space:
mode:
authorgatecat <gatecat@ds0.me>2022-04-08 13:42:54 +0100
committergatecat <gatecat@ds0.me>2022-04-08 13:42:54 +0100
commit49f178ed94b5fad00d25dbd12adea0bf4732f803 (patch)
treeea642e20bc07441a800944390e1f904e6ce5b113 /common/kernel/constraints.h
parente42e22575f20b59634f88b5cf694efdb413ff0a0 (diff)
downloadnextpnr-49f178ed94b5fad00d25dbd12adea0bf4732f803.tar.gz
nextpnr-49f178ed94b5fad00d25dbd12adea0bf4732f803.tar.bz2
nextpnr-49f178ed94b5fad00d25dbd12adea0bf4732f803.zip
Split up common into kernel,place,route
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to 'common/kernel/constraints.h')
-rw-r--r--common/kernel/constraints.h70
1 files changed, 70 insertions, 0 deletions
diff --git a/common/kernel/constraints.h b/common/kernel/constraints.h
new file mode 100644
index 00000000..65abf12c
--- /dev/null
+++ b/common/kernel/constraints.h
@@ -0,0 +1,70 @@
+/*
+ * nextpnr -- Next Generation Place and Route
+ *
+ * Copyright (C) 2021 The SymbiFlow Authors.
+ *
+ * Permission to use, copy, modify, and/or distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ *
+ */
+
+#ifndef CONSTRAINTS_H
+#define CONSTRAINTS_H
+
+#include <cstdint>
+#include <vector>
+
+#include "archdefs.h"
+#include "exclusive_state_groups.h"
+#include "hashlib.h"
+#include "idstring.h"
+#include "nextpnr_namespaces.h"
+
+NEXTPNR_NAMESPACE_BEGIN
+
+struct Context;
+
+template <std::size_t StateCount, typename StateType = int8_t, typename CountType = uint8_t> struct Constraints
+{
+ using ConstraintStateType = StateType;
+ using ConstraintCountType = CountType;
+
+ enum ConstraintType
+ {
+ CONSTRAINT_TAG_IMPLIES = 0,
+ CONSTRAINT_TAG_REQUIRES = 1,
+ };
+
+ template <typename StateRange> struct Constraint
+ {
+ virtual std::size_t tag() const = 0;
+ virtual ConstraintType constraint_type() const = 0;
+ virtual StateType state() const = 0;
+ virtual StateRange states() const = 0;
+ };
+
+ typedef ExclusiveStateGroup<StateCount, StateType, CountType> TagState;
+ dict<uint32_t, std::vector<typename TagState::Definition>> definitions;
+
+ template <typename ConstraintRange> void bindBel(TagState *tags, const ConstraintRange constraints);
+
+ template <typename ConstraintRange> void unbindBel(TagState *tags, const ConstraintRange constraints);
+
+ template <typename ConstraintRange>
+ bool isValidBelForCellType(const Context *ctx, uint32_t prototype, const TagState *tags,
+ const ConstraintRange constraints, IdString object, IdString cell, BelId bel,
+ bool explain_constraints) const;
+};
+
+NEXTPNR_NAMESPACE_END
+
+#endif