223 lines
8.6 KiB
C++
223 lines
8.6 KiB
C++
|
/*
|
||
|
|
* nextpnr -- Next Generation Place and Route
|
||
|
|
*
|
||
|
|
* Copyright (C) 2021 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.
|
||
|
|
*
|
||
|
|
*/
|
||
|
|
|
||
|
|
#include "cell_parameters.h"
|
||
|
|
|
||
|
|
#include <limits>
|
||
|
|
|
||
|
|
#include "DeviceResources.capnp.h"
|
||
|
|
#include "context.h"
|
||
|
|
#include "log.h"
|
||
|
|
#include "nextpnr_assertions.h"
|
||
|
|
|
||
|
|
NEXTPNR_NAMESPACE_BEGIN
|
||
|
|
|
||
|
|
CellParameters::CellParameters()
|
||
|
|
// 1'b0
|
||
|
|
: verilog_binary_re("([1-9][0-9]*)'b([01]+)$"),
|
||
|
|
// 8'hF
|
||
|
|
verilog_hex_re("([1-9][0-9]*)'h([0-9a-fA-F]+)$"),
|
||
|
|
// 0b10
|
||
|
|
c_binary_re("0b([01]+)$"),
|
||
|
|
// 0xF
|
||
|
|
c_hex_re("0x([0-9a-fA-F]+)$")
|
||
|
|
{
|
||
|
|
}
|
||
|
|
|
||
|
|
void CellParameters::init(const Context *ctx)
|
||
|
|
{
|
||
|
|
for (const CellParameterPOD &cell_parameter : ctx->chip_info->cell_map->cell_parameters) {
|
||
|
|
IdString cell_type(cell_parameter.cell_type);
|
||
|
|
IdString parameter(cell_parameter.parameter);
|
||
|
|
auto result = parameters.emplace(std::make_pair(cell_type, parameter), &cell_parameter);
|
||
|
|
NPNR_ASSERT(result.second);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
static bool parse_int(const std::string &data, int64_t *result)
|
||
|
|
{
|
||
|
|
NPNR_ASSERT(result != nullptr);
|
||
|
|
try {
|
||
|
|
*result = boost::lexical_cast<int64_t>(data);
|
||
|
|
return true;
|
||
|
|
} catch (boost::bad_lexical_cast &e) {
|
||
|
|
return false;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
DynamicBitarray<> CellParameters::parse_int_like(const Context *ctx, IdString cell_type, IdString parameter,
|
||
|
|
const Property &property) const
|
||
|
|
{
|
||
|
|
const CellParameterPOD *definition = parameters.at(std::make_pair(cell_type, parameter));
|
||
|
|
DeviceResources::Device::ParameterFormat format;
|
||
|
|
format = static_cast<DeviceResources::Device::ParameterFormat>(definition->format);
|
||
|
|
|
||
|
|
DynamicBitarray<> result;
|
||
|
|
switch (format) {
|
||
|
|
case DeviceResources::Device::ParameterFormat::BOOLEAN:
|
||
|
|
result.resize(1);
|
||
|
|
if (property.is_string) {
|
||
|
|
if (property.as_string() == "TRUE" || property.as_string() == "1") {
|
||
|
|
result.set(0, true);
|
||
|
|
} else if (property.as_string() == "FALSE" || property.as_string() == "0") {
|
||
|
|
result.set(0, false);
|
||
|
|
} else {
|
||
|
|
log_error("Property value %s not expected for BOOLEAN type.\n", property.c_str());
|
||
|
|
}
|
||
|
|
} else {
|
||
|
|
if (property.intval == 1) {
|
||
|
|
result.set(0, true);
|
||
|
|
} else if (property.intval == 0) {
|
||
|
|
result.set(0, false);
|
||
|
|
} else {
|
||
|
|
log_error("Property value %lu not expected for BOOLEAN type.\n", property.intval);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
return result;
|
||
|
|
case DeviceResources::Device::ParameterFormat::INTEGER:
|
||
|
|
if (property.is_string) {
|
||
|
|
char *endptr;
|
||
|
|
std::uintmax_t value = strtoumax(property.c_str(), &endptr, /*base=*/10);
|
||
|
|
if (endptr != (property.c_str() + property.size())) {
|
||
|
|
log_error("Property value %s not expected for INTEGER type.\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
return DynamicBitarray<>::to_bitarray(value);
|
||
|
|
} else {
|
||
|
|
return DynamicBitarray<>::to_bitarray(property.intval);
|
||
|
|
}
|
||
|
|
break;
|
||
|
|
case DeviceResources::Device::ParameterFormat::VERILOG_BINARY:
|
||
|
|
if (property.is_string) {
|
||
|
|
std::smatch m;
|
||
|
|
if (!std::regex_match(property.as_string(), m, verilog_binary_re)) {
|
||
|
|
log_error("Property value %s not expected for VERILOG_BINARY type.\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
int64_t width;
|
||
|
|
if (!parse_int(m[1], &width)) {
|
||
|
|
log_error("Failed to parse width from property value %s of type VERILOG_BINARY.\n", property.c_str());
|
||
|
|
}
|
||
|
|
if (width < 0) {
|
||
|
|
log_error("Expected width to be positive for property value %s\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
return DynamicBitarray<>::parse_binary_bitstring(width, m[2]);
|
||
|
|
} else {
|
||
|
|
return DynamicBitarray<>::to_bitarray(property.intval);
|
||
|
|
}
|
||
|
|
break;
|
||
|
|
case DeviceResources::Device::ParameterFormat::VERILOG_HEX:
|
||
|
|
if (property.is_string) {
|
||
|
|
std::smatch m;
|
||
|
|
if (!std::regex_match(property.as_string(), m, verilog_hex_re)) {
|
||
|
|
log_error("Property value %s not expected for VERILOG_HEX type.\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
int64_t width;
|
||
|
|
if (!parse_int(m[1], &width)) {
|
||
|
|
log_error("Failed to parse width from property value %s of type VERILOG_HEX.\n", property.c_str());
|
||
|
|
}
|
||
|
|
if (width < 0) {
|
||
|
|
log_error("Expected width to be positive for property value %s\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
return DynamicBitarray<>::parse_hex_bitstring(width, m[2]);
|
||
|
|
} else {
|
||
|
|
return DynamicBitarray<>::to_bitarray(property.intval);
|
||
|
|
}
|
||
|
|
break;
|
||
|
|
case DeviceResources::Device::ParameterFormat::C_BINARY:
|
||
|
|
if (property.is_string) {
|
||
|
|
std::smatch m;
|
||
|
|
if (!std::regex_match(property.as_string(), m, c_binary_re)) {
|
||
|
|
log_error("Property value %s not expected for C_BINARY type.\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
return DynamicBitarray<>::parse_binary_bitstring(/*width=*/-1, m[1]);
|
||
|
|
} else {
|
||
|
|
return DynamicBitarray<>::to_bitarray(property.intval);
|
||
|
|
}
|
||
|
|
break;
|
||
|
|
case DeviceResources::Device::ParameterFormat::C_HEX:
|
||
|
|
if (property.is_string) {
|
||
|
|
std::smatch m;
|
||
|
|
if (!std::regex_match(property.as_string(), m, c_hex_re)) {
|
||
|
|
log_error("Property value %s not expected for C_HEX type.\n", property.c_str());
|
||
|
|
}
|
||
|
|
|
||
|
|
return DynamicBitarray<>::parse_hex_bitstring(/*width=*/-1, m[1]);
|
||
|
|
} else {
|
||
|
|
return DynamicBitarray<>::to_bitarray(property.intval);
|
||
|
|
}
|
||
|
|
break;
|
||
|
|
default:
|
||
|
|
log_error("Format %d is not int-like\n", definition->format);
|
||
|
|
}
|
||
|
|
|
||
|
|
// Unreachable!
|
||
|
|
NPNR_ASSERT(false);
|
||
|
|
}
|
||
|
|
|
||
|
|
bool CellParameters::compare_property(const Context *ctx, IdString cell_type, IdString parameter,
|
||
|
|
const Property &property, IdString value_to_compare) const
|
||
|
|
{
|
||
|
|
const CellParameterPOD *definition = parameters.at(std::make_pair(cell_type, parameter));
|
||
|
|
DeviceResources::Device::ParameterFormat format;
|
||
|
|
format = static_cast<DeviceResources::Device::ParameterFormat>(definition->format);
|
||
|
|
|
||
|
|
switch (format) {
|
||
|
|
case DeviceResources::Device::ParameterFormat::STRING:
|
||
|
|
return value_to_compare.c_str(ctx) == property.as_string();
|
||
|
|
case DeviceResources::Device::ParameterFormat::FLOATING_POINT:
|
||
|
|
// Note: Comparing floating point is pretty weird
|
||
|
|
log_warning("Doing direct comparisions on floating points values is pretty weird, double check this. Cell "
|
||
|
|
"type %s parameter %s\n",
|
||
|
|
cell_type.c_str(ctx), parameter.c_str(ctx));
|
||
|
|
return value_to_compare.c_str(ctx) == property.as_string();
|
||
|
|
case DeviceResources::Device::ParameterFormat::BOOLEAN:
|
||
|
|
case DeviceResources::Device::ParameterFormat::INTEGER:
|
||
|
|
case DeviceResources::Device::ParameterFormat::VERILOG_BINARY:
|
||
|
|
case DeviceResources::Device::ParameterFormat::VERILOG_HEX:
|
||
|
|
case DeviceResources::Device::ParameterFormat::C_BINARY:
|
||
|
|
case DeviceResources::Device::ParameterFormat::C_HEX: {
|
||
|
|
if (property.is_string) {
|
||
|
|
// Given that string presentations should be equivalent if
|
||
|
|
// formatted consistently, this should work most and or all of
|
||
|
|
// the time. If there are important exceptions, revisit this.
|
||
|
|
return property.as_string() == value_to_compare.c_str(ctx);
|
||
|
|
} else {
|
||
|
|
int64_t int_to_compare;
|
||
|
|
if (!parse_int(value_to_compare.c_str(ctx), &int_to_compare)) {
|
||
|
|
log_error("Comparision failed, to compare value %s is not int-like\n", value_to_compare.c_str(ctx));
|
||
|
|
}
|
||
|
|
|
||
|
|
return property.intval == int_to_compare;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// Unreachable!
|
||
|
|
NPNR_ASSERT(false);
|
||
|
|
}
|
||
|
|
|
||
|
|
NEXTPNR_NAMESPACE_END
|