Exception Value Testing(EVT) for ?SUBV APIs

- Added test cases to verify the compliance of ?SUBV APIs,
  through Exception Value Testing(EVT). This is done by
  inducing exception values in the input operands. The induction
  is controlled by the user, through indices given as part of the
  parameterized test-cases.

- Various combinations of zeros, NaNs and +/-Infs have been used to
  verify the compliance against the standard.

Change-Id: If7ce582f2d0ab92acaf02215126f6e4caff3af8d
This commit is contained in:
srpogula
2024-03-04 09:28:48 +00:00
committed by Srikanth Pogula
parent 394eee90f6
commit aaa9c1ac09
5 changed files with 1077 additions and 1 deletions

View File

@@ -0,0 +1,270 @@
/*
BLIS
An object-based framework for developing high-performance BLAS-like
libraries.
Copyright (C) 2024, Advanced Micro Devices, Inc. All rights reserved.
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(s) of the copyright holder(s) 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
HOLDER 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 <gtest/gtest.h>
#include "test_subv.h"
class csubvEVT :
public ::testing::TestWithParam<std::tuple<char, // x or conj(x)
gtint_t, // vector length
gtint_t, // stride size of x
gtint_t, // stride size of y
gtint_t, // xi, index for exval in x
scomplex, // xexval
gtint_t, // yi, index for exval in y
scomplex>> {}; // yexval
GTEST_ALLOW_UNINSTANTIATED_PARAMETERIZED_TEST(csubvEVT);
TEST_P( csubvEVT, NaNInfCheck )
{
using T = scomplex;
//----------------------------------------------------------
// Initialize values from the parameters passed through
// test suite instantiation (INSTANTIATE_TEST_SUITE_P).
//----------------------------------------------------------
// denotes whether x or conj(x) will be added to y:
char conj_x = std::get<0>(GetParam());
// vector length:
gtint_t n = std::get<1>(GetParam());
// stride size for x:
gtint_t incx = std::get<2>(GetParam());
// stride size for y:
gtint_t incy = std::get<3>(GetParam());
// index for exval in x
gtint_t xi = std::get<4>(GetParam());
// exval for x
T xexval = std::get<5>(GetParam());
// index for exval in y
gtint_t yj = std::get<6>(GetParam());
// exval for y
T yexval = std::get<7>(GetParam());
// Set the threshold for the errors:
double thresh = 20 * testinghelpers::getEpsilon<T>();
//----------------------------------------------------------
// Call generic test body using those parameters
//----------------------------------------------------------
test_subv<T>( conj_x, n, incx, incy, xi, xexval,
yj, yexval, thresh );
}
// Test-case logger : Used to print the test-case details when vectors have exception value.
// The string format is as follows :
// n(vec_size)_(conjx/noconjx)_incx(m)(abs_incx)_incy(m)(abs_incy)_X_(xi)_(xexval)_(yi)_(yexval)
class csubvEVTPrint {
public:
std::string operator()(
testing::TestParamInfo<std::tuple<char, gtint_t, gtint_t, gtint_t, gtint_t, scomplex, gtint_t, scomplex>> str) const {
char conjx = std::get<0>(str.param);
gtint_t n = std::get<1>(str.param);
gtint_t incx = std::get<2>(str.param);
gtint_t incy = std::get<3>(str.param);
gtint_t xi = std::get<4>(str.param);
scomplex xexval = std::get<5>(str.param);
gtint_t yj = std::get<6>(str.param);
scomplex yexval = std::get<7>(str.param);
std::string str_name = "bli_";
str_name += "n_" + std::to_string(n);
str_name += ( conjx == 'n' )? "_noconjx" : "_conjx";
std::string incx_str = ( incx > 0) ? std::to_string(incx) : "m" + std::to_string(std::abs(incx));
str_name += "_incx_" + incx_str;
std::string incy_str = ( incy > 0) ? std::to_string(incy) : "m" + std::to_string(std::abs(incy));
str_name += "_incy_" + incy_str;
std::string xexval_str = testinghelpers::get_value_string(xexval);
std::string yexval_str = testinghelpers::get_value_string(yexval);
str_name = str_name + "_X_" + std::to_string(xi);
str_name = str_name + "_" + xexval_str;
str_name = str_name + "_Y_" + std::to_string(yj);
str_name = str_name + "_" + yexval_str;
return str_name;
}
};
static float NaN = std::numeric_limits<double>::quiet_NaN();
static float Inf = std::numeric_limits<double>::infinity();
#ifdef TEST_BLIS_TYPED
// Exception value testing(on X vector alone) with unit strides
INSTANTIATE_TEST_SUITE_P(
vecX_unitStrides,
csubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(scomplex{NaN, 0.0}, scomplex{-Inf, 0.0},
scomplex{0.0, Inf}, scomplex{-2.3, NaN},
scomplex{4.5, -Inf}, scomplex{NaN, Inf},
scomplex{NaN, -Inf}),
// index on y
::testing::Values(gtint_t(0)),
// value on y
::testing::Values(scomplex{0.0, 0.0})
),
::csubvEVTPrint()
);
// Exception value testing(on Y vector alone) with unit strides
INSTANTIATE_TEST_SUITE_P(
vecY_unitStrides,
csubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// index on x
::testing::Values(gtint_t(0)),
// value on x
::testing::Values(scomplex{0.0, 0.0}),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(scomplex{NaN, 0.0}, scomplex{-Inf, 0.0},
scomplex{0.0, Inf}, scomplex{-2.3, NaN},
scomplex{4.5, -Inf}, scomplex{NaN, Inf},
scomplex{NaN, -Inf})
),
::csubvEVTPrint()
);
// Exception value testing(on X and Y vectors) with unit strides
INSTANTIATE_TEST_SUITE_P(
vecXY_unitStrides,
csubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(scomplex{NaN, 0.0}, scomplex{-Inf, 0.0},
scomplex{0.0, Inf}, scomplex{-2.3, NaN},
scomplex{4.5, -Inf}, scomplex{NaN, Inf},
scomplex{NaN, -Inf}),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(scomplex{NaN, 0.0}, scomplex{-Inf, 0.0},
scomplex{0.0, Inf}, scomplex{-2.3, NaN},
scomplex{4.5, -Inf}, scomplex{NaN, Inf},
scomplex{NaN, -Inf})
),
::csubvEVTPrint()
);
// Exception value testing(on X & Y vectors) with non-unit strides.
// The indices are such that we cover _vecX_, _vecY_ and _vecXY_ cases together.
INSTANTIATE_TEST_SUITE_P(
vecXY_nonUnitStrides,
csubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(50)),
// incx: stride of x vector.
::testing::Values(
gtint_t(3)),
// incy: stride of y vector.
::testing::Values(
gtint_t(5)),
// indices to set exception values on x
::testing::Values(gtint_t(1), gtint_t(27), gtint_t(49)),
// exception values to set on x
::testing::Values(scomplex{NaN, 0.0}, scomplex{-Inf, 0.0},
scomplex{0.0, Inf}, scomplex{-2.3, NaN},
scomplex{4.5, -Inf}, scomplex{NaN, Inf},
scomplex{0.0, 0.0}, scomplex{NaN, -Inf}),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(26), gtint_t(49)),
// exception values to set on y
::testing::Values(scomplex{NaN, 0.0}, scomplex{-Inf, 0.0},
scomplex{0.0, Inf}, scomplex{-2.3, NaN},
scomplex{4.5, -Inf}, scomplex{NaN, Inf},
scomplex{0.0, 0.0}, scomplex{NaN, -Inf})
),
::csubvEVTPrint()
);
#endif

View File

@@ -0,0 +1,252 @@
/*
BLIS
An object-based framework for developing high-performance BLAS-like
libraries.
Copyright (C) 2024, Advanced Micro Devices, Inc. All rights reserved.
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(s) of the copyright holder(s) 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
HOLDER 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 <gtest/gtest.h>
#include "test_subv.h"
class dsubvEVT :
public ::testing::TestWithParam<std::tuple<char, // x or conj(x)
gtint_t, // vector length
gtint_t, // stride size of x
gtint_t, // stride size of y
gtint_t, // xi, index for exval in x
double, // xexval
gtint_t, // yi, index for exval in y
double>> {}; // yexval
GTEST_ALLOW_UNINSTANTIATED_PARAMETERIZED_TEST(dsubvEVT);
TEST_P( dsubvEVT, NaNInfCheck )
{
using T = double;
//----------------------------------------------------------
// Initialize values from the parameters passed through
// test suite instantiation (INSTANTIATE_TEST_SUITE_P).
//----------------------------------------------------------
// denotes whether x or conj(x) will be added to y:
char conj_x = std::get<0>(GetParam());
// vector length:
gtint_t n = std::get<1>(GetParam());
// stride size for x:
gtint_t incx = std::get<2>(GetParam());
// stride size for y:
gtint_t incy = std::get<3>(GetParam());
// index for exval in x
gtint_t xi = std::get<4>(GetParam());
// exval for x
T xexval = std::get<5>(GetParam());
// index for exval in y
gtint_t yj = std::get<6>(GetParam());
// exval for y
T yexval = std::get<7>(GetParam());
// Set the threshold for the errors:
double thresh = 20 * testinghelpers::getEpsilon<T>();
//----------------------------------------------------------
// Call generic test body using those parameters
//----------------------------------------------------------
test_subv<T>( conj_x, n, incx, incy, xi, xexval,
yj, yexval, thresh );
}
// Test-case logger : Used to print the test-case details when vectors have exception value.
// The string format is as follows :
// n(vec_size)_(conjx/noconjx)_incx(m)(abs_incx)_incy(m)(abs_incy)_X_(xi)_(xexval)_(yi)_(yexval)
class dsubvEVTPrint {
public:
std::string operator()(
testing::TestParamInfo<std::tuple<char, gtint_t, gtint_t, gtint_t, gtint_t, double, gtint_t, double>> str) const {
char conjx = std::get<0>(str.param);
gtint_t n = std::get<1>(str.param);
gtint_t incx = std::get<2>(str.param);
gtint_t incy = std::get<3>(str.param);
gtint_t xi = std::get<4>(str.param);
double xexval = std::get<5>(str.param);
gtint_t yj = std::get<6>(str.param);
double yexval = std::get<7>(str.param);
std::string str_name = "bli_";
str_name += "n_" + std::to_string(n);
str_name += ( conjx == 'n' )? "_noconjx" : "_conjx";
std::string incx_str = ( incx > 0) ? std::to_string(incx) : "m" + std::to_string(std::abs(incx));
str_name += "_incx_" + incx_str;
std::string incy_str = ( incy > 0) ? std::to_string(incy) : "m" + std::to_string(std::abs(incy));
str_name += "_incy_" + incy_str;
std::string xexval_str = testinghelpers::get_value_string(xexval);
std::string yexval_str = testinghelpers::get_value_string(yexval);
str_name = str_name + "_X_" + std::to_string(xi);
str_name = str_name + "_" + xexval_str;
str_name = str_name + "_Y_" + std::to_string(yj);
str_name = str_name + "_" + yexval_str;
return str_name;
}
};
static double NaN = std::numeric_limits<double>::quiet_NaN();
static double Inf = std::numeric_limits<double>::infinity();
#ifdef TEST_BLIS_TYPED
// Exception value testing(on X vector alone) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecX_unitStrides,
dsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(NaN, -Inf, Inf),
// index on y
::testing::Values(gtint_t(0)),
// value on y
::testing::Values(double(0.0))
),
::dsubvEVTPrint()
);
// Exception value testing(on Y vector alone) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecY_unitStrides,
dsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// index on x
::testing::Values(gtint_t(0)),
// value on x
::testing::Values(double(0.0)),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(NaN, -Inf, Inf)
),
::dsubvEVTPrint()
);
// Exception value testing(on X and Y vectors) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecXY_unitStrides,
dsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(NaN, -Inf, Inf),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(NaN, -Inf, Inf)
),
::dsubvEVTPrint()
);
// Exception value testing(on X & Y vectors) with non-unit strides.
// The indices are such that we cover _vecX_, _vecY_ and _vecXY_ cases together.
INSTANTIATE_TEST_SUITE_P(
vecXY_nonUnitStrides,
dsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(50)),
// incx: stride of x vector.
::testing::Values(
gtint_t(3)),
// incy: stride of y vector.
::testing::Values(
gtint_t(5)),
// indices to set exception values on x
::testing::Values(gtint_t(1), gtint_t(27), gtint_t(49)),
// exception values to set on x
::testing::Values(NaN, -Inf, Inf, 0.0),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(26), gtint_t(49)),
// exception values to set on y
::testing::Values(NaN, -Inf, Inf, 0.0)
),
::dsubvEVTPrint()
);
#endif

View File

@@ -0,0 +1,252 @@
/*
BLIS
An object-based framework for developing high-performance BLAS-like
libraries.
Copyright (C) 2024, Advanced Micro Devices, Inc. All rights reserved.
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(s) of the copyright holder(s) 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
HOLDER 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 <gtest/gtest.h>
#include "test_subv.h"
class ssubvEVT :
public ::testing::TestWithParam<std::tuple<char, // x or conj(x)
gtint_t, // vector length
gtint_t, // stride size of x
gtint_t, // stride size of y
gtint_t, // xi, index for exval in x
float, // xexval
gtint_t, // yi, index for exval in y
float>> {}; // yexval
GTEST_ALLOW_UNINSTANTIATED_PARAMETERIZED_TEST(ssubvEVT);
TEST_P( ssubvEVT, NaNInfCheck )
{
using T = float;
//----------------------------------------------------------
// Initialize values from the parameters passed through
// test suite instantiation (INSTANTIATE_TEST_SUITE_P).
//----------------------------------------------------------
// denotes whether x or conj(x) will be added to y:
char conj_x = std::get<0>(GetParam());
// vector length:
gtint_t n = std::get<1>(GetParam());
// stride size for x:
gtint_t incx = std::get<2>(GetParam());
// stride size for y:
gtint_t incy = std::get<3>(GetParam());
// index for exval in x
gtint_t xi = std::get<4>(GetParam());
// exval for x
T xexval = std::get<5>(GetParam());
// index for exval in y
gtint_t yj = std::get<6>(GetParam());
// exval for y
T yexval = std::get<7>(GetParam());
// Set the threshold for the errors:
double thresh = 20 * testinghelpers::getEpsilon<T>();
//----------------------------------------------------------
// Call generic test body using those parameters
//----------------------------------------------------------
test_subv<T>( conj_x, n, incx, incy, xi, xexval,
yj, yexval, thresh );
}
// Test-case logger : Used to print the test-case details when vectors have exception value.
// The string format is as follows :
// n(vec_size)_(conjx/noconjx)_incx(m)(abs_incx)_incy(m)(abs_incy)_X_(xi)_(xexval)_(yi)_(yexval)
class ssubvEVTPrint {
public:
std::string operator()(
testing::TestParamInfo<std::tuple<char, gtint_t, gtint_t, gtint_t, gtint_t, float, gtint_t, float>> str) const {
char conjx = std::get<0>(str.param);
gtint_t n = std::get<1>(str.param);
gtint_t incx = std::get<2>(str.param);
gtint_t incy = std::get<3>(str.param);
gtint_t xi = std::get<4>(str.param);
float xexval = std::get<5>(str.param);
gtint_t yj = std::get<6>(str.param);
float yexval = std::get<7>(str.param);
std::string str_name = "bli_";
str_name += "n_" + std::to_string(n);
str_name += ( conjx == 'n' )? "_noconjx" : "_conjx";
std::string incx_str = ( incx > 0) ? std::to_string(incx) : "m" + std::to_string(std::abs(incx));
str_name += "_incx_" + incx_str;
std::string incy_str = ( incy > 0) ? std::to_string(incy) : "m" + std::to_string(std::abs(incy));
str_name += "_incy_" + incy_str;
std::string xexval_str = testinghelpers::get_value_string(xexval);
std::string yexval_str = testinghelpers::get_value_string(yexval);
str_name = str_name + "_X_" + std::to_string(xi);
str_name = str_name + "_" + xexval_str;
str_name = str_name + "_Y_" + std::to_string(yj);
str_name = str_name + "_" + yexval_str;
return str_name;
}
};
static float NaN = std::numeric_limits<double>::quiet_NaN();
static float Inf = std::numeric_limits<double>::infinity();
#ifdef TEST_BLIS_TYPED
// Exception value testing(on X vector alone) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecX_unitStrides,
ssubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(10)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(NaN, -Inf, Inf),
// index on y
::testing::Values(gtint_t(0)),
// value on y
::testing::Values(float(0.0))
),
::ssubvEVTPrint()
);
// Exception value testing(on Y vector alone) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecY_unitStrides,
ssubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// index on x
::testing::Values(gtint_t(0)),
// value on x
::testing::Values(float(0.0)),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(NaN, -Inf, Inf)
),
::ssubvEVTPrint()
);
// Exception value testing(on X and Y vectors) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecXY_unitStrides,
ssubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(NaN, -Inf, Inf),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(NaN, -Inf, Inf)
),
::ssubvEVTPrint()
);
// Exception value testing(on X & Y vectors) with non-unit stridesi.
// The indices are such that we cover _vecX_, _vecY_ and _vecXY_ cases together.
INSTANTIATE_TEST_SUITE_P(
vecXY_nonUnitStrides,
ssubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(50)),
// incx: stride of x vector.
::testing::Values(
gtint_t(3)),
// incy: stride of y vector.
::testing::Values(
gtint_t(5)),
// indices to set exception values on x
::testing::Values(gtint_t(1), gtint_t(27), gtint_t(49)),
// exception values to set on x
::testing::Values(NaN, -Inf, Inf, 0.0),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(26), gtint_t(49)),
// exception values to set on y
::testing::Values(NaN, -Inf, Inf, 0.0)
),
::ssubvEVTPrint()
);
#endif

View File

@@ -4,7 +4,7 @@
An object-based framework for developing high-performance BLAS-like
libraries.
Copyright (C) 2023, Advanced Micro Devices, Inc. All rights reserved.
Copyright (C) 2023 - 2024, Advanced Micro Devices, Inc. All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
@@ -68,3 +68,35 @@ void test_subv( char conjx, gtint_t n, gtint_t incx, gtint_t incy, double thresh
//----------------------------------------------------------
computediff<T>( n, y.data(), y_ref.data(), incy, thresh );
}
template<typename T>
static void test_subv( char conjx, gtint_t n, gtint_t incx, gtint_t incy,
gtint_t xi, T xexval, gtint_t yj, T yexval,
double thresh )
{
//----------------------------------------------------------
// Initialize vectors with random numbers.
//----------------------------------------------------------
std::vector<T> x = testinghelpers::get_random_vector<T>( -10, 10, n, incx );
std::vector<T> y = testinghelpers::get_random_vector<T>( -10, 10, n, incy );
// Update the value at index xi to an extreme value, x_exval.
if ( -1 < xi && xi < n ) x[xi * abs(incx)] = xexval;
else return;
// Update the value at index yi to an extreme value, y_exval.
if ( -1 < yj && yj < n ) y[yj * abs(incy)] = yexval;
else return;
//----------------------------------------------------------
// Call reference implementation to get ref results.
//----------------------------------------------------------
// Create a copy of y so that we can check reference results.
std::vector<T> y_ref(y);
testinghelpers::ref_subv<T>( conjx, n, x.data(), incx, y_ref.data(), incy );
//----------------------------------------------------------
// Call BLIS function.
//----------------------------------------------------------
subv<T>( conjx, n, x.data(), incx, y.data(), incy );
//----------------------------------------------------------
// Compute component-wise error.
//----------------------------------------------------------
computediff<T>( n, y.data(), y_ref.data(), incy, thresh, true );
}

View File

@@ -0,0 +1,270 @@
/*
BLIS
An object-based framework for developing high-performance BLAS-like
libraries.
Copyright (C) 2024, Advanced Micro Devices, Inc. All rights reserved.
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(s) of the copyright holder(s) 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
HOLDER 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 <gtest/gtest.h>
#include "test_subv.h"
class zsubvEVT :
public ::testing::TestWithParam<std::tuple<char, // x or conj(x)
gtint_t, // vector length
gtint_t, // stride size of x
gtint_t, // stride size of y
gtint_t, // xi, index for exval in x
dcomplex, // xexval
gtint_t, // yi, index for exval in y
dcomplex>> {}; // yexval
GTEST_ALLOW_UNINSTANTIATED_PARAMETERIZED_TEST(zsubvEVT);
TEST_P( zsubvEVT, NaNInfCheck )
{
using T = dcomplex;
//----------------------------------------------------------
// Initialize values from the parameters passed through
// test suite instantiation (INSTANTIATE_TEST_SUITE_P).
//----------------------------------------------------------
// denotes whether x or conj(x) will be added to y:
char conj_x = std::get<0>(GetParam());
// vector length:
gtint_t n = std::get<1>(GetParam());
// stride size for x:
gtint_t incx = std::get<2>(GetParam());
// stride size for y:
gtint_t incy = std::get<3>(GetParam());
// index for exval in x
gtint_t xi = std::get<4>(GetParam());
// exval for x
T xexval = std::get<5>(GetParam());
// index for exval in y
gtint_t yj = std::get<6>(GetParam());
// exval for y
T yexval = std::get<7>(GetParam());
// Set the threshold for the errors:
double thresh = 20 * testinghelpers::getEpsilon<T>();
//----------------------------------------------------------
// Call generic test body using those parameters
//----------------------------------------------------------
test_subv<T>( conj_x, n, incx, incy, xi, xexval,
yj, yexval, thresh );
}
// Test-case logger : Used to print the test-case details when vectors have exception value.
// The string format is as follows :
// n(vec_size)_(conjx/noconjx)_incx(m)(abs_incx)_incy(m)(abs_incy)_X_(xi)_(xexval)_(yi)_(yexval)
class zsubvEVTPrint {
public:
std::string operator()(
testing::TestParamInfo<std::tuple<char, gtint_t, gtint_t, gtint_t, gtint_t, dcomplex, gtint_t, dcomplex>> str) const {
char conjx = std::get<0>(str.param);
gtint_t n = std::get<1>(str.param);
gtint_t incx = std::get<2>(str.param);
gtint_t incy = std::get<3>(str.param);
gtint_t xi = std::get<4>(str.param);
dcomplex xexval = std::get<5>(str.param);
gtint_t yj = std::get<6>(str.param);
dcomplex yexval = std::get<7>(str.param);
std::string str_name = "bli_";
str_name += "n_" + std::to_string(n);
str_name += ( conjx == 'n' )? "_noconjx" : "_conjx";
std::string incx_str = ( incx > 0) ? std::to_string(incx) : "m" + std::to_string(std::abs(incx));
str_name += "_incx_" + incx_str;
std::string incy_str = ( incy > 0) ? std::to_string(incy) : "m" + std::to_string(std::abs(incy));
str_name += "_incy_" + incy_str;
std::string xexval_str = testinghelpers::get_value_string(xexval);
std::string yexval_str = testinghelpers::get_value_string(yexval);
str_name = str_name + "_X_" + std::to_string(xi);
str_name = str_name + "_" + xexval_str;
str_name = str_name + "_Y_" + std::to_string(yj);
str_name = str_name + "_" + yexval_str;
return str_name;
}
};
static double NaN = std::numeric_limits<double>::quiet_NaN();
static double Inf = std::numeric_limits<double>::infinity();
#ifdef TEST_BLIS_TYPED
// Exception value testing(on X vector alone) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecX_unitStrides,
zsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(dcomplex{NaN, 0.0}, dcomplex{-Inf, 0.0},
dcomplex{0.0, Inf}, dcomplex{-2.3, NaN},
dcomplex{4.5, -Inf}, dcomplex{NaN, Inf},
dcomplex{NaN, -Inf}),
// index on y
::testing::Values(gtint_t(0)),
// value on y
::testing::Values(dcomplex{0.0, 0.0})
),
::zsubvEVTPrint()
);
// Exception value testing(on Y vector alone) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecY_unitStrides,
zsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// index on x
::testing::Values(gtint_t(0)),
// value on x
::testing::Values(dcomplex{0.0, 0.0}),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(dcomplex{NaN, 0.0}, dcomplex{-Inf, 0.0},
dcomplex{0.0, Inf}, dcomplex{-2.3, NaN},
dcomplex{4.5, -Inf}, dcomplex{NaN, Inf},
dcomplex{NaN, -Inf})
),
::zsubvEVTPrint()
);
// Exception value testing(on X and Y vectors) with unit strides on zen3
INSTANTIATE_TEST_SUITE_P(
vecXY_unitStrides,
zsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(100)),
// incx: stride of x vector.
::testing::Values(
gtint_t(1)),
// incy: stride of y vector.
::testing::Values(
gtint_t(1)),
// indices to set exception values on x
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on x
::testing::Values(dcomplex{NaN, 0.0}, dcomplex{-Inf, 0.0},
dcomplex{0.0, Inf}, dcomplex{-2.3, NaN},
dcomplex{4.5, -Inf}, dcomplex{NaN, Inf},
dcomplex{NaN, -Inf}),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(2), gtint_t(7),
gtint_t(19), gtint_t(27), gtint_t(38),
gtint_t(69), gtint_t(99)),
// exception values to set on y
::testing::Values(dcomplex{NaN, 0.0}, dcomplex{-Inf, 0.0},
dcomplex{0.0, Inf}, dcomplex{-2.3, NaN},
dcomplex{4.5, -Inf}, dcomplex{NaN, Inf},
dcomplex{NaN, -Inf})
),
::zsubvEVTPrint()
);
// Exception value testing(on X & Y vectors) with non-unit strides.
// The indices are such that we cover _vecX_, _vecY_ and _vecXY_ cases together.
INSTANTIATE_TEST_SUITE_P(
vecXY_nonUnitStrides,
zsubvEVT,
::testing::Combine(
// n: use x, c: use conj(x)
::testing::Values('n','c'),
// n: size of vector.
// as we don't have BLIS vectorized kernels for subv,
// having fewer sizes or maybe a Range would be sufficient
// to ensure code coverage of the reference kernel.
::testing::Values(
gtint_t(50)),
// incx: stride of x vector.
::testing::Values(
gtint_t(3)),
// incy: stride of y vector.
::testing::Values(
gtint_t(5)),
// indices to set exception values on x
::testing::Values(gtint_t(1), gtint_t(27), gtint_t(49)),
// exception values to set on x
::testing::Values(dcomplex{NaN, 0.0}, dcomplex{-Inf, 0.0},
dcomplex{0.0, Inf}, dcomplex{-2.3, NaN},
dcomplex{4.5, -Inf}, dcomplex{NaN, Inf},
dcomplex{0.0, 0.0}, dcomplex{NaN, -Inf}),
// indices to set exception values on y
::testing::Values(gtint_t(0), gtint_t(26), gtint_t(49)),
// exception values to set on y
::testing::Values(dcomplex{NaN, 0.0}, dcomplex{-Inf, 0.0},
dcomplex{0.0, Inf}, dcomplex{-2.3, NaN},
dcomplex{4.5, -Inf}, dcomplex{NaN, Inf},
dcomplex{0.0, 0.0}, dcomplex{NaN, -Inf})
),
::zsubvEVTPrint()
);
#endif