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 # if defined(__ILP32__)
101 # define SLJIT_CONFIG_UNSUPPORTED 1
103 # define SLJIT_CONFIG_X86_64 1
105 #elif defined(__arm__) || defined(__ARM__)
107 #define SLJIT_CONFIG_ARM_THUMB2 1
108 #elif defined(__ARM_ARCH_7__) || defined(__ARM_ARCH_7A__) || defined(__ARM_ARCH_7R__)
109 #define SLJIT_CONFIG_ARM_V7 1
111 #define SLJIT_CONFIG_ARM_V5 1
113 #elif defined (__aarch64__)
114 #define SLJIT_CONFIG_ARM_64 1
115 #elif defined(__ppc64__) || defined(__powerpc64__) || defined(_ARCH_PPC64) || (defined(_POWER) && defined(__64BIT__))
116 #define SLJIT_CONFIG_PPC_64 1
117 #elif defined(__ppc__) || defined(__powerpc__) || defined(_ARCH_PPC) || defined(_ARCH_PWR) || defined(_ARCH_PWR2) || defined(_POWER)
119 # define SLJIT_CONFIG_PPC_32 1
121 # define SLJIT_CONFIG_UNSUPPORTED 1
123 #elif defined(__mips__) && !defined(_LP64)
124 #define SLJIT_CONFIG_MIPS_32 1
125 #elif defined(__mips64)
126 #define SLJIT_CONFIG_MIPS_64 1
127 #elif defined(__sparc__) || defined(__sparc)
128 # if defined(__arch64__)
129 # define SLJIT_CONFIG_UNSUPPORTED 1
131 # define SLJIT_CONFIG_SPARC_32 1
133 #elif defined(__tilegx__)
134 #define SLJIT_CONFIG_TILEGX 1
136 /* Unsupported architecture */
137 #define SLJIT_CONFIG_UNSUPPORTED 1
142 #if defined(_M_X64) || defined(__x86_64__)
143 #define SLJIT_CONFIG_X86_64 1
145 #define SLJIT_CONFIG_ARM_V5 1
147 #define SLJIT_CONFIG_X86_32 1
151 #endif /* SLJIT_CONFIG_AUTO */
153 #if (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
154 #undef SLJIT_EXECUTABLE_ALLOCATOR
157 #if !(defined SLJIT_STD_MACROS_DEFINED && SLJIT_STD_MACROS_DEFINED)
159 /* These libraries are needed for the macros below. */
163 #endif /* STD_MACROS_DEFINED */
166 Note: SLJIT is designed to be independent from them as possible.
168 In release mode (SLJIT_DEBUG is not defined) only the following macros are needed:
172 #define SLJIT_MALLOC(size) malloc(size)
176 #define SLJIT_FREE(ptr) free(ptr)
179 #ifndef SLJIT_MEMMOVE
180 #define SLJIT_MEMMOVE(dest, src, len) memmove(dest, src, len)
183 #ifndef SLJIT_ZEROMEM
184 #define SLJIT_ZEROMEM(dest, len) memset(dest, 0, len)
187 #if !defined(SLJIT_LIKELY) && !defined(SLJIT_UNLIKELY)
189 #if defined(__GNUC__) && (__GNUC__ >= 3)
190 #define SLJIT_LIKELY(x) __builtin_expect((x), 1)
191 #define SLJIT_UNLIKELY(x) __builtin_expect((x), 0)
193 #define SLJIT_LIKELY(x) (x)
194 #define SLJIT_UNLIKELY(x) (x)
197 #endif /* !defined(SLJIT_LIKELY) && !defined(SLJIT_UNLIKELY) */
200 /* Inline functions. Some old compilers do not support them. */
201 #if defined(__SUNPRO_C) && __SUNPRO_C <= 0x510
204 #define SLJIT_INLINE __inline
206 #endif /* !SLJIT_INLINE */
209 /* Const variables. */
210 #define SLJIT_CONST const
213 #ifndef SLJIT_UNUSED_ARG
214 /* Unused arguments. */
215 #define SLJIT_UNUSED_ARG(arg) (void)arg
218 #if (defined SLJIT_CONFIG_STATIC && SLJIT_CONFIG_STATIC)
219 /* Static ABI functions. For all-in-one programs. */
221 #if defined(__GNUC__)
222 /* Disable unused warnings in gcc. */
223 #define SLJIT_API_FUNC_ATTRIBUTE static __attribute__((unused))
225 #define SLJIT_API_FUNC_ATTRIBUTE static
229 #define SLJIT_API_FUNC_ATTRIBUTE
230 #endif /* (defined SLJIT_CONFIG_STATIC && SLJIT_CONFIG_STATIC) */
232 #ifndef SLJIT_CACHE_FLUSH
234 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
236 /* Not required to implement on archs with unified caches. */
237 #define SLJIT_CACHE_FLUSH(from, to)
239 #elif defined __APPLE__
241 /* Supported by all macs since Mac OS 10.5.
242 However, it does not work on non-jailbroken iOS devices,
243 although the compilation is successful. */
245 #define SLJIT_CACHE_FLUSH(from, to) \
246 sys_icache_invalidate((char*)(from), (char*)(to) - (char*)(from))
248 #elif defined __ANDROID__
250 /* Android lacks __clear_cache; instead, cacheflush should be used. */
252 #define SLJIT_CACHE_FLUSH(from, to) \
253 cacheflush((long)(from), (long)(to), 0)
255 #elif (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
257 /* The __clear_cache() implementation of GCC is a dummy function on PowerPC. */
258 #define SLJIT_CACHE_FLUSH(from, to) \
259 ppc_cache_flush((from), (to))
261 #elif (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
263 /* The __clear_cache() implementation of GCC is a dummy function on Sparc. */
264 #define SLJIT_CACHE_FLUSH(from, to) \
265 sparc_cache_flush((from), (to))
269 /* Calls __ARM_NR_cacheflush on ARM-Linux. */
270 #define SLJIT_CACHE_FLUSH(from, to) \
271 __clear_cache((char*)(from), (char*)(to))
275 #endif /* !SLJIT_CACHE_FLUSH */
277 /* 8 bit byte type. */
278 typedef unsigned char sljit_ub;
279 typedef signed char sljit_sb;
281 /* 16 bit half-word type. */
282 typedef unsigned short int sljit_uh;
283 typedef signed short int sljit_sh;
285 /* 32 bit integer type. */
286 typedef unsigned int sljit_ui;
287 typedef signed int sljit_si;
289 /* Machine word type. Can encapsulate a pointer.
290 32 bit for 32 bit machines.
291 64 bit for 64 bit machines. */
292 #if (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
293 /* Just to have something. */
294 #define SLJIT_WORD_SHIFT 0
295 typedef unsigned long int sljit_uw;
296 typedef long int sljit_sw;
297 #elif !(defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
298 && !(defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
299 && !(defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) \
300 && !(defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64) \
301 && !(defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX)
302 #define SLJIT_32BIT_ARCHITECTURE 1
303 #define SLJIT_WORD_SHIFT 2
304 typedef unsigned int sljit_uw;
305 typedef int sljit_sw;
307 #define SLJIT_64BIT_ARCHITECTURE 1
308 #define SLJIT_WORD_SHIFT 3
310 typedef unsigned __int64 sljit_uw;
311 typedef __int64 sljit_sw;
313 typedef unsigned long int sljit_uw;
314 typedef long int sljit_sw;
318 typedef sljit_uw sljit_p;
320 /* Floating point types. */
321 typedef float sljit_s;
322 typedef double sljit_d;
324 /* Shift for pointer sized data. */
325 #define SLJIT_POINTER_SHIFT SLJIT_WORD_SHIFT
327 /* Shift for double precision sized data. */
328 #define SLJIT_DOUBLE_SHIFT 3
332 /* Defining long constants. */
333 #if (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
334 #define SLJIT_W(w) (w##ll)
336 #define SLJIT_W(w) (w)
339 #endif /* !SLJIT_W */
343 /* ABI (Application Binary Interface) types. */
344 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
346 #if defined(__GNUC__) && !defined(__APPLE__)
348 #define SLJIT_CALL __attribute__ ((fastcall))
349 #define SLJIT_X86_32_FASTCALL 1
351 #elif defined(_MSC_VER)
353 #define SLJIT_CALL __fastcall
354 #define SLJIT_X86_32_FASTCALL 1
356 #elif defined(__BORLANDC__)
358 #define SLJIT_CALL __msfastcall
359 #define SLJIT_X86_32_FASTCALL 1
361 #else /* Unknown compiler. */
363 /* The cdecl attribute is the default. */
368 #else /* Non x86-32 architectures. */
372 #endif /* SLJIT_CONFIG_X86_32 */
374 #endif /* !SLJIT_CALL */
376 #if !defined(SLJIT_BIG_ENDIAN) && !defined(SLJIT_LITTLE_ENDIAN)
378 /* These macros are useful for the applications. */
379 #if (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
380 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
382 #ifdef __LITTLE_ENDIAN__
383 #define SLJIT_LITTLE_ENDIAN 1
385 #define SLJIT_BIG_ENDIAN 1
388 #elif (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32) \
389 || (defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64)
392 #define SLJIT_LITTLE_ENDIAN 1
394 #define SLJIT_BIG_ENDIAN 1
397 #elif (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
399 #define SLJIT_BIG_ENDIAN 1
402 #define SLJIT_LITTLE_ENDIAN 1
405 #endif /* !defined(SLJIT_BIG_ENDIAN) && !defined(SLJIT_LITTLE_ENDIAN) */
408 #if (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN) && (defined SLJIT_LITTLE_ENDIAN && SLJIT_LITTLE_ENDIAN)
409 #error "Exactly one endianness must be selected"
412 #if !(defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN) && !(defined SLJIT_LITTLE_ENDIAN && SLJIT_LITTLE_ENDIAN)
413 #error "Exactly one endianness must be selected"
416 #ifndef SLJIT_INDIRECT_CALL
417 #if ((defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) && (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN)) \
418 || ((defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) && defined _AIX)
419 /* It seems certain ppc compilers use an indirect addressing for functions
420 which makes things complicated. */
421 #define SLJIT_INDIRECT_CALL 1
423 #endif /* SLJIT_INDIRECT_CALL */
425 #ifndef SLJIT_RETURN_ADDRESS_OFFSET
426 #if (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
427 #define SLJIT_RETURN_ADDRESS_OFFSET 8
429 #define SLJIT_RETURN_ADDRESS_OFFSET 0
431 #endif /* SLJIT_RETURN_ADDRESS_OFFSET */
435 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
436 /* Turn on SSE2 support on x86. */
439 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
440 /* Auto detect SSE2 support using CPUID.
441 On 64 bit x86 cpus, sse2 must be present. */
442 #define SLJIT_DETECT_SSE2 1
445 #endif /* (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) */
447 #endif /* !SLJIT_SSE2 */
449 #ifndef SLJIT_UNALIGNED
451 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) \
452 || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
453 || (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7) \
454 || (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2) \
455 || (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
456 || (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
457 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
458 #define SLJIT_UNALIGNED 1
461 #endif /* !SLJIT_UNALIGNED */
463 #if (defined SLJIT_EXECUTABLE_ALLOCATOR && SLJIT_EXECUTABLE_ALLOCATOR)
464 SLJIT_API_FUNC_ATTRIBUTE void* sljit_malloc_exec(sljit_uw size);
465 SLJIT_API_FUNC_ATTRIBUTE void sljit_free_exec(void* ptr);
466 SLJIT_API_FUNC_ATTRIBUTE void sljit_free_unused_memory_exec(void);
467 #define SLJIT_MALLOC_EXEC(size) sljit_malloc_exec(size)
468 #define SLJIT_FREE_EXEC(ptr) sljit_free_exec(ptr)
471 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
475 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
477 #if !defined(SLJIT_ASSERT) || !defined(SLJIT_ASSERT_STOP)
479 /* SLJIT_HALT_PROCESS must halt the process. */
480 #ifndef SLJIT_HALT_PROCESS
483 #define SLJIT_HALT_PROCESS() \
485 #endif /* !SLJIT_HALT_PROCESS */
489 #endif /* !SLJIT_ASSERT || !SLJIT_ASSERT_STOP */
491 /* Feel free to redefine these two macros. */
494 #define SLJIT_ASSERT(x) \
496 if (SLJIT_UNLIKELY(!(x))) { \
497 printf("Assertion failed at " __FILE__ ":%d\n", __LINE__); \
498 SLJIT_HALT_PROCESS(); \
502 #endif /* !SLJIT_ASSERT */
504 #ifndef SLJIT_ASSERT_STOP
506 #define SLJIT_ASSERT_STOP() \
508 printf("Should never been reached " __FILE__ ":%d\n", __LINE__); \
509 SLJIT_HALT_PROCESS(); \
512 #endif /* !SLJIT_ASSERT_STOP */
514 #else /* (defined SLJIT_DEBUG && SLJIT_DEBUG) */
516 /* Forcing empty, but valid statements. */
518 #undef SLJIT_ASSERT_STOP
520 #define SLJIT_ASSERT(x) \
522 #define SLJIT_ASSERT_STOP() \
525 #endif /* (defined SLJIT_DEBUG && SLJIT_DEBUG) */
527 #ifndef SLJIT_COMPILE_ASSERT
529 /* Should be improved eventually. */
530 #define SLJIT_COMPILE_ASSERT(x, description) \
533 #endif /* !SLJIT_COMPILE_ASSERT */