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__))
112 #define SLJIT_CONFIG_PPC_64 1
113 #elif defined(__ppc__) || defined(__powerpc__) || defined(_ARCH_PPC) || defined(_ARCH_PWR) || defined(_ARCH_PWR2) || defined(_POWER)
114 #define SLJIT_CONFIG_PPC_32 1
115 #elif defined(__mips__) && !defined(_LP64)
116 #define SLJIT_CONFIG_MIPS_32 1
117 #elif defined(__mips64)
118 #define SLJIT_CONFIG_MIPS_64 1
119 #elif defined(__sparc__) || defined(__sparc)
120 #define SLJIT_CONFIG_SPARC_32 1
121 #elif defined(__tilegx__)
122 #define SLJIT_CONFIG_TILEGX 1
124 /* Unsupported architecture */
125 #define SLJIT_CONFIG_UNSUPPORTED 1
130 #if defined(_M_X64) || defined(__x86_64__)
131 #define SLJIT_CONFIG_X86_64 1
133 #define SLJIT_CONFIG_ARM_V5 1
135 #define SLJIT_CONFIG_X86_32 1
139 #endif /* SLJIT_CONFIG_AUTO */
141 #if (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
142 #undef SLJIT_EXECUTABLE_ALLOCATOR
145 #if !(defined SLJIT_STD_MACROS_DEFINED && SLJIT_STD_MACROS_DEFINED)
147 /* These libraries are needed for the macros below. */
151 #endif /* STD_MACROS_DEFINED */
154 Note: SLJIT is designed to be independent from them as possible.
156 In release mode (SLJIT_DEBUG is not defined) only the following macros are needed:
160 #define SLJIT_MALLOC(size) malloc(size)
164 #define SLJIT_FREE(ptr) free(ptr)
167 #ifndef SLJIT_MEMMOVE
168 #define SLJIT_MEMMOVE(dest, src, len) memmove(dest, src, len)
171 #ifndef SLJIT_ZEROMEM
172 #define SLJIT_ZEROMEM(dest, len) memset(dest, 0, len)
175 #if !defined(SLJIT_LIKELY) && !defined(SLJIT_UNLIKELY)
177 #if defined(__GNUC__) && (__GNUC__ >= 3)
178 #define SLJIT_LIKELY(x) __builtin_expect((x), 1)
179 #define SLJIT_UNLIKELY(x) __builtin_expect((x), 0)
181 #define SLJIT_LIKELY(x) (x)
182 #define SLJIT_UNLIKELY(x) (x)
185 #endif /* !defined(SLJIT_LIKELY) && !defined(SLJIT_UNLIKELY) */
188 /* Inline functions. Some old compilers do not support them. */
189 #if defined(__SUNPRO_C) && __SUNPRO_C <= 0x510
192 #define SLJIT_INLINE __inline
194 #endif /* !SLJIT_INLINE */
197 /* Const variables. */
198 #define SLJIT_CONST const
201 #ifndef SLJIT_UNUSED_ARG
202 /* Unused arguments. */
203 #define SLJIT_UNUSED_ARG(arg) (void)arg
206 #if (defined SLJIT_CONFIG_STATIC && SLJIT_CONFIG_STATIC)
207 /* Static ABI functions. For all-in-one programs. */
209 #if defined(__GNUC__)
210 /* Disable unused warnings in gcc. */
211 #define SLJIT_API_FUNC_ATTRIBUTE static __attribute__((unused))
213 #define SLJIT_API_FUNC_ATTRIBUTE static
217 #define SLJIT_API_FUNC_ATTRIBUTE
218 #endif /* (defined SLJIT_CONFIG_STATIC && SLJIT_CONFIG_STATIC) */
220 #ifndef SLJIT_CACHE_FLUSH
222 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
224 /* Not required to implement on archs with unified caches. */
225 #define SLJIT_CACHE_FLUSH(from, to)
227 #elif defined __APPLE__
229 /* Supported by all macs since Mac OS 10.5.
230 However, it does not work on non-jailbroken iOS devices,
231 although the compilation is successful. */
233 #define SLJIT_CACHE_FLUSH(from, to) \
234 sys_icache_invalidate((char*)(from), (char*)(to) - (char*)(from))
236 #elif defined __ANDROID__
238 /* Android lacks __clear_cache; instead, cacheflush should be used. */
240 #define SLJIT_CACHE_FLUSH(from, to) \
241 cacheflush((long)(from), (long)(to), 0)
243 #elif (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
245 /* The __clear_cache() implementation of GCC is a dummy function on PowerPC. */
246 #define SLJIT_CACHE_FLUSH(from, to) \
247 ppc_cache_flush((from), (to))
249 #elif (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
251 /* The __clear_cache() implementation of GCC is a dummy function on Sparc. */
252 #define SLJIT_CACHE_FLUSH(from, to) \
253 sparc_cache_flush((from), (to))
257 /* Calls __ARM_NR_cacheflush on ARM-Linux. */
258 #define SLJIT_CACHE_FLUSH(from, to) \
259 __clear_cache((char*)(from), (char*)(to))
263 #endif /* !SLJIT_CACHE_FLUSH */
265 /* 8 bit byte type. */
266 typedef unsigned char sljit_ub;
267 typedef signed char sljit_sb;
269 /* 16 bit half-word type. */
270 typedef unsigned short int sljit_uh;
271 typedef signed short int sljit_sh;
273 /* 32 bit integer type. */
274 typedef unsigned int sljit_ui;
275 typedef signed int sljit_si;
277 /* Machine word type. Can encapsulate a pointer.
278 32 bit for 32 bit machines.
279 64 bit for 64 bit machines. */
280 #if (defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
281 /* Just to have something. */
282 #define SLJIT_WORD_SHIFT 0
283 typedef unsigned long int sljit_uw;
284 typedef long int sljit_sw;
285 #elif !(defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
286 && !(defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
287 && !(defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) \
288 && !(defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64) \
289 && !(defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX)
290 #define SLJIT_32BIT_ARCHITECTURE 1
291 #define SLJIT_WORD_SHIFT 2
292 typedef unsigned int sljit_uw;
293 typedef int sljit_sw;
295 #define SLJIT_64BIT_ARCHITECTURE 1
296 #define SLJIT_WORD_SHIFT 3
298 typedef unsigned __int64 sljit_uw;
299 typedef __int64 sljit_sw;
301 typedef unsigned long int sljit_uw;
302 typedef long int sljit_sw;
306 typedef sljit_uw sljit_p;
308 /* Floating point types. */
309 typedef float sljit_s;
310 typedef double sljit_d;
312 /* Shift for pointer sized data. */
313 #define SLJIT_POINTER_SHIFT SLJIT_WORD_SHIFT
315 /* Shift for double precision sized data. */
316 #define SLJIT_DOUBLE_SHIFT 3
320 /* Defining long constants. */
321 #if (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
322 #define SLJIT_W(w) (w##ll)
324 #define SLJIT_W(w) (w)
327 #endif /* !SLJIT_W */
331 /* ABI (Application Binary Interface) types. */
332 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
334 #if defined(__GNUC__) && !defined(__APPLE__)
336 #define SLJIT_CALL __attribute__ ((fastcall))
337 #define SLJIT_X86_32_FASTCALL 1
339 #elif defined(_MSC_VER)
341 #define SLJIT_CALL __fastcall
342 #define SLJIT_X86_32_FASTCALL 1
344 #elif defined(__BORLANDC__)
346 #define SLJIT_CALL __msfastcall
347 #define SLJIT_X86_32_FASTCALL 1
349 #else /* Unknown compiler. */
351 /* The cdecl attribute is the default. */
356 #else /* Non x86-32 architectures. */
360 #endif /* SLJIT_CONFIG_X86_32 */
362 #endif /* !SLJIT_CALL */
364 #if !defined(SLJIT_BIG_ENDIAN) && !defined(SLJIT_LITTLE_ENDIAN)
366 /* These macros are useful for the applications. */
367 #if (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
368 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
370 #ifdef __LITTLE_ENDIAN__
371 #define SLJIT_LITTLE_ENDIAN 1
373 #define SLJIT_BIG_ENDIAN 1
376 #elif (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32) \
377 || (defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64)
380 #define SLJIT_LITTLE_ENDIAN 1
382 #define SLJIT_BIG_ENDIAN 1
385 #elif (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
387 #define SLJIT_BIG_ENDIAN 1
390 #define SLJIT_LITTLE_ENDIAN 1
393 #endif /* !defined(SLJIT_BIG_ENDIAN) && !defined(SLJIT_LITTLE_ENDIAN) */
396 #if (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN) && (defined SLJIT_LITTLE_ENDIAN && SLJIT_LITTLE_ENDIAN)
397 #error "Exactly one endianness must be selected"
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 #ifndef SLJIT_INDIRECT_CALL
405 #if ((defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64) && (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN)) \
406 || ((defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) && defined _AIX)
407 /* It seems certain ppc compilers use an indirect addressing for functions
408 which makes things complicated. */
409 #define SLJIT_INDIRECT_CALL 1
411 #endif /* SLJIT_INDIRECT_CALL */
413 #ifndef SLJIT_RETURN_ADDRESS_OFFSET
414 #if (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
415 #define SLJIT_RETURN_ADDRESS_OFFSET 8
417 #define SLJIT_RETURN_ADDRESS_OFFSET 0
419 #endif /* SLJIT_RETURN_ADDRESS_OFFSET */
423 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
424 /* Turn on SSE2 support on x86. */
427 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
428 /* Auto detect SSE2 support using CPUID.
429 On 64 bit x86 cpus, sse2 must be present. */
430 #define SLJIT_DETECT_SSE2 1
433 #endif /* (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) */
435 #endif /* !SLJIT_SSE2 */
437 #ifndef SLJIT_UNALIGNED
439 #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32) \
440 || (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64) \
441 || (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7) \
442 || (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2) \
443 || (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64) \
444 || (defined SLJIT_CONFIG_PPC_32 && SLJIT_CONFIG_PPC_32) \
445 || (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
446 #define SLJIT_UNALIGNED 1
449 #endif /* !SLJIT_UNALIGNED */
451 #if (defined SLJIT_EXECUTABLE_ALLOCATOR && SLJIT_EXECUTABLE_ALLOCATOR)
452 SLJIT_API_FUNC_ATTRIBUTE void* sljit_malloc_exec(sljit_uw size);
453 SLJIT_API_FUNC_ATTRIBUTE void sljit_free_exec(void* ptr);
454 SLJIT_API_FUNC_ATTRIBUTE void sljit_free_unused_memory_exec(void);
455 #define SLJIT_MALLOC_EXEC(size) sljit_malloc_exec(size)
456 #define SLJIT_FREE_EXEC(ptr) sljit_free_exec(ptr)
459 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
463 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
465 #if !defined(SLJIT_ASSERT) || !defined(SLJIT_ASSERT_STOP)
467 /* SLJIT_HALT_PROCESS must halt the process. */
468 #ifndef SLJIT_HALT_PROCESS
471 #define SLJIT_HALT_PROCESS() \
473 #endif /* !SLJIT_HALT_PROCESS */
477 #endif /* !SLJIT_ASSERT || !SLJIT_ASSERT_STOP */
479 /* Feel free to redefine these two macros. */
482 #define SLJIT_ASSERT(x) \
484 if (SLJIT_UNLIKELY(!(x))) { \
485 printf("Assertion failed at " __FILE__ ":%d\n", __LINE__); \
486 SLJIT_HALT_PROCESS(); \
490 #endif /* !SLJIT_ASSERT */
492 #ifndef SLJIT_ASSERT_STOP
494 #define SLJIT_ASSERT_STOP() \
496 printf("Should never been reached " __FILE__ ":%d\n", __LINE__); \
497 SLJIT_HALT_PROCESS(); \
500 #endif /* !SLJIT_ASSERT_STOP */
502 #else /* (defined SLJIT_DEBUG && SLJIT_DEBUG) */
504 /* Forcing empty, but valid statements. */
506 #undef SLJIT_ASSERT_STOP
508 #define SLJIT_ASSERT(x) \
510 #define SLJIT_ASSERT_STOP() \
513 #endif /* (defined SLJIT_DEBUG && SLJIT_DEBUG) */
515 #ifndef SLJIT_COMPILE_ASSERT
517 /* Should be improved eventually. */
518 #define SLJIT_COMPILE_ASSERT(x, description) \
521 #endif /* !SLJIT_COMPILE_ASSERT */