sljitLir.c revision 1.1.1.6 1 1.1 alnsn /*
2 1.1 alnsn * Stack-less Just-In-Time compiler
3 1.1 alnsn *
4 1.1.1.6 alnsn * Copyright Zoltan Herczeg (hzmester (at) freemail.hu). All rights reserved.
5 1.1 alnsn *
6 1.1 alnsn * Redistribution and use in source and binary forms, with or without modification, are
7 1.1 alnsn * permitted provided that the following conditions are met:
8 1.1 alnsn *
9 1.1 alnsn * 1. Redistributions of source code must retain the above copyright notice, this list of
10 1.1 alnsn * conditions and the following disclaimer.
11 1.1 alnsn *
12 1.1 alnsn * 2. Redistributions in binary form must reproduce the above copyright notice, this list
13 1.1 alnsn * of conditions and the following disclaimer in the documentation and/or other materials
14 1.1 alnsn * provided with the distribution.
15 1.1 alnsn *
16 1.1 alnsn * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
17 1.1 alnsn * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 1.1 alnsn * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
19 1.1 alnsn * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20 1.1 alnsn * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
21 1.1 alnsn * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
22 1.1 alnsn * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 1.1 alnsn * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
24 1.1 alnsn * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25 1.1 alnsn */
26 1.1 alnsn
27 1.1 alnsn #include "sljitLir.h"
28 1.1 alnsn
29 1.1.1.6 alnsn #if !(defined SLJIT_STD_MACROS_DEFINED && SLJIT_STD_MACROS_DEFINED)
30 1.1.1.6 alnsn
31 1.1.1.6 alnsn /* These libraries are needed for the macros below. */
32 1.1.1.6 alnsn #include <stdlib.h>
33 1.1.1.6 alnsn #include <string.h>
34 1.1.1.6 alnsn
35 1.1.1.6 alnsn #endif /* SLJIT_STD_MACROS_DEFINED */
36 1.1.1.6 alnsn
37 1.1 alnsn #define CHECK_ERROR() \
38 1.1 alnsn do { \
39 1.1 alnsn if (SLJIT_UNLIKELY(compiler->error)) \
40 1.1 alnsn return compiler->error; \
41 1.1 alnsn } while (0)
42 1.1 alnsn
43 1.1 alnsn #define CHECK_ERROR_PTR() \
44 1.1 alnsn do { \
45 1.1 alnsn if (SLJIT_UNLIKELY(compiler->error)) \
46 1.1 alnsn return NULL; \
47 1.1 alnsn } while (0)
48 1.1 alnsn
49 1.1 alnsn #define FAIL_IF(expr) \
50 1.1 alnsn do { \
51 1.1 alnsn if (SLJIT_UNLIKELY(expr)) \
52 1.1 alnsn return compiler->error; \
53 1.1 alnsn } while (0)
54 1.1 alnsn
55 1.1 alnsn #define PTR_FAIL_IF(expr) \
56 1.1 alnsn do { \
57 1.1 alnsn if (SLJIT_UNLIKELY(expr)) \
58 1.1 alnsn return NULL; \
59 1.1 alnsn } while (0)
60 1.1 alnsn
61 1.1 alnsn #define FAIL_IF_NULL(ptr) \
62 1.1 alnsn do { \
63 1.1 alnsn if (SLJIT_UNLIKELY(!(ptr))) { \
64 1.1 alnsn compiler->error = SLJIT_ERR_ALLOC_FAILED; \
65 1.1 alnsn return SLJIT_ERR_ALLOC_FAILED; \
66 1.1 alnsn } \
67 1.1 alnsn } while (0)
68 1.1 alnsn
69 1.1 alnsn #define PTR_FAIL_IF_NULL(ptr) \
70 1.1 alnsn do { \
71 1.1 alnsn if (SLJIT_UNLIKELY(!(ptr))) { \
72 1.1 alnsn compiler->error = SLJIT_ERR_ALLOC_FAILED; \
73 1.1 alnsn return NULL; \
74 1.1 alnsn } \
75 1.1 alnsn } while (0)
76 1.1 alnsn
77 1.1 alnsn #define PTR_FAIL_WITH_EXEC_IF(ptr) \
78 1.1 alnsn do { \
79 1.1 alnsn if (SLJIT_UNLIKELY(!(ptr))) { \
80 1.1 alnsn compiler->error = SLJIT_ERR_EX_ALLOC_FAILED; \
81 1.1 alnsn return NULL; \
82 1.1 alnsn } \
83 1.1 alnsn } while (0)
84 1.1 alnsn
85 1.1 alnsn #if !(defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
86 1.1 alnsn
87 1.1.1.6 alnsn #define VARIABLE_FLAG_SHIFT (10)
88 1.1.1.6 alnsn #define VARIABLE_FLAG_MASK (0x3f << VARIABLE_FLAG_SHIFT)
89 1.1.1.6 alnsn #define GET_FLAG_TYPE(op) ((op) >> VARIABLE_FLAG_SHIFT)
90 1.1.1.6 alnsn
91 1.1 alnsn #define GET_OPCODE(op) \
92 1.1.1.6 alnsn ((op) & ~(SLJIT_I32_OP | SLJIT_SET_Z | VARIABLE_FLAG_MASK))
93 1.1 alnsn
94 1.1.1.6 alnsn #define HAS_FLAGS(op) \
95 1.1.1.6 alnsn ((op) & (SLJIT_SET_Z | VARIABLE_FLAG_MASK))
96 1.1 alnsn
97 1.1 alnsn #define GET_ALL_FLAGS(op) \
98 1.1.1.6 alnsn ((op) & (SLJIT_I32_OP | SLJIT_SET_Z | VARIABLE_FLAG_MASK))
99 1.1.1.4 alnsn
100 1.1.1.4 alnsn #define TYPE_CAST_NEEDED(op) \
101 1.1.1.5 alnsn (((op) >= SLJIT_MOV_U8 && (op) <= SLJIT_MOV_S16) || ((op) >= SLJIT_MOVU_U8 && (op) <= SLJIT_MOVU_S16))
102 1.1 alnsn
103 1.1 alnsn #define BUF_SIZE 4096
104 1.1 alnsn
105 1.1 alnsn #if (defined SLJIT_32BIT_ARCHITECTURE && SLJIT_32BIT_ARCHITECTURE)
106 1.1 alnsn #define ABUF_SIZE 2048
107 1.1 alnsn #else
108 1.1 alnsn #define ABUF_SIZE 4096
109 1.1 alnsn #endif
110 1.1 alnsn
111 1.1.1.4 alnsn /* Parameter parsing. */
112 1.1.1.4 alnsn #define REG_MASK 0x3f
113 1.1.1.4 alnsn #define OFFS_REG(reg) (((reg) >> 8) & REG_MASK)
114 1.1.1.4 alnsn #define OFFS_REG_MASK (REG_MASK << 8)
115 1.1.1.4 alnsn #define TO_OFFS_REG(reg) ((reg) << 8)
116 1.1.1.4 alnsn /* When reg cannot be unused. */
117 1.1.1.4 alnsn #define FAST_IS_REG(reg) ((reg) <= REG_MASK)
118 1.1.1.4 alnsn /* When reg can be unused. */
119 1.1.1.4 alnsn #define SLOW_IS_REG(reg) ((reg) > 0 && (reg) <= REG_MASK)
120 1.1.1.4 alnsn
121 1.1 alnsn /* Jump flags. */
122 1.1 alnsn #define JUMP_LABEL 0x1
123 1.1 alnsn #define JUMP_ADDR 0x2
124 1.1 alnsn /* SLJIT_REWRITABLE_JUMP is 0x1000. */
125 1.1 alnsn
126 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_X86 && SLJIT_CONFIG_X86)
127 1.1.1.4 alnsn # define PATCH_MB 0x4
128 1.1.1.4 alnsn # define PATCH_MW 0x8
129 1.1 alnsn #if (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
130 1.1.1.4 alnsn # define PATCH_MD 0x10
131 1.1 alnsn #endif
132 1.1 alnsn #endif
133 1.1 alnsn
134 1.1 alnsn #if (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5) || (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)
135 1.1.1.4 alnsn # define IS_BL 0x4
136 1.1.1.4 alnsn # define PATCH_B 0x8
137 1.1 alnsn #endif
138 1.1 alnsn
139 1.1 alnsn #if (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5)
140 1.1.1.4 alnsn # define CPOOL_SIZE 512
141 1.1 alnsn #endif
142 1.1 alnsn
143 1.1 alnsn #if (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2)
144 1.1.1.4 alnsn # define IS_COND 0x04
145 1.1.1.4 alnsn # define IS_BL 0x08
146 1.1 alnsn /* conditional + imm8 */
147 1.1.1.4 alnsn # define PATCH_TYPE1 0x10
148 1.1 alnsn /* conditional + imm20 */
149 1.1.1.4 alnsn # define PATCH_TYPE2 0x20
150 1.1 alnsn /* IT + imm24 */
151 1.1.1.4 alnsn # define PATCH_TYPE3 0x30
152 1.1 alnsn /* imm11 */
153 1.1.1.4 alnsn # define PATCH_TYPE4 0x40
154 1.1 alnsn /* imm24 */
155 1.1.1.4 alnsn # define PATCH_TYPE5 0x50
156 1.1 alnsn /* BL + imm24 */
157 1.1.1.4 alnsn # define PATCH_BL 0x60
158 1.1 alnsn /* 0xf00 cc code for branches */
159 1.1 alnsn #endif
160 1.1 alnsn
161 1.1.1.4 alnsn #if (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64)
162 1.1.1.4 alnsn # define IS_COND 0x004
163 1.1.1.4 alnsn # define IS_CBZ 0x008
164 1.1.1.4 alnsn # define IS_BL 0x010
165 1.1.1.4 alnsn # define PATCH_B 0x020
166 1.1.1.4 alnsn # define PATCH_COND 0x040
167 1.1.1.4 alnsn # define PATCH_ABS48 0x080
168 1.1.1.4 alnsn # define PATCH_ABS64 0x100
169 1.1.1.4 alnsn #endif
170 1.1.1.4 alnsn
171 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_PPC && SLJIT_CONFIG_PPC)
172 1.1.1.4 alnsn # define IS_COND 0x004
173 1.1.1.4 alnsn # define IS_CALL 0x008
174 1.1.1.4 alnsn # define PATCH_B 0x010
175 1.1.1.4 alnsn # define PATCH_ABS_B 0x020
176 1.1.1.4 alnsn #if (defined SLJIT_CONFIG_PPC_64 && SLJIT_CONFIG_PPC_64)
177 1.1.1.4 alnsn # define PATCH_ABS32 0x040
178 1.1.1.4 alnsn # define PATCH_ABS48 0x080
179 1.1.1.4 alnsn #endif
180 1.1.1.4 alnsn # define REMOVE_COND 0x100
181 1.1 alnsn #endif
182 1.1 alnsn
183 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_MIPS && SLJIT_CONFIG_MIPS)
184 1.1.1.4 alnsn # define IS_MOVABLE 0x004
185 1.1.1.4 alnsn # define IS_JAL 0x008
186 1.1.1.4 alnsn # define IS_CALL 0x010
187 1.1.1.4 alnsn # define IS_BIT26_COND 0x020
188 1.1.1.4 alnsn # define IS_BIT16_COND 0x040
189 1.1 alnsn
190 1.1.1.4 alnsn # define IS_COND (IS_BIT26_COND | IS_BIT16_COND)
191 1.1 alnsn
192 1.1.1.4 alnsn # define PATCH_B 0x080
193 1.1.1.4 alnsn # define PATCH_J 0x100
194 1.1.1.4 alnsn
195 1.1.1.4 alnsn #if (defined SLJIT_CONFIG_MIPS_64 && SLJIT_CONFIG_MIPS_64)
196 1.1.1.4 alnsn # define PATCH_ABS32 0x200
197 1.1.1.4 alnsn # define PATCH_ABS48 0x400
198 1.1.1.4 alnsn #endif
199 1.1 alnsn
200 1.1 alnsn /* instruction types */
201 1.1.1.4 alnsn # define MOVABLE_INS 0
202 1.1 alnsn /* 1 - 31 last destination register */
203 1.1 alnsn /* no destination (i.e: store) */
204 1.1.1.4 alnsn # define UNMOVABLE_INS 32
205 1.1.1.3 alnsn /* FPU status register */
206 1.1.1.4 alnsn # define FCSR_FCC 33
207 1.1.1.4 alnsn #endif
208 1.1.1.4 alnsn
209 1.1.1.4 alnsn #if (defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX)
210 1.1.1.4 alnsn # define IS_JAL 0x04
211 1.1.1.4 alnsn # define IS_COND 0x08
212 1.1.1.4 alnsn
213 1.1.1.4 alnsn # define PATCH_B 0x10
214 1.1.1.4 alnsn # define PATCH_J 0x20
215 1.1.1.3 alnsn #endif
216 1.1.1.3 alnsn
217 1.1.1.3 alnsn #if (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
218 1.1.1.4 alnsn # define IS_MOVABLE 0x04
219 1.1.1.4 alnsn # define IS_COND 0x08
220 1.1.1.4 alnsn # define IS_CALL 0x10
221 1.1.1.3 alnsn
222 1.1.1.4 alnsn # define PATCH_B 0x20
223 1.1.1.4 alnsn # define PATCH_CALL 0x40
224 1.1.1.3 alnsn
225 1.1.1.3 alnsn /* instruction types */
226 1.1.1.4 alnsn # define MOVABLE_INS 0
227 1.1.1.3 alnsn /* 1 - 31 last destination register */
228 1.1.1.3 alnsn /* no destination (i.e: store) */
229 1.1.1.4 alnsn # define UNMOVABLE_INS 32
230 1.1.1.3 alnsn
231 1.1.1.4 alnsn # define DST_INS_MASK 0xff
232 1.1.1.3 alnsn
233 1.1.1.3 alnsn /* ICC_SET is the same as SET_FLAGS. */
234 1.1.1.4 alnsn # define ICC_IS_SET (1 << 23)
235 1.1.1.4 alnsn # define FCC_IS_SET (1 << 24)
236 1.1 alnsn #endif
237 1.1 alnsn
238 1.1.1.5 alnsn /* Stack management. */
239 1.1 alnsn
240 1.1.1.5 alnsn #define GET_SAVED_REGISTERS_SIZE(scratches, saveds, extra) \
241 1.1.1.5 alnsn (((scratches < SLJIT_NUMBER_OF_SCRATCH_REGISTERS ? 0 : (scratches - SLJIT_NUMBER_OF_SCRATCH_REGISTERS)) + \
242 1.1.1.5 alnsn (saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? saveds : SLJIT_NUMBER_OF_SAVED_REGISTERS) + \
243 1.1.1.5 alnsn extra) * sizeof(sljit_sw))
244 1.1.1.4 alnsn
245 1.1.1.5 alnsn #define ADJUST_LOCAL_OFFSET(p, i) \
246 1.1.1.5 alnsn if ((p) == (SLJIT_MEM1(SLJIT_SP))) \
247 1.1.1.5 alnsn (i) += SLJIT_LOCALS_OFFSET;
248 1.1 alnsn
249 1.1.1.5 alnsn #endif /* !(defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED) */
250 1.1 alnsn
251 1.1.1.5 alnsn /* Utils can still be used even if SLJIT_CONFIG_UNSUPPORTED is set. */
252 1.1.1.5 alnsn #include "sljitUtils.c"
253 1.1 alnsn
254 1.1.1.5 alnsn #if !(defined SLJIT_CONFIG_UNSUPPORTED && SLJIT_CONFIG_UNSUPPORTED)
255 1.1.1.4 alnsn
256 1.1.1.5 alnsn #if (defined SLJIT_EXECUTABLE_ALLOCATOR && SLJIT_EXECUTABLE_ALLOCATOR)
257 1.1.1.6 alnsn
258 1.1.1.6 alnsn #if (defined SLJIT_PROT_EXECUTABLE_ALLOCATOR && SLJIT_PROT_EXECUTABLE_ALLOCATOR)
259 1.1.1.6 alnsn #include "sljitProtExecAllocator.c"
260 1.1.1.6 alnsn #else
261 1.1.1.5 alnsn #include "sljitExecAllocator.c"
262 1.1.1.3 alnsn #endif
263 1.1.1.3 alnsn
264 1.1.1.6 alnsn #endif
265 1.1.1.6 alnsn
266 1.1.1.6 alnsn #if (defined SLJIT_PROT_EXECUTABLE_ALLOCATOR && SLJIT_PROT_EXECUTABLE_ALLOCATOR)
267 1.1.1.6 alnsn #define SLJIT_ADD_EXEC_OFFSET(ptr, exec_offset) ((sljit_u8 *)(ptr) + (exec_offset))
268 1.1.1.6 alnsn #else
269 1.1.1.6 alnsn #define SLJIT_ADD_EXEC_OFFSET(ptr, exec_offset) ((sljit_u8 *)(ptr))
270 1.1.1.6 alnsn #endif
271 1.1.1.6 alnsn
272 1.1.1.5 alnsn /* Argument checking features. */
273 1.1.1.3 alnsn
274 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
275 1.1 alnsn
276 1.1.1.5 alnsn /* Returns with error when an invalid argument is passed. */
277 1.1 alnsn
278 1.1.1.5 alnsn #define CHECK_ARGUMENT(x) \
279 1.1.1.5 alnsn do { \
280 1.1.1.5 alnsn if (SLJIT_UNLIKELY(!(x))) \
281 1.1.1.5 alnsn return 1; \
282 1.1.1.5 alnsn } while (0)
283 1.1 alnsn
284 1.1.1.5 alnsn #define CHECK_RETURN_TYPE sljit_s32
285 1.1.1.5 alnsn #define CHECK_RETURN_OK return 0
286 1.1 alnsn
287 1.1.1.5 alnsn #define CHECK(x) \
288 1.1.1.5 alnsn do { \
289 1.1.1.5 alnsn if (SLJIT_UNLIKELY(x)) { \
290 1.1.1.5 alnsn compiler->error = SLJIT_ERR_BAD_ARGUMENT; \
291 1.1.1.5 alnsn return SLJIT_ERR_BAD_ARGUMENT; \
292 1.1.1.5 alnsn } \
293 1.1.1.5 alnsn } while (0)
294 1.1 alnsn
295 1.1.1.5 alnsn #define CHECK_PTR(x) \
296 1.1.1.5 alnsn do { \
297 1.1.1.5 alnsn if (SLJIT_UNLIKELY(x)) { \
298 1.1.1.5 alnsn compiler->error = SLJIT_ERR_BAD_ARGUMENT; \
299 1.1.1.5 alnsn return NULL; \
300 1.1.1.5 alnsn } \
301 1.1.1.5 alnsn } while (0)
302 1.1 alnsn
303 1.1.1.5 alnsn #define CHECK_REG_INDEX(x) \
304 1.1.1.5 alnsn do { \
305 1.1.1.5 alnsn if (SLJIT_UNLIKELY(x)) { \
306 1.1.1.5 alnsn return -2; \
307 1.1.1.5 alnsn } \
308 1.1.1.5 alnsn } while (0)
309 1.1 alnsn
310 1.1.1.5 alnsn #elif (defined SLJIT_DEBUG && SLJIT_DEBUG)
311 1.1 alnsn
312 1.1.1.5 alnsn /* Assertion failure occures if an invalid argument is passed. */
313 1.1.1.5 alnsn #undef SLJIT_ARGUMENT_CHECKS
314 1.1.1.5 alnsn #define SLJIT_ARGUMENT_CHECKS 1
315 1.1.1.5 alnsn
316 1.1.1.5 alnsn #define CHECK_ARGUMENT(x) SLJIT_ASSERT(x)
317 1.1.1.5 alnsn #define CHECK_RETURN_TYPE void
318 1.1.1.5 alnsn #define CHECK_RETURN_OK return
319 1.1.1.5 alnsn #define CHECK(x) x
320 1.1.1.5 alnsn #define CHECK_PTR(x) x
321 1.1.1.5 alnsn #define CHECK_REG_INDEX(x) x
322 1.1.1.5 alnsn
323 1.1.1.5 alnsn #elif (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
324 1.1.1.5 alnsn
325 1.1.1.5 alnsn /* Arguments are not checked. */
326 1.1.1.5 alnsn #define CHECK_RETURN_TYPE void
327 1.1.1.5 alnsn #define CHECK_RETURN_OK return
328 1.1.1.5 alnsn #define CHECK(x) x
329 1.1.1.5 alnsn #define CHECK_PTR(x) x
330 1.1.1.5 alnsn #define CHECK_REG_INDEX(x) x
331 1.1 alnsn
332 1.1.1.5 alnsn #else
333 1.1 alnsn
334 1.1.1.5 alnsn /* Arguments are not checked. */
335 1.1.1.5 alnsn #define CHECK(x)
336 1.1.1.5 alnsn #define CHECK_PTR(x)
337 1.1.1.5 alnsn #define CHECK_REG_INDEX(x)
338 1.1 alnsn
339 1.1.1.5 alnsn #endif /* SLJIT_ARGUMENT_CHECKS */
340 1.1 alnsn
341 1.1 alnsn /* --------------------------------------------------------------------- */
342 1.1 alnsn /* Public functions */
343 1.1 alnsn /* --------------------------------------------------------------------- */
344 1.1 alnsn
345 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5) || (defined SLJIT_CONFIG_X86 && SLJIT_CONFIG_X86)
346 1.1 alnsn #define SLJIT_NEEDS_COMPILER_INIT 1
347 1.1.1.5 alnsn static sljit_s32 compiler_initialized = 0;
348 1.1 alnsn /* A thread safe initialization. */
349 1.1 alnsn static void init_compiler(void);
350 1.1 alnsn #endif
351 1.1 alnsn
352 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_compiler* sljit_create_compiler(void *allocator_data)
353 1.1 alnsn {
354 1.1.1.5 alnsn struct sljit_compiler *compiler = (struct sljit_compiler*)SLJIT_MALLOC(sizeof(struct sljit_compiler), allocator_data);
355 1.1 alnsn if (!compiler)
356 1.1 alnsn return NULL;
357 1.1 alnsn SLJIT_ZEROMEM(compiler, sizeof(struct sljit_compiler));
358 1.1 alnsn
359 1.1 alnsn SLJIT_COMPILE_ASSERT(
360 1.1.1.5 alnsn sizeof(sljit_s8) == 1 && sizeof(sljit_u8) == 1
361 1.1.1.5 alnsn && sizeof(sljit_s16) == 2 && sizeof(sljit_u16) == 2
362 1.1.1.5 alnsn && sizeof(sljit_s32) == 4 && sizeof(sljit_u32) == 4
363 1.1.1.4 alnsn && (sizeof(sljit_p) == 4 || sizeof(sljit_p) == 8)
364 1.1.1.4 alnsn && sizeof(sljit_p) <= sizeof(sljit_sw)
365 1.1.1.4 alnsn && (sizeof(sljit_sw) == 4 || sizeof(sljit_sw) == 8)
366 1.1.1.4 alnsn && (sizeof(sljit_uw) == 4 || sizeof(sljit_uw) == 8),
367 1.1 alnsn invalid_integer_types);
368 1.1.1.5 alnsn SLJIT_COMPILE_ASSERT(SLJIT_I32_OP == SLJIT_F32_OP,
369 1.1.1.4 alnsn int_op_and_single_op_must_be_the_same);
370 1.1.1.5 alnsn SLJIT_COMPILE_ASSERT(SLJIT_REWRITABLE_JUMP != SLJIT_F32_OP,
371 1.1.1.4 alnsn rewritable_jump_and_single_op_must_not_be_the_same);
372 1.1.1.6 alnsn SLJIT_COMPILE_ASSERT(!(SLJIT_EQUAL & 0x1) && !(SLJIT_LESS & 0x1) && !(SLJIT_EQUAL_F64 & 0x1) && !(SLJIT_JUMP & 0x1),
373 1.1.1.6 alnsn conditional_flags_must_be_even_numbers);
374 1.1 alnsn
375 1.1 alnsn /* Only the non-zero members must be set. */
376 1.1 alnsn compiler->error = SLJIT_SUCCESS;
377 1.1 alnsn
378 1.1.1.5 alnsn compiler->allocator_data = allocator_data;
379 1.1.1.5 alnsn compiler->buf = (struct sljit_memory_fragment*)SLJIT_MALLOC(BUF_SIZE, allocator_data);
380 1.1.1.5 alnsn compiler->abuf = (struct sljit_memory_fragment*)SLJIT_MALLOC(ABUF_SIZE, allocator_data);
381 1.1 alnsn
382 1.1 alnsn if (!compiler->buf || !compiler->abuf) {
383 1.1 alnsn if (compiler->buf)
384 1.1.1.5 alnsn SLJIT_FREE(compiler->buf, allocator_data);
385 1.1 alnsn if (compiler->abuf)
386 1.1.1.5 alnsn SLJIT_FREE(compiler->abuf, allocator_data);
387 1.1.1.5 alnsn SLJIT_FREE(compiler, allocator_data);
388 1.1 alnsn return NULL;
389 1.1 alnsn }
390 1.1 alnsn
391 1.1 alnsn compiler->buf->next = NULL;
392 1.1 alnsn compiler->buf->used_size = 0;
393 1.1 alnsn compiler->abuf->next = NULL;
394 1.1 alnsn compiler->abuf->used_size = 0;
395 1.1 alnsn
396 1.1.1.4 alnsn compiler->scratches = -1;
397 1.1 alnsn compiler->saveds = -1;
398 1.1.1.5 alnsn compiler->fscratches = -1;
399 1.1.1.5 alnsn compiler->fsaveds = -1;
400 1.1.1.5 alnsn compiler->local_size = -1;
401 1.1 alnsn
402 1.1 alnsn #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
403 1.1 alnsn compiler->args = -1;
404 1.1 alnsn #endif
405 1.1 alnsn
406 1.1 alnsn #if (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5)
407 1.1.1.5 alnsn compiler->cpool = (sljit_uw*)SLJIT_MALLOC(CPOOL_SIZE * sizeof(sljit_uw)
408 1.1.1.5 alnsn + CPOOL_SIZE * sizeof(sljit_u8), allocator_data);
409 1.1 alnsn if (!compiler->cpool) {
410 1.1.1.5 alnsn SLJIT_FREE(compiler->buf, allocator_data);
411 1.1.1.5 alnsn SLJIT_FREE(compiler->abuf, allocator_data);
412 1.1.1.5 alnsn SLJIT_FREE(compiler, allocator_data);
413 1.1 alnsn return NULL;
414 1.1 alnsn }
415 1.1.1.5 alnsn compiler->cpool_unique = (sljit_u8*)(compiler->cpool + CPOOL_SIZE);
416 1.1 alnsn compiler->cpool_diff = 0xffffffff;
417 1.1 alnsn #endif
418 1.1 alnsn
419 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_MIPS && SLJIT_CONFIG_MIPS)
420 1.1 alnsn compiler->delay_slot = UNMOVABLE_INS;
421 1.1 alnsn #endif
422 1.1 alnsn
423 1.1.1.3 alnsn #if (defined SLJIT_CONFIG_SPARC_32 && SLJIT_CONFIG_SPARC_32)
424 1.1.1.3 alnsn compiler->delay_slot = UNMOVABLE_INS;
425 1.1.1.3 alnsn #endif
426 1.1.1.3 alnsn
427 1.1 alnsn #if (defined SLJIT_NEEDS_COMPILER_INIT && SLJIT_NEEDS_COMPILER_INIT)
428 1.1 alnsn if (!compiler_initialized) {
429 1.1 alnsn init_compiler();
430 1.1 alnsn compiler_initialized = 1;
431 1.1 alnsn }
432 1.1 alnsn #endif
433 1.1 alnsn
434 1.1 alnsn return compiler;
435 1.1 alnsn }
436 1.1 alnsn
437 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_free_compiler(struct sljit_compiler *compiler)
438 1.1 alnsn {
439 1.1 alnsn struct sljit_memory_fragment *buf;
440 1.1 alnsn struct sljit_memory_fragment *curr;
441 1.1.1.5 alnsn void *allocator_data = compiler->allocator_data;
442 1.1.1.5 alnsn SLJIT_UNUSED_ARG(allocator_data);
443 1.1 alnsn
444 1.1 alnsn buf = compiler->buf;
445 1.1 alnsn while (buf) {
446 1.1 alnsn curr = buf;
447 1.1 alnsn buf = buf->next;
448 1.1.1.5 alnsn SLJIT_FREE(curr, allocator_data);
449 1.1 alnsn }
450 1.1 alnsn
451 1.1 alnsn buf = compiler->abuf;
452 1.1 alnsn while (buf) {
453 1.1 alnsn curr = buf;
454 1.1 alnsn buf = buf->next;
455 1.1.1.5 alnsn SLJIT_FREE(curr, allocator_data);
456 1.1 alnsn }
457 1.1 alnsn
458 1.1 alnsn #if (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5)
459 1.1.1.5 alnsn SLJIT_FREE(compiler->cpool, allocator_data);
460 1.1 alnsn #endif
461 1.1.1.5 alnsn SLJIT_FREE(compiler, allocator_data);
462 1.1.1.5 alnsn }
463 1.1.1.5 alnsn
464 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_compiler_memory_error(struct sljit_compiler *compiler)
465 1.1.1.5 alnsn {
466 1.1.1.5 alnsn if (compiler->error == SLJIT_SUCCESS)
467 1.1.1.5 alnsn compiler->error = SLJIT_ERR_ALLOC_FAILED;
468 1.1 alnsn }
469 1.1 alnsn
470 1.1 alnsn #if (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2)
471 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_free_code(void* code)
472 1.1 alnsn {
473 1.1 alnsn /* Remove thumb mode flag. */
474 1.1 alnsn SLJIT_FREE_EXEC((void*)((sljit_uw)code & ~0x1));
475 1.1 alnsn }
476 1.1 alnsn #elif (defined SLJIT_INDIRECT_CALL && SLJIT_INDIRECT_CALL)
477 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_free_code(void* code)
478 1.1 alnsn {
479 1.1 alnsn /* Resolve indirection. */
480 1.1 alnsn code = (void*)(*(sljit_uw*)code);
481 1.1 alnsn SLJIT_FREE_EXEC(code);
482 1.1 alnsn }
483 1.1 alnsn #else
484 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_free_code(void* code)
485 1.1 alnsn {
486 1.1 alnsn SLJIT_FREE_EXEC(code);
487 1.1 alnsn }
488 1.1 alnsn #endif
489 1.1 alnsn
490 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_label(struct sljit_jump *jump, struct sljit_label* label)
491 1.1 alnsn {
492 1.1 alnsn if (SLJIT_LIKELY(!!jump) && SLJIT_LIKELY(!!label)) {
493 1.1 alnsn jump->flags &= ~JUMP_ADDR;
494 1.1 alnsn jump->flags |= JUMP_LABEL;
495 1.1 alnsn jump->u.label = label;
496 1.1 alnsn }
497 1.1 alnsn }
498 1.1 alnsn
499 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_target(struct sljit_jump *jump, sljit_uw target)
500 1.1 alnsn {
501 1.1 alnsn if (SLJIT_LIKELY(!!jump)) {
502 1.1 alnsn jump->flags &= ~JUMP_LABEL;
503 1.1 alnsn jump->flags |= JUMP_ADDR;
504 1.1 alnsn jump->u.target = target;
505 1.1 alnsn }
506 1.1 alnsn }
507 1.1 alnsn
508 1.1.1.6 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_current_flags(struct sljit_compiler *compiler, sljit_s32 current_flags)
509 1.1.1.6 alnsn {
510 1.1.1.6 alnsn SLJIT_UNUSED_ARG(compiler);
511 1.1.1.6 alnsn SLJIT_UNUSED_ARG(current_flags);
512 1.1.1.6 alnsn
513 1.1.1.6 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
514 1.1.1.6 alnsn if ((current_flags & ~(VARIABLE_FLAG_MASK | SLJIT_I32_OP | SLJIT_SET_Z)) == 0) {
515 1.1.1.6 alnsn compiler->last_flags = GET_FLAG_TYPE(current_flags) | (current_flags & (SLJIT_I32_OP | SLJIT_SET_Z));
516 1.1.1.6 alnsn }
517 1.1.1.6 alnsn #endif
518 1.1.1.6 alnsn }
519 1.1.1.6 alnsn
520 1.1 alnsn /* --------------------------------------------------------------------- */
521 1.1 alnsn /* Private functions */
522 1.1 alnsn /* --------------------------------------------------------------------- */
523 1.1 alnsn
524 1.1.1.4 alnsn static void* ensure_buf(struct sljit_compiler *compiler, sljit_uw size)
525 1.1 alnsn {
526 1.1.1.5 alnsn sljit_u8 *ret;
527 1.1 alnsn struct sljit_memory_fragment *new_frag;
528 1.1 alnsn
529 1.1.1.4 alnsn SLJIT_ASSERT(size <= 256);
530 1.1.1.4 alnsn if (compiler->buf->used_size + size <= (BUF_SIZE - (sljit_uw)SLJIT_OFFSETOF(struct sljit_memory_fragment, memory))) {
531 1.1 alnsn ret = compiler->buf->memory + compiler->buf->used_size;
532 1.1 alnsn compiler->buf->used_size += size;
533 1.1 alnsn return ret;
534 1.1 alnsn }
535 1.1.1.5 alnsn new_frag = (struct sljit_memory_fragment*)SLJIT_MALLOC(BUF_SIZE, compiler->allocator_data);
536 1.1 alnsn PTR_FAIL_IF_NULL(new_frag);
537 1.1 alnsn new_frag->next = compiler->buf;
538 1.1 alnsn compiler->buf = new_frag;
539 1.1 alnsn new_frag->used_size = size;
540 1.1 alnsn return new_frag->memory;
541 1.1 alnsn }
542 1.1 alnsn
543 1.1.1.4 alnsn static void* ensure_abuf(struct sljit_compiler *compiler, sljit_uw size)
544 1.1 alnsn {
545 1.1.1.5 alnsn sljit_u8 *ret;
546 1.1 alnsn struct sljit_memory_fragment *new_frag;
547 1.1 alnsn
548 1.1.1.4 alnsn SLJIT_ASSERT(size <= 256);
549 1.1.1.4 alnsn if (compiler->abuf->used_size + size <= (ABUF_SIZE - (sljit_uw)SLJIT_OFFSETOF(struct sljit_memory_fragment, memory))) {
550 1.1 alnsn ret = compiler->abuf->memory + compiler->abuf->used_size;
551 1.1 alnsn compiler->abuf->used_size += size;
552 1.1 alnsn return ret;
553 1.1 alnsn }
554 1.1.1.5 alnsn new_frag = (struct sljit_memory_fragment*)SLJIT_MALLOC(ABUF_SIZE, compiler->allocator_data);
555 1.1 alnsn PTR_FAIL_IF_NULL(new_frag);
556 1.1 alnsn new_frag->next = compiler->abuf;
557 1.1 alnsn compiler->abuf = new_frag;
558 1.1 alnsn new_frag->used_size = size;
559 1.1 alnsn return new_frag->memory;
560 1.1 alnsn }
561 1.1 alnsn
562 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE void* sljit_alloc_memory(struct sljit_compiler *compiler, sljit_s32 size)
563 1.1 alnsn {
564 1.1 alnsn CHECK_ERROR_PTR();
565 1.1 alnsn
566 1.1 alnsn #if (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
567 1.1 alnsn if (size <= 0 || size > 128)
568 1.1 alnsn return NULL;
569 1.1 alnsn size = (size + 7) & ~7;
570 1.1 alnsn #else
571 1.1 alnsn if (size <= 0 || size > 64)
572 1.1 alnsn return NULL;
573 1.1 alnsn size = (size + 3) & ~3;
574 1.1 alnsn #endif
575 1.1 alnsn return ensure_abuf(compiler, size);
576 1.1 alnsn }
577 1.1 alnsn
578 1.1 alnsn static SLJIT_INLINE void reverse_buf(struct sljit_compiler *compiler)
579 1.1 alnsn {
580 1.1 alnsn struct sljit_memory_fragment *buf = compiler->buf;
581 1.1 alnsn struct sljit_memory_fragment *prev = NULL;
582 1.1 alnsn struct sljit_memory_fragment *tmp;
583 1.1 alnsn
584 1.1 alnsn do {
585 1.1 alnsn tmp = buf->next;
586 1.1 alnsn buf->next = prev;
587 1.1 alnsn prev = buf;
588 1.1 alnsn buf = tmp;
589 1.1 alnsn } while (buf != NULL);
590 1.1 alnsn
591 1.1 alnsn compiler->buf = prev;
592 1.1 alnsn }
593 1.1 alnsn
594 1.1.1.5 alnsn static SLJIT_INLINE void set_emit_enter(struct sljit_compiler *compiler,
595 1.1.1.5 alnsn sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds,
596 1.1.1.5 alnsn sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
597 1.1.1.5 alnsn {
598 1.1.1.5 alnsn SLJIT_UNUSED_ARG(args);
599 1.1.1.5 alnsn SLJIT_UNUSED_ARG(local_size);
600 1.1.1.5 alnsn
601 1.1.1.5 alnsn compiler->options = options;
602 1.1.1.5 alnsn compiler->scratches = scratches;
603 1.1.1.5 alnsn compiler->saveds = saveds;
604 1.1.1.5 alnsn compiler->fscratches = fscratches;
605 1.1.1.5 alnsn compiler->fsaveds = fsaveds;
606 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
607 1.1.1.5 alnsn compiler->logical_local_size = local_size;
608 1.1.1.5 alnsn #endif
609 1.1.1.5 alnsn }
610 1.1.1.5 alnsn
611 1.1.1.5 alnsn static SLJIT_INLINE void set_set_context(struct sljit_compiler *compiler,
612 1.1.1.5 alnsn sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds,
613 1.1.1.5 alnsn sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
614 1.1.1.5 alnsn {
615 1.1.1.5 alnsn SLJIT_UNUSED_ARG(args);
616 1.1.1.5 alnsn SLJIT_UNUSED_ARG(local_size);
617 1.1.1.5 alnsn
618 1.1.1.5 alnsn compiler->options = options;
619 1.1.1.5 alnsn compiler->scratches = scratches;
620 1.1.1.5 alnsn compiler->saveds = saveds;
621 1.1.1.5 alnsn compiler->fscratches = fscratches;
622 1.1.1.5 alnsn compiler->fsaveds = fsaveds;
623 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
624 1.1.1.5 alnsn compiler->logical_local_size = local_size;
625 1.1.1.5 alnsn #endif
626 1.1.1.5 alnsn }
627 1.1.1.5 alnsn
628 1.1 alnsn static SLJIT_INLINE void set_label(struct sljit_label *label, struct sljit_compiler *compiler)
629 1.1 alnsn {
630 1.1 alnsn label->next = NULL;
631 1.1 alnsn label->size = compiler->size;
632 1.1 alnsn if (compiler->last_label)
633 1.1 alnsn compiler->last_label->next = label;
634 1.1 alnsn else
635 1.1 alnsn compiler->labels = label;
636 1.1 alnsn compiler->last_label = label;
637 1.1 alnsn }
638 1.1 alnsn
639 1.1.1.5 alnsn static SLJIT_INLINE void set_jump(struct sljit_jump *jump, struct sljit_compiler *compiler, sljit_s32 flags)
640 1.1 alnsn {
641 1.1 alnsn jump->next = NULL;
642 1.1 alnsn jump->flags = flags;
643 1.1 alnsn if (compiler->last_jump)
644 1.1 alnsn compiler->last_jump->next = jump;
645 1.1 alnsn else
646 1.1 alnsn compiler->jumps = jump;
647 1.1 alnsn compiler->last_jump = jump;
648 1.1 alnsn }
649 1.1 alnsn
650 1.1 alnsn static SLJIT_INLINE void set_const(struct sljit_const *const_, struct sljit_compiler *compiler)
651 1.1 alnsn {
652 1.1 alnsn const_->next = NULL;
653 1.1 alnsn const_->addr = compiler->size;
654 1.1 alnsn if (compiler->last_const)
655 1.1 alnsn compiler->last_const->next = const_;
656 1.1 alnsn else
657 1.1 alnsn compiler->consts = const_;
658 1.1 alnsn compiler->last_const = const_;
659 1.1 alnsn }
660 1.1 alnsn
661 1.1 alnsn #define ADDRESSING_DEPENDS_ON(exp, reg) \
662 1.1.1.4 alnsn (((exp) & SLJIT_MEM) && (((exp) & REG_MASK) == reg || OFFS_REG(exp) == reg))
663 1.1 alnsn
664 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
665 1.1 alnsn
666 1.1 alnsn #define FUNCTION_CHECK_IS_REG(r) \
667 1.1.1.5 alnsn (((r) >= SLJIT_R0 && (r) < (SLJIT_R0 + compiler->scratches)) || \
668 1.1.1.5 alnsn ((r) > (SLJIT_S0 - compiler->saveds) && (r) <= SLJIT_S0))
669 1.1.1.5 alnsn
670 1.1.1.5 alnsn #define FUNCTION_CHECK_IS_REG_OR_UNUSED(r) \
671 1.1 alnsn ((r) == SLJIT_UNUSED || \
672 1.1.1.5 alnsn ((r) >= SLJIT_R0 && (r) < (SLJIT_R0 + compiler->scratches)) || \
673 1.1.1.5 alnsn ((r) > (SLJIT_S0 - compiler->saveds) && (r) <= SLJIT_S0))
674 1.1.1.5 alnsn
675 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_X86_32 && SLJIT_CONFIG_X86_32)
676 1.1.1.5 alnsn #define CHECK_NOT_VIRTUAL_REGISTER(p) \
677 1.1.1.5 alnsn CHECK_ARGUMENT((p) < SLJIT_R3 || (p) > SLJIT_R6);
678 1.1.1.5 alnsn #else
679 1.1.1.5 alnsn #define CHECK_NOT_VIRTUAL_REGISTER(p)
680 1.1.1.5 alnsn #endif
681 1.1 alnsn
682 1.1 alnsn #define FUNCTION_CHECK_SRC(p, i) \
683 1.1.1.5 alnsn CHECK_ARGUMENT(compiler->scratches != -1 && compiler->saveds != -1); \
684 1.1 alnsn if (FUNCTION_CHECK_IS_REG(p)) \
685 1.1.1.5 alnsn CHECK_ARGUMENT((i) == 0); \
686 1.1 alnsn else if ((p) == SLJIT_IMM) \
687 1.1 alnsn ; \
688 1.1.1.5 alnsn else if ((p) == (SLJIT_MEM1(SLJIT_SP))) \
689 1.1.1.5 alnsn CHECK_ARGUMENT((i) >= 0 && (i) < compiler->logical_local_size); \
690 1.1.1.5 alnsn else { \
691 1.1.1.5 alnsn CHECK_ARGUMENT((p) & SLJIT_MEM); \
692 1.1.1.5 alnsn CHECK_ARGUMENT(FUNCTION_CHECK_IS_REG_OR_UNUSED((p) & REG_MASK)); \
693 1.1.1.5 alnsn CHECK_NOT_VIRTUAL_REGISTER((p) & REG_MASK); \
694 1.1.1.4 alnsn if ((p) & OFFS_REG_MASK) { \
695 1.1.1.5 alnsn CHECK_ARGUMENT(((p) & REG_MASK) != SLJIT_UNUSED); \
696 1.1.1.5 alnsn CHECK_ARGUMENT(FUNCTION_CHECK_IS_REG(OFFS_REG(p))); \
697 1.1.1.5 alnsn CHECK_NOT_VIRTUAL_REGISTER(OFFS_REG(p)); \
698 1.1.1.5 alnsn CHECK_ARGUMENT(!((i) & ~0x3)); \
699 1.1 alnsn } \
700 1.1.1.5 alnsn CHECK_ARGUMENT(!((p) & ~(SLJIT_MEM | SLJIT_IMM | REG_MASK | OFFS_REG_MASK))); \
701 1.1.1.5 alnsn }
702 1.1 alnsn
703 1.1 alnsn #define FUNCTION_CHECK_DST(p, i) \
704 1.1.1.5 alnsn CHECK_ARGUMENT(compiler->scratches != -1 && compiler->saveds != -1); \
705 1.1.1.5 alnsn if (FUNCTION_CHECK_IS_REG_OR_UNUSED(p)) \
706 1.1.1.5 alnsn CHECK_ARGUMENT((i) == 0); \
707 1.1.1.5 alnsn else if ((p) == (SLJIT_MEM1(SLJIT_SP))) \
708 1.1.1.5 alnsn CHECK_ARGUMENT((i) >= 0 && (i) < compiler->logical_local_size); \
709 1.1.1.5 alnsn else { \
710 1.1.1.5 alnsn CHECK_ARGUMENT((p) & SLJIT_MEM); \
711 1.1.1.5 alnsn CHECK_ARGUMENT(FUNCTION_CHECK_IS_REG_OR_UNUSED((p) & REG_MASK)); \
712 1.1.1.5 alnsn CHECK_NOT_VIRTUAL_REGISTER((p) & REG_MASK); \
713 1.1.1.4 alnsn if ((p) & OFFS_REG_MASK) { \
714 1.1.1.5 alnsn CHECK_ARGUMENT(((p) & REG_MASK) != SLJIT_UNUSED); \
715 1.1.1.5 alnsn CHECK_ARGUMENT(FUNCTION_CHECK_IS_REG(OFFS_REG(p))); \
716 1.1.1.5 alnsn CHECK_NOT_VIRTUAL_REGISTER(OFFS_REG(p)); \
717 1.1.1.5 alnsn CHECK_ARGUMENT(!((i) & ~0x3)); \
718 1.1 alnsn } \
719 1.1.1.5 alnsn CHECK_ARGUMENT(!((p) & ~(SLJIT_MEM | SLJIT_IMM | REG_MASK | OFFS_REG_MASK))); \
720 1.1.1.5 alnsn }
721 1.1 alnsn
722 1.1 alnsn #define FUNCTION_FCHECK(p, i) \
723 1.1.1.5 alnsn CHECK_ARGUMENT(compiler->fscratches != -1 && compiler->fsaveds != -1); \
724 1.1.1.5 alnsn if (((p) >= SLJIT_FR0 && (p) < (SLJIT_FR0 + compiler->fscratches)) || \
725 1.1.1.5 alnsn ((p) > (SLJIT_FS0 - compiler->fsaveds) && (p) <= SLJIT_FS0)) \
726 1.1.1.5 alnsn CHECK_ARGUMENT(i == 0); \
727 1.1.1.5 alnsn else if ((p) == (SLJIT_MEM1(SLJIT_SP))) \
728 1.1.1.5 alnsn CHECK_ARGUMENT((i) >= 0 && (i) < compiler->logical_local_size); \
729 1.1.1.5 alnsn else { \
730 1.1.1.5 alnsn CHECK_ARGUMENT((p) & SLJIT_MEM); \
731 1.1.1.5 alnsn CHECK_ARGUMENT(FUNCTION_CHECK_IS_REG_OR_UNUSED((p) & REG_MASK)); \
732 1.1.1.5 alnsn CHECK_NOT_VIRTUAL_REGISTER((p) & REG_MASK); \
733 1.1.1.4 alnsn if ((p) & OFFS_REG_MASK) { \
734 1.1.1.5 alnsn CHECK_ARGUMENT(((p) & REG_MASK) != SLJIT_UNUSED); \
735 1.1.1.5 alnsn CHECK_ARGUMENT(FUNCTION_CHECK_IS_REG(OFFS_REG(p))); \
736 1.1.1.5 alnsn CHECK_NOT_VIRTUAL_REGISTER(OFFS_REG(p)); \
737 1.1.1.5 alnsn CHECK_ARGUMENT(((p) & OFFS_REG_MASK) != TO_OFFS_REG(SLJIT_SP) && !(i & ~0x3)); \
738 1.1.1.5 alnsn } \
739 1.1.1.5 alnsn CHECK_ARGUMENT(!((p) & ~(SLJIT_MEM | SLJIT_IMM | REG_MASK | OFFS_REG_MASK))); \
740 1.1.1.5 alnsn }
741 1.1 alnsn
742 1.1.1.5 alnsn #endif /* SLJIT_ARGUMENT_CHECKS */
743 1.1 alnsn
744 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
745 1.1 alnsn
746 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_compiler_verbose(struct sljit_compiler *compiler, FILE* verbose)
747 1.1 alnsn {
748 1.1 alnsn compiler->verbose = verbose;
749 1.1 alnsn }
750 1.1 alnsn
751 1.1.1.4 alnsn #if (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
752 1.1 alnsn #ifdef _WIN64
753 1.1.1.4 alnsn # define SLJIT_PRINT_D "I64"
754 1.1 alnsn #else
755 1.1.1.4 alnsn # define SLJIT_PRINT_D "l"
756 1.1 alnsn #endif
757 1.1 alnsn #else
758 1.1.1.4 alnsn # define SLJIT_PRINT_D ""
759 1.1 alnsn #endif
760 1.1 alnsn
761 1.1.1.5 alnsn #define sljit_verbose_reg(compiler, r) \
762 1.1.1.5 alnsn do { \
763 1.1.1.5 alnsn if ((r) < (SLJIT_R0 + compiler->scratches)) \
764 1.1.1.5 alnsn fprintf(compiler->verbose, "r%d", (r) - SLJIT_R0); \
765 1.1.1.6 alnsn else if ((r) != SLJIT_SP) \
766 1.1.1.5 alnsn fprintf(compiler->verbose, "s%d", SLJIT_NUMBER_OF_REGISTERS - (r)); \
767 1.1.1.6 alnsn else \
768 1.1.1.6 alnsn fprintf(compiler->verbose, "sp"); \
769 1.1.1.5 alnsn } while (0)
770 1.1.1.5 alnsn
771 1.1.1.5 alnsn #define sljit_verbose_param(compiler, p, i) \
772 1.1 alnsn if ((p) & SLJIT_IMM) \
773 1.1 alnsn fprintf(compiler->verbose, "#%" SLJIT_PRINT_D "d", (i)); \
774 1.1 alnsn else if ((p) & SLJIT_MEM) { \
775 1.1.1.4 alnsn if ((p) & REG_MASK) { \
776 1.1.1.5 alnsn fputc('[', compiler->verbose); \
777 1.1.1.5 alnsn sljit_verbose_reg(compiler, (p) & REG_MASK); \
778 1.1.1.5 alnsn if ((p) & OFFS_REG_MASK) { \
779 1.1.1.5 alnsn fprintf(compiler->verbose, " + "); \
780 1.1.1.5 alnsn sljit_verbose_reg(compiler, OFFS_REG(p)); \
781 1.1.1.5 alnsn if (i) \
782 1.1.1.5 alnsn fprintf(compiler->verbose, " * %d", 1 << (i)); \
783 1.1 alnsn } \
784 1.1.1.5 alnsn else if (i) \
785 1.1.1.5 alnsn fprintf(compiler->verbose, " + %" SLJIT_PRINT_D "d", (i)); \
786 1.1.1.5 alnsn fputc(']', compiler->verbose); \
787 1.1 alnsn } \
788 1.1 alnsn else \
789 1.1 alnsn fprintf(compiler->verbose, "[#%" SLJIT_PRINT_D "d]", (i)); \
790 1.1.1.5 alnsn } else if (p) \
791 1.1.1.5 alnsn sljit_verbose_reg(compiler, p); \
792 1.1.1.5 alnsn else \
793 1.1.1.5 alnsn fprintf(compiler->verbose, "unused");
794 1.1.1.5 alnsn
795 1.1.1.5 alnsn #define sljit_verbose_fparam(compiler, p, i) \
796 1.1 alnsn if ((p) & SLJIT_MEM) { \
797 1.1.1.4 alnsn if ((p) & REG_MASK) { \
798 1.1.1.5 alnsn fputc('[', compiler->verbose); \
799 1.1.1.5 alnsn sljit_verbose_reg(compiler, (p) & REG_MASK); \
800 1.1.1.5 alnsn if ((p) & OFFS_REG_MASK) { \
801 1.1.1.5 alnsn fprintf(compiler->verbose, " + "); \
802 1.1.1.5 alnsn sljit_verbose_reg(compiler, OFFS_REG(p)); \
803 1.1.1.5 alnsn if (i) \
804 1.1.1.5 alnsn fprintf(compiler->verbose, "%d", 1 << (i)); \
805 1.1 alnsn } \
806 1.1.1.5 alnsn else if (i) \
807 1.1.1.5 alnsn fprintf(compiler->verbose, "%" SLJIT_PRINT_D "d", (i)); \
808 1.1.1.5 alnsn fputc(']', compiler->verbose); \
809 1.1 alnsn } \
810 1.1 alnsn else \
811 1.1 alnsn fprintf(compiler->verbose, "[#%" SLJIT_PRINT_D "d]", (i)); \
812 1.1.1.5 alnsn } \
813 1.1.1.5 alnsn else { \
814 1.1.1.5 alnsn if ((p) < (SLJIT_FR0 + compiler->fscratches)) \
815 1.1.1.5 alnsn fprintf(compiler->verbose, "fr%d", (p) - SLJIT_FR0); \
816 1.1.1.5 alnsn else \
817 1.1.1.5 alnsn fprintf(compiler->verbose, "fs%d", SLJIT_NUMBER_OF_FLOAT_REGISTERS - (p)); \
818 1.1.1.5 alnsn }
819 1.1.1.5 alnsn
820 1.1.1.5 alnsn static const char* op0_names[] = {
821 1.1.1.5 alnsn (char*)"breakpoint", (char*)"nop", (char*)"lmul.uw", (char*)"lmul.sw",
822 1.1.1.5 alnsn (char*)"divmod.u", (char*)"divmod.s", (char*)"div.u", (char*)"div.s"
823 1.1.1.5 alnsn };
824 1.1 alnsn
825 1.1.1.5 alnsn static const char* op1_names[] = {
826 1.1.1.5 alnsn (char*)"", (char*)".u8", (char*)".s8", (char*)".u16",
827 1.1.1.5 alnsn (char*)".s16", (char*)".u32", (char*)".s32", (char*)".p",
828 1.1.1.5 alnsn (char*)"", (char*)".u8", (char*)".s8", (char*)".u16",
829 1.1.1.5 alnsn (char*)".s16", (char*)".u32", (char*)".s32", (char*)".p",
830 1.1.1.4 alnsn (char*)"not", (char*)"neg", (char*)"clz",
831 1.1.1.5 alnsn };
832 1.1.1.5 alnsn
833 1.1.1.5 alnsn static const char* op2_names[] = {
834 1.1 alnsn (char*)"add", (char*)"addc", (char*)"sub", (char*)"subc",
835 1.1 alnsn (char*)"mul", (char*)"and", (char*)"or", (char*)"xor",
836 1.1 alnsn (char*)"shl", (char*)"lshr", (char*)"ashr",
837 1.1.1.5 alnsn };
838 1.1.1.5 alnsn
839 1.1.1.5 alnsn static const char* fop1_names[] = {
840 1.1.1.5 alnsn (char*)"mov", (char*)"conv", (char*)"conv", (char*)"conv",
841 1.1.1.5 alnsn (char*)"conv", (char*)"conv", (char*)"cmp", (char*)"neg",
842 1.1.1.5 alnsn (char*)"abs",
843 1.1.1.5 alnsn };
844 1.1.1.5 alnsn
845 1.1.1.5 alnsn static const char* fop2_names[] = {
846 1.1.1.4 alnsn (char*)"add", (char*)"sub", (char*)"mul", (char*)"div"
847 1.1 alnsn };
848 1.1 alnsn
849 1.1.1.5 alnsn #define JUMP_POSTFIX(type) \
850 1.1.1.5 alnsn ((type & 0xff) <= SLJIT_MUL_NOT_OVERFLOW ? ((type & SLJIT_I32_OP) ? "32" : "") \
851 1.1.1.5 alnsn : ((type & 0xff) <= SLJIT_ORDERED_F64 ? ((type & SLJIT_F32_OP) ? ".f32" : ".f64") : ""))
852 1.1.1.5 alnsn
853 1.1 alnsn static char* jump_names[] = {
854 1.1.1.4 alnsn (char*)"equal", (char*)"not_equal",
855 1.1.1.4 alnsn (char*)"less", (char*)"greater_equal",
856 1.1.1.4 alnsn (char*)"greater", (char*)"less_equal",
857 1.1.1.4 alnsn (char*)"sig_less", (char*)"sig_greater_equal",
858 1.1.1.4 alnsn (char*)"sig_greater", (char*)"sig_less_equal",
859 1.1.1.4 alnsn (char*)"overflow", (char*)"not_overflow",
860 1.1.1.4 alnsn (char*)"mul_overflow", (char*)"mul_not_overflow",
861 1.1.1.6 alnsn (char*)"carry", (char*)"",
862 1.1.1.5 alnsn (char*)"equal", (char*)"not_equal",
863 1.1.1.5 alnsn (char*)"less", (char*)"greater_equal",
864 1.1.1.5 alnsn (char*)"greater", (char*)"less_equal",
865 1.1.1.5 alnsn (char*)"unordered", (char*)"ordered",
866 1.1 alnsn (char*)"jump", (char*)"fast_call",
867 1.1 alnsn (char*)"call0", (char*)"call1", (char*)"call2", (char*)"call3"
868 1.1 alnsn };
869 1.1 alnsn
870 1.1.1.5 alnsn #endif /* SLJIT_VERBOSE */
871 1.1 alnsn
872 1.1 alnsn /* --------------------------------------------------------------------- */
873 1.1 alnsn /* Arch dependent */
874 1.1 alnsn /* --------------------------------------------------------------------- */
875 1.1 alnsn
876 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS) \
877 1.1.1.5 alnsn || (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
878 1.1.1.5 alnsn
879 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_generate_code(struct sljit_compiler *compiler)
880 1.1 alnsn {
881 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
882 1.1 alnsn struct sljit_jump *jump;
883 1.1 alnsn #endif
884 1.1.1.5 alnsn
885 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
886 1.1 alnsn
887 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
888 1.1.1.5 alnsn CHECK_ARGUMENT(compiler->size > 0);
889 1.1 alnsn jump = compiler->jumps;
890 1.1 alnsn while (jump) {
891 1.1 alnsn /* All jumps have target. */
892 1.1.1.5 alnsn CHECK_ARGUMENT(jump->flags & (JUMP_LABEL | JUMP_ADDR));
893 1.1 alnsn jump = jump->next;
894 1.1 alnsn }
895 1.1 alnsn #endif
896 1.1.1.5 alnsn CHECK_RETURN_OK;
897 1.1 alnsn }
898 1.1 alnsn
899 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_enter(struct sljit_compiler *compiler,
900 1.1.1.5 alnsn sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds,
901 1.1.1.5 alnsn sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
902 1.1 alnsn {
903 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
904 1.1 alnsn
905 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
906 1.1.1.6 alnsn CHECK_ARGUMENT(!(options & ~SLJIT_F64_ALIGNMENT));
907 1.1.1.5 alnsn CHECK_ARGUMENT(args >= 0 && args <= 3);
908 1.1.1.5 alnsn CHECK_ARGUMENT(scratches >= 0 && scratches <= SLJIT_NUMBER_OF_REGISTERS);
909 1.1.1.5 alnsn CHECK_ARGUMENT(saveds >= 0 && saveds <= SLJIT_NUMBER_OF_REGISTERS);
910 1.1.1.5 alnsn CHECK_ARGUMENT(scratches + saveds <= SLJIT_NUMBER_OF_REGISTERS);
911 1.1.1.5 alnsn CHECK_ARGUMENT(args <= saveds);
912 1.1.1.5 alnsn CHECK_ARGUMENT(fscratches >= 0 && fscratches <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
913 1.1.1.5 alnsn CHECK_ARGUMENT(fsaveds >= 0 && fsaveds <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
914 1.1.1.5 alnsn CHECK_ARGUMENT(fscratches + fsaveds <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
915 1.1.1.5 alnsn CHECK_ARGUMENT(local_size >= 0 && local_size <= SLJIT_MAX_LOCAL_SIZE);
916 1.1.1.6 alnsn compiler->last_flags = 0;
917 1.1.1.5 alnsn #endif
918 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
919 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose))
920 1.1.1.5 alnsn fprintf(compiler->verbose, " enter options:none args:%d scratches:%d saveds:%d fscratches:%d fsaveds:%d local_size:%d\n",
921 1.1.1.5 alnsn args, scratches, saveds, fscratches, fsaveds, local_size);
922 1.1 alnsn #endif
923 1.1.1.5 alnsn CHECK_RETURN_OK;
924 1.1 alnsn }
925 1.1 alnsn
926 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_set_context(struct sljit_compiler *compiler,
927 1.1.1.5 alnsn sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds,
928 1.1.1.5 alnsn sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
929 1.1 alnsn {
930 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
931 1.1.1.6 alnsn CHECK_ARGUMENT(!(options & ~SLJIT_F64_ALIGNMENT));
932 1.1.1.5 alnsn CHECK_ARGUMENT(args >= 0 && args <= 3);
933 1.1.1.5 alnsn CHECK_ARGUMENT(scratches >= 0 && scratches <= SLJIT_NUMBER_OF_REGISTERS);
934 1.1.1.5 alnsn CHECK_ARGUMENT(saveds >= 0 && saveds <= SLJIT_NUMBER_OF_REGISTERS);
935 1.1.1.5 alnsn CHECK_ARGUMENT(scratches + saveds <= SLJIT_NUMBER_OF_REGISTERS);
936 1.1.1.5 alnsn CHECK_ARGUMENT(args <= saveds);
937 1.1.1.5 alnsn CHECK_ARGUMENT(fscratches >= 0 && fscratches <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
938 1.1.1.5 alnsn CHECK_ARGUMENT(fsaveds >= 0 && fsaveds <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
939 1.1.1.5 alnsn CHECK_ARGUMENT(fscratches + fsaveds <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
940 1.1.1.5 alnsn CHECK_ARGUMENT(local_size >= 0 && local_size <= SLJIT_MAX_LOCAL_SIZE);
941 1.1.1.6 alnsn compiler->last_flags = 0;
942 1.1.1.5 alnsn #endif
943 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
944 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose))
945 1.1.1.5 alnsn fprintf(compiler->verbose, " set_context options:none args:%d scratches:%d saveds:%d fscratches:%d fsaveds:%d local_size:%d\n",
946 1.1.1.5 alnsn args, scratches, saveds, fscratches, fsaveds, local_size);
947 1.1 alnsn #endif
948 1.1.1.5 alnsn CHECK_RETURN_OK;
949 1.1 alnsn }
950 1.1 alnsn
951 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw)
952 1.1 alnsn {
953 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
954 1.1.1.5 alnsn CHECK_ARGUMENT(compiler->scratches >= 0);
955 1.1 alnsn if (op != SLJIT_UNUSED) {
956 1.1.1.5 alnsn CHECK_ARGUMENT(op >= SLJIT_MOV && op <= SLJIT_MOV_P);
957 1.1 alnsn FUNCTION_CHECK_SRC(src, srcw);
958 1.1 alnsn }
959 1.1 alnsn else
960 1.1.1.5 alnsn CHECK_ARGUMENT(src == 0 && srcw == 0);
961 1.1.1.6 alnsn compiler->last_flags = 0;
962 1.1 alnsn #endif
963 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
964 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
965 1.1 alnsn if (op == SLJIT_UNUSED)
966 1.1 alnsn fprintf(compiler->verbose, " return\n");
967 1.1 alnsn else {
968 1.1.1.5 alnsn fprintf(compiler->verbose, " return%s ", op1_names[op - SLJIT_OP1_BASE]);
969 1.1.1.5 alnsn sljit_verbose_param(compiler, src, srcw);
970 1.1 alnsn fprintf(compiler->verbose, "\n");
971 1.1 alnsn }
972 1.1 alnsn }
973 1.1 alnsn #endif
974 1.1.1.5 alnsn CHECK_RETURN_OK;
975 1.1 alnsn }
976 1.1 alnsn
977 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)
978 1.1 alnsn {
979 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
980 1.1 alnsn FUNCTION_CHECK_DST(dst, dstw);
981 1.1.1.6 alnsn compiler->last_flags = 0;
982 1.1 alnsn #endif
983 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
984 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
985 1.1 alnsn fprintf(compiler->verbose, " fast_enter ");
986 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
987 1.1 alnsn fprintf(compiler->verbose, "\n");
988 1.1 alnsn }
989 1.1 alnsn #endif
990 1.1.1.5 alnsn CHECK_RETURN_OK;
991 1.1 alnsn }
992 1.1 alnsn
993 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_s32 src, sljit_sw srcw)
994 1.1 alnsn {
995 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
996 1.1 alnsn FUNCTION_CHECK_SRC(src, srcw);
997 1.1.1.6 alnsn compiler->last_flags = 0;
998 1.1 alnsn #endif
999 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1000 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1001 1.1 alnsn fprintf(compiler->verbose, " fast_return ");
1002 1.1.1.5 alnsn sljit_verbose_param(compiler, src, srcw);
1003 1.1 alnsn fprintf(compiler->verbose, "\n");
1004 1.1 alnsn }
1005 1.1 alnsn #endif
1006 1.1.1.5 alnsn CHECK_RETURN_OK;
1007 1.1 alnsn }
1008 1.1 alnsn
1009 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)
1010 1.1 alnsn {
1011 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1012 1.1.1.5 alnsn CHECK_ARGUMENT((op >= SLJIT_BREAKPOINT && op <= SLJIT_LMUL_SW)
1013 1.1.1.5 alnsn || ((op & ~SLJIT_I32_OP) >= SLJIT_DIVMOD_UW && (op & ~SLJIT_I32_OP) <= SLJIT_DIV_SW));
1014 1.1.1.5 alnsn CHECK_ARGUMENT(op < SLJIT_LMUL_UW || compiler->scratches >= 2);
1015 1.1.1.6 alnsn if (op >= SLJIT_LMUL_UW)
1016 1.1.1.6 alnsn compiler->last_flags = 0;
1017 1.1.1.5 alnsn #endif
1018 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1019 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose))
1020 1.1.1.5 alnsn {
1021 1.1.1.5 alnsn fprintf(compiler->verbose, " %s", op0_names[GET_OPCODE(op) - SLJIT_OP0_BASE]);
1022 1.1.1.5 alnsn if (GET_OPCODE(op) >= SLJIT_DIVMOD_UW) {
1023 1.1.1.5 alnsn fprintf(compiler->verbose, (op & SLJIT_I32_OP) ? "32" : "w");
1024 1.1.1.5 alnsn }
1025 1.1.1.5 alnsn fprintf(compiler->verbose, "\n");
1026 1.1.1.5 alnsn }
1027 1.1 alnsn #endif
1028 1.1.1.5 alnsn CHECK_RETURN_OK;
1029 1.1 alnsn }
1030 1.1 alnsn
1031 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,
1032 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1033 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw)
1034 1.1 alnsn {
1035 1.1 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1036 1.1 alnsn compiler->skip_checks = 0;
1037 1.1.1.5 alnsn CHECK_RETURN_OK;
1038 1.1 alnsn }
1039 1.1 alnsn
1040 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1041 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) >= SLJIT_MOV && GET_OPCODE(op) <= SLJIT_CLZ);
1042 1.1.1.6 alnsn
1043 1.1.1.6 alnsn switch (GET_OPCODE(op)) {
1044 1.1.1.6 alnsn case SLJIT_NOT:
1045 1.1.1.6 alnsn case SLJIT_CLZ:
1046 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK));
1047 1.1.1.6 alnsn break;
1048 1.1.1.6 alnsn case SLJIT_NEG:
1049 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK)
1050 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == SLJIT_OVERFLOW
1051 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == SLJIT_NOT_OVERFLOW);
1052 1.1.1.6 alnsn break;
1053 1.1.1.6 alnsn case SLJIT_MOV:
1054 1.1.1.6 alnsn case SLJIT_MOV_U32:
1055 1.1.1.6 alnsn case SLJIT_MOV_P:
1056 1.1.1.6 alnsn case SLJIT_MOVU:
1057 1.1.1.6 alnsn case SLJIT_MOVU_U32:
1058 1.1.1.6 alnsn case SLJIT_MOVU_P:
1059 1.1.1.6 alnsn /* Nothing allowed */
1060 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & (SLJIT_I32_OP | SLJIT_SET_Z | VARIABLE_FLAG_MASK)));
1061 1.1.1.6 alnsn break;
1062 1.1.1.6 alnsn default:
1063 1.1.1.6 alnsn /* Only SLJIT_I32_OP or SLJIT_F32_OP is allowed. */
1064 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & (SLJIT_SET_Z | VARIABLE_FLAG_MASK)));
1065 1.1.1.6 alnsn break;
1066 1.1.1.6 alnsn }
1067 1.1.1.6 alnsn
1068 1.1 alnsn FUNCTION_CHECK_SRC(src, srcw);
1069 1.1 alnsn FUNCTION_CHECK_DST(dst, dstw);
1070 1.1.1.6 alnsn
1071 1.1.1.6 alnsn if (GET_OPCODE(op) >= SLJIT_NOT)
1072 1.1.1.6 alnsn compiler->last_flags = GET_FLAG_TYPE(op) | (op & (SLJIT_I32_OP | SLJIT_SET_Z));
1073 1.1.1.6 alnsn else if (GET_OPCODE(op) >= SLJIT_MOVU) {
1074 1.1.1.6 alnsn CHECK_ARGUMENT(!(src & SLJIT_MEM) || (src & REG_MASK) != SLJIT_SP);
1075 1.1.1.6 alnsn CHECK_ARGUMENT(!(dst & SLJIT_MEM) || (dst & REG_MASK) != SLJIT_SP);
1076 1.1.1.6 alnsn if ((src & REG_MASK) != SLJIT_UNUSED) {
1077 1.1.1.6 alnsn CHECK_ARGUMENT((src & REG_MASK) != (dst & REG_MASK) && (src & REG_MASK) != OFFS_REG(dst));
1078 1.1.1.6 alnsn CHECK_ARGUMENT((src & OFFS_REG_MASK) == SLJIT_UNUSED || srcw == 0);
1079 1.1.1.6 alnsn }
1080 1.1.1.6 alnsn if ((dst & REG_MASK) != SLJIT_UNUSED) {
1081 1.1.1.6 alnsn CHECK_ARGUMENT((dst & REG_MASK) != OFFS_REG(src));
1082 1.1.1.6 alnsn CHECK_ARGUMENT((dst & OFFS_REG_MASK) == SLJIT_UNUSED || dstw == 0);
1083 1.1.1.6 alnsn }
1084 1.1.1.6 alnsn compiler->last_flags = 0;
1085 1.1.1.6 alnsn }
1086 1.1 alnsn #endif
1087 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1088 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1089 1.1.1.5 alnsn if (GET_OPCODE(op) <= SLJIT_MOVU_P)
1090 1.1.1.5 alnsn {
1091 1.1.1.5 alnsn fprintf(compiler->verbose, " mov%s%s%s ", (GET_OPCODE(op) >= SLJIT_MOVU) ? "u" : "",
1092 1.1.1.5 alnsn !(op & SLJIT_I32_OP) ? "" : "32", (op != SLJIT_MOV32 && op != SLJIT_MOVU32) ? op1_names[GET_OPCODE(op) - SLJIT_OP1_BASE] : "");
1093 1.1.1.5 alnsn }
1094 1.1.1.5 alnsn else
1095 1.1.1.5 alnsn {
1096 1.1.1.6 alnsn fprintf(compiler->verbose, " %s%s%s%s%s ", op1_names[GET_OPCODE(op) - SLJIT_OP1_BASE], !(op & SLJIT_I32_OP) ? "" : "32",
1097 1.1.1.6 alnsn !(op & SLJIT_SET_Z) ? "" : ".z", !(op & VARIABLE_FLAG_MASK) ? "" : ".",
1098 1.1.1.6 alnsn !(op & VARIABLE_FLAG_MASK) ? "" : jump_names[GET_FLAG_TYPE(op)]);
1099 1.1.1.5 alnsn }
1100 1.1.1.5 alnsn
1101 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
1102 1.1 alnsn fprintf(compiler->verbose, ", ");
1103 1.1.1.5 alnsn sljit_verbose_param(compiler, src, srcw);
1104 1.1 alnsn fprintf(compiler->verbose, "\n");
1105 1.1 alnsn }
1106 1.1 alnsn #endif
1107 1.1.1.5 alnsn CHECK_RETURN_OK;
1108 1.1 alnsn }
1109 1.1 alnsn
1110 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,
1111 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1112 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1113 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1114 1.1 alnsn {
1115 1.1 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1116 1.1 alnsn compiler->skip_checks = 0;
1117 1.1.1.5 alnsn CHECK_RETURN_OK;
1118 1.1 alnsn }
1119 1.1 alnsn
1120 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1121 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) >= SLJIT_ADD && GET_OPCODE(op) <= SLJIT_ASHR);
1122 1.1.1.6 alnsn
1123 1.1.1.6 alnsn switch (GET_OPCODE(op)) {
1124 1.1.1.6 alnsn case SLJIT_AND:
1125 1.1.1.6 alnsn case SLJIT_OR:
1126 1.1.1.6 alnsn case SLJIT_XOR:
1127 1.1.1.6 alnsn case SLJIT_SHL:
1128 1.1.1.6 alnsn case SLJIT_LSHR:
1129 1.1.1.6 alnsn case SLJIT_ASHR:
1130 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK));
1131 1.1.1.6 alnsn break;
1132 1.1.1.6 alnsn case SLJIT_MUL:
1133 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & SLJIT_SET_Z));
1134 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK)
1135 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == SLJIT_MUL_OVERFLOW
1136 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == SLJIT_MUL_NOT_OVERFLOW);
1137 1.1.1.6 alnsn break;
1138 1.1.1.6 alnsn case SLJIT_ADD:
1139 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK)
1140 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == GET_FLAG_TYPE(SLJIT_SET_CARRY)
1141 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == SLJIT_OVERFLOW
1142 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == SLJIT_NOT_OVERFLOW);
1143 1.1.1.6 alnsn break;
1144 1.1.1.6 alnsn case SLJIT_SUB:
1145 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK)
1146 1.1.1.6 alnsn || (GET_FLAG_TYPE(op) >= SLJIT_LESS && GET_FLAG_TYPE(op) <= SLJIT_NOT_OVERFLOW)
1147 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == GET_FLAG_TYPE(SLJIT_SET_CARRY));
1148 1.1.1.6 alnsn break;
1149 1.1.1.6 alnsn case SLJIT_ADDC:
1150 1.1.1.6 alnsn case SLJIT_SUBC:
1151 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK)
1152 1.1.1.6 alnsn || GET_FLAG_TYPE(op) == GET_FLAG_TYPE(SLJIT_SET_CARRY));
1153 1.1.1.6 alnsn CHECK_ARGUMENT((compiler->last_flags & 0xff) == GET_FLAG_TYPE(SLJIT_SET_CARRY));
1154 1.1.1.6 alnsn CHECK_ARGUMENT((op & SLJIT_I32_OP) == (compiler->last_flags & SLJIT_I32_OP));
1155 1.1.1.6 alnsn break;
1156 1.1.1.6 alnsn default:
1157 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1158 1.1.1.6 alnsn break;
1159 1.1.1.6 alnsn }
1160 1.1.1.6 alnsn
1161 1.1 alnsn FUNCTION_CHECK_SRC(src1, src1w);
1162 1.1 alnsn FUNCTION_CHECK_SRC(src2, src2w);
1163 1.1 alnsn FUNCTION_CHECK_DST(dst, dstw);
1164 1.1.1.6 alnsn compiler->last_flags = GET_FLAG_TYPE(op) | (op & (SLJIT_I32_OP | SLJIT_SET_Z));
1165 1.1 alnsn #endif
1166 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1167 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1168 1.1.1.6 alnsn fprintf(compiler->verbose, " %s%s%s%s%s ", op2_names[GET_OPCODE(op) - SLJIT_OP2_BASE], !(op & SLJIT_I32_OP) ? "" : "32",
1169 1.1.1.6 alnsn !(op & SLJIT_SET_Z) ? "" : ".z", !(op & VARIABLE_FLAG_MASK) ? "" : ".",
1170 1.1.1.6 alnsn !(op & VARIABLE_FLAG_MASK) ? "" : jump_names[GET_FLAG_TYPE(op)]);
1171 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
1172 1.1 alnsn fprintf(compiler->verbose, ", ");
1173 1.1.1.5 alnsn sljit_verbose_param(compiler, src1, src1w);
1174 1.1 alnsn fprintf(compiler->verbose, ", ");
1175 1.1.1.5 alnsn sljit_verbose_param(compiler, src2, src2w);
1176 1.1 alnsn fprintf(compiler->verbose, "\n");
1177 1.1 alnsn }
1178 1.1 alnsn #endif
1179 1.1.1.5 alnsn CHECK_RETURN_OK;
1180 1.1 alnsn }
1181 1.1 alnsn
1182 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_get_register_index(sljit_s32 reg)
1183 1.1 alnsn {
1184 1.1 alnsn SLJIT_UNUSED_ARG(reg);
1185 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1186 1.1.1.5 alnsn CHECK_ARGUMENT(reg > 0 && reg <= SLJIT_NUMBER_OF_REGISTERS);
1187 1.1.1.5 alnsn #endif
1188 1.1.1.5 alnsn CHECK_RETURN_OK;
1189 1.1 alnsn }
1190 1.1 alnsn
1191 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_get_float_register_index(sljit_s32 reg)
1192 1.1.1.4 alnsn {
1193 1.1.1.4 alnsn SLJIT_UNUSED_ARG(reg);
1194 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1195 1.1.1.5 alnsn CHECK_ARGUMENT(reg > 0 && reg <= SLJIT_NUMBER_OF_FLOAT_REGISTERS);
1196 1.1.1.5 alnsn #endif
1197 1.1.1.5 alnsn CHECK_RETURN_OK;
1198 1.1.1.4 alnsn }
1199 1.1.1.4 alnsn
1200 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_op_custom(struct sljit_compiler *compiler,
1201 1.1.1.5 alnsn void *instruction, sljit_s32 size)
1202 1.1 alnsn {
1203 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1204 1.1.1.5 alnsn int i;
1205 1.1.1.5 alnsn #endif
1206 1.1.1.5 alnsn
1207 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1208 1.1.1.5 alnsn
1209 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1210 1.1.1.5 alnsn CHECK_ARGUMENT(instruction);
1211 1.1.1.6 alnsn
1212 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_X86 && SLJIT_CONFIG_X86)
1213 1.1.1.5 alnsn CHECK_ARGUMENT(size > 0 && size < 16);
1214 1.1.1.5 alnsn #elif (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2)
1215 1.1.1.5 alnsn CHECK_ARGUMENT((size == 2 && (((sljit_sw)instruction) & 0x1) == 0)
1216 1.1.1.5 alnsn || (size == 4 && (((sljit_sw)instruction) & 0x3) == 0));
1217 1.1.1.5 alnsn #else
1218 1.1.1.5 alnsn CHECK_ARGUMENT(size == 4 && (((sljit_sw)instruction) & 0x3) == 0);
1219 1.1.1.5 alnsn #endif
1220 1.1.1.5 alnsn
1221 1.1.1.6 alnsn compiler->last_flags = 0;
1222 1.1.1.5 alnsn #endif
1223 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1224 1.1.1.5 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1225 1.1.1.5 alnsn fprintf(compiler->verbose, " op_custom");
1226 1.1.1.5 alnsn for (i = 0; i < size; i++)
1227 1.1.1.5 alnsn fprintf(compiler->verbose, " 0x%x", ((sljit_u8*)instruction)[i]);
1228 1.1.1.5 alnsn fprintf(compiler->verbose, "\n");
1229 1.1.1.5 alnsn }
1230 1.1.1.5 alnsn #endif
1231 1.1.1.5 alnsn CHECK_RETURN_OK;
1232 1.1 alnsn }
1233 1.1 alnsn
1234 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,
1235 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1236 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw)
1237 1.1 alnsn {
1238 1.1.1.5 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1239 1.1.1.5 alnsn compiler->skip_checks = 0;
1240 1.1.1.5 alnsn CHECK_RETURN_OK;
1241 1.1.1.5 alnsn }
1242 1.1.1.5 alnsn
1243 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1244 1.1.1.5 alnsn CHECK_ARGUMENT(sljit_is_fpu_available());
1245 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) >= SLJIT_MOV_F64 && GET_OPCODE(op) <= SLJIT_ABS_F64);
1246 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & (SLJIT_SET_Z | VARIABLE_FLAG_MASK)));
1247 1.1.1.5 alnsn FUNCTION_FCHECK(src, srcw);
1248 1.1.1.5 alnsn FUNCTION_FCHECK(dst, dstw);
1249 1.1.1.5 alnsn #endif
1250 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1251 1.1.1.5 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1252 1.1.1.5 alnsn if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_F32)
1253 1.1.1.5 alnsn fprintf(compiler->verbose, " %s%s ", fop1_names[SLJIT_CONV_F64_FROM_F32 - SLJIT_FOP1_BASE],
1254 1.1.1.5 alnsn (op & SLJIT_F32_OP) ? ".f32.from.f64" : ".f64.from.f32");
1255 1.1.1.5 alnsn else
1256 1.1.1.5 alnsn fprintf(compiler->verbose, " %s%s ", fop1_names[GET_OPCODE(op) - SLJIT_FOP1_BASE],
1257 1.1.1.5 alnsn (op & SLJIT_F32_OP) ? ".f32" : ".f64");
1258 1.1 alnsn
1259 1.1.1.5 alnsn sljit_verbose_fparam(compiler, dst, dstw);
1260 1.1.1.5 alnsn fprintf(compiler->verbose, ", ");
1261 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src, srcw);
1262 1.1.1.5 alnsn fprintf(compiler->verbose, "\n");
1263 1.1.1.5 alnsn }
1264 1.1.1.5 alnsn #endif
1265 1.1.1.5 alnsn CHECK_RETURN_OK;
1266 1.1.1.5 alnsn }
1267 1.1.1.5 alnsn
1268 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,
1269 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1270 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1271 1.1.1.5 alnsn {
1272 1.1.1.6 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1273 1.1.1.6 alnsn compiler->last_flags = GET_FLAG_TYPE(op) | (op & (SLJIT_I32_OP | SLJIT_SET_Z));
1274 1.1.1.6 alnsn #endif
1275 1.1.1.6 alnsn
1276 1.1 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1277 1.1 alnsn compiler->skip_checks = 0;
1278 1.1.1.5 alnsn CHECK_RETURN_OK;
1279 1.1 alnsn }
1280 1.1.1.5 alnsn
1281 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1282 1.1.1.5 alnsn CHECK_ARGUMENT(sljit_is_fpu_available());
1283 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) == SLJIT_CMP_F64);
1284 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & SLJIT_SET_Z));
1285 1.1.1.6 alnsn CHECK_ARGUMENT((op & VARIABLE_FLAG_MASK)
1286 1.1.1.6 alnsn || (GET_FLAG_TYPE(op) >= SLJIT_EQUAL_F64 && GET_FLAG_TYPE(op) <= SLJIT_ORDERED_F64));
1287 1.1.1.5 alnsn FUNCTION_FCHECK(src1, src1w);
1288 1.1.1.5 alnsn FUNCTION_FCHECK(src2, src2w);
1289 1.1 alnsn #endif
1290 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1291 1.1.1.5 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1292 1.1.1.6 alnsn fprintf(compiler->verbose, " %s%s", fop1_names[SLJIT_CMP_F64 - SLJIT_FOP1_BASE], (op & SLJIT_F32_OP) ? ".f32" : ".f64");
1293 1.1.1.6 alnsn if (op & VARIABLE_FLAG_MASK) {
1294 1.1.1.6 alnsn fprintf(compiler->verbose, ".%s_f", jump_names[GET_FLAG_TYPE(op)]);
1295 1.1.1.6 alnsn }
1296 1.1.1.6 alnsn fprintf(compiler->verbose, " ");
1297 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src1, src1w);
1298 1.1.1.5 alnsn fprintf(compiler->verbose, ", ");
1299 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src2, src2w);
1300 1.1.1.5 alnsn fprintf(compiler->verbose, "\n");
1301 1.1.1.5 alnsn }
1302 1.1.1.5 alnsn #endif
1303 1.1.1.5 alnsn CHECK_RETURN_OK;
1304 1.1.1.5 alnsn }
1305 1.1 alnsn
1306 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,
1307 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1308 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw)
1309 1.1.1.5 alnsn {
1310 1.1.1.5 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1311 1.1.1.5 alnsn compiler->skip_checks = 0;
1312 1.1.1.5 alnsn CHECK_RETURN_OK;
1313 1.1.1.5 alnsn }
1314 1.1.1.5 alnsn
1315 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1316 1.1.1.5 alnsn CHECK_ARGUMENT(sljit_is_fpu_available());
1317 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) >= SLJIT_CONV_SW_FROM_F64 && GET_OPCODE(op) <= SLJIT_CONV_S32_FROM_F64);
1318 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & (SLJIT_SET_Z | VARIABLE_FLAG_MASK)));
1319 1.1 alnsn FUNCTION_FCHECK(src, srcw);
1320 1.1.1.5 alnsn FUNCTION_CHECK_DST(dst, dstw);
1321 1.1 alnsn #endif
1322 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1323 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1324 1.1.1.5 alnsn fprintf(compiler->verbose, " %s%s.from%s ", fop1_names[GET_OPCODE(op) - SLJIT_FOP1_BASE],
1325 1.1.1.5 alnsn (GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64) ? ".s32" : ".sw",
1326 1.1.1.5 alnsn (op & SLJIT_F32_OP) ? ".f32" : ".f64");
1327 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
1328 1.1 alnsn fprintf(compiler->verbose, ", ");
1329 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src, srcw);
1330 1.1 alnsn fprintf(compiler->verbose, "\n");
1331 1.1 alnsn }
1332 1.1 alnsn #endif
1333 1.1.1.5 alnsn CHECK_RETURN_OK;
1334 1.1 alnsn }
1335 1.1 alnsn
1336 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,
1337 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1338 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw)
1339 1.1 alnsn {
1340 1.1.1.5 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1341 1.1.1.5 alnsn compiler->skip_checks = 0;
1342 1.1.1.5 alnsn CHECK_RETURN_OK;
1343 1.1.1.5 alnsn }
1344 1.1 alnsn
1345 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1346 1.1.1.5 alnsn CHECK_ARGUMENT(sljit_is_fpu_available());
1347 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) >= SLJIT_CONV_F64_FROM_SW && GET_OPCODE(op) <= SLJIT_CONV_F64_FROM_S32);
1348 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & (SLJIT_SET_Z | VARIABLE_FLAG_MASK)));
1349 1.1.1.5 alnsn FUNCTION_CHECK_SRC(src, srcw);
1350 1.1.1.5 alnsn FUNCTION_FCHECK(dst, dstw);
1351 1.1.1.5 alnsn #endif
1352 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1353 1.1.1.5 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1354 1.1.1.5 alnsn fprintf(compiler->verbose, " %s%s.from%s ", fop1_names[GET_OPCODE(op) - SLJIT_FOP1_BASE],
1355 1.1.1.5 alnsn (op & SLJIT_F32_OP) ? ".f32" : ".f64",
1356 1.1.1.5 alnsn (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32) ? ".s32" : ".sw");
1357 1.1.1.5 alnsn sljit_verbose_fparam(compiler, dst, dstw);
1358 1.1.1.5 alnsn fprintf(compiler->verbose, ", ");
1359 1.1.1.5 alnsn sljit_verbose_param(compiler, src, srcw);
1360 1.1.1.5 alnsn fprintf(compiler->verbose, "\n");
1361 1.1.1.5 alnsn }
1362 1.1.1.5 alnsn #endif
1363 1.1.1.5 alnsn CHECK_RETURN_OK;
1364 1.1.1.5 alnsn }
1365 1.1.1.5 alnsn
1366 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,
1367 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1368 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1369 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1370 1.1.1.5 alnsn {
1371 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1372 1.1.1.5 alnsn CHECK_ARGUMENT(sljit_is_fpu_available());
1373 1.1.1.5 alnsn CHECK_ARGUMENT(GET_OPCODE(op) >= SLJIT_ADD_F64 && GET_OPCODE(op) <= SLJIT_DIV_F64);
1374 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & (SLJIT_SET_Z | VARIABLE_FLAG_MASK)));
1375 1.1 alnsn FUNCTION_FCHECK(src1, src1w);
1376 1.1 alnsn FUNCTION_FCHECK(src2, src2w);
1377 1.1 alnsn FUNCTION_FCHECK(dst, dstw);
1378 1.1 alnsn #endif
1379 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1380 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1381 1.1.1.5 alnsn fprintf(compiler->verbose, " %s%s ", fop2_names[GET_OPCODE(op) - SLJIT_FOP2_BASE], (op & SLJIT_F32_OP) ? ".f32" : ".f64");
1382 1.1.1.5 alnsn sljit_verbose_fparam(compiler, dst, dstw);
1383 1.1 alnsn fprintf(compiler->verbose, ", ");
1384 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src1, src1w);
1385 1.1 alnsn fprintf(compiler->verbose, ", ");
1386 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src2, src2w);
1387 1.1 alnsn fprintf(compiler->verbose, "\n");
1388 1.1 alnsn }
1389 1.1 alnsn #endif
1390 1.1.1.5 alnsn CHECK_RETURN_OK;
1391 1.1 alnsn }
1392 1.1 alnsn
1393 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_label(struct sljit_compiler *compiler)
1394 1.1 alnsn {
1395 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1396 1.1 alnsn
1397 1.1.1.6 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1398 1.1.1.6 alnsn compiler->last_flags = 0;
1399 1.1.1.6 alnsn #endif
1400 1.1.1.6 alnsn
1401 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1402 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose))
1403 1.1 alnsn fprintf(compiler->verbose, "label:\n");
1404 1.1 alnsn #endif
1405 1.1.1.5 alnsn CHECK_RETURN_OK;
1406 1.1 alnsn }
1407 1.1 alnsn
1408 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)
1409 1.1 alnsn {
1410 1.1 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1411 1.1 alnsn compiler->skip_checks = 0;
1412 1.1.1.5 alnsn CHECK_RETURN_OK;
1413 1.1 alnsn }
1414 1.1 alnsn
1415 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1416 1.1.1.5 alnsn CHECK_ARGUMENT(!(type & ~(0xff | SLJIT_REWRITABLE_JUMP | SLJIT_I32_OP)));
1417 1.1.1.6 alnsn CHECK_ARGUMENT((type & 0xff) != GET_FLAG_TYPE(SLJIT_SET_CARRY) && (type & 0xff) != (GET_FLAG_TYPE(SLJIT_SET_CARRY) + 1));
1418 1.1.1.5 alnsn CHECK_ARGUMENT((type & 0xff) >= SLJIT_EQUAL && (type & 0xff) <= SLJIT_CALL3);
1419 1.1.1.5 alnsn CHECK_ARGUMENT((type & 0xff) < SLJIT_JUMP || !(type & SLJIT_I32_OP));
1420 1.1.1.5 alnsn CHECK_ARGUMENT((type & 0xff) <= SLJIT_CALL0 || ((type & 0xff) - SLJIT_CALL0) <= compiler->scratches);
1421 1.1.1.6 alnsn
1422 1.1.1.6 alnsn if ((type & 0xff) < SLJIT_JUMP) {
1423 1.1.1.6 alnsn if ((type & 0xff) <= SLJIT_NOT_ZERO)
1424 1.1.1.6 alnsn CHECK_ARGUMENT(compiler->last_flags & SLJIT_SET_Z);
1425 1.1.1.6 alnsn else
1426 1.1.1.6 alnsn CHECK_ARGUMENT((type & 0xff) == (compiler->last_flags & 0xff));
1427 1.1.1.6 alnsn CHECK_ARGUMENT((type & SLJIT_I32_OP) == (compiler->last_flags & SLJIT_I32_OP));
1428 1.1.1.6 alnsn }
1429 1.1.1.5 alnsn #endif
1430 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1431 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose))
1432 1.1.1.5 alnsn fprintf(compiler->verbose, " jump%s %s%s\n", !(type & SLJIT_REWRITABLE_JUMP) ? "" : ".r",
1433 1.1.1.5 alnsn jump_names[type & 0xff], JUMP_POSTFIX(type));
1434 1.1 alnsn #endif
1435 1.1.1.5 alnsn CHECK_RETURN_OK;
1436 1.1 alnsn }
1437 1.1 alnsn
1438 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_cmp(struct sljit_compiler *compiler, sljit_s32 type,
1439 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1440 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1441 1.1 alnsn {
1442 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1443 1.1.1.5 alnsn CHECK_ARGUMENT(!(type & ~(0xff | SLJIT_REWRITABLE_JUMP | SLJIT_I32_OP)));
1444 1.1.1.5 alnsn CHECK_ARGUMENT((type & 0xff) >= SLJIT_EQUAL && (type & 0xff) <= SLJIT_SIG_LESS_EQUAL);
1445 1.1 alnsn FUNCTION_CHECK_SRC(src1, src1w);
1446 1.1 alnsn FUNCTION_CHECK_SRC(src2, src2w);
1447 1.1.1.6 alnsn compiler->last_flags = 0;
1448 1.1 alnsn #endif
1449 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1450 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1451 1.1.1.5 alnsn fprintf(compiler->verbose, " cmp%s %s%s, ", !(type & SLJIT_REWRITABLE_JUMP) ? "" : ".r",
1452 1.1.1.5 alnsn jump_names[type & 0xff], (type & SLJIT_I32_OP) ? "32" : "");
1453 1.1.1.5 alnsn sljit_verbose_param(compiler, src1, src1w);
1454 1.1 alnsn fprintf(compiler->verbose, ", ");
1455 1.1.1.5 alnsn sljit_verbose_param(compiler, src2, src2w);
1456 1.1 alnsn fprintf(compiler->verbose, "\n");
1457 1.1 alnsn }
1458 1.1 alnsn #endif
1459 1.1.1.5 alnsn CHECK_RETURN_OK;
1460 1.1 alnsn }
1461 1.1 alnsn
1462 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_fcmp(struct sljit_compiler *compiler, sljit_s32 type,
1463 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1464 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1465 1.1 alnsn {
1466 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1467 1.1.1.5 alnsn CHECK_ARGUMENT(sljit_is_fpu_available());
1468 1.1.1.5 alnsn CHECK_ARGUMENT(!(type & ~(0xff | SLJIT_REWRITABLE_JUMP | SLJIT_F32_OP)));
1469 1.1.1.5 alnsn CHECK_ARGUMENT((type & 0xff) >= SLJIT_EQUAL_F64 && (type & 0xff) <= SLJIT_ORDERED_F64);
1470 1.1 alnsn FUNCTION_FCHECK(src1, src1w);
1471 1.1 alnsn FUNCTION_FCHECK(src2, src2w);
1472 1.1.1.6 alnsn compiler->last_flags = 0;
1473 1.1 alnsn #endif
1474 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1475 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1476 1.1.1.5 alnsn fprintf(compiler->verbose, " fcmp%s %s%s, ", !(type & SLJIT_REWRITABLE_JUMP) ? "" : ".r",
1477 1.1.1.5 alnsn jump_names[type & 0xff], (type & SLJIT_F32_OP) ? ".f32" : ".f64");
1478 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src1, src1w);
1479 1.1 alnsn fprintf(compiler->verbose, ", ");
1480 1.1.1.5 alnsn sljit_verbose_fparam(compiler, src2, src2w);
1481 1.1 alnsn fprintf(compiler->verbose, "\n");
1482 1.1 alnsn }
1483 1.1 alnsn #endif
1484 1.1.1.5 alnsn CHECK_RETURN_OK;
1485 1.1 alnsn }
1486 1.1 alnsn
1487 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)
1488 1.1 alnsn {
1489 1.1.1.6 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1490 1.1.1.6 alnsn compiler->last_flags = 0;
1491 1.1.1.6 alnsn #endif
1492 1.1.1.6 alnsn
1493 1.1.1.4 alnsn if (SLJIT_UNLIKELY(compiler->skip_checks)) {
1494 1.1.1.4 alnsn compiler->skip_checks = 0;
1495 1.1.1.5 alnsn CHECK_RETURN_OK;
1496 1.1.1.4 alnsn }
1497 1.1.1.4 alnsn
1498 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1499 1.1.1.5 alnsn CHECK_ARGUMENT(type >= SLJIT_JUMP && type <= SLJIT_CALL3);
1500 1.1.1.5 alnsn CHECK_ARGUMENT(type <= SLJIT_CALL0 || (type - SLJIT_CALL0) <= compiler->scratches);
1501 1.1 alnsn FUNCTION_CHECK_SRC(src, srcw);
1502 1.1 alnsn #endif
1503 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1504 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1505 1.1.1.4 alnsn fprintf(compiler->verbose, " ijump.%s ", jump_names[type]);
1506 1.1.1.5 alnsn sljit_verbose_param(compiler, src, srcw);
1507 1.1 alnsn fprintf(compiler->verbose, "\n");
1508 1.1 alnsn }
1509 1.1 alnsn #endif
1510 1.1.1.5 alnsn CHECK_RETURN_OK;
1511 1.1 alnsn }
1512 1.1 alnsn
1513 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,
1514 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1515 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw,
1516 1.1.1.5 alnsn sljit_s32 type)
1517 1.1.1.5 alnsn {
1518 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1519 1.1.1.5 alnsn CHECK_ARGUMENT(!(type & ~(0xff | SLJIT_I32_OP)));
1520 1.1.1.5 alnsn CHECK_ARGUMENT((type & 0xff) >= SLJIT_EQUAL && (type & 0xff) <= SLJIT_ORDERED_F64);
1521 1.1.1.6 alnsn CHECK_ARGUMENT((type & 0xff) != GET_FLAG_TYPE(SLJIT_SET_CARRY) && (type & 0xff) != (GET_FLAG_TYPE(SLJIT_SET_CARRY) + 1));
1522 1.1.1.5 alnsn CHECK_ARGUMENT(op == SLJIT_MOV || GET_OPCODE(op) == SLJIT_MOV_U32 || GET_OPCODE(op) == SLJIT_MOV_S32
1523 1.1.1.4 alnsn || (GET_OPCODE(op) >= SLJIT_AND && GET_OPCODE(op) <= SLJIT_XOR));
1524 1.1.1.6 alnsn CHECK_ARGUMENT(!(op & VARIABLE_FLAG_MASK));
1525 1.1.1.6 alnsn
1526 1.1.1.6 alnsn if ((type & 0xff) <= SLJIT_NOT_ZERO)
1527 1.1.1.6 alnsn CHECK_ARGUMENT(compiler->last_flags & SLJIT_SET_Z);
1528 1.1.1.6 alnsn else
1529 1.1.1.6 alnsn CHECK_ARGUMENT((type & 0xff) == (compiler->last_flags & 0xff));
1530 1.1.1.6 alnsn
1531 1.1.1.4 alnsn if (GET_OPCODE(op) < SLJIT_ADD) {
1532 1.1.1.5 alnsn CHECK_ARGUMENT(src == SLJIT_UNUSED && srcw == 0);
1533 1.1.1.4 alnsn } else {
1534 1.1.1.5 alnsn CHECK_ARGUMENT(src == dst && srcw == dstw);
1535 1.1.1.6 alnsn compiler->last_flags = GET_FLAG_TYPE(op) | (op & (SLJIT_I32_OP | SLJIT_SET_Z));
1536 1.1.1.4 alnsn }
1537 1.1 alnsn FUNCTION_CHECK_DST(dst, dstw);
1538 1.1 alnsn #endif
1539 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1540 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1541 1.1.1.6 alnsn fprintf(compiler->verbose, " flags%s %s%s, ",
1542 1.1.1.6 alnsn !(op & SLJIT_SET_Z) ? "" : ".z",
1543 1.1.1.5 alnsn GET_OPCODE(op) < SLJIT_OP2_BASE ? "mov" : op2_names[GET_OPCODE(op) - SLJIT_OP2_BASE],
1544 1.1.1.5 alnsn GET_OPCODE(op) < SLJIT_OP2_BASE ? op1_names[GET_OPCODE(op) - SLJIT_OP1_BASE] : ((op & SLJIT_I32_OP) ? "32" : ""));
1545 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
1546 1.1.1.4 alnsn if (src != SLJIT_UNUSED) {
1547 1.1.1.4 alnsn fprintf(compiler->verbose, ", ");
1548 1.1.1.5 alnsn sljit_verbose_param(compiler, src, srcw);
1549 1.1.1.4 alnsn }
1550 1.1.1.5 alnsn fprintf(compiler->verbose, ", %s%s\n", jump_names[type & 0xff], JUMP_POSTFIX(type));
1551 1.1 alnsn }
1552 1.1 alnsn #endif
1553 1.1.1.5 alnsn CHECK_RETURN_OK;
1554 1.1 alnsn }
1555 1.1 alnsn
1556 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_get_local_base(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw offset)
1557 1.1 alnsn {
1558 1.1 alnsn SLJIT_UNUSED_ARG(offset);
1559 1.1 alnsn
1560 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1561 1.1 alnsn FUNCTION_CHECK_DST(dst, dstw);
1562 1.1 alnsn #endif
1563 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1564 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1565 1.1 alnsn fprintf(compiler->verbose, " local_base ");
1566 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
1567 1.1 alnsn fprintf(compiler->verbose, ", #%" SLJIT_PRINT_D "d\n", offset);
1568 1.1 alnsn }
1569 1.1 alnsn #endif
1570 1.1.1.5 alnsn CHECK_RETURN_OK;
1571 1.1 alnsn }
1572 1.1 alnsn
1573 1.1.1.5 alnsn static SLJIT_INLINE CHECK_RETURN_TYPE check_sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw init_value)
1574 1.1 alnsn {
1575 1.1 alnsn SLJIT_UNUSED_ARG(init_value);
1576 1.1 alnsn
1577 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1578 1.1 alnsn FUNCTION_CHECK_DST(dst, dstw);
1579 1.1 alnsn #endif
1580 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1581 1.1 alnsn if (SLJIT_UNLIKELY(!!compiler->verbose)) {
1582 1.1 alnsn fprintf(compiler->verbose, " const ");
1583 1.1.1.5 alnsn sljit_verbose_param(compiler, dst, dstw);
1584 1.1 alnsn fprintf(compiler->verbose, ", #%" SLJIT_PRINT_D "d\n", init_value);
1585 1.1 alnsn }
1586 1.1 alnsn #endif
1587 1.1.1.5 alnsn CHECK_RETURN_OK;
1588 1.1 alnsn }
1589 1.1 alnsn
1590 1.1.1.5 alnsn #endif /* SLJIT_ARGUMENT_CHECKS || SLJIT_VERBOSE */
1591 1.1.1.5 alnsn
1592 1.1.1.5 alnsn #define SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw) \
1593 1.1.1.5 alnsn SLJIT_COMPILE_ASSERT(!(SLJIT_CONV_SW_FROM_F64 & 0x1) && !(SLJIT_CONV_F64_FROM_SW & 0x1), \
1594 1.1.1.5 alnsn invalid_float_opcodes); \
1595 1.1.1.5 alnsn if (GET_OPCODE(op) >= SLJIT_CONV_SW_FROM_F64 && GET_OPCODE(op) <= SLJIT_CMP_F64) { \
1596 1.1.1.5 alnsn if (GET_OPCODE(op) == SLJIT_CMP_F64) { \
1597 1.1.1.5 alnsn CHECK(check_sljit_emit_fop1_cmp(compiler, op, dst, dstw, src, srcw)); \
1598 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(dst, dstw); \
1599 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(src, srcw); \
1600 1.1.1.5 alnsn return sljit_emit_fop1_cmp(compiler, op, dst, dstw, src, srcw); \
1601 1.1.1.5 alnsn } \
1602 1.1.1.5 alnsn if ((GET_OPCODE(op) | 0x1) == SLJIT_CONV_S32_FROM_F64) { \
1603 1.1.1.5 alnsn CHECK(check_sljit_emit_fop1_conv_sw_from_f64(compiler, op, dst, dstw, src, srcw)); \
1604 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(dst, dstw); \
1605 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(src, srcw); \
1606 1.1.1.5 alnsn return sljit_emit_fop1_conv_sw_from_f64(compiler, op, dst, dstw, src, srcw); \
1607 1.1.1.5 alnsn } \
1608 1.1.1.5 alnsn CHECK(check_sljit_emit_fop1_conv_f64_from_sw(compiler, op, dst, dstw, src, srcw)); \
1609 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(dst, dstw); \
1610 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(src, srcw); \
1611 1.1.1.5 alnsn return sljit_emit_fop1_conv_f64_from_sw(compiler, op, dst, dstw, src, srcw); \
1612 1.1.1.5 alnsn } \
1613 1.1.1.5 alnsn CHECK(check_sljit_emit_fop1(compiler, op, dst, dstw, src, srcw)); \
1614 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(dst, dstw); \
1615 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(src, srcw);
1616 1.1.1.5 alnsn
1617 1.1.1.5 alnsn static SLJIT_INLINE sljit_s32 emit_mov_before_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw)
1618 1.1 alnsn {
1619 1.1 alnsn /* Return if don't need to do anything. */
1620 1.1 alnsn if (op == SLJIT_UNUSED)
1621 1.1 alnsn return SLJIT_SUCCESS;
1622 1.1 alnsn
1623 1.1 alnsn #if (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
1624 1.1.1.4 alnsn /* At the moment the pointer size is always equal to sljit_sw. May be changed in the future. */
1625 1.1.1.4 alnsn if (src == SLJIT_RETURN_REG && (op == SLJIT_MOV || op == SLJIT_MOV_P))
1626 1.1 alnsn return SLJIT_SUCCESS;
1627 1.1 alnsn #else
1628 1.1.1.5 alnsn if (src == SLJIT_RETURN_REG && (op == SLJIT_MOV || op == SLJIT_MOV_U32 || op == SLJIT_MOV_S32 || op == SLJIT_MOV_P))
1629 1.1 alnsn return SLJIT_SUCCESS;
1630 1.1 alnsn #endif
1631 1.1 alnsn
1632 1.1.1.5 alnsn #if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS) \
1633 1.1.1.5 alnsn || (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1634 1.1 alnsn compiler->skip_checks = 1;
1635 1.1 alnsn #endif
1636 1.1 alnsn return sljit_emit_op1(compiler, op, SLJIT_RETURN_REG, 0, src, srcw);
1637 1.1 alnsn }
1638 1.1 alnsn
1639 1.1 alnsn /* CPU description section */
1640 1.1 alnsn
1641 1.1 alnsn #if (defined SLJIT_32BIT_ARCHITECTURE && SLJIT_32BIT_ARCHITECTURE)
1642 1.1 alnsn #define SLJIT_CPUINFO_PART1 " 32bit ("
1643 1.1 alnsn #elif (defined SLJIT_64BIT_ARCHITECTURE && SLJIT_64BIT_ARCHITECTURE)
1644 1.1 alnsn #define SLJIT_CPUINFO_PART1 " 64bit ("
1645 1.1 alnsn #else
1646 1.1 alnsn #error "Internal error: CPU type info missing"
1647 1.1 alnsn #endif
1648 1.1 alnsn
1649 1.1 alnsn #if (defined SLJIT_LITTLE_ENDIAN && SLJIT_LITTLE_ENDIAN)
1650 1.1 alnsn #define SLJIT_CPUINFO_PART2 "little endian + "
1651 1.1 alnsn #elif (defined SLJIT_BIG_ENDIAN && SLJIT_BIG_ENDIAN)
1652 1.1 alnsn #define SLJIT_CPUINFO_PART2 "big endian + "
1653 1.1 alnsn #else
1654 1.1 alnsn #error "Internal error: CPU type info missing"
1655 1.1 alnsn #endif
1656 1.1 alnsn
1657 1.1 alnsn #if (defined SLJIT_UNALIGNED && SLJIT_UNALIGNED)
1658 1.1 alnsn #define SLJIT_CPUINFO_PART3 "unaligned)"
1659 1.1 alnsn #else
1660 1.1 alnsn #define SLJIT_CPUINFO_PART3 "aligned)"
1661 1.1 alnsn #endif
1662 1.1 alnsn
1663 1.1 alnsn #define SLJIT_CPUINFO SLJIT_CPUINFO_PART1 SLJIT_CPUINFO_PART2 SLJIT_CPUINFO_PART3
1664 1.1 alnsn
1665 1.1.1.5 alnsn #if (defined SLJIT_CONFIG_X86 && SLJIT_CONFIG_X86)
1666 1.1.1.4 alnsn # include "sljitNativeX86_common.c"
1667 1.1 alnsn #elif (defined SLJIT_CONFIG_ARM_V5 && SLJIT_CONFIG_ARM_V5)
1668 1.1.1.4 alnsn # include "sljitNativeARM_32.c"
1669 1.1 alnsn #elif (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)
1670 1.1.1.4 alnsn # include "sljitNativeARM_32.c"
1671 1.1 alnsn #elif (defined SLJIT_CONFIG_ARM_THUMB2 && SLJIT_CONFIG_ARM_THUMB2)
1672 1.1.1.4 alnsn # include "sljitNativeARM_T2_32.c"
1673 1.1.1.4 alnsn #elif (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64)
1674 1.1.1.4 alnsn # include "sljitNativeARM_64.c"
1675 1.1.1.5 alnsn #elif (defined SLJIT_CONFIG_PPC && SLJIT_CONFIG_PPC)
1676 1.1.1.4 alnsn # include "sljitNativePPC_common.c"
1677 1.1.1.5 alnsn #elif (defined SLJIT_CONFIG_MIPS && SLJIT_CONFIG_MIPS)
1678 1.1.1.4 alnsn # include "sljitNativeMIPS_common.c"
1679 1.1.1.5 alnsn #elif (defined SLJIT_CONFIG_SPARC && SLJIT_CONFIG_SPARC)
1680 1.1.1.4 alnsn # include "sljitNativeSPARC_common.c"
1681 1.1.1.4 alnsn #elif (defined SLJIT_CONFIG_TILEGX && SLJIT_CONFIG_TILEGX)
1682 1.1.1.4 alnsn # include "sljitNativeTILEGX_64.c"
1683 1.1 alnsn #endif
1684 1.1 alnsn
1685 1.1.1.5 alnsn #if !(defined SLJIT_CONFIG_MIPS && SLJIT_CONFIG_MIPS)
1686 1.1 alnsn
1687 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_cmp(struct sljit_compiler *compiler, sljit_s32 type,
1688 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1689 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1690 1.1 alnsn {
1691 1.1 alnsn /* Default compare for most architectures. */
1692 1.1.1.5 alnsn sljit_s32 flags, tmp_src, condition;
1693 1.1.1.4 alnsn sljit_sw tmp_srcw;
1694 1.1 alnsn
1695 1.1 alnsn CHECK_ERROR_PTR();
1696 1.1.1.5 alnsn CHECK_PTR(check_sljit_emit_cmp(compiler, type, src1, src1w, src2, src2w));
1697 1.1 alnsn
1698 1.1 alnsn condition = type & 0xff;
1699 1.1.1.4 alnsn #if (defined SLJIT_CONFIG_ARM_64 && SLJIT_CONFIG_ARM_64)
1700 1.1.1.5 alnsn if ((condition == SLJIT_EQUAL || condition == SLJIT_NOT_EQUAL)) {
1701 1.1.1.4 alnsn if ((src1 & SLJIT_IMM) && !src1w) {
1702 1.1.1.4 alnsn src1 = src2;
1703 1.1.1.4 alnsn src1w = src2w;
1704 1.1.1.4 alnsn src2 = SLJIT_IMM;
1705 1.1.1.4 alnsn src2w = 0;
1706 1.1.1.4 alnsn }
1707 1.1.1.4 alnsn if ((src2 & SLJIT_IMM) && !src2w)
1708 1.1.1.4 alnsn return emit_cmp_to0(compiler, type, src1, src1w);
1709 1.1.1.4 alnsn }
1710 1.1.1.4 alnsn #endif
1711 1.1.1.4 alnsn
1712 1.1 alnsn if (SLJIT_UNLIKELY((src1 & SLJIT_IMM) && !(src2 & SLJIT_IMM))) {
1713 1.1 alnsn /* Immediate is prefered as second argument by most architectures. */
1714 1.1 alnsn switch (condition) {
1715 1.1.1.5 alnsn case SLJIT_LESS:
1716 1.1.1.5 alnsn condition = SLJIT_GREATER;
1717 1.1 alnsn break;
1718 1.1.1.5 alnsn case SLJIT_GREATER_EQUAL:
1719 1.1.1.5 alnsn condition = SLJIT_LESS_EQUAL;
1720 1.1 alnsn break;
1721 1.1.1.5 alnsn case SLJIT_GREATER:
1722 1.1.1.5 alnsn condition = SLJIT_LESS;
1723 1.1 alnsn break;
1724 1.1.1.5 alnsn case SLJIT_LESS_EQUAL:
1725 1.1.1.5 alnsn condition = SLJIT_GREATER_EQUAL;
1726 1.1 alnsn break;
1727 1.1.1.5 alnsn case SLJIT_SIG_LESS:
1728 1.1.1.5 alnsn condition = SLJIT_SIG_GREATER;
1729 1.1 alnsn break;
1730 1.1.1.5 alnsn case SLJIT_SIG_GREATER_EQUAL:
1731 1.1.1.5 alnsn condition = SLJIT_SIG_LESS_EQUAL;
1732 1.1 alnsn break;
1733 1.1.1.5 alnsn case SLJIT_SIG_GREATER:
1734 1.1.1.5 alnsn condition = SLJIT_SIG_LESS;
1735 1.1 alnsn break;
1736 1.1.1.5 alnsn case SLJIT_SIG_LESS_EQUAL:
1737 1.1.1.5 alnsn condition = SLJIT_SIG_GREATER_EQUAL;
1738 1.1 alnsn break;
1739 1.1 alnsn }
1740 1.1.1.6 alnsn
1741 1.1.1.5 alnsn type = condition | (type & (SLJIT_I32_OP | SLJIT_REWRITABLE_JUMP));
1742 1.1 alnsn tmp_src = src1;
1743 1.1 alnsn src1 = src2;
1744 1.1 alnsn src2 = tmp_src;
1745 1.1 alnsn tmp_srcw = src1w;
1746 1.1 alnsn src1w = src2w;
1747 1.1 alnsn src2w = tmp_srcw;
1748 1.1 alnsn }
1749 1.1 alnsn
1750 1.1.1.5 alnsn if (condition <= SLJIT_NOT_ZERO)
1751 1.1.1.6 alnsn flags = SLJIT_SET_Z;
1752 1.1 alnsn else
1753 1.1.1.6 alnsn flags = condition << VARIABLE_FLAG_SHIFT;
1754 1.1 alnsn
1755 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1756 1.1.1.5 alnsn || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1757 1.1 alnsn compiler->skip_checks = 1;
1758 1.1 alnsn #endif
1759 1.1.1.5 alnsn PTR_FAIL_IF(sljit_emit_op2(compiler, SLJIT_SUB | flags | (type & SLJIT_I32_OP),
1760 1.1 alnsn SLJIT_UNUSED, 0, src1, src1w, src2, src2w));
1761 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1762 1.1.1.5 alnsn || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1763 1.1 alnsn compiler->skip_checks = 1;
1764 1.1 alnsn #endif
1765 1.1.1.6 alnsn return sljit_emit_jump(compiler, condition | (type & (SLJIT_REWRITABLE_JUMP | SLJIT_I32_OP)));
1766 1.1 alnsn }
1767 1.1 alnsn
1768 1.1.1.6 alnsn #endif
1769 1.1.1.6 alnsn
1770 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_fcmp(struct sljit_compiler *compiler, sljit_s32 type,
1771 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1772 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1773 1.1 alnsn {
1774 1.1.1.5 alnsn CHECK_ERROR_PTR();
1775 1.1.1.5 alnsn CHECK_PTR(check_sljit_emit_fcmp(compiler, type, src1, src1w, src2, src2w));
1776 1.1 alnsn
1777 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1778 1.1.1.5 alnsn || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1779 1.1 alnsn compiler->skip_checks = 1;
1780 1.1 alnsn #endif
1781 1.1.1.6 alnsn sljit_emit_fop1(compiler, SLJIT_CMP_F64 | ((type & 0xff) << VARIABLE_FLAG_SHIFT) | (type & SLJIT_I32_OP), src1, src1w, src2, src2w);
1782 1.1 alnsn
1783 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1784 1.1.1.5 alnsn || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1785 1.1 alnsn compiler->skip_checks = 1;
1786 1.1 alnsn #endif
1787 1.1.1.6 alnsn return sljit_emit_jump(compiler, type);
1788 1.1 alnsn }
1789 1.1 alnsn
1790 1.1.1.5 alnsn #if !(defined SLJIT_CONFIG_X86 && SLJIT_CONFIG_X86)
1791 1.1 alnsn
1792 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_local_base(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw offset)
1793 1.1 alnsn {
1794 1.1 alnsn CHECK_ERROR();
1795 1.1.1.5 alnsn CHECK(check_sljit_get_local_base(compiler, dst, dstw, offset));
1796 1.1 alnsn
1797 1.1.1.5 alnsn ADJUST_LOCAL_OFFSET(SLJIT_MEM1(SLJIT_SP), offset);
1798 1.1.1.5 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1799 1.1.1.5 alnsn || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1800 1.1 alnsn compiler->skip_checks = 1;
1801 1.1 alnsn #endif
1802 1.1 alnsn if (offset != 0)
1803 1.1.1.6 alnsn return sljit_emit_op2(compiler, SLJIT_ADD, dst, dstw, SLJIT_SP, 0, SLJIT_IMM, offset);
1804 1.1.1.5 alnsn return sljit_emit_op1(compiler, SLJIT_MOV, dst, dstw, SLJIT_SP, 0);
1805 1.1 alnsn }
1806 1.1 alnsn
1807 1.1 alnsn #endif
1808 1.1 alnsn
1809 1.1 alnsn #else /* SLJIT_CONFIG_UNSUPPORTED */
1810 1.1 alnsn
1811 1.1 alnsn /* Empty function bodies for those machines, which are not (yet) supported. */
1812 1.1 alnsn
1813 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE const char* sljit_get_platform_name(void)
1814 1.1 alnsn {
1815 1.1 alnsn return "unsupported";
1816 1.1 alnsn }
1817 1.1 alnsn
1818 1.1.1.6 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_compiler* sljit_create_compiler(void *allocator_data)
1819 1.1 alnsn {
1820 1.1.1.6 alnsn SLJIT_UNUSED_ARG(allocator_data);
1821 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1822 1.1 alnsn return NULL;
1823 1.1 alnsn }
1824 1.1 alnsn
1825 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_free_compiler(struct sljit_compiler *compiler)
1826 1.1 alnsn {
1827 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1828 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1829 1.1.1.6 alnsn }
1830 1.1.1.6 alnsn
1831 1.1.1.6 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_compiler_memory_error(struct sljit_compiler *compiler)
1832 1.1.1.6 alnsn {
1833 1.1.1.6 alnsn SLJIT_UNUSED_ARG(compiler);
1834 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1835 1.1 alnsn }
1836 1.1 alnsn
1837 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE void* sljit_alloc_memory(struct sljit_compiler *compiler, sljit_s32 size)
1838 1.1 alnsn {
1839 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1840 1.1 alnsn SLJIT_UNUSED_ARG(size);
1841 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1842 1.1 alnsn return NULL;
1843 1.1 alnsn }
1844 1.1 alnsn
1845 1.1 alnsn #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE)
1846 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_compiler_verbose(struct sljit_compiler *compiler, FILE* verbose)
1847 1.1 alnsn {
1848 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1849 1.1 alnsn SLJIT_UNUSED_ARG(verbose);
1850 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1851 1.1 alnsn }
1852 1.1 alnsn #endif
1853 1.1 alnsn
1854 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler)
1855 1.1 alnsn {
1856 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1857 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1858 1.1 alnsn return NULL;
1859 1.1 alnsn }
1860 1.1 alnsn
1861 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_free_code(void* code)
1862 1.1 alnsn {
1863 1.1 alnsn SLJIT_UNUSED_ARG(code);
1864 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1865 1.1 alnsn }
1866 1.1 alnsn
1867 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,
1868 1.1.1.5 alnsn sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds,
1869 1.1.1.5 alnsn sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
1870 1.1 alnsn {
1871 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1872 1.1.1.5 alnsn SLJIT_UNUSED_ARG(options);
1873 1.1 alnsn SLJIT_UNUSED_ARG(args);
1874 1.1.1.4 alnsn SLJIT_UNUSED_ARG(scratches);
1875 1.1 alnsn SLJIT_UNUSED_ARG(saveds);
1876 1.1.1.5 alnsn SLJIT_UNUSED_ARG(fscratches);
1877 1.1.1.5 alnsn SLJIT_UNUSED_ARG(fsaveds);
1878 1.1 alnsn SLJIT_UNUSED_ARG(local_size);
1879 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1880 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1881 1.1 alnsn }
1882 1.1 alnsn
1883 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,
1884 1.1.1.5 alnsn sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds,
1885 1.1.1.5 alnsn sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
1886 1.1 alnsn {
1887 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1888 1.1.1.5 alnsn SLJIT_UNUSED_ARG(options);
1889 1.1 alnsn SLJIT_UNUSED_ARG(args);
1890 1.1.1.4 alnsn SLJIT_UNUSED_ARG(scratches);
1891 1.1 alnsn SLJIT_UNUSED_ARG(saveds);
1892 1.1.1.5 alnsn SLJIT_UNUSED_ARG(fscratches);
1893 1.1.1.5 alnsn SLJIT_UNUSED_ARG(fsaveds);
1894 1.1 alnsn SLJIT_UNUSED_ARG(local_size);
1895 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1896 1.1.1.5 alnsn return SLJIT_ERR_UNSUPPORTED;
1897 1.1 alnsn }
1898 1.1 alnsn
1899 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw)
1900 1.1 alnsn {
1901 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1902 1.1 alnsn SLJIT_UNUSED_ARG(op);
1903 1.1 alnsn SLJIT_UNUSED_ARG(src);
1904 1.1 alnsn SLJIT_UNUSED_ARG(srcw);
1905 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1906 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1907 1.1 alnsn }
1908 1.1 alnsn
1909 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)
1910 1.1 alnsn {
1911 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1912 1.1 alnsn SLJIT_UNUSED_ARG(dst);
1913 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
1914 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1915 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1916 1.1 alnsn }
1917 1.1 alnsn
1918 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_s32 src, sljit_sw srcw)
1919 1.1 alnsn {
1920 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1921 1.1 alnsn SLJIT_UNUSED_ARG(src);
1922 1.1 alnsn SLJIT_UNUSED_ARG(srcw);
1923 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1924 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1925 1.1 alnsn }
1926 1.1 alnsn
1927 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)
1928 1.1 alnsn {
1929 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1930 1.1 alnsn SLJIT_UNUSED_ARG(op);
1931 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1932 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1933 1.1 alnsn }
1934 1.1 alnsn
1935 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,
1936 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1937 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw)
1938 1.1 alnsn {
1939 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1940 1.1 alnsn SLJIT_UNUSED_ARG(op);
1941 1.1 alnsn SLJIT_UNUSED_ARG(dst);
1942 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
1943 1.1 alnsn SLJIT_UNUSED_ARG(src);
1944 1.1 alnsn SLJIT_UNUSED_ARG(srcw);
1945 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1946 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1947 1.1 alnsn }
1948 1.1 alnsn
1949 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,
1950 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1951 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
1952 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
1953 1.1 alnsn {
1954 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1955 1.1 alnsn SLJIT_UNUSED_ARG(op);
1956 1.1 alnsn SLJIT_UNUSED_ARG(dst);
1957 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
1958 1.1 alnsn SLJIT_UNUSED_ARG(src1);
1959 1.1 alnsn SLJIT_UNUSED_ARG(src1w);
1960 1.1 alnsn SLJIT_UNUSED_ARG(src2);
1961 1.1 alnsn SLJIT_UNUSED_ARG(src2w);
1962 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1963 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1964 1.1 alnsn }
1965 1.1 alnsn
1966 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 reg)
1967 1.1 alnsn {
1968 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1969 1.1 alnsn return reg;
1970 1.1 alnsn }
1971 1.1 alnsn
1972 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,
1973 1.1.1.5 alnsn void *instruction, sljit_s32 size)
1974 1.1 alnsn {
1975 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1976 1.1 alnsn SLJIT_UNUSED_ARG(instruction);
1977 1.1 alnsn SLJIT_UNUSED_ARG(size);
1978 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1979 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
1980 1.1 alnsn }
1981 1.1 alnsn
1982 1.1.1.6 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_current_flags(struct sljit_compiler *compiler, sljit_s32 current_flags)
1983 1.1.1.6 alnsn {
1984 1.1.1.6 alnsn SLJIT_UNUSED_ARG(compiler);
1985 1.1.1.6 alnsn SLJIT_UNUSED_ARG(current_flags);
1986 1.1.1.6 alnsn }
1987 1.1.1.6 alnsn
1988 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_is_fpu_available(void)
1989 1.1 alnsn {
1990 1.1.1.6 alnsn SLJIT_UNREACHABLE();
1991 1.1 alnsn return 0;
1992 1.1 alnsn }
1993 1.1 alnsn
1994 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,
1995 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
1996 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw)
1997 1.1 alnsn {
1998 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
1999 1.1 alnsn SLJIT_UNUSED_ARG(op);
2000 1.1 alnsn SLJIT_UNUSED_ARG(dst);
2001 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
2002 1.1 alnsn SLJIT_UNUSED_ARG(src);
2003 1.1 alnsn SLJIT_UNUSED_ARG(srcw);
2004 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2005 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
2006 1.1 alnsn }
2007 1.1 alnsn
2008 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,
2009 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
2010 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
2011 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
2012 1.1 alnsn {
2013 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2014 1.1 alnsn SLJIT_UNUSED_ARG(op);
2015 1.1 alnsn SLJIT_UNUSED_ARG(dst);
2016 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
2017 1.1 alnsn SLJIT_UNUSED_ARG(src1);
2018 1.1 alnsn SLJIT_UNUSED_ARG(src1w);
2019 1.1 alnsn SLJIT_UNUSED_ARG(src2);
2020 1.1 alnsn SLJIT_UNUSED_ARG(src2w);
2021 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2022 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
2023 1.1 alnsn }
2024 1.1 alnsn
2025 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)
2026 1.1 alnsn {
2027 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2028 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2029 1.1 alnsn return NULL;
2030 1.1 alnsn }
2031 1.1 alnsn
2032 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)
2033 1.1 alnsn {
2034 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2035 1.1 alnsn SLJIT_UNUSED_ARG(type);
2036 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2037 1.1 alnsn return NULL;
2038 1.1 alnsn }
2039 1.1 alnsn
2040 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_cmp(struct sljit_compiler *compiler, sljit_s32 type,
2041 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
2042 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
2043 1.1 alnsn {
2044 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2045 1.1 alnsn SLJIT_UNUSED_ARG(type);
2046 1.1 alnsn SLJIT_UNUSED_ARG(src1);
2047 1.1 alnsn SLJIT_UNUSED_ARG(src1w);
2048 1.1 alnsn SLJIT_UNUSED_ARG(src2);
2049 1.1 alnsn SLJIT_UNUSED_ARG(src2w);
2050 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2051 1.1 alnsn return NULL;
2052 1.1 alnsn }
2053 1.1 alnsn
2054 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_fcmp(struct sljit_compiler *compiler, sljit_s32 type,
2055 1.1.1.5 alnsn sljit_s32 src1, sljit_sw src1w,
2056 1.1.1.5 alnsn sljit_s32 src2, sljit_sw src2w)
2057 1.1 alnsn {
2058 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2059 1.1 alnsn SLJIT_UNUSED_ARG(type);
2060 1.1 alnsn SLJIT_UNUSED_ARG(src1);
2061 1.1 alnsn SLJIT_UNUSED_ARG(src1w);
2062 1.1 alnsn SLJIT_UNUSED_ARG(src2);
2063 1.1 alnsn SLJIT_UNUSED_ARG(src2w);
2064 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2065 1.1 alnsn return NULL;
2066 1.1 alnsn }
2067 1.1 alnsn
2068 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_label(struct sljit_jump *jump, struct sljit_label* label)
2069 1.1 alnsn {
2070 1.1 alnsn SLJIT_UNUSED_ARG(jump);
2071 1.1 alnsn SLJIT_UNUSED_ARG(label);
2072 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2073 1.1 alnsn }
2074 1.1 alnsn
2075 1.1 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_target(struct sljit_jump *jump, sljit_uw target)
2076 1.1 alnsn {
2077 1.1 alnsn SLJIT_UNUSED_ARG(jump);
2078 1.1 alnsn SLJIT_UNUSED_ARG(target);
2079 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2080 1.1 alnsn }
2081 1.1 alnsn
2082 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)
2083 1.1 alnsn {
2084 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2085 1.1 alnsn SLJIT_UNUSED_ARG(type);
2086 1.1 alnsn SLJIT_UNUSED_ARG(src);
2087 1.1 alnsn SLJIT_UNUSED_ARG(srcw);
2088 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2089 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
2090 1.1 alnsn }
2091 1.1 alnsn
2092 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,
2093 1.1.1.5 alnsn sljit_s32 dst, sljit_sw dstw,
2094 1.1.1.5 alnsn sljit_s32 src, sljit_sw srcw,
2095 1.1.1.5 alnsn sljit_s32 type)
2096 1.1 alnsn {
2097 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2098 1.1 alnsn SLJIT_UNUSED_ARG(op);
2099 1.1 alnsn SLJIT_UNUSED_ARG(dst);
2100 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
2101 1.1.1.4 alnsn SLJIT_UNUSED_ARG(src);
2102 1.1.1.4 alnsn SLJIT_UNUSED_ARG(srcw);
2103 1.1 alnsn SLJIT_UNUSED_ARG(type);
2104 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2105 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
2106 1.1 alnsn }
2107 1.1 alnsn
2108 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_local_base(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw offset)
2109 1.1 alnsn {
2110 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2111 1.1 alnsn SLJIT_UNUSED_ARG(dst);
2112 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
2113 1.1 alnsn SLJIT_UNUSED_ARG(offset);
2114 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2115 1.1 alnsn return SLJIT_ERR_UNSUPPORTED;
2116 1.1 alnsn }
2117 1.1 alnsn
2118 1.1.1.5 alnsn SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw initval)
2119 1.1 alnsn {
2120 1.1 alnsn SLJIT_UNUSED_ARG(compiler);
2121 1.1 alnsn SLJIT_UNUSED_ARG(dst);
2122 1.1 alnsn SLJIT_UNUSED_ARG(dstw);
2123 1.1 alnsn SLJIT_UNUSED_ARG(initval);
2124 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2125 1.1 alnsn return NULL;
2126 1.1 alnsn }
2127 1.1 alnsn
2128 1.1.1.6 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)
2129 1.1 alnsn {
2130 1.1 alnsn SLJIT_UNUSED_ARG(addr);
2131 1.1.1.6 alnsn SLJIT_UNUSED_ARG(new_target);
2132 1.1.1.6 alnsn SLJIT_UNUSED_ARG(executable_offset);
2133 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2134 1.1 alnsn }
2135 1.1 alnsn
2136 1.1.1.6 alnsn SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset)
2137 1.1 alnsn {
2138 1.1 alnsn SLJIT_UNUSED_ARG(addr);
2139 1.1 alnsn SLJIT_UNUSED_ARG(new_constant);
2140 1.1.1.6 alnsn SLJIT_UNUSED_ARG(executable_offset);
2141 1.1.1.6 alnsn SLJIT_UNREACHABLE();
2142 1.1 alnsn }
2143 1.1 alnsn
2144 1.1 alnsn #endif
2145