Blame tests/t-sub.c

Packit 5c3484
/* Test sub_ddmmss.
Packit 5c3484
Packit 5c3484
Copyright 2004 Free Software Foundation, Inc.
Packit 5c3484
Packit 5c3484
This file is part of the GNU MP Library test suite.
Packit 5c3484
Packit 5c3484
The GNU MP Library test suite is free software; you can redistribute it
Packit 5c3484
and/or modify it under the terms of the GNU General Public License as
Packit 5c3484
published by the Free Software Foundation; either version 3 of the License,
Packit 5c3484
or (at your option) any later version.
Packit 5c3484
Packit 5c3484
The GNU MP Library test suite is distributed in the hope that it will be
Packit 5c3484
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 5c3484
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General
Packit 5c3484
Public License for more details.
Packit 5c3484
Packit 5c3484
You should have received a copy of the GNU General Public License along with
Packit 5c3484
the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
Packit 5c3484
Packit 5c3484
#include <stdio.h>
Packit 5c3484
#include <stdlib.h>
Packit 5c3484
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "longlong.h"
Packit 5c3484
#include "tests.h"
Packit 5c3484
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_data (void)
Packit 5c3484
{
Packit 5c3484
#define M  MP_LIMB_T_MAX
Packit 5c3484
Packit 5c3484
  static const struct {
Packit 5c3484
    mp_limb_t  want_dh,want_dl, mh,ml, sh,sl;
Packit 5c3484
  } data[] = {
Packit 5c3484
    { 0,0,  0,0,  0,0 },
Packit 5c3484
    { 0,0,  0,1,  0,1 },
Packit 5c3484
    { 0,0,  1,2,  1,2 },
Packit 5c3484
Packit 5c3484
    { 0,1,  0,2,  0,1 },
Packit 5c3484
    { 0,M,  1,0,  0,1 },
Packit 5c3484
    { M,M,  0,0,  0,1 },
Packit 5c3484
Packit 5c3484
    { M,M,  0,M-1,  0,M },
Packit 5c3484
    { 0,0,  0,M-1,  0,M-1 },
Packit 5c3484
    { 0,1,  0,M-1,  0,M-2 },
Packit 5c3484
  };
Packit 5c3484
  int  i;
Packit 5c3484
  mp_limb_t  got_dh, got_dl;
Packit 5c3484
Packit 5c3484
  for (i = 0; i < numberof (data); i++)
Packit 5c3484
    {
Packit 5c3484
      sub_ddmmss (got_dh,got_dl, data[i].mh,data[i].ml, data[i].sh,data[i].sl);
Packit 5c3484
      if (got_dh != data[i].want_dh || got_dl != data[i].want_dl)
Packit 5c3484
        {
Packit 5c3484
          printf ("check_data wrong at data[%d]\n", i);
Packit 5c3484
          mp_limb_trace ("  mh", data[i].mh);
Packit 5c3484
          mp_limb_trace ("  ml", data[i].ml);
Packit 5c3484
          mp_limb_trace ("  sh", data[i].sh);
Packit 5c3484
          mp_limb_trace ("  sl", data[i].sl);
Packit 5c3484
          mp_limb_trace ("  want dh", data[i].want_dh);
Packit 5c3484
          mp_limb_trace ("  want dl", data[i].want_dl);
Packit 5c3484
          mp_limb_trace ("  got dh ", got_dh);
Packit 5c3484
          mp_limb_trace ("  got dl ", got_dl);
Packit 5c3484
          abort ();
Packit 5c3484
        }
Packit 5c3484
    }
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_random (void)
Packit 5c3484
{
Packit 5c3484
  mp_limb_t  want_dh,want_dl, got_dh,got_dl, mh,ml, sh,sl;
Packit 5c3484
  int  i;
Packit 5c3484
Packit 5c3484
  for (i = 0; i < 20; i++)
Packit 5c3484
    {
Packit 5c3484
      mh = urandom ();
Packit 5c3484
      ml = urandom ();
Packit 5c3484
      sh = urandom ();
Packit 5c3484
      sl = urandom ();
Packit 5c3484
Packit 5c3484
      refmpn_sub_ddmmss (&want_dh,&want_dl, mh,ml, sh,sl);
Packit 5c3484
Packit 5c3484
      sub_ddmmss (got_dh,got_dl, mh,ml, sh,sl);
Packit 5c3484
Packit 5c3484
      if (got_dh != want_dh || got_dl != want_dl)
Packit 5c3484
        {
Packit 5c3484
          printf ("check_data wrong at data[%d]\n", i);
Packit 5c3484
          mp_limb_trace ("  mh", mh);
Packit 5c3484
          mp_limb_trace ("  ml", ml);
Packit 5c3484
          mp_limb_trace ("  sh", sh);
Packit 5c3484
          mp_limb_trace ("  sl", sl);
Packit 5c3484
          mp_limb_trace ("  want dh", want_dh);
Packit 5c3484
          mp_limb_trace ("  want dl", want_dl);
Packit 5c3484
          mp_limb_trace ("  got dh ", got_dh);
Packit 5c3484
          mp_limb_trace ("  got dl ", got_dl);
Packit 5c3484
          abort ();
Packit 5c3484
        }
Packit 5c3484
    }
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (void)
Packit 5c3484
{
Packit 5c3484
  tests_start ();
Packit 5c3484
  mp_trace_base = -16;
Packit 5c3484
Packit 5c3484
  check_data ();
Packit 5c3484
  check_random ();
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}