Update copyright year range in all GDB files.
[deliverable/binutils-gdb.git] / sim / common / cgen-ops.h
CommitLineData
c906108c 1/* Semantics ops support for CGEN-based simulators.
b811d2c2 2 Copyright (C) 1996-2020 Free Software Foundation, Inc.
c906108c
SS
3 Contributed by Cygnus Solutions.
4
5This file is part of the GNU Simulators.
6
7This program is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
4744ac1b
JB
9the Free Software Foundation; either version 3 of the License, or
10(at your option) any later version.
c906108c
SS
11
12This program is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
4744ac1b
JB
17You should have received a copy of the GNU General Public License
18along 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
72extern QI RORQI (QI, int);
73extern 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
102extern HI RORHI (HI, int);
103extern 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
132extern SI RORSI (SI, int);
133extern 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
153extern DI ADDDI (DI, DI);
154extern DI SUBDI (DI, DI);
155extern DI MULDI (DI, DI);
156extern DI DIVDI (DI, DI);
157extern DI UDIVDI (DI, DI);
158extern DI MODDI (DI, DI);
159extern DI UMODDI (DI, DI);
160extern DI SRADI (DI, int);
161extern UDI SRLDI (UDI, int);
162extern UDI SLLDI (UDI, int);
163extern DI RORDI (DI, int);
164extern DI ROLDI (DI, int);
165extern DI ANDDI (DI, DI);
166extern DI ORDI (DI, DI);
167extern DI XORDI (DI, DI);
168extern DI NEGDI (DI);
169extern int NOTDI (DI);
170extern DI INVDI (DI);
171extern int EQDI (DI, DI);
172extern int NEDI (DI, DI);
173extern int LTDI (DI, DI);
174extern int LEDI (DI, DI);
175extern int GTDI (DI, DI);
176extern int GEDI (DI, DI);
177extern int LTUDI (UDI, UDI);
178extern int LEUDI (UDI, UDI);
179extern int GTUDI (UDI, UDI);
180extern 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
192extern DI RORDI (DI, int);
193extern 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 217extern 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 224extern 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 232extern DI EXTHIDI (HI);
c906108c
SS
233#else
234#define EXTHIDI(x) ((DI) (HI) (x))
235#endif
236#if defined (DI_FN_SUPPORT)
43ff13b4 237extern 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 246extern 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 253extern 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 261extern DI ZEXTHIDI (HI);
c906108c
SS
262#else
263#define ZEXTHIDI(x) ((DI) (UHI) (x))
264#endif
265#if defined (DI_FN_SUPPORT)
43ff13b4 266extern 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 279extern BI TRUNCDIBI (DI);
c906108c
SS
280#else
281#define TRUNCDIBI(x) ((BI) (DI) (x))
282#endif
283#if defined (DI_FN_SUPPORT)
43ff13b4 284extern QI TRUNCDIQI (DI);
c906108c
SS
285#else
286#define TRUNCDIQI(x) ((QI) (DI) (x))
287#endif
288#if defined (DI_FN_SUPPORT)
43ff13b4 289extern HI TRUNCDIHI (DI);
c906108c
SS
290#else
291#define TRUNCDIHI(x) ((HI) (DI) (x))
292#endif
293#if defined (DI_FN_SUPPORT)
43ff13b4 294extern 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
306SEMOPS_INLINE SF
6426a772 307SUBWORDSISF (SI in)
7a292a7a
SS
308{
309 union { SI in; SF out; } x;
310 x.in = in;
311 return x.out;
312}
313
4f49fa1b
BE
314SEMOPS_INLINE DF
315SUBWORDDIDF (DI in)
316{
317 union { DI in; DF out; } x;
318 x.in = in;
319 return x.out;
320}
321
322SEMOPS_INLINE QI
323SUBWORDSIQI (SI in, int byte)
324{
325 assert (byte >= 0 && byte <= 3);
6227bc85 326 return (UQI) (in >> (8 * (3 - byte))) & 0xFF;
4f49fa1b
BE
327}
328
329SEMOPS_INLINE UQI
330SUBWORDSIUQI (SI in, int byte)
331{
332 assert (byte >= 0 && byte <= 3);
6227bc85
BE
333 return (UQI) (in >> (8 * (3 - byte))) & 0xFF;
334}
335
336SEMOPS_INLINE QI
337SUBWORDDIQI (DI in, int byte)
338{
339 assert (byte >= 0 && byte <= 7);
340 return (UQI) (in >> (8 * (7 - byte))) & 0xFF;
4f49fa1b
BE
341}
342
343SEMOPS_INLINE HI
344SUBWORDDIHI (DI in, int word)
345{
346 assert (word >= 0 && word <= 3);
6227bc85 347 return (UHI) (in >> (16 * (3 - word))) & 0xFFFF;
4f49fa1b
BE
348}
349
350SEMOPS_INLINE HI
351SUBWORDSIHI (SI in, int word)
352{
353 if (word == 0)
354 return (USI) in >> 16;
355 else
356 return in;
357}
358
7a292a7a 359SEMOPS_INLINE SI
6426a772 360SUBWORDSFSI (SF in)
7a292a7a
SS
361{
362 union { SF in; SI out; } x;
363 x.in = in;
364 return x.out;
365}
366
0d277f51
BE
367SEMOPS_INLINE DI
368SUBWORDDFDI (DF in)
369{
370 union { DF in; DI out; } x;
371 x.in = in;
372 return x.out;
373}
374
4f49fa1b
BE
375SEMOPS_INLINE UQI
376SUBWORDDIUQI (DI in, int byte)
377{
378 assert (byte >= 0 && byte <= 7);
379 return (UQI) (in >> (8 * (7 - byte)));
380}
381
7a292a7a 382SEMOPS_INLINE SI
6426a772 383SUBWORDDISI (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
391SEMOPS_INLINE SI
6426a772 392SUBWORDDFSI (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 401SEMOPS_INLINE SI
6426a772 402SUBWORDXFSI (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;
798066ab 407 if (HOST_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 413SEMOPS_INLINE SI
6426a772 414SUBWORDTFSI (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;
798066ab 419 if (HOST_BYTE_ORDER == BFD_ENDIAN_BIG)
1377e154
DE
420 return x.out[word];
421 else
422 return x.out[3 - word];
7a292a7a
SS
423}
424
425SEMOPS_INLINE DI
6426a772 426JOINSIDI (SI x0, SI x1)
7a292a7a 427{
1377e154 428 return MAKEDI (x0, x1);
7a292a7a
SS
429}
430
431SEMOPS_INLINE DF
6426a772 432JOINSIDF (SI x0, SI x1)
7a292a7a
SS
433{
434 union { SI in[2]; DF out; } x;
798066ab 435 if (HOST_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 442SEMOPS_INLINE XF
6426a772 443JOINSIXF (SI x0, SI x1, SI x2)
43ff13b4
JM
444{
445 union { SI in[3]; XF out; } x;
798066ab 446 if (HOST_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 453SEMOPS_INLINE TF
6426a772 454JOINSITF (SI x0, SI x1, SI x2, SI x3)
7a292a7a
SS
455{
456 union { SI in[4]; TF out; } x;
798066ab 457 if (HOST_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
466QI SUBWORDSIQI (SI);
467HI SUBWORDSIHI (HI);
6426a772 468SI SUBWORDSFSI (SF);
4f49fa1b 469SF SUBWORDSISF (SI);
0d277f51 470DI SUBWORDDFDI (DF);
4f49fa1b 471DF SUBWORDDIDF (DI);
6227bc85 472QI SUBWORDDIQI (DI, int);
4f49fa1b 473HI SUBWORDDIHI (DI, int);
6426a772
JM
474SI SUBWORDDISI (DI, int);
475SI SUBWORDDFSI (DF, int);
476SI SUBWORDXFSI (XF, int);
477SI SUBWORDTFSI (TF, int);
7a292a7a 478
4f49fa1b
BE
479UQI SUBWORDSIUQI (SI);
480UQI SUBWORDDIUQI (DI);
481
6426a772
JM
482DI JOINSIDI (SI, SI);
483DF JOINSIDF (SI, SI);
484XF JOINSIXF (SI, SI, SI);
485TF 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
493SEMOPS_INLINE SI
494ADDCSI (SI a, SI b, BI c)
495{
496 SI res = ADDSI (a, ADDSI (b, c));
497 return res;
498}
499
500SEMOPS_INLINE BI
501ADDCFSI (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
508SEMOPS_INLINE BI
509ADDOFSI (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
517SEMOPS_INLINE SI
518SUBCSI (SI a, SI b, BI c)
519{
520 SI res = SUBSI (a, ADDSI (b, c));
521 return res;
522}
523
524SEMOPS_INLINE BI
525SUBCFSI (SI a, SI b, BI c)
526{
527 BI res = ((USI) a < (USI) b) || (c && a == b);
528 return res;
529}
530
531SEMOPS_INLINE BI
532SUBOFSI (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
540SEMOPS_INLINE HI
541ADDCHI (HI a, HI b, BI c)
542{
543 HI res = ADDHI (a, ADDHI (b, c));
544 return res;
545}
546
547SEMOPS_INLINE BI
548ADDCFHI (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
555SEMOPS_INLINE BI
556ADDOFHI (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
564SEMOPS_INLINE HI
565SUBCHI (HI a, HI b, BI c)
566{
567 HI res = SUBHI (a, ADDHI (b, c));
568 return res;
569}
570
571SEMOPS_INLINE BI
572SUBCFHI (HI a, HI b, BI c)
573{
574 BI res = ((UHI) a < (UHI) b) || (c && a == b);
575 return res;
576}
577
578SEMOPS_INLINE BI
579SUBOFHI (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
587SEMOPS_INLINE QI
588ADDCQI (QI a, QI b, BI c)
589{
590 QI res = ADDQI (a, ADDQI (b, c));
591 return res;
592}
593
594SEMOPS_INLINE BI
595ADDCFQI (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
602SEMOPS_INLINE BI
603ADDOFQI (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
611SEMOPS_INLINE QI
612SUBCQI (QI a, QI b, BI c)
613{
614 QI res = SUBQI (a, ADDQI (b, c));
615 return res;
616}
617
618SEMOPS_INLINE BI
619SUBCFQI (QI a, QI b, BI c)
620{
621 BI res = ((UQI) a < (UQI) b) || (c && a == b);
622 return res;
623}
624
625SEMOPS_INLINE BI
626SUBOFQI (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
634SEMOPS_INLINE BI
635MUL2OFSI (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
642SEMOPS_INLINE BI
643MUL1OFSI (USI a, USI b)
644{
645 UDI tmp = MULDI (ZEXTSIDI (a), ZEXTSIDI (b));
646 BI res = (tmp > 0xFFFFFFFFULL);
647 return res;
648}
649
07f5f4c6
RH
650SEMOPS_INLINE BI
651ADDCFDI (DI a, DI b, BI c)
652{
653 DI tmp = ADDDI (a, ADDDI (b, c));
654 BI res = ((UDI) tmp < (UDI) a) || (c && tmp == a);
655 return res;
656}
657
658SEMOPS_INLINE BI
659ADDOFDI (DI a, DI b, BI c)
660{
661 DI tmp = ADDDI (a, ADDDI (b, c));
662 BI res = (((a < 0) == (b < 0))
663 && ((a < 0) != (tmp < 0)));
664 return res;
665}
666
667SEMOPS_INLINE BI
668SUBCFDI (DI a, DI b, BI c)
669{
670 BI res = ((UDI) a < (UDI) b) || (c && a == b);
671 return res;
672}
673
674SEMOPS_INLINE BI
675SUBOFDI (DI a, DI b, BI c)
676{
677 DI tmp = SUBDI (a, ADDSI (b, c));
678 BI res = (((a < 0) != (b < 0))
679 && ((a < 0) != (tmp < 0)));
680 return res;
681}
c906108c
SS
682#else
683
684SI ADDCSI (SI, SI, BI);
685UBI ADDCFSI (SI, SI, BI);
686UBI ADDOFSI (SI, SI, BI);
687SI SUBCSI (SI, SI, BI);
688UBI SUBCFSI (SI, SI, BI);
689UBI SUBOFSI (SI, SI, BI);
0fda6bd2
JM
690HI ADDCHI (HI, HI, BI);
691UBI ADDCFHI (HI, HI, BI);
692UBI ADDOFHI (HI, HI, BI);
693HI SUBCHI (HI, HI, BI);
694UBI SUBCFHI (HI, HI, BI);
695UBI SUBOFHI (HI, HI, BI);
dea03d4e
HPN
696QI ADDCQI (QI, QI, BI);
697UBI ADDCFQI (QI, QI, BI);
698UBI ADDOFQI (QI, QI, BI);
699QI SUBCQI (QI, QI, BI);
700UBI SUBCFQI (QI, QI, BI);
701UBI SUBOFQI (QI, QI, BI);
58884b0e
PG
702BI MUL1OFSI (SI a, SI b);
703BI MUL2OFSI (SI a, SI b);
07f5f4c6
RH
704BI ADDCFDI (DI a, DI b, BI c);
705BI ADDOFDI (DI a, DI b, BI c);
706BI SUBCFDI (DI a, DI b, BI c);
707BI SUBOFDI (DI a, DI b, BI c);
c906108c
SS
708
709#endif
c906108c
SS
710
711#endif /* CGEN_SEM_OPS_H */
This page took 1.315517 seconds and 4 git commands to generate.