/* * Copyright (c) 2021, Ben Wiederhake * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: * * 1. Redistributions of source code must retain the above copyright notice, this * list of conditions and the following disclaimer. * * 2. 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. * * 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 #include #include #define EXPECT_TIME(t, s, ns) \ do { \ auto ts = (t).to_timespec(); \ EXPECT_EQ(ts.tv_sec, (s)); \ EXPECT_EQ(ts.tv_nsec, (ns)); \ } while (0) TEST_CASE(is_sane) { auto t0 = Time::from_seconds(0); auto t2 = Time::from_seconds(2); auto t5 = Time::from_seconds(5); auto tn3 = Time::from_seconds(-3); EXPECT(t0 == t0); EXPECT(t2 == t2); EXPECT(t5 == t5); EXPECT(t0 != t2); EXPECT(t2 != tn3); EXPECT(t2 != t5); EXPECT_TIME(t0, 0, 0); EXPECT_TIME(t2, 2, 0); EXPECT_TIME(t5, 5, 0); EXPECT_TIME(t2 + t5, 7, 0); EXPECT_TIME(tn3 + t2, -1, 0); EXPECT_TIME(tn3 + t5, 2, 0); } TEST_CASE(limits) { EXPECT_TIME(Time::min(), (i64)-0x8000'0000'0000'0000, 0); EXPECT_TIME(Time::max(), 0x7fff'ffff'ffff'ffff, 999'999'999); } TEST_CASE(seconds_parsing) { EXPECT_TIME(Time::from_seconds(0), 0, 0); EXPECT_TIME(Time::from_seconds(42), 42, 0); EXPECT_TIME(Time::from_seconds(-1), -1, 0); // "6.4.4.1.5: The type of an integer constant is the first of the corresponding list in which its value can be represented." // In the case of "0x8000'0000", the list is "int, unsigned int, …", and unsigned int (u32) matches. // Then the unary minus: On unsigned 32-bit integers, -0x8000'0000 == 0x8000'0000, which only then is made signed again. // So we would pass a medium-large *positive* number to 'from_seconds', which is not what we want to test here. // That's why this is the only place that needs an "LL" suffix. EXPECT_TIME(Time::from_seconds(-0x8000'0000LL), -0x8000'0000LL, 0); EXPECT_TIME(Time::from_seconds(-0x8000'0000'0000'0000), (i64)-0x8000'0000'0000'0000, 0); EXPECT_TIME(Time::from_seconds(0x7fff'ffff'ffff'ffff), 0x7fff'ffff'ffff'ffff, 0); } TEST_CASE(timespec_parsing) { EXPECT_TIME(Time::from_timespec(timespec { 2, 4 }), 2, 4); EXPECT_TIME(Time::from_timespec(timespec { 1234, 5678 }), 1234, 5678); EXPECT_TIME(Time::from_timespec(timespec { 0, 1'000'000'000 }), 1, 0); EXPECT_TIME(Time::from_timespec(timespec { 8, 2'000'000'000 }), 10, 0); EXPECT_TIME(Time::from_timespec(timespec { 0, 2'147'483'647 }), 2, 147'483'647); EXPECT_TIME(Time::from_timespec(timespec { 1, -1 }), 0, 999'999'999); EXPECT_TIME(Time::from_timespec(timespec { 0, -1 }), -1, 999'999'999); EXPECT_TIME(Time::from_timespec(timespec { -1, 0 }), -1, 0); EXPECT_TIME(Time::from_timespec(timespec { -1, 1'000'000'001 }), 0, 1); EXPECT_TIME(Time::from_timespec(timespec { -2, 2'000'000'003 }), 0, 3); EXPECT_TIME(Time::from_timespec(timespec { -2, 1'999'999'999 }), -1, 999'999'999); EXPECT_TIME(Time::from_timespec(timespec { 0x7fff'ffff'ffff'fffe, 999'999'998 }), 0x7fff'ffff'ffff'fffe, 999'999'998); EXPECT_TIME(Time::from_timespec(timespec { 0x7fff'ffff'ffff'fffe, 1'999'999'998 }), 0x7fff'ffff'ffff'ffff, 999'999'998); EXPECT_TIME(Time::from_timespec(timespec { 0x7fff'ffff'ffff'fffe, 1'999'999'999 }), 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_TIME(Time::from_timespec(timespec { 0x7fff'ffff'ffff'fffe, 2'000'000'000 }), 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_TIME(Time::from_timespec(timespec { -0x7fff'ffff'ffff'fffe, -1 }), -0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_TIME(Time::from_timespec(timespec { -0x7fff'ffff'ffff'fffe, -999'999'999 }), -0x7fff'ffff'ffff'ffff, 1); EXPECT_TIME(Time::from_timespec(timespec { -0x7fff'ffff'ffff'fffe, -1'999'999'999 }), (i64)-0x8000'0000'0000'0000, 1); EXPECT_TIME(Time::from_timespec(timespec { -0x7fff'ffff'ffff'fffe, -2'000'000'000 }), (i64)-0x8000'0000'0000'0000, 0); EXPECT_TIME(Time::from_timespec(timespec { -0x7fff'ffff'ffff'fffe, -2'000'000'001 }), (i64)-0x8000'0000'0000'0000, 0); } TEST_CASE(timeval_parsing) { EXPECT_TIME(Time::from_timeval(timeval { 2, 4 }), 2, 4'000); EXPECT_TIME(Time::from_timeval(timeval { 1234, 5'678 }), 1234, 5'678'000); EXPECT_TIME(Time::from_timeval(timeval { -123, -45'678 }), -124, 954'322'000); EXPECT_TIME(Time::from_timeval(timeval { 0, 1'000'000 }), 1, 0); EXPECT_TIME(Time::from_timeval(timeval { 0, 1'000'000'000 }), 1'000, 0); EXPECT_TIME(Time::from_timeval(timeval { 8, 2'000'000 }), 10, 0); EXPECT_TIME(Time::from_timeval(timeval { 0, 2'147'483'647 }), 2'147, 483'647'000); EXPECT_TIME(Time::from_timeval(timeval { 1, -1 }), 0, 999'999'000); EXPECT_TIME(Time::from_timeval(timeval { 0, -1 }), -1, 999'999'000); EXPECT_TIME(Time::from_timeval(timeval { -1, 0 }), -1, 0); EXPECT_TIME(Time::from_timeval(timeval { -1, 1'000'001 }), 0, 1'000); EXPECT_TIME(Time::from_timeval(timeval { -2, 2'000'003 }), 0, 3'000); EXPECT_TIME(Time::from_timeval(timeval { -2, 1'999'999 }), -1, 999'999'000); EXPECT_TIME(Time::from_timeval(timeval { 0x7fff'ffff'ffff'fffe, 999'998 }), 0x7fff'ffff'ffff'fffe, 999'998'000); EXPECT_TIME(Time::from_timeval(timeval { 0x7fff'ffff'ffff'fffe, 1'999'998 }), 0x7fff'ffff'ffff'ffff, 999'998'000); EXPECT_TIME(Time::from_timeval(timeval { 0x7fff'ffff'ffff'fffe, 1'999'999 }), 0x7fff'ffff'ffff'ffff, 999'999'000); EXPECT_TIME(Time::from_timeval(timeval { 0x7fff'ffff'ffff'fffe, 2'000'000 }), 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_TIME(Time::from_timeval(timeval { -0x7fff'ffff'ffff'fffe, -1 }), -0x7fff'ffff'ffff'ffff, 999'999'000); EXPECT_TIME(Time::from_timeval(timeval { -0x7fff'ffff'ffff'fffe, -999'999 }), -0x7fff'ffff'ffff'ffff, 1'000); EXPECT_TIME(Time::from_timeval(timeval { -0x7fff'ffff'ffff'fffe, -1'999'999 }), (i64)-0x8000'0000'0000'0000, 1'000); EXPECT_TIME(Time::from_timeval(timeval { -0x7fff'ffff'ffff'fffe, -2'000'000 }), (i64)-0x8000'0000'0000'0000, 0); EXPECT_TIME(Time::from_timeval(timeval { -0x7fff'ffff'ffff'fffe, -2'000'001 }), (i64)-0x8000'0000'0000'0000, 0); } #define TIME(s, ns) \ Time::from_timespec(timespec { (s), (ns) }) TEST_CASE(addition) { #define EXPECT_ADDITION(s1, ns1, s2, ns2, sr, nsr) \ EXPECT_TIME(TIME(s1, ns1) + TIME(s2, ns2), sr, nsr); \ EXPECT_TIME(TIME(s2, ns2) + TIME(s1, ns1), sr, nsr); EXPECT_ADDITION(11, 123'456'789, 22, 900'000'000, 34, 23'456'789); EXPECT_ADDITION(0, 0, 9223372036854775807LL, 999'999'998, 0x7fff'ffff'ffff'ffff, 999'999'998); EXPECT_ADDITION(0, 1, 9223372036854775807LL, 999'999'998, 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_ADDITION(0, 2, 9223372036854775807LL, 999'999'998, 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_ADDITION(0x80, 40, 0x7fff'ffff'ffff'ff7f, 999'999'958, 0x7fff'ffff'ffff'ffff, 999'999'998); EXPECT_ADDITION(0x80, 41, 0x7fff'ffff'ffff'ff7f, 999'999'958, 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_ADDITION(0x80, 42, 0x7fff'ffff'ffff'ff7f, 999'999'958, 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_ADDITION(-2, 5, -3, 7, -5, 12); EXPECT_ADDITION(-2, 999'999'995, -3, 999'999'997, -4, 999'999'992); EXPECT_ADDITION(-0x7fff'ffff'ffff'ffff, 999'999'995, -1, 6, -0x7fff'ffff'ffff'ffff, 1); EXPECT_ADDITION(-0x7fff'ffff'ffff'ffff, 999'999'995, -2, 6, (i64)-0x8000'0000'0000'0000, 1); EXPECT_ADDITION(-0x7fff'ffff'ffff'ffff, 999'999'995, -2, 5, (i64)-0x8000'0000'0000'0000, 0); EXPECT_ADDITION(-0x7fff'ffff'ffff'ffff, 999'999'995, -2, 4, (i64)-0x8000'0000'0000'0000, 0); EXPECT_ADDITION((i64)-0x8000'0000'0000'0000, 999'999'995, 0x7fff'ffff'ffff'ffff, 4, -1, 999'999'999); EXPECT_ADDITION((i64)-0x8000'0000'0000'0000, 999'999'995, 0x7fff'ffff'ffff'ffff, 5, 0, 0); EXPECT_ADDITION((i64)-0x8000'0000'0000'0000, 999'999'995, 0x7fff'ffff'ffff'ffff, 6, 0, 1); #undef EXPECT_ADDITION } TEST_CASE(subtraction) { #define EXPECT_SUBTRACTION(s1, ns1, s2, ns2, sr, nsr) \ EXPECT_TIME(TIME(s1, ns1) - TIME(s2, ns2), sr, nsr); EXPECT_SUBTRACTION(5, 0, 3, 0, 2, 0); EXPECT_SUBTRACTION(0, 0, 0, 0, 0, 0); EXPECT_SUBTRACTION(0, 5, 0, 3, 0, 2); EXPECT_SUBTRACTION(0x7fff'ffff'ffff'ffff, 999'999'999, 8, 123, 0x7fff'ffff'ffff'fff7, 999'999'876); EXPECT_SUBTRACTION(1, 0, 0, 999'999'999, 0, 1); EXPECT_SUBTRACTION(0x7fff'ffff'ffff'ffff, 0, 1, 999'999'999, 0x7fff'ffff'ffff'fffd, 1); EXPECT_SUBTRACTION(3, 0, 5, 0, -2, 0); EXPECT_SUBTRACTION(0, 3, 0, 5, -1, 999'999'998); EXPECT_SUBTRACTION(0, 0, 0x7fff'ffff'ffff'ffff, 999'999'999, (i64)-0x8000'0000'0000'0000, 1); EXPECT_SUBTRACTION(0, 0, (i64)-0x8000'0000'0000'0000, 0, 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_SUBTRACTION(-1, 999'999'999, (i64)-0x8000'0000'0000'0000, 0, 0x7fff'ffff'ffff'ffff, 999'999'999); EXPECT_SUBTRACTION(-1, 999'999'998, (i64)-0x8000'0000'0000'0000, 0, 0x7fff'ffff'ffff'ffff, 999'999'998); EXPECT_SUBTRACTION(123, 456, 123, 455, 0, 1); EXPECT_SUBTRACTION(123, 456, 123, 456, 0, 0); EXPECT_SUBTRACTION(123, 456, 123, 457, -1, 999'999'999); EXPECT_SUBTRACTION(124, 456, 123, 455, 1, 1); EXPECT_SUBTRACTION(124, 456, 123, 456, 1, 0); EXPECT_SUBTRACTION(124, 456, 123, 457, 0, 999'999'999); EXPECT_SUBTRACTION(-0x7fff'ffff'ffff'ffff, 999'999'995, 1, 999'999'994, (i64)-0x8000'0000'0000'0000, 1); EXPECT_SUBTRACTION(-0x7fff'ffff'ffff'ffff, 999'999'995, 1, 999'999'995, (i64)-0x8000'0000'0000'0000, 0); EXPECT_SUBTRACTION(-0x7fff'ffff'ffff'ffff, 999'999'995, 1, 999'999'996, (i64)-0x8000'0000'0000'0000, 0); } TEST_MAIN(Time)