* [PATCH 1/2] Fix _GL_CMP parenthesization typo
@ 2020-07-24 17:54 Paul Eggert
2020-07-24 17:54 ` [PATCH 2/2] Optimize a few more three-valued comparisons Paul Eggert
0 siblings, 1 reply; 2+ messages in thread
From: Paul Eggert @ 2020-07-24 17:54 UTC (permalink / raw
To: bug-gnulib; +Cc: Paul Eggert
* m4/gnulib-common.m4 (_GL_CMP): Properly parenthesize.
---
ChangeLog | 5 +++++
m4/gnulib-common.m4 | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 23e809982..01577c9bb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2020-07-24 Paul Eggert <eggert@cs.ucla.edu>
+
+ Fix _GL_CMP parenthesization typo
+ * m4/gnulib-common.m4 (_GL_CMP): Properly parenthesize.
+
2020-07-24 Bruno Haible <bruno@clisp.org>
dfa: Revert breaking gawk.
diff --git a/m4/gnulib-common.m4 b/m4/gnulib-common.m4
index ba4239188..dfd4a258e 100644
--- a/m4/gnulib-common.m4
+++ b/m4/gnulib-common.m4
@@ -305,7 +305,7 @@ AC_DEFUN([gl_COMMON_BODY], [
GCC versions up to GCC 9.
The better code (n1 > n2) - (n1 < n2) from Hacker's Delight § 2-9
avoids conditional jumps in all GCC versions >= 3.4. */
-#define _GL_CMP(n1, n2) ((n1) > (n2)) - ((n1) < (n2))
+#define _GL_CMP(n1, n2) (((n1) > (n2)) - ((n1) < (n2)))
])
dnl Hint which direction to take regarding cross-compilation guesses:
dnl When a user installs a program on a platform they are not intimately
--
2.25.4
^ permalink raw reply related [flat|nested] 2+ messages in thread
* [PATCH 2/2] Optimize a few more three-valued comparisons
2020-07-24 17:54 [PATCH 1/2] Fix _GL_CMP parenthesization typo Paul Eggert
@ 2020-07-24 17:54 ` Paul Eggert
0 siblings, 0 replies; 2+ messages in thread
From: Paul Eggert @ 2020-07-24 17:54 UTC (permalink / raw
To: bug-gnulib; +Cc: Paul Eggert
* lib/timespec.h (timespec_cmp, timespec_sign):
* lib/utimecmp.c (utimecmpat):
Avoid conditional branches by using _GL_CMP.
---
ChangeLog | 5 +++++
lib/timespec.h | 40 +++-------------------------------------
lib/utimecmp.c | 6 ++----
3 files changed, 10 insertions(+), 41 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 01577c9bb..b922dca63 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
2020-07-24 Paul Eggert <eggert@cs.ucla.edu>
+ Optimize a few more three-valued comparisons
+ * lib/timespec.h (timespec_cmp, timespec_sign):
+ * lib/utimecmp.c (utimecmpat):
+ Avoid conditional branches by using _GL_CMP.
+
Fix _GL_CMP parenthesization typo
* m4/gnulib-common.m4 (_GL_CMP): Properly parenthesize.
diff --git a/lib/timespec.h b/lib/timespec.h
index 02684ce6e..f88f1e47a 100644
--- a/lib/timespec.h
+++ b/lib/timespec.h
@@ -59,46 +59,12 @@ make_timespec (time_t s, long int ns)
return r;
}
-/* Return negative, zero, positive if A < B, A == B, A > B, respectively.
-
- For each timestamp T, this code assumes that either:
-
- * T.tv_nsec is in the range 0..999999999; or
- * T.tv_sec corresponds to a valid leap second on a host that supports
- leap seconds, and T.tv_nsec is in the range 1000000000..1999999999; or
- * T.tv_sec is the minimum time_t value and T.tv_nsec is -1; or
- T.tv_sec is the maximum time_t value and T.tv_nsec is 2000000000.
- This allows for special struct timespec values that are less or
- greater than all possible valid timestamps.
-
- In all these cases, it is safe to subtract two tv_nsec values and
- convert the result to integer without worrying about overflow on
- any platform of interest to the GNU project, since all such
- platforms have 32-bit int or wider.
-
- Replacing "a.tv_nsec - b.tv_nsec" with something like
- "a.tv_nsec < b.tv_nsec ? -1 : a.tv_nsec > b.tv_nsec" would cause
- this function to work in some cases where the above assumption is
- violated, but not in all cases (e.g., a.tv_sec==1, a.tv_nsec==-2,
- b.tv_sec==0, b.tv_nsec==999999999) and is arguably not worth the
- extra instructions. Using a subtraction has the advantage of
- detecting some invalid cases on platforms that detect integer
- overflow. */
+/* Return negative, zero, positive if A < B, A == B, A > B, respectively. */
_GL_TIMESPEC_INLINE int _GL_ATTRIBUTE_PURE
timespec_cmp (struct timespec a, struct timespec b)
{
- if (a.tv_sec < b.tv_sec)
- return -1;
- if (a.tv_sec > b.tv_sec)
- return 1;
-
- /* Pacify gcc -Wstrict-overflow (bleeding-edge circa 2017-10-02). See:
- https://lists.gnu.org/r/bug-gnulib/2017-10/msg00006.html */
- assume (-1 <= a.tv_nsec && a.tv_nsec <= 2 * TIMESPEC_HZ);
- assume (-1 <= b.tv_nsec && b.tv_nsec <= 2 * TIMESPEC_HZ);
-
- return a.tv_nsec - b.tv_nsec;
+ return 2 * _GL_CMP (a.tv_sec, b.tv_sec) + _GL_CMP (a.tv_nsec, b.tv_nsec);
}
/* Return -1, 0, 1, depending on the sign of A. A.tv_nsec must be
@@ -106,7 +72,7 @@ timespec_cmp (struct timespec a, struct timespec b)
_GL_TIMESPEC_INLINE int _GL_ATTRIBUTE_PURE
timespec_sign (struct timespec a)
{
- return a.tv_sec < 0 ? -1 : a.tv_sec || a.tv_nsec;
+ return _GL_CMP (a.tv_sec, 0) + (!a.tv_sec & !!a.tv_nsec);
}
struct timespec timespec_add (struct timespec, struct timespec)
diff --git a/lib/utimecmp.c b/lib/utimecmp.c
index 600d76d90..341c68508 100644
--- a/lib/utimecmp.c
+++ b/lib/utimecmp.c
@@ -396,8 +396,6 @@ utimecmpat (int dfd, char const *dst_name,
}
/* Compare the timestamps and return -1, 0, 1 accordingly. */
- return (dst_s < src_s ? -1
- : dst_s > src_s ? 1
- : dst_ns < src_ns ? -1
- : dst_ns > src_ns);
+ return (_GL_CMP (dst_s, src_s)
+ + ((dst_s == src_s ? ~0 : 0) & _GL_CMP (dst_ns, src_ns)));
}
--
2.25.4
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-07-24 17:55 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-07-24 17:54 [PATCH 1/2] Fix _GL_CMP parenthesization typo Paul Eggert
2020-07-24 17:54 ` [PATCH 2/2] Optimize a few more three-valued comparisons Paul Eggert
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).