2018-06-12 02:12:57 +08:00
|
|
|
/*
|
|
|
|
* nextpnr -- Next Generation Place and Route
|
|
|
|
*
|
2018-06-22 22:19:17 +08:00
|
|
|
* Copyright (C) 2018 Clifford Wolf <clifford@symbioticeda.com>
|
2018-06-12 02:12:57 +08:00
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
2018-06-20 17:44:28 +08:00
|
|
|
#include <algorithm>
|
2018-06-12 02:12:57 +08:00
|
|
|
#include <assert.h>
|
2018-06-26 20:13:52 +08:00
|
|
|
#include <memory>
|
2018-07-04 18:04:26 +08:00
|
|
|
#include <stdexcept>
|
2018-06-12 02:12:57 +08:00
|
|
|
#include <stdint.h>
|
|
|
|
#include <string>
|
|
|
|
#include <unordered_map>
|
|
|
|
#include <unordered_set>
|
|
|
|
#include <vector>
|
|
|
|
|
|
|
|
#ifndef NEXTPNR_H
|
|
|
|
#define NEXTPNR_H
|
|
|
|
|
2018-06-12 20:24:59 +08:00
|
|
|
#ifdef NEXTPNR_NAMESPACE
|
|
|
|
#define NEXTPNR_NAMESPACE_PREFIX NEXTPNR_NAMESPACE::
|
|
|
|
#define NEXTPNR_NAMESPACE_BEGIN namespace NEXTPNR_NAMESPACE {
|
|
|
|
#define NEXTPNR_NAMESPACE_END }
|
|
|
|
#define USING_NEXTPNR_NAMESPACE using namespace NEXTPNR_NAMESPACE;
|
|
|
|
#else
|
|
|
|
#define NEXTPNR_NAMESPACE_PREFIX
|
|
|
|
#define NEXTPNR_NAMESPACE_BEGIN
|
|
|
|
#define NEXTPNR_NAMESPACE_END
|
|
|
|
#define USING_NEXTPNR_NAMESPACE
|
|
|
|
#endif
|
|
|
|
|
2018-07-03 14:52:19 +08:00
|
|
|
#if defined(__GNUC__) || defined(__clang__)
|
2018-07-04 18:04:26 +08:00
|
|
|
#define NPNR_ATTRIBUTE(...) __attribute__((__VA_ARGS__))
|
2018-07-04 19:04:31 +08:00
|
|
|
#define NPNR_NORETURN __attribute__((noreturn))
|
2018-07-04 18:04:26 +08:00
|
|
|
#define NPNR_DEPRECATED __attribute__((deprecated))
|
|
|
|
#define NPNR_PACKED_STRUCT(...) __VA_ARGS__ __attribute__((packed))
|
2018-07-03 14:52:19 +08:00
|
|
|
#elif defined(_MSC_VER)
|
2018-07-04 18:04:26 +08:00
|
|
|
#define NPNR_ATTRIBUTE(...)
|
|
|
|
#define NPNR_NORETURN __declspec(noreturn)
|
|
|
|
#define NPNR_DEPRECATED __declspec(deprecated)
|
|
|
|
#define NPNR_PACKED_STRUCT(...) __pragma(pack(push, 1)) __VA_ARGS__ __pragma(pack(pop))
|
2018-07-03 14:52:19 +08:00
|
|
|
#else
|
2018-07-04 18:04:26 +08:00
|
|
|
#define NPNR_ATTRIBUTE(...)
|
|
|
|
#define NPNR_NORETURN
|
|
|
|
#define NPNR_DEPRECATED
|
|
|
|
#define NPNR_PACKED_STRUCT(...) __VA_ARGS__
|
|
|
|
#endif
|
2018-07-03 14:52:19 +08:00
|
|
|
|
2018-06-12 20:24:59 +08:00
|
|
|
NEXTPNR_NAMESPACE_BEGIN
|
|
|
|
|
2018-07-04 18:23:25 +08:00
|
|
|
class assertion_failure : public std::runtime_error
|
2018-07-04 18:04:26 +08:00
|
|
|
{
|
|
|
|
public:
|
|
|
|
assertion_failure(std::string msg, std::string expr_str, std::string filename, int line);
|
|
|
|
|
|
|
|
std::string msg;
|
|
|
|
std::string expr_str;
|
|
|
|
std::string filename;
|
|
|
|
int line;
|
|
|
|
};
|
|
|
|
|
2018-07-09 06:48:54 +08:00
|
|
|
inline void except_assert_impl(bool expr, const char *message, const char *expr_str, const char *filename, int line)
|
2018-07-04 18:04:26 +08:00
|
|
|
{
|
|
|
|
if (!expr)
|
|
|
|
throw assertion_failure(message, expr_str, filename, line);
|
|
|
|
}
|
|
|
|
|
2018-07-04 19:04:31 +08:00
|
|
|
NPNR_NORETURN
|
|
|
|
inline void assert_false_impl(std::string message, std::string filename, int line)
|
|
|
|
{
|
|
|
|
throw assertion_failure(message, "false", filename, line);
|
|
|
|
}
|
|
|
|
|
2018-07-04 18:04:26 +08:00
|
|
|
#define NPNR_ASSERT(cond) except_assert_impl((cond), #cond, #cond, __FILE__, __LINE__)
|
|
|
|
#define NPNR_ASSERT_MSG(cond, msg) except_assert_impl((cond), msg, #cond, __FILE__, __LINE__)
|
2018-07-04 19:04:31 +08:00
|
|
|
#define NPNR_ASSERT_FALSE(msg) assert_false_impl(msg, __FILE__, __LINE__)
|
2018-07-04 18:04:26 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
struct BaseCtx;
|
2018-06-18 20:53:01 +08:00
|
|
|
struct Context;
|
|
|
|
|
2018-06-12 21:08:01 +08:00
|
|
|
struct IdString
|
|
|
|
{
|
2018-06-12 21:37:28 +08:00
|
|
|
int index = 0;
|
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
static void initialize_arch(const BaseCtx *ctx);
|
2018-07-04 18:04:26 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
static void initialize_add(const BaseCtx *ctx, const char *s, int idx);
|
2018-06-12 21:08:01 +08:00
|
|
|
|
|
|
|
IdString() {}
|
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
void set(const BaseCtx *ctx, const std::string &s);
|
2018-06-18 20:53:01 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
IdString(const BaseCtx *ctx, const std::string &s) { set(ctx, s); }
|
2018-06-12 21:37:28 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
IdString(const BaseCtx *ctx, const char *s) { set(ctx, s); }
|
2018-06-12 21:37:28 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
const std::string &str(const BaseCtx *ctx) const;
|
2018-07-04 18:04:26 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
const char *c_str(const BaseCtx *ctx) const;
|
2018-06-12 21:08:01 +08:00
|
|
|
|
2018-06-18 20:57:38 +08:00
|
|
|
bool operator<(const IdString &other) const { return index < other.index; }
|
2018-06-12 21:08:01 +08:00
|
|
|
|
2018-06-23 21:28:09 +08:00
|
|
|
bool operator==(const IdString &other) const { return index == other.index; }
|
2018-06-12 21:08:01 +08:00
|
|
|
|
2018-06-23 21:28:09 +08:00
|
|
|
bool operator!=(const IdString &other) const { return index != other.index; }
|
2018-06-18 20:53:01 +08:00
|
|
|
|
|
|
|
bool empty() const { return index == 0; }
|
2018-06-12 21:08:01 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
NEXTPNR_NAMESPACE_END
|
|
|
|
|
|
|
|
namespace std {
|
|
|
|
template <> struct hash<NEXTPNR_NAMESPACE_PREFIX IdString>
|
|
|
|
{
|
2018-06-23 21:28:09 +08:00
|
|
|
std::size_t operator()(const NEXTPNR_NAMESPACE_PREFIX IdString &obj) const noexcept
|
2018-06-12 21:08:01 +08:00
|
|
|
{
|
2018-06-20 17:09:49 +08:00
|
|
|
return std::hash<int>()(obj.index);
|
2018-06-12 21:08:01 +08:00
|
|
|
}
|
|
|
|
};
|
2018-06-12 21:13:33 +08:00
|
|
|
} // namespace std
|
2018-06-12 21:08:01 +08:00
|
|
|
|
|
|
|
NEXTPNR_NAMESPACE_BEGIN
|
2018-06-12 02:12:57 +08:00
|
|
|
|
|
|
|
struct GraphicElement
|
|
|
|
{
|
|
|
|
enum
|
|
|
|
{
|
2018-06-12 20:24:59 +08:00
|
|
|
G_NONE,
|
2018-06-12 02:12:57 +08:00
|
|
|
G_LINE,
|
|
|
|
G_BOX,
|
|
|
|
G_CIRCLE,
|
|
|
|
G_LABEL
|
2018-06-12 20:24:59 +08:00
|
|
|
} type = G_NONE;
|
2018-06-12 02:12:57 +08:00
|
|
|
|
2018-06-12 20:24:59 +08:00
|
|
|
float x1 = 0, y1 = 0, x2 = 0, y2 = 0, z = 0;
|
2018-06-12 02:12:57 +08:00
|
|
|
std::string text;
|
|
|
|
};
|
|
|
|
|
2018-06-12 20:24:59 +08:00
|
|
|
NEXTPNR_NAMESPACE_END
|
|
|
|
|
2018-06-30 02:36:34 +08:00
|
|
|
#include "archdefs.h"
|
2018-06-18 20:18:56 +08:00
|
|
|
|
|
|
|
NEXTPNR_NAMESPACE_BEGIN
|
|
|
|
|
2018-07-11 20:03:23 +08:00
|
|
|
struct DecalXY
|
|
|
|
{
|
|
|
|
DecalId decal;
|
|
|
|
float x = 0, y = 0;
|
|
|
|
};
|
|
|
|
|
2018-06-30 02:36:34 +08:00
|
|
|
struct BelPin
|
|
|
|
{
|
|
|
|
BelId bel;
|
|
|
|
PortPin pin;
|
|
|
|
};
|
|
|
|
|
2018-06-18 20:18:56 +08:00
|
|
|
struct CellInfo;
|
|
|
|
|
2018-06-20 17:09:49 +08:00
|
|
|
enum PlaceStrength
|
|
|
|
{
|
2018-06-20 17:44:28 +08:00
|
|
|
STRENGTH_NONE = 0,
|
|
|
|
STRENGTH_WEAK = 1,
|
2018-06-20 17:09:49 +08:00
|
|
|
STRENGTH_STRONG = 2,
|
2018-06-20 17:44:28 +08:00
|
|
|
STRENGTH_FIXED = 3,
|
2018-06-20 17:09:49 +08:00
|
|
|
STRENGTH_LOCKED = 4,
|
2018-06-20 17:44:28 +08:00
|
|
|
STRENGTH_USER = 5
|
2018-06-20 17:09:49 +08:00
|
|
|
};
|
|
|
|
|
2018-06-18 20:18:56 +08:00
|
|
|
struct PortRef
|
|
|
|
{
|
|
|
|
CellInfo *cell = nullptr;
|
|
|
|
IdString port;
|
2018-06-21 22:25:25 +08:00
|
|
|
delay_t budget = 0;
|
2018-06-18 20:18:56 +08:00
|
|
|
};
|
|
|
|
|
2018-06-23 21:16:24 +08:00
|
|
|
struct PipMap
|
|
|
|
{
|
|
|
|
PipId pip = PipId();
|
|
|
|
PlaceStrength strength = STRENGTH_NONE;
|
|
|
|
};
|
|
|
|
|
2018-06-18 20:18:56 +08:00
|
|
|
struct NetInfo
|
|
|
|
{
|
|
|
|
IdString name;
|
|
|
|
PortRef driver;
|
|
|
|
std::vector<PortRef> users;
|
|
|
|
std::unordered_map<IdString, std::string> attrs;
|
|
|
|
|
|
|
|
// wire -> uphill_pip
|
2018-06-23 21:16:24 +08:00
|
|
|
std::unordered_map<WireId, PipMap> wires;
|
2018-06-18 20:18:56 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
enum PortType
|
|
|
|
{
|
|
|
|
PORT_IN = 0,
|
|
|
|
PORT_OUT = 1,
|
|
|
|
PORT_INOUT = 2
|
|
|
|
};
|
|
|
|
|
|
|
|
struct PortInfo
|
|
|
|
{
|
|
|
|
IdString name;
|
|
|
|
NetInfo *net;
|
|
|
|
PortType type;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct CellInfo
|
|
|
|
{
|
|
|
|
IdString name, type;
|
|
|
|
std::unordered_map<IdString, PortInfo> ports;
|
|
|
|
std::unordered_map<IdString, std::string> attrs, params;
|
|
|
|
|
|
|
|
BelId bel;
|
2018-06-20 17:09:49 +08:00
|
|
|
PlaceStrength belStrength = STRENGTH_NONE;
|
|
|
|
|
2018-06-18 20:18:56 +08:00
|
|
|
// cell_port -> bel_pin
|
|
|
|
std::unordered_map<IdString, IdString> pins;
|
|
|
|
};
|
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
struct BaseCtx
|
2018-06-18 20:18:56 +08:00
|
|
|
{
|
2018-06-18 20:53:01 +08:00
|
|
|
// --------------------------------------------------------------
|
|
|
|
|
2018-06-18 21:53:18 +08:00
|
|
|
mutable std::unordered_map<std::string, int> *idstring_str_to_idx;
|
|
|
|
mutable std::vector<const std::string *> *idstring_idx_to_str;
|
2018-06-18 20:53:01 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
IdString id(const std::string &s) const { return IdString(this, s); }
|
2018-07-04 18:04:26 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
IdString id(const char *s) const { return IdString(this, s); }
|
2018-06-18 20:53:01 +08:00
|
|
|
|
|
|
|
// --------------------------------------------------------------
|
|
|
|
|
2018-06-26 03:33:48 +08:00
|
|
|
std::unordered_map<IdString, std::unique_ptr<NetInfo>> nets;
|
|
|
|
std::unordered_map<IdString, std::unique_ptr<CellInfo>> cells;
|
2018-06-18 20:18:56 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
BaseCtx()
|
2018-06-18 20:18:56 +08:00
|
|
|
{
|
2018-06-18 20:53:01 +08:00
|
|
|
idstring_str_to_idx = new std::unordered_map<std::string, int>;
|
|
|
|
idstring_idx_to_str = new std::vector<const std::string *>;
|
|
|
|
IdString::initialize_add(this, "", 0);
|
|
|
|
IdString::initialize_arch(this);
|
2018-06-18 20:18:56 +08:00
|
|
|
}
|
2018-06-25 21:39:46 +08:00
|
|
|
|
2018-06-25 20:33:49 +08:00
|
|
|
~BaseCtx()
|
|
|
|
{
|
|
|
|
delete idstring_str_to_idx;
|
|
|
|
delete idstring_idx_to_str;
|
|
|
|
}
|
2018-07-11 23:02:13 +08:00
|
|
|
|
2018-07-12 00:04:09 +08:00
|
|
|
Context *getCtx() { return reinterpret_cast<Context*>(this); }
|
|
|
|
|
|
|
|
const Context *getCtx() const { return reinterpret_cast<const Context*>(this); }
|
|
|
|
|
2018-07-11 23:02:13 +08:00
|
|
|
// --------------------------------------------------------------
|
|
|
|
|
|
|
|
bool allUiReload = false;
|
|
|
|
bool frameUiReload = false;
|
|
|
|
std::unordered_set<BelId> belUiReload;
|
|
|
|
std::unordered_set<WireId> wireUiReload;
|
|
|
|
std::unordered_set<PipId> pipUiReload;
|
|
|
|
|
|
|
|
void refreshUi()
|
|
|
|
{
|
|
|
|
allUiReload = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void refreshUiFrame()
|
|
|
|
{
|
|
|
|
frameUiReload = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void refreshUiBel(BelId bel)
|
|
|
|
{
|
|
|
|
belUiReload.insert(bel);
|
|
|
|
}
|
|
|
|
|
|
|
|
void refreshUiWire(WireId wire)
|
|
|
|
{
|
|
|
|
wireUiReload.insert(wire);
|
|
|
|
}
|
|
|
|
|
|
|
|
void refreshUiPip(PipId pip)
|
|
|
|
{
|
|
|
|
pipUiReload.insert(pip);
|
|
|
|
}
|
2018-06-18 20:18:56 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
NEXTPNR_NAMESPACE_END
|
2018-06-12 02:12:57 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
#include "arch.h"
|
|
|
|
|
|
|
|
NEXTPNR_NAMESPACE_BEGIN
|
|
|
|
|
|
|
|
struct Context : Arch
|
|
|
|
{
|
|
|
|
bool verbose = false;
|
2018-06-21 20:08:45 +08:00
|
|
|
bool debug = false;
|
2018-06-19 19:38:53 +08:00
|
|
|
bool force = false;
|
2018-06-27 18:00:13 +08:00
|
|
|
bool timing_driven = true;
|
2018-06-29 23:04:22 +08:00
|
|
|
float target_freq = 12e6;
|
2018-07-04 18:04:26 +08:00
|
|
|
|
2018-06-19 18:08:37 +08:00
|
|
|
Context(ArchArgs args) : Arch(args) {}
|
2018-06-19 18:49:40 +08:00
|
|
|
|
|
|
|
// --------------------------------------------------------------
|
|
|
|
|
2018-07-11 20:39:42 +08:00
|
|
|
NPNR_DEPRECATED std::vector<GraphicElement> getFrameGraphics() const {
|
2018-07-11 20:03:23 +08:00
|
|
|
std::vector<GraphicElement> ret;
|
|
|
|
DecalXY decalxy = getFrameDecal();
|
|
|
|
ret = getDecalGraphics(decalxy.decal);
|
|
|
|
for (auto &it : ret) {
|
|
|
|
it.x1 += decalxy.x;
|
|
|
|
it.x2 += decalxy.x;
|
|
|
|
it.y1 += decalxy.y;
|
|
|
|
it.y2 += decalxy.y;
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2018-07-11 20:39:42 +08:00
|
|
|
NPNR_DEPRECATED std::vector<GraphicElement> getBelGraphics(BelId bel) const {
|
2018-07-11 20:03:23 +08:00
|
|
|
std::vector<GraphicElement> ret;
|
|
|
|
DecalXY decalxy = getBelDecal(bel);
|
|
|
|
ret = getDecalGraphics(decalxy.decal);
|
|
|
|
for (auto &it : ret) {
|
|
|
|
it.x1 += decalxy.x;
|
|
|
|
it.x2 += decalxy.x;
|
|
|
|
it.y1 += decalxy.y;
|
|
|
|
it.y2 += decalxy.y;
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2018-07-11 20:39:42 +08:00
|
|
|
NPNR_DEPRECATED std::vector<GraphicElement> getWireGraphics(WireId wire) const {
|
2018-07-11 20:03:23 +08:00
|
|
|
std::vector<GraphicElement> ret;
|
|
|
|
DecalXY decalxy = getWireDecal(wire);
|
|
|
|
ret = getDecalGraphics(decalxy.decal);
|
|
|
|
for (auto &it : ret) {
|
|
|
|
it.x1 += decalxy.x;
|
|
|
|
it.x2 += decalxy.x;
|
|
|
|
it.y1 += decalxy.y;
|
|
|
|
it.y2 += decalxy.y;
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2018-07-11 20:39:42 +08:00
|
|
|
NPNR_DEPRECATED std::vector<GraphicElement> getPipGraphics(PipId pip) const {
|
2018-07-11 20:03:23 +08:00
|
|
|
std::vector<GraphicElement> ret;
|
|
|
|
DecalXY decalxy = getPipDecal(pip);
|
|
|
|
ret = getDecalGraphics(decalxy.decal);
|
|
|
|
for (auto &it : ret) {
|
|
|
|
it.x1 += decalxy.x;
|
|
|
|
it.x2 += decalxy.x;
|
|
|
|
it.y1 += decalxy.y;
|
|
|
|
it.y2 += decalxy.y;
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
// --------------------------------------------------------------
|
|
|
|
|
2018-07-12 00:04:09 +08:00
|
|
|
// provided by router1.cc
|
|
|
|
bool getActualRouteDelay(WireId src_wire, WireId dst_wire, delay_t &delay);
|
|
|
|
|
|
|
|
// --------------------------------------------------------------
|
|
|
|
|
2018-06-19 18:49:40 +08:00
|
|
|
uint64_t rngstate = 0x3141592653589793;
|
|
|
|
|
|
|
|
uint64_t rng64()
|
|
|
|
{
|
|
|
|
// xorshift64star
|
|
|
|
// https://arxiv.org/abs/1402.6246
|
2018-06-21 21:47:41 +08:00
|
|
|
|
|
|
|
uint64_t retval = rngstate * 0x2545F4914F6CDD1D;
|
|
|
|
|
2018-06-19 18:49:40 +08:00
|
|
|
rngstate ^= rngstate >> 12;
|
|
|
|
rngstate ^= rngstate << 25;
|
|
|
|
rngstate ^= rngstate >> 27;
|
2018-06-21 21:47:41 +08:00
|
|
|
|
|
|
|
return retval;
|
2018-06-19 18:49:40 +08:00
|
|
|
}
|
|
|
|
|
2018-06-19 19:40:35 +08:00
|
|
|
int rng() { return rng64() & 0x3fffffff; }
|
2018-06-19 18:49:40 +08:00
|
|
|
|
|
|
|
int rng(int n)
|
|
|
|
{
|
|
|
|
assert(n > 0);
|
|
|
|
|
|
|
|
// round up to power of 2
|
|
|
|
int m = n - 1;
|
|
|
|
m |= (m >> 1);
|
|
|
|
m |= (m >> 2);
|
|
|
|
m |= (m >> 4);
|
|
|
|
m |= (m >> 8);
|
|
|
|
m |= (m >> 16);
|
|
|
|
m += 1;
|
|
|
|
|
|
|
|
while (1) {
|
2018-06-19 19:40:35 +08:00
|
|
|
int x = rng64() & (m - 1);
|
|
|
|
if (x < n)
|
|
|
|
return x;
|
2018-06-19 18:49:40 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void rngseed(uint64_t seed)
|
|
|
|
{
|
|
|
|
rngstate = seed ? seed : 0x3141592653589793;
|
2018-06-19 19:40:35 +08:00
|
|
|
for (int i = 0; i < 5; i++)
|
|
|
|
rng64();
|
2018-06-19 18:49:40 +08:00
|
|
|
}
|
|
|
|
|
2018-06-19 19:40:35 +08:00
|
|
|
template <typename T> void shuffle(std::vector<T> &a)
|
|
|
|
{
|
2018-06-19 18:49:40 +08:00
|
|
|
for (size_t i = 0; i != a.size(); i++) {
|
|
|
|
size_t j = i + rng(a.size() - i);
|
2018-06-19 19:40:35 +08:00
|
|
|
if (j > i)
|
|
|
|
std::swap(a[i], a[j]);
|
2018-06-19 18:49:40 +08:00
|
|
|
}
|
|
|
|
}
|
2018-06-19 22:23:23 +08:00
|
|
|
|
|
|
|
template <typename T> void sorted_shuffle(std::vector<T> &a)
|
|
|
|
{
|
|
|
|
std::sort(a.begin(), a.end());
|
|
|
|
shuffle(a);
|
|
|
|
}
|
2018-06-21 21:47:41 +08:00
|
|
|
|
|
|
|
uint32_t checksum() const;
|
2018-07-04 18:04:26 +08:00
|
|
|
|
2018-06-23 21:16:24 +08:00
|
|
|
void check() const;
|
2018-06-19 18:08:37 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
NEXTPNR_NAMESPACE_END
|
|
|
|
|
2018-06-12 02:12:57 +08:00
|
|
|
#endif
|