]> Git Repo - qemu.git/blame_incremental - target-s390x/fpu_helper.c
Merge remote-tracking branch 'remotes/kraxel/tags/pull-chardev-2' into staging
[qemu.git] / target-s390x / fpu_helper.c
... / ...
CommitLineData
1/*
2 * S/390 FPU helper routines
3 *
4 * Copyright (c) 2009 Ulrich Hecht
5 * Copyright (c) 2009 Alexander Graf
6 *
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2 of the License, or (at your option) any later version.
11 *
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
16 *
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19 */
20
21#include "cpu.h"
22#include "helper.h"
23
24#if !defined(CONFIG_USER_ONLY)
25#include "exec/softmmu_exec.h"
26#endif
27
28/* #define DEBUG_HELPER */
29#ifdef DEBUG_HELPER
30#define HELPER_LOG(x...) qemu_log(x)
31#else
32#define HELPER_LOG(x...)
33#endif
34
35#define RET128(F) (env->retxl = F.low, F.high)
36
37#define convert_bit(mask, from, to) \
38 (to < from \
39 ? (mask / (from / to)) & to \
40 : (mask & from) * (to / from))
41
42static void ieee_exception(CPUS390XState *env, uint32_t dxc, uintptr_t retaddr)
43{
44 /* Install the DXC code. */
45 env->fpc = (env->fpc & ~0xff00) | (dxc << 8);
46 /* Trap. */
47 runtime_exception(env, PGM_DATA, retaddr);
48}
49
50/* Should be called after any operation that may raise IEEE exceptions. */
51static void handle_exceptions(CPUS390XState *env, uintptr_t retaddr)
52{
53 unsigned s390_exc, qemu_exc;
54
55 /* Get the exceptions raised by the current operation. Reset the
56 fpu_status contents so that the next operation has a clean slate. */
57 qemu_exc = env->fpu_status.float_exception_flags;
58 if (qemu_exc == 0) {
59 return;
60 }
61 env->fpu_status.float_exception_flags = 0;
62
63 /* Convert softfloat exception bits to s390 exception bits. */
64 s390_exc = 0;
65 s390_exc |= convert_bit(qemu_exc, float_flag_invalid, 0x80);
66 s390_exc |= convert_bit(qemu_exc, float_flag_divbyzero, 0x40);
67 s390_exc |= convert_bit(qemu_exc, float_flag_overflow, 0x20);
68 s390_exc |= convert_bit(qemu_exc, float_flag_underflow, 0x10);
69 s390_exc |= convert_bit(qemu_exc, float_flag_inexact, 0x08);
70
71 /* Install the exceptions that we raised. */
72 env->fpc |= s390_exc << 16;
73
74 /* Send signals for enabled exceptions. */
75 s390_exc &= env->fpc >> 24;
76 if (s390_exc) {
77 ieee_exception(env, s390_exc, retaddr);
78 }
79}
80
81static inline int float_comp_to_cc(CPUS390XState *env, int float_compare)
82{
83 S390CPU *cpu = s390_env_get_cpu(env);
84
85 switch (float_compare) {
86 case float_relation_equal:
87 return 0;
88 case float_relation_less:
89 return 1;
90 case float_relation_greater:
91 return 2;
92 case float_relation_unordered:
93 return 3;
94 default:
95 cpu_abort(CPU(cpu), "unknown return value for float compare\n");
96 }
97}
98
99/* condition codes for unary FP ops */
100uint32_t set_cc_nz_f32(float32 v)
101{
102 if (float32_is_any_nan(v)) {
103 return 3;
104 } else if (float32_is_zero(v)) {
105 return 0;
106 } else if (float32_is_neg(v)) {
107 return 1;
108 } else {
109 return 2;
110 }
111}
112
113uint32_t set_cc_nz_f64(float64 v)
114{
115 if (float64_is_any_nan(v)) {
116 return 3;
117 } else if (float64_is_zero(v)) {
118 return 0;
119 } else if (float64_is_neg(v)) {
120 return 1;
121 } else {
122 return 2;
123 }
124}
125
126uint32_t set_cc_nz_f128(float128 v)
127{
128 if (float128_is_any_nan(v)) {
129 return 3;
130 } else if (float128_is_zero(v)) {
131 return 0;
132 } else if (float128_is_neg(v)) {
133 return 1;
134 } else {
135 return 2;
136 }
137}
138
139/* 32-bit FP addition */
140uint64_t HELPER(aeb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
141{
142 float32 ret = float32_add(f1, f2, &env->fpu_status);
143 handle_exceptions(env, GETPC());
144 return ret;
145}
146
147/* 64-bit FP addition */
148uint64_t HELPER(adb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
149{
150 float64 ret = float64_add(f1, f2, &env->fpu_status);
151 handle_exceptions(env, GETPC());
152 return ret;
153}
154
155/* 128-bit FP addition */
156uint64_t HELPER(axb)(CPUS390XState *env, uint64_t ah, uint64_t al,
157 uint64_t bh, uint64_t bl)
158{
159 float128 ret = float128_add(make_float128(ah, al),
160 make_float128(bh, bl),
161 &env->fpu_status);
162 handle_exceptions(env, GETPC());
163 return RET128(ret);
164}
165
166/* 32-bit FP subtraction */
167uint64_t HELPER(seb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
168{
169 float32 ret = float32_sub(f1, f2, &env->fpu_status);
170 handle_exceptions(env, GETPC());
171 return ret;
172}
173
174/* 64-bit FP subtraction */
175uint64_t HELPER(sdb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
176{
177 float64 ret = float64_sub(f1, f2, &env->fpu_status);
178 handle_exceptions(env, GETPC());
179 return ret;
180}
181
182/* 128-bit FP subtraction */
183uint64_t HELPER(sxb)(CPUS390XState *env, uint64_t ah, uint64_t al,
184 uint64_t bh, uint64_t bl)
185{
186 float128 ret = float128_sub(make_float128(ah, al),
187 make_float128(bh, bl),
188 &env->fpu_status);
189 handle_exceptions(env, GETPC());
190 return RET128(ret);
191}
192
193/* 32-bit FP division */
194uint64_t HELPER(deb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
195{
196 float32 ret = float32_div(f1, f2, &env->fpu_status);
197 handle_exceptions(env, GETPC());
198 return ret;
199}
200
201/* 64-bit FP division */
202uint64_t HELPER(ddb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
203{
204 float64 ret = float64_div(f1, f2, &env->fpu_status);
205 handle_exceptions(env, GETPC());
206 return ret;
207}
208
209/* 128-bit FP division */
210uint64_t HELPER(dxb)(CPUS390XState *env, uint64_t ah, uint64_t al,
211 uint64_t bh, uint64_t bl)
212{
213 float128 ret = float128_div(make_float128(ah, al),
214 make_float128(bh, bl),
215 &env->fpu_status);
216 handle_exceptions(env, GETPC());
217 return RET128(ret);
218}
219
220/* 32-bit FP multiplication */
221uint64_t HELPER(meeb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
222{
223 float32 ret = float32_mul(f1, f2, &env->fpu_status);
224 handle_exceptions(env, GETPC());
225 return ret;
226}
227
228/* 64-bit FP multiplication */
229uint64_t HELPER(mdb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
230{
231 float64 ret = float64_mul(f1, f2, &env->fpu_status);
232 handle_exceptions(env, GETPC());
233 return ret;
234}
235
236/* 64/32-bit FP multiplication */
237uint64_t HELPER(mdeb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
238{
239 float64 ret = float32_to_float64(f2, &env->fpu_status);
240 ret = float64_mul(f1, ret, &env->fpu_status);
241 handle_exceptions(env, GETPC());
242 return ret;
243}
244
245/* 128-bit FP multiplication */
246uint64_t HELPER(mxb)(CPUS390XState *env, uint64_t ah, uint64_t al,
247 uint64_t bh, uint64_t bl)
248{
249 float128 ret = float128_mul(make_float128(ah, al),
250 make_float128(bh, bl),
251 &env->fpu_status);
252 handle_exceptions(env, GETPC());
253 return RET128(ret);
254}
255
256/* 128/64-bit FP multiplication */
257uint64_t HELPER(mxdb)(CPUS390XState *env, uint64_t ah, uint64_t al,
258 uint64_t f2)
259{
260 float128 ret = float64_to_float128(f2, &env->fpu_status);
261 ret = float128_mul(make_float128(ah, al), ret, &env->fpu_status);
262 handle_exceptions(env, GETPC());
263 return RET128(ret);
264}
265
266/* convert 32-bit float to 64-bit float */
267uint64_t HELPER(ldeb)(CPUS390XState *env, uint64_t f2)
268{
269 float64 ret = float32_to_float64(f2, &env->fpu_status);
270 handle_exceptions(env, GETPC());
271 return ret;
272}
273
274/* convert 128-bit float to 64-bit float */
275uint64_t HELPER(ldxb)(CPUS390XState *env, uint64_t ah, uint64_t al)
276{
277 float64 ret = float128_to_float64(make_float128(ah, al), &env->fpu_status);
278 handle_exceptions(env, GETPC());
279 return ret;
280}
281
282/* convert 64-bit float to 128-bit float */
283uint64_t HELPER(lxdb)(CPUS390XState *env, uint64_t f2)
284{
285 float128 ret = float64_to_float128(f2, &env->fpu_status);
286 handle_exceptions(env, GETPC());
287 return RET128(ret);
288}
289
290/* convert 32-bit float to 128-bit float */
291uint64_t HELPER(lxeb)(CPUS390XState *env, uint64_t f2)
292{
293 float128 ret = float32_to_float128(f2, &env->fpu_status);
294 handle_exceptions(env, GETPC());
295 return RET128(ret);
296}
297
298/* convert 64-bit float to 32-bit float */
299uint64_t HELPER(ledb)(CPUS390XState *env, uint64_t f2)
300{
301 float32 ret = float64_to_float32(f2, &env->fpu_status);
302 handle_exceptions(env, GETPC());
303 return ret;
304}
305
306/* convert 128-bit float to 32-bit float */
307uint64_t HELPER(lexb)(CPUS390XState *env, uint64_t ah, uint64_t al)
308{
309 float32 ret = float128_to_float32(make_float128(ah, al), &env->fpu_status);
310 handle_exceptions(env, GETPC());
311 return ret;
312}
313
314/* 32-bit FP compare */
315uint32_t HELPER(ceb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
316{
317 int cmp = float32_compare_quiet(f1, f2, &env->fpu_status);
318 handle_exceptions(env, GETPC());
319 return float_comp_to_cc(env, cmp);
320}
321
322/* 64-bit FP compare */
323uint32_t HELPER(cdb)(CPUS390XState *env, uint64_t f1, uint64_t f2)
324{
325 int cmp = float64_compare_quiet(f1, f2, &env->fpu_status);
326 handle_exceptions(env, GETPC());
327 return float_comp_to_cc(env, cmp);
328}
329
330/* 128-bit FP compare */
331uint32_t HELPER(cxb)(CPUS390XState *env, uint64_t ah, uint64_t al,
332 uint64_t bh, uint64_t bl)
333{
334 int cmp = float128_compare_quiet(make_float128(ah, al),
335 make_float128(bh, bl),
336 &env->fpu_status);
337 handle_exceptions(env, GETPC());
338 return float_comp_to_cc(env, cmp);
339}
340
341static int swap_round_mode(CPUS390XState *env, int m3)
342{
343 int ret = env->fpu_status.float_rounding_mode;
344 switch (m3) {
345 case 0:
346 /* current mode */
347 break;
348 case 1:
349 /* biased round no nearest */
350 case 4:
351 /* round to nearest */
352 set_float_rounding_mode(float_round_nearest_even, &env->fpu_status);
353 break;
354 case 5:
355 /* round to zero */
356 set_float_rounding_mode(float_round_to_zero, &env->fpu_status);
357 break;
358 case 6:
359 /* round to +inf */
360 set_float_rounding_mode(float_round_up, &env->fpu_status);
361 break;
362 case 7:
363 /* round to -inf */
364 set_float_rounding_mode(float_round_down, &env->fpu_status);
365 break;
366 }
367 return ret;
368}
369
370/* convert 64-bit int to 32-bit float */
371uint64_t HELPER(cegb)(CPUS390XState *env, int64_t v2, uint32_t m3)
372{
373 int hold = swap_round_mode(env, m3);
374 float32 ret = int64_to_float32(v2, &env->fpu_status);
375 set_float_rounding_mode(hold, &env->fpu_status);
376 handle_exceptions(env, GETPC());
377 return ret;
378}
379
380/* convert 64-bit int to 64-bit float */
381uint64_t HELPER(cdgb)(CPUS390XState *env, int64_t v2, uint32_t m3)
382{
383 int hold = swap_round_mode(env, m3);
384 float64 ret = int64_to_float64(v2, &env->fpu_status);
385 set_float_rounding_mode(hold, &env->fpu_status);
386 handle_exceptions(env, GETPC());
387 return ret;
388}
389
390/* convert 64-bit int to 128-bit float */
391uint64_t HELPER(cxgb)(CPUS390XState *env, int64_t v2, uint32_t m3)
392{
393 int hold = swap_round_mode(env, m3);
394 float128 ret = int64_to_float128(v2, &env->fpu_status);
395 set_float_rounding_mode(hold, &env->fpu_status);
396 handle_exceptions(env, GETPC());
397 return RET128(ret);
398}
399
400/* convert 64-bit uint to 32-bit float */
401uint64_t HELPER(celgb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
402{
403 int hold = swap_round_mode(env, m3);
404 float32 ret = uint64_to_float32(v2, &env->fpu_status);
405 set_float_rounding_mode(hold, &env->fpu_status);
406 handle_exceptions(env, GETPC());
407 return ret;
408}
409
410/* convert 64-bit uint to 64-bit float */
411uint64_t HELPER(cdlgb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
412{
413 int hold = swap_round_mode(env, m3);
414 float64 ret = uint64_to_float64(v2, &env->fpu_status);
415 set_float_rounding_mode(hold, &env->fpu_status);
416 handle_exceptions(env, GETPC());
417 return ret;
418}
419
420/* convert 64-bit uint to 128-bit float */
421uint64_t HELPER(cxlgb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
422{
423 int hold = swap_round_mode(env, m3);
424 float128 ret = uint64_to_float128(v2, &env->fpu_status);
425 set_float_rounding_mode(hold, &env->fpu_status);
426 handle_exceptions(env, GETPC());
427 return RET128(ret);
428}
429
430/* convert 32-bit float to 64-bit int */
431uint64_t HELPER(cgeb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
432{
433 int hold = swap_round_mode(env, m3);
434 int64_t ret = float32_to_int64(v2, &env->fpu_status);
435 set_float_rounding_mode(hold, &env->fpu_status);
436 handle_exceptions(env, GETPC());
437 return ret;
438}
439
440/* convert 64-bit float to 64-bit int */
441uint64_t HELPER(cgdb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
442{
443 int hold = swap_round_mode(env, m3);
444 int64_t ret = float64_to_int64(v2, &env->fpu_status);
445 set_float_rounding_mode(hold, &env->fpu_status);
446 handle_exceptions(env, GETPC());
447 return ret;
448}
449
450/* convert 128-bit float to 64-bit int */
451uint64_t HELPER(cgxb)(CPUS390XState *env, uint64_t h, uint64_t l, uint32_t m3)
452{
453 int hold = swap_round_mode(env, m3);
454 float128 v2 = make_float128(h, l);
455 int64_t ret = float128_to_int64(v2, &env->fpu_status);
456 set_float_rounding_mode(hold, &env->fpu_status);
457 handle_exceptions(env, GETPC());
458 return ret;
459}
460
461/* convert 32-bit float to 32-bit int */
462uint64_t HELPER(cfeb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
463{
464 int hold = swap_round_mode(env, m3);
465 int32_t ret = float32_to_int32(v2, &env->fpu_status);
466 set_float_rounding_mode(hold, &env->fpu_status);
467 handle_exceptions(env, GETPC());
468 return ret;
469}
470
471/* convert 64-bit float to 32-bit int */
472uint64_t HELPER(cfdb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
473{
474 int hold = swap_round_mode(env, m3);
475 int32_t ret = float64_to_int32(v2, &env->fpu_status);
476 set_float_rounding_mode(hold, &env->fpu_status);
477 handle_exceptions(env, GETPC());
478 return ret;
479}
480
481/* convert 128-bit float to 32-bit int */
482uint64_t HELPER(cfxb)(CPUS390XState *env, uint64_t h, uint64_t l, uint32_t m3)
483{
484 int hold = swap_round_mode(env, m3);
485 float128 v2 = make_float128(h, l);
486 int32_t ret = float128_to_int32(v2, &env->fpu_status);
487 set_float_rounding_mode(hold, &env->fpu_status);
488 handle_exceptions(env, GETPC());
489 return ret;
490}
491
492/* convert 32-bit float to 64-bit uint */
493uint64_t HELPER(clgeb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
494{
495 int hold = swap_round_mode(env, m3);
496 uint64_t ret;
497 v2 = float32_to_float64(v2, &env->fpu_status);
498 ret = float64_to_uint64(v2, &env->fpu_status);
499 set_float_rounding_mode(hold, &env->fpu_status);
500 handle_exceptions(env, GETPC());
501 return ret;
502}
503
504/* convert 64-bit float to 64-bit uint */
505uint64_t HELPER(clgdb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
506{
507 int hold = swap_round_mode(env, m3);
508 uint64_t ret = float64_to_uint64(v2, &env->fpu_status);
509 set_float_rounding_mode(hold, &env->fpu_status);
510 handle_exceptions(env, GETPC());
511 return ret;
512}
513
514/* convert 128-bit float to 64-bit uint */
515uint64_t HELPER(clgxb)(CPUS390XState *env, uint64_t h, uint64_t l, uint32_t m3)
516{
517 int hold = swap_round_mode(env, m3);
518 float128 v2 = make_float128(h, l);
519 /* ??? Not 100% correct. */
520 uint64_t ret = float128_to_int64(v2, &env->fpu_status);
521 set_float_rounding_mode(hold, &env->fpu_status);
522 handle_exceptions(env, GETPC());
523 return ret;
524}
525
526/* convert 32-bit float to 32-bit uint */
527uint64_t HELPER(clfeb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
528{
529 int hold = swap_round_mode(env, m3);
530 uint32_t ret = float32_to_uint32(v2, &env->fpu_status);
531 set_float_rounding_mode(hold, &env->fpu_status);
532 handle_exceptions(env, GETPC());
533 return ret;
534}
535
536/* convert 64-bit float to 32-bit uint */
537uint64_t HELPER(clfdb)(CPUS390XState *env, uint64_t v2, uint32_t m3)
538{
539 int hold = swap_round_mode(env, m3);
540 uint32_t ret = float64_to_uint32(v2, &env->fpu_status);
541 set_float_rounding_mode(hold, &env->fpu_status);
542 handle_exceptions(env, GETPC());
543 return ret;
544}
545
546/* convert 128-bit float to 32-bit uint */
547uint64_t HELPER(clfxb)(CPUS390XState *env, uint64_t h, uint64_t l, uint32_t m3)
548{
549 int hold = swap_round_mode(env, m3);
550 float128 v2 = make_float128(h, l);
551 /* Not 100% correct. */
552 uint32_t ret = float128_to_int64(v2, &env->fpu_status);
553 set_float_rounding_mode(hold, &env->fpu_status);
554 handle_exceptions(env, GETPC());
555 return ret;
556}
557
558/* 32-bit FP multiply and add */
559uint64_t HELPER(maeb)(CPUS390XState *env, uint64_t f1,
560 uint64_t f2, uint64_t f3)
561{
562 float32 ret = float32_muladd(f2, f3, f1, 0, &env->fpu_status);
563 handle_exceptions(env, GETPC());
564 return ret;
565}
566
567/* 64-bit FP multiply and add */
568uint64_t HELPER(madb)(CPUS390XState *env, uint64_t f1,
569 uint64_t f2, uint64_t f3)
570{
571 float64 ret = float64_muladd(f2, f3, f1, 0, &env->fpu_status);
572 handle_exceptions(env, GETPC());
573 return ret;
574}
575
576/* 32-bit FP multiply and subtract */
577uint64_t HELPER(mseb)(CPUS390XState *env, uint64_t f1,
578 uint64_t f2, uint64_t f3)
579{
580 float32 ret = float32_muladd(f2, f3, f1, float_muladd_negate_c,
581 &env->fpu_status);
582 handle_exceptions(env, GETPC());
583 return ret;
584}
585
586/* 64-bit FP multiply and subtract */
587uint64_t HELPER(msdb)(CPUS390XState *env, uint64_t f1,
588 uint64_t f2, uint64_t f3)
589{
590 float64 ret = float64_muladd(f2, f3, f1, float_muladd_negate_c,
591 &env->fpu_status);
592 handle_exceptions(env, GETPC());
593 return ret;
594}
595
596/* test data class 32-bit */
597uint32_t HELPER(tceb)(uint64_t f1, uint64_t m2)
598{
599 float32 v1 = f1;
600 int neg = float32_is_neg(v1);
601 uint32_t cc = 0;
602
603 if ((float32_is_zero(v1) && (m2 & (1 << (11-neg)))) ||
604 (float32_is_infinity(v1) && (m2 & (1 << (5-neg)))) ||
605 (float32_is_any_nan(v1) && (m2 & (1 << (3-neg)))) ||
606 (float32_is_signaling_nan(v1) && (m2 & (1 << (1-neg))))) {
607 cc = 1;
608 } else if (m2 & (1 << (9-neg))) {
609 /* assume normalized number */
610 cc = 1;
611 }
612 /* FIXME: denormalized? */
613 return cc;
614}
615
616/* test data class 64-bit */
617uint32_t HELPER(tcdb)(uint64_t v1, uint64_t m2)
618{
619 int neg = float64_is_neg(v1);
620 uint32_t cc = 0;
621
622 if ((float64_is_zero(v1) && (m2 & (1 << (11-neg)))) ||
623 (float64_is_infinity(v1) && (m2 & (1 << (5-neg)))) ||
624 (float64_is_any_nan(v1) && (m2 & (1 << (3-neg)))) ||
625 (float64_is_signaling_nan(v1) && (m2 & (1 << (1-neg))))) {
626 cc = 1;
627 } else if (m2 & (1 << (9-neg))) {
628 /* assume normalized number */
629 cc = 1;
630 }
631 /* FIXME: denormalized? */
632 return cc;
633}
634
635/* test data class 128-bit */
636uint32_t HELPER(tcxb)(uint64_t ah, uint64_t al, uint64_t m2)
637{
638 float128 v1 = make_float128(ah, al);
639 int neg = float128_is_neg(v1);
640 uint32_t cc = 0;
641
642 if ((float128_is_zero(v1) && (m2 & (1 << (11-neg)))) ||
643 (float128_is_infinity(v1) && (m2 & (1 << (5-neg)))) ||
644 (float128_is_any_nan(v1) && (m2 & (1 << (3-neg)))) ||
645 (float128_is_signaling_nan(v1) && (m2 & (1 << (1-neg))))) {
646 cc = 1;
647 } else if (m2 & (1 << (9-neg))) {
648 /* assume normalized number */
649 cc = 1;
650 }
651 /* FIXME: denormalized? */
652 return cc;
653}
654
655/* square root 32-bit */
656uint64_t HELPER(sqeb)(CPUS390XState *env, uint64_t f2)
657{
658 float32 ret = float32_sqrt(f2, &env->fpu_status);
659 handle_exceptions(env, GETPC());
660 return ret;
661}
662
663/* square root 64-bit */
664uint64_t HELPER(sqdb)(CPUS390XState *env, uint64_t f2)
665{
666 float64 ret = float64_sqrt(f2, &env->fpu_status);
667 handle_exceptions(env, GETPC());
668 return ret;
669}
670
671/* square root 128-bit */
672uint64_t HELPER(sqxb)(CPUS390XState *env, uint64_t ah, uint64_t al)
673{
674 float128 ret = float128_sqrt(make_float128(ah, al), &env->fpu_status);
675 handle_exceptions(env, GETPC());
676 return RET128(ret);
677}
678
679static const int fpc_to_rnd[4] = {
680 float_round_nearest_even,
681 float_round_to_zero,
682 float_round_up,
683 float_round_down
684};
685
686/* set fpc */
687void HELPER(sfpc)(CPUS390XState *env, uint64_t fpc)
688{
689 /* Install everything in the main FPC. */
690 env->fpc = fpc;
691
692 /* Install the rounding mode in the shadow fpu_status. */
693 set_float_rounding_mode(fpc_to_rnd[fpc & 3], &env->fpu_status);
694}
695
696/* set fpc and signal */
697void HELPER(sfas)(CPUS390XState *env, uint64_t val)
698{
699 uint32_t signalling = env->fpc;
700 uint32_t source = val;
701 uint32_t s390_exc;
702
703 /* The contents of the source operand are placed in the FPC register;
704 then the flags in the FPC register are set to the logical OR of the
705 signalling flags and the source flags. */
706 env->fpc = source | (signalling & 0x00ff0000);
707 set_float_rounding_mode(fpc_to_rnd[source & 3], &env->fpu_status);
708
709 /* If any signalling flag is 1 and the corresponding source mask
710 is also 1, a simulated-iee-exception trap occurs. */
711 s390_exc = (signalling >> 16) & (source >> 24);
712 if (s390_exc) {
713 ieee_exception(env, s390_exc | 3, GETPC());
714 }
715}
This page took 0.027449 seconds and 4 git commands to generate.