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