1 /*
2 * Copyright (c) 2008-2024 Stefan Krah. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 *
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 *
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24 * SUCH DAMAGE.
25 */
26
27
28 #include <signal.h>
29 #include <stdio.h>
30 #include <string.h>
31
32 #include "mpdecimal.h"
33
34
35 void
mpd_dflt_traphandler(mpd_context_t * ctx)36 mpd_dflt_traphandler(mpd_context_t *ctx)
37 {
38 (void)ctx;
39 raise(SIGFPE);
40 }
41
42 void (* mpd_traphandler)(mpd_context_t *) = mpd_dflt_traphandler;
43
44
45 /* Set guaranteed minimum number of coefficient words. The function may
46 be used once at program start. Setting MPD_MINALLOC to out-of-bounds
47 values is a catastrophic error, so in that case the function exits rather
48 than relying on the user to check a return value. */
49 void
mpd_setminalloc(mpd_ssize_t n)50 mpd_setminalloc(mpd_ssize_t n)
51 {
52 static int minalloc_is_set = 0;
53
54 if (minalloc_is_set) {
55 mpd_err_warn("mpd_setminalloc: ignoring request to set "
56 "MPD_MINALLOC a second time\n");
57 return;
58 }
59 if (n < MPD_MINALLOC_MIN || n > MPD_MINALLOC_MAX) {
60 mpd_err_fatal("illegal value for MPD_MINALLOC"); /* GCOV_NOT_REACHED */
61 }
62 MPD_MINALLOC = n;
63 minalloc_is_set = 1;
64 }
65
66 void
mpd_init(mpd_context_t * ctx,mpd_ssize_t prec)67 mpd_init(mpd_context_t *ctx, mpd_ssize_t prec)
68 {
69 mpd_ssize_t ideal_minalloc;
70
71 mpd_defaultcontext(ctx);
72
73 if (!mpd_qsetprec(ctx, prec)) {
74 mpd_addstatus_raise(ctx, MPD_Invalid_context);
75 return;
76 }
77
78 ideal_minalloc = 2 * ((prec+MPD_RDIGITS-1) / MPD_RDIGITS);
79 if (ideal_minalloc < MPD_MINALLOC_MIN) ideal_minalloc = MPD_MINALLOC_MIN;
80 if (ideal_minalloc > MPD_MINALLOC_MAX) ideal_minalloc = MPD_MINALLOC_MAX;
81
82 mpd_setminalloc(ideal_minalloc);
83 }
84
85 void
mpd_maxcontext(mpd_context_t * ctx)86 mpd_maxcontext(mpd_context_t *ctx)
87 {
88 ctx->prec=MPD_MAX_PREC;
89 ctx->emax=MPD_MAX_EMAX;
90 ctx->emin=MPD_MIN_EMIN;
91 ctx->round=MPD_ROUND_HALF_EVEN;
92 ctx->traps=MPD_Traps;
93 ctx->status=0;
94 ctx->newtrap=0;
95 ctx->clamp=0;
96 ctx->allcr=1;
97 }
98
99 void
mpd_defaultcontext(mpd_context_t * ctx)100 mpd_defaultcontext(mpd_context_t *ctx)
101 {
102 ctx->prec=2*MPD_RDIGITS;
103 ctx->emax=MPD_MAX_EMAX;
104 ctx->emin=MPD_MIN_EMIN;
105 ctx->round=MPD_ROUND_HALF_UP;
106 ctx->traps=MPD_Traps;
107 ctx->status=0;
108 ctx->newtrap=0;
109 ctx->clamp=0;
110 ctx->allcr=1;
111 }
112
113 void
mpd_basiccontext(mpd_context_t * ctx)114 mpd_basiccontext(mpd_context_t *ctx)
115 {
116 ctx->prec=9;
117 ctx->emax=MPD_MAX_EMAX;
118 ctx->emin=MPD_MIN_EMIN;
119 ctx->round=MPD_ROUND_HALF_UP;
120 ctx->traps=MPD_Traps|MPD_Clamped;
121 ctx->status=0;
122 ctx->newtrap=0;
123 ctx->clamp=0;
124 ctx->allcr=1;
125 }
126
127 int
mpd_ieee_context(mpd_context_t * ctx,int bits)128 mpd_ieee_context(mpd_context_t *ctx, int bits)
129 {
130 if (bits <= 0 || bits > MPD_IEEE_CONTEXT_MAX_BITS || bits % 32) {
131 return -1;
132 }
133
134 ctx->prec = 9 * (bits/32) - 2;
135 ctx->emax = 3 * ((mpd_ssize_t)1<<(bits/16+3));
136 ctx->emin = 1 - ctx->emax;
137 ctx->round=MPD_ROUND_HALF_EVEN;
138 ctx->traps=0;
139 ctx->status=0;
140 ctx->newtrap=0;
141 ctx->clamp=1;
142 ctx->allcr=1;
143
144 return 0;
145 }
146
147 mpd_ssize_t
mpd_getprec(const mpd_context_t * ctx)148 mpd_getprec(const mpd_context_t *ctx)
149 {
150 return ctx->prec;
151 }
152
153 mpd_ssize_t
mpd_getemax(const mpd_context_t * ctx)154 mpd_getemax(const mpd_context_t *ctx)
155 {
156 return ctx->emax;
157 }
158
159 mpd_ssize_t
mpd_getemin(const mpd_context_t * ctx)160 mpd_getemin(const mpd_context_t *ctx)
161 {
162 return ctx->emin;
163 }
164
165 int
mpd_getround(const mpd_context_t * ctx)166 mpd_getround(const mpd_context_t *ctx)
167 {
168 return ctx->round;
169 }
170
171 uint32_t
mpd_gettraps(const mpd_context_t * ctx)172 mpd_gettraps(const mpd_context_t *ctx)
173 {
174 return ctx->traps;
175 }
176
177 uint32_t
mpd_getstatus(const mpd_context_t * ctx)178 mpd_getstatus(const mpd_context_t *ctx)
179 {
180 return ctx->status;
181 }
182
183 int
mpd_getclamp(const mpd_context_t * ctx)184 mpd_getclamp(const mpd_context_t *ctx)
185 {
186 return ctx->clamp;
187 }
188
189 int
mpd_getcr(const mpd_context_t * ctx)190 mpd_getcr(const mpd_context_t *ctx)
191 {
192 return ctx->allcr;
193 }
194
195
196 int
mpd_qsetprec(mpd_context_t * ctx,mpd_ssize_t prec)197 mpd_qsetprec(mpd_context_t *ctx, mpd_ssize_t prec)
198 {
199 if (prec <= 0 || prec > MPD_MAX_PREC) {
200 return 0;
201 }
202 ctx->prec = prec;
203 return 1;
204 }
205
206 int
mpd_qsetemax(mpd_context_t * ctx,mpd_ssize_t emax)207 mpd_qsetemax(mpd_context_t *ctx, mpd_ssize_t emax)
208 {
209 if (emax < 0 || emax > MPD_MAX_EMAX) {
210 return 0;
211 }
212 ctx->emax = emax;
213 return 1;
214 }
215
216 int
mpd_qsetemin(mpd_context_t * ctx,mpd_ssize_t emin)217 mpd_qsetemin(mpd_context_t *ctx, mpd_ssize_t emin)
218 {
219 if (emin > 0 || emin < MPD_MIN_EMIN) {
220 return 0;
221 }
222 ctx->emin = emin;
223 return 1;
224 }
225
226 int
mpd_qsetround(mpd_context_t * ctx,int round)227 mpd_qsetround(mpd_context_t *ctx, int round)
228 {
229 if (!(0 <= round && round < MPD_ROUND_GUARD)) {
230 return 0;
231 }
232 ctx->round = round;
233 return 1;
234 }
235
236 int
mpd_qsettraps(mpd_context_t * ctx,uint32_t flags)237 mpd_qsettraps(mpd_context_t *ctx, uint32_t flags)
238 {
239 if (flags > MPD_Max_status) {
240 return 0;
241 }
242 ctx->traps = flags;
243 return 1;
244 }
245
246 int
mpd_qsetstatus(mpd_context_t * ctx,uint32_t flags)247 mpd_qsetstatus(mpd_context_t *ctx, uint32_t flags)
248 {
249 if (flags > MPD_Max_status) {
250 return 0;
251 }
252 ctx->status = flags;
253 return 1;
254 }
255
256 int
mpd_qsetclamp(mpd_context_t * ctx,int c)257 mpd_qsetclamp(mpd_context_t *ctx, int c)
258 {
259 if (c != 0 && c != 1) {
260 return 0;
261 }
262 ctx->clamp = c;
263 return 1;
264 }
265
266 int
mpd_qsetcr(mpd_context_t * ctx,int c)267 mpd_qsetcr(mpd_context_t *ctx, int c)
268 {
269 if (c != 0 && c != 1) {
270 return 0;
271 }
272 ctx->allcr = c;
273 return 1;
274 }
275
276
277 void
mpd_addstatus_raise(mpd_context_t * ctx,uint32_t flags)278 mpd_addstatus_raise(mpd_context_t *ctx, uint32_t flags)
279 {
280 ctx->status |= flags;
281 if (flags&ctx->traps) {
282 ctx->newtrap = (flags&ctx->traps);
283 mpd_traphandler(ctx);
284 }
285 }
286