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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
//===-- Unittests for asinpif16 -------------------------------------------===//
//
// 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 "hdr/errno_macros.h"
#include "src/math/asinpif16.h"
#include "test/UnitTest/FPMatcher.h"
using LlvmLibcAsinpif16Test = LIBC_NAMESPACE::testing::FPTest<float16>;
TEST_F(LlvmLibcAsinpif16Test, SpecialNumbers) {
// zero
EXPECT_FP_EQ(zero, LIBC_NAMESPACE::asinpif16(zero));
// +/-1
EXPECT_FP_EQ(0.5f16, LIBC_NAMESPACE::asinpif16(1.0));
EXPECT_FP_EQ(-0.5f16, LIBC_NAMESPACE::asinpif16(-1.0));
// NaN inputs
EXPECT_FP_IS_NAN(LIBC_NAMESPACE::asinpif16(aNaN));
EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::asinpif16(sNaN), FE_INVALID);
EXPECT_MATH_ERRNO(0);
// infinity inputs -> should return NaN
EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::asinpif16(inf), FE_INVALID);
EXPECT_MATH_ERRNO(EDOM);
EXPECT_FP_IS_NAN_WITH_EXCEPTION(LIBC_NAMESPACE::asinpif16(neg_inf),
FE_INVALID);
EXPECT_MATH_ERRNO(EDOM);
}
TEST_F(LlvmLibcAsinpif16Test, OutOfRange) {
// Test values > 1
EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::asinpif16(1.5f16));
EXPECT_MATH_ERRNO(EDOM);
EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::asinpif16(2.0f16));
EXPECT_MATH_ERRNO(EDOM);
// Test values < -1
EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::asinpif16(-1.5f16));
EXPECT_MATH_ERRNO(EDOM);
EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::asinpif16(-2.0f16));
EXPECT_MATH_ERRNO(EDOM);
// Test maximum normal value (should be > 1 for float16)
EXPECT_FP_EQ(aNaN, LIBC_NAMESPACE::asinpif16(FPBits::max_normal().get_val()));
EXPECT_MATH_ERRNO(EDOM);
}
TEST_F(LlvmLibcAsinpif16Test, SymmetryProperty) {
// Test that asinpi(-x) = -asinpi(x)
constexpr float16 TEST_VALS[] = {0.1f16, 0.25f16, 0.5f16, 0.75f16,
0.9f16, 0.99f16, 1.0f16};
for (float16 x : TEST_VALS) {
FPBits neg_x_bits(x);
neg_x_bits.set_sign(Sign::NEG);
float16 neg_x = neg_x_bits.get_val();
float16 pos_result = LIBC_NAMESPACE::asinpif16(x);
float16 neg_result = LIBC_NAMESPACE::asinpif16(neg_x);
EXPECT_FP_EQ(pos_result, FPBits(neg_result).abs().get_val());
}
}
|
