blob: 4caf9ffb57b14b12c8d58b2165d3a2dcb6d9676f [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
ths31a53c62008-06-05 23:06:46 +000039#if !(defined (__sparc_v9__) && defined(__linux__)) && !(defined(__APPLE__) && defined(__x86_64__))
bellard4f2ac232004-04-26 19:44:02 +000040/* XXX may be done for all 64 bits targets ? */
malc810260a2008-07-23 19:17:46 +000041#if defined (__x86_64__) || defined(__ia64) || defined(__s390x__) || defined(__alpha__) || defined(__powerpc64__)
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
ths31a53c62008-06-05 23:06:46 +000057#if !(defined (__sparc_v9__) && defined(__linux__)) && !(defined(__APPLE__) && defined(__x86_64__))
malc810260a2008-07-23 19:17:46 +000058#if defined (__x86_64__) || defined(__ia64) || defined(__s390x__) || defined(__alpha__) || defined(__powerpc64__)
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
ths522777b2007-05-08 23:30:44 +0000120#elif defined(__arm__)
bellard79638562003-06-15 19:46:57 +0000121#define AREG0 "r7"
122#define AREG1 "r4"
123#define AREG2 "r5"
124#define AREG3 "r6"
aurel32f54b3f92008-04-12 20:14:54 +0000125#elif defined(__hppa__)
126#define AREG0 "r17"
127#define AREG1 "r14"
128#define AREG2 "r15"
129#define AREG3 "r16"
ths522777b2007-05-08 23:30:44 +0000130#elif defined(__mips__)
thsc4b89d12007-05-05 19:23:11 +0000131#define AREG0 "fp"
bellard79638562003-06-15 19:46:57 +0000132#define AREG1 "s0"
133#define AREG2 "s1"
134#define AREG3 "s2"
thsc4b89d12007-05-05 19:23:11 +0000135#define AREG4 "s3"
136#define AREG5 "s4"
137#define AREG6 "s5"
138#define AREG7 "s6"
139#define AREG8 "s7"
ths522777b2007-05-08 23:30:44 +0000140#elif defined(__sparc__)
bellardfdbb4692006-06-14 17:32:25 +0000141#ifdef HOST_SOLARIS
142#define AREG0 "g2"
143#define AREG1 "g3"
144#define AREG2 "g4"
145#define AREG3 "g5"
146#define AREG4 "g6"
147#else
bellard74ccb342006-07-18 21:23:34 +0000148#ifdef __sparc_v9__
blueswir1e97b6402008-07-26 17:19:35 +0000149#define AREG0 "g5"
150#define AREG1 "g6"
151#define AREG2 "g7"
bellard74ccb342006-07-18 21:23:34 +0000152#else
bellard79638562003-06-15 19:46:57 +0000153#define AREG0 "g6"
154#define AREG1 "g1"
155#define AREG2 "g2"
156#define AREG3 "g3"
157#define AREG4 "l0"
158#define AREG5 "l1"
159#define AREG6 "l2"
160#define AREG7 "l3"
161#define AREG8 "l4"
162#define AREG9 "l5"
163#define AREG10 "l6"
164#define AREG11 "l7"
bellardfdbb4692006-06-14 17:32:25 +0000165#endif
bellard74ccb342006-07-18 21:23:34 +0000166#endif
ths522777b2007-05-08 23:30:44 +0000167#elif defined(__s390__)
bellard79638562003-06-15 19:46:57 +0000168#define AREG0 "r10"
169#define AREG1 "r7"
170#define AREG2 "r8"
171#define AREG3 "r9"
ths522777b2007-05-08 23:30:44 +0000172#elif defined(__alpha__)
bellard79638562003-06-15 19:46:57 +0000173/* Note $15 is the frame pointer, so anything in op-i386.c that would
174 require a frame pointer, like alloca, would probably loose. */
175#define AREG0 "$15"
176#define AREG1 "$9"
177#define AREG2 "$10"
178#define AREG3 "$11"
179#define AREG4 "$12"
180#define AREG5 "$13"
181#define AREG6 "$14"
ths522777b2007-05-08 23:30:44 +0000182#elif defined(__mc68000)
bellard38e584a2003-08-10 22:14:22 +0000183#define AREG0 "%a5"
184#define AREG1 "%a4"
185#define AREG2 "%d7"
186#define AREG3 "%d6"
187#define AREG4 "%d5"
ths522777b2007-05-08 23:30:44 +0000188#elif defined(__ia64__)
bellardb8076a72005-04-07 22:20:31 +0000189#define AREG0 "r7"
190#define AREG1 "r4"
191#define AREG2 "r5"
192#define AREG3 "r6"
ths522777b2007-05-08 23:30:44 +0000193#else
194#error unsupported CPU
bellard79638562003-06-15 19:46:57 +0000195#endif
196
197/* force GCC to generate only one epilog at the end of the function */
ths70ead432006-12-23 00:49:32 +0000198#define FORCE_RET() __asm__ __volatile__("" : : : "memory");
bellard79638562003-06-15 19:46:57 +0000199
200#ifndef OPPROTO
201#define OPPROTO
202#endif
203
204#define xglue(x, y) x ## y
205#define glue(x, y) xglue(x, y)
bellard96213392003-07-11 15:17:41 +0000206#define stringify(s) tostring(s)
207#define tostring(s) #s
bellard79638562003-06-15 19:46:57 +0000208
ths76d83bd2007-11-18 21:22:10 +0000209#if defined(__alpha__) || defined(__s390__)
bellard79638562003-06-15 19:46:57 +0000210/* the symbols are considered non exported so a br immediate is generated */
211#define __hidden __attribute__((visibility("hidden")))
212#else
ths5fafdf22007-09-16 21:08:06 +0000213#define __hidden
bellard79638562003-06-15 19:46:57 +0000214#endif
215
bellardcab84d92004-07-12 18:51:50 +0000216#if defined(__alpha__)
bellard79638562003-06-15 19:46:57 +0000217/* Suggested by Richard Henderson. This will result in code like
218 ldah $0,__op_param1($29) !gprelhigh
219 lda $0,__op_param1($0) !gprellow
220 We can then conveniently change $29 to $31 and adapt the offsets to
221 emit the appropriate constant. */
222extern int __op_param1 __hidden;
223extern int __op_param2 __hidden;
224extern int __op_param3 __hidden;
225#define PARAM1 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param1)); _r; })
226#define PARAM2 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param2)); _r; })
227#define PARAM3 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param3)); _r; })
ths76d83bd2007-11-18 21:22:10 +0000228#elif defined(__s390__)
229extern int __op_param1 __hidden;
230extern int __op_param2 __hidden;
231extern int __op_param3 __hidden;
232#define PARAM1 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param1) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
233#define PARAM2 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param2) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
234#define PARAM3 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param3) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
bellard79638562003-06-15 19:46:57 +0000235#else
bellardcab84d92004-07-12 18:51:50 +0000236#if defined(__APPLE__)
237static int __op_param1, __op_param2, __op_param3;
238#else
bellard79638562003-06-15 19:46:57 +0000239extern int __op_param1, __op_param2, __op_param3;
bellardcab84d92004-07-12 18:51:50 +0000240#endif
bellard79638562003-06-15 19:46:57 +0000241#define PARAM1 ((long)(&__op_param1))
242#define PARAM2 ((long)(&__op_param2))
243#define PARAM3 ((long)(&__op_param3))
bellardcab84d92004-07-12 18:51:50 +0000244#endif /* !defined(__alpha__) */
bellard79638562003-06-15 19:46:57 +0000245
bellardc1061522003-09-17 22:51:45 +0000246extern int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
bellard96213392003-07-11 15:17:41 +0000247
bellard9191d4d2005-01-26 21:30:57 +0000248#if defined(_WIN32) || defined(__APPLE__)
bellard9df8aa42005-01-09 00:39:12 +0000249#define ASM_NAME(x) "_" #x
250#else
251#define ASM_NAME(x) #x
252#endif
253
ths522777b2007-05-08 23:30:44 +0000254#if defined(__i386__)
bellard96213392003-07-11 15:17:41 +0000255#define EXIT_TB() asm volatile ("ret")
bellard9df8aa42005-01-09 00:39:12 +0000256#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000257#elif defined(__x86_64__)
bellardbc51c5c2004-03-17 23:46:04 +0000258#define EXIT_TB() asm volatile ("ret")
bellardd785e6b2005-03-01 22:33:42 +0000259#define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000260#elif defined(__powerpc__)
bellard96213392003-07-11 15:17:41 +0000261#define EXIT_TB() asm volatile ("blr")
bellard9df8aa42005-01-09 00:39:12 +0000262#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000263#elif defined(__s390__)
bellard96213392003-07-11 15:17:41 +0000264#define EXIT_TB() asm volatile ("br %r14")
ths76d83bd2007-11-18 21:22:10 +0000265#define GOTO_LABEL_PARAM(n) asm volatile ("larl %r7,12; l %r7,0(%r7); br %r7; .long " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000266#elif defined(__alpha__)
bellard96213392003-07-11 15:17:41 +0000267#define EXIT_TB() asm volatile ("ret")
ths522777b2007-05-08 23:30:44 +0000268#elif defined(__ia64__)
bellard96213392003-07-11 15:17:41 +0000269#define EXIT_TB() asm volatile ("br.ret.sptk.many b0;;")
bellardb8076a72005-04-07 22:20:31 +0000270#define GOTO_LABEL_PARAM(n) asm volatile ("br.sptk.many " \
271 ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000272#elif defined(__sparc__)
bellardfdbb4692006-06-14 17:32:25 +0000273#define EXIT_TB() asm volatile ("jmpl %i0 + 8, %g0; nop")
274#define GOTO_LABEL_PARAM(n) asm volatile ("ba " ASM_NAME(__op_gen_label) #n ";nop")
ths522777b2007-05-08 23:30:44 +0000275#elif defined(__arm__)
bellard96213392003-07-11 15:17:41 +0000276#define EXIT_TB() asm volatile ("b exec_loop")
bellardae200d12005-03-13 09:53:38 +0000277#define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000278#elif defined(__mc68000)
bellard38e584a2003-08-10 22:14:22 +0000279#define EXIT_TB() asm volatile ("rts")
ths522777b2007-05-08 23:30:44 +0000280#elif defined(__mips__)
thsc4b89d12007-05-05 19:23:11 +0000281#define EXIT_TB() asm volatile ("jr $ra")
282#define GOTO_LABEL_PARAM(n) asm volatile (".set noat; la $1, " ASM_NAME(__op_gen_label) #n "; jr $1; .set at")
aurel32f54b3f92008-04-12 20:14:54 +0000283#elif defined(__hppa__)
284#define GOTO_LABEL_PARAM(n) asm volatile ("b,n " ASM_NAME(__op_gen_label) #n)
ths522777b2007-05-08 23:30:44 +0000285#else
286#error unsupported CPU
thsc4b89d12007-05-05 19:23:11 +0000287#endif
bellard67867302003-11-23 17:05:30 +0000288
pbrook9b7b85d2008-05-25 00:36:06 +0000289/* The return address may point to the start of the next instruction.
290 Subtracting one gets us the call instruction itself. */
291#if defined(__s390__)
292# define GETPC() ((void*)(((unsigned long)__builtin_return_address(0) & 0x7fffffffUL) - 1))
293#elif defined(__arm__)
294/* Thumb return addresses have the low bit set, so we need to subtract two.
295 This is still safe in ARM mode because instructions are 4 bytes. */
296# define GETPC() ((void *)((unsigned long)__builtin_return_address(0) - 2))
297#else
298# define GETPC() ((void *)((unsigned long)__builtin_return_address(0) - 1))
299#endif
300
bellard67867302003-11-23 17:05:30 +0000301#endif /* !defined(__DYNGEN_EXEC_H__) */