1b342d18aSSchrodinger ZHU Yifan //===-- unit tests for linux's timeout utilities --------------------------===//
2b342d18aSSchrodinger ZHU Yifan //
3b342d18aSSchrodinger ZHU Yifan // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4b342d18aSSchrodinger ZHU Yifan // See https://llvm.org/LICENSE.txt for license information.
5b342d18aSSchrodinger ZHU Yifan // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6b342d18aSSchrodinger ZHU Yifan //
7b342d18aSSchrodinger ZHU Yifan //===----------------------------------------------------------------------===//
8b342d18aSSchrodinger ZHU Yifan
9b342d18aSSchrodinger ZHU Yifan #include "src/__support/CPP/expected.h"
10b342d18aSSchrodinger ZHU Yifan #include "src/__support/time/linux/abs_timeout.h"
11b342d18aSSchrodinger ZHU Yifan #include "src/__support/time/linux/monotonicity.h"
12b342d18aSSchrodinger ZHU Yifan #include "test/UnitTest/Test.h"
13b342d18aSSchrodinger ZHU Yifan
14b342d18aSSchrodinger ZHU Yifan template <class T, class E>
15b342d18aSSchrodinger ZHU Yifan using expected = LIBC_NAMESPACE::cpp::expected<T, E>;
16b342d18aSSchrodinger ZHU Yifan using AbsTimeout = LIBC_NAMESPACE::internal::AbsTimeout;
17b342d18aSSchrodinger ZHU Yifan
TEST(LlvmLibcSupportLinuxTimeoutTest,NegativeSecond)18b342d18aSSchrodinger ZHU Yifan TEST(LlvmLibcSupportLinuxTimeoutTest, NegativeSecond) {
19b342d18aSSchrodinger ZHU Yifan timespec ts = {-1, 0};
20b342d18aSSchrodinger ZHU Yifan expected<AbsTimeout, AbsTimeout::Error> result =
21b342d18aSSchrodinger ZHU Yifan AbsTimeout::from_timespec(ts, false);
22b342d18aSSchrodinger ZHU Yifan ASSERT_FALSE(result.has_value());
23b342d18aSSchrodinger ZHU Yifan ASSERT_EQ(result.error(), AbsTimeout::Error::BeforeEpoch);
24b342d18aSSchrodinger ZHU Yifan }
TEST(LlvmLibcSupportLinuxTimeoutTest,OverflowNano)25b342d18aSSchrodinger ZHU Yifan TEST(LlvmLibcSupportLinuxTimeoutTest, OverflowNano) {
26b342d18aSSchrodinger ZHU Yifan using namespace LIBC_NAMESPACE::time_units;
27b342d18aSSchrodinger ZHU Yifan timespec ts = {0, 2_s_ns};
28b342d18aSSchrodinger ZHU Yifan expected<AbsTimeout, AbsTimeout::Error> result =
29b342d18aSSchrodinger ZHU Yifan AbsTimeout::from_timespec(ts, false);
30b342d18aSSchrodinger ZHU Yifan ASSERT_FALSE(result.has_value());
31b342d18aSSchrodinger ZHU Yifan ASSERT_EQ(result.error(), AbsTimeout::Error::Invalid);
32b342d18aSSchrodinger ZHU Yifan }
TEST(LlvmLibcSupportLinuxTimeoutTest,UnderflowNano)33b342d18aSSchrodinger ZHU Yifan TEST(LlvmLibcSupportLinuxTimeoutTest, UnderflowNano) {
34b342d18aSSchrodinger ZHU Yifan timespec ts = {0, -1};
35b342d18aSSchrodinger ZHU Yifan expected<AbsTimeout, AbsTimeout::Error> result =
36b342d18aSSchrodinger ZHU Yifan AbsTimeout::from_timespec(ts, false);
37b342d18aSSchrodinger ZHU Yifan ASSERT_FALSE(result.has_value());
38b342d18aSSchrodinger ZHU Yifan ASSERT_EQ(result.error(), AbsTimeout::Error::Invalid);
39b342d18aSSchrodinger ZHU Yifan }
TEST(LlvmLibcSupportLinuxTimeoutTest,NoChangeIfClockIsMonotonic)40b342d18aSSchrodinger ZHU Yifan TEST(LlvmLibcSupportLinuxTimeoutTest, NoChangeIfClockIsMonotonic) {
41b342d18aSSchrodinger ZHU Yifan timespec ts = {10000, 0};
42b342d18aSSchrodinger ZHU Yifan expected<AbsTimeout, AbsTimeout::Error> result =
43b342d18aSSchrodinger ZHU Yifan AbsTimeout::from_timespec(ts, false);
44b342d18aSSchrodinger ZHU Yifan ASSERT_TRUE(result.has_value());
45b342d18aSSchrodinger ZHU Yifan ensure_monotonicity(*result);
46b342d18aSSchrodinger ZHU Yifan ASSERT_FALSE(result->is_realtime());
47b342d18aSSchrodinger ZHU Yifan ASSERT_EQ(result->get_timespec().tv_sec, static_cast<time_t>(10000));
48*8bb4294bSMikhail R. Gadelha ASSERT_EQ(result->get_timespec().tv_nsec, static_cast<long int>(0));
49b342d18aSSchrodinger ZHU Yifan }
TEST(LlvmLibcSupportLinuxTimeoutTest,ValidAfterConversion)50b342d18aSSchrodinger ZHU Yifan TEST(LlvmLibcSupportLinuxTimeoutTest, ValidAfterConversion) {
51b342d18aSSchrodinger ZHU Yifan timespec ts;
52b342d18aSSchrodinger ZHU Yifan LIBC_NAMESPACE::internal::clock_gettime(CLOCK_REALTIME, &ts);
53b342d18aSSchrodinger ZHU Yifan expected<AbsTimeout, AbsTimeout::Error> result =
54b342d18aSSchrodinger ZHU Yifan AbsTimeout::from_timespec(ts, true);
55b342d18aSSchrodinger ZHU Yifan ASSERT_TRUE(result.has_value());
56b342d18aSSchrodinger ZHU Yifan ensure_monotonicity(*result);
57b342d18aSSchrodinger ZHU Yifan ASSERT_FALSE(result->is_realtime());
58b342d18aSSchrodinger ZHU Yifan ASSERT_TRUE(
59b342d18aSSchrodinger ZHU Yifan AbsTimeout::from_timespec(result->get_timespec(), false).has_value());
60b342d18aSSchrodinger ZHU Yifan }
61