* src/vm/jit/s390/emit.c,
[cacao.git] / src / vm / jit / s390 / codegen.h
1 /* src/vm/jit/x86_64/codegen.h - code generation macros for x86_64
2
3    Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
4    C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
5    E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
6    J. Wenninger, Institut f. Computersprachen - TU Wien
7
8    This file is part of CACAO.
9
10    This program is free software; you can redistribute it and/or
11    modify it under the terms of the GNU General Public License as
12    published by the Free Software Foundation; either version 2, or (at
13    your option) any later version.
14
15    This program is distributed in the hope that it will be useful, but
16    WITHOUT ANY WARRANTY; without even the implied warranty of
17    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18    General Public License for more details.
19
20    You should have received a copy of the GNU General Public License
21    along with this program; if not, write to the Free Software
22    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
23    02110-1301, USA.
24
25    Contact: cacao@cacaojvm.org
26
27    Authors: Andreas Krall
28             Christian Thalinger
29
30    $Id: codegen.h 7581 2007-03-26 07:23:16Z pm $
31
32 */
33
34
35 #ifndef _CODEGEN_H
36 #define _CODEGEN_H
37
38 #include "config.h"
39
40 #include <ucontext.h>
41
42 #include "vm/types.h"
43
44 #include "vm/jit/jit.h"
45
46
47 /* additional functions and macros to generate code ***************************/
48
49 #define CALCOFFSETBYTES(var, reg, val) \
50     if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
51     else if ((s4) (val) != 0) (var) += 1; \
52     else if ((reg) == RBP || (reg) == RSP || (reg) == R12 || (reg) == R13) (var) += 1;
53
54
55 #define CALCIMMEDIATEBYTES(var, val) \
56     if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
57     else (var) += 1;
58
59
60 /* gen_nullptr_check(objreg) */
61
62 #define gen_nullptr_check(objreg) \
63         if (checknull) { \
64         M_TEST(objreg); \
65         M_BEQ(0); \
66             codegen_add_nullpointerexception_ref(cd); \
67         }
68
69
70 #define gen_bound_check \
71     if (checkbounds) { \
72         M_ILD(REG_ITMP3, s1, OFFSET(java_arrayheader, size));\
73         M_ICMP(REG_ITMP3, s2); \
74         M_BAE(0); \
75         codegen_add_arrayindexoutofboundsexception_ref(cd, s2); \
76     }
77
78
79 /* MCODECHECK(icnt) */
80
81 #define MCODECHECK(icnt) \
82     do { \
83         if ((cd->mcodeptr + (icnt)) > cd->mcodeend) \
84             codegen_increase(cd); \
85     } while (0)
86
87
88 #define ALIGNCODENOP \
89     if ((s4) (((ptrint) cd->mcodeptr) & 7)) { \
90         M_NOP; \
91     }
92
93
94
95 /* branch defines *************************************************************/
96
97 #define BRANCH_NOPS \
98     do { \
99         M_NOP; \
100     } while (0)
101
102
103 /* some patcher defines *******************************************************/
104
105 #define PATCHER_CALL_SIZE    4          /* size in bytes of a patcher call    */
106
107 #define PATCHER_NOPS \
108     do { \
109         M_NOP; \
110                 M_NOP; \ 
111                 M_NOP; \
112     } while (0)
113
114 #define PATCHER_NOPS_SKIP   12 
115
116 /* *** BIG TODO ***
117  * Make all this inline functions !!!!!!!!!!
118  */
119
120 /* macros to create code ******************************************************/
121
122 /* Conventions:
123  * N_foo:   defines the instrucition foo as in `ESA/390 Principles of operations'
124  * SZ_foo:  defines the size of the instruction N_foo
125  * DD_foo:  defines a condition code as used by s390 GCC
126  * M_foo:   defines the alpha like instruction used in cacao
127  *          the instruction is defined by an equivalent N_ instruction
128  * CC_foo:  defines a condition code as used
129  *          the instruction is defined as an equivalent DD_ condition code
130  */
131
132 /* S390 specific code */
133
134 /* Argument checks for debug mode */
135
136 /* Some instructions with register arguments treat %r0 as "value not given".
137  * To prevent bugs, in debug mode we use a special value RN (reg none) with 
138  * the meaning "value not given".
139  * In debug mode, the instructions assert that %r0 was not given as argument.
140  */
141
142 #if 1
143 #       include <stdlib.h>
144         /* register none */
145 #       define RN 16
146         /* Optional register.
147          * Check that value given is %r1 - %r15 or RN
148          */
149 #       define _WITH_LINE(f, ...) f(__FILE__, __LINE__, __VA_ARGS__)
150         static inline int _OR_IMPL(const char *file, int line, int r) {
151                 if(!(
152                         ((0 < r) && (r < 16)) ||
153                         (r == RN)
154                 )) {
155                         fprintf(stdout, "%d is not a valid register at %s:%d.\n", r, file, line);
156                         abort();
157                 }
158                 return ((r == RN) ? 0 : r);
159         }
160 #       define _OR(r) _WITH_LINE(_OR_IMPL, r)
161
162 #       define _SMIN(b) (-(1 << (bits - 1)))
163 #       define _SMAX(b) ((1 << (b - 1)) - 1)
164 #       define _UMIN(b) 0
165 #       define _UMAX(b) ((1 << b) - 1)
166
167         static inline int _UBITS_IMPL(const char *file, int line, int i, int bits) {
168                 if (!((_UMIN(bits) <= i) && (i <= _UMAX(bits)))) {
169                         fprintf(stdout, "%d (0x%X) is not an unsigned %d bit integer at %s:%d.\n", i, i, bits, file, line);
170                         abort();
171                 }
172                 return i;
173         }
174 #       define _UBITS(i, bits) _WITH_LINE(_UBITS_IMPL, i, bits)
175         static inline int _SBITS_IMPL(const char *file, int line, int i, int bits) {
176                 if(!((_SMIN(bits) <= i) && (i <= _SMAX(bits)))) {
177                         fprintf(stdout, "%d (0x%X) is not an signed %d bit integer at %s:%d.\n", i, i, bits, file, line);
178                         abort();
179                 }
180                 return i;
181         }
182 #       define _SBITS(i, bits) _WITH_LINE(_SBITS_IMPL, i, bits)
183         static inline int _BITS_IMPL(const char *file, int line, int i, int bits) {
184                 if (!(
185                         ((_UMIN(bits) <= i) && (i <= _UMAX(bits))) ||
186                         ((_SMIN(bits) <= i) && (i <= _SMAX(bits)))
187                 )) {
188                         fprintf(stdout, "%d (0x%X) is not an %d bit integer at %s:%d.\n", i, i, bits, file, line);
189                         abort();
190                 }
191                 return i;
192         }
193 #       define _BITS(i, bits) _WITH_LINE(_BITS_IMPL, i, bits)
194 #else
195 #       define RN 0
196 #       define _OR(x) (x)
197 #       define _BITS(x, b) (x)
198 #       define _UBITS(x, b) (x)
199 #       define _SBITS(x, b) (x)
200 #endif
201
202 /* Register */
203 #define _R(x) _UBITS((x), 4)
204 /* Displacement */
205 #define _D(x) _UBITS((x), 12)
206 /* 4 bit Immediate */
207 #define _I4(x) _BITS((x), 4)
208 #define _UI4(x) _UBITS((x), 4)
209 #define _SI4(x) _SBITS((x), 4)
210 /* 8 bit Immediate */
211 #define _I8(x) _BITS((x), 8)
212 #define _UI8(x) _UBITS((x), 8)
213 #define _SI8(x) _SBITS((x), 8)
214 /* 12 bit Immediate */
215 #define _I12(x) _BITS((x), 12)
216 #define _UI12(x) _UBITS((x), 12)
217 #define _SI12(x) _SBITS((x), 12)
218 /* 16 bit Immediate */
219 #define _I16(x) _BITS((x), 16)
220 #define _UI16(x) _UBITS((x), 16)
221 #define _SI16(x) _SBITS((x), 16)
222 /* Opcode */
223 #define _OP(x) _UBITS((x), 8)
224 /* Second part of opcode */
225 #define _OP4(x) _UBITS((x), 4)
226 /* Extended opcode */
227 #define _OP16(x) _UBITS((x), 16)
228
229 /* Instruction formats */
230
231 #define _CODE(t, code) \
232         do { \
233                 *((t *) cd->mcodeptr) = (code); \
234                 cd->mcodeptr += sizeof(t); \
235         } while (0)
236
237 #define _CODE2(code) _CODE(u2, code)
238 #define _CODE4(code) _CODE(u4, code)
239
240 #define _IF(cond, t, f) \
241         do { if (cond) { t ; } else { f ; } } while (0)
242
243 #define _IFNEG(val, neg, pos) _IF((val) < 0, neg, pos)
244
245 #define N_RR(op, r1, r2) \
246         _CODE2( (_OP(op) << 8) | (_R(r1) << 4) | _R(r2) )
247
248 #define SZ_RR 2
249
250 #define N_RR2(op, i) \
251         _CODE2( (_OP(op) << 8) | _I8(i) )
252
253 #define N_RX(op, r1, d2, x2, b2) \
254         _CODE4( (_OP(op) << 24) | (_R(r1) << 20) | (_OR(x2) << 16) | (_OR(b2) << 12) | (_D(d2) << 0) )
255
256 #define SZ_RX 4
257
258 #define N_RI(op1, op2, r1, i2) \
259         _CODE4( (_OP(op1) << 24) | (_R(r1) << 20) | (_OP4(op2) << 16) | (u2)_I16(i2) )
260
261 #define SZ_RI 4
262
263 #define N_SI(op, d1, b1, i2) \
264         _CODE4( (_OP(op) << 24) | (_OR(i2) << 16) | (_OR(b1) << 12) | _D(d1) )
265
266 #define SZ_SI 4
267
268 #define N_SS(op, d1, l, b1, d2, b2) \
269         do { \
270                 _CODE4( (_OP(op) << 24) | (_I8(l) << 16) | (_OR(b1) << 12) | _D(d1) ); \
271                 _CODE2( (_OR(b2) << 12) | _D(d2) ); \
272         } while (0)
273
274 #define SZ_SS 6
275
276 #define N_SS2(op, d1, l1, b1, d2, l2, b2) \
277         N_SS(op, d1, (_I4(l1) << 4) | _I4(l2), b1, d2, l2)
278
279 #define N_RS(op, r1, r3, d2, b2) \
280         _CODE4( (_OP(op) << 24) | (_R(r1) << 20) | (_R(r3) << 16) | (_OR(b2) << 12) | _D(d2) )
281
282 #define SZ_RS 4
283
284 #define N_RSI(op, r1, r2, i2) \
285         _CODE4( ((op) << 24) | (_R(r1) << 20) | (_R(r3) << 16) | (u2)_16(i2) )
286
287 #define SZ_RSI 4
288
289 #define N_RRE(op, r1, r2) \
290         _CODE4( (_OP16(op) << 16) | (_R(r1) << 4) | _R(r2) )
291
292 #define SZ_RRE 4
293
294 #define N_S2(d2, b2) \
295         _CODE4( (_OP16(op) << 16) | (_OR(b2) << 12) | _D(d2)  )
296
297 #define SZ_S2 4
298
299 #define N_E(op) \
300         _CODE2( _OP16(op) )
301
302 #define SZ_E 2
303
304 #define N_RXE(op, r1, d2, x2, b2) \
305         do { \
306                 _CODE4( ((_OP16(op) >> 8) << 24) | (_R(r1) << 20) | \
307                         (_R(x2) << 16) | (_R(b2) << 12) | _UI12(d2) ); \
308                 _CODE2( _OP16(op) & 0xFF ); \
309         } while (0) 
310
311 #define S_RXE 6
312
313 #define N_RRF(op, r1, m3, r2) \
314         _CODE4( (_OP16(op) << 16) | (_R(m3) << 12) | (_R(r1) << 4) | _R(r2) )
315
316 #define S_RRF 4
317
318 #define N_IMM_MIN -32768
319 #define N_IMM_MAX 32767
320 #define N_VALID_IMM(x) ((N_IMM_MIN <= (x)) && ((x) <= N_IMM_MAX))
321 #define ASSERT_VALID_IMM(x) assert(N_VALID_IMM(x))
322
323 #define N_DISP_MIN 0
324 #define N_DISP_MAX 0xFFF
325 #define N_VALID_DISP(x) ((N_DISP_MIN <= (x)) && ((x) <= N_DISP_MAX))
326 #define ASSERT_VALID_DISP(x) assert(N_VALID_DISP(x))
327
328 #define N_BRANCH_MIN -32768
329 #define N_BRANCH_MAX 32767
330 #define N_VALID_BRANCH(x) ((N_BRANCH_MIN <= (x)) && ((x) <= N_BRANCH_MAX))
331 #define ASSERT_VALID_BRANCH(x) assert(N_VALID_BRANCH(x))
332
333 /* Condition codes */
334
335 #define DD_O 1
336 #define DD_H 2
337 #define DD_NLE 3
338 #define DD_L 4
339 #define DD_NHE 5
340 #define DD_LH 6
341 #define DD_NE 7
342 #define DD_E 8
343 #define DD_NLH 9
344 #define DD_HE 10
345 #define DD_NL 11
346 #define DD_LE 12
347 #define DD_NH 13
348 #define DD_NO 14
349 #define DD_ANY 15
350
351 /* Misc */
352
353 #define N_LONG_0() _CODE4(0)
354
355 /* Chapter 7. General instructions */
356
357 #define N_AR(r1, r2) N_RR(0x1A, r1, r2)
358 #define N_A(r1, d2, x2, b2) N_RX(0x5A, r1, d2, x2, b2)
359 #define N_AH(r1, d2, x2, b2) N_RX(0x4A, r1, d2, x2, b2)
360 #define N_AHI(r1, i2) N_RI(0xA7, 0xA, r1, i2)
361 #       define SZ_AHI SZ_RI
362 #define N_ALR(r1, r2) N_RR(0x1E, r1, r2)
363 #define N_AL(r1, d2, x2, b2) N_RX(0x5E, r1, d2, x2, b2)
364 #define N_NR(r1, r2) N_RR(0x14, r1, r2)
365 #define N_N(r1, d2, x2, b2) N_RX(0x54, r1, d2, x2, b2)
366 #define N_NI(d1, b1, i2) N_SI(0x94, d1, b1, i2)
367 #define N_NC(d1, l, b1, d2, b2) N_NC(0xD4, l, b1, d1, b2, d2)
368 #define N_BALR(r1, r2) N_RR(0x05, r1, _OR(r2))
369 #define N_BAL(r1, d2, x2, b2) N_RX(0x45, r1, d2, x2, b2)
370 #define N_BASR(r1, r2) N_RR(0x0D, r1, _OR(r2))
371 #define N_BAS(r1, d2, x2, b2) N_RX(0x4D, r1, d2, x2, b2)
372 #define N_BASSM(r1, r2) N_RR(0x0C, r1, _OR(r2))
373 #define N_BSM(r1, r2) N_RR(0x0B, r1, _OR(r2))
374 #define N_BCR(m1, r2) N_RR(0x07, m1, _OR(r2))
375 #       define SZ_BCR SZ_RR
376 #       define N_BR(r2) N_BCR(DD_ANY, r2)
377 #define N_BC(m1, d2, x2, b2) N_RX(0x47, m1, d2, x2, b2)
378 #       define SZ_BC SZ_RS
379 #define N_BCTR(r1, r2) N_RR(0x06, r1, _OR(r2))
380 #define N_BCT(r1, d2, x2, b2) N_RX(0x46, r1, d2, x2, b2)
381 #define N_BHX(r1, r2, d2, b2) N_RS(0xB6, r1, r3, d2, b2)
382 #define N_BXLE(r1, r3, d2, b2) N_RS(0xB7, r1, r3, d2, b2)
383 #define N_BRAS(r1, i2) N_RI(0xA7, 0x5, r1, (i2) / 2)
384 #       define SZ_BRAS SZ_RI
385 #define N_BRC(m1, i2) N_RI(0xA7, 0x4, m1, (i2) / 2)
386 #       define N_J(i2) N_BRC(DD_ANY, i2)
387 #       define SZ_BRC SZ_RI
388 #       define SZ_J SZ_RI
389 #define N_BRCT(r1, i2) N_RI(0xA7, 0x6, r1, (i2) / 2)
390 #define N_BRXH(r1, r3, i2) N_RSI(0x84, r1, r3, (i2) / 2)
391 #define N_BRXLE(r1, r3, i2) N_RSI(0x85, r1, r2, (i2) / 2)
392 #define N_CKSM(r1, r2) N_RRE(0xB241, r1, r2)
393 #define N_CR(r1, r2) N_RR(0x19, r1, r2)
394 #       define SZ_CR SZ_RR
395 #define N_C(r1, d2, x2, b2) N_RX(0x59, r1, d2, x2, b2)
396 #define N_CFC(d2, b2) N_S2(0xB21A, d2, b2)
397 #define N_CS(r1, r3, d2, b2) N_RS(0xBA, r1, r3, d2, b2)
398 #define N_CDS(r1, r3, d2, b2) N_RS(0xBB, r1, r3, d2, b2)
399 #define N_CH(r1, d2, x2, b2) N_CH(0x49, r1, d2, x2, b2)
400 #define N_CHI(r1, i2) N_RI(0xA7, 0xE, r1, i2)
401 #define N_CLR(r1, r2) N_RR(0x15, r1, r2)
402 #define N_CL(r1, d2, x2, b2) N_RX(0x55, r1, d2, x2, b2)
403 #define N_CLI(d1, b1, i2) N_SI(0x95, d1, b1, i2)
404 #define N_CLC(d1, l, b1, d2, b2) N_SS(0xD5, d1, l, b1, d2, b2)
405 #define N_CLM(r1, m3, d2, b2) N_RS(0xBD, r1, m3, d2, b2)
406 #define N_CLCL(r1, r2) N_RR(0x0F, r1, r2)
407 #define N_CLCLE(r1, r3, d2, b2) N_RS(0xA9, r1, r3, d2, b2)
408 #define N_CLST(r1, r2) N_RRE(0xB25D, r1, r2)
409 #define N_CUSE(r1, r2) N_RRE(0xB257, r1, r2)
410 #define N_CVB(r1, d2, x2, b2) N_RX(0x4F, r1, r2, x2, b2)
411 #define N_CVD(r1, d2, x2, b2) N_RX(0x4E, r1, d2, x2, b2)
412 #define N_CUUTF(r1, r2) N_RRE(0xB2A6, r1, r2)
413 #define N_CUTFU(r1, r2) N_RRE(0xB2A7, r1, r2)
414 #define N_CPYA(r1, r2) N_RRE(0xB240, r1, r2)
415 #define N_DR(r1, r2) N_RR(0x1D, r1, r2)
416 #define N_D(r1, d2, x2, b2) N_RX(0x5D, r1, d2, x2, b2)
417 #define N_XR(r1, r2) N_RR(0x17, r1, r2)
418 #define N_X(r1, d2, x2, b2) N_RX(0x57, r1, d2, x2, b2)
419 #define N_XI(d1, b1, i2) N_SI(0x97, d1, b1, i2)
420 #define N_XC(d1, l, b1, d2, b2) N_SS(0xD7, d1, l, b1, d2, b2)
421 #define N_EX(r1, d2, x2, b2) N_RX(0x44, r1, d2, x2, b2)
422 #define N_EAR(r1, r2) N_RRE(0xB24F, r1, r2)
423 #define N_IC(r1, d2, x2, b2) N_RX(0x43, r1, d2, x2, b2)
424 #define N_ICM(r1, m3, d2, b2) N_RS(0xBF, r1, m3, d2, b2)
425 #define N_IPM(r1) N_RRE(0xB222, r1, 0)
426 #define N_LR(r1, r2) N_RR(0x18, r1, r2)
427 #define N_L(r1, d2, x2, b2) N_RX(0x58, r1, d2, x2, b2)
428 #       define SZ_L SZ_RX
429 #define N_LAM(r1, r3, d2, b2) N_RS(0x9A, r1, r3, d2, b2)
430 #define N_LA(r1, d2, x2, b2) N_RX(0x41, r1, d2, x2, b2)
431 #define N_LAE(r1, d2, x2, b2) N_RX(0x51, r1, d2, x2, b2)
432 #define N_LTR(r1, r2) N_RR(0x12, r1, r2)
433 #define N_LCR(r1, r2) N_RR(0x13, r1, r2)
434 #define N_LH(r1, d2, x2, b2) N_RX(0x48, r1, d2, x2, b2)
435 #define N_LHI(r1, i2) N_RI(0xA7, 0x8, r1, i2)
436 #       define SZ_LHI SZ_RI
437 #define N_LM(r1, r3, d2, b2) N_RS(0x98, r1, r3, d2, b2)
438 #define N_LNR(r1, r2) N_RR(0x11, r1, r2)
439 #define N_LPR(r1, r2) N_RR(0x10, r1, r2)
440 #define N_MC(d1, b1, i2) N_SI(0xAF, d1, b1, i2)
441 #define N_MVI(d1, b1, i2) N_SI(0x92, d1, b1, i2)
442 #define N_MVC(d1, l, b1, d2, b2) N_SS(0xD2, d1, l, b1, d2, b2)
443 #define N_MVCIN(d1, l, b1, d2, b2) N_SS(0xEB, d1, l, b1, d2, b2)
444 #define N_MVCL(r1, r2) N_RR(0x0E, r1, r2)
445 #define N_MVCLE(r1, r3, d2, b2)  N_RS(0xAB, r1, r3, d2, b2)
446 #define N_MVN(d1, l, b1, d2, b2) N_SS(0xD1, d1, l, b1, d2, b2)
447 #define N_MVPG(r1, r2) N_RRE(0xB254, r1, r2)
448 #define N_MVST(r1, r2) N_RRE(0xB255, r1, r2)
449 #define N_MVO(d1, l1, b1, d2, l2, b2) N_SS2(0xF1, d1, l1, b1, d2, l2, b2)
450 #define N_MVZ(d1, l, b1, d2, b2) N_SS(0xD3, d1, l, b1, d2, b2)
451 #define N_MR(r1, r2) N_RR(0x1C, r1, r2)
452 #define N_M(r1, d2, x2, b2) N_RX(0x5C, r1, d2, x2, b2)
453 #define N_MH(r1, d2, x2, b2) N_RX(0x4C, r1, d2, x2, b2)
454 #define N_MHI(r1, i2) N_RI(0xA7, 0xC, r1, i2)
455 #define N_MSR(r1, r2) N_RRE(0xB252, r1, r2)
456 #define N_MS(r1, d2, x2, b2) N_RX(0x71, r1, d2, x2, b2)
457 #define N_OR(r1, r2) N_RR(0x16, r1, r2)
458 #define N_O(r1, d2, x2, b2) N_RX(0x56, r1, d2, x2, b2)
459 #define N_OI(d1, b1, i2) N_SI(0x96, d1, b1, i2)
460 #define N_OC(d1, l, b1, d2, b2) N_SS(0xD6, d1, l, b1, d2, b2)
461 #define N_PACK(d1, l1, b1, d2, l2, b2) N_SS2(0xF2, d1, l1, b1, d2, l2, b2)
462 #define N_PLO(r1, d2, b2, r3, d4, b4) N_SS2(0xEE, d2, r1, b2, d4, r3, b4)
463 #define N_SRST(r1, r2) N_RRE(0xB25E, r1, r2)
464 #define N_SAR(r1, r2) N_RRE(0xB24E, r1, r2)
465 #define N_SPM(r1) N_RR(0x04, r1, 0x00)
466 #define N_SLDA(r1, d2, b2) N_RS(0x8F, r1, 0x00, d2, b2)
467 #define N_SLDL(r1, d2, b2) N_RS(0x8D, r1, 0x00, d2, b2)
468 #define N_SLA(r1, d2, b2) N_RS(0x8B, r1, 0x00, d2, b2)
469 #define N_SLL(r1, d2, b2) N_RS(0x89, r1, 0x00, d2, b2)
470 #define N_SRDA(r1, d2, b2) N_RS(0x8E, r1, 0x00, d2, b2)
471 #define N_SRDL(r1, d2, b2) N_RS(0x8C, r1, 0x00, d2, b2)
472 #define N_SRA(r1, d2, b2) N_RS(0x8A, r1, 0x00, d2, b2)
473 #define N_SRL(r1, d2, b2) N_RS(0x88, r1, 0x00, d2, b2)
474 #define N_ST(r1, d2, x2, b2) N_RX(0x50, r1, d2, x2, b2)
475 #define N_STAM(r1, r3, d2, b2) N_RS(0x9B, r1, r3, d2, b2)
476 #define N_STC(r1, d2, x2, b2) N_RX(0x42, r1, d2, x2, b2)
477 #define N_STCM(r1, m3, d2, b2) N_RS(0xBE, r1, m3, d2, b2)
478 #define N_STCK(d2, b2) N_S2(0xB205, d2, b2)
479 #define N_STCKE(d2, b2) N_S2(0xB278, d2, b2)
480 #define N_STH(r1, d2, x2, b2) N_RX(0x40, r1, d2, x2, b2)
481 #define N_STM(r1, r3, d2, b2) N_RS(0x90, r1, r3, d2, b2)
482 #define N_SR(r1, r2) N_RR(0x1B, r1, r2)
483 #define N_S(r1, d2, x2, b2) N_RX(0x5B, r1, d2, x2, b2)
484 #define N_SH(r1, d2, x2, b2) N_RX(0x4B, r1, d2, x2, b2)
485 #define N_SLR(r1, r2) N_RR(0x1F, r1, r2)
486 #define N_SL(r1, d2, x2, b2) N_RX(0x5F, r1, d2, x2, b2)
487 #define N_SVC(i) N_RR2(0x0A, i)
488 #define N_TS(d2, b2) N_S2(0x93, d2, b2)
489 #define N_TM(d1, b1, i2) N_SI(0x91, d1, b1, i2)
490 #define N_TMH(r1, i2) N_RI(0xA7, 0x00, r1, i2)
491 #define N_TML(r1, i2) N_RI(0xA7, 0x01, r1, i2)
492 #define N_TR(d1, l, b1, d2, b2) N_SS(0xDC, d1, l, b1, d2, b2)
493 #define N_TRT(d1, l, b1, d2, b2) N_SS(0xDD, d1, l, b1, d2, b2)
494 #define N_TRE(r1, r2) N_RRE(0xB2A5, r1, r2)
495 #define N_UNPK(d1, l1, b1, d2, l2, b2) N_SS2(0xF3, d1, l1, b1, d2, l2, b2)
496 #define N_UPT() N_E(0x0102)
497
498 /* Chapter 9. Floating point instructions */
499
500 #define N_LER(r1, r2) N_RR(0x38, r1, r2)
501 #define N_LDR(r1, r2) N_RR(0x28, r1, r2)
502 #define N_LXR(r1, r2) N_RRE(0xB365, r1, r2)
503 #define N_LE(r1, d2, x2, b2) N_RX(0x78, r1, d2, x2, b2)
504 #define N_LD(r1, d2, x2, b2) N_RX(0x68, r1, d2, x2, b2)
505 #define N_LZER(r1) N_RRE(0xB374, r1, 0x0)
506 #define N_LZDR(r1) N_RRE(0xB375, r1, 0x0)
507 #define N_LZXR(r1) N_RRE(0xB376, r1, 0x0)
508 #define N_STE(r1, d2, x2, b2) N_RX(0x70, r1, d2, x2, b2)
509 #define N_STD(r1, d2, x2, b2) N_RX(0x60, r1, d2, x2, b2)
510
511 /* chapter 19. Binary floating point instructions */
512
513 #define N_AEBR(r1, r2) N_RRE(0xB30A, r1, r2)
514 #define N_ADBR(r1, r2) N_RRE(0xB31A, r1, r2)
515 #define N_AXBR(r1, r2) N_RRE(0xB34A, r1, r2)
516 #define N_AEB(r1, d2, x2, b2) N_RXE(0xED0A, r1, d2, x2, b2)
517 #define N_ADB(r1, d2, x2, b2) N_RXE(0xED1A, r1, d2, x2, b2)
518
519 #define N_CEBR(r1, r2) N_RRE(0xB309, r1, r2)
520 #define N_CDBR(r1, r2) N_RRE(0xB319, r1, r2)
521 #define N_CXBR(r1, r2) N_RRE(0xB349, r1, r2)
522 #define N_CEB(r1, d2, x2, b2) N_RXE(0xED09, r1, d2, x2, b2)
523 #define N_CDB(r1, d2, x2, b2) N_RXE(0xED19, r1, d2, x2, b2)
524
525 #define N_CEFBR(r1, r2) N_RRE(0xB394, r1, r2)
526 #define N_CDFBR(r1, r2) N_RRE(0xB395, r1, r2)
527 #define N_CXFBR(r1, r2) N_RRE(0xB396, r1, r2)
528
529 #define N_CFEBR(r1, m3, r2) N_RRF(0xB398, r1, m3, r2)
530 #define N_CFDBR(r1, m3, r2) N_RRF(0xB399, r1, m3, r2)
531 #define N_CFXBR(r1, m3, r2) N_RRF(0xB39A, r1, m3, r2)
532
533 #define N_DEBR(r1, r2) N_RRE(0xB30D, r1, r2)
534 #define N_DDBR(r1, r2) N_RRE(0xB31D, r1, r2)
535 #define N_DXBR(r1, r2) N_RRE(0xB34D, r1, r2)
536 #define N_DEB(r1, d2, x2, b2) N_RXE(0xED0D, r1, d2, x2, b2)
537 #define N_DDB(r1, d2, x2, b2) N_RXE(0xED1D, r1, d2, x2, b2)
538
539 #define N_LDEBR(r1, r2) N_RRE(0xB304, r1, r2)
540 #define N_LXDBR(r1, r2) N_RRE(0xB305, r1, r2)
541 #define N_LXEBR(r1, r2) N_RRE(0xB306, r1, r2)
542
543 #define N_MEEBR(r1, r2) N_RRE(0xB317, r1, r2)
544 #define N_MDBR(r1, r2) N_RRE(0xB31C, r1, r2)
545 #define N_MXBR(r1, r2) N_RRE(0xB34C, r1, r2)
546 #define N_MDEBR(r1, r2) N_RRE(0xB30C, r1, r2)
547 #define N_MXDBR(r1, r2) N_RRE(0xB307, r1, r2)
548
549 #define N_SEBR(r1, r2) N_RRE(0xB30B, r1, r2)
550 #define N_SDBR(r1, r2) N_RRE(0xB31B, r1, r2)
551 #define N_SXBR(r1, r2) N_RRE(0xB34B, r1, r2)
552 #define N_SEB(r1, d2, x2, b2) N_RXE(0xED0B, r1, d2, x2, b2)
553 #define N_SDB(r1, d2, x2, b2) N_RXE(0xED1B, r1, d2, x2, b2)
554
555 /* Alpha like instructions */
556
557 #define M_CALL(r2) N_BASR(R14, r2)
558
559 #define M_ILD(r, b, d) _IFNEG( \
560         d, \
561         N_LHI(r, d); N_L(r, 0, r, b), \
562         N_L(r, d, RN, b) \
563 )
564
565 #define M_ALD(r, b, d) M_ILD(r, b, d)
566
567 #define M_LDA(r, b, d) _IFNEG( \
568         d, \
569         N_LHI(r, d); N_LA(r, 0, r, b), \
570         N_LA(r, d, RN, b) \
571 )
572
573 #define M_FLD(r, b, d) N_LE(r, d, RN, b)
574
575 #define M_FLDN(r, b, d, t) _IFNEG( \
576         d, \
577         N_LHI(t, d); N_LE(r, 0, t, b), \
578         N_LE(r, d, RN, b) \
579 )
580                 
581 #define M_DLD(r, b, d) N_LD(r, d, RN, b)
582 #define M_DLDN(r, b, d, t) _IFNEG( \
583         d, \
584         N_LHI(t, d); N_LD(r, 0, t, b), \
585         N_LD(r, d, RN, b) \
586 )
587
588 #define M_LLD(r, b, d) _IFNEG( \
589         d, \
590         N_LHI(GET_LOW_REG(r), d); \
591                 N_L(GET_HIGH_REG(r), 0, GET_LOW_REG(r), b); \
592                 N_L(GET_LOW_REG(r), 4, GET_LOW_REG(r), b), \
593         N_L(GET_HIGH_REG(r), 0, RN, b); N_L(GET_LOW_REG(r), 4, RN, b) \
594 )
595
596 /* MOV(a, b) -> mov from A to B */
597
598 #define M_MOV(a, b) N_LR(b, a)
599 #define M_FMOV(a, b) N_LDR(b, a)
600 #define M_DST(r, b, d) _IFNEG(d, assert(0), N_STD(r, d, RN, b))
601 #define M_FST(r, b, d) _IFNEG(d, assert(0), N_STE(r, d, RN, b))
602 #define M_IST(r, b, d) _IFNEG( \
603         d, \
604         assert(0), \
605         N_ST(r, d, RN, b) \
606 )
607 #define M_AST(r, b, d) M_IST(r, b, d)
608 #define M_LST(r, b, d) _IFNEG( \
609         d, \
610         assert(0), \
611         N_ST(GET_HIGH_REG(r), 0, RN, b); N_ST(GET_LOW_REG(r), 4, RN, b) \
612 )
613 #define M_TEST(r) N_LTR(r, r)
614 #define M_BEQ(off) N_BRC(DD_E, off)
615 #define M_BNE(off) N_BRC(DD_NE, off)
616 #define M_BLE(off) N_BRC(DD_LE, off)
617 #define M_BGT(off) N_BRC(DD_H, off)
618 #define M_BLT(off) N_BRC(DD_L, off)
619 #define M_BGE(off) N_BRC(DD_HE, off)
620 #define M_BO(off) N_BRC(DD_O, off)
621
622 #define M_CMP(r1, r2) N_CR(r1, r2)
623 #define M_CLR(r) N_LHI(r, 0)
624 #define M_AADD_IMM(val, reg) N_AHI(reg, val)
625 #define M_IADD_IMM(val, reg) N_AHI(reg, val)
626 #define M_ISUB_IMM(val, reg) N_AHI(reg, -(val))
627 #define M_ASUB_IMM(val, reg) N_AHI(reg, -(val))
628 #define M_RET N_BCR(DD_ANY, R14)
629 #define M_BSR(ret_reg, disp) N_BRAS(ret_reg, disp)
630 #define M_BR(disp) N_BRC(DD_ANY, disp)
631 #define M_JMP(rs, rd) _IF(rs == RN, N_BCR(DD_ANY, rd), N_BASR(rs, rd))
632 #define M_NOP N_BC(0, 0, RN, RN)
633 #define M_JSR(reg_ret, reg_addr) N_BASR(reg_ret, reg_addr)
634 #define M_ICMP(a, b) N_CR(a, b)
635 #define M_CVTIF(src, dst) N_CEFBR(dst, src)
636 #define M_CVTID(src, dst) N_CDFBR(dst, src)
637 #define M_FMUL(a, dest) N_MEEBR(dest, a)
638 #define M_FSUB(a, dest) N_SEBR(dest, a)
639 #define M_FADD(a, dest) N_AEBR(dest, a)
640 #define M_FDIV(a, dest) N_DEBR(dest, a)
641 #define M_DMUL(a, dest) N_MDBR(dest, a)
642 #define M_DSUB(a, dest) N_SDBR(dest, a)
643 #define M_DADD(a, dest) N_ADBR(dest, a)
644 #define M_DDIV(a, dest) N_DDBR(dest, a)
645 #define M_CVTFI(src, dst) N_CFEBR(dst, 5, src)
646 #define M_IADD(a, dest) N_AR(dest, a)
647 #define M_ISUB(a, dest) N_SR(dest, a)
648 #define M_IAND(a, dest) N_NR(dest, a)
649 #define M_IOR(a, dest) N_OR(dest, a)
650 #define M_IXOR(a, dest) N_XR(dest, a)
651 #define M_CVTFD(src,dst) N_LDEBR(dst, src)
652
653 #define M_ISLL_IMM(imm,reg) N_SLL(reg, imm, RN) 
654 #define M_ISRL_IMM(imm,reg) N_SRL(reg, imm, RN)
655
656 #define M_IMUL_IMM(val, reg) N_MHI(reg, val)
657 #define M_IMUL(a, dest) N_MSR(dest, a)
658
659 #define ICONST(reg, i) \
660         do { \
661                 if ((i) >= -32768 && (i) <= 32767) { \
662                         N_LHI(reg, i); \
663                 } else { \
664                         disp = dseg_add_s4(cd, (i)); \
665                         M_ILD(reg, REG_PV, disp); \
666                 } \
667         } while (0) 
668
669 #define LCONST(reg,c) \
670         do { \
671             ICONST(GET_HIGH_REG((reg)), (s4) ((s8) (c) >> 32)); \
672             ICONST(GET_LOW_REG((reg)), (s4) ((s8) (c))); \
673         } while (0)
674
675 /* M_INTMOVE:
676     generates an integer-move from register a to b.
677     if a and b are the same int-register, no code will be generated.
678 */ 
679
680 #define M_INTMOVE(reg,dreg) \
681     do { \
682         if ((reg) != (dreg)) { \
683             M_MOV(reg, dreg); \
684         } \
685     } while (0)
686
687 #define M_LNGMOVE(a, b) \
688     do { \
689         if (GET_HIGH_REG(a) == GET_LOW_REG(b)) { \
690             assert((GET_LOW_REG(a) != GET_HIGH_REG(b))); \
691             M_INTMOVE(GET_HIGH_REG(a), GET_HIGH_REG(b)); \
692             M_INTMOVE(GET_LOW_REG(a), GET_LOW_REG(b)); \
693         } else { \
694             M_INTMOVE(GET_LOW_REG(a), GET_LOW_REG(b)); \
695             M_INTMOVE(GET_HIGH_REG(a), GET_HIGH_REG(b)); \
696         } \
697     } while (0)
698
699 /* M_FLTMOVE:
700     generates a floating-point-move from register a to b.
701     if a and b are the same float-register, no code will be generated
702 */ 
703
704 #define M_FLTMOVE(reg,dreg) \
705     do { \
706         if ((reg) != (dreg)) { \
707             M_FMOV(reg, dreg); \
708         } \
709     } while (0)
710
711
712
713 /* ----------------------------------------------- */
714
715 #define _DEPR(x) \
716         do { \
717                 fprintf(stdout, \
718                         "Using old x86_64 instruction %s at %s (%s:%d), fix this.\n", \
719                         #x, __FUNCTION__, __FILE__, __LINE__); \
720         } while (0)
721
722 #define M_MOV_IMM(a,b) _DEPR( M_MOV_IMM(a,b) )
723
724 #define M_IMOV(a,b) _DEPR( M_IMOV(a,b) )
725 #define M_IMOV_IMM(a,b) _DEPR( M_IMOV_IMM(a,b) )
726
727
728 #define M_ILD32(a,b,disp) _DEPR( M_ILD32(a,b,disp) )
729 #define M_LLD32(a,b,disp) _DEPR( M_LLD32(a,b,disp) )
730
731
732 #define M_IST_IMM(a,b,disp) _DEPR( M_IST_IMM(a,b,disp) )
733 #define M_LST_IMM32(a,b,disp) _DEPR( M_LST_IMM32(a,b,disp) )
734
735 #define M_IST32(a,b,disp) _DEPR( M_IST32(a,b,disp) )
736 #define M_LST32(a,b,disp) _DEPR( M_LST32(a,b,disp) )
737
738 #define M_IST32_IMM(a,b,disp) _DEPR( M_IST32_IMM(a,b,disp) )
739 #define M_LST32_IMM32(a,b,disp) _DEPR( M_LST32_IMM32(a,b,disp) )
740
741
742 #define M_LADD(a,b) _DEPR( M_LADD(a,b) )
743 #define M_LSUB(a,b) _DEPR( M_LSUB(a,b) )
744 #define M_LMUL(a,b) _DEPR( M_LMUL(a,b) )
745
746 #define M_LADD_IMM(a,b) _DEPR( M_LADD_IMM(a,b) )
747 #define M_LSUB_IMM(a,b) _DEPR( M_LSUB_IMM(a,b) )
748 #define M_LMUL_IMM(a,b,c) _DEPR( M_LMUL_IMM(a,b,c) )
749
750 #define M_IINC(a) _DEPR( M_IINC(a) )
751 #define M_IDEC(a) _DEPR( M_IDEC(a) )
752
753 #define M_ALD32(a,b,disp) _DEPR( M_ALD32(a,b,disp) )
754
755 #define M_AST_IMM32(a,b,c) _DEPR( M_AST_IMM32(a,b,c) )
756
757 #define M_AADD(a,b) _DEPR( M_AADD(a,b) )
758
759 #define M_LADD_IMM32(a,b) _DEPR( M_LADD_IMM32(a,b) )
760 #define M_AADD_IMM32(a,b) _DEPR( M_AADD_IMM32(a,b) )
761 #define M_LSUB_IMM32(a,b) _DEPR( M_LSUB_IMM32(a,b) )
762
763 #define M_ILEA(a,b,c) _DEPR( M_ILEA(a,b,c) )
764 #define M_LLEA(a,b,c) _DEPR( M_LLEA(a,b,c) )
765 #define M_ALEA(a,b,c) _DEPR( M_ALEA(a,b,c) )
766
767 #define M_INEG(a) _DEPR( M_INEG(a) )
768 #define M_LNEG(a) _DEPR( M_LNEG(a) )
769
770 #define M_IAND_IMM(a,b) _DEPR( M_IAND_IMM(a,b) )
771 #define M_IOR_IMM(a,b) _DEPR( M_IOR_IMM(a,b) )
772 #define M_IXOR_IMM(a,b) _DEPR( M_IXOR_IMM(a,b) )
773
774 #define M_LAND(a,b) _DEPR( M_LAND(a,b) )
775 #define M_LOR(a,b) _DEPR( M_LOR(a,b) )
776 #define M_LXOR(a,b) _DEPR( M_LXOR(a,b) )
777
778 #define M_LAND_IMM(a,b) _DEPR( M_LAND_IMM(a,b) )
779 #define M_LOR_IMM(a,b) _DEPR( M_LOR_IMM(a,b) )
780 #define M_LXOR_IMM(a,b) _DEPR( M_LXOR_IMM(a,b) )
781
782 #define M_SSEXT(a,b) _DEPR( M_SSEXT(a,b) )
783 #define M_ISEXT(a,b) _DEPR( M_ISEXT(a,b) )
784
785 #define M_CZEXT(a,b) _DEPR( M_CZEXT(a,b) )
786
787 #define M_ISRA_IMM(a,b) _DEPR( M_ISRA_IMM(a,b) )
788
789 #define M_LSLL_IMM(a,b) _DEPR( M_LSLL_IMM(a,b) )
790 #define M_LSRA_IMM(a,b) _DEPR( M_LSRA_IMM(a,b) )
791 #define M_LSRL_IMM(a,b) _DEPR( M_LSRL_IMM(a,b) )
792
793 #define M_LCMP(a,b) _DEPR( M_LCMP(a,b) )
794 #define M_LCMP_IMM(a,b) _DEPR( M_LCMP_IMM(a,b) )
795 #define M_LCMP_IMM_MEMBASE(a,b,c) _DEPR( M_LCMP_IMM_MEMBASE(a,b,c) )
796 #define M_LCMP_MEMBASE(a,b,c) _DEPR( M_LCMP_MEMBASE(a,b,c) )
797
798 #define M_ICMP_IMM(a,b) _DEPR( M_ICMP_IMM(a,b) )
799 #define M_ICMP_IMM_MEMBASE(a,b,c) _DEPR( M_ICMP_IMM_MEMBASE(a,b,c) )
800 #define M_ICMP_MEMBASE(a,b,c) _DEPR( M_ICMP_MEMBASE(a,b,c) )
801
802 #define M_BAE(disp) _DEPR( M_BAE(disp) )
803 #define M_BA(disp) _DEPR( M_BA(disp) )
804
805 #define M_CMOVEQ(a,b) _DEPR( M_CMOVEQ(a,b) )
806 #define M_CMOVNE(a,b) _DEPR( M_CMOVNE(a,b) )
807 #define M_CMOVLT(a,b) _DEPR( M_CMOVLT(a,b) )
808 #define M_CMOVLE(a,b) _DEPR( M_CMOVLE(a,b) )
809 #define M_CMOVGE(a,b) _DEPR( M_CMOVGE(a,b) )
810 #define M_CMOVGT(a,b) _DEPR( M_CMOVGT(a,b) )
811
812 #define M_CMOVEQ_MEMBASE(a,b,c) _DEPR( M_CMOVEQ_MEMBASE(a,b,c) )
813 #define M_CMOVNE_MEMBASE(a,b,c) _DEPR( M_CMOVNE_MEMBASE(a,b,c) )
814 #define M_CMOVLT_MEMBASE(a,b,c) _DEPR( M_CMOVLT_MEMBASE(a,b,c) )
815 #define M_CMOVLE_MEMBASE(a,b,c) _DEPR( M_CMOVLE_MEMBASE(a,b,c) )
816 #define M_CMOVGE_MEMBASE(a,b,c) _DEPR( M_CMOVGE_MEMBASE(a,b,c) )
817 #define M_CMOVGT_MEMBASE(a,b,c) _DEPR( M_CMOVGT_MEMBASE(a,b,c) )
818
819 #define M_CMOVB(a,b) _DEPR( M_CMOVB(a,b) )
820 #define M_CMOVA(a,b) _DEPR( M_CMOVA(a,b) )
821 #define M_CMOVP(a,b) _DEPR( M_CMOVP(a,b) )
822
823 #define M_PUSH(a) _DEPR( M_PUSH(a) )
824 #define M_PUSH_IMM(a) _DEPR( M_PUSH_IMM(a) )
825 #define M_POP(a) _DEPR( M_POP(a) )
826
827 #define M_JMP_IMM(a) _DEPR( M_JMP_IMM(a) )
828 #define M_CALL_IMM(a) _DEPR( M_CALL_IMM(a) )
829
830
831
832
833 #define M_FLD32(a,b,disp) _DEPR( M_FLD32(a,b,disp) )
834 #define M_DLD32(a,b,disp) _DEPR( M_DLD32(a,b,disp) )
835
836
837 #define M_FST32(a,b,disp) _DEPR( M_FST32(a,b,disp) )
838 #define M_DST32(a,b,disp) _DEPR( M_DST32(a,b,disp) )
839
840 #define M_CVTLF(a,b) _DEPR( M_CVTLF(a,b) )
841 #define M_CVTLD(a,b) _DEPR( M_CVTLD(a,b) )
842 #define M_CVTDI(a,b) _DEPR( M_CVTDI(a,b) )
843 #define M_CVTFL(a,b) _DEPR( M_CVTFL(a,b) )
844 #define M_CVTDL(a,b) _DEPR( M_CVTDL(a,b) )
845
846 #define M_CVTDF(a,b) _DEPR( M_CVTDF(a,b) )
847
848
849 /* system instructions ********************************************************/
850
851 #define M_RDTSC _DEPR( M_RDTSC )
852
853 #define M_IINC_MEMBASE(a,b) _DEPR( M_IINC_MEMBASE(a,b) )
854
855 #define M_IADD_MEMBASE(a,b,c) _DEPR( M_IADD_MEMBASE(a,b,c) )
856 #define M_IADC_MEMBASE(a,b,c) _DEPR( M_IADC_MEMBASE(a,b,c) )
857 #define M_ISUB_MEMBASE(a,b,c) _DEPR( M_ISUB_MEMBASE(a,b,c) )
858 #define M_ISBB_MEMBASE(a,b,c) _DEPR( M_ISBB_MEMBASE(a,b,c) )
859
860 #define PROFILE_CYCLE_START 
861 #define __PROFILE_CYCLE_START _DEPR( __PROFILE_CYCLE_START )
862
863 #define PROFILE_CYCLE_STOP 
864 #define __PROFILE_CYCLE_STOP _DEPR( __PROFILE_CYCLE_STOP )
865
866
867 /* function gen_resolvebranch **************************************************
868
869     backpatches a branch instruction
870
871     parameters: ip ... pointer to instruction after branch (void*)
872                 so ... offset of instruction after branch  (s8)
873                 to ... offset of branch target             (s8)
874
875 *******************************************************************************/
876
877 #define gen_resolvebranch(ip,so,to) \
878     *((s4*) ((ip) - 4)) = (s4) ((to) - (so));
879
880 #endif /* _CODEGEN_H */
881
882
883 s4 codegen_reg_of_dst_notzero(jitdata *jd, instruction *iptr, s4 tempregnum);
884
885 /*
886  * These are local overrides for various environment variables in Emacs.
887  * Please do not remove this and leave it at the end of the file, where
888  * Emacs will automagically detect them.
889  * ---------------------------------------------------------------------
890  * Local variables:
891  * mode: c
892  * indent-tabs-mode: t
893  * c-basic-offset: 4
894  * tab-width: 4
895  * End:
896  */