2 * Stack-less Just-In-Time compiler
4 * Copyright 2009-2012 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
6 * Redistribution and use in source and binary forms, with or without modification, are
7 * permitted provided that the following conditions are met:
9 * 1. Redistributions of source code must retain the above copyright notice, this list of
10 * conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright notice, this list
13 * of conditions and the following disclaimer in the documentation and/or other materials
14 * provided with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
19 * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
21 * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
22 * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
24 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 #ifndef _SLJIT_CONFIG_INTERNAL_H_
28 #define _SLJIT_CONFIG_INTERNAL_H_
31 SLJIT defines the following macros depending on the target architecture:
33 Feature detection (boolean) macros:
34 SLJIT_32BIT_ARCHITECTURE : 32 bit architecture
35 SLJIT_64BIT_ARCHITECTURE : 64 bit architecture
36 SLJIT_WORD_SHIFT : the shift required to apply when accessing a sljit_sw/sljit_uw array by index
37 SLJIT_DOUBLE_SHIFT : the shift required to apply when accessing a double array by index
38 SLJIT_LITTLE_ENDIAN : little endian architecture
39 SLJIT_BIG_ENDIAN : big endian architecture
40 SLJIT_UNALIGNED : allows unaligned memory accesses for non-fpu operations (only!)
41 SLJIT_INDIRECT_CALL : see SLJIT_FUNC_OFFSET() for more information
42 SLJIT_RETURN_ADDRESS_OFFSET : a return instruction always adds this offset to the return address
44 Types and useful macros:
45 sljit_sb, sljit_ub : signed and unsigned 8 bit byte
46 sljit_sh, sljit_uh : signed and unsigned 16 bit half-word (short) type
47 sljit_si, sljit_ui : signed and unsigned 32 bit integer type
48 sljit_sw, sljit_uw : signed and unsigned machine word, enough to store a pointer
49 sljit_p : unsgined pointer value (usually the same as sljit_uw, but
50 some 64 bit ABIs may use 32 bit pointers)
51 sljit_s : single precision floating point value
52 sljit_d : double precision floating point value
53 SLJIT_CALL : C calling convention define for both calling JIT form C and C callbacks for JIT
54 SLJIT_W(number) : defining 64 bit constants on 64 bit architectures (compiler independent helper)
57 #if !((defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) \
58 || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
59 || (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5) \
60 || (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7) \
61 || (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2) \
62 || (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
63 || (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
64 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) \
65 || (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32) \
66 || (defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64) \
67 || (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32) \
68 || (defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX) \
69 || (defined SLJIT_CONFIG_AUTO && SLJIT_CONFIG_AUTO) \
70 || (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED))
71 #error "An architecture must be selected"
75 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) \
76 + (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
77 + (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5) \
78 + (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7) \
79 + (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2) \
80 + (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
81 + (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
82 + (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) \
83 + (defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX) \
84 + (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32) \
85 + (defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64) \
86 + (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32) \
87 + (defined SLJIT_CONFIG_AUTO && SLJIT_CONFIG_AUTO) \
88 + (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED) >= 2
89 #error "Multiple architectures are selected"
92 /* Auto select option (requires compiler support) */
93 #if (defined SLJIT_CONFIG_AUTO && SLJIT_CONFIG_AUTO)
97 #if defined(__i386__) || defined(__i386)
98 #define SLJIT_CONFIG_X86_32 1
99 #elif defined(__x86_64__)
100 #define SLJIT_CONFIG_X86_64 1
101 #elif defined(__arm__) || defined(__ARM__)
103 #define SLJIT_CONFIG_ARM_THUMB2 1
104 #elif defined(__ARM_ARCH_7__) || defined(__ARM_ARCH_7A__) || defined(__ARM_ARCH_7R__)
105 #define SLJIT_CONFIG_ARM_V7 1
107 #define SLJIT_CONFIG_ARM_V5 1
109 #elif defined (__aarch64__)
110 #define SLJIT_CONFIG_ARM_64 1
111 #elif defined(__ppc64__) || defined(__powerpc64__) || defined(_ARCH_PPC64) || (defined(_POWER) && defined(__64BIT__))
113 # define SLJIT_CONFIG_PPC_64 1
115 # define SLJIT_CONFIG_UNSUPPORTED 1
117 #elif defined(__ppc__) || defined(__powerpc__) || defined(_ARCH_PPC) || defined(_ARCH_PWR) || defined(_ARCH_PWR2) || defined(_POWER)
118 #define SLJIT_CONFIG_PPC_32 1
119 #elif defined(__mips__) && !defined(_LP64)
120 #define SLJIT_CONFIG_MIPS_32 1
121 #elif defined(__mips64)
122 #define SLJIT_CONFIG_MIPS_64 1
123 #elif defined(__sparc__) || defined(__sparc)
124 #define SLJIT_CONFIG_SPARC_32 1
125 #elif defined(__tilegx__)
126 #define SLJIT_CONFIG_TILEGX 1
128 /* Unsupported architecture */
129 #define SLJIT_CONFIG_UNSUPPORTED 1
134 #if defined(_M_X64) || defined(__x86_64__)
135 #define SLJIT_CONFIG_X86_64 1
137 #define SLJIT_CONFIG_ARM_V5 1
139 #define SLJIT_CONFIG_X86_32 1
143 #endif /* SLJIT_CONFIG_AUTO */
145 #if (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
146 #undef SLJIT_EXECUTABLE_ALLOCATOR
149 #if !(defined SLJIT_STD_MACROS_DEFINED && SLJIT_STD_MACROS_DEFINED)
151 /* These libraries are needed for the macros below. */
155 #endif /* STD_MACROS_DEFINED */
158 Note: SLJIT is designed to be independent from them as possible.
160 In release mode (SLJIT_DEBUG is not defined) only the following macros are needed:
164 #define SLJIT_MALLOC(size) malloc(size)
168 #define SLJIT_FREE(ptr) free(ptr)
171 #ifndef SLJIT_MEMMOVE
172 #define SLJIT_MEMMOVE(dest, src, len) memmove(dest, src, len)
175 #ifndef SLJIT_ZEROMEM
176 #define SLJIT_ZEROMEM(dest, len) memset(dest, 0, len)
179 #if !defined(SLJIT_LIKELY) && !defined(SLJIT_UNLIKELY)
181 #if defined(__GNUC__) && (__GNUC__ >= 3)
182 #define SLJIT_LIKELY(x) __builtin_expect((x), 1)
183 #define SLJIT_UNLIKELY(x) __builtin_expect((x), 0)
185 #define SLJIT_LIKELY(x) (x)
186 #define SLJIT_UNLIKELY(x) (x)
189 #endif /* !defined(SLJIT_LIKELY) && !defined(SLJIT_UNLIKELY) */
192 /* Inline functions. Some old compilers do not support them. */
193 #if defined(__SUNPRO_C) && __SUNPRO_C <= 0x510
196 #define SLJIT_INLINE __inline
198 #endif /* !SLJIT_INLINE */
201 /* Const variables. */
202 #define SLJIT_CONST const
205 #ifndef SLJIT_UNUSED_ARG
206 /* Unused arguments. */
207 #define SLJIT_UNUSED_ARG(arg) (void)arg
210 #if (defined SLJIT_CONFIG_STATIC && SLJIT_CONFIG_STATIC)
211 /* Static ABI functions. For all-in-one programs. */
213 #if defined(__GNUC__)
214 /* Disable unused warnings in gcc. */
215 #define SLJIT_API_FUNC_ATTRIBUTE static __attribute__((unused))
217 #define SLJIT_API_FUNC_ATTRIBUTE static
221 #define SLJIT_API_FUNC_ATTRIBUTE
222 #endif /* (defined SLJIT_CONFIG_STATIC && SLJIT_CONFIG_STATIC) */
224 #ifndef SLJIT_CACHE_FLUSH
226 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
228 /* Not required to implement on archs with unified caches. */
229 #define SLJIT_CACHE_FLUSH(from, to)
231 #elif defined __APPLE__
233 /* Supported by all macs since Mac OS 10.5.
234 However, it does not work on non-jailbroken iOS devices,
235 although the compilation is successful. */
237 #define SLJIT_CACHE_FLUSH(from, to) \
238 sys_icache_invalidate((char*)(from), (char*)(to) - (char*)(from))
240 #elif defined __ANDROID__
242 /* Android lacks __clear_cache; instead, cacheflush should be used. */
244 #define SLJIT_CACHE_FLUSH(from, to) \
245 cacheflush((long)(from), (long)(to), 0)
247 #elif (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
249 /* The __clear_cache() implementation of GCC is a dummy function on PowerPC. */
250 #define SLJIT_CACHE_FLUSH(from, to) \
251 ppc_cache_flush((from), (to))
253 #elif (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
255 /* The __clear_cache() implementation of GCC is a dummy function on Sparc. */
256 #define SLJIT_CACHE_FLUSH(from, to) \
257 sparc_cache_flush((from), (to))
261 /* Calls __ARM_NR_cacheflush on ARM-Linux. */
262 #define SLJIT_CACHE_FLUSH(from, to) \
263 __clear_cache((char*)(from), (char*)(to))
267 #endif /* !SLJIT_CACHE_FLUSH */
269 /* 8 bit byte type. */
270 typedef unsigned char sljit_ub;
271 typedef signed char sljit_sb;
273 /* 16 bit half-word type. */
274 typedef unsigned short int sljit_uh;
275 typedef signed short int sljit_sh;
277 /* 32 bit integer type. */
278 typedef unsigned int sljit_ui;
279 typedef signed int sljit_si;
281 /* Machine word type. Can encapsulate a pointer.
282 32 bit for 32 bit machines.
283 64 bit for 64 bit machines. */
284 #if (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
285 /* Just to have something. */
286 #define SLJIT_WORD_SHIFT 0
287 typedef unsigned long int sljit_uw;
288 typedef long int sljit_sw;
289 #elif !(defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
290 && !(defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
291 && !(defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) \
292 && !(defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64) \
293 && !(defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX)
294 #define SLJIT_32BIT_ARCHITECTURE 1
295 #define SLJIT_WORD_SHIFT 2
296 typedef unsigned int sljit_uw;
297 typedef int sljit_sw;
299 #define SLJIT_64BIT_ARCHITECTURE 1
300 #define SLJIT_WORD_SHIFT 3
302 typedef unsigned __int64 sljit_uw;
303 typedef __int64 sljit_sw;
305 typedef unsigned long int sljit_uw;
306 typedef long int sljit_sw;
310 typedef sljit_uw sljit_p;
312 /* Floating point types. */
313 typedef float sljit_s;
314 typedef double sljit_d;
316 /* Shift for pointer sized data. */
317 #define SLJIT_POINTER_SHIFT SLJIT_WORD_SHIFT
319 /* Shift for double precision sized data. */
320 #define SLJIT_DOUBLE_SHIFT 3
324 /* Defining long constants. */
325 #if (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
326 #define SLJIT_W(w) (w##ll)
328 #define SLJIT_W(w) (w)
331 #endif /* !SLJIT_W */
335 /* ABI (Application Binary Interface) types. */
336 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
338 #if defined(__GNUC__) && !defined(__APPLE__)
340 #define SLJIT_CALL __attribute__ ((fastcall))
341 #define SLJIT_X86_32_FASTCALL 1
343 #elif defined(_MSC_VER)
345 #define SLJIT_CALL __fastcall
346 #define SLJIT_X86_32_FASTCALL 1
348 #elif defined(__BORLANDC__)
350 #define SLJIT_CALL __msfastcall
351 #define SLJIT_X86_32_FASTCALL 1
353 #else /* Unknown compiler. */
355 /* The cdecl attribute is the default. */
360 #else /* Non x86-32 architectures. */
364 #endif /* SLJIT_CONFIG_X86_32 */
366 #endif /* !SLJIT_CALL */
368 #if !defined(SLJIT_BIG_ENDIAN) && !defined(SLJIT_LITTLE_ENDIAN)
370 /* These macros are useful for the applications. */
371 #if (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
372 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
374 #ifdef __LITTLE_ENDIAN__
375 #define SLJIT_LITTLE_ENDIAN 1
377 #define SLJIT_BIG_ENDIAN 1
380 #elif (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32) \
381 || (defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64)
384 #define SLJIT_LITTLE_ENDIAN 1
386 #define SLJIT_BIG_ENDIAN 1
389 #elif (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
391 #define SLJIT_BIG_ENDIAN 1
394 #define SLJIT_LITTLE_ENDIAN 1
397 #endif /* !defined(SLJIT_BIG_ENDIAN) && !defined(SLJIT_LITTLE_ENDIAN) */
400 #if (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN) && (defined SLJIT_LITTLE_ENDIAN && SLJIT_LITTLE_ENDIAN)
401 #error "Exactly one endianness must be selected"
404 #if !(defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN) && !(defined SLJIT_LITTLE_ENDIAN && SLJIT_LITTLE_ENDIAN)
405 #error "Exactly one endianness must be selected"
408 #ifndef SLJIT_INDIRECT_CALL
409 #if ((defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) && (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN)) \
410 || ((defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) && defined _AIX)
411 /* It seems certain ppc compilers use an indirect addressing for functions
412 which makes things complicated. */
413 #define SLJIT_INDIRECT_CALL 1
415 #endif /* SLJIT_INDIRECT_CALL */
417 #ifndef SLJIT_RETURN_ADDRESS_OFFSET
418 #if (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
419 #define SLJIT_RETURN_ADDRESS_OFFSET 8
421 #define SLJIT_RETURN_ADDRESS_OFFSET 0
423 #endif /* SLJIT_RETURN_ADDRESS_OFFSET */
427 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
428 /* Turn on SSE2 support on x86. */
431 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
432 /* Auto detect SSE2 support using CPUID.
433 On 64 bit x86 cpus, sse2 must be present. */
434 #define SLJIT_DETECT_SSE2 1
437 #endif /* (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) */
439 #endif /* !SLJIT_SSE2 */
441 #ifndef SLJIT_UNALIGNED
443 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) \
444 || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
445 || (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7) \
446 || (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2) \
447 || (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
448 || (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
449 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
450 #define SLJIT_UNALIGNED 1
453 #endif /* !SLJIT_UNALIGNED */
455 #if (defined SLJIT_EXECUTABLE_ALLOCATOR && SLJIT_EXECUTABLE_ALLOCATOR)
456 SLJIT_API_FUNC_ATTRIBUTE void* sljit_malloc_exec(sljit_uw size);
457 SLJIT_API_FUNC_ATTRIBUTE void sljit_free_exec(void* ptr);
458 SLJIT_API_FUNC_ATTRIBUTE void sljit_free_unused_memory_exec(void);
459 #define SLJIT_MALLOC_EXEC(size) sljit_malloc_exec(size)
460 #define SLJIT_FREE_EXEC(ptr) sljit_free_exec(ptr)
463 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
467 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
469 #if !defined(SLJIT_ASSERT) || !defined(SLJIT_ASSERT_STOP)
471 /* SLJIT_HALT_PROCESS must halt the process. */
472 #ifndef SLJIT_HALT_PROCESS
475 #define SLJIT_HALT_PROCESS() \
477 #endif /* !SLJIT_HALT_PROCESS */
481 #endif /* !SLJIT_ASSERT || !SLJIT_ASSERT_STOP */
483 /* Feel free to redefine these two macros. */
486 #define SLJIT_ASSERT(x) \
488 if (SLJIT_UNLIKELY(!(x))) { \
489 printf("Assertion failed at " __FILE__ ":%d\n", __LINE__); \
490 SLJIT_HALT_PROCESS(); \
494 #endif /* !SLJIT_ASSERT */
496 #ifndef SLJIT_ASSERT_STOP
498 #define SLJIT_ASSERT_STOP() \
500 printf("Should never been reached " __FILE__ ":%d\n", __LINE__); \
501 SLJIT_HALT_PROCESS(); \
504 #endif /* !SLJIT_ASSERT_STOP */
506 #else /* (defined SLJIT_DEBUG && SLJIT_DEBUG) */
508 /* Forcing empty, but valid statements. */
510 #undef SLJIT_ASSERT_STOP
512 #define SLJIT_ASSERT(x) \
514 #define SLJIT_ASSERT_STOP() \
517 #endif /* (defined SLJIT_DEBUG && SLJIT_DEBUG) */
519 #ifndef SLJIT_COMPILE_ASSERT
521 /* Should be improved eventually. */
522 #define SLJIT_COMPILE_ASSERT(x, description) \
525 #endif /* !SLJIT_COMPILE_ASSERT */