diff options
author | Kevin Ryde <user42@zip.com.au> | 2004-04-20 00:24:03 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2004-04-20 00:24:03 +0200 |
commit | d55ea80c801be1ab65081eb2916aca4914a1c8ab (patch) | |
tree | 8d3fec2cda4acabf5bcf0b62efe9b775e331036b /tests/t-hightomask.c | |
parent | 849dfd598907c9d92f099bb7386bb45561c5b84d (diff) | |
download | gmp-d55ea80c801be1ab65081eb2916aca4914a1c8ab.tar.gz |
* tests/t-hightomask.c: New file.
Diffstat (limited to 'tests/t-hightomask.c')
-rw-r--r-- | tests/t-hightomask.c | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/tests/t-hightomask.c b/tests/t-hightomask.c new file mode 100644 index 000000000..1b6a04618 --- /dev/null +++ b/tests/t-hightomask.c @@ -0,0 +1,45 @@ +/* Test LIMB_HIGHBIT_TO_MASK. + +Copyright 2004 Free Software Foundation, Inc. + +This file is part of the GNU MP Library. + +The GNU MP Library is free software; you can redistribute it and/or modify +it under the terms of the GNU Lesser General Public License as published by +the Free Software Foundation; either version 2.1 of the License, or (at your +option) any later version. + +The GNU MP Library is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY +or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public +License for more details. + +You should have received a copy of the GNU Lesser General Public License +along with the GNU MP Library; see the file COPYING.LIB. If not, write to +the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, +MA 02111-1307, USA. */ + +#include <stdio.h> +#include <stdlib.h> + +#include "gmp.h" +#include "gmp-impl.h" +#include "tests.h" + + +/* There's very little to these tests, but it's nice to have them since if + something has gone wrong with the arithmetic right shift business in + LIMB_HIGHBIT_TO_MASK then the only symptom is likely to be failures in + udiv_qrnnd_preinv, which would not be easy to diagnose. */ + +int +main (void) +{ + ASSERT_ALWAYS (LIMB_HIGHBIT_TO_MASK (0) == 0); + ASSERT_ALWAYS (LIMB_HIGHBIT_TO_MASK (GMP_LIMB_HIGHBIT) == MP_LIMB_T_MAX); + ASSERT_ALWAYS (LIMB_HIGHBIT_TO_MASK (MP_LIMB_T_MAX) == MP_LIMB_T_MAX); + ASSERT_ALWAYS (LIMB_HIGHBIT_TO_MASK (GMP_LIMB_HIGHBIT >> 1) == 0); + ASSERT_ALWAYS (LIMB_HIGHBIT_TO_MASK (MP_LIMB_T_MAX >> 1) == 0); + + exit (0); +} |