Rev 5191 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
5191 | serge | 1 | /* Basic semantics ops support for CGEN. |
6324 | serge | 2 | Copyright (C) 2005-2015 Free Software Foundation, Inc. |
5191 | serge | 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 |
||
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)) |
||
66 | extern QI RORQI (QI, int); |
||
67 | extern 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)) |
||
96 | extern HI RORHI (HI, int); |
||
97 | extern 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)) |
||
126 | extern SI RORSI (SI, int); |
||
127 | extern 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 |
||
147 | extern DI ADDDI (DI, DI); |
||
148 | extern DI SUBDI (DI, DI); |
||
149 | extern DI MULDI (DI, DI); |
||
150 | extern DI DIVDI (DI, DI); |
||
151 | extern DI UDIVDI (DI, DI); |
||
152 | extern DI MODDI (DI, DI); |
||
153 | extern DI UMODDI (DI, DI); |
||
154 | extern DI SRADI (DI, int); |
||
155 | extern UDI SRLDI (UDI, int); |
||
156 | extern UDI SLLDI (UDI, int); |
||
157 | extern DI RORDI (DI, int); |
||
158 | extern DI ROLDI (DI, int); |
||
159 | extern DI ANDDI (DI, DI); |
||
160 | extern DI ORDI (DI, DI); |
||
161 | extern DI XORDI (DI, DI); |
||
162 | extern DI NEGDI (DI); |
||
163 | extern int NOTDI (DI); |
||
164 | extern DI INVDI (DI); |
||
165 | extern int EQDI (DI, DI); |
||
166 | extern int NEDI (DI, DI); |
||
167 | extern int LTDI (DI, DI); |
||
168 | extern int LEDI (DI, DI); |
||
169 | extern int GTDI (DI, DI); |
||
170 | extern int GEDI (DI, DI); |
||
171 | extern int LTUDI (UDI, UDI); |
||
172 | extern int LEUDI (UDI, UDI); |
||
173 | extern int GTUDI (UDI, UDI); |
||
174 | extern 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)) |
||
186 | extern DI RORDI (DI, int); |
||
187 | extern 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) |
||
211 | extern 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) |
||
218 | extern 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) |
||
226 | extern DI EXTHIDI (HI); |
||
227 | #else |
||
228 | #define EXTHIDI(x) ((DI) (HI) (x)) |
||
229 | #endif |
||
230 | #if defined (DI_FN_SUPPORT) |
||
231 | extern 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) |
||
240 | extern 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) |
||
247 | extern 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) |
||
255 | extern DI ZEXTHIDI (HI); |
||
256 | #else |
||
257 | #define ZEXTHIDI(x) ((DI) (UHI) (x)) |
||
258 | #endif |
||
259 | #if defined (DI_FN_SUPPORT) |
||
260 | extern 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) |
||
273 | extern BI TRUNCDIBI (DI); |
||
274 | #else |
||
275 | #define TRUNCDIBI(x) ((BI) (DI) (x)) |
||
276 | #endif |
||
277 | #if defined (DI_FN_SUPPORT) |
||
278 | extern QI TRUNCDIQI (DI); |
||
279 | #else |
||
280 | #define TRUNCDIQI(x) ((QI) (DI) (x)) |
||
281 | #endif |
||
282 | #if defined (DI_FN_SUPPORT) |
||
283 | extern HI TRUNCDIHI (DI); |
||
284 | #else |
||
285 | #define TRUNCDIHI(x) ((HI) (DI) (x)) |
||
286 | #endif |
||
287 | #if defined (DI_FN_SUPPORT) |
||
288 | extern 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 | |||
298 | static QI SUBWORDSIQI (SI, int); |
||
299 | static HI SUBWORDSIHI (SI, int); |
||
300 | static QI SUBWORDDIQI (DI, int); |
||
301 | static HI SUBWORDDIHI (DI, int); |
||
302 | static SI SUBWORDDISI (DI, int); |
||
303 | |||
304 | #ifdef SEMOPS_DEFINE_INLINE |
||
305 | |||
306 | SEMOPS_INLINE QI |
||
307 | SUBWORDSIQI (SI in, int byte) |
||
308 | { |
||
309 | assert (byte >= 0 && byte <= 3); |
||
310 | return (UQI) (in >> (8 * (3 - byte))) & 0xFF; |
||
311 | } |
||
312 | |||
313 | SEMOPS_INLINE HI |
||
314 | SUBWORDSIHI (SI in, int word) |
||
315 | { |
||
316 | if (word == 0) |
||
317 | return (USI) in >> 16; |
||
318 | else |
||
319 | return in; |
||
320 | } |
||
321 | |||
322 | SEMOPS_INLINE QI |
||
323 | SUBWORDDIQI (DI in, int byte) |
||
324 | { |
||
325 | assert (byte >= 0 && byte <= 7); |
||
326 | return (UQI) (in >> (8 * (7 - byte))) & 0xFF; |
||
327 | } |
||
328 | |||
329 | SEMOPS_INLINE HI |
||
330 | SUBWORDDIHI (DI in, int word) |
||
331 | { |
||
332 | assert (word >= 0 && word <= 3); |
||
333 | return (UHI) (in >> (16 * (3 - word))) & 0xFFFF; |
||
334 | } |
||
335 | |||
336 | SEMOPS_INLINE SI |
||
337 | SUBWORDDISI (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 */=>=>=>=>>=>>>><>=>>=>>>><>=>>=>>>><>=>>=>>>><>=>>=>> |