blob: c63eb265db5a494c4c6ef3ef06b9991ad15b5107 [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
pbrook1057eaa2007-02-04 13:37:44 +000065/* XXX: This may be wrong for 64-bit ILP32 hosts. */
66typedef void * host_reg_t;
67
bellard67867302003-11-23 17:05:30 +000068#define INT8_MIN (-128)
69#define INT16_MIN (-32767-1)
70#define INT32_MIN (-2147483647-1)
71#define INT64_MIN (-(int64_t)(9223372036854775807)-1)
72#define INT8_MAX (127)
73#define INT16_MAX (32767)
74#define INT32_MAX (2147483647)
75#define INT64_MAX ((int64_t)(9223372036854775807))
76#define UINT8_MAX (255)
77#define UINT16_MAX (65535)
78#define UINT32_MAX (4294967295U)
79#define UINT64_MAX ((uint64_t)(18446744073709551615))
80
bellard79638562003-06-15 19:46:57 +000081typedef struct FILE FILE;
82extern int fprintf(FILE *, const char *, ...);
ths24c7b0e2007-03-30 16:44:54 +000083extern int fputs(const char *, FILE *);
bellard79638562003-06-15 19:46:57 +000084extern int printf(const char *, ...);
bellard513b5002004-01-04 17:44:08 +000085#undef NULL
bellard79638562003-06-15 19:46:57 +000086#define NULL 0
bellard79638562003-06-15 19:46:57 +000087
88#ifdef __i386__
89#define AREG0 "ebp"
90#define AREG1 "ebx"
91#define AREG2 "esi"
92#define AREG3 "edi"
93#endif
bellardbc51c5c2004-03-17 23:46:04 +000094#ifdef __x86_64__
ths43024c62007-02-10 18:21:04 +000095#define AREG0 "r14"
96#define AREG1 "r15"
bellardbc51c5c2004-03-17 23:46:04 +000097#define AREG2 "r12"
98#define AREG3 "r13"
ths43024c62007-02-10 18:21:04 +000099//#define AREG4 "rbp"
100//#define AREG5 "rbx"
bellardbc51c5c2004-03-17 23:46:04 +0000101#endif
bellard79638562003-06-15 19:46:57 +0000102#ifdef __powerpc__
103#define AREG0 "r27"
104#define AREG1 "r24"
105#define AREG2 "r25"
106#define AREG3 "r26"
bellardbf71c9d2004-11-09 22:12:08 +0000107/* XXX: suppress this hack */
108#if defined(CONFIG_USER_ONLY)
bellard79638562003-06-15 19:46:57 +0000109#define AREG4 "r16"
110#define AREG5 "r17"
111#define AREG6 "r18"
112#define AREG7 "r19"
113#define AREG8 "r20"
114#define AREG9 "r21"
115#define AREG10 "r22"
116#define AREG11 "r23"
bellardbf71c9d2004-11-09 22:12:08 +0000117#endif
bellard79638562003-06-15 19:46:57 +0000118#define USE_INT_TO_FLOAT_HELPERS
119#define BUGGY_GCC_DIV64
120#endif
121#ifdef __arm__
122#define AREG0 "r7"
123#define AREG1 "r4"
124#define AREG2 "r5"
125#define AREG3 "r6"
126#endif
127#ifdef __mips__
128#define AREG0 "s3"
129#define AREG1 "s0"
130#define AREG2 "s1"
131#define AREG3 "s2"
132#endif
133#ifdef __sparc__
bellardfdbb4692006-06-14 17:32:25 +0000134#ifdef HOST_SOLARIS
135#define AREG0 "g2"
136#define AREG1 "g3"
137#define AREG2 "g4"
138#define AREG3 "g5"
139#define AREG4 "g6"
140#else
bellard74ccb342006-07-18 21:23:34 +0000141#ifdef __sparc_v9__
142#define AREG0 "g1"
143#define AREG1 "g4"
144#define AREG2 "g5"
145#define AREG3 "g7"
146#else
bellard79638562003-06-15 19:46:57 +0000147#define AREG0 "g6"
148#define AREG1 "g1"
149#define AREG2 "g2"
150#define AREG3 "g3"
151#define AREG4 "l0"
152#define AREG5 "l1"
153#define AREG6 "l2"
154#define AREG7 "l3"
155#define AREG8 "l4"
156#define AREG9 "l5"
157#define AREG10 "l6"
158#define AREG11 "l7"
bellardfdbb4692006-06-14 17:32:25 +0000159#endif
bellard74ccb342006-07-18 21:23:34 +0000160#endif
bellard79638562003-06-15 19:46:57 +0000161#define USE_FP_CONVERT
162#endif
163#ifdef __s390__
164#define AREG0 "r10"
165#define AREG1 "r7"
166#define AREG2 "r8"
167#define AREG3 "r9"
168#endif
169#ifdef __alpha__
170/* Note $15 is the frame pointer, so anything in op-i386.c that would
171 require a frame pointer, like alloca, would probably loose. */
172#define AREG0 "$15"
173#define AREG1 "$9"
174#define AREG2 "$10"
175#define AREG3 "$11"
176#define AREG4 "$12"
177#define AREG5 "$13"
178#define AREG6 "$14"
179#endif
bellard38e584a2003-08-10 22:14:22 +0000180#ifdef __mc68000
181#define AREG0 "%a5"
182#define AREG1 "%a4"
183#define AREG2 "%d7"
184#define AREG3 "%d6"
185#define AREG4 "%d5"
186#endif
bellard79638562003-06-15 19:46:57 +0000187#ifdef __ia64__
bellardb8076a72005-04-07 22:20:31 +0000188#define AREG0 "r7"
189#define AREG1 "r4"
190#define AREG2 "r5"
191#define AREG3 "r6"
bellard79638562003-06-15 19:46:57 +0000192#endif
193
194/* force GCC to generate only one epilog at the end of the function */
ths70ead432006-12-23 00:49:32 +0000195#define FORCE_RET() __asm__ __volatile__("" : : : "memory");
bellard79638562003-06-15 19:46:57 +0000196
197#ifndef OPPROTO
198#define OPPROTO
199#endif
200
201#define xglue(x, y) x ## y
202#define glue(x, y) xglue(x, y)
bellard96213392003-07-11 15:17:41 +0000203#define stringify(s) tostring(s)
204#define tostring(s) #s
bellard79638562003-06-15 19:46:57 +0000205
206#ifdef __alpha__
207/* the symbols are considered non exported so a br immediate is generated */
208#define __hidden __attribute__((visibility("hidden")))
209#else
210#define __hidden
211#endif
212
bellardcab84d92004-07-12 18:51:50 +0000213#if defined(__alpha__)
bellard79638562003-06-15 19:46:57 +0000214/* Suggested by Richard Henderson. This will result in code like
215 ldah $0,__op_param1($29) !gprelhigh
216 lda $0,__op_param1($0) !gprellow
217 We can then conveniently change $29 to $31 and adapt the offsets to
218 emit the appropriate constant. */
219extern int __op_param1 __hidden;
220extern int __op_param2 __hidden;
221extern int __op_param3 __hidden;
222#define PARAM1 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param1)); _r; })
223#define PARAM2 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param2)); _r; })
224#define PARAM3 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param3)); _r; })
225#else
bellardcab84d92004-07-12 18:51:50 +0000226#if defined(__APPLE__)
227static int __op_param1, __op_param2, __op_param3;
228#else
bellard79638562003-06-15 19:46:57 +0000229extern int __op_param1, __op_param2, __op_param3;
bellardcab84d92004-07-12 18:51:50 +0000230#endif
bellard79638562003-06-15 19:46:57 +0000231#define PARAM1 ((long)(&__op_param1))
232#define PARAM2 ((long)(&__op_param2))
233#define PARAM3 ((long)(&__op_param3))
bellardcab84d92004-07-12 18:51:50 +0000234#endif /* !defined(__alpha__) */
bellard79638562003-06-15 19:46:57 +0000235
bellardc1061522003-09-17 22:51:45 +0000236extern int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
bellard96213392003-07-11 15:17:41 +0000237
bellard9191d4d2005-01-26 21:30:57 +0000238#if defined(_WIN32) || defined(__APPLE__)
bellard9df8aa42005-01-09 00:39:12 +0000239#define ASM_NAME(x) "_" #x
240#else
241#define ASM_NAME(x) #x
242#endif
243
bellard96213392003-07-11 15:17:41 +0000244#ifdef __i386__
245#define EXIT_TB() asm volatile ("ret")
bellard9df8aa42005-01-09 00:39:12 +0000246#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000247#endif
bellardbc51c5c2004-03-17 23:46:04 +0000248#ifdef __x86_64__
249#define EXIT_TB() asm volatile ("ret")
bellardd785e6b2005-03-01 22:33:42 +0000250#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
bellardbc51c5c2004-03-17 23:46:04 +0000251#endif
bellard96213392003-07-11 15:17:41 +0000252#ifdef __powerpc__
253#define EXIT_TB() asm volatile ("blr")
bellard9df8aa42005-01-09 00:39:12 +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 __s390__
257#define EXIT_TB() asm volatile ("br %r14")
bellard90cb9492005-07-24 15:11:38 +0000258#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000259#endif
260#ifdef __alpha__
261#define EXIT_TB() asm volatile ("ret")
262#endif
263#ifdef __ia64__
264#define EXIT_TB() asm volatile ("br.ret.sptk.many b0;;")
bellardb8076a72005-04-07 22:20:31 +0000265#define GOTO_LABEL_PARAM(n) asm volatile ("br.sptk.many " \
266 ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000267#endif
268#ifdef __sparc__
bellardfdbb4692006-06-14 17:32:25 +0000269#define EXIT_TB() asm volatile ("jmpl %i0 + 8, %g0; nop")
270#define GOTO_LABEL_PARAM(n) asm volatile ("ba " ASM_NAME(__op_gen_label) #n ";nop")
bellard96213392003-07-11 15:17:41 +0000271#endif
272#ifdef __arm__
273#define EXIT_TB() asm volatile ("b exec_loop")
bellardae200d12005-03-13 09:53:38 +0000274#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
bellard96213392003-07-11 15:17:41 +0000275#endif
bellard38e584a2003-08-10 22:14:22 +0000276#ifdef __mc68000
277#define EXIT_TB() asm volatile ("rts")
278#endif
bellard67867302003-11-23 17:05:30 +0000279
280#endif /* !defined(__DYNGEN_EXEC_H__) */