]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
1da177e4 LT |
2 | /*---------------------------------------------------------------------------+ |
3 | | fpu_tags.c | | |
4 | | | | |
5 | | Set FPU register tags. | | |
6 | | | | |
7 | | Copyright (C) 1997 | | |
8 | | W. Metzenthen, 22 Parker St, Ormond, Vic 3163, Australia | | |
9 | | E-mail billm@jacobi.maths.monash.edu.au | | |
10 | | | | |
11 | | | | |
12 | +---------------------------------------------------------------------------*/ | |
13 | ||
14 | #include "fpu_emu.h" | |
15 | #include "fpu_system.h" | |
16 | #include "exception.h" | |
17 | ||
1da177e4 LT |
18 | void FPU_pop(void) |
19 | { | |
3d0d14f9 IM |
20 | fpu_tag_word |= 3 << ((top & 7) * 2); |
21 | top++; | |
1da177e4 LT |
22 | } |
23 | ||
1da177e4 LT |
24 | int FPU_gettag0(void) |
25 | { | |
3d0d14f9 | 26 | return (fpu_tag_word >> ((top & 7) * 2)) & 3; |
1da177e4 LT |
27 | } |
28 | ||
1da177e4 LT |
29 | int FPU_gettagi(int stnr) |
30 | { | |
3d0d14f9 | 31 | return (fpu_tag_word >> (((top + stnr) & 7) * 2)) & 3; |
1da177e4 LT |
32 | } |
33 | ||
1da177e4 LT |
34 | int FPU_gettag(int regnr) |
35 | { | |
3d0d14f9 | 36 | return (fpu_tag_word >> ((regnr & 7) * 2)) & 3; |
1da177e4 LT |
37 | } |
38 | ||
1da177e4 LT |
39 | void FPU_settag0(int tag) |
40 | { | |
3d0d14f9 IM |
41 | int regnr = top; |
42 | regnr &= 7; | |
43 | fpu_tag_word &= ~(3 << (regnr * 2)); | |
44 | fpu_tag_word |= (tag & 3) << (regnr * 2); | |
1da177e4 LT |
45 | } |
46 | ||
1da177e4 LT |
47 | void FPU_settagi(int stnr, int tag) |
48 | { | |
3d0d14f9 IM |
49 | int regnr = stnr + top; |
50 | regnr &= 7; | |
51 | fpu_tag_word &= ~(3 << (regnr * 2)); | |
52 | fpu_tag_word |= (tag & 3) << (regnr * 2); | |
1da177e4 LT |
53 | } |
54 | ||
1da177e4 LT |
55 | void FPU_settag(int regnr, int tag) |
56 | { | |
3d0d14f9 IM |
57 | regnr &= 7; |
58 | fpu_tag_word &= ~(3 << (regnr * 2)); | |
59 | fpu_tag_word |= (tag & 3) << (regnr * 2); | |
1da177e4 LT |
60 | } |
61 | ||
1da177e4 LT |
62 | int FPU_Special(FPU_REG const *ptr) |
63 | { | |
3d0d14f9 IM |
64 | int exp = exponent(ptr); |
65 | ||
66 | if (exp == EXP_BIAS + EXP_UNDER) | |
67 | return TW_Denormal; | |
68 | else if (exp != EXP_BIAS + EXP_OVER) | |
69 | return TW_NaN; | |
70 | else if ((ptr->sigh == 0x80000000) && (ptr->sigl == 0)) | |
71 | return TW_Infinity; | |
72 | return TW_NaN; | |
1da177e4 LT |
73 | } |
74 | ||
1da177e4 LT |
75 | int isNaN(FPU_REG const *ptr) |
76 | { | |
3d0d14f9 IM |
77 | return ((exponent(ptr) == EXP_BIAS + EXP_OVER) |
78 | && !((ptr->sigh == 0x80000000) && (ptr->sigl == 0))); | |
1da177e4 LT |
79 | } |
80 | ||
1da177e4 LT |
81 | int FPU_empty_i(int stnr) |
82 | { | |
3d0d14f9 | 83 | int regnr = (top + stnr) & 7; |
1da177e4 | 84 | |
3d0d14f9 | 85 | return ((fpu_tag_word >> (regnr * 2)) & 3) == TAG_Empty; |
1da177e4 LT |
86 | } |
87 | ||
3d0d14f9 | 88 | int FPU_stackoverflow(FPU_REG ** st_new_ptr) |
1da177e4 | 89 | { |
3d0d14f9 | 90 | *st_new_ptr = &st(-1); |
1da177e4 | 91 | |
3d0d14f9 | 92 | return ((fpu_tag_word >> (((top - 1) & 7) * 2)) & 3) != TAG_Empty; |
1da177e4 LT |
93 | } |
94 | ||
1da177e4 LT |
95 | void FPU_copy_to_regi(FPU_REG const *r, u_char tag, int stnr) |
96 | { | |
3d0d14f9 IM |
97 | reg_copy(r, &st(stnr)); |
98 | FPU_settagi(stnr, tag); | |
1da177e4 LT |
99 | } |
100 | ||
101 | void FPU_copy_to_reg1(FPU_REG const *r, u_char tag) | |
102 | { | |
3d0d14f9 IM |
103 | reg_copy(r, &st(1)); |
104 | FPU_settagi(1, tag); | |
1da177e4 LT |
105 | } |
106 | ||
107 | void FPU_copy_to_reg0(FPU_REG const *r, u_char tag) | |
108 | { | |
3d0d14f9 IM |
109 | int regnr = top; |
110 | regnr &= 7; | |
1da177e4 | 111 | |
3d0d14f9 | 112 | reg_copy(r, &st(0)); |
1da177e4 | 113 | |
3d0d14f9 IM |
114 | fpu_tag_word &= ~(3 << (regnr * 2)); |
115 | fpu_tag_word |= (tag & 3) << (regnr * 2); | |
1da177e4 | 116 | } |