annotate tests/test-ffsl.c @ 17593:d1e383af69e2

manywarnings: remove -Wmudflap * m4/manywarnings.m4 (gl_MANYWARN_ALL_GCC): Remove -Wmudflap, since it is no longer supported in gcc-4.9-to-be.
author Jim Meyering <meyering@fb.com>
date Thu, 02 Jan 2014 16:55:04 -0800
parents 344018b6e5d7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
1 /*
17587
344018b6e5d7 maint: update copyright
Eric Blake <eblake@redhat.com>
parents: 17249
diff changeset
2 * Copyright (C) 2011-2014 Free Software Foundation, Inc.
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
3 *
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
4 * This program is free software: you can redistribute it and/or modify
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
5 * it under the terms of the GNU General Public License as published by
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
6 * the Free Software Foundation; either version 3 of the License, or
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
7 * (at your option) any later version.
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
8 *
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
9 * This program is distributed in the hope that it will be useful,
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
12 * GNU General Public License for more details.
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
13 *
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
14 * You should have received a copy of the GNU General Public License
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
15 * along with this program. If not, see <http://www.gnu.org/licenses/>. */
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
16
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
17 /* Written by Eric Blake. */
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
18 #include <config.h>
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
19
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
20 #include <string.h>
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
21
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
22 #include "signature.h"
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
23 SIGNATURE_CHECK (ffsl, int, (long int));
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
24
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
25 #include <limits.h>
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
26
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
27 #include "macros.h"
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
28
15429
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
29 #define NBITS (sizeof (long int) * CHAR_BIT)
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
30
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
31 static int
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
32 naive (long int i)
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
33 {
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
34 unsigned long int j;
15429
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
35 for (j = 0; j < NBITS; j++)
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
36 if (i & (1UL << j))
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
37 return j + 1;
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
38 return 0;
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
39 }
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
40
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
41 int
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
42 main (int argc, char *argv[])
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
43 {
15429
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
44 long int x;
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
45 int i;
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
46
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
47 for (i = -128; i <= 128; i++)
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
48 ASSERT (ffsl (i) == naive (i));
15429
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
49 for (i = 0; i < NBITS; i++)
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
50 {
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
51 ASSERT (ffsl (1UL << i) == naive (1UL << i));
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
52 ASSERT (ffsl (1UL << i) == i + 1);
15429
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
53 ASSERT (ffsl (-1UL << i) == i + 1);
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
54 }
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
55 for (i = 0; i < NBITS - 1; i++)
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
56 {
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
57 ASSERT (ffsl (3UL << i) == i + 1);
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
58 ASSERT (ffsl (-3UL << i) == i + 1);
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
59 }
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
60 for (i = 0; i < NBITS - 2; i++)
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
61 {
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
62 ASSERT (ffsl (5UL << i) == i + 1);
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
63 ASSERT (ffsl (-5UL << i) == i + 1);
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
64 ASSERT (ffsl (7UL << i) == i + 1);
cb1d00b41a66 ffs: More tests.
Bruno Haible <bruno@clisp.org>
parents: 15428
diff changeset
65 ASSERT (ffsl (-7UL << i) == i + 1);
15428
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
66 }
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
67 return 0;
4e3a37b1ceae ffsl, ffsll: new modules
Eric Blake <eblake@redhat.com>
parents:
diff changeset
68 }