1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
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
|
