test-suite/standalone/test-num2integral.c

   1 /* Copyright (C) 1999, 2000, 2001, 2003, 2004, 2006, 2008, 2010, 2011
   2  *   2012, 2014 Free Software Foundation, Inc.
   3  *
   4  * This library is free software; you can redistribute it and/or
   5  * modify it under the terms of the GNU Lesser General Public License
   6  * as published by the Free Software Foundation; either version 3 of
   7  * the License, or (at your option) any later version.
   8  *
   9  * This library is distributed in the hope that it will be useful, but
  10  * WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12  * Lesser General Public License for more details.
  13  *
  14  * You should have received a copy of the GNU Lesser General Public
  15  * License along with this library; if not, write to the Free Software
  16  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  17  * 02110-1301 USA
  18  */
  19
  20 #ifdef HAVE_CONFIG_H
  21 # include <config.h>
  22 #endif
  23
  24 #undef NDEBUG
  25
  26 #include <libguile.h>
  27
  28 #include <stdio.h>
  29 #include <assert.h>
  30 #include <limits.h>
  31
  32 SCM out_of_range_handler (void *data, SCM key, SCM args);
  33 SCM call_num2long_long_body (void *data);
  34 SCM call_num2ulong_long_body (void *data);
  35
  36 /* expect to catch an `out-of-range' exception */
  37 SCM
  38 out_of_range_handler (void *data, SCM key, SCM args)
  39 {
  40   assert (scm_is_eq (key, scm_from_locale_symbol ("out-of-range")));
  41   return SCM_BOOL_T;
  42 }
  43
  44 SCM
  45 call_num2long_long_body (void *data)
  46 {
  47   scm_to_long_long (* (SCM *) data);
  48   return SCM_BOOL_F;
  49 }
  50
  51 SCM
  52 call_num2ulong_long_body (void *data)
  53 {
  54   scm_to_ulong_long (* (SCM *) data);
  55   return SCM_BOOL_F;
  56 }
  57
  58 static void
  59 test_long_long ()
  60 {
  61   {
  62     SCM n = scm_from_long_long (LLONG_MIN);
  63     long long result = scm_to_long_long(n);
  64     assert (result == LLONG_MIN);
  65   }
  66
  67   /* LLONG_MIN - 1 */
  68   {
  69     SCM n = scm_difference (scm_from_long_long (LLONG_MIN), scm_from_int (1));
  70     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
  71                                      out_of_range_handler, NULL);
  72     assert (scm_is_true (caught));
  73   }
  74
  75   /* SCM_I_LLONG_MIN + SCM_I_LLONG_MIN/2 */
  76   {
  77     SCM n = scm_sum (scm_from_long_long (LLONG_MIN),
  78                      scm_from_long_long (LLONG_MIN / 2));
  79     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
  80                                      out_of_range_handler, NULL);
  81     assert (scm_is_true (caught));
  82   }
  83
  84   /* SCM_I_LLONG_MAX + 1 */
  85   {
  86     SCM n = scm_sum (scm_from_long_long (LLONG_MAX), scm_from_int (1));
  87     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
  88                                      out_of_range_handler, NULL);
  89     assert (scm_is_true (caught));
  90   }
  91
  92   /* 2^1024 */
  93   {
  94     SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
  95     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
  96                                      out_of_range_handler, NULL);
  97     assert (scm_is_true (caught));
  98   }
  99
 100   /* -2^1024 */
 101   {
 102     SCM n = scm_difference (scm_from_int (0),
 103                             scm_ash (scm_from_int (1), scm_from_int (1024)));
 104     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
 105                                      out_of_range_handler, NULL);
 106     assert (scm_is_true (caught));
 107   }
 108 }
 109
 110 static void
 111 test_ulong_long ()
 112 {
 113   {
 114     SCM n = scm_from_ulong_long (ULLONG_MAX);
 115     unsigned long long result = scm_to_ulong_long(n);
 116     assert (result == ULLONG_MAX);
 117   }
 118
 119   /* -1 */
 120   {
 121     SCM n = scm_from_int (-1);
 122     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
 123                                      out_of_range_handler, NULL);
 124     assert (scm_is_true (caught));
 125   }
 126
 127   /* SCM_I_ULLONG_MAX + 1 */
 128   {
 129     SCM n = scm_sum (scm_from_ulong_long (ULLONG_MAX), scm_from_int (1));
 130     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
 131                                      out_of_range_handler, NULL);
 132     assert (scm_is_true (caught));
 133   }
 134
 135   /* 2^1024 */
 136   {
 137     SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
 138     SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
 139                                      out_of_range_handler, NULL);
 140     assert (scm_is_true (caught));
 141   }
 142 }
 143
 144 static void
 145 tests (void *data, int argc, char **argv)
 146 {
 147   test_long_long ();
 148   test_ulong_long ();
 149 }
 150
 151 int
 152 main (int argc, char *argv[])
 153 {
 154   scm_boot_guile (argc, argv, tests, NULL);
 155   return 0;
 156 }