blob: ba2fd037752aadcfeff602385494824a2fb6ba88 [file] [log] [blame]
The Android Open Source Project1dc9e472009-03-03 19:28:35 -08001/*
2** This file is in the public domain, so clarified as of
3** 1996-06-05 by Arthur David Olson.
4*/
5
The Android Open Source Project1dc9e472009-03-03 19:28:35 -08006/*LINTLIBRARY*/
7
Elliott Hughese0d0b152013-09-27 00:04:30 -07008#include "private.h" /* for time_t and TYPE_SIGNED */
The Android Open Source Project1dc9e472009-03-03 19:28:35 -08009
Elliott Hughes9fb22a32015-10-07 17:13:40 -070010/* Return -X as a double. Using this avoids casting to 'double'. */
11static double
12dminus(double x)
13{
14 return -x;
15}
16
Elliott Hughesce4783c2013-07-12 17:31:11 -070017double ATTRIBUTE_CONST
Elliott Hughes9fb22a32015-10-07 17:13:40 -070018difftime(time_t time1, time_t time0)
The Android Open Source Project1dc9e472009-03-03 19:28:35 -080019{
Elliott Hughesce4783c2013-07-12 17:31:11 -070020 /*
Elliott Hughes9fb22a32015-10-07 17:13:40 -070021 ** If double is large enough, simply convert and subtract
Elliott Hughesce4783c2013-07-12 17:31:11 -070022 ** (assuming that the larger type has more precision).
23 */
Elliott Hughes9fb22a32015-10-07 17:13:40 -070024 if (sizeof (time_t) < sizeof (double)) {
25 double t1 = time1, t0 = time0;
26 return t1 - t0;
Elliott Hughesce4783c2013-07-12 17:31:11 -070027 }
Elliott Hughes9fb22a32015-10-07 17:13:40 -070028
29 /*
30 ** The difference of two unsigned values can't overflow
31 ** if the minuend is greater than or equal to the subtrahend.
32 */
33 if (!TYPE_SIGNED(time_t))
34 return time0 <= time1 ? time1 - time0 : dminus(time0 - time1);
35
36 /* Use uintmax_t if wide enough. */
37 if (sizeof (time_t) <= sizeof (uintmax_t)) {
38 uintmax_t t1 = time1, t0 = time0;
39 return time0 <= time1 ? t1 - t0 : dminus(t0 - t1);
40 }
41
Elliott Hughesce4783c2013-07-12 17:31:11 -070042 /*
Elliott Hughesce4783c2013-07-12 17:31:11 -070043 ** Handle cases where both time1 and time0 have the same sign
44 ** (meaning that their difference cannot overflow).
45 */
46 if ((time1 < 0) == (time0 < 0))
Elliott Hughes9fb22a32015-10-07 17:13:40 -070047 return time1 - time0;
48
Elliott Hughesce4783c2013-07-12 17:31:11 -070049 /*
Elliott Hughes9fb22a32015-10-07 17:13:40 -070050 ** The values have opposite signs and uintmax_t is too narrow.
Elliott Hughesce4783c2013-07-12 17:31:11 -070051 ** This suffers from double rounding; attempt to lessen that
52 ** by using long double temporaries.
53 */
Elliott Hughes9fb22a32015-10-07 17:13:40 -070054 {
55 long double t1 = time1, t0 = time0;
56 return t1 - t0;
57 }
The Android Open Source Project1dc9e472009-03-03 19:28:35 -080058}