blob: 9f5fcc6ce52149e404fe1c84b0abd7506b054b82 [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
thscce10752007-04-02 12:39:43 +000081#ifdef _BSD
82typedef struct __sFILE FILE;
83#else
bellard79638562003-06-15 19:46:57 +000084typedef struct FILE FILE;
thscce10752007-04-02 12:39:43 +000085#endif
bellard79638562003-06-15 19:46:57 +000086extern int fprintf(FILE *, const char *, ...);
ths24c7b0e2007-03-30 16:44:54 +000087extern int fputs(const char *, FILE *);
bellard79638562003-06-15 19:46:57 +000088extern int printf(const char *, ...);
bellard513b5002004-01-04 17:44:08 +000089#undef NULL
bellard79638562003-06-15 19:46:57 +000090#define NULL 0
bellard79638562003-06-15 19:46:57 +000091
ths522777b2007-05-08 23:30:44 +000092#if defined(__i386__)
bellard79638562003-06-15 19:46:57 +000093#define AREG0 "ebp"
94#define AREG1 "ebx"
95#define AREG2 "esi"
96#define AREG3 "edi"
ths522777b2007-05-08 23:30:44 +000097#elif defined(__x86_64__)
ths43024c62007-02-10 18:21:04 +000098#define AREG0 "r14"
99#define AREG1 "r15"
bellardbc51c5c2004-03-17 23:46:04 +0000100#define AREG2 "r12"
101#define AREG3 "r13"
ths43024c62007-02-10 18:21:04 +0000102//#define AREG4 "rbp"
103//#define AREG5 "rbx"
ths522777b2007-05-08 23:30:44 +0000104#elif defined(__powerpc__)
bellard79638562003-06-15 19:46:57 +0000105#define AREG0 "r27"
106#define AREG1 "r24"
107#define AREG2 "r25"
108#define AREG3 "r26"
bellardbf71c9d2004-11-09 22:12:08 +0000109/* XXX: suppress this hack */
110#if defined(CONFIG_USER_ONLY)
bellard79638562003-06-15 19:46:57 +0000111#define AREG4 "r16"
112#define AREG5 "r17"
113#define AREG6 "r18"
114#define AREG7 "r19"
115#define AREG8 "r20"
116#define AREG9 "r21"
117#define AREG10 "r22"
118#define AREG11 "r23"
bellardbf71c9d2004-11-09 22:12:08 +0000119#endif
bellard79638562003-06-15 19:46:57 +0000120#define USE_INT_TO_FLOAT_HELPERS
121#define BUGGY_GCC_DIV64
ths522777b2007-05-08 23:30:44 +0000122#elif defined(__arm__)
bellard79638562003-06-15 19:46:57 +0000123#define AREG0 "r7"
124#define AREG1 "r4"
125#define AREG2 "r5"
126#define AREG3 "r6"
ths522777b2007-05-08 23:30:44 +0000127#elif defined(__mips__)
thsc4b89d12007-05-05 19:23:11 +0000128#define AREG0 "fp"
bellard79638562003-06-15 19:46:57 +0000129#define AREG1 "s0"
130#define AREG2 "s1"
131#define AREG3 "s2"
thsc4b89d12007-05-05 19:23:11 +0000132#define AREG4 "s3"
133#define AREG5 "s4"
134#define AREG6 "s5"
135#define AREG7 "s6"
136#define AREG8 "s7"
ths522777b2007-05-08 23:30:44 +0000137#elif defined(__sparc__)
bellardfdbb4692006-06-14 17:32:25 +0000138#ifdef HOST_SOLARIS
139#define AREG0 "g2"
140#define AREG1 "g3"
141#define AREG2 "g4"
142#define AREG3 "g5"
143#define AREG4 "g6"
144#else
bellard74ccb342006-07-18 21:23:34 +0000145#ifdef __sparc_v9__
146#define AREG0 "g1"
147#define AREG1 "g4"
148#define AREG2 "g5"
149#define AREG3 "g7"
150#else
bellard79638562003-06-15 19:46:57 +0000151#define AREG0 "g6"
152#define AREG1 "g1"
153#define AREG2 "g2"
154#define AREG3 "g3"
155#define AREG4 "l0"
156#define AREG5 "l1"
157#define AREG6 "l2"
158#define AREG7 "l3"
159#define AREG8 "l4"
160#define AREG9 "l5"
161#define AREG10 "l6"
162#define AREG11 "l7"
bellardfdbb4692006-06-14 17:32:25 +0000163#endif
bellard74ccb342006-07-18 21:23:34 +0000164#endif
bellard79638562003-06-15 19:46:57 +0000165#define USE_FP_CONVERT
ths522777b2007-05-08 23:30:44 +0000166#elif defined(__s390__)
bellard79638562003-06-15 19:46:57 +0000167#define AREG0 "r10"
168#define AREG1 "r7"
169#define AREG2 "r8"
170#define AREG3 "r9"
ths522777b2007-05-08 23:30:44 +0000171#elif defined(__alpha__)
bellard79638562003-06-15 19:46:57 +0000172/* Note $15 is the frame pointer, so anything in op-i386.c that would
173 require a frame pointer, like alloca, would probably loose. */
174#define AREG0 "$15"
175#define AREG1 "$9"
176#define AREG2 "$10"
177#define AREG3 "$11"
178#define AREG4 "$12"
179#define AREG5 "$13"
180#define AREG6 "$14"
ths522777b2007-05-08 23:30:44 +0000181#elif defined(__mc68000)
bellard38e584a2003-08-10 22:14:22 +0000182#define AREG0 "%a5"
183#define AREG1 "%a4"
184#define AREG2 "%d7"
185#define AREG3 "%d6"
186#define AREG4 "%d5"
ths522777b2007-05-08 23:30:44 +0000187#elif defined(__ia64__)
bellardb8076a72005-04-07 22:20:31 +0000188#define AREG0 "r7"
189#define AREG1 "r4"
190#define AREG2 "r5"
191#define AREG3 "r6"
ths522777b2007-05-08 23:30:44 +0000192#else
193#error unsupported CPU
bellard79638562003-06-15 19:46:57 +0000194#endif
195
196/* force GCC to generate only one epilog at the end of the function */
ths70ead432006-12-23 00:49:32 +0000197#define FORCE_RET() __asm__ __volatile__("" : : : "memory");
bellard79638562003-06-15 19:46:57 +0000198
199#ifndef OPPROTO
200#define OPPROTO
201#endif
202
203#define xglue(x, y) x ## y
204#define glue(x, y) xglue(x, y)
bellard96213392003-07-11 15:17:41 +0000205#define stringify(s) tostring(s)
206#define tostring(s) #s
bellard79638562003-06-15 19:46:57 +0000207
208#ifdef __alpha__
209/* the symbols are considered non exported so a br immediate is generated */
210#define __hidden __attribute__((visibility("hidden")))
211#else
212#define __hidden
213#endif
214
bellardcab84d92004-07-12 18:51:50 +0000215#if defined(__alpha__)
bellard79638562003-06-15 19:46:57 +0000216/* Suggested by Richard Henderson. This will result in code like
217 ldah $0,__op_param1($29) !gprelhigh
218 lda $0,__op_param1($0) !gprellow
219 We can then conveniently change $29 to $31 and adapt the offsets to
220 emit the appropriate constant. */
221extern int __op_param1 __hidden;
222extern int __op_param2 __hidden;
223extern int __op_param3 __hidden;
224#define PARAM1 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param1)); _r; })
225#define PARAM2 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param2)); _r; })
226#define PARAM3 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param3)); _r; })
227#else
bellardcab84d92004-07-12 18:51:50 +0000228#if defined(__APPLE__)
229static int __op_param1, __op_param2, __op_param3;
230#else
bellard79638562003-06-15 19:46:57 +0000231extern int __op_param1, __op_param2, __op_param3;
bellardcab84d92004-07-12 18:51:50 +0000232#endif
bellard79638562003-06-15 19:46:57 +0000233#define PARAM1 ((long)(&__op_param1))
234#define PARAM2 ((long)(&__op_param2))
235#define PARAM3 ((long)(&__op_param3))
bellardcab84d92004-07-12 18:51:50 +0000236#endif /* !defined(__alpha__) */
bellard79638562003-06-15 19:46:57 +0000237
bellardc1061522003-09-17 22:51:45 +0000238extern int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
bellard96213392003-07-11 15:17:41 +0000239
bellard9191d4d2005-01-26 21:30:57 +0000240#if defined(_WIN32) || defined(__APPLE__)
bellard9df8aa42005-01-09 00:39:12 +0000241#define ASM_NAME(x) "_" #x
242#else
243#define ASM_NAME(x) #x
244#endif
245
ths522777b2007-05-08 23:30:44 +0000246#if defined(__i386__)
bellard96213392003-07-11 15:17:41 +0000247#define EXIT_TB() asm volatile ("ret")
bellard9df8aa42005-01-09 00:39:12 +0000248#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000249#elif defined(__x86_64__)
bellardbc51c5c2004-03-17 23:46:04 +0000250#define EXIT_TB() asm volatile ("ret")
bellardd785e6b2005-03-01 22:33:42 +0000251#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000252#elif defined(__powerpc__)
bellard96213392003-07-11 15:17:41 +0000253#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)
ths522777b2007-05-08 23:30:44 +0000255#elif defined(__s390__)
bellard96213392003-07-11 15:17:41 +0000256#define EXIT_TB() asm volatile ("br %r14")
bellard90cb9492005-07-24 15:11:38 +0000257#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000258#elif defined(__alpha__)
bellard96213392003-07-11 15:17:41 +0000259#define EXIT_TB() asm volatile ("ret")
ths522777b2007-05-08 23:30:44 +0000260#elif defined(__ia64__)
bellard96213392003-07-11 15:17:41 +0000261#define EXIT_TB() asm volatile ("br.ret.sptk.many b0;;")
bellardb8076a72005-04-07 22:20:31 +0000262#define GOTO_LABEL_PARAM(n) asm volatile ("br.sptk.many " \
263 ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000264#elif defined(__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")
ths522777b2007-05-08 23:30:44 +0000267#elif defined(__arm__)
bellard96213392003-07-11 15:17:41 +0000268#define EXIT_TB() asm volatile ("b exec_loop")
bellardae200d12005-03-13 09:53:38 +0000269#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000270#elif defined(__mc68000)
bellard38e584a2003-08-10 22:14:22 +0000271#define EXIT_TB() asm volatile ("rts")
ths522777b2007-05-08 23:30:44 +0000272#elif defined(__mips__)
thsc4b89d12007-05-05 19:23:11 +0000273#define EXIT_TB() asm volatile ("jr $ra")
274#define GOTO_LABEL_PARAM(n) asm volatile (".set noat; la $1, " ASM_NAME(__op_gen_label) #n "; jr $1; .set at")
ths522777b2007-05-08 23:30:44 +0000275#else
276#error unsupported CPU
thsc4b89d12007-05-05 19:23:11 +0000277#endif
bellard67867302003-11-23 17:05:30 +0000278
279#endif /* !defined(__DYNGEN_EXEC_H__) */