1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
//===-- Utility class to test countls -------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "test/UnitTest/Test.h"
#include "src/__support/fixed_point/fx_rep.h"
template <typename T> class CountlsTest : public LIBC_NAMESPACE::testing::Test {
using FXRep = LIBC_NAMESPACE::fixed_point::FXRep<T>;
static constexpr T zero = FXRep::ZERO();
static constexpr T max = FXRep::MAX();
static constexpr T min = FXRep::MIN();
static constexpr T one_half = FXRep::ONE_HALF();
static constexpr T one_fourth = FXRep::ONE_FOURTH();
static constexpr T eps = FXRep::EPS();
public:
typedef int (*CountlsFunc)(T);
void testSpecialNumbers(CountlsFunc func) {
constexpr bool is_signed = (FXRep::SIGN_LEN > 0);
EXPECT_EQ(FXRep::INTEGRAL_LEN, func(one_half));
EXPECT_EQ(FXRep::INTEGRAL_LEN + 1, func(one_fourth));
EXPECT_EQ(FXRep::VALUE_LEN, func(zero));
EXPECT_EQ(FXRep::VALUE_LEN - 1, func(eps));
EXPECT_EQ(0, func(max));
// If signed, left shifting the minimum value will overflow, so countls = 0.
// If unsigned, the minimum value is zero, so countls is the number of value
// bits according to ISO/IEC TR 18037.
EXPECT_EQ(is_signed ? 0 : FXRep::VALUE_LEN, func(min));
if (10 <= static_cast<int>(max))
EXPECT_EQ(FXRep::INTEGRAL_LEN - 4, func(10));
if (static_cast<int>(min) <= -10)
EXPECT_EQ(FXRep::INTEGRAL_LEN - 4, func(-10));
if constexpr (is_signed) {
EXPECT_EQ(FXRep::VALUE_LEN, func(-zero));
EXPECT_EQ(FXRep::VALUE_LEN, func(-eps));
EXPECT_EQ(FXRep::INTEGRAL_LEN + 1, func(-one_half));
if (FXRep::FRACTION_LEN >= 2)
EXPECT_EQ(FXRep::INTEGRAL_LEN + 2, func(-one_fourth));
}
}
};
#define LIST_COUNTLS_TESTS(T, func) \
using LlvmLibcCountlsTest = CountlsTest<T>; \
TEST_F(LlvmLibcCountlsTest, SpecialNumbers) { testSpecialNumbers(&func); } \
static_assert(true, "Require semicolon.")
|
