From ad4e337794aeb185ab58fef27ddee3ee4e81efe3 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 5 Nov 2002 21:51:34 +0000 Subject: [PATCH] Greatest common divisor. --- lib/ChangeLog | 5 ++++ lib/gcd.c | 82 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ lib/gcd.h | 33 ++++++++++++++++++++++++ 3 files changed, 120 insertions(+) create mode 100644 lib/gcd.c create mode 100644 lib/gcd.h diff --git a/lib/ChangeLog b/lib/ChangeLog index a3471c3fd..c5bc0d7e8 100644 --- a/lib/ChangeLog +++ b/lib/ChangeLog @@ -1,5 +1,10 @@ 2002-11-05 Bruno Haible + * gcd.h: New file, from gettext-0.11.5. + * gcd.c: New file, from gettext-0.11.5. + +2002-11-05 Bruno Haible + * error.c [!_LIBC]: Include gettext.h instead of . * getopt.c [!_LIBC]: Include gettext.h instead of . * obstack.c [!_LIBC]: Include gettext.h instead of . diff --git a/lib/gcd.c b/lib/gcd.c new file mode 100644 index 000000000..4d9e88f2d --- /dev/null +++ b/lib/gcd.c @@ -0,0 +1,82 @@ +/* Arithmetic. + Copyright (C) 2001 Free Software Foundation, Inc. + Written by Bruno Haible , 2001. + + 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. + + This program 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 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + +/* Specification. */ +#include "gcd.h" + +#include + +/* Return the greatest common divisor of a > 0 and b > 0. */ +unsigned int +gcd (a, b) + unsigned int a; + unsigned int 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, + and nearly always < 8. A sequence of a few subtractions and tests is + faster than a division. */ + /* Why not Euclid's algorithm? Because the two integers can be shifted by 1 + bit in a single instruction, and the algorithm uses fewer variables than + Euclid's algorithm. */ + + unsigned int 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; + else + goto odd_even; + } + else + { + if (b & c) + goto even_odd; + else + abort (); + } + + for (;;) + { + odd_odd: /* a/c and b/c both odd */ + if (a == b) + break; + if (a > b) + { + 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); + } + } + + /* a = b */ + return a; +} diff --git a/lib/gcd.h b/lib/gcd.h new file mode 100644 index 000000000..37ff21ea5 --- /dev/null +++ b/lib/gcd.h @@ -0,0 +1,33 @@ +/* Arithmetic. + Copyright (C) 2001 Free Software Foundation, Inc. + Written by Bruno Haible , 2001. + + 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. + + This program 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 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + +#ifndef _GCD_H +#define _GCD_H + +#ifndef PARAMS +# if __STDC__ || defined __GNUC__ || defined __SUNPRO_C || defined __cplusplus || __PROTOTYPES +# define PARAMS(args) args +# else +# define PARAMS(args) () +# endif +#endif + +/* Return the greatest common divisor of a > 0 and b > 0. */ +extern unsigned int gcd PARAMS ((unsigned int a, unsigned int b)); + +#endif /* _GCD_H */ -- 2.11.0