diff --git a/gui/CMakeLists.txt b/gui/CMakeLists.txt new file mode 100644 index 0000000..2c7af40 --- /dev/null +++ b/gui/CMakeLists.txt @@ -0,0 +1,5 @@ +add_library(nextpnr_test_gui INTERFACE) + +target_sources(nextpnr_test_gui INTERFACE + quadtree.cc +) diff --git a/ice40/hx1k.cc b/ice40/hx1k.cc deleted file mode 100644 index 28139c5..0000000 --- a/ice40/hx1k.cc +++ /dev/null @@ -1,106 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Claire Xenia Wolf - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" -#include "nextpnr.h" - -USING_NEXTPNR_NAMESPACE - -class HX1KTest : public ::testing::Test -{ - protected: - virtual void SetUp() - { - chipArgs.type = ArchArgs::HX1K; - chipArgs.package = "tq144"; - ctx = new Context(chipArgs); - } - - virtual void TearDown() { delete ctx; } - - ArchArgs chipArgs; - Context *ctx; -}; - -TEST_F(HX1KTest, bel_names) -{ - int bel_count = 0; - for (auto bel : ctx->getBels()) { - auto name = ctx->getBelName(bel); - ASSERT_EQ(bel, ctx->getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count, 1418); -} - -TEST_F(HX1KTest, wire_names) -{ - int wire_count = 0; - for (auto wire : ctx->getWires()) { - auto name = ctx->getWireName(wire); - assert(wire == ctx->getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count, 32802); -} - -TEST_F(HX1KTest, pip_names) -{ - int pip_count = 0; - for (auto pip : ctx->getPips()) { - auto name = ctx->getPipName(pip); - assert(pip == ctx->getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count, 345504); -} - -TEST_F(HX1KTest, uphill_to_downhill) -{ - for (auto dst : ctx->getWires()) { - for (auto uphill_pip : ctx->getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : ctx->getPipsDownhill(ctx->getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } -} - -TEST_F(HX1KTest, downhill_to_uphill) -{ - for (auto dst : ctx->getWires()) { - for (auto downhill_pip : ctx->getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : ctx->getPipsUphill(ctx->getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } -} diff --git a/ice40/hx8k.cc b/ice40/hx8k.cc deleted file mode 100644 index 42bb7b4..0000000 --- a/ice40/hx8k.cc +++ /dev/null @@ -1,106 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Claire Xenia Wolf - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" -#include "nextpnr.h" - -USING_NEXTPNR_NAMESPACE - -class HX8KTest : public ::testing::Test -{ - protected: - virtual void SetUp() - { - chipArgs.type = ArchArgs::HX8K; - chipArgs.package = "ct256"; - ctx = new Context(chipArgs); - } - - virtual void TearDown() { delete ctx; } - - ArchArgs chipArgs; - Context *ctx; -}; - -TEST_F(HX8KTest, bel_names) -{ - int bel_count = 0; - for (auto bel : ctx->getBels()) { - auto name = ctx->getBelName(bel); - ASSERT_EQ(bel, ctx->getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count, 7979); -} - -TEST_F(HX8KTest, wire_names) -{ - int wire_count = 0; - for (auto wire : ctx->getWires()) { - auto name = ctx->getWireName(wire); - assert(wire == ctx->getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count, 165894); -} - -TEST_F(HX8KTest, pip_names) -{ - int pip_count = 0; - for (auto pip : ctx->getPips()) { - auto name = ctx->getPipName(pip); - assert(pip == ctx->getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count, 1806080); -} - -TEST_F(HX8KTest, uphill_to_downhill) -{ - for (auto dst : ctx->getWires()) { - for (auto uphill_pip : ctx->getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : ctx->getPipsDownhill(ctx->getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } -} - -TEST_F(HX8KTest, downhill_to_uphill) -{ - for (auto dst : ctx->getWires()) { - for (auto downhill_pip : ctx->getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : ctx->getPipsUphill(ctx->getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } -} diff --git a/ice40/lp1k.cc b/ice40/lp1k.cc deleted file mode 100644 index 332c0c3..0000000 --- a/ice40/lp1k.cc +++ /dev/null @@ -1,106 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Claire Xenia Wolf - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" -#include "nextpnr.h" - -USING_NEXTPNR_NAMESPACE - -class LP1KTest : public ::testing::Test -{ - protected: - virtual void SetUp() - { - chipArgs.type = ArchArgs::LP1K; - chipArgs.package = "tq144"; - ctx = new Context(chipArgs); - } - - virtual void TearDown() { delete ctx; } - - ArchArgs chipArgs; - Context *ctx; -}; - -TEST_F(LP1KTest, bel_names) -{ - int bel_count = 0; - for (auto bel : ctx->getBels()) { - auto name = ctx->getBelName(bel); - ASSERT_EQ(bel, ctx->getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count, 1418); -} - -TEST_F(LP1KTest, wire_names) -{ - int wire_count = 0; - for (auto wire : ctx->getWires()) { - auto name = ctx->getWireName(wire); - assert(wire == ctx->getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count, 32802); -} - -TEST_F(LP1KTest, pip_names) -{ - int pip_count = 0; - for (auto pip : ctx->getPips()) { - auto name = ctx->getPipName(pip); - assert(pip == ctx->getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count, 345504); -} - -TEST_F(LP1KTest, uphill_to_downhill) -{ - for (auto dst : ctx->getWires()) { - for (auto uphill_pip : ctx->getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : ctx->getPipsDownhill(ctx->getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } -} - -TEST_F(LP1KTest, downhill_to_uphill) -{ - for (auto dst : ctx->getWires()) { - for (auto downhill_pip : ctx->getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : ctx->getPipsUphill(ctx->getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } -} diff --git a/ice40/lp384.cc b/ice40/lp384.cc deleted file mode 100644 index dfa855e..0000000 --- a/ice40/lp384.cc +++ /dev/null @@ -1,106 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Claire Xenia Wolf - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" -#include "nextpnr.h" - -USING_NEXTPNR_NAMESPACE - -class LP384Test : public ::testing::Test -{ - protected: - virtual void SetUp() - { - chipArgs.type = ArchArgs::LP384; - chipArgs.package = "qn32"; - ctx = new Context(chipArgs); - } - - virtual void TearDown() { delete ctx; } - - ArchArgs chipArgs; - Context *ctx; -}; - -TEST_F(LP384Test, bel_names) -{ - int bel_count = 0; - for (auto bel : ctx->getBels()) { - auto name = ctx->getBelName(bel); - ASSERT_EQ(bel, ctx->getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count, 449); -} - -TEST_F(LP384Test, wire_names) -{ - int wire_count = 0; - for (auto wire : ctx->getWires()) { - auto name = ctx->getWireName(wire); - assert(wire == ctx->getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count, 9830); -} - -TEST_F(LP384Test, pip_names) -{ - int pip_count = 0; - for (auto pip : ctx->getPips()) { - auto name = ctx->getPipName(pip); - assert(pip == ctx->getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count, 94544); -} - -TEST_F(LP384Test, uphill_to_downhill) -{ - for (auto dst : ctx->getWires()) { - for (auto uphill_pip : ctx->getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : ctx->getPipsDownhill(ctx->getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } -} - -TEST_F(LP384Test, downhill_to_uphill) -{ - for (auto dst : ctx->getWires()) { - for (auto downhill_pip : ctx->getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : ctx->getPipsUphill(ctx->getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } -} diff --git a/ice40/lp8k.cc b/ice40/lp8k.cc deleted file mode 100644 index 00a5f64..0000000 --- a/ice40/lp8k.cc +++ /dev/null @@ -1,106 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Claire Xenia Wolf - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" -#include "nextpnr.h" - -USING_NEXTPNR_NAMESPACE - -class LP8KTest : public ::testing::Test -{ - protected: - virtual void SetUp() - { - chipArgs.type = ArchArgs::LP8K; - chipArgs.package = "ct256"; - ctx = new Context(chipArgs); - } - - virtual void TearDown() { delete ctx; } - - ArchArgs chipArgs; - Context *ctx; -}; - -TEST_F(LP8KTest, bel_names) -{ - int bel_count = 0; - for (auto bel : ctx->getBels()) { - auto name = ctx->getBelName(bel); - ASSERT_EQ(bel, ctx->getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count, 7979); -} - -TEST_F(LP8KTest, wire_names) -{ - int wire_count = 0; - for (auto wire : ctx->getWires()) { - auto name = ctx->getWireName(wire); - assert(wire == ctx->getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count, 165894); -} - -TEST_F(LP8KTest, pip_names) -{ - int pip_count = 0; - for (auto pip : ctx->getPips()) { - auto name = ctx->getPipName(pip); - assert(pip == ctx->getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count, 1806080); -} - -TEST_F(LP8KTest, uphill_to_downhill) -{ - for (auto dst : ctx->getWires()) { - for (auto uphill_pip : ctx->getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : ctx->getPipsDownhill(ctx->getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } -} - -TEST_F(LP8KTest, downhill_to_uphill) -{ - for (auto dst : ctx->getWires()) { - for (auto downhill_pip : ctx->getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : ctx->getPipsUphill(ctx->getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } -} diff --git a/ice40/main.cc b/ice40/main.cc deleted file mode 100644 index b3a2a07..0000000 --- a/ice40/main.cc +++ /dev/null @@ -1,27 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" - -int main(int argc, char **argv) -{ - ::testing::InitGoogleTest(&argc, argv); - return RUN_ALL_TESTS(); -} diff --git a/ice40/up5k.cc b/ice40/up5k.cc deleted file mode 100644 index cf6adad..0000000 --- a/ice40/up5k.cc +++ /dev/null @@ -1,106 +0,0 @@ -/* - * nextpnr -- Next Generation Place and Route - * - * Copyright (C) 2018 Claire Xenia Wolf - * Copyright (C) 2018 Miodrag Milanovic - * - * 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 -#include "gtest/gtest.h" -#include "nextpnr.h" - -USING_NEXTPNR_NAMESPACE - -class UP5KTest : public ::testing::Test -{ - protected: - virtual void SetUp() - { - chipArgs.type = ArchArgs::UP5K; - chipArgs.package = "sg48"; - ctx = new Context(chipArgs); - } - - virtual void TearDown() { delete ctx; } - - ArchArgs chipArgs; - Context *ctx; -}; - -TEST_F(UP5KTest, bel_names) -{ - int bel_count = 0; - for (auto bel : ctx->getBels()) { - auto name = ctx->getBelName(bel); - ASSERT_EQ(bel, ctx->getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count, 5438); -} - -TEST_F(UP5KTest, wire_names) -{ - int wire_count = 0; - for (auto wire : ctx->getWires()) { - auto name = ctx->getWireName(wire); - assert(wire == ctx->getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count, 124523); -} - -TEST_F(UP5KTest, pip_names) -{ - int pip_count = 0; - for (auto pip : ctx->getPips()) { - auto name = ctx->getPipName(pip); - assert(pip == ctx->getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count, 1324704); -} - -TEST_F(UP5KTest, uphill_to_downhill) -{ - for (auto dst : ctx->getWires()) { - for (auto uphill_pip : ctx->getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : ctx->getPipsDownhill(ctx->getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } -} - -TEST_F(UP5KTest, downhill_to_uphill) -{ - for (auto dst : ctx->getWires()) { - for (auto downhill_pip : ctx->getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : ctx->getPipsUphill(ctx->getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } -}