dyngen-exec.h

   1 /*
   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  */
  20 #if !defined(__DYNGEN_EXEC_H__)
  21 #define __DYNGEN_EXEC_H__
  22
  23 /* 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
  30 /* 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. */
  33 #include <stddef.h>
  34
  35 typedef unsigned char uint8_t;
  36 typedef unsigned short uint16_t;
  37 typedef unsigned int uint32_t;
  38 // Linux/Sparc64 defines uint64_t
  39 #if !(defined (__sparc_v9__) && defined(__linux__)) && !(defined(__APPLE__) && defined(__x86_64__))
  40 /* XXX may be done for all 64 bits targets ? */
  41 #if defined (__x86_64__) || defined(__ia64) || defined(__s390x__) || defined(__alpha__) || defined(__powerpc64__)
  42 typedef unsigned long uint64_t;
  43 #else
  44 typedef unsigned long long uint64_t;
  45 #endif
  46 #endif
  47
  48 /* 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__
  52 typedef signed char int8_t;
  53 #endif
  54 typedef signed short int16_t;
  55 typedef signed int int32_t;
  56 // Linux/Sparc64 defines int64_t
  57 #if !(defined (__sparc_v9__) && defined(__linux__)) && !(defined(__APPLE__) && defined(__x86_64__))
  58 #if defined (__x86_64__) || defined(__ia64) || defined(__s390x__) || defined(__alpha__) || defined(__powerpc64__)
  59 typedef signed long int64_t;
  60 #else
  61 typedef signed long long int64_t;
  62 #endif
  63 #endif
  64
  65 /* XXX: This may be wrong for 64-bit ILP32 hosts.  */
  66 typedef void * host_reg_t;
  67
  68 #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
  81 #ifdef _BSD
  82 typedef struct __sFILE FILE;
  83 #else
  84 typedef struct FILE FILE;
  85 #endif
  86 extern int fprintf(FILE *, const char *, ...);
  87 extern int fputs(const char *, FILE *);
  88 extern int printf(const char *, ...);
  89 #undef NULL
  90 #define NULL 0
  91
  92 #if defined(__i386__)
  93 #define AREG0 "ebp"
  94 #define AREG1 "ebx"
  95 #define AREG2 "esi"
  96 #define AREG3 "edi"
  97 #elif defined(__x86_64__)
  98 #define AREG0 "r14"
  99 #define AREG1 "r15"
 100 #define AREG2 "r12"
 101 #define AREG3 "r13"
 102 //#define AREG4 "rbp"
 103 //#define AREG5 "rbx"
 104 #elif defined(__powerpc__)
 105 #define AREG0 "r27"
 106 #define AREG1 "r24"
 107 #define AREG2 "r25"
 108 #define AREG3 "r26"
 109 /* XXX: suppress this hack */
 110 #if defined(CONFIG_USER_ONLY)
 111 #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"
 119 #endif
 120 #elif defined(__arm__)
 121 #define AREG0 "r7"
 122 #define AREG1 "r4"
 123 #define AREG2 "r5"
 124 #define AREG3 "r6"
 125 #elif defined(__hppa__)
 126 #define AREG0 "r17"
 127 #define AREG1 "r14"
 128 #define AREG2 "r15"
 129 #define AREG3 "r16"
 130 #elif defined(__mips__)
 131 #define AREG0 "fp"
 132 #define AREG1 "s0"
 133 #define AREG2 "s1"
 134 #define AREG3 "s2"
 135 #define AREG4 "s3"
 136 #define AREG5 "s4"
 137 #define AREG6 "s5"
 138 #define AREG7 "s6"
 139 #define AREG8 "s7"
 140 #elif defined(__sparc__)
 141 #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
 148 #ifdef __sparc_v9__
 149 #define AREG0 "g1"
 150 #define AREG1 "g4"
 151 #define AREG2 "g5"
 152 #define AREG3 "g7"
 153 #else
 154 #define AREG0 "g6"
 155 #define AREG1 "g1"
 156 #define AREG2 "g2"
 157 #define AREG3 "g3"
 158 #define AREG4 "l0"
 159 #define AREG5 "l1"
 160 #define AREG6 "l2"
 161 #define AREG7 "l3"
 162 #define AREG8 "l4"
 163 #define AREG9 "l5"
 164 #define AREG10 "l6"
 165 #define AREG11 "l7"
 166 #endif
 167 #endif
 168 #elif defined(__s390__)
 169 #define AREG0 "r10"
 170 #define AREG1 "r7"
 171 #define AREG2 "r8"
 172 #define AREG3 "r9"
 173 #elif defined(__alpha__)
 174 /* Note $15 is the frame pointer, so anything in op-i386.c that would
 175    require a frame pointer, like alloca, would probably loose.  */
 176 #define AREG0 "$15"
 177 #define AREG1 "$9"
 178 #define AREG2 "$10"
 179 #define AREG3 "$11"
 180 #define AREG4 "$12"
 181 #define AREG5 "$13"
 182 #define AREG6 "$14"
 183 #elif defined(__mc68000)
 184 #define AREG0 "%a5"
 185 #define AREG1 "%a4"
 186 #define AREG2 "%d7"
 187 #define AREG3 "%d6"
 188 #define AREG4 "%d5"
 189 #elif defined(__ia64__)
 190 #define AREG0 "r7"
 191 #define AREG1 "r4"
 192 #define AREG2 "r5"
 193 #define AREG3 "r6"
 194 #else
 195 #error unsupported CPU
 196 #endif
 197
 198 /* force GCC to generate only one epilog at the end of the function */
 199 #define FORCE_RET() __asm__ __volatile__("" : : : "memory");
 200
 201 #ifndef OPPROTO
 202 #define OPPROTO
 203 #endif
 204
 205 #define xglue(x, y) x ## y
 206 #define glue(x, y) xglue(x, y)
 207 #define stringify(s)    tostring(s)
 208 #define tostring(s)     #s
 209
 210 #if defined(__alpha__) || defined(__s390__)
 211 /* the symbols are considered non exported so a br immediate is generated */
 212 #define __hidden __attribute__((visibility("hidden")))
 213 #else
 214 #define __hidden
 215 #endif
 216
 217 #if defined(__alpha__)
 218 /* Suggested by Richard Henderson. This will result in code like
 219         ldah $0,__op_param1($29)        !gprelhigh
 220         lda $0,__op_param1($0)          !gprellow
 221    We can then conveniently change $29 to $31 and adapt the offsets to
 222    emit the appropriate constant.  */
 223 extern int __op_param1 __hidden;
 224 extern int __op_param2 __hidden;
 225 extern int __op_param3 __hidden;
 226 #define PARAM1 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param1)); _r; })
 227 #define PARAM2 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param2)); _r; })
 228 #define PARAM3 ({ int _r; asm("" : "=r"(_r) : "0" (&__op_param3)); _r; })
 229 #elif defined(__s390__)
 230 extern int __op_param1 __hidden;
 231 extern int __op_param2 __hidden;
 232 extern int __op_param3 __hidden;
 233 #define PARAM1 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param1) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
 234 #define PARAM2 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param2) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
 235 #define PARAM3 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param3) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
 236 #else
 237 #if defined(__APPLE__)
 238 static int __op_param1, __op_param2, __op_param3;
 239 #else
 240 extern int __op_param1, __op_param2, __op_param3;
 241 #endif
 242 #define PARAM1 ((long)(&__op_param1))
 243 #define PARAM2 ((long)(&__op_param2))
 244 #define PARAM3 ((long)(&__op_param3))
 245 #endif /* !defined(__alpha__) */
 246
 247 extern int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
 248
 249 #if defined(_WIN32) || defined(__APPLE__)
 250 #define ASM_NAME(x) "_" #x
 251 #else
 252 #define ASM_NAME(x) #x
 253 #endif
 254
 255 #if defined(__i386__)
 256 #define EXIT_TB() asm volatile ("ret")
 257 #define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
 258 #elif defined(__x86_64__)
 259 #define EXIT_TB() asm volatile ("ret")
 260 #define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
 261 #elif defined(__powerpc__)
 262 #define EXIT_TB() asm volatile ("blr")
 263 #define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
 264 #elif defined(__s390__)
 265 #define EXIT_TB() asm volatile ("br %r14")
 266 #define GOTO_LABEL_PARAM(n) asm volatile ("larl %r7,12; l %r7,0(%r7); br %r7; .long " ASM_NAME(__op_gen_label) #n)
 267 #elif defined(__alpha__)
 268 #define EXIT_TB() asm volatile ("ret")
 269 #elif defined(__ia64__)
 270 #define EXIT_TB() asm volatile ("br.ret.sptk.many b0;;")
 271 #define GOTO_LABEL_PARAM(n) asm volatile ("br.sptk.many " \
 272                                           ASM_NAME(__op_gen_label) #n)
 273 #elif defined(__sparc__)
 274 #define EXIT_TB() asm volatile ("jmpl %i0 + 8, %g0; nop")
 275 #define GOTO_LABEL_PARAM(n) asm volatile ("ba " ASM_NAME(__op_gen_label) #n ";nop")
 276 #elif defined(__arm__)
 277 #define EXIT_TB() asm volatile ("b exec_loop")
 278 #define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
 279 #elif defined(__mc68000)
 280 #define EXIT_TB() asm volatile ("rts")
 281 #elif defined(__mips__)
 282 #define EXIT_TB() asm volatile ("jr $ra")
 283 #define GOTO_LABEL_PARAM(n) asm volatile (".set noat; la $1, " ASM_NAME(__op_gen_label) #n "; jr $1; .set at")
 284 #elif defined(__hppa__)
 285 #define GOTO_LABEL_PARAM(n) asm volatile ("b,n " ASM_NAME(__op_gen_label) #n)
 286 #else
 287 #error unsupported CPU
 288 #endif
 289
 290 /* The return address may point to the start of the next instruction.
 291    Subtracting one gets us the call instruction itself.  */
 292 #if defined(__s390__)
 293 # define GETPC() ((void*)(((unsigned long)__builtin_return_address(0) & 0x7fffffffUL) - 1))
 294 #elif defined(__arm__)
 295 /* Thumb return addresses have the low bit set, so we need to subtract two.
 296    This is still safe in ARM mode because instructions are 4 bytes.  */
 297 # define GETPC() ((void *)((unsigned long)__builtin_return_address(0) - 2))
 298 #else
 299 # define GETPC() ((void *)((unsigned long)__builtin_return_address(0) - 1))
 300 #endif
 301
 302 #endif /* !defined(__DYNGEN_EXEC_H__) */