|
Packit |
33f14e |
/* Test timespec functions.
|
|
Packit |
33f14e |
Copyright 2015-2017 Free Software Foundation, Inc.
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
This program is free software: you can redistribute it and/or modify
|
|
Packit |
33f14e |
it under the terms of the GNU General Public License as published by
|
|
Packit |
33f14e |
the Free Software Foundation; either version 3 of the License, or
|
|
Packit |
33f14e |
(at your option) any later version.
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
This program is distributed in the hope that it will be useful,
|
|
Packit |
33f14e |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
33f14e |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
Packit |
33f14e |
GNU General Public License for more details.
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
You should have received a copy of the GNU General Public License
|
|
Packit |
33f14e |
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
/* Written by Paul Eggert. */
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
#include <config.h>
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
#include "timespec.h"
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
#include "intprops.h"
|
|
Packit |
33f14e |
#include "macros.h"
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
#include <stdbool.h>
|
|
Packit |
33f14e |
#include <limits.h>
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
static struct { int s; int ns; } const prototype[] =
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
{ INT_MIN, 0 },
|
|
Packit |
33f14e |
{ INT_MIN, 1 },
|
|
Packit |
33f14e |
{ INT_MIN, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ INT_MIN + 1, 0 },
|
|
Packit |
33f14e |
{ INT_MIN + 1, 1 },
|
|
Packit |
33f14e |
{ INT_MIN + 1, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ -1, 0 },
|
|
Packit |
33f14e |
{ -1, 1 },
|
|
Packit |
33f14e |
{ -1, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ 0, 0 },
|
|
Packit |
33f14e |
{ 0, 1 },
|
|
Packit |
33f14e |
{ 0, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ 1, 0 },
|
|
Packit |
33f14e |
{ 1, 1 },
|
|
Packit |
33f14e |
{ 1, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ 1234567890, 0 },
|
|
Packit |
33f14e |
{ 1234567890, 1 },
|
|
Packit |
33f14e |
{ 1234567890, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ INT_MAX - 1, 0 },
|
|
Packit |
33f14e |
{ INT_MAX - 1, 1 },
|
|
Packit |
33f14e |
{ INT_MAX - 1, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ INT_MAX, 0 },
|
|
Packit |
33f14e |
{ INT_MAX, 1 },
|
|
Packit |
33f14e |
{ INT_MAX, TIMESPEC_RESOLUTION - 1 },
|
|
Packit |
33f14e |
{ INT_MAX, 2 * TIMESPEC_RESOLUTION }
|
|
Packit |
33f14e |
};
|
|
Packit |
33f14e |
enum { nprototypes = sizeof prototype / sizeof *prototype };
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
static bool
|
|
Packit |
33f14e |
valid (struct timespec a)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
return 0 <= a.tv_nsec && a.tv_nsec < TIMESPEC_RESOLUTION;
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
static int
|
|
Packit |
33f14e |
sign (int i)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
return i < 0 ? -1 : 0 < i;
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
static int
|
|
Packit |
33f14e |
cmp (struct timespec a, struct timespec b)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
return sign (timespec_cmp (a, b));
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
static bool
|
|
Packit |
33f14e |
eq (struct timespec a, struct timespec b)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
return timespec_cmp (a, b) == 0;
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
static bool
|
|
Packit |
33f14e |
extremal (struct timespec a)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
return ((a.tv_sec == TYPE_MINIMUM (time_t) && a.tv_nsec == 0)
|
|
Packit |
33f14e |
|| (a.tv_sec == TYPE_MAXIMUM (time_t)
|
|
Packit |
33f14e |
&& a.tv_nsec == TIMESPEC_RESOLUTION - 1));
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
int
|
|
Packit |
33f14e |
main (void)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
int i, j, k;
|
|
Packit |
33f14e |
struct timespec test[nprototypes + 1];
|
|
Packit |
33f14e |
int ntests;
|
|
Packit |
33f14e |
int computed_resolution = 1;
|
|
Packit |
33f14e |
struct timespec prevroundtrip;
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
test[0] = make_timespec (TYPE_MINIMUM (time_t), -1);
|
|
Packit |
33f14e |
ntests = 1;
|
|
Packit |
33f14e |
for (i = 0; i < nprototypes; i++)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
int s = prototype[i].s;
|
|
Packit |
33f14e |
if (TYPE_SIGNED (time_t) || 0 <= s)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
time_t t = (s <= INT_MIN + 1 ? s - INT_MIN + TYPE_MINIMUM (time_t)
|
|
Packit |
33f14e |
: INT_MAX - 1 <= s ? s - INT_MAX + TYPE_MAXIMUM (time_t)
|
|
Packit |
33f14e |
: s);
|
|
Packit |
33f14e |
test[ntests++] = make_timespec (t, prototype[i].ns);
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
for (i = 0; i < LOG10_TIMESPEC_RESOLUTION; i++)
|
|
Packit |
33f14e |
computed_resolution *= 10;
|
|
Packit |
33f14e |
ASSERT (computed_resolution == TIMESPEC_RESOLUTION);
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
for (i = 0; i < ntests; i++)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
struct timespec a = test[i];
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
struct timespec roundtrip = dtotimespec (timespectod (a));
|
|
Packit |
33f14e |
if (i != 0)
|
|
Packit |
33f14e |
ASSERT (cmp (prevroundtrip, roundtrip) <= 0);
|
|
Packit |
33f14e |
prevroundtrip = roundtrip;
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
ASSERT (sign (timespec_sign (a)) == cmp (a, make_timespec (0, 0)));
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
if (valid (a))
|
|
Packit |
33f14e |
for (j = 0; j < ntests; j++)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
struct timespec b = test[j];
|
|
Packit |
33f14e |
if (valid (b))
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
struct timespec sum = timespec_add (a, b);
|
|
Packit |
33f14e |
struct timespec diff = timespec_sub (a, b);
|
|
Packit |
33f14e |
struct timespec rdiff = timespec_sub (b, a);
|
|
Packit |
33f14e |
ASSERT (cmp (a, b) == sign (i - j));
|
|
Packit |
33f14e |
ASSERT (eq (sum, timespec_add (b, a)));
|
|
Packit |
33f14e |
if (! extremal (sum))
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
ASSERT (eq (a, timespec_sub (sum, b)));
|
|
Packit |
33f14e |
ASSERT (eq (b, timespec_sub (sum, a)));
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
for (k = 0; k < ntests; k++)
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
struct timespec c = test[k];
|
|
Packit |
33f14e |
if (valid (c))
|
|
Packit |
33f14e |
{
|
|
Packit |
33f14e |
struct timespec sumbc = timespec_add (b, c);
|
|
Packit |
33f14e |
if (! extremal (sumbc))
|
|
Packit |
33f14e |
ASSERT (eq (timespec_add (a, sumbc),
|
|
Packit |
33f14e |
timespec_add (sum, c)));
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
if (! extremal (diff))
|
|
Packit |
33f14e |
ASSERT (eq (a, timespec_add (diff, b)));
|
|
Packit |
33f14e |
if (! extremal (rdiff))
|
|
Packit |
33f14e |
ASSERT (eq (b, timespec_add (rdiff, a)));
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
}
|
|
Packit |
33f14e |
|
|
Packit |
33f14e |
return 0;
|
|
Packit |
33f14e |
}
|