diff --git a/src/arch/generic/SConscript b/src/arch/generic/SConscript index 70bb2ded57..8231ccfd78 100644 --- a/src/arch/generic/SConscript +++ b/src/arch/generic/SConscript @@ -50,6 +50,9 @@ DebugFlag('PageTableWalker', "Page table walker state machine debugging") DebugFlag('TLB') +GTest('vec_reg.test', 'vec_reg.test.cc') +GTest('vec_pred_reg.test', 'vec_pred_reg.test.cc') + if env['TARGET_ISA'] == 'null': Return() diff --git a/src/arch/generic/vec_pred_reg.test.cc b/src/arch/generic/vec_pred_reg.test.cc new file mode 100644 index 0000000000..4cedb6e570 --- /dev/null +++ b/src/arch/generic/vec_pred_reg.test.cc @@ -0,0 +1,290 @@ +/* + * Copyright (c) 2021 Arm Limited + * All rights reserved + * + * The license below extends only to copyright in the software and shall + * not be construed as granting a license to any other intellectual + * property including but not limited to intellectual property relating + * to a hardware implementation of the functionality of the software + * licensed hereunder. You may use the software subject to the license + * terms below provided that you ensure that this notice is replicated + * unmodified and in its entirety in all distributions of the software, + * modified or unmodified, in source code or in binary form. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer; + * redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution; + * neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived from + * this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include + +#include "arch/generic/vec_pred_reg.hh" +#include "base/str.hh" + +using namespace gem5; + +TEST(VecPredReg, reset) +{ + constexpr size_t size = 4; + VecPredRegContainer vec; + + vec.reset(); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_FALSE(vec[idx]); + } +} + +TEST(VecPredReg, set) +{ + constexpr size_t size = 4; + VecPredRegContainer vec; + + vec.set(); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_TRUE(vec[idx]); + } +} + +template +class TwoDifferentVecPredRegsBase : public testing::Test +{ + protected: + static constexpr ssize_t size = 4; + VecPredRegContainer pred1; + VecPredRegContainer pred2; + + void + SetUp() override + { + // Initializing with: + // 0,1,0,1 + for (auto idx = 0; idx < size; idx++) { + pred1[idx] = (idx % 2); + } + + // Initializing with: + // 1,0,1,0 + for (auto idx = 0; idx < size; idx++) { + pred2[idx] = !(idx % 2); + } + } +}; + +using TwoDifferentVecPredRegs = TwoDifferentVecPredRegsBase; +using TwoPackedDifferentVecPredRegs = TwoDifferentVecPredRegsBase; + +// Testing operator= +TEST_F(TwoDifferentVecPredRegs, Assignment) +{ + pred2 = pred1; + + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(pred2[idx], idx % 2); + } +} + +// Testing operator== +TEST_F(TwoDifferentVecPredRegs, Equality) +{ + // Equality check + ASSERT_TRUE(pred1 == pred1); + ASSERT_TRUE(pred2 == pred2); + ASSERT_FALSE(pred1 == pred2); +} + +// Testing operator!= +TEST_F(TwoDifferentVecPredRegs, Inequality) +{ + // Inequality check + ASSERT_FALSE(pred1 != pred1); + ASSERT_FALSE(pred2 != pred2); + ASSERT_TRUE(pred1 != pred2); +} + +// Testing operator<< +TEST_F(TwoDifferentVecPredRegs, Printing) +{ + { + std::ostringstream stream; + stream << pred1; + ASSERT_EQ(stream.str(), "[0 1 0 1]"); + } + + { + std::ostringstream stream; + stream << pred2; + ASSERT_EQ(stream.str(), "[1 0 1 0]"); + } +} + +// Testing ParseParam +TEST_F(TwoDifferentVecPredRegs, ParseParam) +{ + ParseParam parser; + parser.parse("1111", pred1); + parser.parse("0000", pred2); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(pred1[idx], 1); + ASSERT_EQ(pred2[idx], 0); + } +} + +// Testing ShowParam +TEST_F(TwoDifferentVecPredRegs, ShowParam) +{ + ShowParam parser; + + { + std::stringstream ss; + parser.show(ss, pred1); + ASSERT_EQ(ss.str(), "0101"); + } + + { + std::stringstream ss; + parser.show(ss, pred2); + ASSERT_EQ(ss.str(), "1010"); + } +} + +// Testing VecPredReg view as uint8_t +// pred1 is 0101 +// -> pred1_view[0] = false +// -> pred1_view[1] = true +// -> pred1_view[2] = false +// -> pred1_view[3] = true +// pred2 is 1010 +// -> pred2_view[0] = true +// -> pred2_view[1] = false +// -> pred2_view[2] = true +// -> pred2_view[3] = false +TEST_F(TwoDifferentVecPredRegs, View8bit) +{ + auto pred1_view = pred1.as(); + auto pred2_view = pred2.as(); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(pred1_view[idx], idx % 2); + ASSERT_EQ(pred2_view[idx], !(idx % 2)); + } +} + +// Testing VecPredReg view as uint16_t +// pred1 is 0101 +// -> pred1_view[0] = false +// -> pred1_view[1] = false +// pred2 is 1010 +// -> pred2_view[0] = true +// -> pred2_view[1] = true +TEST_F(TwoDifferentVecPredRegs, View16bit) +{ + auto pred1_view = pred1.as(); + auto pred2_view = pred2.as(); + + for (auto idx = 0; idx < size / sizeof(uint16_t); idx++) { + ASSERT_FALSE(pred1_view[idx]); + ASSERT_TRUE(pred2_view[idx]); + } +} + +// Testing VecPredReg view as uint32_t +// pred1 is 0101 +// -> pred1_view[0] = false +// pred2 is 1010 +// -> pred2_view[0] = true +TEST_F(TwoDifferentVecPredRegs, View32bit) +{ + auto pred1_view = pred1.as(); + auto pred2_view = pred2.as(); + + ASSERT_FALSE(pred1_view[0]); + ASSERT_TRUE(pred2_view[0]); +} + +// Testing VecPredReg view as uint8_t +// pred1 is 0101 +// -> pred1_view[0] = false +// -> pred1_view[1] = true +// -> pred1_view[2] = false +// -> pred1_view[3] = true +// pred2 is 1010 +// -> pred2_view[0] = true +// -> pred2_view[1] = false +// -> pred2_view[2] = true +// -> pred2_view[3] = false +TEST_F(TwoPackedDifferentVecPredRegs, View8bit) +{ + auto pred1_view = pred1.as(); + auto pred2_view = pred2.as(); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(pred1_view[idx], idx % 2); + ASSERT_EQ(pred2_view[idx], !(idx % 2)); + } +} + +// Testing VecPredReg view as uint16_t +// pred1 is 0101 +// -> pred1_view[0] = false +// -> pred1_view[1] = true +// -> pred1_view[2] = false +// -> pred1_view[3] = true +// pred2 is 1010 +// -> pred2_view[0] = true +// -> pred2_view[1] = false +// -> pred2_view[2] = true +// -> pred2_view[3] = false +TEST_F(TwoPackedDifferentVecPredRegs, View16bit) +{ + auto pred1_view = pred1.as(); + auto pred2_view = pred2.as(); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(pred1_view[idx], idx % 2); + ASSERT_EQ(pred2_view[idx], !(idx % 2)); + } +} + +// Testing VecPredReg view as uint32_t +// pred1 is 0101 +// -> pred1_view[0] = false +// -> pred1_view[1] = true +// -> pred1_view[2] = false +// -> pred1_view[3] = true +// pred2 is 1010 +// -> pred2_view[0] = true +// -> pred2_view[1] = false +// -> pred2_view[2] = true +// -> pred2_view[3] = false +TEST_F(TwoPackedDifferentVecPredRegs, View32bit) +{ + auto pred1_view = pred1.as(); + auto pred2_view = pred2.as(); + + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(pred1_view[idx], idx % 2); + ASSERT_EQ(pred2_view[idx], !(idx % 2)); + } +} diff --git a/src/arch/generic/vec_reg.test.cc b/src/arch/generic/vec_reg.test.cc new file mode 100644 index 0000000000..1cdb160b35 --- /dev/null +++ b/src/arch/generic/vec_reg.test.cc @@ -0,0 +1,188 @@ +/* + * Copyright (c) 2021 Arm Limited + * All rights reserved + * + * The license below extends only to copyright in the software and shall + * not be construed as granting a license to any other intellectual + * property including but not limited to intellectual property relating + * to a hardware implementation of the functionality of the software + * licensed hereunder. You may use the software subject to the license + * terms below provided that you ensure that this notice is replicated + * unmodified and in its entirety in all distributions of the software, + * modified or unmodified, in source code or in binary form. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer; + * redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution; + * neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived from + * this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT + * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include + +#include "arch/generic/vec_reg.hh" + +using namespace gem5; + +TEST(VecReg, Size) +{ + { + // Minimum size + VecRegContainer<1> vec; + ASSERT_EQ(1, vec.size()); + } + + { + // Medium size + constexpr size_t size = MaxVecRegLenInBytes / 2; + VecRegContainer vec; + ASSERT_EQ(size, vec.size()); + } + + { + // Maximum size + VecRegContainer vec; + ASSERT_EQ(MaxVecRegLenInBytes, vec.size()); + } +} + +TEST(VecReg, Zero) +{ + constexpr size_t size = 16; + VecRegContainer vec; + auto *vec_ptr = vec.as(); + + // Initializing with non-zero value + for (auto idx = 0; idx < size; idx++) { + vec_ptr[idx] = 0xAA; + } + + // zeroing the vector + vec.zero(); + + // checking if every vector element is set to zero + for (auto idx = 0; idx < size; idx++) { + ASSERT_EQ(vec_ptr[idx], 0); + } +} + +class TwoDifferentVecRegs : public testing::Test +{ + protected: + VecRegContainer<16> vec1; + VecRegContainer<16> vec2; + uint8_t *vec1_ptr; + uint8_t *vec2_ptr; + + void + SetUp() override + { + vec1_ptr = vec1.as(); + vec2_ptr = vec2.as(); + + // Initializing with non-zero value vector1 + for (auto idx = 0; idx < vec1.size(); idx++) { + vec1_ptr[idx] = 0xAA; + } + + // Initializing with zero value vector2 + for (auto idx = 0; idx < vec2.size(); idx++) { + vec2_ptr[idx] = 0; + } + } +}; + +// Testing operator= +TEST_F(TwoDifferentVecRegs, Assignment) +{ + // Copying the vector + vec2 = vec1; + + // Checking if vector2 elements are 0xAA + for (auto idx = 0; idx < vec2.size(); idx++) { + ASSERT_EQ(vec2_ptr[idx], 0xAA); + } +} + +// Testing operator== +TEST_F(TwoDifferentVecRegs, Equality) +{ + // Equality check + ASSERT_TRUE(vec1 == vec1); + ASSERT_TRUE(vec2 == vec2); + ASSERT_FALSE(vec1 == vec2); +} + +// Testing operator!= +TEST_F(TwoDifferentVecRegs, Inequality) +{ + // Inequality check + ASSERT_FALSE(vec1 != vec1); + ASSERT_FALSE(vec2 != vec2); + ASSERT_TRUE(vec1 != vec2); +} + +// Testing operator<< +TEST_F(TwoDifferentVecRegs, Printing) +{ + { + std::ostringstream stream; + stream << vec1; + ASSERT_EQ(stream.str(), "[aaaaaaaa_aaaaaaaa_aaaaaaaa_aaaaaaaa]"); + } + + { + std::ostringstream stream; + stream << vec2; + ASSERT_EQ(stream.str(), "[00000000_00000000_00000000_00000000]"); + } +} + +// Testing ParseParam +TEST_F(TwoDifferentVecRegs, ParseParam) +{ + ParseParam parser; + + parser.parse("bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb", vec1); + parser.parse("cccccccccccccccccccccccccccccccc", vec2); + + for (auto idx = 0; idx < 2; idx++) { + ASSERT_EQ(vec1_ptr[idx], 0xbb); + ASSERT_EQ(vec2_ptr[idx], 0xcc); + } +} + +// Testing ShowParam +TEST_F(TwoDifferentVecRegs, ShowParam) +{ + ShowParam parser; + + { + std::stringstream ss; + parser.show(ss, vec1); + ASSERT_EQ(ss.str(), "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"); + } + + { + std::stringstream ss; + parser.show(ss, vec2); + ASSERT_EQ(ss.str(), "00000000000000000000000000000000"); + } +}