tests/test-count-trailing-zeros.c

   1 /* Test counting of trailing zeros.
   2    Copyright (C) 2013 Free Software Foundation, Inc.
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  16
  17 /* Written by Paul Eggert.  */
  18
  19 #include <config.h>
  20
  21 #include "count-trailing-zeros.h"
  22
  23 #include <limits.h>
  24 #include <stdio.h>
  25
  26 #include "macros.h"
  27
  28 #define UINT_BIT (sizeof (unsigned int) * CHAR_BIT)
  29 #define ULONG_BIT (sizeof (unsigned long int) * CHAR_BIT)
  30 #define ULLONG_BIT (sizeof (unsigned long long int) * CHAR_BIT)
  31
  32 #ifndef ULLONG_MAX
  33 # define HALF (1ULL << (sizeof (unsigned long long int) * CHAR_BIT - 1))
  34 # define ULLONG_MAX (HALF - 1 + HALF)
  35 #endif
  36
  37 int
  38 main (int argc, char *argv[])
  39 {
  40   int i, j;
  41
  42 #define TEST_COUNT_TRAILING_ZEROS(FUNC, TYPE, BITS, MAX, ONE)   \
  43   ASSERT (FUNC (0) == BITS);                                    \
  44   for (i = 0; i < BITS; i++)                                    \
  45     {                                                           \
  46       ASSERT (FUNC (ONE << i) == i);                            \
  47       for (j = 0; j < i; j++)                                   \
  48         ASSERT (FUNC ((ONE << i) | (ONE << j)) == j);           \
  49     }                                                           \
  50   for (i = 0; i < 1000; i++)                                    \
  51     {                                                           \
  52       TYPE value = rand () ^ (rand () << 31 << 1);              \
  53       int count = 0;                                            \
  54       for (j = BITS - 1; 0 <= j; j--)                           \
  55         if (value & (ONE << j))                                 \
  56           count = j;                                            \
  57       ASSERT (count == FUNC (value));                           \
  58     }                                                           \
  59   ASSERT (FUNC (MAX) == 0);
  60
  61   TEST_COUNT_TRAILING_ZEROS (count_trailing_zeros, unsigned int,
  62                              UINT_BIT, UINT_MAX, 1U);
  63   TEST_COUNT_TRAILING_ZEROS (count_trailing_zeros_l, unsigned long int,
  64                              ULONG_BIT, ULONG_MAX, 1UL);
  65 #ifdef HAVE_UNSIGNED_LONG_LONG_INT
  66   TEST_COUNT_TRAILING_ZEROS (count_trailing_zeros_ll, unsigned long long int,
  67                              ULLONG_BIT, ULLONG_MAX, 1ULL);
  68 #endif
  69
  70   return 0;
  71 }