source: trunk/libs/newlib/src/include/cgen/basic-ops.h @ 544

Last change on this file since 544 was 444, checked in by satin@…, 7 years ago

add newlib,libalmos-mkh, restructure shared_syscalls.h and mini-libc
File size: 10.0 KB
RevLine 
[444]1/* Basic semantics ops support for CGEN.
2   Copyright 2005-2013 Free Software Foundation, Inc.
3   Contributed by Red Hat.
4
5   This file is part of the GNU opcodes library.
6
7   This library is free software; you can redistribute it and/or modify
8   it under the terms of the GNU General Public License as published by
9   the Free Software Foundation; either version 3, or (at your option)
10   any later version.
11
12   It 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
17   You should have received a copy of the GNU General Public License
18   along with this library; see the file COPYING3.  If not, write to the
19   Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
20   02110-1301, USA.  */
21
22#ifndef CGEN_BASIC_OPS_H
23#define CGEN_BASIC_OPS_H
24
25#include <assert.h>
26
27#if defined (__GNUC__) && ! defined (SEMOPS_DEFINE_INLINE)
28#define SEMOPS_DEFINE_INLINE
29#define SEMOPS_INLINE extern inline
30#else
31#define SEMOPS_INLINE
32#endif
33
34/* These don't really have a mode.  */
35#define ANDIF(x, y) ((x) && (y))
36#define ORIF(x, y) ((x) || (y))
37
38#define SUBBI(x, y) ((x) - (y))
39#define ANDBI(x, y) ((x) & (y))
40#define ORBI(x, y) ((x) | (y))
41#define XORBI(x, y) ((x) ^ (y))
42#define NEGBI(x) (- (x))
43#define NOTBI(x) (! (BI) (x))
44#define INVBI(x) (~ (x))
45#define EQBI(x, y) ((BI) (x) == (BI) (y))
46#define NEBI(x, y) ((BI) (x) != (BI) (y))
47#define LTBI(x, y) ((BI) (x) < (BI) (y))
48#define LEBI(x, y) ((BI) (x) <= (BI) (y))
49#define GTBI(x, y) ((BI) (x) > (BI) (y))
50#define GEBI(x, y) ((BI) (x) >= (BI) (y))
51#define LTUBI(x, y) ((BI) (x) < (BI) (y))
52#define LEUBI(x, y) ((BI) (x) <= (BI) (y))
53#define GTUBI(x, y) ((BI) (x) > (BI) (y))
54#define GEUBI(x, y) ((BI) (x) >= (BI) (y))
55
56#define ADDQI(x, y) ((x) + (y))
57#define SUBQI(x, y) ((x) - (y))
58#define MULQI(x, y) ((x) * (y))
59#define DIVQI(x, y) ((QI) (x) / (QI) (y))
60#define UDIVQI(x, y) ((UQI) (x) / (UQI) (y))
61#define MODQI(x, y) ((QI) (x) % (QI) (y))
62#define UMODQI(x, y) ((UQI) (x) % (UQI) (y))
63#define SRAQI(x, y) ((QI) (x) >> (y))
64#define SRLQI(x, y) ((UQI) (x) >> (y))
65#define SLLQI(x, y) ((UQI) (x) << (y))
66extern QI RORQI (QI, int);
67extern QI ROLQI (QI, int);
68#define ANDQI(x, y) ((x) & (y))
69#define ORQI(x, y) ((x) | (y))
70#define XORQI(x, y) ((x) ^ (y))
71#define NEGQI(x) (- (x))
72#define NOTQI(x) (! (QI) (x))
73#define INVQI(x) (~ (x))
74#define ABSQI(x) ((x) < 0 ? -(x) : (x))
75#define EQQI(x, y) ((QI) (x) == (QI) (y))
76#define NEQI(x, y) ((QI) (x) != (QI) (y))
77#define LTQI(x, y) ((QI) (x) < (QI) (y))
78#define LEQI(x, y) ((QI) (x) <= (QI) (y))
79#define GTQI(x, y) ((QI) (x) > (QI) (y))
80#define GEQI(x, y) ((QI) (x) >= (QI) (y))
81#define LTUQI(x, y) ((UQI) (x) < (UQI) (y))
82#define LEUQI(x, y) ((UQI) (x) <= (UQI) (y))
83#define GTUQI(x, y) ((UQI) (x) > (UQI) (y))
84#define GEUQI(x, y) ((UQI) (x) >= (UQI) (y))
85
86#define ADDHI(x, y) ((x) + (y))
87#define SUBHI(x, y) ((x) - (y))
88#define MULHI(x, y) ((x) * (y))
89#define DIVHI(x, y) ((HI) (x) / (HI) (y))
90#define UDIVHI(x, y) ((UHI) (x) / (UHI) (y))
91#define MODHI(x, y) ((HI) (x) % (HI) (y))
92#define UMODHI(x, y) ((UHI) (x) % (UHI) (y))
93#define SRAHI(x, y) ((HI) (x) >> (y))
94#define SRLHI(x, y) ((UHI) (x) >> (y))
95#define SLLHI(x, y) ((UHI) (x) << (y))
96extern HI RORHI (HI, int);
97extern HI ROLHI (HI, int);
98#define ANDHI(x, y) ((x) & (y))
99#define ORHI(x, y) ((x) | (y))
100#define XORHI(x, y) ((x) ^ (y))
101#define NEGHI(x) (- (x))
102#define NOTHI(x) (! (HI) (x))
103#define INVHI(x) (~ (x))
104#define ABSHI(x) ((x) < 0 ? -(x) : (x))
105#define EQHI(x, y) ((HI) (x) == (HI) (y))
106#define NEHI(x, y) ((HI) (x) != (HI) (y))
107#define LTHI(x, y) ((HI) (x) < (HI) (y))
108#define LEHI(x, y) ((HI) (x) <= (HI) (y))
109#define GTHI(x, y) ((HI) (x) > (HI) (y))
110#define GEHI(x, y) ((HI) (x) >= (HI) (y))
111#define LTUHI(x, y) ((UHI) (x) < (UHI) (y))
112#define LEUHI(x, y) ((UHI) (x) <= (UHI) (y))
113#define GTUHI(x, y) ((UHI) (x) > (UHI) (y))
114#define GEUHI(x, y) ((UHI) (x) >= (UHI) (y))
115
116#define ADDSI(x, y) ((x) + (y))
117#define SUBSI(x, y) ((x) - (y))
118#define MULSI(x, y) ((x) * (y))
119#define DIVSI(x, y) ((SI) (x) / (SI) (y))
120#define UDIVSI(x, y) ((USI) (x) / (USI) (y))
121#define MODSI(x, y) ((SI) (x) % (SI) (y))
122#define UMODSI(x, y) ((USI) (x) % (USI) (y))
123#define SRASI(x, y) ((SI) (x) >> (y))
124#define SRLSI(x, y) ((USI) (x) >> (y))
125#define SLLSI(x, y) ((USI) (x) << (y))
126extern SI RORSI (SI, int);
127extern SI ROLSI (SI, int);
128#define ANDSI(x, y) ((x) & (y))
129#define ORSI(x, y) ((x) | (y))
130#define XORSI(x, y) ((x) ^ (y))
131#define NEGSI(x) (- (x))
132#define NOTSI(x) (! (SI) (x))
133#define INVSI(x) (~ (x))
134#define ABSSI(x) ((x) < 0 ? -(x) : (x))
135#define EQSI(x, y) ((SI) (x) == (SI) (y))
136#define NESI(x, y) ((SI) (x) != (SI) (y))
137#define LTSI(x, y) ((SI) (x) < (SI) (y))
138#define LESI(x, y) ((SI) (x) <= (SI) (y))
139#define GTSI(x, y) ((SI) (x) > (SI) (y))
140#define GESI(x, y) ((SI) (x) >= (SI) (y))
141#define LTUSI(x, y) ((USI) (x) < (USI) (y))
142#define LEUSI(x, y) ((USI) (x) <= (USI) (y))
143#define GTUSI(x, y) ((USI) (x) > (USI) (y))
144#define GEUSI(x, y) ((USI) (x) >= (USI) (y))
145
146#ifdef DI_FN_SUPPORT
147extern DI ADDDI (DI, DI);
148extern DI SUBDI (DI, DI);
149extern DI MULDI (DI, DI);
150extern DI DIVDI (DI, DI);
151extern DI UDIVDI (DI, DI);
152extern DI MODDI (DI, DI);
153extern DI UMODDI (DI, DI);
154extern DI SRADI (DI, int);
155extern UDI SRLDI (UDI, int);
156extern UDI SLLDI (UDI, int);
157extern DI RORDI (DI, int);
158extern DI ROLDI (DI, int);
159extern DI ANDDI (DI, DI);
160extern DI ORDI (DI, DI);
161extern DI XORDI (DI, DI);
162extern DI NEGDI (DI);
163extern int NOTDI (DI);
164extern DI INVDI (DI);
165extern int EQDI (DI, DI);
166extern int NEDI (DI, DI);
167extern int LTDI (DI, DI);
168extern int LEDI (DI, DI);
169extern int GTDI (DI, DI);
170extern int GEDI (DI, DI);
171extern int LTUDI (UDI, UDI);
172extern int LEUDI (UDI, UDI);
173extern int GTUDI (UDI, UDI);
174extern int GEUDI (UDI, UDI);
175#else /* ! DI_FN_SUPPORT */
176#define ADDDI(x, y) ((x) + (y))
177#define SUBDI(x, y) ((x) - (y))
178#define MULDI(x, y) ((x) * (y))
179#define DIVDI(x, y) ((DI) (x) / (DI) (y))
180#define UDIVDI(x, y) ((UDI) (x) / (UDI) (y))
181#define MODDI(x, y) ((DI) (x) % (DI) (y))
182#define UMODDI(x, y) ((UDI) (x) % (UDI) (y))
183#define SRADI(x, y) ((DI) (x) >> (y))
184#define SRLDI(x, y) ((UDI) (x) >> (y))
185#define SLLDI(x, y) ((UDI) (x) << (y))
186extern DI RORDI (DI, int);
187extern DI ROLDI (DI, int);
188#define ANDDI(x, y) ((x) & (y))
189#define ORDI(x, y) ((x) | (y))
190#define XORDI(x, y) ((x) ^ (y))
191#define NEGDI(x) (- (x))
192#define NOTDI(x) (! (DI) (x))
193#define INVDI(x) (~ (x))
194#define ABSDI(x) ((x) < 0 ? -(x) : (x))
195#define EQDI(x, y) ((DI) (x) == (DI) (y))
196#define NEDI(x, y) ((DI) (x) != (DI) (y))
197#define LTDI(x, y) ((DI) (x) < (DI) (y))
198#define LEDI(x, y) ((DI) (x) <= (DI) (y))
199#define GTDI(x, y) ((DI) (x) > (DI) (y))
200#define GEDI(x, y) ((DI) (x) >= (DI) (y))
201#define LTUDI(x, y) ((UDI) (x) < (UDI) (y))
202#define LEUDI(x, y) ((UDI) (x) <= (UDI) (y))
203#define GTUDI(x, y) ((UDI) (x) > (UDI) (y))
204#define GEUDI(x, y) ((UDI) (x) >= (UDI) (y))
205#endif /* DI_FN_SUPPORT */
206
207#define EXTBIQI(x) ((QI) (BI) (x))
208#define EXTBIHI(x) ((HI) (BI) (x))
209#define EXTBISI(x) ((SI) (BI) (x))
210#if defined (DI_FN_SUPPORT)
211extern DI EXTBIDI (BI);
212#else
213#define EXTBIDI(x) ((DI) (BI) (x))
214#endif
215#define EXTQIHI(x) ((HI) (QI) (x))
216#define EXTQISI(x) ((SI) (QI) (x))
217#if defined (DI_FN_SUPPORT)
218extern DI EXTQIDI (QI);
219#else
220#define EXTQIDI(x) ((DI) (QI) (x))
221#endif
222#define EXTHIHI(x) ((HI) (HI) (x))
223#define EXTHISI(x) ((SI) (HI) (x))
224#define EXTSISI(x) ((SI) (SI) (x))
225#if defined (DI_FN_SUPPORT)
226extern DI EXTHIDI (HI);
227#else
228#define EXTHIDI(x) ((DI) (HI) (x))
229#endif
230#if defined (DI_FN_SUPPORT)
231extern DI EXTSIDI (SI);
232#else
233#define EXTSIDI(x) ((DI) (SI) (x))
234#endif
235
236#define ZEXTBIQI(x) ((QI) (BI) (x))
237#define ZEXTBIHI(x) ((HI) (BI) (x))
238#define ZEXTBISI(x) ((SI) (BI) (x))
239#if defined (DI_FN_SUPPORT)
240extern DI ZEXTBIDI (BI);
241#else
242#define ZEXTBIDI(x) ((DI) (BI) (x))
243#endif
244#define ZEXTQIHI(x) ((HI) (UQI) (x))
245#define ZEXTQISI(x) ((SI) (UQI) (x))
246#if defined (DI_FN_SUPPORT)
247extern DI ZEXTQIDI (QI);
248#else
249#define ZEXTQIDI(x) ((DI) (UQI) (x))
250#endif
251#define ZEXTHISI(x) ((SI) (UHI) (x))
252#define ZEXTHIHI(x) ((HI) (UHI) (x))
253#define ZEXTSISI(x) ((SI) (USI) (x))
254#if defined (DI_FN_SUPPORT)
255extern DI ZEXTHIDI (HI);
256#else
257#define ZEXTHIDI(x) ((DI) (UHI) (x))
258#endif
259#if defined (DI_FN_SUPPORT)
260extern DI ZEXTSIDI (SI);
261#else
262#define ZEXTSIDI(x) ((DI) (USI) (x))
263#endif
264
265#define TRUNCQIBI(x) ((BI) (QI) (x))
266#define TRUNCHIBI(x) ((BI) (HI) (x))
267#define TRUNCHIQI(x) ((QI) (HI) (x))
268#define TRUNCSIBI(x) ((BI) (SI) (x))
269#define TRUNCSIQI(x) ((QI) (SI) (x))
270#define TRUNCSIHI(x) ((HI) (SI) (x))
271#define TRUNCSISI(x) ((SI) (SI) (x))
272#if defined (DI_FN_SUPPORT)
273extern BI TRUNCDIBI (DI);
274#else
275#define TRUNCDIBI(x) ((BI) (DI) (x))
276#endif
277#if defined (DI_FN_SUPPORT)
278extern QI TRUNCDIQI (DI);
279#else
280#define TRUNCDIQI(x) ((QI) (DI) (x))
281#endif
282#if defined (DI_FN_SUPPORT)
283extern HI TRUNCDIHI (DI);
284#else
285#define TRUNCDIHI(x) ((HI) (DI) (x))
286#endif
287#if defined (DI_FN_SUPPORT)
288extern SI TRUNCDISI (DI);
289#else
290#define TRUNCDISI(x) ((SI) (DI) (x))
291#endif
292
293/* Composing/decomposing the various types.
294   Word ordering is endian-independent.  Words are specified most to least
295   significant and word number 0 is the most significant word.
296   ??? May also wish an endian-dependent version.  Later.  */
297
298static QI SUBWORDSIQI (SI, int);
299static HI SUBWORDSIHI (SI, int);
300static QI SUBWORDDIQI (DI, int);
301static HI SUBWORDDIHI (DI, int);
302static SI SUBWORDDISI (DI, int);
303
304#ifdef SEMOPS_DEFINE_INLINE
305
306SEMOPS_INLINE QI
307SUBWORDSIQI (SI in, int byte)
308{
309  assert (byte >= 0 && byte <= 3);
310  return (UQI) (in >> (8 * (3 - byte))) & 0xFF;
311}
312
313SEMOPS_INLINE HI
314SUBWORDSIHI (SI in, int word)
315{
316  if (word == 0)
317    return (USI) in >> 16;
318  else
319    return in;
320}
321
322SEMOPS_INLINE QI
323SUBWORDDIQI (DI in, int byte)
324{
325  assert (byte >= 0 && byte <= 7);
326  return (UQI) (in >> (8 * (7 - byte))) & 0xFF;
327}
328
329SEMOPS_INLINE HI
330SUBWORDDIHI (DI in, int word)
331{
332  assert (word >= 0 && word <= 3);
333  return (UHI) (in >> (16 * (3 - word))) & 0xFFFF;
334}
335
336SEMOPS_INLINE SI
337SUBWORDDISI (DI in, int word)
338{
339  if (word == 0)
340    return (UDI) in >> 32;
341  else
342    return in;
343}
344
345#endif /* SUBWORD,JOIN */
346
347#endif /* CGEN_BASIC_OPS_H */
Note: See TracBrowser for help on using the repository browser.