X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/a69a3efddbe1261f55e90d4ff477053ab80663a5..45c0fd363937c6e9b05da04a9167e9912c05ca0c:/mpint.h

diff --git a/mpint.h b/mpint.h
index 23378cd..dbf9065 100644
--- a/mpint.h
+++ b/mpint.h
@@ -7,7 +7,7 @@
  * (c) 1999 Straylight/Edgeware
  */
 
-/*----- Licensing notice --------------------------------------------------* 
+/*----- Licensing notice --------------------------------------------------*
  *
  * This file is part of Catacomb.
  *
@@ -15,12 +15,12 @@
  * it under the terms of the GNU Library General Public License as
  * published by the Free Software Foundation; either version 2 of the
  * License, or (at your option) any later version.
- * 
+ *
  * Catacomb 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 Library General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Library General Public
  * License along with Catacomb; if not, write to the Free
  * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
@@ -63,42 +63,33 @@
   MP_DEST(_d, _sz, 0);							\
   _d->f &= ~(MP_NEG | MP_UNDEF);					\
 									\
-  /* --- Set the sign on the MP --- *					\
-   *									\
-   * If the input integer is *not* negative, then negate it.  This	\
-   * fixes a problem with two's complement machines where the most	\
-   * negative value actually has larger magnitude than the most		\
-   * positive, and hence -TYPE_MIN == TYPE_MIN but TYPE_MIN != 0.  If	\
-   * all the work is carried out on negative numbers there isn't a	\
-   * problem.								\
-   */									\
-									\
-  if (_i >= 0)								\
-    _i = -_i;								\
-  else									\
+  if (_i >= 0) {							\
+    while (_i) {							\
+      if (_o == _sz) {							\
+	_sz <<= 1;							\
+	MP_ENSURE(_d, _sz);						\
+      }									\
+      _d->v[_o++] = MPW(_i);						\
+      if (_i <= MPW_MAX)						\
+	break;								\
+      else								\
+	_i /= (type)MPW_MAX + 1;					\
+    }									\
+  } else {								\
     _d->f |= MP_NEG;							\
-									\
-  while (_i) {								\
-    if (_o == _sz) {							\
-      _sz <<= 1;							\
-      MP_ENSURE(_d, _sz);						\
+    while (_i) {							\
+      if (_o == _sz) {							\
+	_sz <<= 1;							\
+	MP_ENSURE(_d, _sz);						\
+      }									\
+      _d->v[_o++] = MPW(-_i);						\
+      if (_i >= -MPW_MAX)						\
+	break;								\
+      else								\
+	_i /= (type)MPW_MAX + 1;					\
     }									\
-    _d->v[_o++] = MPW(-_i);						\
-									\
-    /* --- More subtlety --- *						\
-     *									\
-     * Ideally, I'd like to just shift @i@ right by @MPW_BITS@.  But I	\
-     * can't, because that might be more than I'm allowed.  I can't	\
-     * divide by @MPW_MAX + 1@ because that might turn out to be zero	\
-     * in my current type, and besides which it's unsigned which messes	\
-     * up all of my negative arithmetic.  So do an explicit test here.	\
-     */									\
-									\
-    if (_i >= -MPW_MAX)							\
-      break;								\
-    else								\
-      _i /= (type)MPW_MAX + 1;						\
   }									\
+									\
   _d->vl = _d->v + _o;							\
   (d) = _d;								\
 } while (0)