blob: e3b042214d1b7dddaa04b2b63898b037e21074d1 [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Florian Fainellid2829222009-06-17 16:28:38 -07002#include <linux/kernel.h>
3#include <linux/gcd.h>
Paul Gortmaker8bc3bcc2011-11-16 21:29:17 -05004#include <linux/export.h>
Florian Fainellid2829222009-06-17 16:28:38 -07005
Zhaoxiu Zengfff7fb02016-05-20 17:03:57 -07006/*
7 * This implements the binary GCD algorithm. (Often attributed to Stein,
8 * but as Knuth has noted, appears in a first-century Chinese math text.)
9 *
10 * This is faster than the division-based algorithm even on x86, which
11 * has decent hardware division.
12 */
13
Paul Burtond0894402018-11-08 23:44:56 +000014#if !defined(CONFIG_CPU_NO_EFFICIENT_FFS)
Zhaoxiu Zengfff7fb02016-05-20 17:03:57 -070015
16/* If __ffs is available, the even/odd algorithm benchmarks slower. */
Randy Dunlap341e9a32017-09-30 08:43:49 -070017
18/**
19 * gcd - calculate and return the greatest common divisor of 2 unsigned longs
20 * @a: first value
21 * @b: second value
22 */
Florian Fainellid2829222009-06-17 16:28:38 -070023unsigned long gcd(unsigned long a, unsigned long b)
24{
Zhaoxiu Zengfff7fb02016-05-20 17:03:57 -070025 unsigned long r = a | b;
Florian Fainellid2829222009-06-17 16:28:38 -070026
Zhaoxiu Zengfff7fb02016-05-20 17:03:57 -070027 if (!a || !b)
28 return r;
Davidlohr Buesoe9687562012-10-04 17:13:18 -070029
Zhaoxiu Zengfff7fb02016-05-20 17:03:57 -070030 b >>= __ffs(b);
31 if (b == 1)
32 return r & -r;
33
34 for (;;) {
35 a >>= __ffs(a);
36 if (a == 1)
37 return r & -r;
38 if (a == b)
39 return a << __ffs(r);
40
41 if (a < b)
42 swap(a, b);
43 a -= b;
Florian Fainellid2829222009-06-17 16:28:38 -070044 }
Florian Fainellid2829222009-06-17 16:28:38 -070045}
Zhaoxiu Zengfff7fb02016-05-20 17:03:57 -070046
47#else
48
49/* If normalization is done by loops, the even/odd algorithm is a win. */
50unsigned long gcd(unsigned long a, unsigned long b)
51{
52 unsigned long r = a | b;
53
54 if (!a || !b)
55 return r;
56
57 /* Isolate lsbit of r */
58 r &= -r;
59
60 while (!(b & r))
61 b >>= 1;
62 if (b == r)
63 return r;
64
65 for (;;) {
66 while (!(a & r))
67 a >>= 1;
68 if (a == r)
69 return r;
70 if (a == b)
71 return a;
72
73 if (a < b)
74 swap(a, b);
75 a -= b;
76 a >>= 1;
77 if (a & r)
78 a += b;
79 a >>= 1;
80 }
81}
82
83#endif
84
Florian Fainellid2829222009-06-17 16:28:38 -070085EXPORT_SYMBOL_GPL(gcd);