* jit/mips/emit.c (emit_patcher_stubs): Handle displacement overflows.
[cacao.git] / src / vm / jit / mips / codegen.h
1 /* src/vm/jit/mips/codegen.h - code generation macros and definitions for MIPS
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 5930 2006-11-06 21:12:52Z twisti $
31
32 */
33
34
35 #ifndef _CODEGEN_H
36 #define _CODEGEN_H
37
38 #include "config.h"
39 #include "vm/types.h"
40
41 #include "vm/jit/jit.h"
42
43
44 /* some defines ***************************************************************/
45
46 #define PATCHER_CALL_INSTRUCTIONS    5     /* number of instructions          */
47 #define PATCHER_CALL_SIZE            5 * 4 /* size in bytes of a patcher call */
48
49
50 /* additional functions and macros to generate code ***************************/
51
52 /* MCODECHECK(icnt) */
53
54 #define MCODECHECK(icnt) \
55     do { \
56         if ((cd->mcodeptr + (icnt) * 4) > cd->mcodeend) \
57             codegen_increase(cd); \
58     } while (0)
59
60
61 #define ALIGNCODENOP \
62     if ((s4) ((ptrint) cd->mcodeptr & 7)) { \
63         M_NOP; \
64     }
65
66 #define PATCHER_NOPS \
67     do { \
68         if (opt_shownops) { \
69             M_NOP; \
70             M_NOP; \
71             M_NOP; \
72             M_NOP; \
73             M_NOP; \
74         } \
75     } while (0)
76
77 #define M_INTMOVE(a,b) \
78     do { \
79         if ((a) != (b)) \
80             M_MOV(a, b); \
81     } while (0)
82
83 #define M_FLTMOVE(a,b) \
84     do { \
85         if ((a) != (b)) \
86             M_FMOV(a, b); \
87     } while (0)
88
89 #define M_DBLMOVE(a,b) \
90     do { \
91         if ((a) != (b)) \
92             M_DMOV(a, b); \
93     } while (0)
94
95 #define ICONST(r,c)                     emit_iconst(cd, (r), (c))
96 #define LCONST(r,c)                     emit_lconst(cd, (r), (c))
97
98
99 /* macros to create code ******************************************************/
100
101 /* code generation macros operands:
102       op ..... opcode
103       fu ..... function-number
104       rs ..... register number source 1
105       rt ..... register number or constant integer source 2
106       rd ..... register number destination
107       imm .... immediate/offset
108       sa ..... shift amount
109 */
110
111
112 #define M_ITYPE(op,rs,rt,imm) \
113     do { \
114         *((u4 *) cd->mcodeptr) = (((op) << 26) | ((rs) << 21) | ((rt) << 16) | ((imm) & 0xffff)); \
115         cd->mcodeptr += 4; \
116     } while (0)
117
118 #define M_JTYPE(op,imm) \
119     do { \
120         *((u4 *) cd->mcodeptr) = (((op) << 26) | ((off) & 0x3ffffff)); \
121         cd->mcodeptr += 4; \
122     } while (0)
123
124 #define M_RTYPE(op,rs,rt,rd,sa,fu) \
125     do { \
126         *((u4 *) cd->mcodeptr) = (((op) << 26) | ((rs) << 21) | ((rt) << 16) | ((rd) << 11) | ((sa) << 6) | (fu)); \
127         cd->mcodeptr += 4; \
128     } while (0)
129
130 #define M_FP2(fu, fmt, fs, fd)       M_RTYPE(0x11, fmt,  0, fs, fd, fu)
131 #define M_FP3(fu, fmt, fs, ft, fd)   M_RTYPE(0x11, fmt, ft, fs, fd, fu)
132
133 #define FMT_F  16
134 #define FMT_D  17
135 #define FMT_I  20
136 #define FMT_L  21
137
138
139 /* macros for all used commands (see a MIPS-manual for description) ***********/
140
141 /* load/store macros use the form OPERATION(source/dest, base, offset)        */
142
143 #define M_LDA(a,b,disp) \
144     do { \
145         s4 lo = (short) (disp); \
146         s4 hi = (short) (((disp) - lo) >> 16); \
147         if (hi == 0) { \
148             M_AADD_IMM(b,lo,a); \
149         } else { \
150             M_LUI(REG_ITMP3,hi); \
151             M_AADD_IMM(REG_ITMP3,lo,REG_ITMP3); \
152             M_AADD(REG_ITMP3,b,a); \
153         } \
154     } while (0)
155
156 #define M_BLDS(a,b,disp)        M_ITYPE(0x20,b,a,disp)          /*  8 load    */
157 #define M_BLDU(a,b,disp)        M_ITYPE(0x24,b,a,disp)          /*  8 load    */
158 #define M_SLDS(a,b,disp)        M_ITYPE(0x21,b,a,disp)          /* 16 load    */
159 #define M_SLDU(a,b,disp)        M_ITYPE(0x25,b,a,disp)          /* 16 load    */
160
161 #define M_ILD_INTERN(a,b,disp)  M_ITYPE(0x23,b,a,disp)          /* 32 load    */
162 #define M_LLD_INTERN(a,b,disp)  M_ITYPE(0x37,b,a,disp)          /* 64 load    */
163
164 #define M_ILD(a,b,disp) \
165     do { \
166         s4 lo = (short) (disp); \
167         s4 hi = (short) (((disp) - lo) >> 16); \
168         if (hi == 0) { \
169             M_ILD_INTERN(a,b,lo); \
170         } else { \
171             M_LUI(a,hi); \
172             M_AADD(b,a,a); \
173             M_ILD_INTERN(a,a,lo); \
174         } \
175     } while (0)
176
177 #define M_LLD(a,b,disp) \
178     do { \
179         s4 lo = (short) (disp); \
180         s4 hi = (short) (((disp) - lo) >> 16); \
181         if (hi == 0) { \
182             M_LLD_INTERN(a,b,lo); \
183         } else { \
184             M_LUI(a,hi); \
185             M_AADD(b,a,a); \
186             M_LLD_INTERN(a,a,lo); \
187         } \
188     } while (0)
189
190 #define M_BST(a,b,disp)         M_ITYPE(0x28,b,a,disp)          /*  8 store   */
191 #define M_SST(a,b,disp)         M_ITYPE(0x29,b,a,disp)          /* 16 store   */
192
193 #define M_IST_INTERN(a,b,disp)  M_ITYPE(0x2b,b,a,disp)          /* 32 store   */
194 #define M_LST_INTERN(a,b,disp)  M_ITYPE(0x3f,b,a,disp)          /* 64 store   */
195
196 #define M_IST(a,b,disp) \
197     do { \
198         s4 lo = (short) (disp); \
199         s4 hi = (short) (((disp) - lo) >> 16); \
200         if (hi == 0) { \
201             M_IST_INTERN(a,b,lo); \
202         } else { \
203             M_LUI(REG_ITMP3, hi); \
204             M_AADD(b, REG_ITMP3, REG_ITMP3); \
205             M_IST_INTERN(a,REG_ITMP3,lo); \
206         } \
207     } while (0)
208
209 #define M_LST(a,b,disp) \
210     do { \
211         s4 lo = (short) (disp); \
212         s4 hi = (short) (((disp) - lo) >> 16); \
213         if (hi == 0) { \
214             M_LST_INTERN(a,b,lo); \
215         } else { \
216             M_LUI(REG_ITMP3, hi); \
217             M_AADD(b, REG_ITMP3, REG_ITMP3); \
218             M_LST_INTERN(a,REG_ITMP3,lo); \
219         } \
220     } while (0)
221
222 #define M_FLD_INTERN(a,b,disp)  M_ITYPE(0x31,b,a,disp)          /* load flt   */
223 #define M_DLD_INTERN(a,b,disp)  M_ITYPE(0x35,b,a,disp)          /* load dbl   */
224
225 #define M_FLD(a,b,disp) \
226     do { \
227         s4 lo = (short) (disp); \
228         s4 hi = (short) (((disp) - lo) >> 16); \
229         if (hi == 0) { \
230             M_FLD_INTERN(a,b,lo); \
231         } else { \
232             M_LUI(REG_ITMP3,hi); \
233             M_AADD(b,REG_ITMP3,REG_ITMP3); \
234             M_FLD_INTERN(a,REG_ITMP3,lo); \
235         } \
236     } while (0)
237
238 #define M_DLD(a,b,disp) \
239     do { \
240         s4 lo = (short) (disp); \
241         s4 hi = (short) (((disp) - lo) >> 16); \
242         if (hi == 0) { \
243             M_DLD_INTERN(a,b,lo); \
244         } else { \
245             M_LUI(REG_ITMP3,hi); \
246             M_AADD(b,REG_ITMP3,REG_ITMP3); \
247             M_DLD_INTERN(a,REG_ITMP3,lo); \
248         } \
249     } while (0)
250
251 #define M_FST_INTERN(a,b,disp)  M_ITYPE(0x39,b,a,disp)          /* store flt  */
252 #define M_DST_INTERN(a,b,disp)  M_ITYPE(0x3d,b,a,disp)          /* store dbl  */
253
254 #define M_FST(a,b,disp) \
255     do { \
256         s4 lo = (short) (disp); \
257         s4 hi = (short) (((disp) - lo) >> 16); \
258         if (hi == 0) { \
259             M_FST_INTERN(a,b,lo); \
260         } else { \
261             M_LUI(REG_ITMP3, hi); \
262             M_AADD(b, REG_ITMP3, REG_ITMP3); \
263             M_FST_INTERN(a,REG_ITMP3,lo); \
264         } \
265     } while (0)
266
267 #define M_DST(a,b,disp) \
268     do { \
269         s4 lo = (short) (disp); \
270         s4 hi = (short) (((disp) - lo) >> 16); \
271         if (hi == 0) { \
272             M_DST_INTERN(a,b,lo); \
273         } else { \
274             M_LUI(REG_ITMP3, hi); \
275             M_AADD(b, REG_ITMP3, REG_ITMP3); \
276             M_DST_INTERN(a,REG_ITMP3,lo); \
277         } \
278     } while (0)
279
280 #define M_BEQ(a,b,disp)         M_ITYPE(0x04,a,b,disp)          /* br a == b  */
281 #define M_BNE(a,b,disp)         M_ITYPE(0x05,a,b,disp)          /* br a != b  */
282 #define M_BEQZ(a,disp)          M_ITYPE(0x04,a,0,disp)          /* br a == 0  */
283 #define M_BLTZ(a,disp)          M_ITYPE(0x01,a,0,disp)          /* br a <  0  */
284 #define M_BLEZ(a,disp)          M_ITYPE(0x06,a,0,disp)          /* br a <= 0  */
285 #define M_BNEZ(a,disp)          M_ITYPE(0x05,a,0,disp)          /* br a != 0  */
286 #define M_BGEZ(a,disp)          M_ITYPE(0x01,a,1,disp)          /* br a >= 0  */
287 #define M_BGTZ(a,disp)          M_ITYPE(0x07,a,0,disp)          /* br a >  0  */
288
289 #define M_BEQL(a,b,disp)        M_ITYPE(0x14,a,b,disp)          /* br a == b  */
290 #define M_BNEL(a,b,disp)        M_ITYPE(0x15,a,b,disp)          /* br a != b  */
291 #define M_BEQZL(a,disp)         M_ITYPE(0x14,a,0,disp)          /* br a == 0  */
292 #define M_BLTZL(a,disp)         M_ITYPE(0x01,a,2,disp)          /* br a <  0  */
293 #define M_BLEZL(a,disp)         M_ITYPE(0x16,a,0,disp)          /* br a <= 0  */
294 #define M_BNEZL(a,disp)         M_ITYPE(0x15,a,0,disp)          /* br a != 0  */
295 #define M_BGEZL(a,disp)         M_ITYPE(0x01,a,3,disp)          /* br a >= 0  */
296 #define M_BGTZL(a,disp)         M_ITYPE(0x17,a,0,disp)          /* br a >  0  */
297
298 #define M_BR(disp)              M_ITYPE(0x04,0,0,disp)          /* branch     */
299 #define M_BRS(disp)             M_ITYPE(0x01,0,17,disp)         /* branch sbr */
300
301 #define M_JMP(a)                M_RTYPE(0,a,0,0,0,0x08)         /* jump       */
302 #define M_JSR(r,a)              M_RTYPE(0,a,0,r,0,0x09)         /* call       */
303 #define M_RET(a)                M_RTYPE(0,a,0,0,0,0x08)         /* return     */
304
305 #define M_TGE(a,b,code)         M_RTYPE(0,a,b,0,code&3ff,0x30)  /* trp a >= b */
306 #define M_TGEU(a,b,code)        M_RTYPE(0,a,b,0,code&3ff,0x31)  /* trp a >= b */
307 #define M_TLT(a,b,code)         M_RTYPE(0,a,b,0,code&3ff,0x32)  /* trp a <  b */
308 #define M_TLTU(a,b,code)        M_RTYPE(0,a,b,0,code&3ff,0x33)  /* trp a <  b */
309 #define M_TEQ(a,b,code)         M_RTYPE(0,a,b,0,code&3ff,0x34)  /* trp a == b */
310 #define M_TNE(a,b,code)         M_RTYPE(0,a,b,0,code&3ff,0x36)  /* trp a != b */
311 #define M_TLE(a,b,code)         M_RTYPE(0,b,a,0,code&3ff,0x30)  /* trp a <= b */
312 #define M_TLEU(a,b,code)        M_RTYPE(0,b,a,0,code&3ff,0x31)  /* trp a <= b */
313 #define M_TGT(a,b,code)         M_RTYPE(0,b,a,0,code&3ff,0x32)  /* trp a >  b */
314 #define M_TGTU(a,b,code)        M_RTYPE(0,b,a,0,code&3ff,0x33)  /* trp a >  b */
315
316 #define M_TGE_IMM(a,b)          M_ITYPE(1,a,0x08,b)             /* trp a >= b */
317 #define M_TGEU_IMM(a,b)         M_ITYPE(1,a,0x09,b)             /* trp a >= b */
318 #define M_TLT_IMM(a,b)          M_ITYPE(1,a,0x0a,b)             /* trp a <  b */
319 #define M_TLTU_IMM(a,b)         M_ITYPE(1,a,0x0b,b)             /* trp a <  b */
320 #define M_TEQ_IMM(a,b)          M_ITYPE(1,a,0x0c,b)             /* trp a == b */
321 #define M_TNE_IMM(a,b)          M_ITYPE(1,a,0x0e,b)             /* trp a != b */
322 #if 0
323 #define M_TGT_IMM(a,b)          M_ITYPE(1,a,0x08,b+1)           /* trp a >  b */
324 #define M_TGTU_IMM(a,b)         M_ITYPE(1,a,0x09,b+1)           /* trp a >  b */
325 #define M_TLE_IMM(a,b)          M_ITYPE(1,a,0x0a,b+1)           /* trp a <= b */
326 #define M_TLEU_IMM(a,b)         M_ITYPE(1,a,0x0b,b+1)           /* trp a <= b */
327 #endif
328
329 /* arithmetic macros use the form OPERATION(source, source/immediate, dest)   */
330
331 #define M_IADD(a,b,c)           M_RTYPE(0,a,b,c,0,0x21)         /* 32 add     */
332 #define M_LADD(a,b,c)           M_RTYPE(0,a,b,c,0,0x2d)         /* 64 add     */
333 #define M_ISUB(a,b,c)           M_RTYPE(0,a,b,c,0,0x23)         /* 32 sub     */
334 #define M_LSUB(a,b,c)           M_RTYPE(0,a,b,c,0,0x2f)         /* 64 sub     */
335 #define M_IMUL(a,b)             M_ITYPE(0,a,b,0x18)             /* 32 mul     */
336 #define M_LMUL(a,b)             M_ITYPE(0,a,b,0x1c)             /* 64 mul     */
337 #define M_IDIV(a,b)             M_ITYPE(0,a,b,0x1a)             /* 32 div     */
338 #define M_LDIV(a,b)             M_ITYPE(0,a,b,0x1e)             /* 64 div     */
339
340 #define M_MFLO(a)               M_RTYPE(0,0,0,a,0,0x12)         /* quotient   */
341 #define M_MFHI(a)               M_RTYPE(0,0,0,a,0,0x10)         /* remainder  */
342
343 #define M_IADD_IMM(a,b,c)       M_ITYPE(0x09,a,c,b)             /* 32 add     */
344 #define M_LADD_IMM(a,b,c)       M_ITYPE(0x19,a,c,b)             /* 64 add     */
345 #define M_ISUB_IMM(a,b,c)       M_ITYPE(0x09,a,c,-(b))          /* 32 sub     */
346 #define M_LSUB_IMM(a,b,c)       M_ITYPE(0x19,a,c,-(b))          /* 64 sub     */
347
348 #define M_LUI(a,imm)            M_ITYPE(0x0f,0,a,imm)           /* a = imm<<16*/
349
350 #define M_CMPLT(a,b,c)          M_RTYPE(0,a,b,c,0,0x2a)         /* c = a <  b */
351 #define M_CMPGT(a,b,c)          M_RTYPE(0,b,a,c,0,0x2a)         /* c = a >  b */
352
353 #define M_CMPULT(a,b,c)         M_RTYPE(0,a,b,c,0,0x2b)         /* c = a <  b */
354 #define M_CMPUGT(a,b,c)         M_RTYPE(0,b,a,c,0,0x2b)         /* c = a >  b */
355
356 #define M_CMPLT_IMM(a,b,c)      M_ITYPE(0x0a,a,c,b)             /* c = a <  b */
357 #define M_CMPULT_IMM(a,b,c)     M_ITYPE(0x0b,a,c,b)             /* c = a <  b */
358
359 #define M_AND(a,b,c)            M_RTYPE(0,a,b,c,0,0x24)         /* c = a &  b */
360 #define M_OR( a,b,c)            M_RTYPE(0,a,b,c,0,0x25)         /* c = a |  b */
361 #define M_XOR(a,b,c)            M_RTYPE(0,a,b,c,0,0x26)         /* c = a ^  b */
362
363 #define M_AND_IMM(a,b,c)        M_ITYPE(0x0c,a,c,b)             /* c = a &  b */
364 #define M_OR_IMM( a,b,c)        M_ITYPE(0x0d,a,c,b)             /* c = a |  b */
365 #define M_XOR_IMM(a,b,c)        M_ITYPE(0x0e,a,c,b)             /* c = a ^  b */
366
367 #define M_CZEXT(a,c)            M_AND_IMM(a,0xffff,c)           /* c = zext(a)*/
368
369 #define M_ISLL(a,b,c)           M_RTYPE(0,b,a,c,0,0x04)         /* c = a << b */
370 #define M_ISRL(a,b,c)           M_RTYPE(0,b,a,c,0,0x06)         /* c = a >>>b */
371 #define M_ISRA(a,b,c)           M_RTYPE(0,b,a,c,0,0x07)         /* c = a >> b */
372 #define M_LSLL(a,b,c)           M_RTYPE(0,b,a,c,0,0x14)         /* c = a << b */
373 #define M_LSRL(a,b,c)           M_RTYPE(0,b,a,c,0,0x16)         /* c = a >>>b */
374 #define M_LSRA(a,b,c)           M_RTYPE(0,b,a,c,0,0x17)         /* c = a >> b */
375
376 #define M_ISLL_IMM(a,b,c)       M_RTYPE(0,0,a,c,(b)&31,0x00)    /* c = a << b */
377 #define M_ISRL_IMM(a,b,c)       M_RTYPE(0,0,a,c,(b)&31,0x02)    /* c = a >>>b */
378 #define M_ISRA_IMM(a,b,c)       M_RTYPE(0,0,a,c,(b)&31,0x03)    /* c = a >> b */
379 #define M_LSLL_IMM(a,b,c) M_RTYPE(0,0,a,c,(b)&31,0x38+((b)>>3&4)) /*c = a << b*/
380 #define M_LSRL_IMM(a,b,c) M_RTYPE(0,0,a,c,(b)&31,0x3a+((b)>>3&4)) /*c = a >>>b*/
381 #define M_LSRA_IMM(a,b,c) M_RTYPE(0,0,a,c,(b)&31,0x3b+((b)>>3&4)) /*c = a >> b*/
382
383 #define M_MOV(a,c)              M_OR(a,0,c)                     /* c = a      */
384 #define M_CLR(c)                M_OR(0,0,c)                     /* c = 0      */
385 #define M_NOP                   M_ISLL_IMM(0,0,0)               /* ;          */
386
387 /* floating point macros use the form OPERATION(source, source, dest)         */
388
389 #define M_FADD(a,b,c)           M_FP3(0x00,FMT_F,a,b,c)         /* flt add    */
390 #define M_DADD(a,b,c)           M_FP3(0x00,FMT_D,a,b,c)         /* dbl add    */
391 #define M_FSUB(a,b,c)           M_FP3(0x01,FMT_F,a,b,c)         /* flt sub    */
392 #define M_DSUB(a,b,c)           M_FP3(0x01,FMT_D,a,b,c)         /* dbl sub    */
393 #define M_FMUL(a,b,c)           M_FP3(0x02,FMT_F,a,b,c)         /* flt mul    */
394 #define M_DMUL(a,b,c)           M_FP3(0x02,FMT_D,a,b,c)         /* dbl mul    */
395 #define M_FDIV(a,b,c)           M_FP3(0x03,FMT_F,a,b,c)         /* flt div    */
396 #define M_DDIV(a,b,c)           M_FP3(0x03,FMT_D,a,b,c)         /* dbl div    */
397
398 #define M_FSQRT(a,c)            M_FP2(0x04,FMT_F,a,c)           /* flt sqrt   */
399 #define M_DSQRT(a,c)            M_FP2(0x04,FMT_D,a,c)           /* dbl sqrt   */
400 #define M_FABS(a,c)             M_FP2(0x05,FMT_F,a,c)           /* flt abs    */
401 #define M_DABS(a,c)             M_FP2(0x05,FMT_D,a,c)           /* dbl abs    */
402 #define M_FMOV(a,c)             M_FP2(0x06,FMT_F,a,c)           /* flt mov    */
403 #define M_DMOV(a,c)             M_FP2(0x06,FMT_D,a,c)           /* dbl mov    */
404 #define M_FNEG(a,c)             M_FP2(0x07,FMT_F,a,c)           /* flt neg    */
405 #define M_DNEG(a,c)             M_FP2(0x07,FMT_D,a,c)           /* dbl neg    */
406
407 #define M_ROUNDFI(a,c)          M_FP2(0x0c,FMT_F,a,c)           /* flt roundi */
408 #define M_ROUNDDI(a,c)          M_FP2(0x0c,FMT_D,a,c)           /* dbl roundi */
409 #define M_TRUNCFI(a,c)          M_FP2(0x0d,FMT_F,a,c)           /* flt trunci */
410 #define M_TRUNCDI(a,c)          M_FP2(0x0d,FMT_D,a,c)           /* dbl trunci */
411 #define M_CEILFI(a,c)           M_FP2(0x0e,FMT_F,a,c)           /* flt ceili  */
412 #define M_CEILDI(a,c)           M_FP2(0x0e,FMT_D,a,c)           /* dbl ceili  */
413 #define M_FLOORFI(a,c)          M_FP2(0x0f,FMT_F,a,c)           /* flt trunci */
414 #define M_FLOORDI(a,c)          M_FP2(0x0f,FMT_D,a,c)           /* dbl trunci */
415
416 #define M_ROUNDFL(a,c)          M_FP2(0x08,FMT_F,a,c)           /* flt roundl */
417 #define M_ROUNDDL(a,c)          M_FP2(0x08,FMT_D,a,c)           /* dbl roundl */
418 #define M_TRUNCFL(a,c)          M_FP2(0x09,FMT_F,a,c)           /* flt truncl */
419 #define M_TRUNCDL(a,c)          M_FP2(0x09,FMT_D,a,c)           /* dbl truncl */
420 #define M_CEILFL(a,c)           M_FP2(0x0a,FMT_F,a,c)           /* flt ceill  */
421 #define M_CEILDL(a,c)           M_FP2(0x0a,FMT_D,a,c)           /* dbl ceill  */
422 #define M_FLOORFL(a,c)          M_FP2(0x0b,FMT_F,a,c)           /* flt truncl */
423 #define M_FLOORDL(a,c)          M_FP2(0x0b,FMT_D,a,c)           /* dbl truncl */
424
425 #define M_CVTDF(a,c)            M_FP2(0x20,FMT_D,a,c)           /* dbl2flt    */
426 #define M_CVTIF(a,c)            M_FP2(0x20,FMT_I,a,c)           /* int2flt    */
427 #define M_CVTLF(a,c)            M_FP2(0x20,FMT_L,a,c)           /* long2flt   */
428 #define M_CVTFD(a,c)            M_FP2(0x21,FMT_F,a,c)           /* flt2dbl    */
429 #define M_CVTID(a,c)            M_FP2(0x21,FMT_I,a,c)           /* int2dbl    */
430 #define M_CVTLD(a,c)            M_FP2(0x21,FMT_L,a,c)           /* long2dbl   */
431 #define M_CVTFI(a,c)            M_FP2(0x24,FMT_F,a,c)           /* flt2int    */
432 #define M_CVTDI(a,c)            M_FP2(0x24,FMT_D,a,c)           /* dbl2int    */
433 #define M_CVTFL(a,c)            M_FP2(0x25,FMT_F,a,c)           /* flt2long   */
434 #define M_CVTDL(a,c)            M_FP2(0x25,FMT_D,a,c)           /* dbl2long   */
435
436 #define M_MOVDI(d,i)            M_FP3(0,0,d,i,0)                /* i = d      */
437 #define M_MOVDL(d,l)            M_FP3(0,1,d,l,0)                /* l = d      */
438 #define M_MOVID(i,d)            M_FP3(0,4,d,i,0)                /* d = i      */
439 #define M_MOVLD(l,d)            M_FP3(0,5,d,l,0)                /* d = l      */
440
441 #define M_DMFC1(l,f)            M_FP3(0,1,f,l,0)
442 #define M_DMTC1(l,f)            M_FP3(0,5,f,l,0)
443
444 #define M_FCMPFF(a,b)           M_FP3(0x30,FMT_F,a,b,0)         /* c = a == b */
445 #define M_FCMPFD(a,b)           M_FP3(0x30,FMT_D,a,b,0)         /* c = a == b */
446 #define M_FCMPUNF(a,b)          M_FP3(0x31,FMT_F,a,b,0)         /* c = a == b */
447 #define M_FCMPUND(a,b)          M_FP3(0x31,FMT_D,a,b,0)         /* c = a == b */
448 #define M_FCMPEQF(a,b)          M_FP3(0x32,FMT_F,a,b,0)         /* c = a == b */
449 #define M_FCMPEQD(a,b)          M_FP3(0x32,FMT_D,a,b,0)         /* c = a == b */
450 #define M_FCMPUEQF(a,b)         M_FP3(0x33,FMT_F,a,b,0)         /* c = a == b */
451 #define M_FCMPUEQD(a,b)         M_FP3(0x33,FMT_D,a,b,0)         /* c = a == b */
452 #define M_FCMPOLTF(a,b)         M_FP3(0x34,FMT_F,a,b,0)         /* c = a <  b */
453 #define M_FCMPOLTD(a,b)         M_FP3(0x34,FMT_D,a,b,0)         /* c = a <  b */
454 #define M_FCMPULTF(a,b)         M_FP3(0x35,FMT_F,a,b,0)         /* c = a <  b */
455 #define M_FCMPULTD(a,b)         M_FP3(0x35,FMT_D,a,b,0)         /* c = a <  b */
456 #define M_FCMPOLEF(a,b)         M_FP3(0x36,FMT_F,a,b,0)         /* c = a <= b */
457 #define M_FCMPOLED(a,b)         M_FP3(0x36,FMT_D,a,b,0)         /* c = a <= b */
458 #define M_FCMPULEF(a,b)         M_FP3(0x37,FMT_F,a,b,0)         /* c = a <= b */
459 #define M_FCMPULED(a,b)         M_FP3(0x37,FMT_D,a,b,0)         /* c = a <= b */
460
461 #define M_FBF(disp)             M_ITYPE(0x11,8,0,disp)          /* br false   */
462 #define M_FBT(disp)             M_ITYPE(0x11,8,1,disp)          /* br true    */
463 #define M_FBFL(disp)            M_ITYPE(0x11,8,2,disp)          /* br false   */
464 #define M_FBTL(disp)            M_ITYPE(0x11,8,3,disp)          /* br true    */
465
466 #define M_CMOVF(a,b)                    M_RTYPE(0x00,a,0,b,0,1)
467 #define M_CMOVT(a,b)                    M_RTYPE(0x00,a,1,b,0,1)
468
469
470 /*
471  * Load Address pseudo instruction:
472  * -n32 addressing mode -> 32 bit addrs, -64 addressing mode -> 64 bit addrs
473  */
474 #if SIZEOF_VOID_P == 8
475
476 #define POINTERSHIFT 3
477
478 #define M_ALD_INTERN(a,b,disp)  M_LLD_INTERN(a,b,disp)
479 #define M_ALD(a,b,disp)         M_LLD(a,b,disp)
480 #define M_AST_INTERN(a,b,disp)  M_LST_INTERN(a,b,disp)
481 #define M_AST(a,b,disp)         M_LST(a,b,disp)
482 #define M_AADD(a,b,c)           M_LADD(a,b,c)
483 #define M_AADD_IMM(a,b,c)       M_LADD_IMM(a,b,c)
484 #define M_ASUB_IMM(a,b,c)       M_LSUB_IMM(a,b,c)
485 #define M_ASLL_IMM(a,b,c)       M_LSLL_IMM(a,b,c)
486
487 #else /* SIZEOF_VOID_P == 8 */
488
489 #define POINTERSHIFT 2
490
491 #define M_ALD_INTERN(a,b,disp)  M_ILD_INTERN(a,b,disp)
492 #define M_ALD(a,b,disp)         M_ILD(a,b,disp)
493 #define M_AST_INTERN(a,b,disp)  M_IST_INTERN(a,b,disp)
494 #define M_AST(a,b,disp)         M_IST(a,b,disp)
495 #define M_AADD(a,b,c)           M_IADD(a,b,c)
496 #define M_AADD_IMM(a,b,c)       M_IADD_IMM(a,b,c)
497 #define M_ASUB_IMM(a,b,c)       M_ISUB_IMM(a,b,c)
498 #define M_ASLL_IMM(a,b,c)       M_ISLL_IMM(a,b,c)
499
500 #endif /* SIZEOF_VOID_P == 8 */
501
502 #endif /* _CODEGEN_H */
503
504
505 /*
506  * These are local overrides for various environment variables in Emacs.
507  * Please do not remove this and leave it at the end of the file, where
508  * Emacs will automagically detect them.
509  * ---------------------------------------------------------------------
510  * Local variables:
511  * mode: c
512  * indent-tabs-mode: t
513  * c-basic-offset: 4
514  * tab-width: 4
515  * End:
516  */