blob: 9d4884b44e7d04d5e571433d4c4086a57a7e4f72 [file] [log] [blame]
Gavin Howard3eb626f2018-02-14 13:54:35 -07001/*
Gavin Howardb5904bf2018-02-20 13:28:18 -07002 * *****************************************************************************
Gavin Howard3eb626f2018-02-14 13:54:35 -07003 *
Gavin Howardb5904bf2018-02-20 13:28:18 -07004 * Copyright 2018 Gavin D. Howard
Gavin Howard3eb626f2018-02-14 13:54:35 -07005 *
6 * Permission to use, copy, modify, and/or distribute this software for any
7 * purpose with or without fee is hereby granted.
8 *
9 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH
10 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
11 * AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT,
12 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
13 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR
14 * OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
15 * PERFORMANCE OF THIS SOFTWARE.
16 *
Gavin Howardb5904bf2018-02-20 13:28:18 -070017 * *****************************************************************************
Gavin Howard3eb626f2018-02-14 13:54:35 -070018 *
19 * Code for the number type.
20 *
21 */
22
23#include <assert.h>
Gavin Howard411f7322018-09-26 17:21:19 -060024#include <stdbool.h>
25#include <stdlib.h>
26#include <string.h>
Gavin Howard8e2cc692018-02-15 17:39:14 -070027
Gavin Howard305249a2018-10-15 20:24:47 -060028#include <limits.h>
29
Gavin Howard29493062018-03-20 19:57:37 -060030#include <status.h>
Gavin Howard3ba6c8d2018-02-15 12:23:35 -070031#include <num.h>
Gavin Howardd5551672018-09-22 19:52:42 -060032#include <vm.h>
Gavin Howard3eb626f2018-02-14 13:54:35 -070033
Gavin Howard773c86b2018-11-02 14:07:19 -060034void bc_num_setToZero(BcNum *n, size_t scale) {
Gavin Howarda2514a02018-10-18 14:20:09 -060035 assert(n);
Gavin Howard97102b12018-11-01 23:37:31 -060036 n->len = 0;
37 n->neg = false;
Gavin Howardf8ddb6d2018-10-22 12:58:53 -060038 n->rdx = scale;
39}
40
41void bc_num_zero(BcNum *n) {
42 bc_num_setToZero(n, 0);
Gavin Howard0be26ed2018-08-31 20:21:56 -060043}
44
45void bc_num_one(BcNum *n) {
Gavin Howardf8ddb6d2018-10-22 12:58:53 -060046 bc_num_setToZero(n, 0);
Gavin Howard63738202018-09-26 15:34:20 -060047 n->len = 1;
48 n->num[0] = 1;
Gavin Howard0be26ed2018-08-31 20:21:56 -060049}
50
51void bc_num_ten(BcNum *n) {
Gavin Howarda2514a02018-10-18 14:20:09 -060052 assert(n);
Gavin Howardf8ddb6d2018-10-22 12:58:53 -060053 bc_num_setToZero(n, 0);
Gavin Howard63738202018-09-26 15:34:20 -060054 n->len = 2;
55 n->num[0] = 0;
56 n->num[1] = 1;
Gavin Howard0be26ed2018-08-31 20:21:56 -060057}
58
Gavin Howard84edc792018-11-17 14:22:10 -070059BcStatus bc_num_subArrays(BcDig *restrict a, BcDig *restrict b, size_t len) {
Gavin Howard63738202018-09-26 15:34:20 -060060 size_t i, j;
Gavin Howard112304b2018-12-04 14:30:01 -070061 for (i = 0; !BC_SIGINT && i < len; ++i) {
62 for (a[i] -= b[i], j = 0; !BC_SIGINT && a[i + j] < 0;) {
Gavin Howard54b946a2018-10-23 12:06:57 -060063 a[i + j++] += 10;
64 a[i + j] -= 1;
Gavin Howard63738202018-09-26 15:34:20 -060065 }
66 }
Gavin Howard43df94a2018-12-22 10:29:41 -070067 return BC_SIGINT ? BC_STATUS_SIGNAL : BC_STATUS_SUCCESS;
Gavin Howarde1e74942018-03-20 15:51:52 -060068}
69
Gavin Howard773c86b2018-11-02 14:07:19 -060070ssize_t bc_num_compare(BcDig *restrict a, BcDig *restrict b, size_t len) {
Gavin Howard63738202018-09-26 15:34:20 -060071 size_t i;
Gavin Howardd1a78362018-10-18 09:52:06 -060072 int c = 0;
Gavin Howard112304b2018-12-04 14:30:01 -070073 for (i = len - 1; !BC_SIGINT && i < len && !(c = a[i] - b[i]); --i);
Gavin Howard7fbb4e22018-10-18 11:43:17 -060074 return BC_NUM_NEG(i + 1, c < 0);
Gavin Howard08bf5292018-03-20 14:59:33 -060075}
76
Gavin Howard6a804cf2018-05-17 16:54:12 -060077ssize_t bc_num_cmp(BcNum *a, BcNum *b) {
Gavin Howard4681d1b2018-03-05 19:49:33 -070078
Gavin Howard63738202018-09-26 15:34:20 -060079 size_t i, min, a_int, b_int, diff;
Gavin Howard8a921bd2018-10-11 14:15:32 -060080 BcDig *max_num, *min_num;
Gavin Howard7fbb4e22018-10-18 11:43:17 -060081 bool a_max, neg = false;
82 ssize_t cmp;
83
84 assert(a && b);
Gavin Howard4681d1b2018-03-05 19:49:33 -070085
Gavin Howard8a921bd2018-10-11 14:15:32 -060086 if (a == b) return 0;
Gavin Howard53eba8b2018-10-31 15:14:37 -060087 if (a->len == 0) return BC_NUM_NEG(!!b->len, !b->neg);
88 if (b->len == 0) return BC_NUM_NEG(1, a->neg);
Gavin Howard890d0c02018-10-30 16:34:50 -060089 if (a->neg) {
Gavin Howard7fbb4e22018-10-18 11:43:17 -060090 if (b->neg) neg = true;
Gavin Howard63738202018-09-26 15:34:20 -060091 else return -1;
92 }
93 else if (b->neg) return 1;
Gavin Howard4681d1b2018-03-05 19:49:33 -070094
Gavin Howard63738202018-09-26 15:34:20 -060095 a_int = BC_NUM_INT(a);
96 b_int = BC_NUM_INT(b);
Gavin Howard890d0c02018-10-30 16:34:50 -060097 a_int -= b_int;
98 a_max = (a->rdx > b->rdx);
Gavin Howard4681d1b2018-03-05 19:49:33 -070099
Gavin Howard53eba8b2018-10-31 15:14:37 -0600100 if (a_int != 0) return (ssize_t) a_int;
Gavin Howard4681d1b2018-03-05 19:49:33 -0700101
Gavin Howard890d0c02018-10-30 16:34:50 -0600102 if (a_max) {
Gavin Howard63738202018-09-26 15:34:20 -0600103 min = b->rdx;
104 diff = a->rdx - b->rdx;
105 max_num = a->num + diff;
106 min_num = b->num;
107 }
108 else {
109 min = a->rdx;
110 diff = b->rdx - a->rdx;
111 max_num = b->num + diff;
112 min_num = a->num;
113 }
Gavin Howard4681d1b2018-03-05 19:49:33 -0700114
Gavin Howard890d0c02018-10-30 16:34:50 -0600115 cmp = bc_num_compare(max_num, min_num, b_int + min);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600116 if (cmp != 0) return BC_NUM_NEG(cmp, (!a_max) != neg);
Gavin Howard021150b2018-03-10 15:40:42 -0700117
Gavin Howard112304b2018-12-04 14:30:01 -0700118 for (max_num -= diff, i = diff - 1; !BC_SIGINT && i < diff; --i) {
Gavin Howard40974152018-10-18 14:23:01 -0600119 if (max_num[i]) return BC_NUM_NEG(1, (!a_max) != neg);
Gavin Howard63738202018-09-26 15:34:20 -0600120 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700121
Gavin Howard63738202018-09-26 15:34:20 -0600122 return 0;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700123}
124
Gavin Howardd9734e52018-03-29 15:54:41 -0600125void bc_num_truncate(BcNum *n, size_t places) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700126
Gavin Howard53eba8b2018-10-31 15:14:37 -0600127 assert(places <= n->rdx && (n->len == 0 || places <= n->len));
Gavin Howard6fbdb292018-02-27 15:44:48 -0700128
Gavin Howard53eba8b2018-10-31 15:14:37 -0600129 if (places == 0) return;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700130
Gavin Howard63738202018-09-26 15:34:20 -0600131 n->rdx -= places;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700132
Gavin Howard53eba8b2018-10-31 15:14:37 -0600133 if (n->len != 0) {
Gavin Howard955da852018-10-23 11:08:20 -0600134 n->len -= places;
135 memmove(n->num, n->num + places, n->len * sizeof(BcDig));
136 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700137}
138
Gavin Howard773c86b2018-11-02 14:07:19 -0600139void bc_num_extend(BcNum *n, size_t places) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700140
Gavin Howard88c25302018-10-17 13:32:23 -0600141 size_t len = n->len + places;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700142
Gavin Howard53eba8b2018-10-31 15:14:37 -0600143 if (places != 0) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700144
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600145 if (n->cap < len) bc_num_expand(n, len);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700146
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600147 memmove(n->num + places, n->num, sizeof(BcDig) * n->len);
148 memset(n->num, 0, sizeof(BcDig) * places);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700149
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600150 n->len += places;
151 n->rdx += places;
152 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700153}
154
Gavin Howard773c86b2018-11-02 14:07:19 -0600155void bc_num_clean(BcNum *n) {
Gavin Howard53eba8b2018-10-31 15:14:37 -0600156 while (n->len > 0 && n->num[n->len - 1] == 0) --n->len;
157 if (n->len == 0) n->neg = false;
Gavin Howard63738202018-09-26 15:34:20 -0600158 else if (n->len < n->rdx) n->len = n->rdx;
Gavin Howarde57525d2018-09-01 16:56:21 -0600159}
160
Gavin Howard773c86b2018-11-02 14:07:19 -0600161void bc_num_retireMul(BcNum *n, size_t scale, bool neg1, bool neg2) {
Gavin Howard337fe602018-09-01 15:10:59 -0600162
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600163 if (n->rdx < scale) bc_num_extend(n, scale - n->rdx);
Gavin Howard63738202018-09-26 15:34:20 -0600164 else bc_num_truncate(n, n->rdx - scale);
Gavin Howard337fe602018-09-01 15:10:59 -0600165
Gavin Howard305249a2018-10-15 20:24:47 -0600166 bc_num_clean(n);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600167 if (n->len != 0) n->neg = !neg1 != !neg2;
Gavin Howard305249a2018-10-15 20:24:47 -0600168}
169
Gavin Howard96664f22018-11-17 14:37:13 -0700170void bc_num_split(BcNum *restrict n, size_t idx, BcNum *restrict a,
171 BcNum *restrict b)
172{
Gavin Howard305249a2018-10-15 20:24:47 -0600173 if (idx < n->len) {
174
Gavin Howard305249a2018-10-15 20:24:47 -0600175 b->len = n->len - idx;
176 a->len = idx;
Gavin Howard88c25302018-10-17 13:32:23 -0600177 a->rdx = b->rdx = 0;
Gavin Howard305249a2018-10-15 20:24:47 -0600178
179 memcpy(b->num, n->num + idx, b->len * sizeof(BcDig));
180 memcpy(a->num, n->num, idx * sizeof(BcDig));
Gavin Howard305249a2018-10-15 20:24:47 -0600181 }
182 else {
183 bc_num_zero(b);
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600184 bc_num_copy(a, n);
Gavin Howard305249a2018-10-15 20:24:47 -0600185 }
186
187 bc_num_clean(a);
188 bc_num_clean(b);
Gavin Howard305249a2018-10-15 20:24:47 -0600189}
190
Gavin Howard773c86b2018-11-02 14:07:19 -0600191BcStatus bc_num_shift(BcNum *n, size_t places) {
Gavin Howard305249a2018-10-15 20:24:47 -0600192
Gavin Howard53eba8b2018-10-31 15:14:37 -0600193 if (places == 0 || n->len == 0) return BC_STATUS_SUCCESS;
Gavin Howard7536dcf2018-12-15 19:27:09 -0700194 if (places + n->len > BC_MAX_NUM) return bc_vm_err(BC_ERROR_EXEC_NUM_LEN);
Gavin Howard305249a2018-10-15 20:24:47 -0600195
196 if (n->rdx >= places) n->rdx -= places;
197 else {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600198 bc_num_extend(n, places - n->rdx);
Gavin Howard305249a2018-10-15 20:24:47 -0600199 n->rdx = 0;
200 }
201
202 bc_num_clean(n);
Gavin Howard337fe602018-09-01 15:10:59 -0600203
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600204 return BC_STATUS_SUCCESS;
Gavin Howard337fe602018-09-01 15:10:59 -0600205}
206
Gavin Howard773c86b2018-11-02 14:07:19 -0600207BcStatus bc_num_inv(BcNum *a, BcNum *b, size_t scale) {
Gavin Howard9c4358c2018-03-22 20:11:28 -0600208
Gavin Howard63738202018-09-26 15:34:20 -0600209 BcNum one;
Gavin Howardd32d7df2018-10-15 08:42:25 -0600210 BcDig num[2];
Gavin Howard9c4358c2018-03-22 20:11:28 -0600211
Gavin Howardd32d7df2018-10-15 08:42:25 -0600212 one.cap = 2;
213 one.num = num;
Gavin Howard63738202018-09-26 15:34:20 -0600214 bc_num_one(&one);
Gavin Howard9c4358c2018-03-22 20:11:28 -0600215
Gavin Howardd32d7df2018-10-15 08:42:25 -0600216 return bc_num_div(&one, a, b, scale);
Gavin Howard9c4358c2018-03-22 20:11:28 -0600217}
218
Gavin Howard773c86b2018-11-02 14:07:19 -0600219BcStatus bc_num_a(BcNum *a, BcNum *b, BcNum *restrict c, size_t sub) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700220
Gavin Howard8a921bd2018-10-11 14:15:32 -0600221 BcDig *ptr, *ptr_a, *ptr_b, *ptr_c;
Gavin Howard63738202018-09-26 15:34:20 -0600222 size_t i, max, min_rdx, min_int, diff, a_int, b_int;
Gavin Howard2aef61b2018-12-18 10:56:20 -0700223 unsigned int carry, in;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700224
Gavin Howard63738202018-09-26 15:34:20 -0600225 // Because this function doesn't need to use scale (per the bc spec),
226 // I am hijacking it to say whether it's doing an add or a subtract.
Gavin Howard73cce1a2018-09-06 15:16:09 -0600227
Gavin Howard53eba8b2018-10-31 15:14:37 -0600228 if (a->len == 0) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600229 bc_num_copy(c, b);
Gavin Howard38a10a12018-10-11 11:52:29 -0600230 if (sub && c->len) c->neg = !c->neg;
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600231 return BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -0600232 }
Gavin Howard53eba8b2018-10-31 15:14:37 -0600233 else if (b->len == 0) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600234 bc_num_copy(c, a);
235 return BC_STATUS_SUCCESS;
236 }
Gavin Howardf6964a12018-03-14 10:52:31 -0600237
Gavin Howard63738202018-09-26 15:34:20 -0600238 c->neg = a->neg;
Gavin Howard63738202018-09-26 15:34:20 -0600239 c->rdx = BC_MAX(a->rdx, b->rdx);
240 min_rdx = BC_MIN(a->rdx, b->rdx);
241 c->len = 0;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700242
Gavin Howard63738202018-09-26 15:34:20 -0600243 if (a->rdx > b->rdx) {
244 diff = a->rdx - b->rdx;
245 ptr = a->num;
246 ptr_a = a->num + diff;
247 ptr_b = b->num;
248 }
249 else {
250 diff = b->rdx - a->rdx;
251 ptr = b->num;
252 ptr_a = a->num;
253 ptr_b = b->num + diff;
254 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700255
Gavin Howard63738202018-09-26 15:34:20 -0600256 for (ptr_c = c->num, i = 0; i < diff; ++i, ++c->len) ptr_c[i] = ptr[i];
Gavin Howard6fbdb292018-02-27 15:44:48 -0700257
Gavin Howard63738202018-09-26 15:34:20 -0600258 ptr_c += diff;
Gavin Howard890d0c02018-10-30 16:34:50 -0600259 a_int = BC_NUM_INT(a);
260 b_int = BC_NUM_INT(b);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700261
Gavin Howard890d0c02018-10-30 16:34:50 -0600262 if (a_int > b_int) {
Gavin Howard63738202018-09-26 15:34:20 -0600263 min_int = b_int;
264 max = a_int;
265 ptr = ptr_a;
266 }
267 else {
268 min_int = a_int;
269 max = b_int;
270 ptr = ptr_b;
271 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700272
Gavin Howard112304b2018-12-04 14:30:01 -0700273 for (carry = 0, i = 0; !BC_SIGINT && i < min_rdx + min_int; ++i, ++c->len) {
Gavin Howard2aef61b2018-12-18 10:56:20 -0700274 in = ((unsigned int) ptr_a[i]) + ((unsigned int) ptr_b[i]) + carry;
Gavin Howard60136d72018-10-15 14:28:19 -0600275 carry = in / 10;
Gavin Howard11b9afd2018-10-18 14:23:28 -0600276 ptr_c[i] = (BcDig) (in % 10);
Gavin Howard63738202018-09-26 15:34:20 -0600277 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700278
Gavin Howard112304b2018-12-04 14:30:01 -0700279 for (; !BC_SIGINT && i < max + min_rdx; ++i, ++c->len) {
Gavin Howard2aef61b2018-12-18 10:56:20 -0700280 in = ((unsigned int) ptr[i]) + carry;
Gavin Howard60136d72018-10-15 14:28:19 -0600281 carry = in / 10;
Gavin Howard11b9afd2018-10-18 14:23:28 -0600282 ptr_c[i] = (BcDig) (in % 10);
Gavin Howard63738202018-09-26 15:34:20 -0600283 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700284
Gavin Howard53eba8b2018-10-31 15:14:37 -0600285 if (carry != 0) c->num[c->len++] = (BcDig) carry;
Gavin Howard2ea7dc42018-05-22 14:02:02 -0600286
Gavin Howard43df94a2018-12-22 10:29:41 -0700287 return BC_SIGINT ? BC_STATUS_SIGNAL : BC_STATUS_SUCCESS;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700288}
289
Gavin Howard773c86b2018-11-02 14:07:19 -0600290BcStatus bc_num_s(BcNum *a, BcNum *b, BcNum *restrict c, size_t sub) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700291
Gavin Howard63738202018-09-26 15:34:20 -0600292 BcStatus s;
293 ssize_t cmp;
294 BcNum *minuend, *subtrahend;
295 size_t start;
296 bool aneg, bneg, neg;
Gavin Howarda1c090a2018-03-05 14:20:33 -0700297
Gavin Howard63738202018-09-26 15:34:20 -0600298 // Because this function doesn't need to use scale (per the bc spec),
299 // I am hijacking it to say whether it's doing an add or a subtract.
Gavin Howard6fbdb292018-02-27 15:44:48 -0700300
Gavin Howard53eba8b2018-10-31 15:14:37 -0600301 if (a->len == 0) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600302 bc_num_copy(c, b);
Gavin Howard38a10a12018-10-11 11:52:29 -0600303 if (sub && c->len) c->neg = !c->neg;
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600304 return BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -0600305 }
Gavin Howard53eba8b2018-10-31 15:14:37 -0600306 else if (b->len == 0) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600307 bc_num_copy(c, a);
308 return BC_STATUS_SUCCESS;
309 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700310
Gavin Howard63738202018-09-26 15:34:20 -0600311 aneg = a->neg;
312 bneg = b->neg;
313 a->neg = b->neg = false;
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700314
Gavin Howard63738202018-09-26 15:34:20 -0600315 cmp = bc_num_cmp(a, b);
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700316
Gavin Howard63738202018-09-26 15:34:20 -0600317 a->neg = aneg;
318 b->neg = bneg;
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700319
Gavin Howard53eba8b2018-10-31 15:14:37 -0600320 if (cmp == 0) {
Gavin Howardf8ddb6d2018-10-22 12:58:53 -0600321 bc_num_setToZero(c, BC_MAX(a->rdx, b->rdx));
Gavin Howard63738202018-09-26 15:34:20 -0600322 return BC_STATUS_SUCCESS;
323 }
324 else if (cmp > 0) {
325 neg = a->neg;
326 minuend = a;
327 subtrahend = b;
328 }
329 else {
330 neg = b->neg;
331 if (sub) neg = !neg;
332 minuend = b;
333 subtrahend = a;
334 }
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700335
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600336 bc_num_copy(c, minuend);
Gavin Howard63738202018-09-26 15:34:20 -0600337 c->neg = neg;
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700338
Gavin Howard63738202018-09-26 15:34:20 -0600339 if (c->rdx < subtrahend->rdx) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600340 bc_num_extend(c, subtrahend->rdx - c->rdx);
Gavin Howard63738202018-09-26 15:34:20 -0600341 start = 0;
342 }
343 else start = c->rdx - subtrahend->rdx;
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700344
Gavin Howard63738202018-09-26 15:34:20 -0600345 s = bc_num_subArrays(c->num + start, subtrahend->num, subtrahend->len);
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700346
Gavin Howard63738202018-09-26 15:34:20 -0600347 bc_num_clean(c);
Gavin Howard9a6f7a42018-03-05 14:07:06 -0700348
Gavin Howard63738202018-09-26 15:34:20 -0600349 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700350}
351
Gavin Howard773c86b2018-11-02 14:07:19 -0600352BcStatus bc_num_k(BcNum *restrict a, BcNum *restrict b, BcNum *restrict c) {
353
Gavin Howard63738202018-09-26 15:34:20 -0600354 BcStatus s;
Gavin Howard34c4ba02018-12-11 10:25:01 -0700355 size_t max = BC_MAX(a->len, b->len), max2 = (max + 1) / 2;
Gavin Howard305249a2018-10-15 20:24:47 -0600356 BcNum l1, h1, l2, h2, m2, m1, z0, z1, z2, temp;
Gavin Howard63738202018-09-26 15:34:20 -0600357 bool aone = BC_NUM_ONE(a);
Gavin Howard337fe602018-09-01 15:10:59 -0600358
Gavin Howard43df94a2018-12-22 10:29:41 -0700359 if (BC_SIGINT) return BC_STATUS_SIGNAL;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600360 if (a->len == 0 || b->len == 0) {
Gavin Howard63738202018-09-26 15:34:20 -0600361 bc_num_zero(c);
362 return BC_STATUS_SUCCESS;
363 }
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600364 else if (aone || BC_NUM_ONE(b)) {
365 bc_num_copy(c, aone ? b : a);
366 return BC_STATUS_SUCCESS;
367 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700368
Gavin Howardb5093d72018-10-17 12:13:17 -0600369 if (a->len + b->len < BC_NUM_KARATSUBA_LEN ||
370 a->len < BC_NUM_KARATSUBA_LEN || b->len < BC_NUM_KARATSUBA_LEN)
Gavin Howard305249a2018-10-15 20:24:47 -0600371 {
Gavin Howard34c4ba02018-12-11 10:25:01 -0700372 size_t i, j, len;
Gavin Howard2aef61b2018-12-18 10:56:20 -0700373 unsigned int carry;
Gavin Howard34c4ba02018-12-11 10:25:01 -0700374
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600375 bc_num_expand(c, a->len + b->len + 1);
Gavin Howard23d8d252018-10-17 12:03:41 -0600376
Gavin Howard305249a2018-10-15 20:24:47 -0600377 memset(c->num, 0, sizeof(BcDig) * c->cap);
Gavin Howard34c4ba02018-12-11 10:25:01 -0700378 c->len = len = 0;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700379
Gavin Howard112304b2018-12-04 14:30:01 -0700380 for (i = 0; !BC_SIGINT && i < b->len; ++i) {
Gavin Howardd1a78362018-10-18 09:52:06 -0600381
Gavin Howard34c4ba02018-12-11 10:25:01 -0700382 carry = 0;
383
Gavin Howard112304b2018-12-04 14:30:01 -0700384 for (j = 0; !BC_SIGINT && j < a->len; ++j) {
Gavin Howard2aef61b2018-12-18 10:56:20 -0700385 unsigned int in = c->num[i + j];
386 in += ((unsigned int) a->num[j]) * ((unsigned int) b->num[i]);
387 in += carry;
Gavin Howard305249a2018-10-15 20:24:47 -0600388 carry = in / 10;
Gavin Howard11b9afd2018-10-18 14:23:28 -0600389 c->num[i + j] = (BcDig) (in % 10);
Gavin Howard305249a2018-10-15 20:24:47 -0600390 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700391
Gavin Howard88c25302018-10-17 13:32:23 -0600392 c->num[i + j] += (BcDig) carry;
393 len = BC_MAX(len, i + j + !!carry);
Gavin Howard63738202018-09-26 15:34:20 -0600394 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700395
Gavin Howard305249a2018-10-15 20:24:47 -0600396 c->len = len;
Gavin Howard23d8d252018-10-17 12:03:41 -0600397
Gavin Howard43df94a2018-12-22 10:29:41 -0700398 return BC_SIGINT ? BC_STATUS_SIGNAL : BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -0600399 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700400
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600401 bc_num_init(&l1, max);
402 bc_num_init(&h1, max);
403 bc_num_init(&l2, max);
404 bc_num_init(&h2, max);
405 bc_num_init(&m1, max);
406 bc_num_init(&m2, max);
407 bc_num_init(&z0, max);
408 bc_num_init(&z1, max);
409 bc_num_init(&z2, max);
410 bc_num_init(&temp, max + max);
Gavin Howard0dfe2922018-05-22 13:57:02 -0600411
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600412 bc_num_split(a, max2, &l1, &h1);
413 bc_num_split(b, max2, &l2, &h2);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700414
Gavin Howard53eba8b2018-10-31 15:14:37 -0600415 s = bc_num_add(&h1, &l1, &m1, 0);
416 if (s) goto err;
417 s = bc_num_add(&h2, &l2, &m2, 0);
418 if (s) goto err;
Gavin Howard305249a2018-10-15 20:24:47 -0600419
Gavin Howard53eba8b2018-10-31 15:14:37 -0600420 s = bc_num_k(&h1, &h2, &z0);
421 if (s) goto err;
422 s = bc_num_k(&m1, &m2, &z1);
423 if (s) goto err;
424 s = bc_num_k(&l1, &l2, &z2);
425 if (s) goto err;
Gavin Howard305249a2018-10-15 20:24:47 -0600426
Gavin Howard53eba8b2018-10-31 15:14:37 -0600427 s = bc_num_sub(&z1, &z0, &temp, 0);
428 if (s) goto err;
429 s = bc_num_sub(&temp, &z2, &z1, 0);
430 if (s) goto err;
Gavin Howard305249a2018-10-15 20:24:47 -0600431
Gavin Howard53eba8b2018-10-31 15:14:37 -0600432 s = bc_num_shift(&z0, max2 * 2);
433 if (s) goto err;
434 s = bc_num_shift(&z1, max2);
435 if (s) goto err;
436 s = bc_num_add(&z0, &z1, &temp, 0);
437 if (s) goto err;
Gavin Howardb5093d72018-10-17 12:13:17 -0600438 s = bc_num_add(&temp, &z2, c, 0);
Gavin Howard305249a2018-10-15 20:24:47 -0600439
440err:
441 bc_num_free(&temp);
Gavin Howard305249a2018-10-15 20:24:47 -0600442 bc_num_free(&z2);
Gavin Howard305249a2018-10-15 20:24:47 -0600443 bc_num_free(&z1);
Gavin Howard305249a2018-10-15 20:24:47 -0600444 bc_num_free(&z0);
Gavin Howard305249a2018-10-15 20:24:47 -0600445 bc_num_free(&m2);
Gavin Howard305249a2018-10-15 20:24:47 -0600446 bc_num_free(&m1);
Gavin Howard305249a2018-10-15 20:24:47 -0600447 bc_num_free(&h2);
Gavin Howard305249a2018-10-15 20:24:47 -0600448 bc_num_free(&l2);
Gavin Howard305249a2018-10-15 20:24:47 -0600449 bc_num_free(&h1);
Gavin Howard305249a2018-10-15 20:24:47 -0600450 bc_num_free(&l1);
451 return s;
452}
453
Gavin Howard773c86b2018-11-02 14:07:19 -0600454BcStatus bc_num_m(BcNum *a, BcNum *b, BcNum *restrict c, size_t scale) {
Gavin Howard305249a2018-10-15 20:24:47 -0600455
456 BcStatus s;
457 BcNum cpa, cpb;
Gavin Howard88c25302018-10-17 13:32:23 -0600458 size_t maxrdx = BC_MAX(a->rdx, b->rdx);
Gavin Howard305249a2018-10-15 20:24:47 -0600459
460 scale = BC_MAX(scale, a->rdx);
461 scale = BC_MAX(scale, b->rdx);
462 scale = BC_MIN(a->rdx + b->rdx, scale);
463 maxrdx = BC_MAX(maxrdx, scale);
464
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600465 bc_num_init(&cpa, a->len);
466 bc_num_init(&cpb, b->len);
Gavin Howard305249a2018-10-15 20:24:47 -0600467
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600468 bc_num_copy(&cpa, a);
469 bc_num_copy(&cpb, b);
Gavin Howard23d8d252018-10-17 12:03:41 -0600470 cpa.neg = cpb.neg = false;
Gavin Howard305249a2018-10-15 20:24:47 -0600471
Gavin Howard53eba8b2018-10-31 15:14:37 -0600472 s = bc_num_shift(&cpa, maxrdx);
473 if (s) goto err;
474 s = bc_num_shift(&cpb, maxrdx);
475 if (s) goto err;
476 s = bc_num_k(&cpa, &cpb, c);
477 if (s) goto err;
Gavin Howard305249a2018-10-15 20:24:47 -0600478
Gavin Howard53eba8b2018-10-31 15:14:37 -0600479 maxrdx += scale;
480 bc_num_expand(c, c->len + maxrdx);
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600481
Gavin Howard88c25302018-10-17 13:32:23 -0600482 if (c->len < maxrdx) {
Gavin Howard305249a2018-10-15 20:24:47 -0600483 memset(c->num + c->len, 0, (c->cap - c->len) * sizeof(BcDig));
Gavin Howard88c25302018-10-17 13:32:23 -0600484 c->len += maxrdx;
Gavin Howard305249a2018-10-15 20:24:47 -0600485 }
486
Gavin Howard88c25302018-10-17 13:32:23 -0600487 c->rdx = maxrdx;
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600488 bc_num_retireMul(c, scale, a->neg, b->neg);
Gavin Howard305249a2018-10-15 20:24:47 -0600489
490err:
491 bc_num_free(&cpb);
Gavin Howard305249a2018-10-15 20:24:47 -0600492 bc_num_free(&cpa);
493 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700494}
495
Gavin Howard773c86b2018-11-02 14:07:19 -0600496BcStatus bc_num_d(BcNum *a, BcNum *b, BcNum *restrict c, size_t scale) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700497
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600498 BcStatus s = BC_STATUS_SUCCESS;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600499 BcDig *n, *p, q;
Gavin Howard63738202018-09-26 15:34:20 -0600500 size_t len, end, i;
501 BcNum cp;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600502 bool zero = true;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700503
Gavin Howard7536dcf2018-12-15 19:27:09 -0700504 if (b->len == 0) return bc_vm_err(BC_ERROR_MATH_DIVIDE_BY_ZERO);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600505 else if (a->len == 0) {
Gavin Howardf8ddb6d2018-10-22 12:58:53 -0600506 bc_num_setToZero(c, scale);
Gavin Howard63738202018-09-26 15:34:20 -0600507 return BC_STATUS_SUCCESS;
508 }
509 else if (BC_NUM_ONE(b)) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600510 bc_num_copy(c, a);
511 bc_num_retireMul(c, scale, a->neg, b->neg);
512 return BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -0600513 }
Gavin Howardb651f1a2018-02-28 17:34:18 -0700514
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600515 bc_num_init(&cp, BC_NUM_MREQ(a, b, scale));
516 bc_num_copy(&cp, a);
Gavin Howard890d0c02018-10-30 16:34:50 -0600517 len = b->len;
Gavin Howardb651f1a2018-02-28 17:34:18 -0700518
Gavin Howard890d0c02018-10-30 16:34:50 -0600519 if (len > cp.len) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600520 bc_num_expand(&cp, len + 2);
521 bc_num_extend(&cp, len - cp.len);
Gavin Howard63738202018-09-26 15:34:20 -0600522 }
Gavin Howard021150b2018-03-10 15:40:42 -0700523
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600524 if (b->rdx > cp.rdx) bc_num_extend(&cp, b->rdx - cp.rdx);
Gavin Howard63738202018-09-26 15:34:20 -0600525 cp.rdx -= b->rdx;
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600526 if (scale > cp.rdx) bc_num_extend(&cp, scale - cp.rdx);
Gavin Howardb651f1a2018-02-28 17:34:18 -0700527
Gavin Howard63738202018-09-26 15:34:20 -0600528 if (b->rdx == b->len) {
Gavin Howard63738202018-09-26 15:34:20 -0600529 for (i = 0; zero && i < len; ++i) zero = !b->num[len - i - 1];
Gavin Howard34edd0a2018-10-25 15:51:05 -0600530 assert(i != len || !zero);
Gavin Howard63738202018-09-26 15:34:20 -0600531 len -= i - 1;
532 }
Gavin Howardc1a6a342018-03-05 12:10:14 -0700533
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600534 if (cp.cap == cp.len) bc_num_expand(&cp, cp.len + 1);
Gavin Howardb651f1a2018-02-28 17:34:18 -0700535
Gavin Howard63738202018-09-26 15:34:20 -0600536 // We want an extra zero in front to make things simpler.
537 cp.num[cp.len++] = 0;
538 end = cp.len - len;
Gavin Howardac7656d2018-03-01 17:18:40 -0700539
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600540 bc_num_expand(c, cp.len);
Gavin Howardac7656d2018-03-01 17:18:40 -0700541
Gavin Howard63738202018-09-26 15:34:20 -0600542 bc_num_zero(c);
Gavin Howarda2514a02018-10-18 14:20:09 -0600543 memset(c->num + end, 0, (c->cap - end) * sizeof(BcDig));
Gavin Howard63738202018-09-26 15:34:20 -0600544 c->rdx = cp.rdx;
545 c->len = cp.len;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600546 p = b->num;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700547
Gavin Howard112304b2018-12-04 14:30:01 -0700548 for (i = end - 1; !BC_SIGINT && !s && i < end; --i) {
Gavin Howard63738202018-09-26 15:34:20 -0600549 n = cp.num + i;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600550 for (q = 0; (!s && n[len] != 0) || bc_num_compare(n, p, len) >= 0; ++q)
551 s = bc_num_subArrays(n, p, len);
Gavin Howard63738202018-09-26 15:34:20 -0600552 c->num[i] = q;
553 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700554
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600555 if (!s) bc_num_retireMul(c, scale, a->neg, b->neg);
Gavin Howard63738202018-09-26 15:34:20 -0600556 bc_num_free(&cp);
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600557
Gavin Howard63738202018-09-26 15:34:20 -0600558 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700559}
560
Gavin Howard773c86b2018-11-02 14:07:19 -0600561BcStatus bc_num_r(BcNum *a, BcNum *b, BcNum *restrict c,
562 BcNum *restrict d, size_t scale, size_t ts)
Gavin Howard18441082018-10-22 10:03:30 -0600563{
Gavin Howard63738202018-09-26 15:34:20 -0600564 BcStatus s;
Gavin Howard18441082018-10-22 10:03:30 -0600565 BcNum temp;
566 bool neg;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700567
Gavin Howard7536dcf2018-12-15 19:27:09 -0700568 if (b->len == 0) return bc_vm_err(BC_ERROR_MATH_DIVIDE_BY_ZERO);
Gavin Howard8b254872018-03-14 01:13:35 -0600569
Gavin Howard53eba8b2018-10-31 15:14:37 -0600570 if (a->len == 0) {
Gavin Howardf8ddb6d2018-10-22 12:58:53 -0600571 bc_num_setToZero(d, ts);
Gavin Howard63738202018-09-26 15:34:20 -0600572 return BC_STATUS_SUCCESS;
573 }
Gavin Howard8b254872018-03-14 01:13:35 -0600574
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600575 bc_num_init(&temp, d->cap);
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600576 bc_num_d(a, b, c, scale);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700577
Gavin Howard53eba8b2018-10-31 15:14:37 -0600578 if (scale != 0) scale = ts;
Gavin Howard3115c012018-10-04 10:53:56 -0600579
Gavin Howard53eba8b2018-10-31 15:14:37 -0600580 s = bc_num_m(c, b, &temp, scale);
581 if (s) goto err;
582 s = bc_num_sub(a, &temp, d, scale);
583 if (s) goto err;
Gavin Howard5d149cf2018-09-06 13:46:23 -0600584
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600585 if (ts > d->rdx && d->len) bc_num_extend(d, ts - d->rdx);
Gavin Howard18441082018-10-22 10:03:30 -0600586
587 neg = d->neg;
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600588 bc_num_retireMul(d, ts, a->neg, b->neg);
Gavin Howard18441082018-10-22 10:03:30 -0600589 d->neg = neg;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700590
591err:
Gavin Howard18441082018-10-22 10:03:30 -0600592 bc_num_free(&temp);
593 return s;
594}
595
Gavin Howard773c86b2018-11-02 14:07:19 -0600596BcStatus bc_num_rem(BcNum *a, BcNum *b, BcNum *restrict c, size_t scale) {
597
Gavin Howard18441082018-10-22 10:03:30 -0600598 BcStatus s;
599 BcNum c1;
600 size_t ts = BC_MAX(scale + b->rdx, a->rdx), len = BC_NUM_MREQ(a, b, ts);
601
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600602 bc_num_init(&c1, len);
Gavin Howard54b946a2018-10-23 12:06:57 -0600603 s = bc_num_r(a, b, &c1, c, scale, ts);
Gavin Howard63738202018-09-26 15:34:20 -0600604 bc_num_free(&c1);
Gavin Howardd64ce7b2018-10-24 16:20:20 -0600605
Gavin Howard63738202018-09-26 15:34:20 -0600606 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700607}
608
Gavin Howard773c86b2018-11-02 14:07:19 -0600609BcStatus bc_num_p(BcNum *a, BcNum *b, BcNum *restrict c, size_t scale) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700610
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600611 BcStatus s = BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -0600612 BcNum copy;
613 unsigned long pow;
614 size_t i, powrdx, resrdx;
615 bool neg, zero;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700616
Gavin Howardfb14efc2018-12-22 14:01:58 -0700617 if (b->rdx) {
618 bool zero = true;
619 for (i = 0; zero && i < b->rdx; ++i) zero = (b->num[i] == 0);
620 if (!zero) return bc_vm_err(BC_ERROR_MATH_NON_INTEGER);
621 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700622
Gavin Howard53eba8b2018-10-31 15:14:37 -0600623 if (b->len == 0) {
Gavin Howard63738202018-09-26 15:34:20 -0600624 bc_num_one(c);
Gavin Howard61abdbe2018-10-22 13:05:38 -0600625 return BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -0600626 }
Gavin Howard53eba8b2018-10-31 15:14:37 -0600627 else if (a->len == 0) {
Gavin Howardf8ddb6d2018-10-22 12:58:53 -0600628 bc_num_setToZero(c, scale);
Gavin Howard63738202018-09-26 15:34:20 -0600629 return BC_STATUS_SUCCESS;
630 }
631 else if (BC_NUM_ONE(b)) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600632 if (!b->neg) bc_num_copy(c, a);
Gavin Howard63738202018-09-26 15:34:20 -0600633 else s = bc_num_inv(a, c, scale);
Gavin Howard63738202018-09-26 15:34:20 -0600634 return s;
635 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700636
Gavin Howard63738202018-09-26 15:34:20 -0600637 neg = b->neg;
638 b->neg = false;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600639 s = bc_num_ulong(b, &pow);
Gavin Howardfb14efc2018-12-22 14:01:58 -0700640 b->neg = neg;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600641 if (s) return s;
642
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600643 bc_num_init(&copy, a->len);
644 bc_num_copy(&copy, a);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700645
Gavin Howard63738202018-09-26 15:34:20 -0600646 if (!neg) scale = BC_MIN(a->rdx * pow, BC_MAX(scale, a->rdx));
Gavin Howardb29674f2018-03-22 22:24:58 -0600647
Gavin Howard112304b2018-12-04 14:30:01 -0700648 for (powrdx = a->rdx; !BC_SIGINT && !(pow & 1); pow >>= 1) {
Gavin Howard63738202018-09-26 15:34:20 -0600649 powrdx <<= 1;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600650 s = bc_num_mul(&copy, &copy, &copy, powrdx);
651 if (s) goto err;
Gavin Howard63738202018-09-26 15:34:20 -0600652 }
Gavin Howard6fb635f2018-03-03 12:45:42 -0700653
Gavin Howard112304b2018-12-04 14:30:01 -0700654 if (BC_SIGINT) {
Gavin Howard43df94a2018-12-22 10:29:41 -0700655 s = BC_STATUS_SIGNAL;
Gavin Howard63738202018-09-26 15:34:20 -0600656 goto err;
657 }
Gavin Howard6fb635f2018-03-03 12:45:42 -0700658
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600659 bc_num_copy(c, &copy);
660
Gavin Howard112304b2018-12-04 14:30:01 -0700661 for (resrdx = powrdx, pow >>= 1; !BC_SIGINT && pow != 0; pow >>= 1) {
Gavin Howard53eba8b2018-10-31 15:14:37 -0600662
663 powrdx <<= 1;
664 s = bc_num_mul(&copy, &copy, &copy, powrdx);
665 if (s) goto err;
666
Gavin Howard63738202018-09-26 15:34:20 -0600667 if (pow & 1) {
668 resrdx += powrdx;
Gavin Howard53eba8b2018-10-31 15:14:37 -0600669 s = bc_num_mul(c, &copy, c, resrdx);
670 if (s) goto err;
Gavin Howard63738202018-09-26 15:34:20 -0600671 }
672 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700673
Gavin Howard53eba8b2018-10-31 15:14:37 -0600674 if (neg) {
675 s = bc_num_inv(c, c, scale);
676 if (s) goto err;
677 }
678
Gavin Howard112304b2018-12-04 14:30:01 -0700679 if (BC_SIGINT) {
Gavin Howard43df94a2018-12-22 10:29:41 -0700680 s = BC_STATUS_SIGNAL;
Gavin Howard63738202018-09-26 15:34:20 -0600681 goto err;
682 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700683
Gavin Howard63738202018-09-26 15:34:20 -0600684 if (c->rdx > scale) bc_num_truncate(c, c->rdx - scale);
Gavin Howard1d959152018-03-03 23:33:13 -0700685
Gavin Howard53eba8b2018-10-31 15:14:37 -0600686 // We can't use bc_num_clean() here.
Gavin Howard63738202018-09-26 15:34:20 -0600687 for (zero = true, i = 0; zero && i < c->len; ++i) zero = !c->num[i];
Gavin Howardf8ddb6d2018-10-22 12:58:53 -0600688 if (zero) bc_num_setToZero(c, scale);
Gavin Howard1d959152018-03-03 23:33:13 -0700689
Gavin Howard6fbdb292018-02-27 15:44:48 -0700690err:
Gavin Howard63738202018-09-26 15:34:20 -0600691 bc_num_free(&copy);
692 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700693}
694
Gavin Howard773c86b2018-11-02 14:07:19 -0600695BcStatus bc_num_binary(BcNum *a, BcNum *b, BcNum *c, size_t scale,
696 BcNumBinaryOp op, size_t req)
Gavin Howard6fbdb292018-02-27 15:44:48 -0700697{
Gavin Howarda1c44392018-09-27 12:41:15 -0600698 BcStatus s;
Gavin Howard63738202018-09-26 15:34:20 -0600699 BcNum num2, *ptr_a, *ptr_b;
700 bool init = false;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700701
Gavin Howard63738202018-09-26 15:34:20 -0600702 assert(a && b && c && op);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700703
Gavin Howard890d0c02018-10-30 16:34:50 -0600704 if (c == a) {
Gavin Howard63738202018-09-26 15:34:20 -0600705 ptr_a = &num2;
Gavin Howardba009802018-09-29 04:41:51 -0600706 memcpy(ptr_a, c, sizeof(BcNum));
Gavin Howard890d0c02018-10-30 16:34:50 -0600707 init = true;
Gavin Howard63738202018-09-26 15:34:20 -0600708 }
709 else ptr_a = a;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700710
Gavin Howard63738202018-09-26 15:34:20 -0600711 if (c == b) {
Gavin Howardba009802018-09-29 04:41:51 -0600712 ptr_b = &num2;
Gavin Howardba009802018-09-29 04:41:51 -0600713 if (c != a) {
714 memcpy(ptr_b, c, sizeof(BcNum));
Gavin Howard63738202018-09-26 15:34:20 -0600715 init = true;
716 }
717 }
718 else ptr_b = b;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700719
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600720 if (init) bc_num_init(c, req);
721 else bc_num_expand(c, req);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700722
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600723 s = op(ptr_a, ptr_b, c, scale);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700724
Gavin Howard3cf769e2018-10-11 13:55:11 -0600725 assert(!c->neg || c->len);
726
Gavin Howardba009802018-09-29 04:41:51 -0600727 if (init) bc_num_free(&num2);
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600728
Gavin Howarda1c44392018-09-27 12:41:15 -0600729 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700730}
731
Gavin Howard773c86b2018-11-02 14:07:19 -0600732bool bc_num_strValid(const char *val, size_t base) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700733
Gavin Howard8a921bd2018-10-11 14:15:32 -0600734 BcDig b;
Gavin Howard63738202018-09-26 15:34:20 -0600735 bool small, radix = false;
736 size_t i, len = strlen(val);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700737
Gavin Howard63738202018-09-26 15:34:20 -0600738 if (!len) return true;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700739
Gavin Howard63738202018-09-26 15:34:20 -0600740 small = base <= 10;
Gavin Howard34edd0a2018-10-25 15:51:05 -0600741 b = (BcDig) (small ? base + '0' : base - 10 + 'A');
Gavin Howard6fbdb292018-02-27 15:44:48 -0700742
Gavin Howard63738202018-09-26 15:34:20 -0600743 for (i = 0; i < len; ++i) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700744
Gavin Howard8a921bd2018-10-11 14:15:32 -0600745 BcDig c = val[i];
Gavin Howardf6e3fb32018-08-09 13:48:59 -0600746
Gavin Howard63738202018-09-26 15:34:20 -0600747 if (c == '.') {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700748
Gavin Howard63738202018-09-26 15:34:20 -0600749 if (radix) return false;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700750
Gavin Howard63738202018-09-26 15:34:20 -0600751 radix = true;
752 continue;
753 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700754
Gavin Howard63738202018-09-26 15:34:20 -0600755 if (c < '0' || (small && c >= b) || (c > '9' && (c < 'A' || c >= b)))
756 return false;
757 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700758
Gavin Howard63738202018-09-26 15:34:20 -0600759 return true;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700760}
761
Gavin Howard773c86b2018-11-02 14:07:19 -0600762void bc_num_parseDecimal(BcNum *n, const char *val) {
Gavin Howard6fbdb292018-02-27 15:44:48 -0700763
Gavin Howard63738202018-09-26 15:34:20 -0600764 size_t len, i;
765 const char *ptr;
766 bool zero = true;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700767
Gavin Howard63738202018-09-26 15:34:20 -0600768 for (i = 0; val[i] == '0'; ++i);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700769
Gavin Howard63738202018-09-26 15:34:20 -0600770 val += i;
771 len = strlen(val);
772 bc_num_zero(n);
Gavin Howard6fbdb292018-02-27 15:44:48 -0700773
Gavin Howard53eba8b2018-10-31 15:14:37 -0600774 if (len != 0) {
Gavin Howard63738202018-09-26 15:34:20 -0600775 for (i = 0; zero && i < len; ++i) zero = val[i] == '0' || val[i] == '.';
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600776 bc_num_expand(n, len);
Gavin Howard63738202018-09-26 15:34:20 -0600777 }
Gavin Howard9c4358c2018-03-22 20:11:28 -0600778
Gavin Howard63738202018-09-26 15:34:20 -0600779 ptr = strchr(val, '.');
Gavin Howard6fbdb292018-02-27 15:44:48 -0700780
Gavin Howard63738202018-09-26 15:34:20 -0600781 // Explicitly test for NULL here to produce either a 0 or 1.
782 n->rdx = (size_t) ((ptr != NULL) * ((val + len) - (ptr + 1)));
Gavin Howard6fbdb292018-02-27 15:44:48 -0700783
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600784 if (!zero) {
785 for (i = len - 1; i < len; ++n->len, i -= 1 + (i && val[i - 1] == '.'))
786 n->num[n->len] = val[i] - '0';
787 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700788}
789
Gavin Howard7536dcf2018-12-15 19:27:09 -0700790BcStatus bc_num_parseBase(BcNum *n, const char *val, BcNum *base) {
Gavin Howardede51f02018-03-02 12:30:00 -0700791
Gavin Howard63738202018-09-26 15:34:20 -0600792 BcStatus s;
793 BcNum temp, mult, result;
Gavin Howard8a921bd2018-10-11 14:15:32 -0600794 BcDig c = '\0';
Gavin Howard11b9afd2018-10-18 14:23:28 -0600795 bool zero = true;
Gavin Howard63738202018-09-26 15:34:20 -0600796 unsigned long v;
797 size_t i, digits, len = strlen(val);
Gavin Howardede51f02018-03-02 12:30:00 -0700798
Gavin Howard63738202018-09-26 15:34:20 -0600799 bc_num_zero(n);
Gavin Howardede51f02018-03-02 12:30:00 -0700800
Gavin Howard11b9afd2018-10-18 14:23:28 -0600801 for (i = 0; zero && i < len; ++i) zero = (val[i] == '.' || val[i] == '0');
Gavin Howard7536dcf2018-12-15 19:27:09 -0700802 if (zero) return BC_STATUS_SUCCESS;
Gavin Howardede51f02018-03-02 12:30:00 -0700803
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600804 bc_num_init(&temp, BC_NUM_DEF_SIZE);
805 bc_num_init(&mult, BC_NUM_DEF_SIZE);
Gavin Howardede51f02018-03-02 12:30:00 -0700806
Gavin Howard53eba8b2018-10-31 15:14:37 -0600807 for (i = 0; i < len; ++i) {
808
809 c = val[i];
810 if (c == '.') break;
Gavin Howardede51f02018-03-02 12:30:00 -0700811
Gavin Howard63738202018-09-26 15:34:20 -0600812 v = (unsigned long) (c <= '9' ? c - '0' : c - 'A' + 10);
Gavin Howardfcb6ebb2018-03-09 10:41:06 -0700813
Gavin Howard53eba8b2018-10-31 15:14:37 -0600814 s = bc_num_mul(n, base, &mult, 0);
815 if (s) goto int_err;
Gavin Howard705c4bc2018-12-03 15:38:04 -0700816 bc_num_ulong2num(&temp, v);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600817 s = bc_num_add(&mult, &temp, n, 0);
818 if (s) goto int_err;
Gavin Howard63738202018-09-26 15:34:20 -0600819 }
Gavin Howardede51f02018-03-02 12:30:00 -0700820
Gavin Howard53eba8b2018-10-31 15:14:37 -0600821 if (i == len) {
822 c = val[i];
823 if (c == 0) goto int_err;
824 }
825
Gavin Howard63738202018-09-26 15:34:20 -0600826 assert(c == '.');
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600827 bc_num_init(&result, base->len);
Gavin Howard63738202018-09-26 15:34:20 -0600828 bc_num_one(&mult);
Gavin Howardede51f02018-03-02 12:30:00 -0700829
Gavin Howard53eba8b2018-10-31 15:14:37 -0600830 for (i += 1, digits = 0; i < len; ++i, ++digits) {
831
832 c = val[i];
833 if (c == 0) break;
Gavin Howardede51f02018-03-02 12:30:00 -0700834
Gavin Howard63738202018-09-26 15:34:20 -0600835 v = (unsigned long) (c <= '9' ? c - '0' : c - 'A' + 10);
Gavin Howardede51f02018-03-02 12:30:00 -0700836
Gavin Howard53eba8b2018-10-31 15:14:37 -0600837 s = bc_num_mul(&result, base, &result, 0);
838 if (s) goto err;
Gavin Howard705c4bc2018-12-03 15:38:04 -0700839 bc_num_ulong2num(&temp, v);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600840 s = bc_num_add(&result, &temp, &result, 0);
841 if (s) goto err;
842 s = bc_num_mul(&mult, base, &mult, 0);
843 if (s) goto err;
Gavin Howard63738202018-09-26 15:34:20 -0600844 }
Gavin Howardede51f02018-03-02 12:30:00 -0700845
Gavin Howard53eba8b2018-10-31 15:14:37 -0600846 s = bc_num_div(&result, &mult, &result, digits);
847 if (s) goto err;
848 s = bc_num_add(n, &result, n, digits);
849 if (s) goto err;
Gavin Howard5b24c3f2018-03-13 23:57:15 -0600850
Gavin Howard53eba8b2018-10-31 15:14:37 -0600851 if (n->len != 0) {
852 if (n->rdx < digits) bc_num_extend(n, digits - n->rdx);
Gavin Howard63738202018-09-26 15:34:20 -0600853 }
854 else bc_num_zero(n);
Gavin Howardede51f02018-03-02 12:30:00 -0700855
856err:
Gavin Howard63738202018-09-26 15:34:20 -0600857 bc_num_free(&result);
Gavin Howardede51f02018-03-02 12:30:00 -0700858int_err:
Gavin Howard63738202018-09-26 15:34:20 -0600859 bc_num_free(&mult);
Gavin Howard63738202018-09-26 15:34:20 -0600860 bc_num_free(&temp);
Gavin Howard7536dcf2018-12-15 19:27:09 -0700861 return s;
Gavin Howard6fbdb292018-02-27 15:44:48 -0700862}
863
Gavin Howard70e3d602018-12-11 11:00:49 -0700864void bc_num_printNewline(size_t *nchars) {
865 if (*nchars == vm->line_len - 1) {
Gavin Howard48af52e2018-10-30 14:47:38 -0600866 bc_vm_putchar('\\');
867 bc_vm_putchar('\n');
Gavin Howard63738202018-09-26 15:34:20 -0600868 *nchars = 0;
869 }
Gavin Howard80977b22018-09-06 14:29:13 -0600870}
871
Gavin Howard40a085f2018-12-03 12:08:59 -0700872#if DC_ENABLED
Gavin Howard70e3d602018-12-11 11:00:49 -0700873void bc_num_printChar(size_t num, size_t width, bool radix, size_t *nchars)
Gavin Howard83eb8392018-10-09 01:21:19 -0600874{
Gavin Howard70e3d602018-12-11 11:00:49 -0700875 (void) radix;
Gavin Howard954f9b62018-12-19 15:22:20 -0700876 bc_vm_putchar((uchar) num);
Gavin Howard83eb8392018-10-09 01:21:19 -0600877 *nchars = *nchars + width;
Gavin Howard83eb8392018-10-09 01:21:19 -0600878}
879#endif // DC_ENABLED
880
Gavin Howard70e3d602018-12-11 11:00:49 -0700881void bc_num_printDigits(size_t num, size_t width, bool radix, size_t *nchars) {
882
Gavin Howarda84ad992018-12-03 19:11:06 -0700883 size_t exp, pow;
Gavin Howard80977b22018-09-06 14:29:13 -0600884
Gavin Howard70e3d602018-12-11 11:00:49 -0700885 bc_num_printNewline(nchars);
Gavin Howard48af52e2018-10-30 14:47:38 -0600886 bc_vm_putchar(radix ? '.' : ' ');
Gavin Howard63738202018-09-26 15:34:20 -0600887 ++(*nchars);
Gavin Howard2ed2bfb2018-03-14 02:42:32 -0600888
Gavin Howard70e3d602018-12-11 11:00:49 -0700889 bc_num_printNewline(nchars);
Gavin Howard63738202018-09-26 15:34:20 -0600890 for (exp = 0, pow = 1; exp < width - 1; ++exp, pow *= 10);
Gavin Howard2ed2bfb2018-03-14 02:42:32 -0600891
Gavin Howard63738202018-09-26 15:34:20 -0600892 for (exp = 0; exp < width; pow /= 10, ++(*nchars), ++exp) {
Gavin Howarda84ad992018-12-03 19:11:06 -0700893 size_t dig;
Gavin Howard70e3d602018-12-11 11:00:49 -0700894 bc_num_printNewline(nchars);
Gavin Howarda84ad992018-12-03 19:11:06 -0700895 dig = num / pow;
896 num -= dig * pow;
Gavin Howard954f9b62018-12-19 15:22:20 -0700897 bc_vm_putchar(((uchar) dig) + '0');
Gavin Howard63738202018-09-26 15:34:20 -0600898 }
Gavin Howard6fbdb292018-02-27 15:44:48 -0700899}
Gavin Howardfe679f02018-02-14 15:50:09 -0700900
Gavin Howard70e3d602018-12-11 11:00:49 -0700901void bc_num_printHex(size_t num, size_t width, bool radix, size_t *nchars) {
902
Gavin Howard63738202018-09-26 15:34:20 -0600903 assert(width == 1);
Gavin Howard80977b22018-09-06 14:29:13 -0600904
Gavin Howard63738202018-09-26 15:34:20 -0600905 if (radix) {
Gavin Howard70e3d602018-12-11 11:00:49 -0700906 bc_num_printNewline(nchars);
Gavin Howard48af52e2018-10-30 14:47:38 -0600907 bc_vm_putchar('.');
Gavin Howard63738202018-09-26 15:34:20 -0600908 *nchars += 1;
909 }
Gavin Howard2682a1f2018-03-03 09:09:13 -0700910
Gavin Howard70e3d602018-12-11 11:00:49 -0700911 bc_num_printNewline(nchars);
Gavin Howard48af52e2018-10-30 14:47:38 -0600912 bc_vm_putchar(bc_num_hex_digits[num]);
Gavin Howard63738202018-09-26 15:34:20 -0600913 *nchars = *nchars + width;
Gavin Howard2682a1f2018-03-03 09:09:13 -0700914}
915
Gavin Howard70e3d602018-12-11 11:00:49 -0700916void bc_num_printDecimal(BcNum *n, size_t *nchars) {
Gavin Howard32f2beb2018-03-09 11:43:20 -0700917
Gavin Howard63738202018-09-26 15:34:20 -0600918 size_t i, rdx = n->rdx - 1;
Gavin Howard32f2beb2018-03-09 11:43:20 -0700919
Gavin Howard48af52e2018-10-30 14:47:38 -0600920 if (n->neg) bc_vm_putchar('-');
Gavin Howard63738202018-09-26 15:34:20 -0600921 (*nchars) += n->neg;
Gavin Howard32f2beb2018-03-09 11:43:20 -0700922
Gavin Howard48af52e2018-10-30 14:47:38 -0600923 for (i = n->len - 1; i < n->len; --i)
Gavin Howard70e3d602018-12-11 11:00:49 -0700924 bc_num_printHex((size_t) n->num[i], 1, i == rdx, nchars);
Gavin Howard32f2beb2018-03-09 11:43:20 -0700925}
926
Gavin Howard70e3d602018-12-11 11:00:49 -0700927BcStatus bc_num_printNum(BcNum *n, BcNum *base, size_t width,
928 size_t *nchars, BcNumDigitOp print)
Gavin Howardbc7cae82018-03-14 13:43:04 -0600929{
Gavin Howard63738202018-09-26 15:34:20 -0600930 BcStatus s;
931 BcVec stack;
932 BcNum intp, fracp, digit, frac_len;
Gavin Howard63738202018-09-26 15:34:20 -0600933 unsigned long dig, *ptr;
Gavin Howard83eb8392018-10-09 01:21:19 -0600934 size_t i;
935 bool radix;
Gavin Howard2682a1f2018-03-03 09:09:13 -0700936
Gavin Howard53eba8b2018-10-31 15:14:37 -0600937 if (n->len == 0) {
Gavin Howard70e3d602018-12-11 11:00:49 -0700938 print(0, width, false, nchars);
Gavin Howard48af52e2018-10-30 14:47:38 -0600939 return BC_STATUS_SUCCESS;
940 }
Gavin Howard9a4b6cd2018-10-23 15:13:30 -0600941
Gavin Howardd3929832018-12-24 15:13:15 -0700942 bc_vec_init(&stack, sizeof(unsigned long), NULL);
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600943 bc_num_init(&intp, n->len);
944 bc_num_init(&fracp, n->rdx);
945 bc_num_init(&digit, width);
946 bc_num_init(&frac_len, BC_NUM_INT(n));
947 bc_num_copy(&intp, n);
Gavin Howard63738202018-09-26 15:34:20 -0600948 bc_num_one(&frac_len);
Gavin Howarda50fc542018-03-29 17:25:38 -0600949
Gavin Howard63738202018-09-26 15:34:20 -0600950 bc_num_truncate(&intp, intp.rdx);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600951 s = bc_num_sub(n, &intp, &fracp, 0);
952 if (s) goto err;
Gavin Howard2682a1f2018-03-03 09:09:13 -0700953
Gavin Howard53eba8b2018-10-31 15:14:37 -0600954 while (intp.len != 0) {
955 s = bc_num_divmod(&intp, base, &intp, &digit, 0);
956 if (s) goto err;
957 s = bc_num_ulong(&digit, &dig);
958 if (s) goto err;
Gavin Howardad0ecfe2018-10-30 01:16:01 -0600959 bc_vec_push(&stack, &dig);
Gavin Howard63738202018-09-26 15:34:20 -0600960 }
Gavin Howard2682a1f2018-03-03 09:09:13 -0700961
Gavin Howard63738202018-09-26 15:34:20 -0600962 for (i = 0; i < stack.len; ++i) {
963 ptr = bc_vec_item_rev(&stack, i);
964 assert(ptr);
Gavin Howard70e3d602018-12-11 11:00:49 -0700965 print(*ptr, width, false, nchars);
Gavin Howard63738202018-09-26 15:34:20 -0600966 }
Gavin Howard2682a1f2018-03-03 09:09:13 -0700967
Gavin Howard63738202018-09-26 15:34:20 -0600968 if (!n->rdx) goto err;
Gavin Howard2682a1f2018-03-03 09:09:13 -0700969
Gavin Howard63738202018-09-26 15:34:20 -0600970 for (radix = true; frac_len.len <= n->rdx; radix = false) {
Gavin Howard53eba8b2018-10-31 15:14:37 -0600971 s = bc_num_mul(&fracp, base, &fracp, n->rdx);
972 if (s) goto err;
973 s = bc_num_ulong(&fracp, &dig);
974 if (s) goto err;
Gavin Howard705c4bc2018-12-03 15:38:04 -0700975 bc_num_ulong2num(&intp, dig);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600976 s = bc_num_sub(&fracp, &intp, &fracp, 0);
977 if (s) goto err;
Gavin Howard70e3d602018-12-11 11:00:49 -0700978 print(dig, width, radix, nchars);
Gavin Howard53eba8b2018-10-31 15:14:37 -0600979 s = bc_num_mul(&frac_len, base, &frac_len, 0);
980 if (s) goto err;
Gavin Howard63738202018-09-26 15:34:20 -0600981 }
Gavin Howard2682a1f2018-03-03 09:09:13 -0700982
983err:
Gavin Howard63738202018-09-26 15:34:20 -0600984 bc_num_free(&frac_len);
Gavin Howard63738202018-09-26 15:34:20 -0600985 bc_num_free(&digit);
Gavin Howard63738202018-09-26 15:34:20 -0600986 bc_num_free(&fracp);
Gavin Howard63738202018-09-26 15:34:20 -0600987 bc_num_free(&intp);
Gavin Howard63738202018-09-26 15:34:20 -0600988 bc_vec_free(&stack);
Gavin Howard63738202018-09-26 15:34:20 -0600989 return s;
Gavin Howard2682a1f2018-03-03 09:09:13 -0700990}
991
Gavin Howard70e3d602018-12-11 11:00:49 -0700992BcStatus bc_num_printBase(BcNum *n, BcNum *base, size_t base_t, size_t *nchars)
Gavin Howard83eb8392018-10-09 01:21:19 -0600993{
994 BcStatus s;
995 size_t width, i;
996 BcNumDigitOp print;
997 bool neg = n->neg;
998
Gavin Howard48af52e2018-10-30 14:47:38 -0600999 if (neg) bc_vm_putchar('-');
Gavin Howard83eb8392018-10-09 01:21:19 -06001000 (*nchars) += neg;
1001
1002 n->neg = false;
1003
1004 if (base_t <= BC_NUM_MAX_IBASE) {
1005 width = 1;
1006 print = bc_num_printHex;
1007 }
1008 else {
1009 for (i = base_t - 1, width = 0; i != 0; i /= 10, ++width);
1010 print = bc_num_printDigits;
1011 }
1012
Gavin Howard70e3d602018-12-11 11:00:49 -07001013 s = bc_num_printNum(n, base, width, nchars, print);
Gavin Howard83eb8392018-10-09 01:21:19 -06001014 n->neg = neg;
1015
1016 return s;
1017}
1018
Gavin Howard40a085f2018-12-03 12:08:59 -07001019#if DC_ENABLED
Gavin Howard70e3d602018-12-11 11:00:49 -07001020BcStatus bc_num_stream(BcNum *n, BcNum *base, size_t *nchars) {
1021 return bc_num_printNum(n, base, 1, nchars, bc_num_printChar);
Gavin Howard83eb8392018-10-09 01:21:19 -06001022}
1023#endif // DC_ENABLED
1024
Gavin Howardb8a12922018-12-21 21:40:45 -07001025void bc_num_setup(BcNum *n, BcDig *num, size_t cap) {
1026 assert(n);
1027 n->num = num;
1028 n->cap = cap;
1029 n->rdx = n->len = 0;
1030 n->neg = false;
1031}
1032
Gavin Howard53eba8b2018-10-31 15:14:37 -06001033void bc_num_init(BcNum *n, size_t req) {
Gavin Howard63738202018-09-26 15:34:20 -06001034 assert(n);
Gavin Howard53eba8b2018-10-31 15:14:37 -06001035 req = req >= BC_NUM_DEF_SIZE ? req : BC_NUM_DEF_SIZE;
Gavin Howardb8a12922018-12-21 21:40:45 -07001036 bc_num_setup(n, bc_vm_malloc(req), req);
Gavin Howardb5c77212018-02-14 17:12:34 -07001037}
1038
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001039void bc_num_expand(BcNum *n, size_t req) {
Gavin Howard844e7a52018-10-09 11:46:39 -06001040 assert(n);
Gavin Howard53eba8b2018-10-31 15:14:37 -06001041 req = req >= BC_NUM_DEF_SIZE ? req : BC_NUM_DEF_SIZE;
1042 if (req > n->cap) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001043 n->num = bc_vm_realloc(n->num, req);
1044 n->cap = req;
1045 }
Gavin Howardb5c77212018-02-14 17:12:34 -07001046}
1047
Gavin Howarded392aa2018-02-27 13:09:26 -07001048void bc_num_free(void *num) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001049 assert(num);
1050 free(((BcNum*) num)->num);
Gavin Howardb5c77212018-02-14 17:12:34 -07001051}
1052
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001053void bc_num_copy(BcNum *d, BcNum *s) {
Gavin Howard5a049c42018-02-15 11:24:11 -07001054
Gavin Howard63738202018-09-26 15:34:20 -06001055 assert(d && s);
Gavin Howardf23448c2018-02-27 20:36:24 -07001056
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001057 if (d != s) {
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001058 bc_num_expand(d, s->cap);
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001059 d->len = s->len;
1060 d->neg = s->neg;
1061 d->rdx = s->rdx;
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001062 memcpy(d->num, s->num, sizeof(BcDig) * d->len);
1063 }
Gavin Howard5a049c42018-02-15 11:24:11 -07001064}
1065
Gavin Howard5cea43b2018-03-02 11:32:11 -07001066BcStatus bc_num_parse(BcNum *n, const char *val, BcNum *base, size_t base_t) {
Gavin Howard025d04d2018-02-20 13:53:28 -07001067
Gavin Howard7536dcf2018-12-15 19:27:09 -07001068 BcStatus s = BC_STATUS_SUCCESS;
1069
Gavin Howard63738202018-09-26 15:34:20 -06001070 assert(n && val && base);
1071 assert(base_t >= BC_NUM_MIN_BASE && base_t <= BC_NUM_MAX_IBASE);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001072
Gavin Howard7536dcf2018-12-15 19:27:09 -07001073 if (!bc_num_strValid(val, base_t)) return bc_vm_err(BC_ERROR_MATH_STRING);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001074
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001075 if (base_t == 10) bc_num_parseDecimal(n, val);
Gavin Howard7536dcf2018-12-15 19:27:09 -07001076 else s = bc_num_parseBase(n, val, base);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001077
Gavin Howard7536dcf2018-12-15 19:27:09 -07001078 return s;
Gavin Howard3eb626f2018-02-14 13:54:35 -07001079}
1080
Gavin Howard70e3d602018-12-11 11:00:49 -07001081BcStatus bc_num_print(BcNum *n, BcNum *base, size_t base_t,
1082 bool newline, size_t *nchars)
Gavin Howard152f3e82018-03-07 12:33:15 -07001083{
Gavin Howard48af52e2018-10-30 14:47:38 -06001084 BcStatus s = BC_STATUS_SUCCESS;
Gavin Howard3eb626f2018-02-14 13:54:35 -07001085
Gavin Howard63738202018-09-26 15:34:20 -06001086 assert(n && base && nchars);
1087 assert(base_t >= BC_NUM_MIN_BASE && base_t <= BC_MAX_OBASE);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001088
Gavin Howard70e3d602018-12-11 11:00:49 -07001089 bc_num_printNewline(nchars);
Gavin Howardbc7cae82018-03-14 13:43:04 -06001090
Gavin Howard53eba8b2018-10-31 15:14:37 -06001091 if (n->len == 0) {
Gavin Howard48af52e2018-10-30 14:47:38 -06001092 bc_vm_putchar('0');
Gavin Howarde9f73312018-10-24 17:11:03 -06001093 ++(*nchars);
1094 }
Gavin Howard70e3d602018-12-11 11:00:49 -07001095 else if (base_t == 10) bc_num_printDecimal(n, nchars);
1096 else s = bc_num_printBase(n, base, base_t, nchars);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001097
Gavin Howard63738202018-09-26 15:34:20 -06001098 if (newline) {
Gavin Howard48af52e2018-10-30 14:47:38 -06001099 bc_vm_putchar('\n');
Gavin Howard63738202018-09-26 15:34:20 -06001100 *nchars = 0;
1101 }
Gavin Howard152f3e82018-03-07 12:33:15 -07001102
Gavin Howard63738202018-09-26 15:34:20 -06001103 return s;
Gavin Howard3eb626f2018-02-14 13:54:35 -07001104}
1105
Gavin Howard8d1f1db2018-02-23 11:29:41 -07001106BcStatus bc_num_ulong(BcNum *n, unsigned long *result) {
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001107
Gavin Howard63738202018-09-26 15:34:20 -06001108 size_t i;
Gavin Howard7b557da2018-12-21 10:25:32 -07001109 unsigned long pow, r;
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001110
Gavin Howard63738202018-09-26 15:34:20 -06001111 assert(n && result);
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001112
Gavin Howarded38e942018-12-21 15:09:13 -07001113 // Make sure this is initialized.
1114 *result = 0;
1115
Gavin Howard7536dcf2018-12-15 19:27:09 -07001116 if (n->neg) return bc_vm_err(BC_ERROR_MATH_NEGATIVE);
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001117
Gavin Howard7b557da2018-12-21 10:25:32 -07001118 for (r = 0, pow = 1, i = n->rdx; i < n->len; ++i) {
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001119
Gavin Howard7b557da2018-12-21 10:25:32 -07001120 unsigned long prev = r, powprev = pow;
Gavin Howard88c25302018-10-17 13:32:23 -06001121
Gavin Howard7b557da2018-12-21 10:25:32 -07001122 r += ((unsigned long) n->num[i]) * pow;
Gavin Howard63738202018-09-26 15:34:20 -06001123 pow *= 10;
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001124
Gavin Howard7b557da2018-12-21 10:25:32 -07001125 if (r < prev || pow < powprev) return bc_vm_err(BC_ERROR_MATH_OVERFLOW);
Gavin Howard63738202018-09-26 15:34:20 -06001126 }
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001127
Gavin Howard7b557da2018-12-21 10:25:32 -07001128 *result = r;
Gavin Howardd3a1c392018-12-11 12:00:57 -07001129
Gavin Howard63738202018-09-26 15:34:20 -06001130 return BC_STATUS_SUCCESS;
Gavin Howard68b8a5c2018-02-15 11:41:24 -07001131}
1132
Gavin Howard705c4bc2018-12-03 15:38:04 -07001133void bc_num_ulong2num(BcNum *n, unsigned long val) {
Gavin Howard8e2cc692018-02-15 17:39:14 -07001134
Gavin Howardec82bdc2018-10-08 23:50:57 -06001135 size_t len;
Gavin Howard8a921bd2018-10-11 14:15:32 -06001136 BcDig *ptr;
Gavin Howardec82bdc2018-10-08 23:50:57 -06001137 unsigned long i;
Gavin Howard8e2cc692018-02-15 17:39:14 -07001138
Gavin Howard63738202018-09-26 15:34:20 -06001139 assert(n);
Gavin Howard8e2cc692018-02-15 17:39:14 -07001140
Gavin Howard63738202018-09-26 15:34:20 -06001141 bc_num_zero(n);
Gavin Howard025d04d2018-02-20 13:53:28 -07001142
Gavin Howard705c4bc2018-12-03 15:38:04 -07001143 if (val == 0) return;
Gavin Howard8e2cc692018-02-15 17:39:14 -07001144
Gavin Howard7a3e7a72018-12-21 21:41:19 -07001145 for (len = 1, i = ULONG_MAX; i != 0; i /= 10, ++len);
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001146 bc_num_expand(n, len);
Gavin Howardec82bdc2018-10-08 23:50:57 -06001147 for (ptr = n->num, i = 0; val; ++i, ++n->len, val /= 10) ptr[i] = val % 10;
Gavin Howard025d04d2018-02-20 13:53:28 -07001148}
1149
Gavin Howard12fe7812018-09-29 03:45:18 -06001150BcStatus bc_num_add(BcNum *a, BcNum *b, BcNum *c, size_t scale) {
Gavin Howard54b946a2018-10-23 12:06:57 -06001151 BcNumBinaryOp op = (!a->neg == !b->neg) ? bc_num_a : bc_num_s;
Gavin Howardf8f232b2018-10-11 17:29:47 -06001152 (void) scale;
Gavin Howard12fe7812018-09-29 03:45:18 -06001153 return bc_num_binary(a, b, c, false, op, BC_NUM_AREQ(a, b));
Gavin Howard3eb626f2018-02-14 13:54:35 -07001154}
1155
Gavin Howard12fe7812018-09-29 03:45:18 -06001156BcStatus bc_num_sub(BcNum *a, BcNum *b, BcNum *c, size_t scale) {
Gavin Howard54b946a2018-10-23 12:06:57 -06001157 BcNumBinaryOp op = (!a->neg == !b->neg) ? bc_num_s : bc_num_a;
Gavin Howardf8f232b2018-10-11 17:29:47 -06001158 (void) scale;
Gavin Howard12fe7812018-09-29 03:45:18 -06001159 return bc_num_binary(a, b, c, true, op, BC_NUM_AREQ(a, b));
Gavin Howard3eb626f2018-02-14 13:54:35 -07001160}
1161
Gavin Howard12fe7812018-09-29 03:45:18 -06001162BcStatus bc_num_mul(BcNum *a, BcNum *b, BcNum *c, size_t scale) {
Gavin Howard63738202018-09-26 15:34:20 -06001163 size_t req = BC_NUM_MREQ(a, b, scale);
Gavin Howard54b946a2018-10-23 12:06:57 -06001164 return bc_num_binary(a, b, c, scale, bc_num_m, req);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001165}
1166
Gavin Howard12fe7812018-09-29 03:45:18 -06001167BcStatus bc_num_div(BcNum *a, BcNum *b, BcNum *c, size_t scale) {
Gavin Howard63738202018-09-26 15:34:20 -06001168 size_t req = BC_NUM_MREQ(a, b, scale);
Gavin Howard54b946a2018-10-23 12:06:57 -06001169 return bc_num_binary(a, b, c, scale, bc_num_d, req);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001170}
1171
Gavin Howard54b946a2018-10-23 12:06:57 -06001172BcStatus bc_num_mod(BcNum *a, BcNum *b, BcNum *c, size_t scale) {
Gavin Howard63738202018-09-26 15:34:20 -06001173 size_t req = BC_NUM_MREQ(a, b, scale);
Gavin Howard54b946a2018-10-23 12:06:57 -06001174 return bc_num_binary(a, b, c, scale, bc_num_rem, req);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001175}
1176
Gavin Howard12fe7812018-09-29 03:45:18 -06001177BcStatus bc_num_pow(BcNum *a, BcNum *b, BcNum *c, size_t scale) {
Gavin Howard54b946a2018-10-23 12:06:57 -06001178 return bc_num_binary(a, b, c, scale, bc_num_p, a->len * b->len + 1);
Gavin Howard3eb626f2018-02-14 13:54:35 -07001179}
1180
Gavin Howard34edd0a2018-10-25 15:51:05 -06001181BcStatus bc_num_sqrt(BcNum *a, BcNum *restrict b, size_t scale) {
Gavin Howard954276b2018-05-16 01:43:58 -06001182
Gavin Howard63738202018-09-26 15:34:20 -06001183 BcStatus s;
Gavin Howard34edd0a2018-10-25 15:51:05 -06001184 BcNum num1, num2, half, f, fprime, *x0, *x1, *temp;
Gavin Howardb5ec7f32018-10-29 12:32:39 -06001185 size_t pow, len, digs, digs1, resrdx, req, times = 0;
Gavin Howard9f2395b2018-10-06 05:28:58 -06001186 ssize_t cmp = 1, cmp1 = SSIZE_MAX, cmp2 = SSIZE_MAX;
Gavin Howard954276b2018-05-16 01:43:58 -06001187
Gavin Howard34edd0a2018-10-25 15:51:05 -06001188 assert(a && b && a != b);
Gavin Howard954276b2018-05-16 01:43:58 -06001189
Gavin Howardd8d60c42018-10-29 12:13:09 -06001190 req = BC_MAX(scale, a->rdx) + ((BC_NUM_INT(a) + 1) >> 1) + 1;
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001191 bc_num_expand(b, req);
Gavin Howard954276b2018-05-16 01:43:58 -06001192
Gavin Howard53eba8b2018-10-31 15:14:37 -06001193 if (a->len == 0) {
Gavin Howardf8ddb6d2018-10-22 12:58:53 -06001194 bc_num_setToZero(b, scale);
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001195 return BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -06001196 }
Gavin Howard7536dcf2018-12-15 19:27:09 -07001197 else if (a->neg) return bc_vm_err(BC_ERROR_MATH_NEGATIVE);
Gavin Howard63738202018-09-26 15:34:20 -06001198 else if (BC_NUM_ONE(a)) {
Gavin Howard757b66a2018-10-06 04:13:46 -06001199 bc_num_one(b);
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001200 bc_num_extend(b, scale);
1201 return BC_STATUS_SUCCESS;
Gavin Howard63738202018-09-26 15:34:20 -06001202 }
Gavin Howard954276b2018-05-16 01:43:58 -06001203
Gavin Howard890d0c02018-10-30 16:34:50 -06001204 scale = BC_MAX(scale, a->rdx) + 1;
1205 len = a->len + scale;
Gavin Howard954276b2018-05-16 01:43:58 -06001206
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001207 bc_num_init(&num1, len);
1208 bc_num_init(&num2, len);
1209 bc_num_init(&half, BC_NUM_DEF_SIZE);
Gavin Howard954276b2018-05-16 01:43:58 -06001210
Gavin Howard63738202018-09-26 15:34:20 -06001211 bc_num_one(&half);
1212 half.num[0] = 5;
1213 half.rdx = 1;
Gavin Howard954276b2018-05-16 01:43:58 -06001214
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001215 bc_num_init(&f, len);
1216 bc_num_init(&fprime, len);
Gavin Howard954276b2018-05-16 01:43:58 -06001217
Gavin Howard63738202018-09-26 15:34:20 -06001218 x0 = &num1;
1219 x1 = &num2;
Gavin Howard954276b2018-05-16 01:43:58 -06001220
Gavin Howard63738202018-09-26 15:34:20 -06001221 bc_num_one(x0);
Gavin Howard53eba8b2018-10-31 15:14:37 -06001222 pow = BC_NUM_INT(a);
Gavin Howard954276b2018-05-16 01:43:58 -06001223
Gavin Howard53eba8b2018-10-31 15:14:37 -06001224 if (pow) {
Gavin Howard954276b2018-05-16 01:43:58 -06001225
Gavin Howardc39fd492018-10-04 10:07:03 -06001226 if (pow & 1) x0->num[0] = 2;
1227 else x0->num[0] = 6;
Gavin Howard954276b2018-05-16 01:43:58 -06001228
Gavin Howardc39fd492018-10-04 10:07:03 -06001229 pow -= 2 - (pow & 1);
Gavin Howard954276b2018-05-16 01:43:58 -06001230
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001231 bc_num_extend(x0, pow);
Gavin Howarded742ce2018-08-29 14:23:12 -06001232
Gavin Howard63738202018-09-26 15:34:20 -06001233 // Make sure to move the radix back.
1234 x0->rdx -= pow;
1235 }
Gavin Howard954276b2018-05-16 01:43:58 -06001236
Gavin Howardb5ec7f32018-10-29 12:32:39 -06001237 x0->rdx = digs = digs1 = 0;
Gavin Howard9f2395b2018-10-06 05:28:58 -06001238 resrdx = scale + 2;
1239 len = BC_NUM_INT(x0) + resrdx - 1;
Gavin Howard954276b2018-05-16 01:43:58 -06001240
Gavin Howard112304b2018-12-04 14:30:01 -07001241 while (!BC_SIGINT && (cmp != 0 || digs < len)) {
Gavin Howard954276b2018-05-16 01:43:58 -06001242
Gavin Howard53eba8b2018-10-31 15:14:37 -06001243 s = bc_num_div(a, x0, &f, resrdx);
1244 if (s) goto err;
1245 s = bc_num_add(x0, &f, &fprime, resrdx);
1246 if (s) goto err;
1247 s = bc_num_mul(&fprime, &half, x1, resrdx);
1248 if (s) goto err;
Gavin Howard954276b2018-05-16 01:43:58 -06001249
Gavin Howard53eba8b2018-10-31 15:14:37 -06001250 cmp = bc_num_cmp(x1, x0);
1251 digs = x1->len - (unsigned long long) llabs(cmp);
Gavin Howard954276b2018-05-16 01:43:58 -06001252
Gavin Howardb5ec7f32018-10-29 12:32:39 -06001253 if (cmp == cmp2 && digs == digs1) times += 1;
Gavin Howardb11e9e22018-10-06 17:26:02 -06001254 else times = 0;
1255
1256 resrdx += times > 4;
Gavin Howard9f2395b2018-10-06 05:28:58 -06001257
1258 cmp2 = cmp1;
1259 cmp1 = cmp;
Gavin Howardb5ec7f32018-10-29 12:32:39 -06001260 digs1 = digs;
Gavin Howard9f2395b2018-10-06 05:28:58 -06001261
Gavin Howard63738202018-09-26 15:34:20 -06001262 temp = x0;
1263 x0 = x1;
1264 x1 = temp;
1265 }
Gavin Howard954276b2018-05-16 01:43:58 -06001266
Gavin Howard112304b2018-12-04 14:30:01 -07001267 if (BC_SIGINT) {
Gavin Howard43df94a2018-12-22 10:29:41 -07001268 s = BC_STATUS_SIGNAL;
Gavin Howard63738202018-09-26 15:34:20 -06001269 goto err;
1270 }
Gavin Howard0dfe2922018-05-22 13:57:02 -06001271
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001272 bc_num_copy(b, x0);
Gavin Howard53eba8b2018-10-31 15:14:37 -06001273 scale -= 1;
1274 if (b->rdx > scale) bc_num_truncate(b, b->rdx - scale);
Gavin Howard954276b2018-05-16 01:43:58 -06001275
1276err:
Gavin Howard63738202018-09-26 15:34:20 -06001277 bc_num_free(&fprime);
Gavin Howard63738202018-09-26 15:34:20 -06001278 bc_num_free(&f);
Gavin Howard63738202018-09-26 15:34:20 -06001279 bc_num_free(&half);
Gavin Howard63738202018-09-26 15:34:20 -06001280 bc_num_free(&num2);
Gavin Howard63738202018-09-26 15:34:20 -06001281 bc_num_free(&num1);
Gavin Howard3cf769e2018-10-11 13:55:11 -06001282 assert(!b->neg || b->len);
Gavin Howard63738202018-09-26 15:34:20 -06001283 return s;
Gavin Howard3eb626f2018-02-14 13:54:35 -07001284}
Gavin Howardba009802018-09-29 04:41:51 -06001285
Gavin Howard2cb39612018-10-22 08:46:48 -06001286BcStatus bc_num_divmod(BcNum *a, BcNum *b, BcNum *c, BcNum *d, size_t scale) {
1287
1288 BcStatus s;
1289 BcNum num2, *ptr_a;
Gavin Howard890d0c02018-10-30 16:34:50 -06001290 bool init = false;
Gavin Howard2cb39612018-10-22 08:46:48 -06001291 size_t ts = BC_MAX(scale + b->rdx, a->rdx), len = BC_NUM_MREQ(a, b, ts);
1292
1293 assert(c != d && a != b && a != d && b != d && b != c);
1294
Gavin Howard890d0c02018-10-30 16:34:50 -06001295 if (c == a) {
Gavin Howard2cb39612018-10-22 08:46:48 -06001296 memcpy(&num2, c, sizeof(BcNum));
1297 ptr_a = &num2;
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001298 bc_num_init(c, len);
Gavin Howard890d0c02018-10-30 16:34:50 -06001299 init = true;
Gavin Howard2cb39612018-10-22 08:46:48 -06001300 }
Gavin Howardf679ad82018-10-29 12:26:30 -06001301 else {
1302 ptr_a = a;
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001303 bc_num_expand(c, len);
Gavin Howardf679ad82018-10-29 12:26:30 -06001304 }
Gavin Howard2cb39612018-10-22 08:46:48 -06001305
Gavin Howard54b946a2018-10-23 12:06:57 -06001306 s = bc_num_r(ptr_a, b, c, d, scale, ts);
Gavin Howard2cb39612018-10-22 08:46:48 -06001307
1308 assert(!c->neg || c->len);
1309 assert(!d->neg || d->len);
1310
1311 if (init) bc_num_free(&num2);
1312
1313 return s;
1314}
1315
Gavin Howard40a085f2018-12-03 12:08:59 -07001316#if DC_ENABLED
Gavin Howard34edd0a2018-10-25 15:51:05 -06001317BcStatus bc_num_modexp(BcNum *a, BcNum *b, BcNum *c, BcNum *restrict d) {
Gavin Howardba009802018-09-29 04:41:51 -06001318
1319 BcStatus s;
Gavin Howard34edd0a2018-10-25 15:51:05 -06001320 BcNum base, exp, two, temp;
Gavin Howardd3929832018-12-24 15:13:15 -07001321 BcDig two_digs[2];
Gavin Howardba009802018-09-29 04:41:51 -06001322
Gavin Howard34edd0a2018-10-25 15:51:05 -06001323 assert(a && b && c && d && a != d && b != d && c != d);
Gavin Howardba009802018-09-29 04:41:51 -06001324
Gavin Howard7536dcf2018-12-15 19:27:09 -07001325 if (c->len == 0) return bc_vm_err(BC_ERROR_MATH_DIVIDE_BY_ZERO);
1326 if (b->neg) return bc_vm_err(BC_ERROR_MATH_NEGATIVE);
1327 if (a->rdx || b->rdx || c->rdx)
1328 return bc_vm_err(BC_ERROR_MATH_NON_INTEGER);
Gavin Howardba009802018-09-29 04:41:51 -06001329
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001330 bc_num_expand(d, c->len);
1331 bc_num_init(&base, c->len);
1332 bc_num_init(&exp, b->len);
Gavin Howardd3929832018-12-24 15:13:15 -07001333 bc_num_setup(&two, two_digs, 2);
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001334 bc_num_init(&temp, b->len);
Gavin Howardba009802018-09-29 04:41:51 -06001335
1336 bc_num_one(&two);
Gavin Howardba009802018-09-29 04:41:51 -06001337 two.num[0] = 2;
1338 bc_num_one(d);
1339
Gavin Howard53eba8b2018-10-31 15:14:37 -06001340 s = bc_num_rem(a, c, &base, 0);
1341 if (s) goto err;
Gavin Howardad0ecfe2018-10-30 01:16:01 -06001342 bc_num_copy(&exp, b);
Gavin Howardba009802018-09-29 04:41:51 -06001343
Gavin Howard53eba8b2018-10-31 15:14:37 -06001344 while (exp.len != 0) {
Gavin Howardba009802018-09-29 04:41:51 -06001345
Gavin Howard53eba8b2018-10-31 15:14:37 -06001346 s = bc_num_divmod(&exp, &two, &exp, &temp, 0);
1347 if (s) goto err;
Gavin Howardba009802018-09-29 04:41:51 -06001348
1349 if (BC_NUM_ONE(&temp)) {
Gavin Howard53eba8b2018-10-31 15:14:37 -06001350 s = bc_num_mul(d, &base, &temp, 0);
1351 if (s) goto err;
1352 s = bc_num_rem(&temp, c, d, 0);
1353 if (s) goto err;
Gavin Howardba009802018-09-29 04:41:51 -06001354 }
1355
Gavin Howard53eba8b2018-10-31 15:14:37 -06001356 s = bc_num_mul(&base, &base, &temp, 0);
1357 if (s) goto err;
1358 s = bc_num_rem(&temp, c, &base, 0);
1359 if (s) goto err;
Gavin Howardba009802018-09-29 04:41:51 -06001360 }
1361
1362err:
1363 bc_num_free(&temp);
Gavin Howardba009802018-09-29 04:41:51 -06001364 bc_num_free(&exp);
Gavin Howardba009802018-09-29 04:41:51 -06001365 bc_num_free(&base);
Gavin Howard3cf769e2018-10-11 13:55:11 -06001366 assert(!d->neg || d->len);
Gavin Howardba009802018-09-29 04:41:51 -06001367 return s;
1368}
Gavin Howarde6e84762018-10-03 11:46:34 -06001369#endif // DC_ENABLED