2 * Stack-less Just-In-Time compiler
4 * Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
6 * Redistribution and use in source and binary forms, with or without modification, are
7 * permitted provided that the following conditions are met:
9 * 1. Redistributions of source code must retain the above copyright notice, this list of
10 * conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright notice, this list
13 * of conditions and the following disclaimer in the documentation and/or other materials
14 * provided with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
19 * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
21 * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
22 * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
24 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 SLJIT_API_FUNC_ATTRIBUTE
const char* sljit_get_platform_name(void)
29 return "ARM-64" SLJIT_CPUINFO
;
32 /* Length of an instruction word */
33 typedef sljit_u32 sljit_ins
;
37 #define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)
38 #define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)
39 #define TMP_LR (SLJIT_NUMBER_OF_REGISTERS + 4)
40 #define TMP_FP (SLJIT_NUMBER_OF_REGISTERS + 5)
42 #define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)
43 #define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)
45 /* r18 - platform register, currently not used */
46 static const sljit_u8 reg_map
[SLJIT_NUMBER_OF_REGISTERS
+ 8] = {
47 31, 0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 8, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 31, 9, 10, 30, 29
50 static const sljit_u8 freg_map
[SLJIT_NUMBER_OF_FLOAT_REGISTERS
+ 3] = {
51 0, 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 15, 14, 13, 12, 11, 10, 9, 8, 30, 31
54 #define W_OP ((sljit_ins)1 << 31)
55 #define RD(rd) ((sljit_ins)reg_map[rd])
56 #define RT(rt) ((sljit_ins)reg_map[rt])
57 #define RN(rn) ((sljit_ins)reg_map[rn] << 5)
58 #define RT2(rt2) ((sljit_ins)reg_map[rt2] << 10)
59 #define RM(rm) ((sljit_ins)reg_map[rm] << 16)
60 #define VD(vd) ((sljit_ins)freg_map[vd])
61 #define VT(vt) ((sljit_ins)freg_map[vt])
62 #define VT2(vt) ((sljit_ins)freg_map[vt] << 10)
63 #define VN(vn) ((sljit_ins)freg_map[vn] << 5)
64 #define VM(vm) ((sljit_ins)freg_map[vm] << 16)
66 /* --------------------------------------------------------------------- */
67 /* Instrucion forms */
68 /* --------------------------------------------------------------------- */
70 #define ADC 0x9a000000
71 #define ADD 0x8b000000
72 #define ADDE 0x8b200000
73 #define ADDI 0x91000000
74 #define AND 0x8a000000
75 #define ANDI 0x92000000
76 #define ASRV 0x9ac02800
78 #define B_CC 0x54000000
80 #define BLR 0xd63f0000
82 #define BRK 0xd4200000
83 #define CBZ 0xb4000000
84 #define CLZ 0xdac01000
85 #define CSEL 0x9a800000
86 #define CSINC 0x9a800400
87 #define EOR 0xca000000
88 #define EORI 0xd2000000
89 #define FABS 0x1e60c000
90 #define FADD 0x1e602800
91 #define FCMP 0x1e602000
92 #define FCVT 0x1e224000
93 #define FCVTZS 0x9e780000
94 #define FDIV 0x1e601800
95 #define FMOV 0x1e604000
96 #define FMUL 0x1e600800
97 #define FNEG 0x1e614000
98 #define FSUB 0x1e603800
99 #define LDRI 0xf9400000
100 #define LDRI_F64 0xfd400000
101 #define LDP 0xa9400000
102 #define LDP_F64 0x6d400000
103 #define LDP_POST 0xa8c00000
104 #define LDR_PRE 0xf8400c00
105 #define LSLV 0x9ac02000
106 #define LSRV 0x9ac02400
107 #define MADD 0x9b000000
108 #define MOVK 0xf2800000
109 #define MOVN 0x92800000
110 #define MOVZ 0xd2800000
111 #define NOP 0xd503201f
112 #define ORN 0xaa200000
113 #define ORR 0xaa000000
114 #define ORRI 0xb2000000
115 #define RET 0xd65f0000
116 #define SBC 0xda000000
117 #define SBFM 0x93000000
118 #define SCVTF 0x9e620000
119 #define SDIV 0x9ac00c00
120 #define SMADDL 0x9b200000
121 #define SMULH 0x9b403c00
122 #define STP 0xa9000000
123 #define STP_F64 0x6d000000
124 #define STP_PRE 0xa9800000
125 #define STRB 0x38206800
126 #define STRBI 0x39000000
127 #define STRI 0xf9000000
128 #define STRI_F64 0xfd000000
129 #define STR_FI 0x3d000000
130 #define STR_FR 0x3c206800
131 #define STUR_FI 0x3c000000
132 #define STURBI 0x38000000
133 #define SUB 0xcb000000
134 #define SUBI 0xd1000000
135 #define SUBS 0xeb000000
136 #define UBFM 0xd3000000
137 #define UDIV 0x9ac00800
138 #define UMULH 0x9bc03c00
140 /* dest_reg is the absolute name of the register
141 Useful for reordering instructions in the delay slot. */
142 static sljit_s32
push_inst(struct sljit_compiler
*compiler
, sljit_ins ins
)
144 sljit_ins
*ptr
= (sljit_ins
*)ensure_buf(compiler
, sizeof(sljit_ins
));
148 return SLJIT_SUCCESS
;
151 static SLJIT_INLINE sljit_s32
emit_imm64_const(struct sljit_compiler
*compiler
, sljit_s32 dst
, sljit_uw imm
)
153 FAIL_IF(push_inst(compiler
, MOVZ
| RD(dst
) | ((sljit_ins
)(imm
& 0xffff) << 5)));
154 FAIL_IF(push_inst(compiler
, MOVK
| RD(dst
) | (((sljit_ins
)(imm
>> 16) & 0xffff) << 5) | (1 << 21)));
155 FAIL_IF(push_inst(compiler
, MOVK
| RD(dst
) | (((sljit_ins
)(imm
>> 32) & 0xffff) << 5) | (2 << 21)));
156 return push_inst(compiler
, MOVK
| RD(dst
) | ((sljit_ins
)(imm
>> 48) << 5) | (3 << 21));
159 static SLJIT_INLINE sljit_sw
detect_jump_type(struct sljit_jump
*jump
, sljit_ins
*code_ptr
, sljit_ins
*code
, sljit_sw executable_offset
)
162 sljit_uw target_addr
;
164 if (jump
->flags
& SLJIT_REWRITABLE_JUMP
) {
165 jump
->flags
|= PATCH_ABS64
;
169 if (jump
->flags
& JUMP_ADDR
)
170 target_addr
= jump
->u
.target
;
172 SLJIT_ASSERT(jump
->flags
& JUMP_LABEL
);
173 target_addr
= (sljit_uw
)(code
+ jump
->u
.label
->size
) + (sljit_uw
)executable_offset
;
176 diff
= (sljit_sw
)target_addr
- (sljit_sw
)(code_ptr
+ 4) - executable_offset
;
178 if (jump
->flags
& IS_COND
) {
179 diff
+= SSIZE_OF(ins
);
180 if (diff
<= 0xfffff && diff
>= -0x100000) {
181 code_ptr
[-5] ^= (jump
->flags
& IS_CBZ
) ? (0x1 << 24) : 0x1;
182 jump
->addr
-= sizeof(sljit_ins
);
183 jump
->flags
|= PATCH_COND
;
186 diff
-= SSIZE_OF(ins
);
189 if (diff
<= 0x7ffffff && diff
>= -0x8000000) {
190 jump
->flags
|= PATCH_B
;
194 if (target_addr
< 0x100000000l
) {
195 if (jump
->flags
& IS_COND
)
196 code_ptr
[-5] -= (2 << 5);
197 code_ptr
[-2] = code_ptr
[0];
201 if (target_addr
< 0x1000000000000l
) {
202 if (jump
->flags
& IS_COND
)
203 code_ptr
[-5] -= (1 << 5);
204 jump
->flags
|= PATCH_ABS48
;
205 code_ptr
[-1] = code_ptr
[0];
209 jump
->flags
|= PATCH_ABS64
;
213 static SLJIT_INLINE sljit_sw
put_label_get_length(struct sljit_put_label
*put_label
, sljit_uw max_label
)
215 if (max_label
< 0x100000000l
) {
216 put_label
->flags
= 0;
220 if (max_label
< 0x1000000000000l
) {
221 put_label
->flags
= 1;
225 put_label
->flags
= 2;
229 SLJIT_API_FUNC_ATTRIBUTE
void* sljit_generate_code(struct sljit_compiler
*compiler
)
231 struct sljit_memory_fragment
*buf
;
238 sljit_sw executable_offset
;
242 struct sljit_label
*label
;
243 struct sljit_jump
*jump
;
244 struct sljit_const
*const_
;
245 struct sljit_put_label
*put_label
;
248 CHECK_PTR(check_sljit_generate_code(compiler
));
249 reverse_buf(compiler
);
251 code
= (sljit_ins
*)SLJIT_MALLOC_EXEC(compiler
->size
* sizeof(sljit_ins
), compiler
->exec_allocator_data
);
252 PTR_FAIL_WITH_EXEC_IF(code
);
258 executable_offset
= SLJIT_EXEC_OFFSET(code
);
260 label
= compiler
->labels
;
261 jump
= compiler
->jumps
;
262 const_
= compiler
->consts
;
263 put_label
= compiler
->put_labels
;
266 buf_ptr
= (sljit_ins
*)buf
->memory
;
267 buf_end
= buf_ptr
+ (buf
->used_size
>> 2);
269 *code_ptr
= *buf_ptr
++;
270 if (next_addr
== word_count
) {
271 SLJIT_ASSERT(!label
|| label
->size
>= word_count
);
272 SLJIT_ASSERT(!jump
|| jump
->addr
>= word_count
);
273 SLJIT_ASSERT(!const_
|| const_
->addr
>= word_count
);
274 SLJIT_ASSERT(!put_label
|| put_label
->addr
>= word_count
);
276 /* These structures are ordered by their address. */
277 if (label
&& label
->size
== word_count
) {
278 label
->addr
= (sljit_uw
)SLJIT_ADD_EXEC_OFFSET(code_ptr
, executable_offset
);
279 label
->size
= (sljit_uw
)(code_ptr
- code
);
282 if (jump
&& jump
->addr
== word_count
) {
283 jump
->addr
= (sljit_uw
)(code_ptr
- 4);
284 code_ptr
-= detect_jump_type(jump
, code_ptr
, code
, executable_offset
);
287 if (const_
&& const_
->addr
== word_count
) {
288 const_
->addr
= (sljit_uw
)code_ptr
;
289 const_
= const_
->next
;
291 if (put_label
&& put_label
->addr
== word_count
) {
292 SLJIT_ASSERT(put_label
->label
);
293 put_label
->addr
= (sljit_uw
)(code_ptr
- 3);
294 code_ptr
-= put_label_get_length(put_label
, (sljit_uw
)(SLJIT_ADD_EXEC_OFFSET(code
, executable_offset
) + put_label
->label
->size
));
295 put_label
= put_label
->next
;
297 next_addr
= compute_next_addr(label
, jump
, const_
, put_label
);
301 } while (buf_ptr
< buf_end
);
306 if (label
&& label
->size
== word_count
) {
307 label
->addr
= (sljit_uw
)SLJIT_ADD_EXEC_OFFSET(code_ptr
, executable_offset
);
308 label
->size
= (sljit_uw
)(code_ptr
- code
);
312 SLJIT_ASSERT(!label
);
314 SLJIT_ASSERT(!const_
);
315 SLJIT_ASSERT(!put_label
);
316 SLJIT_ASSERT(code_ptr
- code
<= (sljit_sw
)compiler
->size
);
318 jump
= compiler
->jumps
;
321 addr
= (sljit_sw
)((jump
->flags
& JUMP_LABEL
) ? jump
->u
.label
->addr
: jump
->u
.target
);
322 buf_ptr
= (sljit_ins
*)jump
->addr
;
324 if (jump
->flags
& PATCH_B
) {
325 addr
= (addr
- (sljit_sw
)SLJIT_ADD_EXEC_OFFSET(buf_ptr
, executable_offset
)) >> 2;
326 SLJIT_ASSERT(addr
<= 0x1ffffff && addr
>= -0x2000000);
327 buf_ptr
[0] = ((jump
->flags
& IS_BL
) ? BL
: B
) | (sljit_ins
)(addr
& 0x3ffffff);
328 if (jump
->flags
& IS_COND
)
329 buf_ptr
[-1] -= (4 << 5);
332 if (jump
->flags
& PATCH_COND
) {
333 addr
= (addr
- (sljit_sw
)SLJIT_ADD_EXEC_OFFSET(buf_ptr
, executable_offset
)) >> 2;
334 SLJIT_ASSERT(addr
<= 0x3ffff && addr
>= -0x40000);
335 buf_ptr
[0] = (buf_ptr
[0] & ~(sljit_ins
)0xffffe0) | (sljit_ins
)((addr
& 0x7ffff) << 5);
339 SLJIT_ASSERT((jump
->flags
& (PATCH_ABS48
| PATCH_ABS64
)) || (sljit_uw
)addr
<= (sljit_uw
)0xffffffff);
340 SLJIT_ASSERT((jump
->flags
& PATCH_ABS64
) || (sljit_uw
)addr
<= (sljit_uw
)0xffffffffffff);
342 dst
= buf_ptr
[0] & 0x1f;
343 buf_ptr
[0] = MOVZ
| dst
| (((sljit_ins
)addr
& 0xffff) << 5);
344 buf_ptr
[1] = MOVK
| dst
| (((sljit_ins
)(addr
>> 16) & 0xffff) << 5) | (1 << 21);
345 if (jump
->flags
& (PATCH_ABS48
| PATCH_ABS64
))
346 buf_ptr
[2] = MOVK
| dst
| (((sljit_ins
)(addr
>> 32) & 0xffff) << 5) | (2 << 21);
347 if (jump
->flags
& PATCH_ABS64
)
348 buf_ptr
[3] = MOVK
| dst
| ((sljit_ins
)(addr
>> 48) << 5) | (3 << 21);
353 put_label
= compiler
->put_labels
;
355 addr
= (sljit_sw
)put_label
->label
->addr
;
356 buf_ptr
= (sljit_ins
*)put_label
->addr
;
358 buf_ptr
[0] |= ((sljit_ins
)addr
& 0xffff) << 5;
359 buf_ptr
[1] |= ((sljit_ins
)(addr
>> 16) & 0xffff) << 5;
361 if (put_label
->flags
>= 1)
362 buf_ptr
[2] |= ((sljit_ins
)(addr
>> 32) & 0xffff) << 5;
364 if (put_label
->flags
>= 2)
365 buf_ptr
[3] |= (sljit_ins
)(addr
>> 48) << 5;
367 put_label
= put_label
->next
;
370 compiler
->error
= SLJIT_ERR_COMPILED
;
371 compiler
->executable_offset
= executable_offset
;
372 compiler
->executable_size
= (sljit_uw
)(code_ptr
- code
) * sizeof(sljit_ins
);
374 code
= (sljit_ins
*)SLJIT_ADD_EXEC_OFFSET(code
, executable_offset
);
375 code_ptr
= (sljit_ins
*)SLJIT_ADD_EXEC_OFFSET(code_ptr
, executable_offset
);
377 SLJIT_CACHE_FLUSH(code
, code_ptr
);
378 SLJIT_UPDATE_WX_FLAGS(code
, code_ptr
, 1);
382 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_has_cpu_feature(sljit_s32 feature_type
)
384 switch (feature_type
) {
386 #ifdef SLJIT_IS_FPU_AVAILABLE
387 return SLJIT_IS_FPU_AVAILABLE
;
389 /* Available by default. */
395 case SLJIT_HAS_PREFETCH
:
403 /* --------------------------------------------------------------------- */
404 /* Core code generator functions. */
405 /* --------------------------------------------------------------------- */
407 #define COUNT_TRAILING_ZERO(value, result) \
409 if (!(value & 0xffffffff)) { \
413 if (!(value & 0xffff)) { \
417 if (!(value & 0xff)) { \
421 if (!(value & 0xf)) { \
425 if (!(value & 0x3)) { \
429 if (!(value & 0x1)) { \
434 #define LOGICAL_IMM_CHECK (sljit_ins)0x100
436 static sljit_ins
logical_imm(sljit_sw imm
, sljit_u32 len
)
439 sljit_u32 ones
, right
;
443 if (len
& LOGICAL_IMM_CHECK
) {
444 len
&= ~LOGICAL_IMM_CHECK
;
445 if (len
== 32 && (imm
== 0 || imm
== -1))
447 if (len
== 16 && ((sljit_s32
)imm
== 0 || (sljit_s32
)imm
== -1))
451 SLJIT_ASSERT((len
== 32 && imm
!= 0 && imm
!= -1)
452 || (len
== 16 && (sljit_s32
)imm
!= 0 && (sljit_s32
)imm
!= -1));
454 uimm
= (sljit_uw
)imm
;
461 mask
= ((sljit_uw
)1 << len
) - 1;
462 if ((uimm
& mask
) != ((uimm
>> len
) & mask
))
476 uimm
&= ((sljit_uw
)1 << len
) - 1;
478 /* Unsigned right shift. */
479 COUNT_TRAILING_ZERO(uimm
, right
);
481 /* Signed shift. We also know that the highest bit is set. */
482 imm
= (sljit_sw
)~uimm
;
483 SLJIT_ASSERT(imm
< 0);
485 COUNT_TRAILING_ZERO(imm
, ones
);
493 ins
= (0x3f - ((len
<< 1) - 1)) << 10;
496 return ins
| ((len
- ones
- 1) << 10) | ((len
- ones
- right
) << 16);
498 return ins
| ((ones
- 1) << 10) | ((len
- right
) << 16);
501 #undef COUNT_TRAILING_ZERO
503 static sljit_s32
load_immediate(struct sljit_compiler
*compiler
, sljit_s32 dst
, sljit_sw simm
)
505 sljit_uw imm
= (sljit_uw
)simm
;
506 sljit_u32 i
, zeros
, ones
, first
;
509 /* Handling simple immediates first. */
511 return push_inst(compiler
, MOVZ
| RD(dst
) | ((sljit_ins
)imm
<< 5));
513 if (simm
< 0 && simm
>= -0x10000)
514 return push_inst(compiler
, MOVN
| RD(dst
) | (((sljit_ins
)~imm
& 0xffff) << 5));
516 if (imm
<= 0xffffffffl
) {
517 if ((imm
& 0xffff) == 0)
518 return push_inst(compiler
, MOVZ
| RD(dst
) | ((sljit_ins
)(imm
>> 16) << 5) | (1 << 21));
519 if ((imm
& 0xffff0000l
) == 0xffff0000)
520 return push_inst(compiler
, (MOVN
^ W_OP
) | RD(dst
) | (((sljit_ins
)~imm
& 0xffff) << 5));
521 if ((imm
& 0xffff) == 0xffff)
522 return push_inst(compiler
, (MOVN
^ W_OP
) | RD(dst
) | (((sljit_ins
)~imm
& 0xffff0000u
) >> (16 - 5)) | (1 << 21));
524 bitmask
= logical_imm(simm
, 16);
526 return push_inst(compiler
, (ORRI
^ W_OP
) | RD(dst
) | RN(TMP_ZERO
) | bitmask
);
528 FAIL_IF(push_inst(compiler
, MOVZ
| RD(dst
) | (((sljit_ins
)imm
& 0xffff) << 5)));
529 return push_inst(compiler
, MOVK
| RD(dst
) | (((sljit_ins
)imm
& 0xffff0000u
) >> (16 - 5)) | (1 << 21));
532 bitmask
= logical_imm(simm
, 32);
534 return push_inst(compiler
, ORRI
| RD(dst
) | RN(TMP_ZERO
) | bitmask
);
536 if (simm
< 0 && simm
>= -0x100000000l
) {
537 if ((imm
& 0xffff) == 0xffff)
538 return push_inst(compiler
, MOVN
| RD(dst
) | (((sljit_ins
)~imm
& 0xffff0000u
) >> (16 - 5)) | (1 << 21));
540 FAIL_IF(push_inst(compiler
, MOVN
| RD(dst
) | (((sljit_ins
)~imm
& 0xffff) << 5)));
541 return push_inst(compiler
, MOVK
| RD(dst
) | (((sljit_ins
)imm
& 0xffff0000u
) >> (16 - 5)) | (1 << 21));
544 /* A large amount of number can be constructed from ORR and MOVx, but computing them is costly. */
548 for (i
= 4; i
> 0; i
--) {
549 if ((simm
& 0xffff) == 0)
551 if ((simm
& 0xffff) == 0xffff)
556 simm
= (sljit_sw
)imm
;
560 for (i
= 0; i
< 4; i
++) {
561 if (!(simm
& 0xffff)) {
567 FAIL_IF(push_inst(compiler
, MOVN
| RD(dst
) | (((sljit_ins
)simm
& 0xffff) << 5) | (i
<< 21)));
570 FAIL_IF(push_inst(compiler
, MOVK
| RD(dst
) | (((sljit_ins
)~simm
& 0xffff) << 5) | (i
<< 21)));
573 return SLJIT_SUCCESS
;
576 for (i
= 0; i
< 4; i
++) {
577 if (!(simm
& 0xffff)) {
583 FAIL_IF(push_inst(compiler
, MOVZ
| RD(dst
) | (((sljit_ins
)simm
& 0xffff) << 5) | (i
<< 21)));
586 FAIL_IF(push_inst(compiler
, MOVK
| RD(dst
) | (((sljit_ins
)simm
& 0xffff) << 5) | (i
<< 21)));
589 return SLJIT_SUCCESS
;
592 #define ARG1_IMM 0x0010000
593 #define ARG2_IMM 0x0020000
594 #define INT_OP 0x0040000
595 #define SET_FLAGS 0x0080000
596 #define UNUSED_RETURN 0x0100000
598 #define CHECK_FLAGS(flag_bits) \
599 if (flags & SET_FLAGS) { \
600 inv_bits |= flag_bits; \
601 if (flags & UNUSED_RETURN) \
605 static sljit_s32
emit_op_imm(struct sljit_compiler
*compiler
, sljit_s32 flags
, sljit_s32 dst
, sljit_sw arg1
, sljit_sw arg2
)
607 /* dst must be register, TMP_REG1
608 arg1 must be register, TMP_REG1, imm
609 arg2 must be register, TMP_REG2, imm */
610 sljit_ins inv_bits
= (flags
& INT_OP
) ? W_OP
: 0;
612 sljit_s32 op
= (flags
& 0xffff);
616 if (SLJIT_UNLIKELY((flags
& (ARG1_IMM
| ARG2_IMM
)) == (ARG1_IMM
| ARG2_IMM
))) {
617 /* Both are immediates. */
619 if (arg1
== 0 && op
!= SLJIT_ADD
&& op
!= SLJIT_SUB
)
622 FAIL_IF(load_immediate(compiler
, TMP_REG1
, arg1
));
627 if (flags
& (ARG1_IMM
| ARG2_IMM
)) {
628 reg
= (sljit_s32
)((flags
& ARG2_IMM
) ? arg1
: arg2
);
629 imm
= (flags
& ARG2_IMM
) ? arg2
: arg1
;
636 /* No form with immediate operand (except imm 0, which
637 is represented by a ZERO register). */
640 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && (flags
& ARG2_IMM
) && arg1
== TMP_REG1
);
641 return load_immediate(compiler
, dst
, imm
);
643 SLJIT_ASSERT(flags
& ARG2_IMM
);
644 FAIL_IF(load_immediate(compiler
, dst
, (flags
& INT_OP
) ? (~imm
& 0xffffffff) : ~imm
));
647 compiler
->status_flags_state
= SLJIT_CURRENT_FLAGS_SUB
;
648 if (flags
& ARG1_IMM
)
654 compiler
->status_flags_state
= SLJIT_CURRENT_FLAGS_ADD
;
657 CHECK_FLAGS(1 << 29);
658 return push_inst(compiler
, ((op
== SLJIT_ADD
? ADDI
: SUBI
) ^ inv_bits
) | RD(dst
) | RN(reg
));
660 if (imm
> 0 && imm
<= 0xfff) {
661 CHECK_FLAGS(1 << 29);
662 return push_inst(compiler
, (ADDI
^ inv_bits
) | RD(dst
) | RN(reg
) | ((sljit_ins
)imm
<< 10));
665 if (nimm
> 0 && nimm
<= 0xfff) {
666 CHECK_FLAGS(1 << 29);
667 return push_inst(compiler
, (SUBI
^ inv_bits
) | RD(dst
) | RN(reg
) | ((sljit_ins
)nimm
<< 10));
669 if (imm
> 0 && imm
<= 0xffffff && !(imm
& 0xfff)) {
670 CHECK_FLAGS(1 << 29);
671 return push_inst(compiler
, (ADDI
^ inv_bits
) | RD(dst
) | RN(reg
) | (((sljit_ins
)imm
>> 12) << 10) | (1 << 22));
673 if (nimm
> 0 && nimm
<= 0xffffff && !(nimm
& 0xfff)) {
674 CHECK_FLAGS(1 << 29);
675 return push_inst(compiler
, (SUBI
^ inv_bits
) | RD(dst
) | RN(reg
) | (((sljit_ins
)nimm
>> 12) << 10) | (1 << 22));
677 if (imm
> 0 && imm
<= 0xffffff && !(flags
& SET_FLAGS
)) {
678 FAIL_IF(push_inst(compiler
, (ADDI
^ inv_bits
) | RD(dst
) | RN(reg
) | (((sljit_ins
)imm
>> 12) << 10) | (1 << 22)));
679 return push_inst(compiler
, (ADDI
^ inv_bits
) | RD(dst
) | RN(dst
) | (((sljit_ins
)imm
& 0xfff) << 10));
681 if (nimm
> 0 && nimm
<= 0xffffff && !(flags
& SET_FLAGS
)) {
682 FAIL_IF(push_inst(compiler
, (SUBI
^ inv_bits
) | RD(dst
) | RN(reg
) | (((sljit_ins
)nimm
>> 12) << 10) | (1 << 22)));
683 return push_inst(compiler
, (SUBI
^ inv_bits
) | RD(dst
) | RN(dst
) | (((sljit_ins
)nimm
& 0xfff) << 10));
687 inst_bits
= logical_imm(imm
, LOGICAL_IMM_CHECK
| ((flags
& INT_OP
) ? 16 : 32));
690 CHECK_FLAGS(3 << 29);
691 return push_inst(compiler
, (ANDI
^ inv_bits
) | RD(dst
) | RN(reg
) | inst_bits
);
694 inst_bits
= logical_imm(imm
, LOGICAL_IMM_CHECK
| ((flags
& INT_OP
) ? 16 : 32));
701 FAIL_IF(push_inst(compiler
, (inst_bits
^ inv_bits
) | RD(dst
) | RN(reg
)));
704 if (flags
& ARG1_IMM
)
706 if (flags
& INT_OP
) {
708 FAIL_IF(push_inst(compiler
, (UBFM
^ inv_bits
) | RD(dst
) | RN(arg1
)
709 | (((sljit_ins
)-imm
& 0x1f) << 16) | ((31 - (sljit_ins
)imm
) << 10)));
713 FAIL_IF(push_inst(compiler
, (UBFM
^ inv_bits
) | RD(dst
) | RN(arg1
) | (1 << 22)
714 | (((sljit_ins
)-imm
& 0x3f) << 16) | ((63 - (sljit_ins
)imm
) << 10)));
719 if (flags
& ARG1_IMM
)
721 if (op
== SLJIT_ASHR
)
723 if (flags
& INT_OP
) {
725 FAIL_IF(push_inst(compiler
, (UBFM
^ inv_bits
) | RD(dst
) | RN(arg1
)
726 | ((sljit_ins
)imm
<< 16) | (31 << 10)));
730 FAIL_IF(push_inst(compiler
, (UBFM
^ inv_bits
) | RD(dst
) | RN(arg1
)
731 | (1 << 22) | ((sljit_ins
)imm
<< 16) | (63 << 10)));
739 if (flags
& ARG2_IMM
) {
743 FAIL_IF(load_immediate(compiler
, TMP_REG2
, arg2
));
751 FAIL_IF(load_immediate(compiler
, TMP_REG1
, arg1
));
757 /* Both arguments are registers. */
761 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
763 return SLJIT_SUCCESS
;
764 return push_inst(compiler
, ORR
| RD(dst
) | RN(TMP_ZERO
) | RM(arg2
));
766 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
767 return push_inst(compiler
, (UBFM
^ W_OP
) | RD(dst
) | RN(arg2
) | (7 << 10));
769 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
770 if (!(flags
& INT_OP
))
772 return push_inst(compiler
, (SBFM
^ inv_bits
) | RD(dst
) | RN(arg2
) | (7 << 10));
774 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
775 return push_inst(compiler
, (UBFM
^ W_OP
) | RD(dst
) | RN(arg2
) | (15 << 10));
777 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
778 if (!(flags
& INT_OP
))
780 return push_inst(compiler
, (SBFM
^ inv_bits
) | RD(dst
) | RN(arg2
) | (15 << 10));
782 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
784 return SLJIT_SUCCESS
;
787 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
788 return push_inst(compiler
, (ORR
^ W_OP
) | RD(dst
) | RN(TMP_ZERO
) | RM(arg2
));
790 SLJIT_ASSERT(!(flags
& SET_FLAGS
) && arg1
== TMP_REG1
);
791 return push_inst(compiler
, SBFM
| (1 << 22) | RD(dst
) | RN(arg2
) | (31 << 10));
793 SLJIT_ASSERT(arg1
== TMP_REG1
);
794 FAIL_IF(push_inst(compiler
, (ORN
^ inv_bits
) | RD(dst
) | RN(TMP_ZERO
) | RM(arg2
)));
795 break; /* Set flags. */
797 SLJIT_ASSERT(arg1
== TMP_REG1
);
798 return push_inst(compiler
, (CLZ
^ inv_bits
) | RD(dst
) | RN(arg2
));
800 compiler
->status_flags_state
= SLJIT_CURRENT_FLAGS_ADD
;
801 CHECK_FLAGS(1 << 29);
802 return push_inst(compiler
, (ADD
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
));
804 compiler
->status_flags_state
= SLJIT_CURRENT_FLAGS_ADD
;
805 CHECK_FLAGS(1 << 29);
806 return push_inst(compiler
, (ADC
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
));
808 compiler
->status_flags_state
= SLJIT_CURRENT_FLAGS_SUB
;
809 CHECK_FLAGS(1 << 29);
810 return push_inst(compiler
, (SUB
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
));
812 compiler
->status_flags_state
= SLJIT_CURRENT_FLAGS_SUB
;
813 CHECK_FLAGS(1 << 29);
814 return push_inst(compiler
, (SBC
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
));
816 compiler
->status_flags_state
= 0;
817 if (!(flags
& SET_FLAGS
))
818 return push_inst(compiler
, (MADD
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
) | RT2(TMP_ZERO
));
819 if (flags
& INT_OP
) {
820 FAIL_IF(push_inst(compiler
, SMADDL
| RD(dst
) | RN(arg1
) | RM(arg2
) | (31 << 10)));
821 FAIL_IF(push_inst(compiler
, ADD
| RD(TMP_LR
) | RN(TMP_ZERO
) | RM(dst
) | (2 << 22) | (31 << 10)));
822 return push_inst(compiler
, SUBS
| RD(TMP_ZERO
) | RN(TMP_LR
) | RM(dst
) | (2 << 22) | (63 << 10));
824 FAIL_IF(push_inst(compiler
, SMULH
| RD(TMP_LR
) | RN(arg1
) | RM(arg2
)));
825 FAIL_IF(push_inst(compiler
, MADD
| RD(dst
) | RN(arg1
) | RM(arg2
) | RT2(TMP_ZERO
)));
826 return push_inst(compiler
, SUBS
| RD(TMP_ZERO
) | RN(TMP_LR
) | RM(dst
) | (2 << 22) | (63 << 10));
828 CHECK_FLAGS(3 << 29);
829 return push_inst(compiler
, (AND
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
));
831 FAIL_IF(push_inst(compiler
, (ORR
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
)));
832 break; /* Set flags. */
834 FAIL_IF(push_inst(compiler
, (EOR
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
)));
835 break; /* Set flags. */
837 FAIL_IF(push_inst(compiler
, (LSLV
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
)));
838 break; /* Set flags. */
840 FAIL_IF(push_inst(compiler
, (LSRV
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
)));
841 break; /* Set flags. */
843 FAIL_IF(push_inst(compiler
, (ASRV
^ inv_bits
) | RD(dst
) | RN(arg1
) | RM(arg2
)));
844 break; /* Set flags. */
847 return SLJIT_SUCCESS
;
851 if (flags
& SET_FLAGS
)
852 return push_inst(compiler
, (SUBS
^ inv_bits
) | RD(TMP_ZERO
) | RN(dst
) | RM(TMP_ZERO
));
853 return SLJIT_SUCCESS
;
859 #define BYTE_SIZE 0x0
860 #define HALF_SIZE 0x1
862 #define WORD_SIZE 0x3
864 #define MEM_SIZE_SHIFT(flags) ((sljit_ins)(flags) & 0x3)
866 static sljit_s32
emit_op_mem(struct sljit_compiler
*compiler
, sljit_s32 flags
, sljit_s32 reg
,
867 sljit_s32 arg
, sljit_sw argw
, sljit_s32 tmp_reg
)
869 sljit_u32 shift
= MEM_SIZE_SHIFT(flags
);
870 sljit_u32 type
= (shift
<< 30);
872 if (!(flags
& STORE
))
873 type
|= (flags
& SIGNED
) ? 0x00800000 : 0x00400000;
875 SLJIT_ASSERT(arg
& SLJIT_MEM
);
877 if (SLJIT_UNLIKELY(arg
& OFFS_REG_MASK
)) {
880 if (argw
== 0 || argw
== shift
)
881 return push_inst(compiler
, STRB
| type
| RT(reg
)
882 | RN(arg
& REG_MASK
) | RM(OFFS_REG(arg
)) | (argw
? (1 << 12) : 0));
884 FAIL_IF(push_inst(compiler
, ADD
| RD(tmp_reg
) | RN(arg
& REG_MASK
) | RM(OFFS_REG(arg
)) | ((sljit_ins
)argw
<< 10)));
885 return push_inst(compiler
, STRBI
| type
| RT(reg
) | RN(tmp_reg
));
891 FAIL_IF(load_immediate(compiler
, tmp_reg
, argw
& ~(0xfff << shift
)));
893 argw
= (argw
>> shift
) & 0xfff;
895 return push_inst(compiler
, STRBI
| type
| RT(reg
) | RN(tmp_reg
) | ((sljit_ins
)argw
<< 10));
898 if (argw
>= 0 && (argw
& ((1 << shift
) - 1)) == 0) {
899 if ((argw
>> shift
) <= 0xfff)
900 return push_inst(compiler
, STRBI
| type
| RT(reg
) | RN(arg
) | ((sljit_ins
)argw
<< (10 - shift
)));
902 if (argw
<= 0xffffff) {
903 FAIL_IF(push_inst(compiler
, ADDI
| (1 << 22) | RD(tmp_reg
) | RN(arg
) | (((sljit_ins
)argw
>> 12) << 10)));
905 argw
= ((argw
& 0xfff) >> shift
);
906 return push_inst(compiler
, STRBI
| type
| RT(reg
) | RN(tmp_reg
) | ((sljit_ins
)argw
<< 10));
910 if (argw
<= 255 && argw
>= -256)
911 return push_inst(compiler
, STURBI
| type
| RT(reg
) | RN(arg
) | (((sljit_ins
)argw
& 0x1ff) << 12));
913 FAIL_IF(load_immediate(compiler
, tmp_reg
, argw
));
915 return push_inst(compiler
, STRB
| type
| RT(reg
) | RN(arg
) | RM(tmp_reg
));
918 /* --------------------------------------------------------------------- */
920 /* --------------------------------------------------------------------- */
922 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_enter(struct sljit_compiler
*compiler
,
923 sljit_s32 options
, sljit_s32 arg_types
, sljit_s32 scratches
, sljit_s32 saveds
,
924 sljit_s32 fscratches
, sljit_s32 fsaveds
, sljit_s32 local_size
)
926 sljit_s32 prev
, fprev
, saved_regs_size
, i
, tmp
;
927 sljit_s32 word_arg_count
= 0;
931 CHECK(check_sljit_emit_enter(compiler
, options
, arg_types
, scratches
, saveds
, fscratches
, fsaveds
, local_size
));
932 set_emit_enter(compiler
, options
, arg_types
, scratches
, saveds
, fscratches
, fsaveds
, local_size
);
934 saved_regs_size
= GET_SAVED_REGISTERS_SIZE(scratches
, saveds
, 2);
935 saved_regs_size
+= GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches
, fsaveds
, SSIZE_OF(f64
));
937 local_size
= (local_size
+ saved_regs_size
+ 0xf) & ~0xf;
938 compiler
->local_size
= local_size
;
940 if (local_size
<= 512) {
941 FAIL_IF(push_inst(compiler
, STP_PRE
| RT(TMP_FP
) | RT2(TMP_LR
)
942 | RN(SLJIT_SP
) | (sljit_ins
)((-(local_size
>> 3) & 0x7f) << 15)));
943 offs
= (sljit_ins
)(local_size
- 2 * SSIZE_OF(sw
)) << (15 - 3);
946 saved_regs_size
= ((saved_regs_size
- 2 * SSIZE_OF(sw
)) + 0xf) & ~0xf;
948 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | ((sljit_ins
)saved_regs_size
<< 10)));
949 offs
= (sljit_ins
)(saved_regs_size
- 2 * SSIZE_OF(sw
)) << (15 - 3);
950 local_size
-= saved_regs_size
;
951 SLJIT_ASSERT(local_size
> 0);
956 tmp
= SLJIT_S0
- saveds
;
957 for (i
= SLJIT_S0
; i
> tmp
; i
--) {
962 FAIL_IF(push_inst(compiler
, STP
| RT(prev
) | RT2(i
) | RN(SLJIT_SP
) | offs
));
963 offs
-= (sljit_ins
)2 << 15;
967 for (i
= scratches
; i
>= SLJIT_FIRST_SAVED_REG
; i
--) {
972 FAIL_IF(push_inst(compiler
, STP
| RT(prev
) | RT2(i
) | RN(SLJIT_SP
) | offs
));
973 offs
-= (sljit_ins
)2 << 15;
979 tmp
= SLJIT_FS0
- fsaveds
;
980 for (i
= SLJIT_FS0
; i
> tmp
; i
--) {
985 FAIL_IF(push_inst(compiler
, STP_F64
| VT(fprev
) | VT2(i
) | RN(SLJIT_SP
) | offs
));
986 offs
-= (sljit_ins
)2 << 15;
990 for (i
= fscratches
; i
>= SLJIT_FIRST_SAVED_FLOAT_REG
; i
--) {
995 FAIL_IF(push_inst(compiler
, STP_F64
| VT(fprev
) | VT2(i
) | RN(SLJIT_SP
) | offs
));
996 offs
-= (sljit_ins
)2 << 15;
1001 FAIL_IF(push_inst(compiler
, STRI_F64
| VT(fprev
) | RN(SLJIT_SP
) | (offs
>> 5) | (1 << 10)));
1004 FAIL_IF(push_inst(compiler
, STRI
| RT(prev
) | RN(SLJIT_SP
) | (offs
>> 5) | ((fprev
== -1) ? (1 << 10) : 0)));
1006 arg_types
>>= SLJIT_ARG_SHIFT
;
1009 if (local_size
> 4096)
1010 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | (1 << 10) | (1 << 22)));
1014 while (arg_types
> 0) {
1015 if ((arg_types
& SLJIT_ARG_MASK
) < SLJIT_ARG_TYPE_F64
) {
1016 if (!(arg_types
& SLJIT_ARG_TYPE_SCRATCH_REG
)) {
1017 FAIL_IF(push_inst(compiler
, ORR
| RD(SLJIT_S0
- tmp
) | RN(TMP_ZERO
) | RM(SLJIT_R0
+ word_arg_count
)));
1022 arg_types
>>= SLJIT_ARG_SHIFT
;
1026 if (local_size
> 4096) {
1027 if (local_size
< 4 * 4096) {
1028 /* No need for a loop. */
1030 if (local_size
>= 2 * 4096) {
1031 if (local_size
>= 3 * 4096) {
1032 FAIL_IF(push_inst(compiler
, LDRI
| RT(TMP_ZERO
) | RN(SLJIT_SP
)));
1033 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | (1 << 10) | (1 << 22)));
1036 FAIL_IF(push_inst(compiler
, LDRI
| RT(TMP_ZERO
) | RN(SLJIT_SP
)));
1037 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | (1 << 10) | (1 << 22)));
1041 FAIL_IF(push_inst(compiler
, MOVZ
| RD(TMP_REG1
) | ((((sljit_ins
)local_size
>> 12) - 1) << 5)));
1042 FAIL_IF(push_inst(compiler
, LDRI
| RT(TMP_ZERO
) | RN(SLJIT_SP
)));
1043 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | (1 << 10) | (1 << 22)));
1044 FAIL_IF(push_inst(compiler
, SUBI
| (1 << 29) | RD(TMP_REG1
) | RN(TMP_REG1
) | (1 << 10)));
1045 FAIL_IF(push_inst(compiler
, B_CC
| ((((sljit_ins
) -3) & 0x7ffff) << 5) | 0x1 /* not-equal */));
1048 local_size
&= 0xfff;
1051 FAIL_IF(push_inst(compiler
, LDRI
| RT(TMP_ZERO
) | RN(SLJIT_SP
)));
1053 FAIL_IF(push_inst(compiler
, STP
| RT(TMP_FP
) | RT2(TMP_LR
) | RN(SLJIT_SP
)));
1056 if (local_size
> 0) {
1057 if (local_size
<= 512)
1058 FAIL_IF(push_inst(compiler
, STP_PRE
| RT(TMP_FP
) | RT2(TMP_LR
)
1059 | RN(SLJIT_SP
) | (sljit_ins
)((-(local_size
>> 3) & 0x7f) << 15)));
1061 if (local_size
>= 4096)
1062 local_size
= (1 << (22 - 10));
1064 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | ((sljit_ins
)local_size
<< 10)));
1065 FAIL_IF(push_inst(compiler
, STP
| RT(TMP_FP
) | RT2(TMP_LR
) | RN(SLJIT_SP
)));
1071 /* The local_size does not include saved registers size. */
1072 if (local_size
!= 0) {
1073 if (local_size
> 0xfff) {
1074 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | (((sljit_ins
)local_size
>> 12) << 10) | (1 << 22)));
1075 local_size
&= 0xfff;
1078 if (local_size
> 512 || local_size
== 0) {
1079 if (local_size
!= 0)
1080 FAIL_IF(push_inst(compiler
, SUBI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | ((sljit_ins
)local_size
<< 10)));
1082 FAIL_IF(push_inst(compiler
, STP
| RT(TMP_FP
) | RT2(TMP_LR
) | RN(SLJIT_SP
)));
1084 FAIL_IF(push_inst(compiler
, STP_PRE
| RT(TMP_FP
) | RT2(TMP_LR
)
1085 | RN(SLJIT_SP
) | (sljit_ins
)((-(local_size
>> 3) & 0x7f) << 15)));
1090 return push_inst(compiler
, ADDI
| RD(TMP_FP
) | RN(SLJIT_SP
) | (0 << 10));
1093 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_set_context(struct sljit_compiler
*compiler
,
1094 sljit_s32 options
, sljit_s32 arg_types
, sljit_s32 scratches
, sljit_s32 saveds
,
1095 sljit_s32 fscratches
, sljit_s32 fsaveds
, sljit_s32 local_size
)
1097 sljit_s32 saved_regs_size
;
1100 CHECK(check_sljit_set_context(compiler
, options
, arg_types
, scratches
, saveds
, fscratches
, fsaveds
, local_size
));
1101 set_set_context(compiler
, options
, arg_types
, scratches
, saveds
, fscratches
, fsaveds
, local_size
);
1103 saved_regs_size
= GET_SAVED_REGISTERS_SIZE(scratches
, saveds
, 2);
1104 saved_regs_size
+= GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches
, fsaveds
, SSIZE_OF(f64
));
1106 compiler
->local_size
= (local_size
+ saved_regs_size
+ 0xf) & ~0xf;
1107 return SLJIT_SUCCESS
;
1110 static sljit_s32
emit_stack_frame_release(struct sljit_compiler
*compiler
)
1112 sljit_s32 local_size
, prev
, fprev
, i
, tmp
;
1115 local_size
= compiler
->local_size
;
1117 if (local_size
> 512 && local_size
<= 512 + 496) {
1118 FAIL_IF(push_inst(compiler
, LDP_POST
| RT(TMP_FP
) | RT2(TMP_LR
)
1119 | RN(SLJIT_SP
) | ((sljit_ins
)(local_size
- 512) << (15 - 3))));
1122 FAIL_IF(push_inst(compiler
, LDP
| RT(TMP_FP
) | RT2(TMP_LR
) | RN(SLJIT_SP
)));
1124 if (local_size
> 512) {
1126 if (local_size
> 0xfff) {
1127 FAIL_IF(push_inst(compiler
, ADDI
| RD(SLJIT_SP
) | RN(SLJIT_SP
)
1128 | (((sljit_ins
)local_size
>> 12) << 10) | (1 << 22)));
1129 local_size
&= 0xfff;
1132 FAIL_IF(push_inst(compiler
, ADDI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | ((sljit_ins
)local_size
<< 10)));
1136 offs
= (sljit_ins
)(local_size
- 2 * SSIZE_OF(sw
)) << (15 - 3);
1139 tmp
= SLJIT_S0
- compiler
->saveds
;
1140 for (i
= SLJIT_S0
; i
> tmp
; i
--) {
1145 FAIL_IF(push_inst(compiler
, LDP
| RT(prev
) | RT2(i
) | RN(SLJIT_SP
) | offs
));
1146 offs
-= (sljit_ins
)2 << 15;
1150 for (i
= compiler
->scratches
; i
>= SLJIT_FIRST_SAVED_REG
; i
--) {
1155 FAIL_IF(push_inst(compiler
, LDP
| RT(prev
) | RT2(i
) | RN(SLJIT_SP
) | offs
));
1156 offs
-= (sljit_ins
)2 << 15;
1162 tmp
= SLJIT_FS0
- compiler
->fsaveds
;
1163 for (i
= SLJIT_FS0
; i
> tmp
; i
--) {
1168 FAIL_IF(push_inst(compiler
, LDP_F64
| VT(fprev
) | VT2(i
) | RN(SLJIT_SP
) | offs
));
1169 offs
-= (sljit_ins
)2 << 15;
1173 for (i
= compiler
->fscratches
; i
>= SLJIT_FIRST_SAVED_FLOAT_REG
; i
--) {
1178 FAIL_IF(push_inst(compiler
, LDP_F64
| VT(fprev
) | VT2(i
) | RN(SLJIT_SP
) | offs
));
1179 offs
-= (sljit_ins
)2 << 15;
1184 FAIL_IF(push_inst(compiler
, LDRI_F64
| VT(fprev
) | RN(SLJIT_SP
) | (offs
>> 5) | (1 << 10)));
1187 FAIL_IF(push_inst(compiler
, LDRI
| RT(prev
) | RN(SLJIT_SP
) | (offs
>> 5) | ((fprev
== -1) ? (1 << 10) : 0)));
1189 /* This and the next call/jump instruction can be executed parallelly. */
1190 return push_inst(compiler
, ADDI
| RD(SLJIT_SP
) | RN(SLJIT_SP
) | (sljit_ins
)(local_size
<< 10));
1193 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_return_void(struct sljit_compiler
*compiler
)
1196 CHECK(check_sljit_emit_return_void(compiler
));
1198 FAIL_IF(emit_stack_frame_release(compiler
));
1200 return push_inst(compiler
, RET
| RN(TMP_LR
));
1203 /* --------------------------------------------------------------------- */
1205 /* --------------------------------------------------------------------- */
1207 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op0(struct sljit_compiler
*compiler
, sljit_s32 op
)
1209 sljit_ins inv_bits
= (op
& SLJIT_32
) ? W_OP
: 0;
1212 CHECK(check_sljit_emit_op0(compiler
, op
));
1214 op
= GET_OPCODE(op
);
1216 case SLJIT_BREAKPOINT
:
1217 return push_inst(compiler
, BRK
);
1219 return push_inst(compiler
, NOP
);
1222 FAIL_IF(push_inst(compiler
, ORR
| RD(TMP_REG1
) | RN(TMP_ZERO
) | RM(SLJIT_R0
)));
1223 FAIL_IF(push_inst(compiler
, MADD
| RD(SLJIT_R0
) | RN(SLJIT_R0
) | RM(SLJIT_R1
) | RT2(TMP_ZERO
)));
1224 return push_inst(compiler
, (op
== SLJIT_LMUL_UW
? UMULH
: SMULH
) | RD(SLJIT_R1
) | RN(TMP_REG1
) | RM(SLJIT_R1
));
1225 case SLJIT_DIVMOD_UW
:
1226 case SLJIT_DIVMOD_SW
:
1227 FAIL_IF(push_inst(compiler
, (ORR
^ inv_bits
) | RD(TMP_REG1
) | RN(TMP_ZERO
) | RM(SLJIT_R0
)));
1228 FAIL_IF(push_inst(compiler
, ((op
== SLJIT_DIVMOD_UW
? UDIV
: SDIV
) ^ inv_bits
) | RD(SLJIT_R0
) | RN(SLJIT_R0
) | RM(SLJIT_R1
)));
1229 FAIL_IF(push_inst(compiler
, (MADD
^ inv_bits
) | RD(SLJIT_R1
) | RN(SLJIT_R0
) | RM(SLJIT_R1
) | RT2(TMP_ZERO
)));
1230 return push_inst(compiler
, (SUB
^ inv_bits
) | RD(SLJIT_R1
) | RN(TMP_REG1
) | RM(SLJIT_R1
));
1233 return push_inst(compiler
, ((op
== SLJIT_DIV_UW
? UDIV
: SDIV
) ^ inv_bits
) | RD(SLJIT_R0
) | RN(SLJIT_R0
) | RM(SLJIT_R1
));
1235 case SLJIT_SKIP_FRAMES_BEFORE_RETURN
:
1236 return SLJIT_SUCCESS
;
1239 return SLJIT_SUCCESS
;
1242 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op1(struct sljit_compiler
*compiler
, sljit_s32 op
,
1243 sljit_s32 dst
, sljit_sw dstw
,
1244 sljit_s32 src
, sljit_sw srcw
)
1246 sljit_s32 dst_r
, flags
, mem_flags
;
1247 sljit_s32 op_flags
= GET_ALL_FLAGS(op
);
1250 CHECK(check_sljit_emit_op1(compiler
, op
, dst
, dstw
, src
, srcw
));
1251 ADJUST_LOCAL_OFFSET(dst
, dstw
);
1252 ADJUST_LOCAL_OFFSET(src
, srcw
);
1254 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
1256 op
= GET_OPCODE(op
);
1257 if (op
>= SLJIT_MOV
&& op
<= SLJIT_MOV_P
) {
1258 /* Both operands are registers. */
1259 if (dst_r
!= TMP_REG1
&& FAST_IS_REG(src
))
1260 return emit_op_imm(compiler
, op
| ((op_flags
& SLJIT_32
) ? INT_OP
: 0), dst_r
, TMP_REG1
, src
);
1265 mem_flags
= WORD_SIZE
;
1268 mem_flags
= BYTE_SIZE
;
1269 if (src
& SLJIT_IMM
)
1270 srcw
= (sljit_u8
)srcw
;
1273 mem_flags
= BYTE_SIZE
| SIGNED
;
1274 if (src
& SLJIT_IMM
)
1275 srcw
= (sljit_s8
)srcw
;
1278 mem_flags
= HALF_SIZE
;
1279 if (src
& SLJIT_IMM
)
1280 srcw
= (sljit_u16
)srcw
;
1283 mem_flags
= HALF_SIZE
| SIGNED
;
1284 if (src
& SLJIT_IMM
)
1285 srcw
= (sljit_s16
)srcw
;
1288 mem_flags
= INT_SIZE
;
1289 if (src
& SLJIT_IMM
)
1290 srcw
= (sljit_u32
)srcw
;
1294 mem_flags
= INT_SIZE
| SIGNED
;
1295 if (src
& SLJIT_IMM
)
1296 srcw
= (sljit_s32
)srcw
;
1299 SLJIT_UNREACHABLE();
1304 if (src
& SLJIT_IMM
)
1305 FAIL_IF(emit_op_imm(compiler
, SLJIT_MOV
| ARG2_IMM
, dst_r
, TMP_REG1
, srcw
));
1306 else if (!(src
& SLJIT_MEM
))
1309 FAIL_IF(emit_op_mem(compiler
, mem_flags
, dst_r
, src
, srcw
, TMP_REG1
));
1311 if (dst
& SLJIT_MEM
)
1312 return emit_op_mem(compiler
, mem_flags
| STORE
, dst_r
, dst
, dstw
, TMP_REG2
);
1313 return SLJIT_SUCCESS
;
1316 flags
= HAS_FLAGS(op_flags
) ? SET_FLAGS
: 0;
1317 mem_flags
= WORD_SIZE
;
1319 if (op_flags
& SLJIT_32
) {
1321 mem_flags
= INT_SIZE
;
1324 if (src
& SLJIT_MEM
) {
1325 FAIL_IF(emit_op_mem(compiler
, mem_flags
, TMP_REG2
, src
, srcw
, TMP_REG2
));
1329 emit_op_imm(compiler
, flags
| op
, dst_r
, TMP_REG1
, src
);
1331 if (SLJIT_UNLIKELY(dst
& SLJIT_MEM
))
1332 return emit_op_mem(compiler
, mem_flags
| STORE
, dst_r
, dst
, dstw
, TMP_REG2
);
1333 return SLJIT_SUCCESS
;
1336 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op2(struct sljit_compiler
*compiler
, sljit_s32 op
,
1337 sljit_s32 dst
, sljit_sw dstw
,
1338 sljit_s32 src1
, sljit_sw src1w
,
1339 sljit_s32 src2
, sljit_sw src2w
)
1341 sljit_s32 dst_r
, flags
, mem_flags
;
1344 CHECK(check_sljit_emit_op2(compiler
, op
, 0, dst
, dstw
, src1
, src1w
, src2
, src2w
));
1345 ADJUST_LOCAL_OFFSET(dst
, dstw
);
1346 ADJUST_LOCAL_OFFSET(src1
, src1w
);
1347 ADJUST_LOCAL_OFFSET(src2
, src2w
);
1349 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
1350 flags
= HAS_FLAGS(op
) ? SET_FLAGS
: 0;
1351 mem_flags
= WORD_SIZE
;
1353 if (op
& SLJIT_32
) {
1355 mem_flags
= INT_SIZE
;
1358 if (dst
== TMP_REG1
)
1359 flags
|= UNUSED_RETURN
;
1361 if (src1
& SLJIT_MEM
) {
1362 FAIL_IF(emit_op_mem(compiler
, mem_flags
, TMP_REG1
, src1
, src1w
, TMP_REG1
));
1366 if (src2
& SLJIT_MEM
) {
1367 FAIL_IF(emit_op_mem(compiler
, mem_flags
, TMP_REG2
, src2
, src2w
, TMP_REG2
));
1371 if (src1
& SLJIT_IMM
)
1376 if (src2
& SLJIT_IMM
)
1381 emit_op_imm(compiler
, flags
| GET_OPCODE(op
), dst_r
, src1w
, src2w
);
1383 if (dst
& SLJIT_MEM
)
1384 return emit_op_mem(compiler
, mem_flags
| STORE
, dst_r
, dst
, dstw
, TMP_REG2
);
1385 return SLJIT_SUCCESS
;
1388 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op2u(struct sljit_compiler
*compiler
, sljit_s32 op
,
1389 sljit_s32 src1
, sljit_sw src1w
,
1390 sljit_s32 src2
, sljit_sw src2w
)
1393 CHECK(check_sljit_emit_op2(compiler
, op
, 1, 0, 0, src1
, src1w
, src2
, src2w
));
1395 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1396 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1397 compiler
->skip_checks
= 1;
1399 return sljit_emit_op2(compiler
, op
, TMP_REG1
, 0, src1
, src1w
, src2
, src2w
);
1402 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op_src(struct sljit_compiler
*compiler
, sljit_s32 op
,
1403 sljit_s32 src
, sljit_sw srcw
)
1406 CHECK(check_sljit_emit_op_src(compiler
, op
, src
, srcw
));
1407 ADJUST_LOCAL_OFFSET(src
, srcw
);
1410 case SLJIT_FAST_RETURN
:
1411 if (FAST_IS_REG(src
))
1412 FAIL_IF(push_inst(compiler
, ORR
| RD(TMP_LR
) | RN(TMP_ZERO
) | RM(src
)));
1414 FAIL_IF(emit_op_mem(compiler
, WORD_SIZE
, TMP_LR
, src
, srcw
, TMP_REG1
));
1416 return push_inst(compiler
, RET
| RN(TMP_LR
));
1417 case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN
:
1418 return SLJIT_SUCCESS
;
1419 case SLJIT_PREFETCH_L1
:
1420 case SLJIT_PREFETCH_L2
:
1421 case SLJIT_PREFETCH_L3
:
1422 case SLJIT_PREFETCH_ONCE
:
1423 SLJIT_ASSERT(reg_map
[1] == 0 && reg_map
[3] == 2 && reg_map
[5] == 4);
1425 /* The reg_map[op] should provide the appropriate constant. */
1426 if (op
== SLJIT_PREFETCH_L1
)
1428 else if (op
== SLJIT_PREFETCH_L2
)
1430 else if (op
== SLJIT_PREFETCH_L3
)
1435 /* Signed word sized load is the prefetch instruction. */
1436 return emit_op_mem(compiler
, WORD_SIZE
| SIGNED
, op
, src
, srcw
, TMP_REG1
);
1439 return SLJIT_SUCCESS
;
1442 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_get_register_index(sljit_s32 reg
)
1444 CHECK_REG_INDEX(check_sljit_get_register_index(reg
));
1445 return reg_map
[reg
];
1448 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_get_float_register_index(sljit_s32 reg
)
1450 CHECK_REG_INDEX(check_sljit_get_float_register_index(reg
));
1451 return freg_map
[reg
];
1454 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op_custom(struct sljit_compiler
*compiler
,
1455 void *instruction
, sljit_u32 size
)
1457 SLJIT_UNUSED_ARG(size
);
1459 CHECK(check_sljit_emit_op_custom(compiler
, instruction
, size
));
1461 return push_inst(compiler
, *(sljit_ins
*)instruction
);
1464 /* --------------------------------------------------------------------- */
1465 /* Floating point operators */
1466 /* --------------------------------------------------------------------- */
1468 static sljit_s32
emit_fop_mem(struct sljit_compiler
*compiler
, sljit_s32 flags
, sljit_s32 reg
, sljit_s32 arg
, sljit_sw argw
)
1470 sljit_u32 shift
= MEM_SIZE_SHIFT(flags
);
1471 sljit_ins type
= (shift
<< 30);
1473 SLJIT_ASSERT(arg
& SLJIT_MEM
);
1475 if (!(flags
& STORE
))
1478 if (arg
& OFFS_REG_MASK
) {
1480 if (argw
== 0 || argw
== shift
)
1481 return push_inst(compiler
, STR_FR
| type
| VT(reg
)
1482 | RN(arg
& REG_MASK
) | RM(OFFS_REG(arg
)) | (argw
? (1 << 12) : 0));
1484 FAIL_IF(push_inst(compiler
, ADD
| RD(TMP_REG1
) | RN(arg
& REG_MASK
) | RM(OFFS_REG(arg
)) | ((sljit_ins
)argw
<< 10)));
1485 return push_inst(compiler
, STR_FI
| type
| VT(reg
) | RN(TMP_REG1
));
1491 FAIL_IF(load_immediate(compiler
, TMP_REG1
, argw
& ~(0xfff << shift
)));
1493 argw
= (argw
>> shift
) & 0xfff;
1495 return push_inst(compiler
, STR_FI
| type
| VT(reg
) | RN(TMP_REG1
) | ((sljit_ins
)argw
<< 10));
1498 if (argw
>= 0 && (argw
& ((1 << shift
) - 1)) == 0) {
1499 if ((argw
>> shift
) <= 0xfff)
1500 return push_inst(compiler
, STR_FI
| type
| VT(reg
) | RN(arg
) | ((sljit_ins
)argw
<< (10 - shift
)));
1502 if (argw
<= 0xffffff) {
1503 FAIL_IF(push_inst(compiler
, ADDI
| (1 << 22) | RD(TMP_REG1
) | RN(arg
) | (((sljit_ins
)argw
>> 12) << 10)));
1505 argw
= ((argw
& 0xfff) >> shift
);
1506 return push_inst(compiler
, STR_FI
| type
| VT(reg
) | RN(TMP_REG1
) | ((sljit_ins
)argw
<< 10));
1510 if (argw
<= 255 && argw
>= -256)
1511 return push_inst(compiler
, STUR_FI
| type
| VT(reg
) | RN(arg
) | (((sljit_ins
)argw
& 0x1ff) << 12));
1513 FAIL_IF(load_immediate(compiler
, TMP_REG1
, argw
));
1514 return push_inst(compiler
, STR_FR
| type
| VT(reg
) | RN(arg
) | RM(TMP_REG1
));
1517 static SLJIT_INLINE sljit_s32
sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler
*compiler
, sljit_s32 op
,
1518 sljit_s32 dst
, sljit_sw dstw
,
1519 sljit_s32 src
, sljit_sw srcw
)
1521 sljit_s32 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
1522 sljit_ins inv_bits
= (op
& SLJIT_32
) ? (1 << 22) : 0;
1524 if (GET_OPCODE(op
) == SLJIT_CONV_S32_FROM_F64
)
1527 if (src
& SLJIT_MEM
) {
1528 emit_fop_mem(compiler
, (op
& SLJIT_32
) ? INT_SIZE
: WORD_SIZE
, TMP_FREG1
, src
, srcw
);
1532 FAIL_IF(push_inst(compiler
, (FCVTZS
^ inv_bits
) | RD(dst_r
) | VN(src
)));
1534 if (dst
& SLJIT_MEM
)
1535 return emit_op_mem(compiler
, ((GET_OPCODE(op
) == SLJIT_CONV_S32_FROM_F64
) ? INT_SIZE
: WORD_SIZE
) | STORE
, TMP_REG1
, dst
, dstw
, TMP_REG2
);
1536 return SLJIT_SUCCESS
;
1539 static SLJIT_INLINE sljit_s32
sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler
*compiler
, sljit_s32 op
,
1540 sljit_s32 dst
, sljit_sw dstw
,
1541 sljit_s32 src
, sljit_sw srcw
)
1543 sljit_s32 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_FREG1
;
1544 sljit_ins inv_bits
= (op
& SLJIT_32
) ? (1 << 22) : 0;
1546 if (GET_OPCODE(op
) == SLJIT_CONV_F64_FROM_S32
)
1549 if (src
& SLJIT_MEM
) {
1550 emit_op_mem(compiler
, ((GET_OPCODE(op
) == SLJIT_CONV_F64_FROM_S32
) ? INT_SIZE
: WORD_SIZE
), TMP_REG1
, src
, srcw
, TMP_REG1
);
1552 } else if (src
& SLJIT_IMM
) {
1553 #if (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
1554 if (GET_OPCODE(op
) == SLJIT_CONV_F64_FROM_S32
)
1555 srcw
= (sljit_s32
)srcw
;
1557 FAIL_IF(load_immediate(compiler
, TMP_REG1
, srcw
));
1561 FAIL_IF(push_inst(compiler
, (SCVTF
^ inv_bits
) | VD(dst_r
) | RN(src
)));
1563 if (dst
& SLJIT_MEM
)
1564 return emit_fop_mem(compiler
, ((op
& SLJIT_32
) ? INT_SIZE
: WORD_SIZE
) | STORE
, TMP_FREG1
, dst
, dstw
);
1565 return SLJIT_SUCCESS
;
1568 static SLJIT_INLINE sljit_s32
sljit_emit_fop1_cmp(struct sljit_compiler
*compiler
, sljit_s32 op
,
1569 sljit_s32 src1
, sljit_sw src1w
,
1570 sljit_s32 src2
, sljit_sw src2w
)
1572 sljit_s32 mem_flags
= (op
& SLJIT_32
) ? INT_SIZE
: WORD_SIZE
;
1573 sljit_ins inv_bits
= (op
& SLJIT_32
) ? (1 << 22) : 0;
1575 if (src1
& SLJIT_MEM
) {
1576 emit_fop_mem(compiler
, mem_flags
, TMP_FREG1
, src1
, src1w
);
1580 if (src2
& SLJIT_MEM
) {
1581 emit_fop_mem(compiler
, mem_flags
, TMP_FREG2
, src2
, src2w
);
1585 return push_inst(compiler
, (FCMP
^ inv_bits
) | VN(src1
) | VM(src2
));
1588 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_fop1(struct sljit_compiler
*compiler
, sljit_s32 op
,
1589 sljit_s32 dst
, sljit_sw dstw
,
1590 sljit_s32 src
, sljit_sw srcw
)
1592 sljit_s32 dst_r
, mem_flags
= (op
& SLJIT_32
) ? INT_SIZE
: WORD_SIZE
;
1597 SLJIT_COMPILE_ASSERT((INT_SIZE
^ 0x1) == WORD_SIZE
, must_be_one_bit_difference
);
1598 SELECT_FOP1_OPERATION_WITH_CHECKS(compiler
, op
, dst
, dstw
, src
, srcw
);
1600 inv_bits
= (op
& SLJIT_32
) ? (1 << 22) : 0;
1601 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_FREG1
;
1603 if (src
& SLJIT_MEM
) {
1604 emit_fop_mem(compiler
, (GET_OPCODE(op
) == SLJIT_CONV_F64_FROM_F32
) ? (mem_flags
^ 0x1) : mem_flags
, dst_r
, src
, srcw
);
1608 switch (GET_OPCODE(op
)) {
1611 if (dst_r
!= TMP_FREG1
)
1612 FAIL_IF(push_inst(compiler
, (FMOV
^ inv_bits
) | VD(dst_r
) | VN(src
)));
1618 FAIL_IF(push_inst(compiler
, (FNEG
^ inv_bits
) | VD(dst_r
) | VN(src
)));
1621 FAIL_IF(push_inst(compiler
, (FABS
^ inv_bits
) | VD(dst_r
) | VN(src
)));
1623 case SLJIT_CONV_F64_FROM_F32
:
1624 FAIL_IF(push_inst(compiler
, FCVT
| (sljit_ins
)((op
& SLJIT_32
) ? (1 << 22) : (1 << 15)) | VD(dst_r
) | VN(src
)));
1628 if (dst
& SLJIT_MEM
)
1629 return emit_fop_mem(compiler
, mem_flags
| STORE
, dst_r
, dst
, dstw
);
1630 return SLJIT_SUCCESS
;
1633 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_fop2(struct sljit_compiler
*compiler
, sljit_s32 op
,
1634 sljit_s32 dst
, sljit_sw dstw
,
1635 sljit_s32 src1
, sljit_sw src1w
,
1636 sljit_s32 src2
, sljit_sw src2w
)
1638 sljit_s32 dst_r
, mem_flags
= (op
& SLJIT_32
) ? INT_SIZE
: WORD_SIZE
;
1639 sljit_ins inv_bits
= (op
& SLJIT_32
) ? (1 << 22) : 0;
1642 CHECK(check_sljit_emit_fop2(compiler
, op
, dst
, dstw
, src1
, src1w
, src2
, src2w
));
1643 ADJUST_LOCAL_OFFSET(dst
, dstw
);
1644 ADJUST_LOCAL_OFFSET(src1
, src1w
);
1645 ADJUST_LOCAL_OFFSET(src2
, src2w
);
1647 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_FREG1
;
1648 if (src1
& SLJIT_MEM
) {
1649 emit_fop_mem(compiler
, mem_flags
, TMP_FREG1
, src1
, src1w
);
1652 if (src2
& SLJIT_MEM
) {
1653 emit_fop_mem(compiler
, mem_flags
, TMP_FREG2
, src2
, src2w
);
1657 switch (GET_OPCODE(op
)) {
1659 FAIL_IF(push_inst(compiler
, (FADD
^ inv_bits
) | VD(dst_r
) | VN(src1
) | VM(src2
)));
1662 FAIL_IF(push_inst(compiler
, (FSUB
^ inv_bits
) | VD(dst_r
) | VN(src1
) | VM(src2
)));
1665 FAIL_IF(push_inst(compiler
, (FMUL
^ inv_bits
) | VD(dst_r
) | VN(src1
) | VM(src2
)));
1668 FAIL_IF(push_inst(compiler
, (FDIV
^ inv_bits
) | VD(dst_r
) | VN(src1
) | VM(src2
)));
1672 if (!(dst
& SLJIT_MEM
))
1673 return SLJIT_SUCCESS
;
1674 return emit_fop_mem(compiler
, mem_flags
| STORE
, TMP_FREG1
, dst
, dstw
);
1677 /* --------------------------------------------------------------------- */
1678 /* Other instructions */
1679 /* --------------------------------------------------------------------- */
1681 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_fast_enter(struct sljit_compiler
*compiler
, sljit_s32 dst
, sljit_sw dstw
)
1684 CHECK(check_sljit_emit_fast_enter(compiler
, dst
, dstw
));
1685 ADJUST_LOCAL_OFFSET(dst
, dstw
);
1687 if (FAST_IS_REG(dst
))
1688 return push_inst(compiler
, ORR
| RD(dst
) | RN(TMP_ZERO
) | RM(TMP_LR
));
1691 return emit_op_mem(compiler
, WORD_SIZE
| STORE
, TMP_LR
, dst
, dstw
, TMP_REG1
);
1694 /* --------------------------------------------------------------------- */
1695 /* Conditional instructions */
1696 /* --------------------------------------------------------------------- */
1698 static sljit_ins
get_cc(struct sljit_compiler
*compiler
, sljit_s32 type
)
1703 case SLJIT_ORDERED_EQUAL
:
1704 case SLJIT_UNORDERED_OR_EQUAL
: /* Not supported. */
1707 case SLJIT_NOT_EQUAL
:
1708 case SLJIT_F_NOT_EQUAL
:
1709 case SLJIT_UNORDERED_OR_NOT_EQUAL
:
1710 case SLJIT_ORDERED_NOT_EQUAL
: /* Not supported. */
1714 if (compiler
->status_flags_state
& SLJIT_CURRENT_FLAGS_ADD
)
1721 case SLJIT_NOT_CARRY
:
1722 if (compiler
->status_flags_state
& SLJIT_CURRENT_FLAGS_ADD
)
1726 case SLJIT_GREATER_EQUAL
:
1730 case SLJIT_UNORDERED_OR_GREATER
:
1733 case SLJIT_LESS_EQUAL
:
1734 case SLJIT_F_LESS_EQUAL
:
1735 case SLJIT_ORDERED_LESS_EQUAL
:
1738 case SLJIT_SIG_LESS
:
1739 case SLJIT_UNORDERED_OR_LESS
:
1742 case SLJIT_SIG_GREATER_EQUAL
:
1743 case SLJIT_F_GREATER_EQUAL
:
1744 case SLJIT_ORDERED_GREATER_EQUAL
:
1747 case SLJIT_SIG_GREATER
:
1748 case SLJIT_F_GREATER
:
1749 case SLJIT_ORDERED_GREATER
:
1752 case SLJIT_SIG_LESS_EQUAL
:
1753 case SLJIT_UNORDERED_OR_LESS_EQUAL
:
1756 case SLJIT_OVERFLOW
:
1757 if (!(compiler
->status_flags_state
& (SLJIT_CURRENT_FLAGS_ADD
| SLJIT_CURRENT_FLAGS_SUB
)))
1761 case SLJIT_UNORDERED
:
1764 case SLJIT_NOT_OVERFLOW
:
1765 if (!(compiler
->status_flags_state
& (SLJIT_CURRENT_FLAGS_ADD
| SLJIT_CURRENT_FLAGS_SUB
)))
1773 case SLJIT_ORDERED_LESS
:
1776 case SLJIT_UNORDERED_OR_GREATER_EQUAL
:
1780 SLJIT_UNREACHABLE();
1785 SLJIT_API_FUNC_ATTRIBUTE
struct sljit_label
* sljit_emit_label(struct sljit_compiler
*compiler
)
1787 struct sljit_label
*label
;
1790 CHECK_PTR(check_sljit_emit_label(compiler
));
1792 if (compiler
->last_label
&& compiler
->last_label
->size
== compiler
->size
)
1793 return compiler
->last_label
;
1795 label
= (struct sljit_label
*)ensure_abuf(compiler
, sizeof(struct sljit_label
));
1796 PTR_FAIL_IF(!label
);
1797 set_label(label
, compiler
);
1801 SLJIT_API_FUNC_ATTRIBUTE
struct sljit_jump
* sljit_emit_jump(struct sljit_compiler
*compiler
, sljit_s32 type
)
1803 struct sljit_jump
*jump
;
1806 CHECK_PTR(check_sljit_emit_jump(compiler
, type
));
1808 jump
= (struct sljit_jump
*)ensure_abuf(compiler
, sizeof(struct sljit_jump
));
1810 set_jump(jump
, compiler
, type
& SLJIT_REWRITABLE_JUMP
);
1813 if (type
< SLJIT_JUMP
) {
1814 jump
->flags
|= IS_COND
;
1815 PTR_FAIL_IF(push_inst(compiler
, B_CC
| (6 << 5) | get_cc(compiler
, type
)));
1817 else if (type
>= SLJIT_FAST_CALL
)
1818 jump
->flags
|= IS_BL
;
1820 PTR_FAIL_IF(emit_imm64_const(compiler
, TMP_REG1
, 0));
1821 jump
->addr
= compiler
->size
;
1822 PTR_FAIL_IF(push_inst(compiler
, ((type
>= SLJIT_FAST_CALL
) ? BLR
: BR
) | RN(TMP_REG1
)));
1827 SLJIT_API_FUNC_ATTRIBUTE
struct sljit_jump
* sljit_emit_call(struct sljit_compiler
*compiler
, sljit_s32 type
,
1828 sljit_s32 arg_types
)
1830 SLJIT_UNUSED_ARG(arg_types
);
1832 CHECK_PTR(check_sljit_emit_call(compiler
, type
, arg_types
));
1834 if (type
& SLJIT_CALL_RETURN
) {
1835 PTR_FAIL_IF(emit_stack_frame_release(compiler
));
1836 type
= SLJIT_JUMP
| (type
& SLJIT_REWRITABLE_JUMP
);
1839 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1840 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1841 compiler
->skip_checks
= 1;
1844 return sljit_emit_jump(compiler
, type
);
1847 static SLJIT_INLINE
struct sljit_jump
* emit_cmp_to0(struct sljit_compiler
*compiler
, sljit_s32 type
,
1848 sljit_s32 src
, sljit_sw srcw
)
1850 struct sljit_jump
*jump
;
1851 sljit_ins inv_bits
= (type
& SLJIT_32
) ? W_OP
: 0;
1853 SLJIT_ASSERT((type
& 0xff) == SLJIT_EQUAL
|| (type
& 0xff) == SLJIT_NOT_EQUAL
);
1854 ADJUST_LOCAL_OFFSET(src
, srcw
);
1856 jump
= (struct sljit_jump
*)ensure_abuf(compiler
, sizeof(struct sljit_jump
));
1858 set_jump(jump
, compiler
, type
& SLJIT_REWRITABLE_JUMP
);
1859 jump
->flags
|= IS_CBZ
| IS_COND
;
1861 if (src
& SLJIT_MEM
) {
1862 PTR_FAIL_IF(emit_op_mem(compiler
, inv_bits
? INT_SIZE
: WORD_SIZE
, TMP_REG1
, src
, srcw
, TMP_REG1
));
1865 else if (src
& SLJIT_IMM
) {
1866 PTR_FAIL_IF(load_immediate(compiler
, TMP_REG1
, srcw
));
1870 SLJIT_ASSERT(FAST_IS_REG(src
));
1872 if ((type
& 0xff) == SLJIT_EQUAL
)
1873 inv_bits
|= 1 << 24;
1875 PTR_FAIL_IF(push_inst(compiler
, (CBZ
^ inv_bits
) | (6 << 5) | RT(src
)));
1876 PTR_FAIL_IF(emit_imm64_const(compiler
, TMP_REG1
, 0));
1877 jump
->addr
= compiler
->size
;
1878 PTR_FAIL_IF(push_inst(compiler
, BR
| RN(TMP_REG1
)));
1882 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_ijump(struct sljit_compiler
*compiler
, sljit_s32 type
, sljit_s32 src
, sljit_sw srcw
)
1884 struct sljit_jump
*jump
;
1887 CHECK(check_sljit_emit_ijump(compiler
, type
, src
, srcw
));
1888 ADJUST_LOCAL_OFFSET(src
, srcw
);
1890 if (!(src
& SLJIT_IMM
)) {
1891 if (src
& SLJIT_MEM
) {
1892 FAIL_IF(emit_op_mem(compiler
, WORD_SIZE
, TMP_REG1
, src
, srcw
, TMP_REG1
));
1895 return push_inst(compiler
, ((type
>= SLJIT_FAST_CALL
) ? BLR
: BR
) | RN(src
));
1898 /* These jumps are converted to jump/call instructions when possible. */
1899 jump
= (struct sljit_jump
*)ensure_abuf(compiler
, sizeof(struct sljit_jump
));
1901 set_jump(jump
, compiler
, JUMP_ADDR
| ((type
>= SLJIT_FAST_CALL
) ? IS_BL
: 0));
1902 jump
->u
.target
= (sljit_uw
)srcw
;
1904 FAIL_IF(emit_imm64_const(compiler
, TMP_REG1
, 0));
1905 jump
->addr
= compiler
->size
;
1906 return push_inst(compiler
, ((type
>= SLJIT_FAST_CALL
) ? BLR
: BR
) | RN(TMP_REG1
));
1909 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_icall(struct sljit_compiler
*compiler
, sljit_s32 type
,
1910 sljit_s32 arg_types
,
1911 sljit_s32 src
, sljit_sw srcw
)
1913 SLJIT_UNUSED_ARG(arg_types
);
1915 CHECK(check_sljit_emit_icall(compiler
, type
, arg_types
, src
, srcw
));
1916 ADJUST_LOCAL_OFFSET(src
, srcw
);
1918 if (src
& SLJIT_MEM
) {
1919 FAIL_IF(emit_op_mem(compiler
, WORD_SIZE
, TMP_REG1
, src
, srcw
, TMP_REG1
));
1923 if (type
& SLJIT_CALL_RETURN
) {
1924 if (src
>= SLJIT_FIRST_SAVED_REG
&& src
<= SLJIT_S0
) {
1925 FAIL_IF(push_inst(compiler
, ORR
| RD(TMP_REG1
) | RN(TMP_ZERO
) | RM(src
)));
1929 FAIL_IF(emit_stack_frame_release(compiler
));
1933 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1934 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1935 compiler
->skip_checks
= 1;
1938 return sljit_emit_ijump(compiler
, type
, src
, srcw
);
1941 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_op_flags(struct sljit_compiler
*compiler
, sljit_s32 op
,
1942 sljit_s32 dst
, sljit_sw dstw
,
1945 sljit_s32 dst_r
, src_r
, flags
, mem_flags
;
1949 CHECK(check_sljit_emit_op_flags(compiler
, op
, dst
, dstw
, type
));
1950 ADJUST_LOCAL_OFFSET(dst
, dstw
);
1952 cc
= get_cc(compiler
, type
& 0xff);
1953 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
1955 if (GET_OPCODE(op
) < SLJIT_ADD
) {
1956 FAIL_IF(push_inst(compiler
, CSINC
| (cc
<< 12) | RD(dst_r
) | RN(TMP_ZERO
) | RM(TMP_ZERO
)));
1958 if (dst_r
== TMP_REG1
) {
1959 mem_flags
= (GET_OPCODE(op
) == SLJIT_MOV
? WORD_SIZE
: INT_SIZE
) | STORE
;
1960 return emit_op_mem(compiler
, mem_flags
, TMP_REG1
, dst
, dstw
, TMP_REG2
);
1963 return SLJIT_SUCCESS
;
1966 flags
= HAS_FLAGS(op
) ? SET_FLAGS
: 0;
1967 mem_flags
= WORD_SIZE
;
1969 if (op
& SLJIT_32
) {
1971 mem_flags
= INT_SIZE
;
1976 if (dst
& SLJIT_MEM
) {
1977 FAIL_IF(emit_op_mem(compiler
, mem_flags
, TMP_REG1
, dst
, dstw
, TMP_REG1
));
1981 FAIL_IF(push_inst(compiler
, CSINC
| (cc
<< 12) | RD(TMP_REG2
) | RN(TMP_ZERO
) | RM(TMP_ZERO
)));
1982 emit_op_imm(compiler
, flags
| GET_OPCODE(op
), dst_r
, src_r
, TMP_REG2
);
1984 if (dst
& SLJIT_MEM
)
1985 return emit_op_mem(compiler
, mem_flags
| STORE
, TMP_REG1
, dst
, dstw
, TMP_REG2
);
1986 return SLJIT_SUCCESS
;
1989 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_cmov(struct sljit_compiler
*compiler
, sljit_s32 type
,
1991 sljit_s32 src
, sljit_sw srcw
)
1993 sljit_ins inv_bits
= (dst_reg
& SLJIT_32
) ? W_OP
: 0;
1997 CHECK(check_sljit_emit_cmov(compiler
, type
, dst_reg
, src
, srcw
));
1999 if (SLJIT_UNLIKELY(src
& SLJIT_IMM
)) {
2000 if (dst_reg
& SLJIT_32
)
2001 srcw
= (sljit_s32
)srcw
;
2002 FAIL_IF(load_immediate(compiler
, TMP_REG1
, srcw
));
2007 cc
= get_cc(compiler
, type
& 0xff);
2008 dst_reg
&= ~SLJIT_32
;
2010 return push_inst(compiler
, (CSEL
^ inv_bits
) | (cc
<< 12) | RD(dst_reg
) | RN(dst_reg
) | RM(src
));
2013 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_mem(struct sljit_compiler
*compiler
, sljit_s32 type
,
2015 sljit_s32 mem
, sljit_sw memw
)
2017 sljit_u32 sign
= 0, inst
;
2020 CHECK(check_sljit_emit_mem(compiler
, type
, reg
, mem
, memw
));
2022 if ((mem
& OFFS_REG_MASK
) || (memw
> 255 || memw
< -256))
2023 return SLJIT_ERR_UNSUPPORTED
;
2025 if (type
& SLJIT_MEM_SUPP
)
2026 return SLJIT_SUCCESS
;
2028 switch (type
& 0xff) {
2031 inst
= STURBI
| (MEM_SIZE_SHIFT(WORD_SIZE
) << 30) | 0x400;
2037 inst
= STURBI
| (MEM_SIZE_SHIFT(BYTE_SIZE
) << 30) | 0x400;
2043 inst
= STURBI
| (MEM_SIZE_SHIFT(HALF_SIZE
) << 30) | 0x400;
2050 inst
= STURBI
| (MEM_SIZE_SHIFT(INT_SIZE
) << 30) | 0x400;
2053 SLJIT_UNREACHABLE();
2054 inst
= STURBI
| (MEM_SIZE_SHIFT(WORD_SIZE
) << 30) | 0x400;
2058 if (!(type
& SLJIT_MEM_STORE
))
2059 inst
|= sign
? 0x00800000 : 0x00400000;
2061 if (type
& SLJIT_MEM_PRE
)
2064 return push_inst(compiler
, inst
| RT(reg
) | RN(mem
& REG_MASK
) | (sljit_ins
)((memw
& 0x1ff) << 12));
2067 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_emit_fmem(struct sljit_compiler
*compiler
, sljit_s32 type
,
2069 sljit_s32 mem
, sljit_sw memw
)
2074 CHECK(check_sljit_emit_fmem(compiler
, type
, freg
, mem
, memw
));
2076 if ((mem
& OFFS_REG_MASK
) || (memw
> 255 || memw
< -256))
2077 return SLJIT_ERR_UNSUPPORTED
;
2079 if (type
& SLJIT_MEM_SUPP
)
2080 return SLJIT_SUCCESS
;
2082 inst
= STUR_FI
| 0x80000400;
2084 if (!(type
& SLJIT_32
))
2087 if (!(type
& SLJIT_MEM_STORE
))
2090 if (type
& SLJIT_MEM_PRE
)
2093 return push_inst(compiler
, inst
| VT(freg
) | RN(mem
& REG_MASK
) | (sljit_ins
)((memw
& 0x1ff) << 12));
2096 SLJIT_API_FUNC_ATTRIBUTE sljit_s32
sljit_get_local_base(struct sljit_compiler
*compiler
, sljit_s32 dst
, sljit_sw dstw
, sljit_sw offset
)
2102 CHECK(check_sljit_get_local_base(compiler
, dst
, dstw
, offset
));
2103 ADJUST_LOCAL_OFFSET(SLJIT_MEM1(SLJIT_SP
), offset
);
2105 dst_reg
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
2107 /* Not all instruction forms support accessing SP register. */
2108 if (offset
<= 0xffffff && offset
>= -0xffffff) {
2115 if (offset
<= 0xfff)
2116 FAIL_IF(push_inst(compiler
, ins
| RD(dst_reg
) | RN(SLJIT_SP
) | (sljit_ins
)(offset
<< 10)));
2118 FAIL_IF(push_inst(compiler
, ins
| RD(dst_reg
) | RN(SLJIT_SP
) | (sljit_ins
)((offset
& 0xfff000) >> (12 - 10)) | (1 << 22)));
2122 FAIL_IF(push_inst(compiler
, ins
| RD(dst_reg
) | RN(dst_reg
) | (sljit_ins
)(offset
<< 10)));
2126 FAIL_IF(load_immediate (compiler
, dst_reg
, offset
));
2127 /* Add extended register form. */
2128 FAIL_IF(push_inst(compiler
, ADDE
| (0x3 << 13) | RD(dst_reg
) | RN(SLJIT_SP
) | RM(dst_reg
)));
2131 if (SLJIT_UNLIKELY(dst
& SLJIT_MEM
))
2132 return emit_op_mem(compiler
, WORD_SIZE
| STORE
, dst_reg
, dst
, dstw
, TMP_REG1
);
2133 return SLJIT_SUCCESS
;
2136 SLJIT_API_FUNC_ATTRIBUTE
struct sljit_const
* sljit_emit_const(struct sljit_compiler
*compiler
, sljit_s32 dst
, sljit_sw dstw
, sljit_sw init_value
)
2138 struct sljit_const
*const_
;
2142 CHECK_PTR(check_sljit_emit_const(compiler
, dst
, dstw
, init_value
));
2143 ADJUST_LOCAL_OFFSET(dst
, dstw
);
2145 const_
= (struct sljit_const
*)ensure_abuf(compiler
, sizeof(struct sljit_const
));
2146 PTR_FAIL_IF(!const_
);
2147 set_const(const_
, compiler
);
2149 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
2150 PTR_FAIL_IF(emit_imm64_const(compiler
, dst_r
, (sljit_uw
)init_value
));
2152 if (dst
& SLJIT_MEM
)
2153 PTR_FAIL_IF(emit_op_mem(compiler
, WORD_SIZE
| STORE
, dst_r
, dst
, dstw
, TMP_REG2
));
2157 SLJIT_API_FUNC_ATTRIBUTE
struct sljit_put_label
* sljit_emit_put_label(struct sljit_compiler
*compiler
, sljit_s32 dst
, sljit_sw dstw
)
2159 struct sljit_put_label
*put_label
;
2163 CHECK_PTR(check_sljit_emit_put_label(compiler
, dst
, dstw
));
2164 ADJUST_LOCAL_OFFSET(dst
, dstw
);
2166 dst_r
= FAST_IS_REG(dst
) ? dst
: TMP_REG1
;
2167 PTR_FAIL_IF(emit_imm64_const(compiler
, dst_r
, 0));
2169 put_label
= (struct sljit_put_label
*)ensure_abuf(compiler
, sizeof(struct sljit_put_label
));
2170 PTR_FAIL_IF(!put_label
);
2171 set_put_label(put_label
, compiler
, 1);
2173 if (dst
& SLJIT_MEM
)
2174 PTR_FAIL_IF(emit_op_mem(compiler
, WORD_SIZE
| STORE
, dst_r
, dst
, dstw
, TMP_REG2
));
2179 SLJIT_API_FUNC_ATTRIBUTE
void sljit_set_jump_addr(sljit_uw addr
, sljit_uw new_target
, sljit_sw executable_offset
)
2181 sljit_ins
* inst
= (sljit_ins
*)addr
;
2183 SLJIT_UNUSED_ARG(executable_offset
);
2185 SLJIT_UPDATE_WX_FLAGS(inst
, inst
+ 4, 0);
2187 dst
= inst
[0] & 0x1f;
2188 SLJIT_ASSERT((inst
[0] & 0xffe00000) == MOVZ
&& (inst
[1] & 0xffe00000) == (MOVK
| (1 << 21)));
2189 inst
[0] = MOVZ
| dst
| (((sljit_u32
)new_target
& 0xffff) << 5);
2190 inst
[1] = MOVK
| dst
| (((sljit_u32
)(new_target
>> 16) & 0xffff) << 5) | (1 << 21);
2191 inst
[2] = MOVK
| dst
| (((sljit_u32
)(new_target
>> 32) & 0xffff) << 5) | (2 << 21);
2192 inst
[3] = MOVK
| dst
| ((sljit_u32
)(new_target
>> 48) << 5) | (3 << 21);
2194 SLJIT_UPDATE_WX_FLAGS(inst
, inst
+ 4, 1);
2195 inst
= (sljit_ins
*)SLJIT_ADD_EXEC_OFFSET(inst
, executable_offset
);
2196 SLJIT_CACHE_FLUSH(inst
, inst
+ 4);
2199 SLJIT_API_FUNC_ATTRIBUTE
void sljit_set_const(sljit_uw addr
, sljit_sw new_constant
, sljit_sw executable_offset
)
2201 sljit_set_jump_addr(addr
, (sljit_uw
)new_constant
, executable_offset
);