Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 1 | // Copyright 2009 The Go Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style |
| 3 | // license that can be found in the LICENSE file. |
| 4 | |
| 5 | // This file contains operations on unsigned multi-precision integers. |
| 6 | // These are the building blocks for the operations on signed integers |
| 7 | // and rationals. |
| 8 | |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 9 | // This package implements multi-precision arithmetic (big numbers). |
Robert Griesemer | 08a209f | 2009-08-26 12:55:54 -0700 | [diff] [blame] | 10 | // The following numeric types are supported: |
| 11 | // |
| 12 | // - Int signed integers |
| 13 | // |
| 14 | // All methods on Int take the result as the receiver; if it is one |
| 15 | // of the operands it may be overwritten (and its memory reused). |
| 16 | // To enable chaining of operations, the result is also returned. |
| 17 | // |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 18 | // If possible, one should use big over bignum as the latter is headed for |
| 19 | // deprecation. |
| 20 | // |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 21 | package big |
| 22 | |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 23 | import "rand" |
| 24 | |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 25 | // An unsigned integer x of the form |
| 26 | // |
| 27 | // x = x[n-1]*_B^(n-1) + x[n-2]*_B^(n-2) + ... + x[1]*_B + x[0] |
| 28 | // |
| 29 | // with 0 <= x[i] < _B and 0 <= i < n is stored in a slice of length n, |
| 30 | // with the digits x[i] as the slice elements. |
| 31 | // |
| 32 | // A number is normalized if the slice contains no leading 0 digits. |
| 33 | // During arithmetic operations, denormalized values may occur but are |
| 34 | // always normalized before returning the final result. The normalized |
| 35 | // representation of 0 is the empty or nil slice (length = 0). |
| 36 | |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 37 | // TODO(gri) - convert these routines into methods for type 'nat' |
| 38 | // - decide if type 'nat' should be exported |
| 39 | |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 40 | func normN(z []Word) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 41 | i := len(z) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 42 | for i > 0 && z[i-1] == 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 43 | i-- |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 44 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 45 | z = z[0:i] |
| 46 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 47 | } |
| 48 | |
| 49 | |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 50 | func makeN(z []Word, m int, clear bool) []Word { |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 51 | if len(z) > m { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 52 | z = z[0:m] // reuse z - has at least one extra word for a carry, if any |
Robert Griesemer | 116b52d | 2009-08-18 11:48:47 -0700 | [diff] [blame] | 53 | if clear { |
| 54 | for i := range z { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 55 | z[i] = 0 |
Robert Griesemer | 116b52d | 2009-08-18 11:48:47 -0700 | [diff] [blame] | 56 | } |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 57 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 58 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 59 | } |
Robert Griesemer | 116b52d | 2009-08-18 11:48:47 -0700 | [diff] [blame] | 60 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 61 | c := 4 // minimum capacity |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 62 | if m > c { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 63 | c = m |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 64 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 65 | return make([]Word, m, c+1) // +1: extra word for a carry, if any |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 66 | } |
| 67 | |
| 68 | |
| 69 | func newN(z []Word, x uint64) []Word { |
| 70 | if x == 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 71 | return makeN(z, 0, false) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 72 | } |
| 73 | |
| 74 | // single-digit values |
| 75 | if x == uint64(Word(x)) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 76 | z = makeN(z, 1, false) |
| 77 | z[0] = Word(x) |
| 78 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | // compute number of words n required to represent x |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 82 | n := 0 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 83 | for t := x; t > 0; t >>= _W { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 84 | n++ |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | // split x into n words |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 88 | z = makeN(z, n, false) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 89 | for i := 0; i < n; i++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 90 | z[i] = Word(x & _M) |
| 91 | x >>= _W |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 92 | } |
| 93 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 94 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 95 | } |
| 96 | |
| 97 | |
| 98 | func setN(z, x []Word) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 99 | z = makeN(z, len(x), false) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 100 | for i, d := range x { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 101 | z[i] = d |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 102 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 103 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 104 | } |
| 105 | |
| 106 | |
| 107 | func addNN(z, x, y []Word) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 108 | m := len(x) |
| 109 | n := len(y) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 110 | |
| 111 | switch { |
| 112 | case m < n: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 113 | return addNN(z, y, x) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 114 | case m == 0: |
| 115 | // n == 0 because m >= n; result is 0 |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 116 | return makeN(z, 0, false) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 117 | case n == 0: |
| 118 | // result is x |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 119 | return setN(z, x) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 120 | } |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 121 | // m > 0 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 122 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 123 | z = makeN(z, m, false) |
| 124 | c := addVV(&z[0], &x[0], &y[0], n) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 125 | if m > n { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 126 | c = addVW(&z[n], &x[n], c, m-n) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 127 | } |
| 128 | if c > 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 129 | z = z[0 : m+1] |
| 130 | z[m] = c |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 131 | } |
| 132 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 133 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 134 | } |
| 135 | |
| 136 | |
| 137 | func subNN(z, x, y []Word) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 138 | m := len(x) |
| 139 | n := len(y) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 140 | |
| 141 | switch { |
| 142 | case m < n: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 143 | panic("underflow") |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 144 | case m == 0: |
| 145 | // n == 0 because m >= n; result is 0 |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 146 | return makeN(z, 0, false) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 147 | case n == 0: |
| 148 | // result is x |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 149 | return setN(z, x) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 150 | } |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 151 | // m > 0 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 152 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 153 | z = makeN(z, m, false) |
| 154 | c := subVV(&z[0], &x[0], &y[0], n) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 155 | if m > n { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 156 | c = subVW(&z[n], &x[n], c, m-n) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 157 | } |
| 158 | if c != 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 159 | panic("underflow") |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 160 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 161 | z = normN(z) |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 162 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 163 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 167 | func cmpNN(x, y []Word) (r int) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 168 | m := len(x) |
| 169 | n := len(y) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 170 | if m != n || m == 0 { |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 171 | switch { |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 172 | case m < n: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 173 | r = -1 |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 174 | case m > n: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 175 | r = 1 |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 176 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 177 | return |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 178 | } |
| 179 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 180 | i := m - 1 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 181 | for i > 0 && x[i] == y[i] { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 182 | i-- |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 183 | } |
| 184 | |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 185 | switch { |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 186 | case x[i] < y[i]: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 187 | r = -1 |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 188 | case x[i] > y[i]: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 189 | r = 1 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 190 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 191 | return |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 192 | } |
| 193 | |
| 194 | |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 195 | func mulAddNWW(z, x []Word, y, r Word) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 196 | m := len(x) |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 197 | if m == 0 || y == 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 198 | return newN(z, uint64(r)) // result is r |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 199 | } |
| 200 | // m > 0 |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 201 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 202 | z = makeN(z, m, false) |
| 203 | c := mulAddVWW(&z[0], &x[0], y, r, m) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 204 | if c > 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 205 | z = z[0 : m+1] |
| 206 | z[m] = c |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 207 | } |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 208 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 209 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 210 | } |
| 211 | |
| 212 | |
| 213 | func mulNN(z, x, y []Word) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 214 | m := len(x) |
| 215 | n := len(y) |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 216 | |
| 217 | switch { |
| 218 | case m < n: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 219 | return mulNN(z, y, x) |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 220 | case m == 0 || n == 0: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 221 | return makeN(z, 0, false) |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 222 | case n == 1: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 223 | return mulAddNWW(z, x, y[0], 0) |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 224 | } |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 225 | // m >= n && m > 1 && n > 1 |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 226 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 227 | z = makeN(z, m+n, true) |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 228 | if &z[0] == &x[0] || &z[0] == &y[0] { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 229 | z = makeN(nil, m+n, true) // z is an alias for x or y - cannot reuse |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 230 | } |
| 231 | for i := 0; i < n; i++ { |
| 232 | if f := y[i]; f != 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 233 | z[m+i] = addMulVVW(&z[i], &x[0], f, m) |
Robert Griesemer | 88742ef | 2009-08-18 10:06:15 -0700 | [diff] [blame] | 234 | } |
| 235 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 236 | z = normN(z) |
Robert Griesemer | e587422 | 2009-08-15 11:43:54 -0700 | [diff] [blame] | 237 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 238 | return z |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 239 | } |
| 240 | |
| 241 | |
| 242 | // q = (x-r)/y, with 0 <= r < y |
| 243 | func divNW(z, x []Word, y Word) (q []Word, r Word) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 244 | m := len(x) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 245 | switch { |
| 246 | case y == 0: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 247 | panic("division by zero") |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 248 | case y == 1: |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 249 | q = setN(z, x) // result is x |
| 250 | return |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 251 | case m == 0: |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 252 | q = setN(z, nil) // result is 0 |
| 253 | return |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 254 | } |
| 255 | // m > 0 |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 256 | z = makeN(z, m, false) |
| 257 | r = divWVW(&z[0], 0, &x[0], y, m) |
| 258 | q = normN(z) |
| 259 | return |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 260 | } |
| 261 | |
| 262 | |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 263 | func divNN(z, z2, u, v []Word) (q, r []Word) { |
| 264 | if len(v) == 0 { |
| 265 | panic("Divide by zero undefined") |
| 266 | } |
| 267 | |
| 268 | if cmpNN(u, v) < 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 269 | q = makeN(z, 0, false) |
| 270 | r = setN(z2, u) |
| 271 | return |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 272 | } |
| 273 | |
| 274 | if len(v) == 1 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 275 | var rprime Word |
| 276 | q, rprime = divNW(z, u, v[0]) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 277 | if rprime > 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 278 | r = makeN(z2, 1, false) |
| 279 | r[0] = rprime |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 280 | } else { |
| 281 | r = makeN(z2, 0, false) |
| 282 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 283 | return |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 284 | } |
| 285 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 286 | q, r = divLargeNN(z, z2, u, v) |
| 287 | return |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 288 | } |
| 289 | |
| 290 | |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 291 | // q = (uIn-r)/v, with 0 <= r < y |
| 292 | // See Knuth, Volume 2, section 4.3.1, Algorithm D. |
| 293 | // Preconditions: |
| 294 | // len(v) >= 2 |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 295 | // len(uIn) >= len(v) |
| 296 | func divLargeNN(z, z2, uIn, v []Word) (q, r []Word) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 297 | n := len(v) |
| 298 | m := len(uIn) - len(v) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 299 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 300 | u := makeN(z2, len(uIn)+1, false) |
| 301 | qhatv := make([]Word, len(v)+1) |
| 302 | q = makeN(z, m+1, false) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 303 | |
| 304 | // D1. |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 305 | shift := leadingZeroBits(v[n-1]) |
| 306 | shiftLeft(v, v, shift) |
| 307 | shiftLeft(u, uIn, shift) |
| 308 | u[len(uIn)] = uIn[len(uIn)-1] >> (_W - uint(shift)) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 309 | |
| 310 | // D2. |
| 311 | for j := m; j >= 0; j-- { |
| 312 | // D3. |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 313 | var qhat Word |
Adam Langley | bf1f63a | 2009-11-18 19:26:12 -0800 | [diff] [blame] | 314 | if u[j+n] == v[n-1] { |
| 315 | qhat = _B - 1 |
| 316 | } else { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 317 | var rhat Word |
| 318 | qhat, rhat = divWW_g(u[j+n], u[j+n-1], v[n-1]) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 319 | |
Adam Langley | bf1f63a | 2009-11-18 19:26:12 -0800 | [diff] [blame] | 320 | // x1 | x2 = q̂v_{n-2} |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 321 | x1, x2 := mulWW_g(qhat, v[n-2]) |
Adam Langley | bf1f63a | 2009-11-18 19:26:12 -0800 | [diff] [blame] | 322 | // test if q̂v_{n-2} > br̂ + u_{j+n-2} |
| 323 | for greaterThan(x1, x2, rhat, u[j+n-2]) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 324 | qhat-- |
| 325 | prevRhat := rhat |
| 326 | rhat += v[n-1] |
Adam Langley | bf1f63a | 2009-11-18 19:26:12 -0800 | [diff] [blame] | 327 | // v[n-1] >= 0, so this tests for overflow. |
| 328 | if rhat < prevRhat { |
| 329 | break |
| 330 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 331 | x1, x2 = mulWW_g(qhat, v[n-2]) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 332 | } |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 333 | } |
| 334 | |
| 335 | // D4. |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 336 | qhatv[len(v)] = mulAddVWW(&qhatv[0], &v[0], qhat, 0, len(v)) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 337 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 338 | c := subVV(&u[j], &u[j], &qhatv[0], len(qhatv)) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 339 | if c != 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 340 | c := addVV(&u[j], &u[j], &v[0], len(v)) |
| 341 | u[j+len(v)] += c |
| 342 | qhat-- |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 343 | } |
| 344 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 345 | q[j] = qhat |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 346 | } |
| 347 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 348 | q = normN(q) |
| 349 | shiftRight(u, u, shift) |
| 350 | shiftRight(v, v, shift) |
| 351 | r = normN(u) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 352 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 353 | return q, r |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 354 | } |
| 355 | |
| 356 | |
Robert Griesemer | 08a209f | 2009-08-26 12:55:54 -0700 | [diff] [blame] | 357 | // log2 computes the integer binary logarithm of x. |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 358 | // The result is the integer n for which 2^n <= x < 2^(n+1). |
Robert Griesemer | 08a209f | 2009-08-26 12:55:54 -0700 | [diff] [blame] | 359 | // If x == 0, the result is -1. |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 360 | func log2(x Word) int { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 361 | n := 0 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 362 | for ; x > 0; x >>= 1 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 363 | n++ |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 364 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 365 | return n - 1 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 366 | } |
| 367 | |
| 368 | |
Robert Griesemer | 08a209f | 2009-08-26 12:55:54 -0700 | [diff] [blame] | 369 | // log2N computes the integer binary logarithm of x. |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 370 | // The result is the integer n for which 2^n <= x < 2^(n+1). |
Robert Griesemer | 08a209f | 2009-08-26 12:55:54 -0700 | [diff] [blame] | 371 | // If x == 0, the result is -1. |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 372 | func log2N(x []Word) int { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 373 | m := len(x) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 374 | if m > 0 { |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 375 | return (m-1)*_W + log2(x[m-1]) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 376 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 377 | return -1 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 378 | } |
| 379 | |
| 380 | |
| 381 | func hexValue(ch byte) int { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 382 | var d byte |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 383 | switch { |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 384 | case '0' <= ch && ch <= '9': |
Robert Griesemer | 1698934 | 2009-11-09 21:09:34 -0800 | [diff] [blame] | 385 | d = ch - '0' |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 386 | case 'a' <= ch && ch <= 'f': |
Robert Griesemer | 1698934 | 2009-11-09 21:09:34 -0800 | [diff] [blame] | 387 | d = ch - 'a' + 10 |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 388 | case 'A' <= ch && ch <= 'F': |
Robert Griesemer | 1698934 | 2009-11-09 21:09:34 -0800 | [diff] [blame] | 389 | d = ch - 'A' + 10 |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 390 | default: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 391 | return -1 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 392 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 393 | return int(d) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 394 | } |
| 395 | |
| 396 | |
| 397 | // scanN returns the natural number corresponding to the |
| 398 | // longest possible prefix of s representing a natural number in a |
| 399 | // given conversion base, the actual conversion base used, and the |
| 400 | // prefix length. The syntax of natural numbers follows the syntax |
| 401 | // of unsigned integer literals in Go. |
| 402 | // |
| 403 | // If the base argument is 0, the string prefix determines the actual |
| 404 | // conversion base. A prefix of ``0x'' or ``0X'' selects base 16; the |
| 405 | // ``0'' prefix selects base 8. Otherwise the selected base is 10. |
| 406 | // |
| 407 | func scanN(z []Word, s string, base int) ([]Word, int, int) { |
| 408 | // determine base if necessary |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 409 | i, n := 0, len(s) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 410 | if base == 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 411 | base = 10 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 412 | if n > 0 && s[0] == '0' { |
| 413 | if n > 1 && (s[1] == 'x' || s[1] == 'X') { |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 414 | if n == 2 { |
| 415 | // Reject a string which is just '0x' as nonsense. |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 416 | return nil, 0, 0 |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 417 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 418 | base, i = 16, 2 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 419 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 420 | base, i = 8, 1 |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 421 | } |
| 422 | } |
| 423 | } |
| 424 | if base < 2 || 16 < base { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 425 | panic("illegal base") |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 426 | } |
| 427 | |
| 428 | // convert string |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 429 | z = makeN(z, len(z), false) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 430 | for ; i < n; i++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 431 | d := hexValue(s[i]) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 432 | if 0 <= d && d < base { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 433 | z = mulAddNWW(z, z, Word(base), Word(d)) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 434 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 435 | break |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 436 | } |
| 437 | } |
| 438 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 439 | return z, base, i |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 440 | } |
| 441 | |
| 442 | |
| 443 | // string converts x to a string for a given base, with 2 <= base <= 16. |
| 444 | // TODO(gri) in the style of the other routines, perhaps this should take |
| 445 | // a []byte buffer and return it |
| 446 | func stringN(x []Word, base int) string { |
| 447 | if base < 2 || 16 < base { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 448 | panic("illegal base") |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 449 | } |
| 450 | |
| 451 | if len(x) == 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 452 | return "0" |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 453 | } |
| 454 | |
| 455 | // allocate buffer for conversion |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 456 | i := (log2N(x)+1)/log2(Word(base)) + 1 // +1: round up |
| 457 | s := make([]byte, i) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 458 | |
| 459 | // don't destroy x |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 460 | q := setN(nil, x) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 461 | |
| 462 | // convert |
| 463 | for len(q) > 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 464 | i-- |
| 465 | var r Word |
| 466 | q, r = divNW(q, q, Word(base)) |
| 467 | s[i] = "0123456789abcdef"[r] |
Russ Cox | c62b326 | 2009-10-06 11:42:55 -0700 | [diff] [blame] | 468 | } |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 469 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 470 | return string(s[i:]) |
Robert Griesemer | db3bf9c | 2009-08-14 11:53:27 -0700 | [diff] [blame] | 471 | } |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 472 | |
| 473 | |
| 474 | // leadingZeroBits returns the number of leading zero bits in x. |
| 475 | func leadingZeroBits(x Word) int { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 476 | c := 0 |
Robert Griesemer | 48b3156 | 2009-11-05 18:25:23 -0800 | [diff] [blame] | 477 | if x < 1<<(_W/2) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 478 | x <<= _W / 2 |
| 479 | c = _W / 2 |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 480 | } |
| 481 | |
| 482 | for i := 0; x != 0; i++ { |
| 483 | if x&(1<<(_W-1)) != 0 { |
Robert Griesemer | 1698934 | 2009-11-09 21:09:34 -0800 | [diff] [blame] | 484 | return i + c |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 485 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 486 | x <<= 1 |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 487 | } |
| 488 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 489 | return _W |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 490 | } |
| 491 | |
| 492 | const deBruijn32 = 0x077CB531 |
| 493 | |
| 494 | var deBruijn32Lookup = []byte{ |
| 495 | 0, 1, 28, 2, 29, 14, 24, 3, 30, 22, 20, 15, 25, 17, 4, 8, |
| 496 | 31, 27, 13, 23, 21, 19, 16, 7, 26, 12, 18, 6, 11, 5, 10, 9, |
| 497 | } |
| 498 | |
| 499 | const deBruijn64 = 0x03f79d71b4ca8b09 |
| 500 | |
| 501 | var deBruijn64Lookup = []byte{ |
| 502 | 0, 1, 56, 2, 57, 49, 28, 3, 61, 58, 42, 50, 38, 29, 17, 4, |
| 503 | 62, 47, 59, 36, 45, 43, 51, 22, 53, 39, 33, 30, 24, 18, 12, 5, |
| 504 | 63, 55, 48, 27, 60, 41, 37, 16, 46, 35, 44, 21, 52, 32, 23, 11, |
| 505 | 54, 26, 40, 15, 34, 20, 31, 10, 25, 14, 19, 9, 13, 8, 7, 6, |
| 506 | } |
| 507 | |
| 508 | // trailingZeroBits returns the number of consecutive zero bits on the right |
| 509 | // side of the given Word. |
| 510 | // See Knuth, volume 4, section 7.3.1 |
| 511 | func trailingZeroBits(x Word) int { |
| 512 | // x & -x leaves only the right-most bit set in the word. Let k be the |
| 513 | // index of that bit. Since only a single bit is set, the value is two |
| 514 | // to the power of k. Multipling by a power of two is equivalent to |
| 515 | // left shifting, in this case by k bits. The de Bruijn constant is |
| 516 | // such that all six bit, consecutive substrings are distinct. |
| 517 | // Therefore, if we have a left shifted version of this constant we can |
| 518 | // find by how many bits it was shifted by looking at which six bit |
| 519 | // substring ended up at the top of the word. |
| 520 | switch _W { |
| 521 | case 32: |
| 522 | return int(deBruijn32Lookup[((x&-x)*deBruijn32)>>27]) |
| 523 | case 64: |
| 524 | return int(deBruijn64Lookup[((x&-x)*(deBruijn64&_M))>>58]) |
| 525 | default: |
| 526 | panic("Unknown word size") |
| 527 | } |
| 528 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 529 | return 0 |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 530 | } |
| 531 | |
| 532 | |
| 533 | func shiftLeft(dst, src []Word, n int) { |
| 534 | if len(src) == 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 535 | return |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 536 | } |
| 537 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 538 | ñ := _W - uint(n) |
Robert Griesemer | 1698934 | 2009-11-09 21:09:34 -0800 | [diff] [blame] | 539 | for i := len(src) - 1; i >= 1; i-- { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 540 | dst[i] = src[i] << uint(n) |
| 541 | dst[i] |= src[i-1] >> ñ |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 542 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 543 | dst[0] = src[0] << uint(n) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 544 | } |
| 545 | |
| 546 | |
| 547 | func shiftRight(dst, src []Word, n int) { |
| 548 | if len(src) == 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 549 | return |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 550 | } |
| 551 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 552 | ñ := _W - uint(n) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 553 | for i := 0; i < len(src)-1; i++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 554 | dst[i] = src[i] >> uint(n) |
| 555 | dst[i] |= src[i+1] << ñ |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 556 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 557 | dst[len(src)-1] = src[len(src)-1] >> uint(n) |
Adam Langley | 65063bc | 2009-11-05 15:55:41 -0800 | [diff] [blame] | 558 | } |
| 559 | |
| 560 | |
| 561 | // greaterThan returns true iff (x1<<_W + x2) > (y1<<_W + y2) |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 562 | func greaterThan(x1, x2, y1, y2 Word) bool { return x1 > y1 || x1 == y1 && x2 > y2 } |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 563 | |
| 564 | |
| 565 | // modNW returns x % d. |
| 566 | func modNW(x []Word, d Word) (r Word) { |
| 567 | // TODO(agl): we don't actually need to store the q value. |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 568 | q := makeN(nil, len(x), false) |
| 569 | return divWVW(&q[0], 0, &x[0], d, len(x)) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 570 | } |
| 571 | |
| 572 | |
| 573 | // powersOfTwoDecompose finds q and k such that q * 1<<k = n and q is odd. |
| 574 | func powersOfTwoDecompose(n []Word) (q []Word, k Word) { |
| 575 | if len(n) == 0 { |
| 576 | return n, 0 |
| 577 | } |
| 578 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 579 | zeroWords := 0 |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 580 | for n[zeroWords] == 0 { |
| 581 | zeroWords++ |
| 582 | } |
| 583 | // One of the words must be non-zero by invariant, therefore |
| 584 | // zeroWords < len(n). |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 585 | x := trailingZeroBits(n[zeroWords]) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 586 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 587 | q = makeN(nil, len(n)-zeroWords, false) |
| 588 | shiftRight(q, n[zeroWords:], x) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 589 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 590 | k = Word(_W*zeroWords + x) |
| 591 | return |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 592 | } |
| 593 | |
| 594 | |
| 595 | // randomN creates a random integer in [0..limit), using the space in z if |
| 596 | // possible. n is the bit length of limit. |
| 597 | func randomN(z []Word, rand *rand.Rand, limit []Word, n int) []Word { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 598 | bitLengthOfMSW := uint(n % _W) |
| 599 | mask := Word((1 << bitLengthOfMSW) - 1) |
| 600 | z = makeN(z, len(limit), false) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 601 | |
| 602 | for { |
| 603 | for i := range z { |
| 604 | switch _W { |
| 605 | case 32: |
| 606 | z[i] = Word(rand.Uint32()) |
| 607 | case 64: |
| 608 | z[i] = Word(rand.Uint32()) | Word(rand.Uint32())<<32 |
| 609 | } |
| 610 | } |
| 611 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 612 | z[len(limit)-1] &= mask |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 613 | |
| 614 | if cmpNN(z, limit) < 0 { |
| 615 | break |
| 616 | } |
| 617 | } |
| 618 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 619 | return z |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 620 | } |
| 621 | |
| 622 | |
| 623 | // If m != nil, expNNN calculates x**y mod m. Otherwise it calculates x**y. It |
| 624 | // reuses the storage of z if possible. |
| 625 | func expNNN(z, x, y, m []Word) []Word { |
| 626 | if len(y) == 0 { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 627 | z = makeN(z, 1, false) |
| 628 | z[0] = 1 |
| 629 | return z |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 630 | } |
| 631 | |
| 632 | if m != nil { |
| 633 | // We likely end up being as long as the modulus. |
| 634 | z = makeN(z, len(m), false) |
| 635 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 636 | z = setN(z, x) |
| 637 | v := y[len(y)-1] |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 638 | // It's invalid for the most significant word to be zero, therefore we |
| 639 | // will find a one bit. |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 640 | shift := leadingZeros(v) + 1 |
| 641 | v <<= shift |
| 642 | var q []Word |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 643 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 644 | const mask = 1 << (_W - 1) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 645 | |
| 646 | // We walk through the bits of the exponent one by one. Each time we |
| 647 | // see a bit, we square, thus doubling the power. If the bit is a one, |
| 648 | // we also multiply by x, thus adding one to the power. |
| 649 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 650 | w := _W - int(shift) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 651 | for j := 0; j < w; j++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 652 | z = mulNN(z, z, z) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 653 | |
| 654 | if v&mask != 0 { |
| 655 | z = mulNN(z, z, x) |
| 656 | } |
| 657 | |
| 658 | if m != nil { |
| 659 | q, z = divNN(q, z, z, m) |
| 660 | } |
| 661 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 662 | v <<= 1 |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 663 | } |
| 664 | |
| 665 | for i := len(y) - 2; i >= 0; i-- { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 666 | v = y[i] |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 667 | |
| 668 | for j := 0; j < _W; j++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 669 | z = mulNN(z, z, z) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 670 | |
| 671 | if v&mask != 0 { |
| 672 | z = mulNN(z, z, x) |
| 673 | } |
| 674 | |
| 675 | if m != nil { |
| 676 | q, z = divNN(q, z, z, m) |
| 677 | } |
| 678 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 679 | v <<= 1 |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 680 | } |
| 681 | } |
| 682 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 683 | return z |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 684 | } |
| 685 | |
| 686 | |
| 687 | // lenN returns the bit length of z. |
| 688 | func lenN(z []Word) int { |
| 689 | if len(z) == 0 { |
| 690 | return 0 |
| 691 | } |
| 692 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 693 | return (len(z)-1)*_W + (_W - leadingZeroBits(z[len(z)-1])) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 694 | } |
| 695 | |
| 696 | |
| 697 | const ( |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 698 | primesProduct32 = 0xC0CFD797 // Π {p ∈ primes, 2 < p <= 29} |
| 699 | primesProduct64 = 0xE221F97C30E94E1D // Π {p ∈ primes, 2 < p <= 53} |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 700 | ) |
| 701 | |
| 702 | var bigOne = []Word{1} |
| 703 | var bigTwo = []Word{2} |
| 704 | |
| 705 | // ProbablyPrime performs n Miller-Rabin tests to check whether n is prime. |
| 706 | // If it returns true, n is prime with probability 1 - 1/4^n. |
| 707 | // If it returns false, n is not prime. |
| 708 | func probablyPrime(n []Word, reps int) bool { |
| 709 | if len(n) == 0 { |
| 710 | return false |
| 711 | } |
| 712 | |
| 713 | if len(n) == 1 { |
| 714 | if n[0]%2 == 0 { |
| 715 | return n[0] == 2 |
| 716 | } |
| 717 | |
| 718 | // We have to exclude these cases because we reject all |
| 719 | // multiples of these numbers below. |
| 720 | if n[0] == 3 || n[0] == 5 || n[0] == 7 || n[0] == 11 || |
| 721 | n[0] == 13 || n[0] == 17 || n[0] == 19 || n[0] == 23 || |
| 722 | n[0] == 29 || n[0] == 31 || n[0] == 37 || n[0] == 41 || |
| 723 | n[0] == 43 || n[0] == 47 || n[0] == 53 { |
| 724 | return true |
| 725 | } |
| 726 | } |
| 727 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 728 | var r Word |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 729 | switch _W { |
| 730 | case 32: |
| 731 | r = modNW(n, primesProduct32) |
| 732 | case 64: |
| 733 | r = modNW(n, primesProduct64&_M) |
| 734 | default: |
| 735 | panic("Unknown word size") |
| 736 | } |
| 737 | |
| 738 | if r%3 == 0 || r%5 == 0 || r%7 == 0 || r%11 == 0 || |
| 739 | r%13 == 0 || r%17 == 0 || r%19 == 0 || r%23 == 0 || r%29 == 0 { |
| 740 | return false |
| 741 | } |
| 742 | |
| 743 | if _W == 64 && (r%31 == 0 || r%37 == 0 || r%41 == 0 || |
| 744 | r%43 == 0 || r%47 == 0 || r%53 == 0) { |
| 745 | return false |
| 746 | } |
| 747 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 748 | nm1 := subNN(nil, n, bigOne) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 749 | // 1<<k * q = nm1; |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 750 | q, k := powersOfTwoDecompose(nm1) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 751 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 752 | nm3 := subNN(nil, nm1, bigTwo) |
| 753 | rand := rand.New(rand.NewSource(int64(n[0]))) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 754 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 755 | var x, y, quotient []Word |
| 756 | nm3Len := lenN(nm3) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 757 | |
| 758 | NextRandom: |
| 759 | for i := 0; i < reps; i++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 760 | x = randomN(x, rand, nm3, nm3Len) |
| 761 | addNN(x, x, bigTwo) |
| 762 | y = expNNN(y, x, q, n) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 763 | if cmpNN(y, bigOne) == 0 || cmpNN(y, nm1) == 0 { |
| 764 | continue |
| 765 | } |
| 766 | for j := Word(1); j < k; j++ { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 767 | y = mulNN(y, y, y) |
| 768 | quotient, y = divNN(quotient, y, y, n) |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 769 | if cmpNN(y, nm1) == 0 { |
| 770 | continue NextRandom |
| 771 | } |
| 772 | if cmpNN(y, bigOne) == 0 { |
| 773 | return false |
| 774 | } |
| 775 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 776 | return false |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 777 | } |
| 778 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 779 | return true |
Adam Langley | 1941855 | 2009-11-11 13:21:37 -0800 | [diff] [blame] | 780 | } |