tests/test-bitrotate.c

   1 /* Test of <bitrotate.h> substitute.
   2    Copyright (C) 2007-2008 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 Simon Josefsson <simon@josefsson.org>, 2008.  */
  18
  19 #include <config.h>
  20
  21 #include "bitrotate.h"
  22
  23 #include <stdio.h>
  24 #include <stdlib.h>
  25
  26 #define ASSERT(expr)                                                    \
  27   do                                                                    \
  28     {                                                                   \
  29       if (!(expr))                                                      \
  30         {                                                               \
  31           fprintf (stderr, "%s:%d: assertion failed\n",                 \
  32                    __FILE__, __LINE__);                                 \
  33           fflush (stderr);                                              \
  34           abort ();                                                     \
  35         }                                                               \
  36     }                                                                   \
  37   while (0)
  38
  39 int
  40 main (void)
  41 {
  42   ASSERT (rotl16 (43981, 1) == 22427);
  43   ASSERT (rotl16 (43981, 2) == 44854);
  44   ASSERT (rotl16 (43981, 3) == 24173);
  45   ASSERT (rotl16 (43981, 4) == 48346);
  46   ASSERT (rotl16 (43981, 5) == 31157);
  47   ASSERT (rotl16 (43981, 6) == 62314);
  48   ASSERT (rotl16 (43981, 7) == 59093);
  49   ASSERT (rotl16 (43981, 8) == 52651);
  50   ASSERT (rotl16 (43981, 9) == 39767);
  51   ASSERT (rotl16 (43981, 10) == 13999);
  52   ASSERT (rotl16 (43981, 11) == 27998);
  53   ASSERT (rotl16 (43981, 12) == 55996);
  54   ASSERT (rotl16 (43981, 13) == 46457);
  55   ASSERT (rotl16 (43981, 14) == 27379);
  56   ASSERT (rotl16 (43981, 15) == 54758);
  57
  58   ASSERT (rotl32 (2309737967U, 1) == 324508639U);
  59   ASSERT (rotl32 (2309737967U, 2) == 649017278U);
  60   ASSERT (rotl32 (2309737967U, 3) == 1298034556U);
  61   ASSERT (rotl32 (2309737967U, 4) == 2596069112U);
  62   ASSERT (rotl32 (2309737967U, 5) == 897170929U);
  63   ASSERT (rotl32 (2309737967U, 6) == 1794341858U);
  64   ASSERT (rotl32 (2309737967U, 7) == 3588683716U);
  65   ASSERT (rotl32 (2309737967U, 8) == 2882400137U);
  66   ASSERT (rotl32 (2309737967U, 9) == 1469832979U);
  67   ASSERT (rotl32 (2309737967U, 10) == 2939665958U);
  68   ASSERT (rotl32 (2309737967U, 11) == 1584364621U);
  69   ASSERT (rotl32 (2309737967U, 12) == 3168729242U);
  70   ASSERT (rotl32 (2309737967U, 13) == 2042491189U);
  71   ASSERT (rotl32 (2309737967U, 14) == 4084982378U);
  72   ASSERT (rotl32 (2309737967U, 15) == 3874997461U);
  73   ASSERT (rotl32 (2309737967U, 16) == 3455027627U);
  74   ASSERT (rotl32 (2309737967U, 17) == 2615087959U);
  75   ASSERT (rotl32 (2309737967U, 18) == 935208623U);
  76   ASSERT (rotl32 (2309737967U, 19) == 1870417246U);
  77   ASSERT (rotl32 (2309737967U, 20) == 3740834492U);
  78   ASSERT (rotl32 (2309737967U, 21) == 3186701689U);
  79   ASSERT (rotl32 (2309737967U, 22) == 2078436083U);
  80   ASSERT (rotl32 (2309737967U, 23) == 4156872166U);
  81   ASSERT (rotl32 (2309737967U, 24) == 4018777037U);
  82   ASSERT (rotl32 (2309737967U, 25) == 3742586779U);
  83   ASSERT (rotl32 (2309737967U, 26) == 3190206263U);
  84   ASSERT (rotl32 (2309737967U, 27) == 2085445231U);
  85   ASSERT (rotl32 (2309737967U, 28) == 4170890462U);
  86   ASSERT (rotl32 (2309737967U, 29) == 4046813629U);
  87   ASSERT (rotl32 (2309737967U, 30) == 3798659963U);
  88   ASSERT (rotl32 (2309737967U, 31) == 3302352631U);
  89
  90   return 0;
  91 }