annotate lib/memcmp.c @ 17363:5a51fb7777a9

sys_select, sys_time: port 2013-01-30 Solaris 2.6 fix to Cygwin Problem reported by Marco Atzeri in <http://lists.gnu.org/archive/html/bug-gnulib/2013-03/msg00000.html>. * lib/sys_select.in.h [HAVE_SYS_SELECT_H && _CYGWIN_SYS_TIME_H]: Simply delegate to the system <sys/select.h> in this case too. Also, pay attention to _GL_SYS_SELECT_H_REDIRECT_FROM_SYS_TIME_H only if OSF/1, since otherwise Cygwin breaks, and it doesn't seem to be needed on Solaris either. * lib/sys_time.in.h [_CYGWIN_SYS_TIME_H]: Simply delgate to the system <sys/time.h> in this case.
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 19 Mar 2013 09:08:47 -0700
parents e542fd46ad6f
children 344018b6e5d7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
17249
e542fd46ad6f maint: update all copyright year number ranges
Eric Blake <eblake@redhat.com>
parents: 16235
diff changeset
1 /* Copyright (C) 1991, 1993, 1995, 1997-1998, 2003, 2006, 2009-2013 Free
12559
c2cbabec01dd update nearly all FSF copyright year lists to include 2010
Jim Meyering <meyering@redhat.com>
parents: 12518
diff changeset
2 Software Foundation, Inc.
4664
42147e1c0cee Remove K&R cruft.
Paul Eggert <eggert@cs.ucla.edu>
parents: 2934
diff changeset
3
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
4 Contributed by Torbjorn Granlund (tege@sics.se).
Jim Meyering <jim@meyering.net>
parents:
diff changeset
5
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
6 NOTE: The canonical source of this file is maintained with the GNU C Library.
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
7 Bugs can be reported to bug-glibc@prep.ai.mit.edu.
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
8
9309
bbbbbf4cd1c5 Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 7302
diff changeset
9 This program is free software: you can redistribute it and/or modify it
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
10 under the terms of the GNU General Public License as published by the
9309
bbbbbf4cd1c5 Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 7302
diff changeset
11 Free Software Foundation; either version 3 of the License, or any
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
12 later version.
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
13
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
14 This program is distributed in the hope that it will be useful,
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
17 GNU General Public License for more details.
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
18
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
19 You should have received a copy of the GNU General Public License
9309
bbbbbf4cd1c5 Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 7302
diff changeset
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
21
7302
8a1a9361108c * _fpending.c: Include <config.h> unconditionally, since we no
Paul Eggert <eggert@cs.ucla.edu>
parents: 6259
diff changeset
22 #ifndef _LIBC
6259
96c32553b4c6 Use a consistent style for including <config.h>.
Paul Eggert <eggert@cs.ucla.edu>
parents: 5848
diff changeset
23 # include <config.h>
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
24 #endif
Jim Meyering <jim@meyering.net>
parents:
diff changeset
25
4664
42147e1c0cee Remove K&R cruft.
Paul Eggert <eggert@cs.ucla.edu>
parents: 2934
diff changeset
26 #include <string.h>
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
27
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
28 #include <stdint.h>
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
29
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
30 #undef memcmp
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
31
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
32 #ifdef _LIBC
Jim Meyering <jim@meyering.net>
parents:
diff changeset
33
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
34 # include <memcopy.h>
2934
a409167942fd Update from libc.
Jim Meyering <jim@meyering.net>
parents: 2807
diff changeset
35 # include <endian.h>
a409167942fd Update from libc.
Jim Meyering <jim@meyering.net>
parents: 2807
diff changeset
36
a409167942fd Update from libc.
Jim Meyering <jim@meyering.net>
parents: 2807
diff changeset
37 # if __BYTE_ORDER == __BIG_ENDIAN
a409167942fd Update from libc.
Jim Meyering <jim@meyering.net>
parents: 2807
diff changeset
38 # define WORDS_BIGENDIAN
a409167942fd Update from libc.
Jim Meyering <jim@meyering.net>
parents: 2807
diff changeset
39 # endif
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
40
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
41 #else /* Not in the GNU C library. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
42
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
43 # include <sys/types.h>
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
44
Jim Meyering <jim@meyering.net>
parents:
diff changeset
45 /* Type to use for aligned memory operations.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
46 This should normally be the biggest type supported by a single load
Jim Meyering <jim@meyering.net>
parents:
diff changeset
47 and store. Must be an unsigned type. */
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
48 # define op_t unsigned long int
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
49 # define OPSIZ (sizeof(op_t))
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
50
Jim Meyering <jim@meyering.net>
parents:
diff changeset
51 /* Threshold value for when to enter the unrolled loops. */
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
52 # define OP_T_THRES 16
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
53
Jim Meyering <jim@meyering.net>
parents:
diff changeset
54 /* Type to use for unaligned operations. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
55 typedef unsigned char byte;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
56
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
57 # ifndef WORDS_BIGENDIAN
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
58 # define MERGE(w0, sh_1, w1, sh_2) (((w0) >> (sh_1)) | ((w1) << (sh_2)))
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
59 # else
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
60 # define MERGE(w0, sh_1, w1, sh_2) (((w0) << (sh_1)) | ((w1) >> (sh_2)))
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
61 # endif
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
62
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
63 #endif /* In the GNU C library. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
64
Jim Meyering <jim@meyering.net>
parents:
diff changeset
65 #ifdef WORDS_BIGENDIAN
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
66 # define CMP_LT_OR_GT(a, b) ((a) > (b) ? 1 : -1)
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
67 #else
12845
ad16dedc2e1d removing useless parentheses in cpp #define directives
Jim Meyering <meyering@redhat.com>
parents: 12559
diff changeset
68 # define CMP_LT_OR_GT(a, b) memcmp_bytes (a, b)
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
69 #endif
Jim Meyering <jim@meyering.net>
parents:
diff changeset
70
Jim Meyering <jim@meyering.net>
parents:
diff changeset
71 /* BE VERY CAREFUL IF YOU CHANGE THIS CODE! */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
72
Jim Meyering <jim@meyering.net>
parents:
diff changeset
73 /* The strategy of this memcmp is:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
74
Jim Meyering <jim@meyering.net>
parents:
diff changeset
75 1. Compare bytes until one of the block pointers is aligned.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
76
Jim Meyering <jim@meyering.net>
parents:
diff changeset
77 2. Compare using memcmp_common_alignment or
Jim Meyering <jim@meyering.net>
parents:
diff changeset
78 memcmp_not_common_alignment, regarding the alignment of the other
Jim Meyering <jim@meyering.net>
parents:
diff changeset
79 block after the initial byte operations. The maximum number of
Jim Meyering <jim@meyering.net>
parents:
diff changeset
80 full words (of type op_t) are compared in this way.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
81
Jim Meyering <jim@meyering.net>
parents:
diff changeset
82 3. Compare the few remaining bytes. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
83
Jim Meyering <jim@meyering.net>
parents:
diff changeset
84 #ifndef WORDS_BIGENDIAN
Jim Meyering <jim@meyering.net>
parents:
diff changeset
85 /* memcmp_bytes -- Compare A and B bytewise in the byte order of the machine.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
86 A and B are known to be different.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
87 This is needed only on little-endian machines. */
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
88
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
89 # ifdef __GNUC__
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
90 __inline
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
91 # endif
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
92 static int
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
93 memcmp_bytes (op_t a, op_t b)
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
94 {
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
95 const byte *srcp1 = (const byte *) &a;
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
96 const byte *srcp2 = (const byte *) &b;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
97 op_t a0, b0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
98
Jim Meyering <jim@meyering.net>
parents:
diff changeset
99 do
Jim Meyering <jim@meyering.net>
parents:
diff changeset
100 {
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
101 a0 = srcp1[0];
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
102 b0 = srcp2[0];
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
103 srcp1 += 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
104 srcp2 += 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
105 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
106 while (a0 == b0);
Jim Meyering <jim@meyering.net>
parents:
diff changeset
107 return a0 - b0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
108 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
109 #endif
Jim Meyering <jim@meyering.net>
parents:
diff changeset
110
16235
18a38c9615f0 In commentary, do not use ` to quote.
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
111 /* memcmp_common_alignment -- Compare blocks at SRCP1 and SRCP2 with LEN 'op_t'
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
112 objects (not LEN bytes!). Both SRCP1 and SRCP2 should be aligned for
16235
18a38c9615f0 In commentary, do not use ` to quote.
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
113 memory operations on 'op_t's. */
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
114 #ifdef __GNUC__
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
115 __inline
Jim Meyering <jim@meyering.net>
parents:
diff changeset
116 #endif
Jim Meyering <jim@meyering.net>
parents:
diff changeset
117 static int
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
118 memcmp_common_alignment (uintptr_t srcp1, uintptr_t srcp2, size_t len)
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
119 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
120 op_t a0, a1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
121 op_t b0, b1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
122
Jim Meyering <jim@meyering.net>
parents:
diff changeset
123 switch (len % 4)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
124 {
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
125 default: /* Avoid warning about uninitialized local variables. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
126 case 2:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
127 a0 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
128 b0 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
129 srcp1 -= 2 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
130 srcp2 -= 2 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
131 len += 2;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
132 goto do1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
133 case 3:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
134 a1 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
135 b1 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
136 srcp1 -= OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
137 srcp2 -= OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
138 len += 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
139 goto do2;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
140 case 0:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
141 if (OP_T_THRES <= 3 * OPSIZ && len == 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
142 return 0;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
143 a0 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
144 b0 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
145 goto do3;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
146 case 1:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
147 a1 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
148 b1 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
149 srcp1 += OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
150 srcp2 += OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
151 len -= 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
152 if (OP_T_THRES <= 3 * OPSIZ && len == 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
153 goto do0;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
154 /* Fall through. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
155 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
156
Jim Meyering <jim@meyering.net>
parents:
diff changeset
157 do
Jim Meyering <jim@meyering.net>
parents:
diff changeset
158 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
159 a0 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
160 b0 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
161 if (a1 != b1)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
162 return CMP_LT_OR_GT (a1, b1);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
163
Jim Meyering <jim@meyering.net>
parents:
diff changeset
164 do3:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
165 a1 = ((op_t *) srcp1)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
166 b1 = ((op_t *) srcp2)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
167 if (a0 != b0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
168 return CMP_LT_OR_GT (a0, b0);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
169
Jim Meyering <jim@meyering.net>
parents:
diff changeset
170 do2:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
171 a0 = ((op_t *) srcp1)[2];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
172 b0 = ((op_t *) srcp2)[2];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
173 if (a1 != b1)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
174 return CMP_LT_OR_GT (a1, b1);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
175
Jim Meyering <jim@meyering.net>
parents:
diff changeset
176 do1:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
177 a1 = ((op_t *) srcp1)[3];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
178 b1 = ((op_t *) srcp2)[3];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
179 if (a0 != b0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
180 return CMP_LT_OR_GT (a0, b0);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
181
Jim Meyering <jim@meyering.net>
parents:
diff changeset
182 srcp1 += 4 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
183 srcp2 += 4 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
184 len -= 4;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
185 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
186 while (len != 0);
Jim Meyering <jim@meyering.net>
parents:
diff changeset
187
Jim Meyering <jim@meyering.net>
parents:
diff changeset
188 /* This is the right position for do0. Please don't move
Jim Meyering <jim@meyering.net>
parents:
diff changeset
189 it into the loop. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
190 do0:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
191 if (a1 != b1)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
192 return CMP_LT_OR_GT (a1, b1);
Jim Meyering <jim@meyering.net>
parents:
diff changeset
193 return 0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
194 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
195
Jim Meyering <jim@meyering.net>
parents:
diff changeset
196 /* memcmp_not_common_alignment -- Compare blocks at SRCP1 and SRCP2 with LEN
16235
18a38c9615f0 In commentary, do not use ` to quote.
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
197 'op_t' objects (not LEN bytes!). SRCP2 should be aligned for memory
18a38c9615f0 In commentary, do not use ` to quote.
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
198 operations on 'op_t', but SRCP1 *should be unaligned*. */
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
199 #ifdef __GNUC__
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
200 __inline
Jim Meyering <jim@meyering.net>
parents:
diff changeset
201 #endif
Jim Meyering <jim@meyering.net>
parents:
diff changeset
202 static int
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
203 memcmp_not_common_alignment (uintptr_t srcp1, uintptr_t srcp2, size_t len)
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
204 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
205 op_t a0, a1, a2, a3;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
206 op_t b0, b1, b2, b3;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
207 op_t x;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
208 int shl, shr;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
209
Jim Meyering <jim@meyering.net>
parents:
diff changeset
210 /* Calculate how to shift a word read at the memory operation
Jim Meyering <jim@meyering.net>
parents:
diff changeset
211 aligned srcp1 to make it aligned for comparison. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
212
Jim Meyering <jim@meyering.net>
parents:
diff changeset
213 shl = 8 * (srcp1 % OPSIZ);
Jim Meyering <jim@meyering.net>
parents:
diff changeset
214 shr = 8 * OPSIZ - shl;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
215
16235
18a38c9615f0 In commentary, do not use ` to quote.
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
216 /* Make SRCP1 aligned by rounding it down to the beginning of the 'op_t'
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
217 it points in the middle of. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
218 srcp1 &= -OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
219
Jim Meyering <jim@meyering.net>
parents:
diff changeset
220 switch (len % 4)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
221 {
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
222 default: /* Avoid warning about uninitialized local variables. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
223 case 2:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
224 a1 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
225 a2 = ((op_t *) srcp1)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
226 b2 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
227 srcp1 -= 1 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
228 srcp2 -= 2 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
229 len += 2;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
230 goto do1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
231 case 3:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
232 a0 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
233 a1 = ((op_t *) srcp1)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
234 b1 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
235 srcp2 -= 1 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
236 len += 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
237 goto do2;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
238 case 0:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
239 if (OP_T_THRES <= 3 * OPSIZ && len == 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
240 return 0;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
241 a3 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
242 a0 = ((op_t *) srcp1)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
243 b0 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
244 srcp1 += 1 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
245 goto do3;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
246 case 1:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
247 a2 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
248 a3 = ((op_t *) srcp1)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
249 b3 = ((op_t *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
250 srcp1 += 2 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
251 srcp2 += 1 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
252 len -= 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
253 if (OP_T_THRES <= 3 * OPSIZ && len == 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
254 goto do0;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
255 /* Fall through. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
256 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
257
Jim Meyering <jim@meyering.net>
parents:
diff changeset
258 do
Jim Meyering <jim@meyering.net>
parents:
diff changeset
259 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
260 a0 = ((op_t *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
261 b0 = ((op_t *) srcp2)[0];
13051
094f6cfdb5c3 Minor formatting changes.
Bruno Haible <bruno@clisp.org>
parents: 12845
diff changeset
262 x = MERGE (a2, shl, a3, shr);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
263 if (x != b3)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
264 return CMP_LT_OR_GT (x, b3);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
265
Jim Meyering <jim@meyering.net>
parents:
diff changeset
266 do3:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
267 a1 = ((op_t *) srcp1)[1];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
268 b1 = ((op_t *) srcp2)[1];
13051
094f6cfdb5c3 Minor formatting changes.
Bruno Haible <bruno@clisp.org>
parents: 12845
diff changeset
269 x = MERGE (a3, shl, a0, shr);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
270 if (x != b0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
271 return CMP_LT_OR_GT (x, b0);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
272
Jim Meyering <jim@meyering.net>
parents:
diff changeset
273 do2:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
274 a2 = ((op_t *) srcp1)[2];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
275 b2 = ((op_t *) srcp2)[2];
13051
094f6cfdb5c3 Minor formatting changes.
Bruno Haible <bruno@clisp.org>
parents: 12845
diff changeset
276 x = MERGE (a0, shl, a1, shr);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
277 if (x != b1)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
278 return CMP_LT_OR_GT (x, b1);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
279
Jim Meyering <jim@meyering.net>
parents:
diff changeset
280 do1:
Jim Meyering <jim@meyering.net>
parents:
diff changeset
281 a3 = ((op_t *) srcp1)[3];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
282 b3 = ((op_t *) srcp2)[3];
13051
094f6cfdb5c3 Minor formatting changes.
Bruno Haible <bruno@clisp.org>
parents: 12845
diff changeset
283 x = MERGE (a1, shl, a2, shr);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
284 if (x != b2)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
285 return CMP_LT_OR_GT (x, b2);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
286
Jim Meyering <jim@meyering.net>
parents:
diff changeset
287 srcp1 += 4 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
288 srcp2 += 4 * OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
289 len -= 4;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
290 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
291 while (len != 0);
Jim Meyering <jim@meyering.net>
parents:
diff changeset
292
Jim Meyering <jim@meyering.net>
parents:
diff changeset
293 /* This is the right position for do0. Please don't move
Jim Meyering <jim@meyering.net>
parents:
diff changeset
294 it into the loop. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
295 do0:
13051
094f6cfdb5c3 Minor formatting changes.
Bruno Haible <bruno@clisp.org>
parents: 12845
diff changeset
296 x = MERGE (a2, shl, a3, shr);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
297 if (x != b3)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
298 return CMP_LT_OR_GT (x, b3);
Jim Meyering <jim@meyering.net>
parents:
diff changeset
299 return 0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
300 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
301
Jim Meyering <jim@meyering.net>
parents:
diff changeset
302 int
1557
38fd8f5d359d ansideclify
Jim Meyering <jim@meyering.net>
parents: 1292
diff changeset
303 rpl_memcmp (const void *s1, const void *s2, size_t len)
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
304 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
305 op_t a0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
306 op_t b0;
11106
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
307 uintptr_t srcp1 = (uintptr_t) s1;
1cc89f3c5e6b Fix use of integer types in memcmp.c.
Bruno Haible <bruno@clisp.org>
parents: 9309
diff changeset
308 uintptr_t srcp2 = (uintptr_t) s2;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
309 op_t res;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
310
Jim Meyering <jim@meyering.net>
parents:
diff changeset
311 if (len >= OP_T_THRES)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
312 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
313 /* There are at least some bytes to compare. No need to test
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
314 for LEN == 0 in this alignment loop. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
315 while (srcp2 % OPSIZ != 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
316 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
317 a0 = ((byte *) srcp1)[0];
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
318 b0 = ((byte *) srcp2)[0];
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
319 srcp1 += 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
320 srcp2 += 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
321 res = a0 - b0;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
322 if (res != 0)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
323 return res;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
324 len -= 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
325 }
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
326
16235
18a38c9615f0 In commentary, do not use ` to quote.
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
327 /* SRCP2 is now aligned for memory operations on 'op_t'.
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
328 SRCP1 alignment determines if we can do a simple,
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
329 aligned compare or need to shuffle bits. */
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
330
Jim Meyering <jim@meyering.net>
parents:
diff changeset
331 if (srcp1 % OPSIZ == 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
332 res = memcmp_common_alignment (srcp1, srcp2, len / OPSIZ);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
333 else
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
334 res = memcmp_not_common_alignment (srcp1, srcp2, len / OPSIZ);
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
335 if (res != 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
336 return res;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
337
Jim Meyering <jim@meyering.net>
parents:
diff changeset
338 /* Number of bytes remaining in the interval [0..OPSIZ-1]. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
339 srcp1 += len & -OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
340 srcp2 += len & -OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
341 len %= OPSIZ;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
342 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
343
Jim Meyering <jim@meyering.net>
parents:
diff changeset
344 /* There are just a few bytes to compare. Use byte memory operations. */
Jim Meyering <jim@meyering.net>
parents:
diff changeset
345 while (len != 0)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
346 {
Jim Meyering <jim@meyering.net>
parents:
diff changeset
347 a0 = ((byte *) srcp1)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
348 b0 = ((byte *) srcp2)[0];
Jim Meyering <jim@meyering.net>
parents:
diff changeset
349 srcp1 += 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
350 srcp2 += 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
351 res = a0 - b0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
352 if (res != 0)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 11106
diff changeset
353 return res;
387
Jim Meyering <jim@meyering.net>
parents:
diff changeset
354 len -= 1;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
355 }
Jim Meyering <jim@meyering.net>
parents:
diff changeset
356
Jim Meyering <jim@meyering.net>
parents:
diff changeset
357 return 0;
Jim Meyering <jim@meyering.net>
parents:
diff changeset
358 }
776
195a27e1bcd9 libitize
Jim Meyering <jim@meyering.net>
parents: 650
diff changeset
359
195a27e1bcd9 libitize
Jim Meyering <jim@meyering.net>
parents: 650
diff changeset
360 #ifdef weak_alias
1112
13d9cd0b3ac0 update from GNU libc
Jim Meyering <jim@meyering.net>
parents: 882
diff changeset
361 # undef bcmp
776
195a27e1bcd9 libitize
Jim Meyering <jim@meyering.net>
parents: 650
diff changeset
362 weak_alias (memcmp, bcmp)
195a27e1bcd9 libitize
Jim Meyering <jim@meyering.net>
parents: 650
diff changeset
363 #endif