From b7c747f15bcad48f4e1b82704bc9d00c28b9d62d Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 12 Jun 2018 20:39:20 +0200 Subject: Write tests to replace -test option from main --- tests/dummy/main.cc | 8 +++++ tests/dummy/main.cpp | 18 ----------- tests/ice40/hx1k.cc | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/ice40/hx8k.cc | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/ice40/lp1k.cc | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/ice40/lp384.cc | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/ice40/lp8k.cc | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++ tests/ice40/main.cc | 7 +++++ tests/ice40/main.cpp | 18 ----------- tests/ice40/up5k.cc | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 10 files changed, 543 insertions(+), 36 deletions(-) create mode 100644 tests/dummy/main.cc delete mode 100644 tests/dummy/main.cpp create mode 100644 tests/ice40/hx1k.cc create mode 100644 tests/ice40/hx8k.cc create mode 100644 tests/ice40/lp1k.cc create mode 100644 tests/ice40/lp384.cc create mode 100644 tests/ice40/lp8k.cc create mode 100644 tests/ice40/main.cc delete mode 100644 tests/ice40/main.cpp create mode 100644 tests/ice40/up5k.cc (limited to 'tests') diff --git a/tests/dummy/main.cc b/tests/dummy/main.cc new file mode 100644 index 00000000..13f071ce --- /dev/null +++ b/tests/dummy/main.cc @@ -0,0 +1,8 @@ +#include "gtest/gtest.h" + +#include + +int main(int argc, char **argv) { + ::testing::InitGoogleTest(&argc, argv); + return RUN_ALL_TESTS(); +} diff --git a/tests/dummy/main.cpp b/tests/dummy/main.cpp deleted file mode 100644 index b8d22138..00000000 --- a/tests/dummy/main.cpp +++ /dev/null @@ -1,18 +0,0 @@ -#include "gtest/gtest.h" - -#include - -int main(int argc, char **argv) { - ::testing::InitGoogleTest(&argc, argv); - return RUN_ALL_TESTS(); -} - -TEST(example, sum_zero) { - auto result = 0; - ASSERT_EQ(result, 0); -} - -TEST(example, sum_five) { - auto result = 15; - ASSERT_EQ(result, 15); -} diff --git a/tests/ice40/hx1k.cc b/tests/ice40/hx1k.cc new file mode 100644 index 00000000..deea1d34 --- /dev/null +++ b/tests/ice40/hx1k.cc @@ -0,0 +1,88 @@ +#include "gtest/gtest.h" +#include "nextpnr.h" +#include + +USING_NEXTPNR_NAMESPACE + +class HX1KTest : public ::testing::Test { + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::HX1K; + design = new Design(chipArgs); + } + + virtual void TearDown() { + delete design; + } + + ChipArgs chipArgs; + Design *design; +}; + +TEST_F(HX1KTest, bel_names) +{ + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel,design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count,1416); +} + +TEST_F(HX1KTest, wire_names) +{ + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count,27682); +} + +TEST_F(HX1KTest, pip_names) +{ + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count,319904); +} + +TEST_F(HX1KTest, uphill_to_downhill) +{ + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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 : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } +} diff --git a/tests/ice40/hx8k.cc b/tests/ice40/hx8k.cc new file mode 100644 index 00000000..7c0ae167 --- /dev/null +++ b/tests/ice40/hx8k.cc @@ -0,0 +1,88 @@ +#include "gtest/gtest.h" +#include "nextpnr.h" +#include + +USING_NEXTPNR_NAMESPACE + +class HX8KTest : public ::testing::Test { + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::HX8K; + design = new Design(chipArgs); + } + + virtual void TearDown() { + delete design; + } + + ChipArgs chipArgs; + Design *design; +}; + +TEST_F(HX8KTest, bel_names) +{ + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel,design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count,7968); +} + +TEST_F(HX8KTest, wire_names) +{ + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count,135174); +} + +TEST_F(HX8KTest, pip_names) +{ + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count,1652480); +} + +TEST_F(HX8KTest, uphill_to_downhill) +{ + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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 : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } +} diff --git a/tests/ice40/lp1k.cc b/tests/ice40/lp1k.cc new file mode 100644 index 00000000..700b593d --- /dev/null +++ b/tests/ice40/lp1k.cc @@ -0,0 +1,88 @@ +#include "gtest/gtest.h" +#include "nextpnr.h" +#include + +USING_NEXTPNR_NAMESPACE + +class LP1KTest : public ::testing::Test { + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::LP1K; + design = new Design(chipArgs); + } + + virtual void TearDown() { + delete design; + } + + ChipArgs chipArgs; + Design *design; +}; + +TEST_F(LP1KTest, bel_names) +{ + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel,design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count,1416); +} + +TEST_F(LP1KTest, wire_names) +{ + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count,27682); +} + +TEST_F(LP1KTest, pip_names) +{ + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count,319904); +} + +TEST_F(LP1KTest, uphill_to_downhill) +{ + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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 : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } +} diff --git a/tests/ice40/lp384.cc b/tests/ice40/lp384.cc new file mode 100644 index 00000000..481142b9 --- /dev/null +++ b/tests/ice40/lp384.cc @@ -0,0 +1,88 @@ +#include "gtest/gtest.h" +#include "nextpnr.h" +#include + +USING_NEXTPNR_NAMESPACE + +class LP384Test : public ::testing::Test { + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::LP384; + design = new Design(chipArgs); + } + + virtual void TearDown() { + delete design; + } + + ChipArgs chipArgs; + Design *design; +}; + +TEST_F(LP384Test, bel_names) +{ + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel,design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count,440); +} + +TEST_F(LP384Test, wire_names) +{ + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count,8294); +} + +TEST_F(LP384Test, pip_names) +{ + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count,86864); +} + +TEST_F(LP384Test, uphill_to_downhill) +{ + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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 : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } +} diff --git a/tests/ice40/lp8k.cc b/tests/ice40/lp8k.cc new file mode 100644 index 00000000..5dbb7674 --- /dev/null +++ b/tests/ice40/lp8k.cc @@ -0,0 +1,88 @@ +#include "gtest/gtest.h" +#include "nextpnr.h" +#include + +USING_NEXTPNR_NAMESPACE + +class LP8KTest : public ::testing::Test { + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::LP8K; + design = new Design(chipArgs); + } + + virtual void TearDown() { + delete design; + } + + ChipArgs chipArgs; + Design *design; +}; + +TEST_F(LP8KTest, bel_names) +{ + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel,design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count,7968); +} + +TEST_F(LP8KTest, wire_names) +{ + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count,135174); +} + +TEST_F(LP8KTest, pip_names) +{ + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count,1652480); +} + +TEST_F(LP8KTest, uphill_to_downhill) +{ + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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 : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } +} diff --git a/tests/ice40/main.cc b/tests/ice40/main.cc new file mode 100644 index 00000000..465bcd41 --- /dev/null +++ b/tests/ice40/main.cc @@ -0,0 +1,7 @@ +#include "gtest/gtest.h" +#include + +int main(int argc, char **argv) { + ::testing::InitGoogleTest(&argc, argv); + return RUN_ALL_TESTS(); +} diff --git a/tests/ice40/main.cpp b/tests/ice40/main.cpp deleted file mode 100644 index b8d22138..00000000 --- a/tests/ice40/main.cpp +++ /dev/null @@ -1,18 +0,0 @@ -#include "gtest/gtest.h" - -#include - -int main(int argc, char **argv) { - ::testing::InitGoogleTest(&argc, argv); - return RUN_ALL_TESTS(); -} - -TEST(example, sum_zero) { - auto result = 0; - ASSERT_EQ(result, 0); -} - -TEST(example, sum_five) { - auto result = 15; - ASSERT_EQ(result, 15); -} diff --git a/tests/ice40/up5k.cc b/tests/ice40/up5k.cc new file mode 100644 index 00000000..eb6dd732 --- /dev/null +++ b/tests/ice40/up5k.cc @@ -0,0 +1,88 @@ +#include "gtest/gtest.h" +#include "nextpnr.h" +#include + +USING_NEXTPNR_NAMESPACE + +class UP5KTest : public ::testing::Test { + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::UP5K; + design = new Design(chipArgs); + } + + virtual void TearDown() { + delete design; + } + + ChipArgs chipArgs; + Design *design; +}; + +TEST_F(UP5KTest, bel_names) +{ + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel,design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count,5414); +} + +TEST_F(UP5KTest, wire_names) +{ + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count,103383); +} + +TEST_F(UP5KTest, pip_names) +{ + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count,1219104); +} + +TEST_F(UP5KTest, uphill_to_downhill) +{ + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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 : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } +} -- cgit v1.2.3 From 7b1c599947f18267dd50ad62812e9a932403fd4d Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 12 Jun 2018 20:44:05 +0200 Subject: clangformat cleanup --- tests/dummy/main.cc | 7 +-- tests/ice40/hx1k.cc | 131 +++++++++++++++++++++++++-------------------------- tests/ice40/hx8k.cc | 131 +++++++++++++++++++++++++-------------------------- tests/ice40/lp1k.cc | 131 +++++++++++++++++++++++++-------------------------- tests/ice40/lp384.cc | 131 +++++++++++++++++++++++++-------------------------- tests/ice40/lp8k.cc | 131 +++++++++++++++++++++++++-------------------------- tests/ice40/main.cc | 9 ++-- tests/ice40/up5k.cc | 131 +++++++++++++++++++++++++-------------------------- 8 files changed, 399 insertions(+), 403 deletions(-) (limited to 'tests') diff --git a/tests/dummy/main.cc b/tests/dummy/main.cc index 13f071ce..1270ccdf 100644 --- a/tests/dummy/main.cc +++ b/tests/dummy/main.cc @@ -2,7 +2,8 @@ #include -int main(int argc, char **argv) { - ::testing::InitGoogleTest(&argc, argv); - return RUN_ALL_TESTS(); +int main(int argc, char **argv) +{ + ::testing::InitGoogleTest(&argc, argv); + return RUN_ALL_TESTS(); } diff --git a/tests/ice40/hx1k.cc b/tests/ice40/hx1k.cc index deea1d34..ceae4c45 100644 --- a/tests/ice40/hx1k.cc +++ b/tests/ice40/hx1k.cc @@ -1,88 +1,87 @@ +#include #include "gtest/gtest.h" #include "nextpnr.h" -#include USING_NEXTPNR_NAMESPACE -class HX1KTest : public ::testing::Test { - protected: - virtual void SetUp() - { - chipArgs.type = ChipArgs::HX1K; - design = new Design(chipArgs); - } - - virtual void TearDown() { - delete design; - } +class HX1KTest : public ::testing::Test +{ + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::HX1K; + design = new Design(chipArgs); + } + + virtual void TearDown() { delete design; } - ChipArgs chipArgs; - Design *design; + ChipArgs chipArgs; + Design *design; }; -TEST_F(HX1KTest, bel_names) +TEST_F(HX1KTest, bel_names) { - int bel_count = 0; - for (auto bel : design->chip.getBels()) { - auto name = design->chip.getBelName(bel); - ASSERT_EQ(bel,design->chip.getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count,1416); + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel, design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count, 1416); } -TEST_F(HX1KTest, wire_names) +TEST_F(HX1KTest, wire_names) { - int wire_count = 0; - for (auto wire : design->chip.getWires()) { - auto name = design->chip.getWireName(wire); - assert(wire == design->chip.getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count,27682); + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count, 27682); } -TEST_F(HX1KTest, pip_names) +TEST_F(HX1KTest, pip_names) { - int pip_count = 0; - for (auto pip : design->chip.getPips()) { - auto name = design->chip.getPipName(pip); - assert(pip == design->chip.getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count,319904); + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count, 319904); } -TEST_F(HX1KTest, uphill_to_downhill) +TEST_F(HX1KTest, uphill_to_downhill) { - for (auto dst : design->chip.getWires()) { - for (auto uphill_pip : design->chip.getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : design->chip.getPipsDownhill( - design->chip.getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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) +TEST_F(HX1KTest, downhill_to_uphill) { - for (auto dst : design->chip.getWires()) { - for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : design->chip.getPipsUphill( - design->chip.getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } } diff --git a/tests/ice40/hx8k.cc b/tests/ice40/hx8k.cc index 7c0ae167..060e34dd 100644 --- a/tests/ice40/hx8k.cc +++ b/tests/ice40/hx8k.cc @@ -1,88 +1,87 @@ +#include #include "gtest/gtest.h" #include "nextpnr.h" -#include USING_NEXTPNR_NAMESPACE -class HX8KTest : public ::testing::Test { - protected: - virtual void SetUp() - { - chipArgs.type = ChipArgs::HX8K; - design = new Design(chipArgs); - } - - virtual void TearDown() { - delete design; - } +class HX8KTest : public ::testing::Test +{ + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::HX8K; + design = new Design(chipArgs); + } + + virtual void TearDown() { delete design; } - ChipArgs chipArgs; - Design *design; + ChipArgs chipArgs; + Design *design; }; -TEST_F(HX8KTest, bel_names) +TEST_F(HX8KTest, bel_names) { - int bel_count = 0; - for (auto bel : design->chip.getBels()) { - auto name = design->chip.getBelName(bel); - ASSERT_EQ(bel,design->chip.getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count,7968); + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel, design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count, 7968); } -TEST_F(HX8KTest, wire_names) +TEST_F(HX8KTest, wire_names) { - int wire_count = 0; - for (auto wire : design->chip.getWires()) { - auto name = design->chip.getWireName(wire); - assert(wire == design->chip.getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count,135174); + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count, 135174); } -TEST_F(HX8KTest, pip_names) +TEST_F(HX8KTest, pip_names) { - int pip_count = 0; - for (auto pip : design->chip.getPips()) { - auto name = design->chip.getPipName(pip); - assert(pip == design->chip.getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count,1652480); + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count, 1652480); } -TEST_F(HX8KTest, uphill_to_downhill) +TEST_F(HX8KTest, uphill_to_downhill) { - for (auto dst : design->chip.getWires()) { - for (auto uphill_pip : design->chip.getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : design->chip.getPipsDownhill( - design->chip.getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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) +TEST_F(HX8KTest, downhill_to_uphill) { - for (auto dst : design->chip.getWires()) { - for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : design->chip.getPipsUphill( - design->chip.getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } } diff --git a/tests/ice40/lp1k.cc b/tests/ice40/lp1k.cc index 700b593d..85b35652 100644 --- a/tests/ice40/lp1k.cc +++ b/tests/ice40/lp1k.cc @@ -1,88 +1,87 @@ +#include #include "gtest/gtest.h" #include "nextpnr.h" -#include USING_NEXTPNR_NAMESPACE -class LP1KTest : public ::testing::Test { - protected: - virtual void SetUp() - { - chipArgs.type = ChipArgs::LP1K; - design = new Design(chipArgs); - } - - virtual void TearDown() { - delete design; - } +class LP1KTest : public ::testing::Test +{ + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::LP1K; + design = new Design(chipArgs); + } + + virtual void TearDown() { delete design; } - ChipArgs chipArgs; - Design *design; + ChipArgs chipArgs; + Design *design; }; -TEST_F(LP1KTest, bel_names) +TEST_F(LP1KTest, bel_names) { - int bel_count = 0; - for (auto bel : design->chip.getBels()) { - auto name = design->chip.getBelName(bel); - ASSERT_EQ(bel,design->chip.getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count,1416); + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel, design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count, 1416); } -TEST_F(LP1KTest, wire_names) +TEST_F(LP1KTest, wire_names) { - int wire_count = 0; - for (auto wire : design->chip.getWires()) { - auto name = design->chip.getWireName(wire); - assert(wire == design->chip.getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count,27682); + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count, 27682); } -TEST_F(LP1KTest, pip_names) +TEST_F(LP1KTest, pip_names) { - int pip_count = 0; - for (auto pip : design->chip.getPips()) { - auto name = design->chip.getPipName(pip); - assert(pip == design->chip.getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count,319904); + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count, 319904); } -TEST_F(LP1KTest, uphill_to_downhill) +TEST_F(LP1KTest, uphill_to_downhill) { - for (auto dst : design->chip.getWires()) { - for (auto uphill_pip : design->chip.getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : design->chip.getPipsDownhill( - design->chip.getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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) +TEST_F(LP1KTest, downhill_to_uphill) { - for (auto dst : design->chip.getWires()) { - for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : design->chip.getPipsUphill( - design->chip.getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } } diff --git a/tests/ice40/lp384.cc b/tests/ice40/lp384.cc index 481142b9..c29938f1 100644 --- a/tests/ice40/lp384.cc +++ b/tests/ice40/lp384.cc @@ -1,88 +1,87 @@ +#include #include "gtest/gtest.h" #include "nextpnr.h" -#include USING_NEXTPNR_NAMESPACE -class LP384Test : public ::testing::Test { - protected: - virtual void SetUp() - { - chipArgs.type = ChipArgs::LP384; - design = new Design(chipArgs); - } - - virtual void TearDown() { - delete design; - } +class LP384Test : public ::testing::Test +{ + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::LP384; + design = new Design(chipArgs); + } + + virtual void TearDown() { delete design; } - ChipArgs chipArgs; - Design *design; + ChipArgs chipArgs; + Design *design; }; -TEST_F(LP384Test, bel_names) +TEST_F(LP384Test, bel_names) { - int bel_count = 0; - for (auto bel : design->chip.getBels()) { - auto name = design->chip.getBelName(bel); - ASSERT_EQ(bel,design->chip.getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count,440); + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel, design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count, 440); } -TEST_F(LP384Test, wire_names) +TEST_F(LP384Test, wire_names) { - int wire_count = 0; - for (auto wire : design->chip.getWires()) { - auto name = design->chip.getWireName(wire); - assert(wire == design->chip.getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count,8294); + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count, 8294); } -TEST_F(LP384Test, pip_names) +TEST_F(LP384Test, pip_names) { - int pip_count = 0; - for (auto pip : design->chip.getPips()) { - auto name = design->chip.getPipName(pip); - assert(pip == design->chip.getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count,86864); + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count, 86864); } -TEST_F(LP384Test, uphill_to_downhill) +TEST_F(LP384Test, uphill_to_downhill) { - for (auto dst : design->chip.getWires()) { - for (auto uphill_pip : design->chip.getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : design->chip.getPipsDownhill( - design->chip.getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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) +TEST_F(LP384Test, downhill_to_uphill) { - for (auto dst : design->chip.getWires()) { - for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : design->chip.getPipsUphill( - design->chip.getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } } diff --git a/tests/ice40/lp8k.cc b/tests/ice40/lp8k.cc index 5dbb7674..ca2fc424 100644 --- a/tests/ice40/lp8k.cc +++ b/tests/ice40/lp8k.cc @@ -1,88 +1,87 @@ +#include #include "gtest/gtest.h" #include "nextpnr.h" -#include USING_NEXTPNR_NAMESPACE -class LP8KTest : public ::testing::Test { - protected: - virtual void SetUp() - { - chipArgs.type = ChipArgs::LP8K; - design = new Design(chipArgs); - } - - virtual void TearDown() { - delete design; - } +class LP8KTest : public ::testing::Test +{ + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::LP8K; + design = new Design(chipArgs); + } + + virtual void TearDown() { delete design; } - ChipArgs chipArgs; - Design *design; + ChipArgs chipArgs; + Design *design; }; -TEST_F(LP8KTest, bel_names) +TEST_F(LP8KTest, bel_names) { - int bel_count = 0; - for (auto bel : design->chip.getBels()) { - auto name = design->chip.getBelName(bel); - ASSERT_EQ(bel,design->chip.getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count,7968); + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel, design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count, 7968); } -TEST_F(LP8KTest, wire_names) +TEST_F(LP8KTest, wire_names) { - int wire_count = 0; - for (auto wire : design->chip.getWires()) { - auto name = design->chip.getWireName(wire); - assert(wire == design->chip.getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count,135174); + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count, 135174); } -TEST_F(LP8KTest, pip_names) +TEST_F(LP8KTest, pip_names) { - int pip_count = 0; - for (auto pip : design->chip.getPips()) { - auto name = design->chip.getPipName(pip); - assert(pip == design->chip.getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count,1652480); + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count, 1652480); } -TEST_F(LP8KTest, uphill_to_downhill) +TEST_F(LP8KTest, uphill_to_downhill) { - for (auto dst : design->chip.getWires()) { - for (auto uphill_pip : design->chip.getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : design->chip.getPipsDownhill( - design->chip.getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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) +TEST_F(LP8KTest, downhill_to_uphill) { - for (auto dst : design->chip.getWires()) { - for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : design->chip.getPipsUphill( - design->chip.getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } } diff --git a/tests/ice40/main.cc b/tests/ice40/main.cc index 465bcd41..e85c836a 100644 --- a/tests/ice40/main.cc +++ b/tests/ice40/main.cc @@ -1,7 +1,8 @@ -#include "gtest/gtest.h" #include +#include "gtest/gtest.h" -int main(int argc, char **argv) { - ::testing::InitGoogleTest(&argc, argv); - return RUN_ALL_TESTS(); +int main(int argc, char **argv) +{ + ::testing::InitGoogleTest(&argc, argv); + return RUN_ALL_TESTS(); } diff --git a/tests/ice40/up5k.cc b/tests/ice40/up5k.cc index eb6dd732..38bb30fd 100644 --- a/tests/ice40/up5k.cc +++ b/tests/ice40/up5k.cc @@ -1,88 +1,87 @@ +#include #include "gtest/gtest.h" #include "nextpnr.h" -#include USING_NEXTPNR_NAMESPACE -class UP5KTest : public ::testing::Test { - protected: - virtual void SetUp() - { - chipArgs.type = ChipArgs::UP5K; - design = new Design(chipArgs); - } - - virtual void TearDown() { - delete design; - } +class UP5KTest : public ::testing::Test +{ + protected: + virtual void SetUp() + { + chipArgs.type = ChipArgs::UP5K; + design = new Design(chipArgs); + } + + virtual void TearDown() { delete design; } - ChipArgs chipArgs; - Design *design; + ChipArgs chipArgs; + Design *design; }; -TEST_F(UP5KTest, bel_names) +TEST_F(UP5KTest, bel_names) { - int bel_count = 0; - for (auto bel : design->chip.getBels()) { - auto name = design->chip.getBelName(bel); - ASSERT_EQ(bel,design->chip.getBelByName(name)); - bel_count++; - } - ASSERT_EQ(bel_count,5414); + int bel_count = 0; + for (auto bel : design->chip.getBels()) { + auto name = design->chip.getBelName(bel); + ASSERT_EQ(bel, design->chip.getBelByName(name)); + bel_count++; + } + ASSERT_EQ(bel_count, 5414); } -TEST_F(UP5KTest, wire_names) +TEST_F(UP5KTest, wire_names) { - int wire_count = 0; - for (auto wire : design->chip.getWires()) { - auto name = design->chip.getWireName(wire); - assert(wire == design->chip.getWireByName(name)); - wire_count++; - } - ASSERT_EQ(wire_count,103383); + int wire_count = 0; + for (auto wire : design->chip.getWires()) { + auto name = design->chip.getWireName(wire); + assert(wire == design->chip.getWireByName(name)); + wire_count++; + } + ASSERT_EQ(wire_count, 103383); } -TEST_F(UP5KTest, pip_names) +TEST_F(UP5KTest, pip_names) { - int pip_count = 0; - for (auto pip : design->chip.getPips()) { - auto name = design->chip.getPipName(pip); - assert(pip == design->chip.getPipByName(name)); - pip_count++; - } - ASSERT_EQ(pip_count,1219104); + int pip_count = 0; + for (auto pip : design->chip.getPips()) { + auto name = design->chip.getPipName(pip); + assert(pip == design->chip.getPipByName(name)); + pip_count++; + } + ASSERT_EQ(pip_count, 1219104); } -TEST_F(UP5KTest, uphill_to_downhill) +TEST_F(UP5KTest, uphill_to_downhill) { - for (auto dst : design->chip.getWires()) { - for (auto uphill_pip : design->chip.getPipsUphill(dst)) { - bool found_downhill = false; - for (auto downhill_pip : design->chip.getPipsDownhill( - design->chip.getPipSrcWire(uphill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_downhill); - found_downhill = true; - } - } - ASSERT_TRUE(found_downhill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto uphill_pip : design->chip.getPipsUphill(dst)) { + bool found_downhill = false; + for (auto downhill_pip : design->chip.getPipsDownhill( + design->chip.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) +TEST_F(UP5KTest, downhill_to_uphill) { - for (auto dst : design->chip.getWires()) { - for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { - bool found_uphill = false; - for (auto uphill_pip : design->chip.getPipsUphill( - design->chip.getPipDstWire(downhill_pip))) { - if (uphill_pip == downhill_pip) { - ASSERT_FALSE(found_uphill); - found_uphill = true; - } - } - ASSERT_TRUE(found_uphill); - } - } + for (auto dst : design->chip.getWires()) { + for (auto downhill_pip : design->chip.getPipsDownhill(dst)) { + bool found_uphill = false; + for (auto uphill_pip : design->chip.getPipsUphill( + design->chip.getPipDstWire(downhill_pip))) { + if (uphill_pip == downhill_pip) { + ASSERT_FALSE(found_uphill); + found_uphill = true; + } + } + ASSERT_TRUE(found_uphill); + } + } } -- cgit v1.2.3