comparison src/eval.c @ 5736:3192994c49ca

Convert C (un)signed long long values to bignums properly. This patch also does the following: - Uses make_fixnum instead of make_integer when the argument is guaranteed to be in the fixnum range. - Introduces make_unsigned_integer so that we handle unsigned values with the high bit set correctly. - Introduces conversions between bignums and (un)signed long long values. - Uses mp_set_memory_functions with the BSD MP code, if it exists. - Eliminates some unnecessary consing in the Lisp + and * implementations. - Fixes a problem with check_valid_xbm_inline(). This function is called during intialization. It calls Ftimes. When using pdump, this is a problem, because (a) the bignum code is not initialized until *after* dumping, so we don't try to dump any bignums, and (b) multiplication of integers is done inside bignums so we handle fixnum overflow correctly. I decided that an XBM file with dimensions that don't fit into fixnums is probably not something we want to try to handle anyway, and did the arithmetic with C values instead of Lisp values. Doing that broke one test, which started getting a different error message from the one it expected, so I adjusted the test to match the new reality. - Fixes a few miscellaneous bugs in the BSD MP code. See <CAHCOHQk0u0=eD1fUMHTNWi2Yh=1WgiYyCXdMbsGzHBNhdqYz4w@mail.gmail.com> in xemacs-patches, as well as followup messages.
author Jerry James <james@xemacs.org>
date Mon, 17 Jun 2013 10:23:00 -0600
parents 289cf21be887
children
comparison
equal deleted inserted replaced
5735:ff13c44ce0d9 5736:3192994c49ca
1574 { 1574 {
1575 /* Come back here each time we expand a macro call, 1575 /* Come back here each time we expand a macro call,
1576 in case it expands into another macro call. */ 1576 in case it expands into another macro call. */
1577 if (SYMBOLP (form)) 1577 if (SYMBOLP (form))
1578 { 1578 {
1579 Lisp_Object hashed = make_integer ((EMACS_INT) (LISP_HASH (form))); 1579 Lisp_Object hashed = make_unsigned_integer (LISP_HASH (form));
1580 Lisp_Object assocked; 1580 Lisp_Object assocked;
1581 1581
1582 if (BIGNUMP (hashed)) 1582 if (BIGNUMP (hashed))
1583 { 1583 {
1584 struct gcpro gcpro1; 1584 struct gcpro gcpro1;
7274 { 7274 {
7275 REGISTER struct backtrace *backlist = backtrace_list; 7275 REGISTER struct backtrace *backlist = backtrace_list;
7276 REGISTER int i; 7276 REGISTER int i;
7277 Lisp_Object tem; 7277 Lisp_Object tem;
7278 7278
7279 check_integer_range (nframes, Qzero, make_integer (MOST_POSITIVE_FIXNUM)); 7279 check_integer_range (nframes, Qzero, make_fixnum (MOST_POSITIVE_FIXNUM));
7280 7280
7281 /* Find the frame requested. */ 7281 /* Find the frame requested. */
7282 for (i = XFIXNUM (nframes); backlist && (i-- > 0);) 7282 for (i = XFIXNUM (nframes); backlist && (i-- > 0);)
7283 backlist = backlist->next; 7283 backlist = backlist->next;
7284 7284