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__))
  40 /* XXX may be done for all 64 bits targets ? */
  41 #if defined (__x86_64__) || defined(__ia64) || defined(__s390x__) || defined(__alpha__)
  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__))
  58 #if defined (__x86_64__) || defined(__ia64) || defined(__s390x__) || defined(__alpha__)
  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 #define USE_INT_TO_FLOAT_HELPERS
 121 #define BUGGY_GCC_DIV64
 122 #elif defined(__arm__)
 123 #define AREG0 "r7"
 124 #define AREG1 "r4"
 125 #define AREG2 "r5"
 126 #define AREG3 "r6"
 127 #elif defined(__mips__)
 128 #define AREG0 "fp"
 129 #define AREG1 "s0"
 130 #define AREG2 "s1"
 131 #define AREG3 "s2"
 132 #define AREG4 "s3"
 133 #define AREG5 "s4"
 134 #define AREG6 "s5"
 135 #define AREG7 "s6"
 136 #define AREG8 "s7"
 137 #elif defined(__sparc__)
 138 #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
 145 #ifdef __sparc_v9__
 146 #define AREG0 "g1"
 147 #define AREG1 "g4"
 148 #define AREG2 "g5"
 149 #define AREG3 "g7"
 150 #else
 151 #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"
 163 #endif
 164 #endif
 165 #define USE_FP_CONVERT
 166 #elif defined(__s390__)
 167 #define AREG0 "r10"
 168 #define AREG1 "r7"
 169 #define AREG2 "r8"
 170 #define AREG3 "r9"
 171 #elif defined(__alpha__)
 172 /* 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"
 181 #elif defined(__mc68000)
 182 #define AREG0 "%a5"
 183 #define AREG1 "%a4"
 184 #define AREG2 "%d7"
 185 #define AREG3 "%d6"
 186 #define AREG4 "%d5"
 187 #elif defined(__ia64__)
 188 #define AREG0 "r7"
 189 #define AREG1 "r4"
 190 #define AREG2 "r5"
 191 #define AREG3 "r6"
 192 #else
 193 #error unsupported CPU
 194 #endif
 195
 196 /* force GCC to generate only one epilog at the end of the function */
 197 #define FORCE_RET() __asm__ __volatile__("" : : : "memory");
 198
 199 #ifndef OPPROTO
 200 #define OPPROTO
 201 #endif
 202
 203 #define xglue(x, y) x ## y
 204 #define glue(x, y) xglue(x, y)
 205 #define stringify(s)    tostring(s)
 206 #define tostring(s)     #s
 207
 208 #if defined(__alpha__) || defined(__s390__)
 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
 215 #if defined(__alpha__)
 216 /* 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.  */
 221 extern int __op_param1 __hidden;
 222 extern int __op_param2 __hidden;
 223 extern 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 #elif defined(__s390__)
 228 extern int __op_param1 __hidden;
 229 extern int __op_param2 __hidden;
 230 extern int __op_param3 __hidden;
 231 #define PARAM1 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param1) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
 232 #define PARAM2 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param2) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
 233 #define PARAM3 ({ int _r; asm("bras %0,8; .long " ASM_NAME(__op_param3) "; l %0,0(%0)" : "=r"(_r) : ); _r; })
 234 #else
 235 #if defined(__APPLE__)
 236 static int __op_param1, __op_param2, __op_param3;
 237 #else
 238 extern int __op_param1, __op_param2, __op_param3;
 239 #endif
 240 #define PARAM1 ((long)(&__op_param1))
 241 #define PARAM2 ((long)(&__op_param2))
 242 #define PARAM3 ((long)(&__op_param3))
 243 #endif /* !defined(__alpha__) */
 244
 245 extern int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
 246
 247 #if defined(_WIN32) || defined(__APPLE__)
 248 #define ASM_NAME(x) "_" #x
 249 #else
 250 #define ASM_NAME(x) #x
 251 #endif
 252
 253 #if defined(__i386__)
 254 #define EXIT_TB() asm volatile ("ret")
 255 #define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
 256 #elif defined(__x86_64__)
 257 #define EXIT_TB() asm volatile ("ret")
 258 #define GOTO_LABEL_PARAM(n) asm volatile ("jmp " ASM_NAME(__op_gen_label) #n)
 259 #elif defined(__powerpc__)
 260 #define EXIT_TB() asm volatile ("blr")
 261 #define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
 262 #elif defined(__s390__)
 263 #define EXIT_TB() asm volatile ("br %r14")
 264 #define GOTO_LABEL_PARAM(n) asm volatile ("larl %r7,12; l %r7,0(%r7); br %r7; .long " ASM_NAME(__op_gen_label) #n)
 265 #elif defined(__alpha__)
 266 #define EXIT_TB() asm volatile ("ret")
 267 #elif defined(__ia64__)
 268 #define EXIT_TB() asm volatile ("br.ret.sptk.many b0;;")
 269 #define GOTO_LABEL_PARAM(n) asm volatile ("br.sptk.many " \
 270                                           ASM_NAME(__op_gen_label) #n)
 271 #elif defined(__sparc__)
 272 #define EXIT_TB() asm volatile ("jmpl %i0 + 8, %g0; nop")
 273 #define GOTO_LABEL_PARAM(n) asm volatile ("ba " ASM_NAME(__op_gen_label) #n ";nop")
 274 #elif defined(__arm__)
 275 #define EXIT_TB() asm volatile ("b exec_loop")
 276 #define GOTO_LABEL_PARAM(n) asm volatile ("b " ASM_NAME(__op_gen_label) #n)
 277 #elif defined(__mc68000)
 278 #define EXIT_TB() asm volatile ("rts")
 279 #elif defined(__mips__)
 280 #define EXIT_TB() asm volatile ("jr $ra")
 281 #define GOTO_LABEL_PARAM(n) asm volatile (".set noat; la $1, " ASM_NAME(__op_gen_label) #n "; jr $1; .set at")
 282 #else
 283 #error unsupported CPU
 284 #endif
 285
 286 #endif /* !defined(__DYNGEN_EXEC_H__) */