X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=lib%2Fgcd.c;h=5401fd65eec94e9dcb64947ad6d1a3d3724e4583;hb=b3c3b08eab509ef08c9303b05375088575f8cc1b;hp=9c46985545d119fa86b10e2908696b560279acba;hpb=267a39bafd249d7eb9c37df06dc6defcf41cb343;p=gnulib.git diff --git a/lib/gcd.c b/lib/gcd.c index 9c4698554..5401fd65e 100644 --- a/lib/gcd.c +++ b/lib/gcd.c @@ -1,11 +1,11 @@ /* Arithmetic. - Copyright (C) 2001-2002 Free Software Foundation, Inc. + Copyright (C) 2001-2002, 2006, 2009-2010 Free Software Foundation, Inc. Written by Bruno Haible , 2001. - This program is free software; you can redistribute it and/or modify + This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2, or (at your option) - any later version. + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -13,17 +13,24 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software Foundation, - Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ + along with this program. If not, see . */ +#include + +/* This file can also be used to define gcd functions for other unsigned + types, such as 'unsigned long long' or 'uintmax_t'. */ +#ifndef WORD_T /* Specification. */ -#include "gcd.h" +# include "gcd.h" +# define WORD_T unsigned long +# define GCD gcd +#endif #include /* Return the greatest common divisor of a > 0 and b > 0. */ -unsigned long -gcd (unsigned long a, unsigned long b) +WORD_T +GCD (WORD_T a, WORD_T b) { /* Why no division, as in Euclid's algorithm? Because in Euclid's algorithm the division result floor(a/b) or floor(b/a) is very often = 1 or = 2, @@ -33,46 +40,46 @@ gcd (unsigned long a, unsigned long b) bit in a single instruction, and the algorithm uses fewer variables than Euclid's algorithm. */ - unsigned long c = a | b; + WORD_T c = a | b; c = c ^ (c - 1); /* c = largest power of 2 that divides a and b. */ if (a & c) { if (b & c) - goto odd_odd; + goto odd_odd; else - goto odd_even; + goto odd_even; } else { if (b & c) - goto even_odd; + goto even_odd; else - abort (); + abort (); } for (;;) { odd_odd: /* a/c and b/c both odd */ if (a == b) - break; + break; if (a > b) - { - a = a - b; - even_odd: /* a/c even, b/c odd */ - do - a = a >> 1; - while ((a & c) == 0); - } + { + a = a - b; + even_odd: /* a/c even, b/c odd */ + do + a = a >> 1; + while ((a & c) == 0); + } else - { - b = b - a; - odd_even: /* a/c odd, b/c even */ - do - b = b >> 1; - while ((b & c) == 0); - } + { + b = b - a; + odd_even: /* a/c odd, b/c even */ + do + b = b >> 1; + while ((b & c) == 0); + } } /* a = b */