107 lines · cpp
1//===-- Unittests for atan2f ----------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9#include "hdr/math_macros.h"10#include "src/__support/FPUtil/FPBits.h"11#include "src/math/atan2f.h"12#include "test/UnitTest/FPMatcher.h"13#include "test/UnitTest/Test.h"14 15using LlvmLibcAtan2fTest = LIBC_NAMESPACE::testing::FPTest<float>;16 17TEST_F(LlvmLibcAtan2fTest, SpecialNumbers) {18 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::atan2f(sNaN, sNaN),19 FE_INVALID);20 EXPECT_MATH_ERRNO(0);21 22 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::atan2f(sNaN, 1.0f),23 FE_INVALID);24 EXPECT_MATH_ERRNO(0);25 26 EXPECT_FP_EQ_WITH_EXCEPTION(aNaN, LIBC_NAMESPACE::atan2f(1.0f, sNaN),27 FE_INVALID);28 EXPECT_MATH_ERRNO(0);29 30 // TODO: Strengthen errno,exception checks and remove these assert macros31 // after new matchers/test fixtures are added see:32 // https://github.com/llvm/llvm-project/issues/90653.33 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);34 EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::atan2f(aNaN, zero));35 // TODO: Uncomment these checks later, RoundingMode affects running36 // tests in this way https://github.com/llvm/llvm-project/issues/90653.37 // EXPECT_FP_EXCEPTION(0);38 EXPECT_MATH_ERRNO(0);39 40 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);41 EXPECT_FP_EQ_ALL_ROUNDING(aNaN, LIBC_NAMESPACE::atan2f(1.0f, aNaN));42 // See above TODO43 // EXPECT_FP_EXCEPTION(0);44 EXPECT_MATH_ERRNO(0);45 46 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);47 EXPECT_FP_EQ_ALL_ROUNDING(0.0f, LIBC_NAMESPACE::atan2f(zero, zero));48 // See above TODO49 // EXPECT_FP_EXCEPTION(0);50 EXPECT_MATH_ERRNO(0);51 52 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);53 EXPECT_FP_EQ_ALL_ROUNDING(-0.0f, LIBC_NAMESPACE::atan2f(-0.0f, zero));54 // See above TODO55 // EXPECT_FP_EXCEPTION(0);56 EXPECT_MATH_ERRNO(0);57 58 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);59 EXPECT_FP_EQ_ALL_ROUNDING(0.0f, LIBC_NAMESPACE::atan2f(1.0f, inf));60 // See above TODO61 // EXPECT_FP_EXCEPTION(0);62 EXPECT_MATH_ERRNO(0);63 64 LIBC_NAMESPACE::fputil::clear_except(FE_ALL_EXCEPT);65 EXPECT_FP_EQ_ALL_ROUNDING(-0.0f, LIBC_NAMESPACE::atan2f(-1.0f, inf));66 // See above TODO67 // EXPECT_FP_EXCEPTION(0);68 EXPECT_MATH_ERRNO(0);69}70 71#ifdef LIBC_TEST_FTZ_DAZ72 73using namespace LIBC_NAMESPACE::testing;74 75TEST_F(LlvmLibcAtan2fTest, FTZMode) {76 ModifyMXCSR mxcsr(FTZ);77 78 EXPECT_FP_EQ(0x1.921fb6p-1f,79 LIBC_NAMESPACE::atan2f(min_denormal, min_denormal));80 EXPECT_FP_EQ(0x1.000002p-23f,81 LIBC_NAMESPACE::atan2f(min_denormal, max_denormal));82 EXPECT_FP_EQ(0x1.921fb4p0f,83 LIBC_NAMESPACE::atan2f(max_denormal, min_denormal));84 EXPECT_FP_EQ(0x1.921fb6p-1f,85 LIBC_NAMESPACE::atan2f(max_denormal, max_denormal));86}87 88TEST_F(LlvmLibcAtan2fTest, DAZMode) {89 ModifyMXCSR mxcsr(DAZ);90 91 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(min_denormal, min_denormal));92 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(min_denormal, max_denormal));93 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(max_denormal, min_denormal));94 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(max_denormal, max_denormal));95}96 97TEST_F(LlvmLibcAtan2fTest, FTZDAZMode) {98 ModifyMXCSR mxcsr(FTZ | DAZ);99 100 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(min_denormal, min_denormal));101 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(min_denormal, max_denormal));102 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(max_denormal, min_denormal));103 EXPECT_FP_EQ(0.0f, LIBC_NAMESPACE::atan2f(max_denormal, max_denormal));104}105 106#endif107