Commit | Line | Data |
---|---|---|
c906108c | 1 | /* Semantics ops support for CGEN-based simulators. |
e2882c85 | 2 | Copyright (C) 1996-2018 Free Software Foundation, Inc. |
c906108c SS |
3 | Contributed by Cygnus Solutions. |
4 | ||
5 | This file is part of the GNU Simulators. | |
6 | ||
7 | This program is free software; you can redistribute it and/or modify | |
8 | it under the terms of the GNU General Public License as published by | |
4744ac1b JB |
9 | the Free Software Foundation; either version 3 of the License, or |
10 | (at your option) any later version. | |
c906108c SS |
11 | |
12 | This program 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 | |
15 | GNU General Public License for more details. | |
16 | ||
4744ac1b JB |
17 | You should have received a copy of the GNU General Public License |
18 | along with this program. If not, see <http://www.gnu.org/licenses/>. | |
c906108c SS |
19 | |
20 | */ | |
21 | ||
22 | #ifndef CGEN_SEM_OPS_H | |
23 | #define CGEN_SEM_OPS_H | |
24 | ||
4f49fa1b BE |
25 | #include <assert.h> |
26 | ||
5a394431 | 27 | /* TODO: This should get moved into sim-inline.h. */ |
7a292a7a SS |
28 | #if defined (__GNUC__) && ! defined (SEMOPS_DEFINE_INLINE) |
29 | #define SEMOPS_DEFINE_INLINE | |
5a394431 | 30 | #define SEMOPS_INLINE EXTERN_INLINE |
7a292a7a SS |
31 | #else |
32 | #define SEMOPS_INLINE | |
33 | #endif | |
34 | ||
c906108c SS |
35 | /* Semantic operations. |
36 | At one point this file was machine generated. Maybe it will be again. */ | |
37 | ||
43ff13b4 JM |
38 | /* TODO: Lazy encoding/decoding of fp values. */ |
39 | ||
c906108c SS |
40 | /* These don't really have a mode. */ |
41 | #define ANDIF(x, y) ((x) && (y)) | |
42 | #define ORIF(x, y) ((x) || (y)) | |
43 | ||
4f49fa1b | 44 | #define SUBBI(x, y) ((x) - (y)) |
c906108c SS |
45 | #define ANDBI(x, y) ((x) & (y)) |
46 | #define ORBI(x, y) ((x) | (y)) | |
47 | #define XORBI(x, y) ((x) ^ (y)) | |
48 | #define NEGBI(x) (- (x)) | |
49 | #define NOTBI(x) (! (BI) (x)) | |
50 | #define INVBI(x) (~ (x)) | |
51 | #define EQBI(x, y) ((BI) (x) == (BI) (y)) | |
52 | #define NEBI(x, y) ((BI) (x) != (BI) (y)) | |
53 | #define LTBI(x, y) ((BI) (x) < (BI) (y)) | |
54 | #define LEBI(x, y) ((BI) (x) <= (BI) (y)) | |
55 | #define GTBI(x, y) ((BI) (x) > (BI) (y)) | |
56 | #define GEBI(x, y) ((BI) (x) >= (BI) (y)) | |
57 | #define LTUBI(x, y) ((BI) (x) < (BI) (y)) | |
58 | #define LEUBI(x, y) ((BI) (x) <= (BI) (y)) | |
59 | #define GTUBI(x, y) ((BI) (x) > (BI) (y)) | |
60 | #define GEUBI(x, y) ((BI) (x) >= (BI) (y)) | |
43ff13b4 | 61 | \f |
2225d5bd HPN |
62 | #define ADDQI(x, y) ((QI) ((UQI) (x) + (UQI) (y))) |
63 | #define SUBQI(x, y) ((QI) ((UQI) (x) - (UQI) (y))) | |
64 | #define MULQI(x, y) ((QI) ((UQI) (x) * (UQI) (y))) | |
c906108c SS |
65 | #define DIVQI(x, y) ((QI) (x) / (QI) (y)) |
66 | #define UDIVQI(x, y) ((UQI) (x) / (UQI) (y)) | |
67 | #define MODQI(x, y) ((QI) (x) % (QI) (y)) | |
68 | #define UMODQI(x, y) ((UQI) (x) % (UQI) (y)) | |
69 | #define SRAQI(x, y) ((QI) (x) >> (y)) | |
70 | #define SRLQI(x, y) ((UQI) (x) >> (y)) | |
71 | #define SLLQI(x, y) ((UQI) (x) << (y)) | |
43ff13b4 JM |
72 | extern QI RORQI (QI, int); |
73 | extern QI ROLQI (QI, int); | |
c906108c SS |
74 | #define ANDQI(x, y) ((x) & (y)) |
75 | #define ORQI(x, y) ((x) | (y)) | |
76 | #define XORQI(x, y) ((x) ^ (y)) | |
2225d5bd | 77 | #define NEGQI(x) ((QI) (- (UQI) (x))) |
c906108c SS |
78 | #define NOTQI(x) (! (QI) (x)) |
79 | #define INVQI(x) (~ (x)) | |
2225d5bd | 80 | #define ABSQI(x) ((QI) ((QI) (x) < 0 ? -(UQI) (x) : (UQI) (x))) |
c906108c SS |
81 | #define EQQI(x, y) ((QI) (x) == (QI) (y)) |
82 | #define NEQI(x, y) ((QI) (x) != (QI) (y)) | |
83 | #define LTQI(x, y) ((QI) (x) < (QI) (y)) | |
84 | #define LEQI(x, y) ((QI) (x) <= (QI) (y)) | |
85 | #define GTQI(x, y) ((QI) (x) > (QI) (y)) | |
86 | #define GEQI(x, y) ((QI) (x) >= (QI) (y)) | |
87 | #define LTUQI(x, y) ((UQI) (x) < (UQI) (y)) | |
88 | #define LEUQI(x, y) ((UQI) (x) <= (UQI) (y)) | |
89 | #define GTUQI(x, y) ((UQI) (x) > (UQI) (y)) | |
90 | #define GEUQI(x, y) ((UQI) (x) >= (UQI) (y)) | |
43ff13b4 | 91 | \f |
2225d5bd HPN |
92 | #define ADDHI(x, y) ((HI) ((UHI) (x) + (UHI) (y))) |
93 | #define SUBHI(x, y) ((HI) ((UHI) (x) - (UHI) (y))) | |
94 | #define MULHI(x, y) ((HI) ((UHI) (x) * (UHI) (y))) | |
c906108c SS |
95 | #define DIVHI(x, y) ((HI) (x) / (HI) (y)) |
96 | #define UDIVHI(x, y) ((UHI) (x) / (UHI) (y)) | |
97 | #define MODHI(x, y) ((HI) (x) % (HI) (y)) | |
98 | #define UMODHI(x, y) ((UHI) (x) % (UHI) (y)) | |
99 | #define SRAHI(x, y) ((HI) (x) >> (y)) | |
100 | #define SRLHI(x, y) ((UHI) (x) >> (y)) | |
101 | #define SLLHI(x, y) ((UHI) (x) << (y)) | |
43ff13b4 JM |
102 | extern HI RORHI (HI, int); |
103 | extern HI ROLHI (HI, int); | |
c906108c SS |
104 | #define ANDHI(x, y) ((x) & (y)) |
105 | #define ORHI(x, y) ((x) | (y)) | |
106 | #define XORHI(x, y) ((x) ^ (y)) | |
2225d5bd | 107 | #define NEGHI(x) ((HI) (- (UHI) (x))) |
c906108c SS |
108 | #define NOTHI(x) (! (HI) (x)) |
109 | #define INVHI(x) (~ (x)) | |
2225d5bd | 110 | #define ABSHI(x) ((HI) ((HI) (x) < 0 ? -(UHI) (x) : (UHI) (x))) |
c906108c SS |
111 | #define EQHI(x, y) ((HI) (x) == (HI) (y)) |
112 | #define NEHI(x, y) ((HI) (x) != (HI) (y)) | |
113 | #define LTHI(x, y) ((HI) (x) < (HI) (y)) | |
114 | #define LEHI(x, y) ((HI) (x) <= (HI) (y)) | |
115 | #define GTHI(x, y) ((HI) (x) > (HI) (y)) | |
116 | #define GEHI(x, y) ((HI) (x) >= (HI) (y)) | |
117 | #define LTUHI(x, y) ((UHI) (x) < (UHI) (y)) | |
118 | #define LEUHI(x, y) ((UHI) (x) <= (UHI) (y)) | |
119 | #define GTUHI(x, y) ((UHI) (x) > (UHI) (y)) | |
120 | #define GEUHI(x, y) ((UHI) (x) >= (UHI) (y)) | |
43ff13b4 | 121 | \f |
2225d5bd HPN |
122 | #define ADDSI(x, y) ((SI) ((USI) (x) + (USI) (y))) |
123 | #define SUBSI(x, y) ((SI) ((USI) (x) - (USI) (y))) | |
124 | #define MULSI(x, y) ((SI) ((USI) (x) * (USI) (y))) | |
c906108c SS |
125 | #define DIVSI(x, y) ((SI) (x) / (SI) (y)) |
126 | #define UDIVSI(x, y) ((USI) (x) / (USI) (y)) | |
127 | #define MODSI(x, y) ((SI) (x) % (SI) (y)) | |
128 | #define UMODSI(x, y) ((USI) (x) % (USI) (y)) | |
129 | #define SRASI(x, y) ((SI) (x) >> (y)) | |
130 | #define SRLSI(x, y) ((USI) (x) >> (y)) | |
131 | #define SLLSI(x, y) ((USI) (x) << (y)) | |
43ff13b4 JM |
132 | extern SI RORSI (SI, int); |
133 | extern SI ROLSI (SI, int); | |
c906108c SS |
134 | #define ANDSI(x, y) ((x) & (y)) |
135 | #define ORSI(x, y) ((x) | (y)) | |
136 | #define XORSI(x, y) ((x) ^ (y)) | |
2225d5bd | 137 | #define NEGSI(x) ((SI) (- (USI) (x))) |
c906108c SS |
138 | #define NOTSI(x) (! (SI) (x)) |
139 | #define INVSI(x) (~ (x)) | |
2225d5bd | 140 | #define ABSSI(x) ((SI) ((SI) (x) < 0 ? -(USI) (x) : (USI) (x))) |
c906108c SS |
141 | #define EQSI(x, y) ((SI) (x) == (SI) (y)) |
142 | #define NESI(x, y) ((SI) (x) != (SI) (y)) | |
143 | #define LTSI(x, y) ((SI) (x) < (SI) (y)) | |
144 | #define LESI(x, y) ((SI) (x) <= (SI) (y)) | |
145 | #define GTSI(x, y) ((SI) (x) > (SI) (y)) | |
146 | #define GESI(x, y) ((SI) (x) >= (SI) (y)) | |
147 | #define LTUSI(x, y) ((USI) (x) < (USI) (y)) | |
148 | #define LEUSI(x, y) ((USI) (x) <= (USI) (y)) | |
149 | #define GTUSI(x, y) ((USI) (x) > (USI) (y)) | |
150 | #define GEUSI(x, y) ((USI) (x) >= (USI) (y)) | |
43ff13b4 | 151 | \f |
c906108c | 152 | #ifdef DI_FN_SUPPORT |
43ff13b4 JM |
153 | extern DI ADDDI (DI, DI); |
154 | extern DI SUBDI (DI, DI); | |
155 | extern DI MULDI (DI, DI); | |
156 | extern DI DIVDI (DI, DI); | |
157 | extern DI UDIVDI (DI, DI); | |
158 | extern DI MODDI (DI, DI); | |
159 | extern DI UMODDI (DI, DI); | |
160 | extern DI SRADI (DI, int); | |
161 | extern UDI SRLDI (UDI, int); | |
162 | extern UDI SLLDI (UDI, int); | |
163 | extern DI RORDI (DI, int); | |
164 | extern DI ROLDI (DI, int); | |
165 | extern DI ANDDI (DI, DI); | |
166 | extern DI ORDI (DI, DI); | |
167 | extern DI XORDI (DI, DI); | |
168 | extern DI NEGDI (DI); | |
169 | extern int NOTDI (DI); | |
170 | extern DI INVDI (DI); | |
171 | extern int EQDI (DI, DI); | |
172 | extern int NEDI (DI, DI); | |
173 | extern int LTDI (DI, DI); | |
174 | extern int LEDI (DI, DI); | |
175 | extern int GTDI (DI, DI); | |
176 | extern int GEDI (DI, DI); | |
177 | extern int LTUDI (UDI, UDI); | |
178 | extern int LEUDI (UDI, UDI); | |
179 | extern int GTUDI (UDI, UDI); | |
180 | extern int GEUDI (UDI, UDI); | |
c906108c | 181 | #else /* ! DI_FN_SUPPORT */ |
2225d5bd HPN |
182 | #define ADDDI(x, y) ((DI) ((UDI) (x) + (UDI) (y))) |
183 | #define SUBDI(x, y) ((DI) ((UDI) (x) - (UDI) (y))) | |
184 | #define MULDI(x, y) ((DI) ((UDI) (x) * (UDI) (y))) | |
c906108c SS |
185 | #define DIVDI(x, y) ((DI) (x) / (DI) (y)) |
186 | #define UDIVDI(x, y) ((UDI) (x) / (UDI) (y)) | |
187 | #define MODDI(x, y) ((DI) (x) % (DI) (y)) | |
188 | #define UMODDI(x, y) ((UDI) (x) % (UDI) (y)) | |
189 | #define SRADI(x, y) ((DI) (x) >> (y)) | |
190 | #define SRLDI(x, y) ((UDI) (x) >> (y)) | |
191 | #define SLLDI(x, y) ((UDI) (x) << (y)) | |
43ff13b4 JM |
192 | extern DI RORDI (DI, int); |
193 | extern DI ROLDI (DI, int); | |
c906108c SS |
194 | #define ANDDI(x, y) ((x) & (y)) |
195 | #define ORDI(x, y) ((x) | (y)) | |
196 | #define XORDI(x, y) ((x) ^ (y)) | |
2225d5bd | 197 | #define NEGDI(x) ((DI) (- (UDI) (x))) |
c906108c SS |
198 | #define NOTDI(x) (! (DI) (x)) |
199 | #define INVDI(x) (~ (x)) | |
2225d5bd | 200 | #define ABSDI(x) ((DI) ((DI) (x) < 0 ? -(UDI) (x) : (UDI) (x))) |
c906108c SS |
201 | #define EQDI(x, y) ((DI) (x) == (DI) (y)) |
202 | #define NEDI(x, y) ((DI) (x) != (DI) (y)) | |
203 | #define LTDI(x, y) ((DI) (x) < (DI) (y)) | |
204 | #define LEDI(x, y) ((DI) (x) <= (DI) (y)) | |
205 | #define GTDI(x, y) ((DI) (x) > (DI) (y)) | |
206 | #define GEDI(x, y) ((DI) (x) >= (DI) (y)) | |
207 | #define LTUDI(x, y) ((UDI) (x) < (UDI) (y)) | |
208 | #define LEUDI(x, y) ((UDI) (x) <= (UDI) (y)) | |
209 | #define GTUDI(x, y) ((UDI) (x) > (UDI) (y)) | |
210 | #define GEUDI(x, y) ((UDI) (x) >= (UDI) (y)) | |
211 | #endif /* DI_FN_SUPPORT */ | |
43ff13b4 | 212 | \f |
c906108c SS |
213 | #define EXTBIQI(x) ((QI) (BI) (x)) |
214 | #define EXTBIHI(x) ((HI) (BI) (x)) | |
215 | #define EXTBISI(x) ((SI) (BI) (x)) | |
216 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 217 | extern DI EXTBIDI (BI); |
c906108c SS |
218 | #else |
219 | #define EXTBIDI(x) ((DI) (BI) (x)) | |
220 | #endif | |
221 | #define EXTQIHI(x) ((HI) (QI) (x)) | |
222 | #define EXTQISI(x) ((SI) (QI) (x)) | |
223 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 224 | extern DI EXTQIDI (QI); |
c906108c SS |
225 | #else |
226 | #define EXTQIDI(x) ((DI) (QI) (x)) | |
227 | #endif | |
f743149e | 228 | #define EXTHIHI(x) ((HI) (HI) (x)) |
c906108c | 229 | #define EXTHISI(x) ((SI) (HI) (x)) |
0fda6bd2 | 230 | #define EXTSISI(x) ((SI) (SI) (x)) |
c906108c | 231 | #if defined (DI_FN_SUPPORT) |
43ff13b4 | 232 | extern DI EXTHIDI (HI); |
c906108c SS |
233 | #else |
234 | #define EXTHIDI(x) ((DI) (HI) (x)) | |
235 | #endif | |
236 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 237 | extern DI EXTSIDI (SI); |
c906108c SS |
238 | #else |
239 | #define EXTSIDI(x) ((DI) (SI) (x)) | |
240 | #endif | |
43ff13b4 | 241 | \f |
c906108c SS |
242 | #define ZEXTBIQI(x) ((QI) (BI) (x)) |
243 | #define ZEXTBIHI(x) ((HI) (BI) (x)) | |
244 | #define ZEXTBISI(x) ((SI) (BI) (x)) | |
245 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 246 | extern DI ZEXTBIDI (BI); |
c906108c SS |
247 | #else |
248 | #define ZEXTBIDI(x) ((DI) (BI) (x)) | |
249 | #endif | |
250 | #define ZEXTQIHI(x) ((HI) (UQI) (x)) | |
251 | #define ZEXTQISI(x) ((SI) (UQI) (x)) | |
252 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 253 | extern DI ZEXTQIDI (QI); |
c906108c SS |
254 | #else |
255 | #define ZEXTQIDI(x) ((DI) (UQI) (x)) | |
256 | #endif | |
257 | #define ZEXTHISI(x) ((SI) (UHI) (x)) | |
0fda6bd2 JM |
258 | #define ZEXTHIHI(x) ((HI) (UHI) (x)) |
259 | #define ZEXTSISI(x) ((SI) (USI) (x)) | |
c906108c | 260 | #if defined (DI_FN_SUPPORT) |
43ff13b4 | 261 | extern DI ZEXTHIDI (HI); |
c906108c SS |
262 | #else |
263 | #define ZEXTHIDI(x) ((DI) (UHI) (x)) | |
264 | #endif | |
265 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 266 | extern DI ZEXTSIDI (SI); |
c906108c SS |
267 | #else |
268 | #define ZEXTSIDI(x) ((DI) (USI) (x)) | |
269 | #endif | |
43ff13b4 | 270 | \f |
c906108c SS |
271 | #define TRUNCQIBI(x) ((BI) (QI) (x)) |
272 | #define TRUNCHIBI(x) ((BI) (HI) (x)) | |
273 | #define TRUNCHIQI(x) ((QI) (HI) (x)) | |
274 | #define TRUNCSIBI(x) ((BI) (SI) (x)) | |
275 | #define TRUNCSIQI(x) ((QI) (SI) (x)) | |
276 | #define TRUNCSIHI(x) ((HI) (SI) (x)) | |
0f831eb3 | 277 | #define TRUNCSISI(x) ((SI) (SI) (x)) |
c906108c | 278 | #if defined (DI_FN_SUPPORT) |
43ff13b4 | 279 | extern BI TRUNCDIBI (DI); |
c906108c SS |
280 | #else |
281 | #define TRUNCDIBI(x) ((BI) (DI) (x)) | |
282 | #endif | |
283 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 284 | extern QI TRUNCDIQI (DI); |
c906108c SS |
285 | #else |
286 | #define TRUNCDIQI(x) ((QI) (DI) (x)) | |
287 | #endif | |
288 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 289 | extern HI TRUNCDIHI (DI); |
c906108c SS |
290 | #else |
291 | #define TRUNCDIHI(x) ((HI) (DI) (x)) | |
292 | #endif | |
293 | #if defined (DI_FN_SUPPORT) | |
43ff13b4 | 294 | extern SI TRUNCDISI (DI); |
c906108c SS |
295 | #else |
296 | #define TRUNCDISI(x) ((SI) (DI) (x)) | |
297 | #endif | |
c906108c | 298 | \f |
6426a772 JM |
299 | /* Composing/decomposing the various types. |
300 | Word ordering is endian-independent. Words are specified most to least | |
301 | significant and word number 0 is the most significant word. | |
302 | ??? May also wish an endian-dependent version. Later. */ | |
43ff13b4 | 303 | |
c906108c | 304 | #ifdef SEMOPS_DEFINE_INLINE |
7a292a7a SS |
305 | |
306 | SEMOPS_INLINE SF | |
6426a772 | 307 | SUBWORDSISF (SI in) |
7a292a7a SS |
308 | { |
309 | union { SI in; SF out; } x; | |
310 | x.in = in; | |
311 | return x.out; | |
312 | } | |
313 | ||
4f49fa1b BE |
314 | SEMOPS_INLINE DF |
315 | SUBWORDDIDF (DI in) | |
316 | { | |
317 | union { DI in; DF out; } x; | |
318 | x.in = in; | |
319 | return x.out; | |
320 | } | |
321 | ||
322 | SEMOPS_INLINE QI | |
323 | SUBWORDSIQI (SI in, int byte) | |
324 | { | |
325 | assert (byte >= 0 && byte <= 3); | |
6227bc85 | 326 | return (UQI) (in >> (8 * (3 - byte))) & 0xFF; |
4f49fa1b BE |
327 | } |
328 | ||
329 | SEMOPS_INLINE UQI | |
330 | SUBWORDSIUQI (SI in, int byte) | |
331 | { | |
332 | assert (byte >= 0 && byte <= 3); | |
6227bc85 BE |
333 | return (UQI) (in >> (8 * (3 - byte))) & 0xFF; |
334 | } | |
335 | ||
336 | SEMOPS_INLINE QI | |
337 | SUBWORDDIQI (DI in, int byte) | |
338 | { | |
339 | assert (byte >= 0 && byte <= 7); | |
340 | return (UQI) (in >> (8 * (7 - byte))) & 0xFF; | |
4f49fa1b BE |
341 | } |
342 | ||
343 | SEMOPS_INLINE HI | |
344 | SUBWORDDIHI (DI in, int word) | |
345 | { | |
346 | assert (word >= 0 && word <= 3); | |
6227bc85 | 347 | return (UHI) (in >> (16 * (3 - word))) & 0xFFFF; |
4f49fa1b BE |
348 | } |
349 | ||
350 | SEMOPS_INLINE HI | |
351 | SUBWORDSIHI (SI in, int word) | |
352 | { | |
353 | if (word == 0) | |
354 | return (USI) in >> 16; | |
355 | else | |
356 | return in; | |
357 | } | |
358 | ||
7a292a7a | 359 | SEMOPS_INLINE SI |
6426a772 | 360 | SUBWORDSFSI (SF in) |
7a292a7a SS |
361 | { |
362 | union { SF in; SI out; } x; | |
363 | x.in = in; | |
364 | return x.out; | |
365 | } | |
366 | ||
0d277f51 BE |
367 | SEMOPS_INLINE DI |
368 | SUBWORDDFDI (DF in) | |
369 | { | |
370 | union { DF in; DI out; } x; | |
371 | x.in = in; | |
372 | return x.out; | |
373 | } | |
374 | ||
4f49fa1b BE |
375 | SEMOPS_INLINE UQI |
376 | SUBWORDDIUQI (DI in, int byte) | |
377 | { | |
378 | assert (byte >= 0 && byte <= 7); | |
379 | return (UQI) (in >> (8 * (7 - byte))); | |
380 | } | |
381 | ||
7a292a7a | 382 | SEMOPS_INLINE SI |
6426a772 | 383 | SUBWORDDISI (DI in, int word) |
7a292a7a | 384 | { |
6426a772 JM |
385 | if (word == 0) |
386 | return (UDI) in >> 32; | |
7a292a7a | 387 | else |
6426a772 | 388 | return in; |
7a292a7a SS |
389 | } |
390 | ||
391 | SEMOPS_INLINE SI | |
6426a772 | 392 | SUBWORDDFSI (DF in, int word) |
7a292a7a | 393 | { |
6426a772 JM |
394 | /* Note: typedef UDI DF; */ |
395 | if (word == 0) | |
396 | return (UDI) in >> 32; | |
7a292a7a | 397 | else |
6426a772 | 398 | return in; |
7a292a7a SS |
399 | } |
400 | ||
43ff13b4 | 401 | SEMOPS_INLINE SI |
6426a772 | 402 | SUBWORDXFSI (XF in, int word) |
43ff13b4 | 403 | { |
6426a772 | 404 | /* Note: typedef struct { SI parts[3]; } XF; */ |
43ff13b4 JM |
405 | union { XF in; SI out[3]; } x; |
406 | x.in = in; | |
1ac72f06 | 407 | if (CURRENT_TARGET_BYTE_ORDER == BFD_ENDIAN_BIG) |
1377e154 DE |
408 | return x.out[word]; |
409 | else | |
410 | return x.out[2 - word]; | |
43ff13b4 JM |
411 | } |
412 | ||
7a292a7a | 413 | SEMOPS_INLINE SI |
6426a772 | 414 | SUBWORDTFSI (TF in, int word) |
7a292a7a | 415 | { |
6426a772 | 416 | /* Note: typedef struct { SI parts[4]; } TF; */ |
7a292a7a SS |
417 | union { TF in; SI out[4]; } x; |
418 | x.in = in; | |
1ac72f06 | 419 | if (CURRENT_TARGET_BYTE_ORDER == BFD_ENDIAN_BIG) |
1377e154 DE |
420 | return x.out[word]; |
421 | else | |
422 | return x.out[3 - word]; | |
7a292a7a SS |
423 | } |
424 | ||
425 | SEMOPS_INLINE DI | |
6426a772 | 426 | JOINSIDI (SI x0, SI x1) |
7a292a7a | 427 | { |
1377e154 | 428 | return MAKEDI (x0, x1); |
7a292a7a SS |
429 | } |
430 | ||
431 | SEMOPS_INLINE DF | |
6426a772 | 432 | JOINSIDF (SI x0, SI x1) |
7a292a7a SS |
433 | { |
434 | union { SI in[2]; DF out; } x; | |
1ac72f06 | 435 | if (CURRENT_TARGET_BYTE_ORDER == BFD_ENDIAN_BIG) |
7a292a7a SS |
436 | x.in[0] = x0, x.in[1] = x1; |
437 | else | |
438 | x.in[1] = x0, x.in[0] = x1; | |
439 | return x.out; | |
440 | } | |
441 | ||
43ff13b4 | 442 | SEMOPS_INLINE XF |
6426a772 | 443 | JOINSIXF (SI x0, SI x1, SI x2) |
43ff13b4 JM |
444 | { |
445 | union { SI in[3]; XF out; } x; | |
1ac72f06 | 446 | if (CURRENT_TARGET_BYTE_ORDER == BFD_ENDIAN_BIG) |
43ff13b4 JM |
447 | x.in[0] = x0, x.in[1] = x1, x.in[2] = x2; |
448 | else | |
449 | x.in[2] = x0, x.in[1] = x1, x.in[0] = x2; | |
450 | return x.out; | |
451 | } | |
452 | ||
7a292a7a | 453 | SEMOPS_INLINE TF |
6426a772 | 454 | JOINSITF (SI x0, SI x1, SI x2, SI x3) |
7a292a7a SS |
455 | { |
456 | union { SI in[4]; TF out; } x; | |
1ac72f06 | 457 | if (CURRENT_TARGET_BYTE_ORDER == BFD_ENDIAN_BIG) |
7a292a7a SS |
458 | x.in[0] = x0, x.in[1] = x1, x.in[2] = x2, x.in[3] = x3; |
459 | else | |
460 | x.in[3] = x0, x.in[2] = x1, x.in[1] = x2, x.in[0] = x3; | |
461 | return x.out; | |
462 | } | |
463 | ||
c906108c | 464 | #else |
7a292a7a | 465 | |
4f49fa1b BE |
466 | QI SUBWORDSIQI (SI); |
467 | HI SUBWORDSIHI (HI); | |
6426a772 | 468 | SI SUBWORDSFSI (SF); |
4f49fa1b | 469 | SF SUBWORDSISF (SI); |
0d277f51 | 470 | DI SUBWORDDFDI (DF); |
4f49fa1b | 471 | DF SUBWORDDIDF (DI); |
6227bc85 | 472 | QI SUBWORDDIQI (DI, int); |
4f49fa1b | 473 | HI SUBWORDDIHI (DI, int); |
6426a772 JM |
474 | SI SUBWORDDISI (DI, int); |
475 | SI SUBWORDDFSI (DF, int); | |
476 | SI SUBWORDXFSI (XF, int); | |
477 | SI SUBWORDTFSI (TF, int); | |
7a292a7a | 478 | |
4f49fa1b BE |
479 | UQI SUBWORDSIUQI (SI); |
480 | UQI SUBWORDDIUQI (DI); | |
481 | ||
6426a772 JM |
482 | DI JOINSIDI (SI, SI); |
483 | DF JOINSIDF (SI, SI); | |
484 | XF JOINSIXF (SI, SI, SI); | |
485 | TF JOINSITF (SI, SI, SI, SI); | |
7a292a7a SS |
486 | |
487 | #endif /* SUBWORD,JOIN */ | |
488 | \f | |
489 | /* Semantic support utilities. */ | |
490 | ||
491 | #ifdef SEMOPS_DEFINE_INLINE | |
c906108c SS |
492 | |
493 | SEMOPS_INLINE SI | |
494 | ADDCSI (SI a, SI b, BI c) | |
495 | { | |
496 | SI res = ADDSI (a, ADDSI (b, c)); | |
497 | return res; | |
498 | } | |
499 | ||
500 | SEMOPS_INLINE BI | |
501 | ADDCFSI (SI a, SI b, BI c) | |
502 | { | |
503 | SI tmp = ADDSI (a, ADDSI (b, c)); | |
504 | BI res = ((USI) tmp < (USI) a) || (c && tmp == a); | |
505 | return res; | |
506 | } | |
507 | ||
508 | SEMOPS_INLINE BI | |
509 | ADDOFSI (SI a, SI b, BI c) | |
510 | { | |
511 | SI tmp = ADDSI (a, ADDSI (b, c)); | |
512 | BI res = (((a < 0) == (b < 0)) | |
513 | && ((a < 0) != (tmp < 0))); | |
514 | return res; | |
515 | } | |
516 | ||
517 | SEMOPS_INLINE SI | |
518 | SUBCSI (SI a, SI b, BI c) | |
519 | { | |
520 | SI res = SUBSI (a, ADDSI (b, c)); | |
521 | return res; | |
522 | } | |
523 | ||
524 | SEMOPS_INLINE BI | |
525 | SUBCFSI (SI a, SI b, BI c) | |
526 | { | |
527 | BI res = ((USI) a < (USI) b) || (c && a == b); | |
528 | return res; | |
529 | } | |
530 | ||
531 | SEMOPS_INLINE BI | |
532 | SUBOFSI (SI a, SI b, BI c) | |
533 | { | |
534 | SI tmp = SUBSI (a, ADDSI (b, c)); | |
535 | BI res = (((a < 0) != (b < 0)) | |
536 | && ((a < 0) != (tmp < 0))); | |
537 | return res; | |
538 | } | |
539 | ||
0fda6bd2 JM |
540 | SEMOPS_INLINE HI |
541 | ADDCHI (HI a, HI b, BI c) | |
542 | { | |
543 | HI res = ADDHI (a, ADDHI (b, c)); | |
544 | return res; | |
545 | } | |
546 | ||
547 | SEMOPS_INLINE BI | |
548 | ADDCFHI (HI a, HI b, BI c) | |
549 | { | |
550 | HI tmp = ADDHI (a, ADDHI (b, c)); | |
551 | BI res = ((UHI) tmp < (UHI) a) || (c && tmp == a); | |
552 | return res; | |
553 | } | |
554 | ||
555 | SEMOPS_INLINE BI | |
556 | ADDOFHI (HI a, HI b, BI c) | |
557 | { | |
558 | HI tmp = ADDHI (a, ADDHI (b, c)); | |
559 | BI res = (((a < 0) == (b < 0)) | |
560 | && ((a < 0) != (tmp < 0))); | |
561 | return res; | |
562 | } | |
563 | ||
564 | SEMOPS_INLINE HI | |
565 | SUBCHI (HI a, HI b, BI c) | |
566 | { | |
567 | HI res = SUBHI (a, ADDHI (b, c)); | |
568 | return res; | |
569 | } | |
570 | ||
571 | SEMOPS_INLINE BI | |
572 | SUBCFHI (HI a, HI b, BI c) | |
573 | { | |
574 | BI res = ((UHI) a < (UHI) b) || (c && a == b); | |
575 | return res; | |
576 | } | |
577 | ||
578 | SEMOPS_INLINE BI | |
579 | SUBOFHI (HI a, HI b, BI c) | |
580 | { | |
581 | HI tmp = SUBHI (a, ADDHI (b, c)); | |
582 | BI res = (((a < 0) != (b < 0)) | |
583 | && ((a < 0) != (tmp < 0))); | |
584 | return res; | |
585 | } | |
586 | ||
dea03d4e HPN |
587 | SEMOPS_INLINE QI |
588 | ADDCQI (QI a, QI b, BI c) | |
589 | { | |
590 | QI res = ADDQI (a, ADDQI (b, c)); | |
591 | return res; | |
592 | } | |
593 | ||
594 | SEMOPS_INLINE BI | |
595 | ADDCFQI (QI a, QI b, BI c) | |
596 | { | |
597 | QI tmp = ADDQI (a, ADDQI (b, c)); | |
598 | BI res = ((UQI) tmp < (UQI) a) || (c && tmp == a); | |
599 | return res; | |
600 | } | |
601 | ||
602 | SEMOPS_INLINE BI | |
603 | ADDOFQI (QI a, QI b, BI c) | |
604 | { | |
605 | QI tmp = ADDQI (a, ADDQI (b, c)); | |
606 | BI res = (((a < 0) == (b < 0)) | |
607 | && ((a < 0) != (tmp < 0))); | |
608 | return res; | |
609 | } | |
610 | ||
611 | SEMOPS_INLINE QI | |
612 | SUBCQI (QI a, QI b, BI c) | |
613 | { | |
614 | QI res = SUBQI (a, ADDQI (b, c)); | |
615 | return res; | |
616 | } | |
617 | ||
618 | SEMOPS_INLINE BI | |
619 | SUBCFQI (QI a, QI b, BI c) | |
620 | { | |
621 | BI res = ((UQI) a < (UQI) b) || (c && a == b); | |
622 | return res; | |
623 | } | |
624 | ||
625 | SEMOPS_INLINE BI | |
626 | SUBOFQI (QI a, QI b, BI c) | |
627 | { | |
628 | QI tmp = SUBQI (a, ADDQI (b, c)); | |
629 | BI res = (((a < 0) != (b < 0)) | |
630 | && ((a < 0) != (tmp < 0))); | |
631 | return res; | |
632 | } | |
633 | ||
58884b0e PG |
634 | SEMOPS_INLINE BI |
635 | MUL2OFSI (SI a, SI b) | |
636 | { | |
637 | DI tmp = MULDI (EXTSIDI (a), EXTSIDI (b)); | |
638 | BI res = tmp < -0x80000000LL || tmp > 0x7fffffffLL; | |
639 | return res; | |
640 | } | |
641 | ||
642 | SEMOPS_INLINE BI | |
643 | MUL1OFSI (USI a, USI b) | |
644 | { | |
645 | UDI tmp = MULDI (ZEXTSIDI (a), ZEXTSIDI (b)); | |
646 | BI res = (tmp > 0xFFFFFFFFULL); | |
647 | return res; | |
648 | } | |
649 | ||
c906108c SS |
650 | #else |
651 | ||
652 | SI ADDCSI (SI, SI, BI); | |
653 | UBI ADDCFSI (SI, SI, BI); | |
654 | UBI ADDOFSI (SI, SI, BI); | |
655 | SI SUBCSI (SI, SI, BI); | |
656 | UBI SUBCFSI (SI, SI, BI); | |
657 | UBI SUBOFSI (SI, SI, BI); | |
0fda6bd2 JM |
658 | HI ADDCHI (HI, HI, BI); |
659 | UBI ADDCFHI (HI, HI, BI); | |
660 | UBI ADDOFHI (HI, HI, BI); | |
661 | HI SUBCHI (HI, HI, BI); | |
662 | UBI SUBCFHI (HI, HI, BI); | |
663 | UBI SUBOFHI (HI, HI, BI); | |
dea03d4e HPN |
664 | QI ADDCQI (QI, QI, BI); |
665 | UBI ADDCFQI (QI, QI, BI); | |
666 | UBI ADDOFQI (QI, QI, BI); | |
667 | QI SUBCQI (QI, QI, BI); | |
668 | UBI SUBCFQI (QI, QI, BI); | |
669 | UBI SUBOFQI (QI, QI, BI); | |
58884b0e PG |
670 | BI MUL1OFSI (SI a, SI b); |
671 | BI MUL2OFSI (SI a, SI b); | |
c906108c SS |
672 | |
673 | #endif | |
c906108c SS |
674 | |
675 | #endif /* CGEN_SEM_OPS_H */ |