blob: 0c392283d41d4b09873f903727ae2312ce0d0947 [file] [log] [blame]
bellard79638562003-06-15 19:46:57 +00001/*
2 * dyngen defines for micro operation code
3 *
4 * Copyright (c) 2003 Fabrice Bellard
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
19 */
bellard67867302003-11-23 17:05:30 +000020#if !defined(__DYNGEN_EXEC_H__)
21#define __DYNGEN_EXEC_H__
22
bellardec530c82006-04-25 22:36:06 +000023/* prevent Solaris from trying to typedef FILE in gcc's
24 include/floatingpoint.h which will conflict with the
25 definition down below */
26#ifdef __sun__
27#define _FILEDEFED
28#endif
29
bellard1e6cae92004-07-10 15:31:19 +000030/* NOTE: standard headers should be used with special care at this
31 point because host CPU registers are used as global variables. Some
32 host headers do not allow that. */
bellard513b5002004-01-04 17:44:08 +000033#include <stddef.h>
34
bellard79638562003-06-15 19:46:57 +000035typedef unsigned char uint8_t;
36typedef unsigned short uint16_t;
37typedef unsigned int uint32_t;
bellard74ccb342006-07-18 21:23:34 +000038// Linux/Sparc64 defines uint64_t
39#if !(defined (__sparc_v9__) && defined(__linux__))
bellard4f2ac232004-04-26 19:44:02 +000040/* XXX may be done for all 64 bits targets ? */
bellardb8076a72005-04-07 22:20:31 +000041#if defined (__x86_64__) || defined(__ia64)
bellard4f2ac232004-04-26 19:44:02 +000042typedef unsigned long uint64_t;
43#else
bellard79638562003-06-15 19:46:57 +000044typedef unsigned long long uint64_t;
bellard4f2ac232004-04-26 19:44:02 +000045#endif
bellard74ccb342006-07-18 21:23:34 +000046#endif
bellard79638562003-06-15 19:46:57 +000047
bellardec530c82006-04-25 22:36:06 +000048/* if Solaris/__sun__, don't typedef int8_t, as it will be typedef'd
49 prior to this and will cause an error in compliation, conflicting
50 with /usr/include/sys/int_types.h, line 75 */
51#ifndef __sun__
bellard79638562003-06-15 19:46:57 +000052typedef signed char int8_t;
bellardec530c82006-04-25 22:36:06 +000053#endif
bellard79638562003-06-15 19:46:57 +000054typedef signed short int16_t;
55typedef signed int int32_t;
bellard74ccb342006-07-18 21:23:34 +000056// Linux/Sparc64 defines int64_t
57#if !(defined (__sparc_v9__) && defined(__linux__))
bellardb8076a72005-04-07 22:20:31 +000058#if defined (__x86_64__) || defined(__ia64)
bellard4f2ac232004-04-26 19:44:02 +000059typedef signed long int64_t;
60#else
bellard79638562003-06-15 19:46:57 +000061typedef signed long long int64_t;
bellard4f2ac232004-04-26 19:44:02 +000062#endif
bellard74ccb342006-07-18 21:23:34 +000063#endif
bellard79638562003-06-15 19:46:57 +000064
bellard67867302003-11-23 17:05:30 +000065#define INT8_MIN (-128)
66#define INT16_MIN (-32767-1)
67#define INT32_MIN (-2147483647-1)
68#define INT64_MIN (-(int64_t)(9223372036854775807)-1)
69#define INT8_MAX (127)
70#define INT16_MAX (32767)
71#define INT32_MAX (2147483647)
72#define INT64_MAX ((int64_t)(9223372036854775807))
73#define UINT8_MAX (255)
74#define UINT16_MAX (65535)
75#define UINT32_MAX (4294967295U)
76#define UINT64_MAX ((uint64_t)(18446744073709551615))
77
bellard79638562003-06-15 19:46:57 +000078typedef struct FILE FILE;
79extern int fprintf(FILE *, const char *, ...);
80extern int printf(const char *, ...);
bellard513b5002004-01-04 17:44:08 +000081#undef NULL
bellard79638562003-06-15 19:46:57 +000082#define NULL 0
bellard79638562003-06-15 19:46:57 +000083
84#ifdef __i386__
85#define AREG0 "ebp"
86#define AREG1 "ebx"
87#define AREG2 "esi"
88#define AREG3 "edi"
89#endif
bellardbc51c5c2004-03-17 23:46:04 +000090#ifdef __x86_64__
91#define AREG0 "rbp"
92#define AREG1 "rbx"
93#define AREG2 "r12"
94#define AREG3 "r13"
bellarddff293e2005-04-24 18:01:56 +000095//#define AREG4 "r14"
96//#define AREG5 "r15"
bellardbc51c5c2004-03-17 23:46:04 +000097#endif
bellard79638562003-06-15 19:46:57 +000098#ifdef __powerpc__
99#define AREG0 "r27"
100#define AREG1 "r24"
101#define AREG2 "r25"
102#define AREG3 "r26"
bellardbf71c9d2004-11-09 22:12:08 +0000103/* XXX: suppress this hack */
104#if defined(CONFIG_USER_ONLY)
bellard79638562003-06-15 19:46:57 +0000105#define AREG4 "r16"
106#define AREG5 "r17"
107#define AREG6 "r18"
108#define AREG7 "r19"
109#define AREG8 "r20"
110#define AREG9 "r21"
111#define AREG10 "r22"
112#define AREG11 "r23"
bellardbf71c9d2004-11-09 22:12:08 +0000113#endif
bellard79638562003-06-15 19:46:57 +0000114#define USE_INT_TO_FLOAT_HELPERS
115#define BUGGY_GCC_DIV64
116#endif
117#ifdef __arm__
118#define AREG0 "r7"
119#define AREG1 "r4"
120#define AREG2 "r5"
121#define AREG3 "r6"
122#endif
123#ifdef __mips__
124#define AREG0 "s3"
125#define AREG1 "s0"
126#define AREG2 "s1"
127#define AREG3 "s2"
128#endif
129#ifdef __sparc__
bellardfdbb4692006-06-14 17:32:25 +0000130#ifdef HOST_SOLARIS
131#define AREG0 "g2"
132#define AREG1 "g3"
133#define AREG2 "g4"
134#define AREG3 "g5"
135#define AREG4 "g6"
136#else
bellard74ccb342006-07-18 21:23:34 +0000137#ifdef __sparc_v9__
138#define AREG0 "g1"
139#define AREG1 "g4"
140#define AREG2 "g5"
141#define AREG3 "g7"
142#else
bellard79638562003-06-15 19:46:57 +0000143#define AREG0 "g6"
144#define AREG1 "g1"
145#define AREG2 "g2"
146#define AREG3 "g3"
147#define AREG4 "l0"
148#define AREG5 "l1"
149#define AREG6 "l2"
150#define AREG7 "l3"
151#define AREG8 "l4"
152#define AREG9 "l5"
153#define AREG10 "l6"
154#define AREG11 "l7"
bellardfdbb4692006-06-14 17:32:25 +0000155#endif
bellard74ccb342006-07-18 21:23:34 +0000156#endif
bellard79638562003-06-15 19:46:57 +0000157#define USE_FP_CONVERT
158#endif
159#ifdef __s390__
160#define AREG0 "r10"
161#define AREG1 "r7"
162#define AREG2 "r8"
163#define AREG3 "r9"
164#endif
165#ifdef __alpha__
166/* Note $15 is the frame pointer, so anything in op-i386.c that would
167 require a frame pointer, like alloca, would probably loose. */
168#define AREG0 "$15"
169#define AREG1 "$9"
170#define AREG2 "$10"
171#define AREG3 "$11"
172#define AREG4 "$12"
173#define AREG5 "$13"
174#define AREG6 "$14"
175#endif
bellard38e584a2003-08-10 22:14:22 +0000176#ifdef __mc68000
177#define AREG0 "%a5"
178#define AREG1 "%a4"
179#define AREG2 "%d7"
180#define AREG3 "%d6"
181#define AREG4 "%d5"
182#endif
bellard79638562003-06-15 19:46:57 +0000183#ifdef __ia64__
bellardb8076a72005-04-07 22:20:31 +0000184#define AREG0 "r7"
185#define AREG1 "r4"
186#define AREG2 "r5"
187#define AREG3 "r6"
bellard79638562003-06-15 19:46:57 +0000188#endif
189
190/* force GCC to generate only one epilog at the end of the function */
191#define FORCE_RET() asm volatile ("");
192
193#ifndef OPPROTO
194#define OPPROTO
195#endif
196
197#define xglue(x, y) x ## y
198#define glue(x, y) xglue(x, y)
bellard96213392003-07-11 15:17:41 +0000199#define stringify(s) tostring(s)
200#define tostring(s) #s
bellard79638562003-06-15 19:46:57 +0000201
202#ifdef __alpha__
203/* the symbols are considered non exported so a br immediate is generated */
204#define __hidden __attribute__((visibility("hidden")))
205#else
206#define __hidden
207#endif
208
bellardcab84d92004-07-12 18:51:50 +0000209#if defined(__alpha__)
bellard79638562003-06-15 19:46:57 +0000210/* Suggested by Richard Henderson. This will result in code like
211 ldah $0,__op_param1($29) !gprelhigh
212 lda $0,__op_param1($0) !gprellow
213 We can then conveniently change $29 to $31 and adapt the offsets to
214 emit the appropriate constant. */
215extern int __op_param1 __hidden;
216extern int __op_param2 __hidden;
217extern int __op_param3 __hidden;
218#define PARAM1 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param1)); _r; })
219#define PARAM2 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param2)); _r; })
220#define PARAM3 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param3)); _r; })
221#else
bellardcab84d92004-07-12 18:51:50 +0000222#if defined(__APPLE__)
223static int __op_param1, __op_param2, __op_param3;
224#else
bellard79638562003-06-15 19:46:57 +0000225extern int __op_param1, __op_param2, __op_param3;
bellardcab84d92004-07-12 18:51:50 +0000226#endif
bellard79638562003-06-15 19:46:57 +0000227#define PARAM1 ((long)(&__op_param1))
228#define PARAM2 ((long)(&__op_param2))
229#define PARAM3 ((long)(&__op_param3))
bellardcab84d92004-07-12 18:51:50 +0000230#endif /* !defined(__alpha__) */
bellard79638562003-06-15 19:46:57 +0000231
bellardc1061522003-09-17 22:51:45 +0000232extern int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
bellard96213392003-07-11 15:17:41 +0000233
bellard9191d4d2005-01-26 21:30:57 +0000234#if defined(_WIN32) || defined(__APPLE__)
bellard9df8aa42005-01-09 00:39:12 +0000235#define ASM_NAME(x) "_" #x
236#else
237#define ASM_NAME(x) #x
238#endif
239
bellard96213392003-07-11 15:17:41 +0000240#ifdef __i386__
241#define EXIT_TB() asm volatile ("ret")
bellard9df8aa42005-01-09 00:39:12 +0000242#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000243#endif
bellardbc51c5c2004-03-17 23:46:04 +0000244#ifdef __x86_64__
245#define EXIT_TB() asm volatile ("ret")
bellardd785e6b2005-03-01 22:33:42 +0000246#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
bellardbc51c5c2004-03-17 23:46:04 +0000247#endif
bellard96213392003-07-11 15:17:41 +0000248#ifdef __powerpc__
249#define EXIT_TB() asm volatile ("blr")
bellard9df8aa42005-01-09 00:39:12 +0000250#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000251#endif
252#ifdef __s390__
253#define EXIT_TB() asm volatile ("br %r14")
bellard90cb9492005-07-24 15:11:38 +0000254#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000255#endif
256#ifdef __alpha__
257#define EXIT_TB() asm volatile ("ret")
258#endif
259#ifdef __ia64__
260#define EXIT_TB() asm volatile ("br.ret.sptk.many b0;;")
bellardb8076a72005-04-07 22:20:31 +0000261#define GOTO_LABEL_PARAM(n) asm volatile ("br.sptk.many " \
262 ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000263#endif
264#ifdef __sparc__
bellardfdbb4692006-06-14 17:32:25 +0000265#define EXIT_TB() asm volatile ("jmpl %i0 + 8, %g0; nop")
266#define GOTO_LABEL_PARAM(n) asm volatile ("ba " ASM_NAME(__op_gen_label) #n ";nop")
bellard96213392003-07-11 15:17:41 +0000267#endif
268#ifdef __arm__
269#define EXIT_TB() asm volatile ("b exec_loop")
bellardae200d12005-03-13 09:53:38 +0000270#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000271#endif
bellard38e584a2003-08-10 22:14:22 +0000272#ifdef __mc68000
273#define EXIT_TB() asm volatile ("rts")
274#endif
bellard67867302003-11-23 17:05:30 +0000275
276#endif /* !defined(__DYNGEN_EXEC_H__) */