Swap f32 and f64 argument types.
[sljit.git] / sljit_src / sljitNativeARM_T2_32.c
blob7cd7da7ffec9f39c1ec5c383b54824d0d6651009
1 /*
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 #ifdef __SOFTFP__
30 return "ARM-Thumb2" SLJIT_CPUINFO " ABI:softfp";
31 #else
32 return "ARM-Thumb2" SLJIT_CPUINFO " ABI:hardfp";
33 #endif
36 /* Length of an instruction word. */
37 typedef sljit_u32 sljit_ins;
39 /* Last register + 1. */
40 #define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)
41 #define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)
42 #define TMP_PC (SLJIT_NUMBER_OF_REGISTERS + 4)
44 #define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)
45 #define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)
47 /* See sljit_emit_enter and sljit_emit_op0 if you want to change them. */
48 static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 5] = {
49 0, 0, 1, 2, 3, 11, 10, 9, 8, 7, 6, 5, 4, 13, 12, 14, 15
52 static const sljit_u8 freg_map[SLJIT_NUMBER_OF_FLOAT_REGISTERS + 3] = {
53 0, 0, 1, 2, 3, 4, 5, 6, 7
56 #define COPY_BITS(src, from, to, bits) \
57 ((from >= to ? (src >> (from - to)) : (src << (to - from))) & (((1 << bits) - 1) << to))
59 /* Thumb16 encodings. */
60 #define RD3(rd) (reg_map[rd])
61 #define RN3(rn) (reg_map[rn] << 3)
62 #define RM3(rm) (reg_map[rm] << 6)
63 #define RDN3(rdn) (reg_map[rdn] << 8)
64 #define IMM3(imm) (imm << 6)
65 #define IMM8(imm) (imm)
67 /* Thumb16 helpers. */
68 #define SET_REGS44(rd, rn) \
69 ((reg_map[rn] << 3) | (reg_map[rd] & 0x7) | ((reg_map[rd] & 0x8) << 4))
70 #define IS_2_LO_REGS(reg1, reg2) \
71 (reg_map[reg1] <= 7 && reg_map[reg2] <= 7)
72 #define IS_3_LO_REGS(reg1, reg2, reg3) \
73 (reg_map[reg1] <= 7 && reg_map[reg2] <= 7 && reg_map[reg3] <= 7)
75 /* Thumb32 encodings. */
76 #define RD4(rd) (reg_map[rd] << 8)
77 #define RN4(rn) (reg_map[rn] << 16)
78 #define RM4(rm) (reg_map[rm])
79 #define RT4(rt) (reg_map[rt] << 12)
80 #define DD4(dd) (freg_map[dd] << 12)
81 #define DN4(dn) (freg_map[dn] << 16)
82 #define DM4(dm) (freg_map[dm])
83 #define IMM5(imm) \
84 (COPY_BITS(imm, 2, 12, 3) | ((imm & 0x3) << 6))
85 #define IMM12(imm) \
86 (COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff))
88 /* --------------------------------------------------------------------- */
89 /* Instrucion forms */
90 /* --------------------------------------------------------------------- */
92 /* dot '.' changed to _
93 I immediate form (possibly followed by number of immediate bits). */
94 #define ADCI 0xf1400000
95 #define ADCS 0x4140
96 #define ADC_W 0xeb400000
97 #define ADD 0x4400
98 #define ADDS 0x1800
99 #define ADDSI3 0x1c00
100 #define ADDSI8 0x3000
101 #define ADD_W 0xeb000000
102 #define ADDWI 0xf2000000
103 #define ADD_SP 0xb000
104 #define ADD_W 0xeb000000
105 #define ADD_WI 0xf1000000
106 #define ANDI 0xf0000000
107 #define ANDS 0x4000
108 #define AND_W 0xea000000
109 #define ASRS 0x4100
110 #define ASRSI 0x1000
111 #define ASR_W 0xfa40f000
112 #define ASR_WI 0xea4f0020
113 #define BCC 0xd000
114 #define BICI 0xf0200000
115 #define BKPT 0xbe00
116 #define BLX 0x4780
117 #define BX 0x4700
118 #define CLZ 0xfab0f080
119 #define CMNI_W 0xf1100f00
120 #define CMP 0x4280
121 #define CMPI 0x2800
122 #define CMPI_W 0xf1b00f00
123 #define CMP_X 0x4500
124 #define CMP_W 0xebb00f00
125 #define EORI 0xf0800000
126 #define EORS 0x4040
127 #define EOR_W 0xea800000
128 #define IT 0xbf00
129 #define LDR_SP 0x9800
130 #define LDRI 0xf8500800
131 #define LSLS 0x4080
132 #define LSLSI 0x0000
133 #define LSL_W 0xfa00f000
134 #define LSL_WI 0xea4f0000
135 #define LSRS 0x40c0
136 #define LSRSI 0x0800
137 #define LSR_W 0xfa20f000
138 #define LSR_WI 0xea4f0010
139 #define MOV 0x4600
140 #define MOVS 0x0000
141 #define MOVSI 0x2000
142 #define MOVT 0xf2c00000
143 #define MOVW 0xf2400000
144 #define MOV_W 0xea4f0000
145 #define MOV_WI 0xf04f0000
146 #define MUL 0xfb00f000
147 #define MVNS 0x43c0
148 #define MVN_W 0xea6f0000
149 #define MVN_WI 0xf06f0000
150 #define NOP 0xbf00
151 #define ORNI 0xf0600000
152 #define ORRI 0xf0400000
153 #define ORRS 0x4300
154 #define ORR_W 0xea400000
155 #define POP 0xbc00
156 #define POP_W 0xe8bd0000
157 #define PUSH 0xb400
158 #define PUSH_W 0xe92d0000
159 #define RSB_WI 0xf1c00000
160 #define RSBSI 0x4240
161 #define SBCI 0xf1600000
162 #define SBCS 0x4180
163 #define SBC_W 0xeb600000
164 #define SDIV 0xfb90f0f0
165 #define SMULL 0xfb800000
166 #define STR_SP 0x9000
167 #define SUBS 0x1a00
168 #define SUBSI3 0x1e00
169 #define SUBSI8 0x3800
170 #define SUB_W 0xeba00000
171 #define SUBWI 0xf2a00000
172 #define SUB_SP 0xb080
173 #define SUB_WI 0xf1a00000
174 #define SXTB 0xb240
175 #define SXTB_W 0xfa4ff080
176 #define SXTH 0xb200
177 #define SXTH_W 0xfa0ff080
178 #define TST 0x4200
179 #define TSTI 0xf0000f00
180 #define TST_W 0xea000f00
181 #define UDIV 0xfbb0f0f0
182 #define UMULL 0xfba00000
183 #define UXTB 0xb2c0
184 #define UXTB_W 0xfa5ff080
185 #define UXTH 0xb280
186 #define UXTH_W 0xfa1ff080
187 #define VABS_F32 0xeeb00ac0
188 #define VADD_F32 0xee300a00
189 #define VCMP_F32 0xeeb40a40
190 #define VCVT_F32_S32 0xeeb80ac0
191 #define VCVT_F64_F32 0xeeb70ac0
192 #define VCVT_S32_F32 0xeebd0ac0
193 #define VDIV_F32 0xee800a00
194 #define VLDR_F32 0xed100a00
195 #define VMOV_F32 0xeeb00a40
196 #define VMOV 0xee000a10
197 #define VMOV2 0xec400a10
198 #define VMRS 0xeef1fa10
199 #define VMUL_F32 0xee200a00
200 #define VNEG_F32 0xeeb10a40
201 #define VSTR_F32 0xed000a00
202 #define VSUB_F32 0xee300a40
204 static sljit_s32 push_inst16(struct sljit_compiler *compiler, sljit_ins inst)
206 sljit_u16 *ptr;
207 SLJIT_ASSERT(!(inst & 0xffff0000));
209 ptr = (sljit_u16*)ensure_buf(compiler, sizeof(sljit_u16));
210 FAIL_IF(!ptr);
211 *ptr = inst;
212 compiler->size++;
213 return SLJIT_SUCCESS;
216 static sljit_s32 push_inst32(struct sljit_compiler *compiler, sljit_ins inst)
218 sljit_u16 *ptr = (sljit_u16*)ensure_buf(compiler, sizeof(sljit_ins));
219 FAIL_IF(!ptr);
220 *ptr++ = inst >> 16;
221 *ptr = inst;
222 compiler->size += 2;
223 return SLJIT_SUCCESS;
226 static SLJIT_INLINE sljit_s32 emit_imm32_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)
228 FAIL_IF(push_inst32(compiler, MOVW | RD4(dst)
229 | COPY_BITS(imm, 12, 16, 4) | COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff)));
230 return push_inst32(compiler, MOVT | RD4(dst)
231 | COPY_BITS(imm, 12 + 16, 16, 4) | COPY_BITS(imm, 11 + 16, 26, 1) | COPY_BITS(imm, 8 + 16, 12, 3) | ((imm & 0xff0000) >> 16));
234 static SLJIT_INLINE void modify_imm32_const(sljit_u16 *inst, sljit_uw new_imm)
236 sljit_s32 dst = inst[1] & 0x0f00;
237 SLJIT_ASSERT(((inst[0] & 0xfbf0) == (MOVW >> 16)) && ((inst[2] & 0xfbf0) == (MOVT >> 16)) && dst == (inst[3] & 0x0f00));
238 inst[0] = (MOVW >> 16) | COPY_BITS(new_imm, 12, 0, 4) | COPY_BITS(new_imm, 11, 10, 1);
239 inst[1] = dst | COPY_BITS(new_imm, 8, 12, 3) | (new_imm & 0xff);
240 inst[2] = (MOVT >> 16) | COPY_BITS(new_imm, 12 + 16, 0, 4) | COPY_BITS(new_imm, 11 + 16, 10, 1);
241 inst[3] = dst | COPY_BITS(new_imm, 8 + 16, 12, 3) | ((new_imm & 0xff0000) >> 16);
244 static SLJIT_INLINE sljit_s32 detect_jump_type(struct sljit_jump *jump, sljit_u16 *code_ptr, sljit_u16 *code, sljit_sw executable_offset)
246 sljit_sw diff;
248 if (jump->flags & SLJIT_REWRITABLE_JUMP)
249 return 0;
251 if (jump->flags & JUMP_ADDR) {
252 /* Branch to ARM code is not optimized yet. */
253 if (!(jump->u.target & 0x1))
254 return 0;
255 diff = ((sljit_sw)jump->u.target - (sljit_sw)(code_ptr + 2) - executable_offset) >> 1;
257 else {
258 SLJIT_ASSERT(jump->flags & JUMP_LABEL);
259 diff = ((sljit_sw)(code + jump->u.label->size) - (sljit_sw)(code_ptr + 2)) >> 1;
262 if (jump->flags & IS_COND) {
263 SLJIT_ASSERT(!(jump->flags & IS_BL));
264 if (diff <= 127 && diff >= -128) {
265 jump->flags |= PATCH_TYPE1;
266 return 5;
268 if (diff <= 524287 && diff >= -524288) {
269 jump->flags |= PATCH_TYPE2;
270 return 4;
272 /* +1 comes from the prefix IT instruction. */
273 diff--;
274 if (diff <= 8388607 && diff >= -8388608) {
275 jump->flags |= PATCH_TYPE3;
276 return 3;
279 else if (jump->flags & IS_BL) {
280 if (diff <= 8388607 && diff >= -8388608) {
281 jump->flags |= PATCH_BL;
282 return 3;
285 else {
286 if (diff <= 1023 && diff >= -1024) {
287 jump->flags |= PATCH_TYPE4;
288 return 4;
290 if (diff <= 8388607 && diff >= -8388608) {
291 jump->flags |= PATCH_TYPE5;
292 return 3;
296 return 0;
299 static SLJIT_INLINE void set_jump_instruction(struct sljit_jump *jump, sljit_sw executable_offset)
301 sljit_s32 type = (jump->flags >> 4) & 0xf;
302 sljit_sw diff;
303 sljit_u16 *jump_inst;
304 sljit_s32 s, j1, j2;
306 if (SLJIT_UNLIKELY(type == 0)) {
307 modify_imm32_const((sljit_u16*)jump->addr, (jump->flags & JUMP_LABEL) ? jump->u.label->addr : jump->u.target);
308 return;
311 if (jump->flags & JUMP_ADDR) {
312 SLJIT_ASSERT(jump->u.target & 0x1);
313 diff = ((sljit_sw)jump->u.target - (sljit_sw)(jump->addr + sizeof(sljit_u32)) - executable_offset) >> 1;
315 else {
316 SLJIT_ASSERT(jump->u.label->addr & 0x1);
317 diff = ((sljit_sw)(jump->u.label->addr) - (sljit_sw)(jump->addr + sizeof(sljit_u32)) - executable_offset) >> 1;
319 jump_inst = (sljit_u16*)jump->addr;
321 switch (type) {
322 case 1:
323 /* Encoding T1 of 'B' instruction */
324 SLJIT_ASSERT(diff <= 127 && diff >= -128 && (jump->flags & IS_COND));
325 jump_inst[0] = 0xd000 | (jump->flags & 0xf00) | (diff & 0xff);
326 return;
327 case 2:
328 /* Encoding T3 of 'B' instruction */
329 SLJIT_ASSERT(diff <= 524287 && diff >= -524288 && (jump->flags & IS_COND));
330 jump_inst[0] = 0xf000 | COPY_BITS(jump->flags, 8, 6, 4) | COPY_BITS(diff, 11, 0, 6) | COPY_BITS(diff, 19, 10, 1);
331 jump_inst[1] = 0x8000 | COPY_BITS(diff, 17, 13, 1) | COPY_BITS(diff, 18, 11, 1) | (diff & 0x7ff);
332 return;
333 case 3:
334 SLJIT_ASSERT(jump->flags & IS_COND);
335 *jump_inst++ = IT | ((jump->flags >> 4) & 0xf0) | 0x8;
336 diff--;
337 type = 5;
338 break;
339 case 4:
340 /* Encoding T2 of 'B' instruction */
341 SLJIT_ASSERT(diff <= 1023 && diff >= -1024 && !(jump->flags & IS_COND));
342 jump_inst[0] = 0xe000 | (diff & 0x7ff);
343 return;
346 SLJIT_ASSERT(diff <= 8388607 && diff >= -8388608);
348 /* Really complex instruction form for branches. */
349 s = (diff >> 23) & 0x1;
350 j1 = (~(diff >> 22) ^ s) & 0x1;
351 j2 = (~(diff >> 21) ^ s) & 0x1;
352 jump_inst[0] = 0xf000 | (s << 10) | COPY_BITS(diff, 11, 0, 10);
353 jump_inst[1] = (j1 << 13) | (j2 << 11) | (diff & 0x7ff);
355 /* The others have a common form. */
356 if (type == 5) /* Encoding T4 of 'B' instruction */
357 jump_inst[1] |= 0x9000;
358 else if (type == 6) /* Encoding T1 of 'BL' instruction */
359 jump_inst[1] |= 0xd000;
360 else
361 SLJIT_UNREACHABLE();
364 SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler)
366 struct sljit_memory_fragment *buf;
367 sljit_u16 *code;
368 sljit_u16 *code_ptr;
369 sljit_u16 *buf_ptr;
370 sljit_u16 *buf_end;
371 sljit_uw half_count;
372 sljit_uw next_addr;
373 sljit_sw executable_offset;
375 struct sljit_label *label;
376 struct sljit_jump *jump;
377 struct sljit_const *const_;
378 struct sljit_put_label *put_label;
380 CHECK_ERROR_PTR();
381 CHECK_PTR(check_sljit_generate_code(compiler));
382 reverse_buf(compiler);
384 code = (sljit_u16*)SLJIT_MALLOC_EXEC(compiler->size * sizeof(sljit_u16), compiler->exec_allocator_data);
385 PTR_FAIL_WITH_EXEC_IF(code);
386 buf = compiler->buf;
388 code_ptr = code;
389 half_count = 0;
390 next_addr = 0;
391 executable_offset = SLJIT_EXEC_OFFSET(code);
393 label = compiler->labels;
394 jump = compiler->jumps;
395 const_ = compiler->consts;
396 put_label = compiler->put_labels;
398 do {
399 buf_ptr = (sljit_u16*)buf->memory;
400 buf_end = buf_ptr + (buf->used_size >> 1);
401 do {
402 *code_ptr = *buf_ptr++;
403 if (next_addr == half_count) {
404 SLJIT_ASSERT(!label || label->size >= half_count);
405 SLJIT_ASSERT(!jump || jump->addr >= half_count);
406 SLJIT_ASSERT(!const_ || const_->addr >= half_count);
407 SLJIT_ASSERT(!put_label || put_label->addr >= half_count);
409 /* These structures are ordered by their address. */
410 if (label && label->size == half_count) {
411 label->addr = ((sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset)) | 0x1;
412 label->size = code_ptr - code;
413 label = label->next;
415 if (jump && jump->addr == half_count) {
416 jump->addr = (sljit_uw)code_ptr - ((jump->flags & IS_COND) ? 10 : 8);
417 code_ptr -= detect_jump_type(jump, code_ptr, code, executable_offset);
418 jump = jump->next;
420 if (const_ && const_->addr == half_count) {
421 const_->addr = (sljit_uw)code_ptr;
422 const_ = const_->next;
424 if (put_label && put_label->addr == half_count) {
425 SLJIT_ASSERT(put_label->label);
426 put_label->addr = (sljit_uw)code_ptr;
427 put_label = put_label->next;
429 next_addr = compute_next_addr(label, jump, const_, put_label);
431 code_ptr ++;
432 half_count ++;
433 } while (buf_ptr < buf_end);
435 buf = buf->next;
436 } while (buf);
438 if (label && label->size == half_count) {
439 label->addr = ((sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset)) | 0x1;
440 label->size = code_ptr - code;
441 label = label->next;
444 SLJIT_ASSERT(!label);
445 SLJIT_ASSERT(!jump);
446 SLJIT_ASSERT(!const_);
447 SLJIT_ASSERT(!put_label);
448 SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);
450 jump = compiler->jumps;
451 while (jump) {
452 set_jump_instruction(jump, executable_offset);
453 jump = jump->next;
456 put_label = compiler->put_labels;
457 while (put_label) {
458 modify_imm32_const((sljit_u16 *)put_label->addr, put_label->label->addr);
459 put_label = put_label->next;
462 compiler->error = SLJIT_ERR_COMPILED;
463 compiler->executable_offset = executable_offset;
464 compiler->executable_size = (code_ptr - code) * sizeof(sljit_u16);
466 code = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);
467 code_ptr = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);
469 SLJIT_CACHE_FLUSH(code, code_ptr);
470 SLJIT_UPDATE_WX_FLAGS(code, code_ptr, 1);
472 /* Set thumb mode flag. */
473 return (void*)((sljit_uw)code | 0x1);
476 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)
478 switch (feature_type) {
479 case SLJIT_HAS_FPU:
480 #ifdef SLJIT_IS_FPU_AVAILABLE
481 return SLJIT_IS_FPU_AVAILABLE;
482 #else
483 /* Available by default. */
484 return 1;
485 #endif
487 case SLJIT_HAS_CLZ:
488 case SLJIT_HAS_CMOV:
489 case SLJIT_HAS_PREFETCH:
490 return 1;
492 default:
493 return 0;
497 /* --------------------------------------------------------------------- */
498 /* Core code generator functions. */
499 /* --------------------------------------------------------------------- */
501 #define INVALID_IMM 0x80000000
502 static sljit_uw get_imm(sljit_uw imm)
504 /* Thumb immediate form. */
505 sljit_s32 counter;
507 if (imm <= 0xff)
508 return imm;
510 if ((imm & 0xffff) == (imm >> 16)) {
511 /* Some special cases. */
512 if (!(imm & 0xff00))
513 return (1 << 12) | (imm & 0xff);
514 if (!(imm & 0xff))
515 return (2 << 12) | ((imm >> 8) & 0xff);
516 if ((imm & 0xff00) == ((imm & 0xff) << 8))
517 return (3 << 12) | (imm & 0xff);
520 /* Assembly optimization: count leading zeroes? */
521 counter = 8;
522 if (!(imm & 0xffff0000)) {
523 counter += 16;
524 imm <<= 16;
526 if (!(imm & 0xff000000)) {
527 counter += 8;
528 imm <<= 8;
530 if (!(imm & 0xf0000000)) {
531 counter += 4;
532 imm <<= 4;
534 if (!(imm & 0xc0000000)) {
535 counter += 2;
536 imm <<= 2;
538 if (!(imm & 0x80000000)) {
539 counter += 1;
540 imm <<= 1;
542 /* Since imm >= 128, this must be true. */
543 SLJIT_ASSERT(counter <= 31);
545 if (imm & 0x00ffffff)
546 return INVALID_IMM; /* Cannot be encoded. */
548 return ((imm >> 24) & 0x7f) | COPY_BITS(counter, 4, 26, 1) | COPY_BITS(counter, 1, 12, 3) | COPY_BITS(counter, 0, 7, 1);
551 static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)
553 sljit_uw tmp;
555 /* MOVS cannot be used since it destroy flags. */
557 if (imm >= 0x10000) {
558 tmp = get_imm(imm);
559 if (tmp != INVALID_IMM)
560 return push_inst32(compiler, MOV_WI | RD4(dst) | tmp);
561 tmp = get_imm(~imm);
562 if (tmp != INVALID_IMM)
563 return push_inst32(compiler, MVN_WI | RD4(dst) | tmp);
566 /* set low 16 bits, set hi 16 bits to 0. */
567 FAIL_IF(push_inst32(compiler, MOVW | RD4(dst)
568 | COPY_BITS(imm, 12, 16, 4) | COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff)));
570 /* set hi 16 bit if needed. */
571 if (imm >= 0x10000)
572 return push_inst32(compiler, MOVT | RD4(dst)
573 | COPY_BITS(imm, 12 + 16, 16, 4) | COPY_BITS(imm, 11 + 16, 26, 1) | COPY_BITS(imm, 8 + 16, 12, 3) | ((imm & 0xff0000) >> 16));
574 return SLJIT_SUCCESS;
577 #define ARG1_IMM 0x0010000
578 #define ARG2_IMM 0x0020000
579 /* SET_FLAGS must be 0x100000 as it is also the value of S bit (can be used for optimization). */
580 #define SET_FLAGS 0x0100000
581 #define UNUSED_RETURN 0x0200000
583 static sljit_s32 emit_op_imm(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 dst, sljit_uw arg1, sljit_uw arg2)
585 /* dst must be register, TMP_REG1
586 arg1 must be register, imm
587 arg2 must be register, imm */
588 sljit_s32 reg;
589 sljit_uw imm, nimm;
591 if (SLJIT_UNLIKELY((flags & (ARG1_IMM | ARG2_IMM)) == (ARG1_IMM | ARG2_IMM))) {
592 /* Both are immediates, no temporaries are used. */
593 flags &= ~ARG1_IMM;
594 FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));
595 arg1 = TMP_REG1;
598 if (flags & (ARG1_IMM | ARG2_IMM)) {
599 reg = (flags & ARG2_IMM) ? arg1 : arg2;
600 imm = (flags & ARG2_IMM) ? arg2 : arg1;
602 switch (flags & 0xffff) {
603 case SLJIT_CLZ:
604 case SLJIT_MUL:
605 /* No form with immediate operand. */
606 break;
607 case SLJIT_MOV:
608 SLJIT_ASSERT(!(flags & SET_FLAGS) && (flags & ARG2_IMM) && arg1 == TMP_REG2);
609 return load_immediate(compiler, dst, imm);
610 case SLJIT_NOT:
611 if (!(flags & SET_FLAGS))
612 return load_immediate(compiler, dst, ~imm);
613 /* Since the flags should be set, we just fallback to the register mode.
614 Although some clever things could be done here, "NOT IMM" does not worth the efforts. */
615 break;
616 case SLJIT_ADD:
617 compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD_SUB;
618 nimm = -(sljit_sw)imm;
619 if (IS_2_LO_REGS(reg, dst)) {
620 if (imm <= 0x7)
621 return push_inst16(compiler, ADDSI3 | IMM3(imm) | RD3(dst) | RN3(reg));
622 if (nimm <= 0x7)
623 return push_inst16(compiler, SUBSI3 | IMM3(nimm) | RD3(dst) | RN3(reg));
624 if (reg == dst) {
625 if (imm <= 0xff)
626 return push_inst16(compiler, ADDSI8 | IMM8(imm) | RDN3(dst));
627 if (nimm <= 0xff)
628 return push_inst16(compiler, SUBSI8 | IMM8(nimm) | RDN3(dst));
631 if (!(flags & SET_FLAGS)) {
632 if (imm <= 0xfff)
633 return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(imm));
634 if (nimm <= 0xfff)
635 return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(nimm));
637 nimm = get_imm(imm);
638 if (nimm != INVALID_IMM)
639 return push_inst32(compiler, ADD_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | nimm);
640 nimm = get_imm(-(sljit_sw)imm);
641 if (nimm != INVALID_IMM)
642 return push_inst32(compiler, SUB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | nimm);
643 break;
644 case SLJIT_ADDC:
645 imm = get_imm(imm);
646 if (imm != INVALID_IMM)
647 return push_inst32(compiler, ADCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
648 break;
649 case SLJIT_SUB:
650 /* SUB operation can be replaced by ADD because of the negative carry flag. */
651 compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD_SUB;
652 if (flags & ARG1_IMM) {
653 if (imm == 0 && IS_2_LO_REGS(reg, dst))
654 return push_inst16(compiler, RSBSI | RD3(dst) | RN3(reg));
655 imm = get_imm(imm);
656 if (imm != INVALID_IMM)
657 return push_inst32(compiler, RSB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
658 break;
660 if (flags & UNUSED_RETURN) {
661 if (imm <= 0xff && reg_map[reg] <= 7)
662 return push_inst16(compiler, CMPI | IMM8(imm) | RDN3(reg));
663 nimm = get_imm(imm);
664 if (nimm != INVALID_IMM)
665 return push_inst32(compiler, CMPI_W | RN4(reg) | nimm);
666 nimm = get_imm(-(sljit_sw)imm);
667 if (nimm != INVALID_IMM)
668 return push_inst32(compiler, CMNI_W | RN4(reg) | nimm);
670 nimm = -(sljit_sw)imm;
671 if (IS_2_LO_REGS(reg, dst)) {
672 if (imm <= 0x7)
673 return push_inst16(compiler, SUBSI3 | IMM3(imm) | RD3(dst) | RN3(reg));
674 if (nimm <= 0x7)
675 return push_inst16(compiler, ADDSI3 | IMM3(nimm) | RD3(dst) | RN3(reg));
676 if (reg == dst) {
677 if (imm <= 0xff)
678 return push_inst16(compiler, SUBSI8 | IMM8(imm) | RDN3(dst));
679 if (nimm <= 0xff)
680 return push_inst16(compiler, ADDSI8 | IMM8(nimm) | RDN3(dst));
683 if (!(flags & SET_FLAGS)) {
684 if (imm <= 0xfff)
685 return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(imm));
686 if (nimm <= 0xfff)
687 return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(nimm));
689 nimm = get_imm(imm);
690 if (nimm != INVALID_IMM)
691 return push_inst32(compiler, SUB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | nimm);
692 nimm = get_imm(-(sljit_sw)imm);
693 if (nimm != INVALID_IMM)
694 return push_inst32(compiler, ADD_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | nimm);
695 break;
696 case SLJIT_SUBC:
697 if (flags & ARG1_IMM)
698 break;
699 imm = get_imm(imm);
700 if (imm != INVALID_IMM)
701 return push_inst32(compiler, SBCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
702 break;
703 case SLJIT_AND:
704 nimm = get_imm(imm);
705 if (nimm != INVALID_IMM)
706 return push_inst32(compiler, ((flags & UNUSED_RETURN) ? TSTI : ANDI) | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | nimm);
707 imm = get_imm(~imm);
708 if (imm != INVALID_IMM)
709 return push_inst32(compiler, BICI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
710 break;
711 case SLJIT_OR:
712 nimm = get_imm(imm);
713 if (nimm != INVALID_IMM)
714 return push_inst32(compiler, ORRI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | nimm);
715 imm = get_imm(~imm);
716 if (imm != INVALID_IMM)
717 return push_inst32(compiler, ORNI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
718 break;
719 case SLJIT_XOR:
720 imm = get_imm(imm);
721 if (imm != INVALID_IMM)
722 return push_inst32(compiler, EORI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
723 break;
724 case SLJIT_SHL:
725 case SLJIT_LSHR:
726 case SLJIT_ASHR:
727 if (flags & ARG1_IMM)
728 break;
729 imm &= 0x1f;
730 if (imm == 0) {
731 if (!(flags & SET_FLAGS))
732 return push_inst16(compiler, MOV | SET_REGS44(dst, reg));
733 if (IS_2_LO_REGS(dst, reg))
734 return push_inst16(compiler, MOVS | RD3(dst) | RN3(reg));
735 return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(dst) | RM4(reg));
737 switch (flags & 0xffff) {
738 case SLJIT_SHL:
739 if (IS_2_LO_REGS(dst, reg))
740 return push_inst16(compiler, LSLSI | RD3(dst) | RN3(reg) | (imm << 6));
741 return push_inst32(compiler, LSL_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));
742 case SLJIT_LSHR:
743 if (IS_2_LO_REGS(dst, reg))
744 return push_inst16(compiler, LSRSI | RD3(dst) | RN3(reg) | (imm << 6));
745 return push_inst32(compiler, LSR_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));
746 default: /* SLJIT_ASHR */
747 if (IS_2_LO_REGS(dst, reg))
748 return push_inst16(compiler, ASRSI | RD3(dst) | RN3(reg) | (imm << 6));
749 return push_inst32(compiler, ASR_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));
751 default:
752 SLJIT_UNREACHABLE();
753 break;
756 if (flags & ARG2_IMM) {
757 imm = arg2;
758 arg2 = (arg1 == TMP_REG1) ? TMP_REG2 : TMP_REG1;
759 FAIL_IF(load_immediate(compiler, arg2, imm));
761 else {
762 imm = arg1;
763 arg1 = (arg2 == TMP_REG1) ? TMP_REG2 : TMP_REG1;
764 FAIL_IF(load_immediate(compiler, arg1, imm));
767 SLJIT_ASSERT(arg1 != arg2);
770 /* Both arguments are registers. */
771 switch (flags & 0xffff) {
772 case SLJIT_MOV:
773 case SLJIT_MOV_U32:
774 case SLJIT_MOV_S32:
775 case SLJIT_MOV32:
776 case SLJIT_MOV_P:
777 SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);
778 if (dst == arg2)
779 return SLJIT_SUCCESS;
780 return push_inst16(compiler, MOV | SET_REGS44(dst, arg2));
781 case SLJIT_MOV_U8:
782 SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);
783 if (IS_2_LO_REGS(dst, arg2))
784 return push_inst16(compiler, UXTB | RD3(dst) | RN3(arg2));
785 return push_inst32(compiler, UXTB_W | RD4(dst) | RM4(arg2));
786 case SLJIT_MOV_S8:
787 SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);
788 if (IS_2_LO_REGS(dst, arg2))
789 return push_inst16(compiler, SXTB | RD3(dst) | RN3(arg2));
790 return push_inst32(compiler, SXTB_W | RD4(dst) | RM4(arg2));
791 case SLJIT_MOV_U16:
792 SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);
793 if (IS_2_LO_REGS(dst, arg2))
794 return push_inst16(compiler, UXTH | RD3(dst) | RN3(arg2));
795 return push_inst32(compiler, UXTH_W | RD4(dst) | RM4(arg2));
796 case SLJIT_MOV_S16:
797 SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);
798 if (IS_2_LO_REGS(dst, arg2))
799 return push_inst16(compiler, SXTH | RD3(dst) | RN3(arg2));
800 return push_inst32(compiler, SXTH_W | RD4(dst) | RM4(arg2));
801 case SLJIT_NOT:
802 SLJIT_ASSERT(arg1 == TMP_REG2);
803 if (IS_2_LO_REGS(dst, arg2))
804 return push_inst16(compiler, MVNS | RD3(dst) | RN3(arg2));
805 return push_inst32(compiler, MVN_W | (flags & SET_FLAGS) | RD4(dst) | RM4(arg2));
806 case SLJIT_CLZ:
807 SLJIT_ASSERT(arg1 == TMP_REG2);
808 FAIL_IF(push_inst32(compiler, CLZ | RN4(arg2) | RD4(dst) | RM4(arg2)));
809 return SLJIT_SUCCESS;
810 case SLJIT_ADD:
811 compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD_SUB;
812 if (IS_3_LO_REGS(dst, arg1, arg2))
813 return push_inst16(compiler, ADDS | RD3(dst) | RN3(arg1) | RM3(arg2));
814 if (dst == arg1 && !(flags & SET_FLAGS))
815 return push_inst16(compiler, ADD | SET_REGS44(dst, arg2));
816 return push_inst32(compiler, ADD_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
817 case SLJIT_ADDC:
818 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
819 return push_inst16(compiler, ADCS | RD3(dst) | RN3(arg2));
820 return push_inst32(compiler, ADC_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
821 case SLJIT_SUB:
822 compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD_SUB;
823 if (flags & UNUSED_RETURN) {
824 if (IS_2_LO_REGS(arg1, arg2))
825 return push_inst16(compiler, CMP | RD3(arg1) | RN3(arg2));
826 return push_inst16(compiler, CMP_X | SET_REGS44(arg1, arg2));
828 if (IS_3_LO_REGS(dst, arg1, arg2))
829 return push_inst16(compiler, SUBS | RD3(dst) | RN3(arg1) | RM3(arg2));
830 return push_inst32(compiler, SUB_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
831 case SLJIT_SUBC:
832 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
833 return push_inst16(compiler, SBCS | RD3(dst) | RN3(arg2));
834 return push_inst32(compiler, SBC_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
835 case SLJIT_MUL:
836 compiler->status_flags_state = 0;
837 if (!(flags & SET_FLAGS))
838 return push_inst32(compiler, MUL | RD4(dst) | RN4(arg1) | RM4(arg2));
839 SLJIT_ASSERT(dst != TMP_REG2);
840 FAIL_IF(push_inst32(compiler, SMULL | RT4(dst) | RD4(TMP_REG2) | RN4(arg1) | RM4(arg2)));
841 /* cmp TMP_REG2, dst asr #31. */
842 return push_inst32(compiler, CMP_W | RN4(TMP_REG2) | 0x70e0 | RM4(dst));
843 case SLJIT_AND:
844 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
845 return push_inst16(compiler, ANDS | RD3(dst) | RN3(arg2));
846 if ((flags & UNUSED_RETURN) && IS_2_LO_REGS(arg1, arg2))
847 return push_inst16(compiler, TST | RD3(arg1) | RN3(arg2));
848 return push_inst32(compiler, ((flags & UNUSED_RETURN) ? TST_W : AND_W) | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
849 case SLJIT_OR:
850 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
851 return push_inst16(compiler, ORRS | RD3(dst) | RN3(arg2));
852 return push_inst32(compiler, ORR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
853 case SLJIT_XOR:
854 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
855 return push_inst16(compiler, EORS | RD3(dst) | RN3(arg2));
856 return push_inst32(compiler, EOR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
857 case SLJIT_SHL:
858 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
859 return push_inst16(compiler, LSLS | RD3(dst) | RN3(arg2));
860 return push_inst32(compiler, LSL_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
861 case SLJIT_LSHR:
862 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
863 return push_inst16(compiler, LSRS | RD3(dst) | RN3(arg2));
864 return push_inst32(compiler, LSR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
865 case SLJIT_ASHR:
866 if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
867 return push_inst16(compiler, ASRS | RD3(dst) | RN3(arg2));
868 return push_inst32(compiler, ASR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
871 SLJIT_UNREACHABLE();
872 return SLJIT_SUCCESS;
875 #define STORE 0x01
876 #define SIGNED 0x02
878 #define WORD_SIZE 0x00
879 #define BYTE_SIZE 0x04
880 #define HALF_SIZE 0x08
881 #define PRELOAD 0x0c
883 #define IS_WORD_SIZE(flags) (!(flags & (BYTE_SIZE | HALF_SIZE)))
884 #define OFFSET_CHECK(imm, shift) (!(argw & ~(imm << shift)))
887 1st letter:
888 w = word
889 b = byte
890 h = half
892 2nd letter:
893 s = signed
894 u = unsigned
896 3rd letter:
897 l = load
898 s = store
901 static const sljit_ins sljit_mem16[12] = {
902 /* w u l */ 0x5800 /* ldr */,
903 /* w u s */ 0x5000 /* str */,
904 /* w s l */ 0x5800 /* ldr */,
905 /* w s s */ 0x5000 /* str */,
907 /* b u l */ 0x5c00 /* ldrb */,
908 /* b u s */ 0x5400 /* strb */,
909 /* b s l */ 0x5600 /* ldrsb */,
910 /* b s s */ 0x5400 /* strb */,
912 /* h u l */ 0x5a00 /* ldrh */,
913 /* h u s */ 0x5200 /* strh */,
914 /* h s l */ 0x5e00 /* ldrsh */,
915 /* h s s */ 0x5200 /* strh */,
918 static const sljit_ins sljit_mem16_imm5[12] = {
919 /* w u l */ 0x6800 /* ldr imm5 */,
920 /* w u s */ 0x6000 /* str imm5 */,
921 /* w s l */ 0x6800 /* ldr imm5 */,
922 /* w s s */ 0x6000 /* str imm5 */,
924 /* b u l */ 0x7800 /* ldrb imm5 */,
925 /* b u s */ 0x7000 /* strb imm5 */,
926 /* b s l */ 0x0000 /* not allowed */,
927 /* b s s */ 0x7000 /* strb imm5 */,
929 /* h u l */ 0x8800 /* ldrh imm5 */,
930 /* h u s */ 0x8000 /* strh imm5 */,
931 /* h s l */ 0x0000 /* not allowed */,
932 /* h s s */ 0x8000 /* strh imm5 */,
935 #define MEM_IMM8 0xc00
936 #define MEM_IMM12 0x800000
937 static const sljit_ins sljit_mem32[13] = {
938 /* w u l */ 0xf8500000 /* ldr.w */,
939 /* w u s */ 0xf8400000 /* str.w */,
940 /* w s l */ 0xf8500000 /* ldr.w */,
941 /* w s s */ 0xf8400000 /* str.w */,
943 /* b u l */ 0xf8100000 /* ldrb.w */,
944 /* b u s */ 0xf8000000 /* strb.w */,
945 /* b s l */ 0xf9100000 /* ldrsb.w */,
946 /* b s s */ 0xf8000000 /* strb.w */,
948 /* h u l */ 0xf8300000 /* ldrh.w */,
949 /* h u s */ 0xf8200000 /* strsh.w */,
950 /* h s l */ 0xf9300000 /* ldrsh.w */,
951 /* h s s */ 0xf8200000 /* strsh.w */,
953 /* p u l */ 0xf8100000 /* pld */,
956 /* Helper function. Dst should be reg + value, using at most 1 instruction, flags does not set. */
957 static sljit_s32 emit_set_delta(struct sljit_compiler *compiler, sljit_s32 dst, sljit_s32 reg, sljit_sw value)
959 if (value >= 0) {
960 if (value <= 0xfff)
961 return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(value));
962 value = get_imm(value);
963 if (value != INVALID_IMM)
964 return push_inst32(compiler, ADD_WI | RD4(dst) | RN4(reg) | value);
966 else {
967 value = -value;
968 if (value <= 0xfff)
969 return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(value));
970 value = get_imm(value);
971 if (value != INVALID_IMM)
972 return push_inst32(compiler, SUB_WI | RD4(dst) | RN4(reg) | value);
974 return SLJIT_ERR_UNSUPPORTED;
977 static SLJIT_INLINE sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg,
978 sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg)
980 sljit_s32 other_r;
981 sljit_uw tmp;
983 SLJIT_ASSERT(arg & SLJIT_MEM);
984 SLJIT_ASSERT((arg & REG_MASK) != tmp_reg);
985 arg &= ~SLJIT_MEM;
987 if (SLJIT_UNLIKELY(!(arg & REG_MASK))) {
988 tmp = get_imm(argw & ~0xfff);
989 if (tmp != INVALID_IMM) {
990 FAIL_IF(push_inst32(compiler, MOV_WI | RD4(tmp_reg) | tmp));
991 return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(tmp_reg) | (argw & 0xfff));
994 FAIL_IF(load_immediate(compiler, tmp_reg, argw));
995 if (IS_2_LO_REGS(reg, tmp_reg) && sljit_mem16_imm5[flags])
996 return push_inst16(compiler, sljit_mem16_imm5[flags] | RD3(reg) | RN3(tmp_reg));
997 return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(tmp_reg));
1000 if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {
1001 argw &= 0x3;
1002 other_r = OFFS_REG(arg);
1003 arg &= 0xf;
1005 if (!argw && IS_3_LO_REGS(reg, arg, other_r))
1006 return push_inst16(compiler, sljit_mem16[flags] | RD3(reg) | RN3(arg) | RM3(other_r));
1007 return push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(other_r) | (argw << 4));
1010 if (argw > 0xfff) {
1011 tmp = get_imm(argw & ~0xfff);
1012 if (tmp != INVALID_IMM) {
1013 push_inst32(compiler, ADD_WI | RD4(tmp_reg) | RN4(arg) | tmp);
1014 arg = tmp_reg;
1015 argw = argw & 0xfff;
1018 else if (argw < -0xff) {
1019 tmp = get_imm(-argw & ~0xff);
1020 if (tmp != INVALID_IMM) {
1021 push_inst32(compiler, SUB_WI | RD4(tmp_reg) | RN4(arg) | tmp);
1022 arg = tmp_reg;
1023 argw = -(-argw & 0xff);
1027 if (IS_2_LO_REGS(reg, arg) && sljit_mem16_imm5[flags]) {
1028 tmp = 3;
1029 if (IS_WORD_SIZE(flags)) {
1030 if (OFFSET_CHECK(0x1f, 2))
1031 tmp = 2;
1033 else if (flags & BYTE_SIZE)
1035 if (OFFSET_CHECK(0x1f, 0))
1036 tmp = 0;
1038 else {
1039 SLJIT_ASSERT(flags & HALF_SIZE);
1040 if (OFFSET_CHECK(0x1f, 1))
1041 tmp = 1;
1044 if (tmp < 3)
1045 return push_inst16(compiler, sljit_mem16_imm5[flags] | RD3(reg) | RN3(arg) | (argw << (6 - tmp)));
1047 else if (SLJIT_UNLIKELY(arg == SLJIT_SP) && IS_WORD_SIZE(flags) && OFFSET_CHECK(0xff, 2) && reg_map[reg] <= 7) {
1048 /* SP based immediate. */
1049 return push_inst16(compiler, STR_SP | ((flags & STORE) ? 0 : 0x800) | RDN3(reg) | (argw >> 2));
1052 if (argw >= 0 && argw <= 0xfff)
1053 return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(arg) | argw);
1054 else if (argw < 0 && argw >= -0xff)
1055 return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM8 | RT4(reg) | RN4(arg) | -argw);
1057 SLJIT_ASSERT(arg != tmp_reg);
1059 FAIL_IF(load_immediate(compiler, tmp_reg, argw));
1060 if (IS_3_LO_REGS(reg, arg, tmp_reg))
1061 return push_inst16(compiler, sljit_mem16[flags] | RD3(reg) | RN3(arg) | RM3(tmp_reg));
1062 return push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(tmp_reg));
1065 /* --------------------------------------------------------------------- */
1066 /* Entry, exit */
1067 /* --------------------------------------------------------------------- */
1069 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,
1070 sljit_s32 options, sljit_s32 arg_types, sljit_s32 scratches, sljit_s32 saveds,
1071 sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
1073 sljit_s32 size, i, tmp, offset, word_arg_count;
1074 sljit_ins push = 0;
1075 #ifdef __SOFTFP__
1076 sljit_s32 float_arg_count;
1077 #else
1078 sljit_s32 old_offset, f32_offset;
1079 sljit_u32 remap[3];
1080 sljit_u32 *remap_ptr = remap;
1081 #endif
1082 #ifdef _WIN32
1083 sljit_uw imm;
1084 #endif
1086 CHECK_ERROR();
1087 CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size));
1088 set_emit_enter(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size);
1090 tmp = saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? (SLJIT_S0 + 1 - saveds) : SLJIT_FIRST_SAVED_REG;
1091 for (i = SLJIT_S0; i >= tmp; i--)
1092 push |= 1 << reg_map[i];
1094 for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--)
1095 push |= 1 << reg_map[i];
1097 FAIL_IF((push & 0xff00)
1098 ? push_inst32(compiler, PUSH_W | (1 << 14) | push)
1099 : push_inst16(compiler, PUSH | (1 << 8) | push));
1101 /* Stack must be aligned to 8 bytes: (LR, R4) */
1102 size = GET_SAVED_REGISTERS_SIZE(scratches, saveds, 1);
1103 local_size = ((size + local_size + 7) & ~7) - size;
1104 compiler->local_size = local_size;
1106 arg_types >>= SLJIT_ARG_SHIFT;
1107 word_arg_count = 0;
1108 #ifdef __SOFTFP__
1109 SLJIT_COMPILE_ASSERT(SLJIT_FR0 == 1, float_register_index_start);
1111 offset = 0;
1112 float_arg_count = 0;
1114 while (arg_types) {
1115 switch (arg_types & SLJIT_ARG_MASK) {
1116 case SLJIT_ARG_TYPE_F64:
1117 if (offset & 0x7)
1118 offset += sizeof(sljit_sw);
1120 if (offset < 4 * sizeof(sljit_sw))
1121 FAIL_IF(push_inst32(compiler, VMOV2 | (offset << 10) | ((offset + sizeof(sljit_sw)) << 14) | float_arg_count));
1122 else
1123 FAIL_IF(push_inst32(compiler, VLDR_F32 | 0x800100 | RN4(SLJIT_SP)
1124 | (float_arg_count << 12) | ((offset + size - 4 * sizeof(sljit_sw)) >> 2)));
1125 float_arg_count++;
1126 offset += sizeof(sljit_f64);
1127 break;
1128 case SLJIT_ARG_TYPE_F32:
1129 if (offset < 4 * sizeof(sljit_sw))
1130 FAIL_IF(push_inst32(compiler, VMOV | (float_arg_count << 16) | (offset << 10)));
1131 else
1132 FAIL_IF(push_inst32(compiler, VLDR_F32 | 0x800000 | RN4(SLJIT_SP)
1133 | (float_arg_count << 12) | ((offset + size - 4 * sizeof(sljit_sw)) >> 2)));
1134 float_arg_count++;
1135 offset += sizeof(sljit_f32);
1136 break;
1137 default:
1138 SLJIT_ASSERT(reg_map[SLJIT_S0 - word_arg_count] <= 7);
1140 if (offset < 4 * sizeof(sljit_sw))
1141 FAIL_IF(push_inst16(compiler, MOV | reg_map[SLJIT_S0 - word_arg_count] | (offset << 1)));
1142 else
1143 FAIL_IF(push_inst16(compiler, LDR_SP | RDN3(SLJIT_S0 - word_arg_count) | ((offset + size - 4 * sizeof(sljit_sw)) >> 2)));
1145 word_arg_count++;
1146 offset += sizeof(sljit_sw);
1147 break;
1149 arg_types >>= SLJIT_ARG_SHIFT;
1151 #else
1152 offset = SLJIT_FR0;
1153 old_offset = SLJIT_FR0;
1154 f32_offset = 0;
1156 while (arg_types) {
1157 switch (arg_types & SLJIT_ARG_MASK) {
1158 case SLJIT_ARG_TYPE_F64:
1159 if (offset != old_offset)
1160 *remap_ptr++ = VMOV_F32 | SLJIT_32 | DD4(offset) | DM4(old_offset);
1161 old_offset++;
1162 offset++;
1163 break;
1164 case SLJIT_ARG_TYPE_F32:
1165 if (f32_offset != 0) {
1166 *remap_ptr++ = VMOV_F32 | 0x20 | DD4(offset) | DM4(f32_offset);
1167 f32_offset = 0;
1168 } else {
1169 if (offset != old_offset)
1170 *remap_ptr++ = VMOV_F32 | DD4(offset) | DM4(old_offset);
1171 f32_offset = old_offset;
1172 old_offset++;
1174 offset++;
1175 break;
1176 default:
1177 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_S0 - word_arg_count, SLJIT_R0 + word_arg_count)));
1178 word_arg_count++;
1179 break;
1181 arg_types >>= SLJIT_ARG_SHIFT;
1184 SLJIT_ASSERT(remap_ptr - remap <= sizeof(remap));
1186 while (remap_ptr > remap)
1187 FAIL_IF(push_inst32(compiler, *(--remap_ptr)));
1188 #endif
1190 #ifdef _WIN32
1191 if (local_size >= 256) {
1192 if (local_size > 4096)
1193 imm = get_imm(4096);
1194 else
1195 imm = get_imm(local_size & ~0xff);
1197 SLJIT_ASSERT(imm != INVALID_IMM);
1198 FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(SLJIT_SP) | imm));
1200 #else
1201 if (local_size > 0) {
1202 if (local_size <= (127 << 2))
1203 FAIL_IF(push_inst16(compiler, SUB_SP | (local_size >> 2)));
1204 else
1205 FAIL_IF(emit_op_imm(compiler, SLJIT_SUB | ARG2_IMM, SLJIT_SP, SLJIT_SP, local_size));
1207 #endif
1209 #ifdef _WIN32
1210 if (local_size >= 256) {
1211 if (local_size > 4096) {
1212 imm = get_imm(4096);
1213 SLJIT_ASSERT(imm != INVALID_IMM);
1215 if (local_size < 4 * 4096) {
1216 if (local_size > 2 * 4096) {
1217 FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG2) | RN4(TMP_REG1)));
1218 FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(TMP_REG1) | imm));
1219 local_size -= 4096;
1222 if (local_size > 2 * 4096) {
1223 FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG2) | RN4(TMP_REG1)));
1224 FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(TMP_REG1) | imm));
1225 local_size -= 4096;
1228 FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG2) | RN4(TMP_REG1)));
1229 local_size -= 4096;
1231 SLJIT_ASSERT(local_size > 0);
1233 else {
1234 FAIL_IF(load_immediate(compiler, SLJIT_R3, (local_size >> 12) - 1));
1235 FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG2) | RN4(TMP_REG1)));
1236 FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(TMP_REG1) | imm));
1237 SLJIT_ASSERT(reg_map[SLJIT_R3] < 7);
1238 FAIL_IF(push_inst16(compiler, SUBSI8 | RDN3(SLJIT_R3) | 1));
1239 FAIL_IF(push_inst16(compiler, BCC | (0x1 << 8) /* not-equal */ | (-7 & 0xff)));
1241 local_size &= 0xfff;
1243 if (local_size != 0)
1244 FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG2) | RN4(TMP_REG1)));
1247 if (local_size >= 256) {
1248 imm = get_imm(local_size & ~0xff);
1249 SLJIT_ASSERT(imm != INVALID_IMM);
1251 FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(TMP_REG1) | imm));
1255 local_size &= 0xff;
1256 FAIL_IF(push_inst32(compiler, LDRI | 0x400 | (local_size > 0 ? 0x100 : 0) | RT4(TMP_REG2) | RN4(TMP_REG1) | local_size));
1258 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_SP, TMP_REG1)));
1260 else if (local_size > 0)
1261 FAIL_IF(push_inst32(compiler, LDRI | 0x500 | RT4(TMP_REG1) | RN4(SLJIT_SP) | local_size));
1262 #endif
1264 return SLJIT_SUCCESS;
1267 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,
1268 sljit_s32 options, sljit_s32 arg_types, sljit_s32 scratches, sljit_s32 saveds,
1269 sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
1271 sljit_s32 size;
1273 CHECK_ERROR();
1274 CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size));
1275 set_set_context(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size);
1277 size = GET_SAVED_REGISTERS_SIZE(scratches, saveds, 1);
1278 compiler->local_size = ((size + local_size + 7) & ~7) - size;
1279 return SLJIT_SUCCESS;
1282 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_void(struct sljit_compiler *compiler)
1284 sljit_s32 i, tmp;
1285 sljit_ins pop = 0;
1287 CHECK_ERROR();
1288 CHECK(check_sljit_emit_return_void(compiler));
1290 if (compiler->local_size > 0) {
1291 if (compiler->local_size <= (127 << 2))
1292 FAIL_IF(push_inst16(compiler, ADD_SP | (compiler->local_size >> 2)));
1293 else
1294 FAIL_IF(emit_op_imm(compiler, SLJIT_ADD | ARG2_IMM, SLJIT_SP, SLJIT_SP, compiler->local_size));
1297 tmp = compiler->saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? (SLJIT_S0 + 1 - compiler->saveds) : SLJIT_FIRST_SAVED_REG;
1298 for (i = SLJIT_S0; i >= tmp; i--)
1299 pop |= 1 << reg_map[i];
1301 for (i = compiler->scratches; i >= SLJIT_FIRST_SAVED_REG; i--)
1302 pop |= 1 << reg_map[i];
1304 return (pop & 0xff00)
1305 ? push_inst32(compiler, POP_W | (1 << 15) | pop)
1306 : push_inst16(compiler, POP | (1 << 8) | pop);
1309 /* --------------------------------------------------------------------- */
1310 /* Operators */
1311 /* --------------------------------------------------------------------- */
1313 #if !(defined __ARM_FEATURE_IDIV) && !(defined __ARM_ARCH_EXT_IDIV__)
1315 #ifdef __cplusplus
1316 extern "C" {
1317 #endif
1319 #ifdef _WIN32
1320 extern unsigned long long __rt_udiv(unsigned int denominator, unsigned int numerator);
1321 extern long long __rt_sdiv(int denominator, int numerator);
1322 #elif defined(__GNUC__)
1323 extern unsigned int __aeabi_uidivmod(unsigned int numerator, int unsigned denominator);
1324 extern int __aeabi_idivmod(int numerator, int denominator);
1325 #else
1326 #error "Software divmod functions are needed"
1327 #endif
1329 #ifdef __cplusplus
1331 #endif
1333 #endif /* !__ARM_FEATURE_IDIV && !__ARM_ARCH_EXT_IDIV__ */
1335 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)
1337 #if !(defined __ARM_FEATURE_IDIV) && !(defined __ARM_ARCH_EXT_IDIV__)
1338 sljit_sw saved_reg_list[3];
1339 sljit_sw saved_reg_count;
1340 #endif
1342 CHECK_ERROR();
1343 CHECK(check_sljit_emit_op0(compiler, op));
1345 op = GET_OPCODE(op);
1346 switch (op) {
1347 case SLJIT_BREAKPOINT:
1348 return push_inst16(compiler, BKPT);
1349 case SLJIT_NOP:
1350 return push_inst16(compiler, NOP);
1351 case SLJIT_LMUL_UW:
1352 case SLJIT_LMUL_SW:
1353 return push_inst32(compiler, (op == SLJIT_LMUL_UW ? UMULL : SMULL)
1354 | (reg_map[SLJIT_R1] << 8)
1355 | (reg_map[SLJIT_R0] << 12)
1356 | (reg_map[SLJIT_R0] << 16)
1357 | reg_map[SLJIT_R1]);
1358 #if (defined __ARM_FEATURE_IDIV) || (defined __ARM_ARCH_EXT_IDIV__)
1359 case SLJIT_DIVMOD_UW:
1360 case SLJIT_DIVMOD_SW:
1361 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG1, SLJIT_R0)));
1362 FAIL_IF(push_inst32(compiler, (op == SLJIT_DIVMOD_UW ? UDIV : SDIV) | RD4(SLJIT_R0) | RN4(SLJIT_R0) | RM4(SLJIT_R1)));
1363 FAIL_IF(push_inst32(compiler, MUL | RD4(SLJIT_R1) | RN4(SLJIT_R0) | RM4(SLJIT_R1)));
1364 return push_inst32(compiler, SUB_W | RD4(SLJIT_R1) | RN4(TMP_REG1) | RM4(SLJIT_R1));
1365 case SLJIT_DIV_UW:
1366 case SLJIT_DIV_SW:
1367 return push_inst32(compiler, (op == SLJIT_DIV_UW ? UDIV : SDIV) | RD4(SLJIT_R0) | RN4(SLJIT_R0) | RM4(SLJIT_R1));
1368 #else /* !__ARM_FEATURE_IDIV && !__ARM_ARCH_EXT_IDIV__ */
1369 case SLJIT_DIVMOD_UW:
1370 case SLJIT_DIVMOD_SW:
1371 case SLJIT_DIV_UW:
1372 case SLJIT_DIV_SW:
1373 SLJIT_COMPILE_ASSERT((SLJIT_DIVMOD_UW & 0x2) == 0 && SLJIT_DIV_UW - 0x2 == SLJIT_DIVMOD_UW, bad_div_opcode_assignments);
1374 SLJIT_ASSERT(reg_map[2] == 1 && reg_map[3] == 2 && reg_map[4] == 3);
1376 saved_reg_count = 0;
1377 if (compiler->scratches >= 4)
1378 saved_reg_list[saved_reg_count++] = 3;
1379 if (compiler->scratches >= 3)
1380 saved_reg_list[saved_reg_count++] = 2;
1381 if (op >= SLJIT_DIV_UW)
1382 saved_reg_list[saved_reg_count++] = 1;
1384 if (saved_reg_count > 0) {
1385 FAIL_IF(push_inst32(compiler, 0xf84d0d00 | (saved_reg_count >= 3 ? 16 : 8)
1386 | (saved_reg_list[0] << 12) /* str rX, [sp, #-8/-16]! */));
1387 if (saved_reg_count >= 2) {
1388 SLJIT_ASSERT(saved_reg_list[1] < 8);
1389 FAIL_IF(push_inst16(compiler, 0x9001 | (saved_reg_list[1] << 8) /* str rX, [sp, #4] */));
1391 if (saved_reg_count >= 3) {
1392 SLJIT_ASSERT(saved_reg_list[2] < 8);
1393 FAIL_IF(push_inst16(compiler, 0x9002 | (saved_reg_list[2] << 8) /* str rX, [sp, #8] */));
1397 #ifdef _WIN32
1398 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG1, SLJIT_R0)));
1399 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_R0, SLJIT_R1)));
1400 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_R1, TMP_REG1)));
1401 FAIL_IF(sljit_emit_ijump(compiler, SLJIT_FAST_CALL, SLJIT_IMM,
1402 ((op | 0x2) == SLJIT_DIV_UW ? SLJIT_FUNC_OFFSET(__rt_udiv) : SLJIT_FUNC_OFFSET(__rt_sdiv))));
1403 #elif defined(__GNUC__)
1404 FAIL_IF(sljit_emit_ijump(compiler, SLJIT_FAST_CALL, SLJIT_IMM,
1405 ((op | 0x2) == SLJIT_DIV_UW ? SLJIT_FUNC_OFFSET(__aeabi_uidivmod) : SLJIT_FUNC_OFFSET(__aeabi_idivmod))));
1406 #else
1407 #error "Software divmod functions are needed"
1408 #endif
1410 if (saved_reg_count > 0) {
1411 if (saved_reg_count >= 3) {
1412 SLJIT_ASSERT(saved_reg_list[2] < 8);
1413 FAIL_IF(push_inst16(compiler, 0x9802 | (saved_reg_list[2] << 8) /* ldr rX, [sp, #8] */));
1415 if (saved_reg_count >= 2) {
1416 SLJIT_ASSERT(saved_reg_list[1] < 8);
1417 FAIL_IF(push_inst16(compiler, 0x9801 | (saved_reg_list[1] << 8) /* ldr rX, [sp, #4] */));
1419 return push_inst32(compiler, 0xf85d0b00 | (saved_reg_count >= 3 ? 16 : 8)
1420 | (saved_reg_list[0] << 12) /* ldr rX, [sp], #8/16 */);
1422 return SLJIT_SUCCESS;
1423 #endif /* __ARM_FEATURE_IDIV || __ARM_ARCH_EXT_IDIV__ */
1424 case SLJIT_ENDBR:
1425 case SLJIT_SKIP_FRAMES_BEFORE_RETURN:
1426 return SLJIT_SUCCESS;
1429 return SLJIT_SUCCESS;
1432 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,
1433 sljit_s32 dst, sljit_sw dstw,
1434 sljit_s32 src, sljit_sw srcw)
1436 sljit_s32 dst_r, flags;
1437 sljit_s32 op_flags = GET_ALL_FLAGS(op);
1439 CHECK_ERROR();
1440 CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));
1441 ADJUST_LOCAL_OFFSET(dst, dstw);
1442 ADJUST_LOCAL_OFFSET(src, srcw);
1444 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
1446 op = GET_OPCODE(op);
1447 if (op >= SLJIT_MOV && op <= SLJIT_MOV_P) {
1448 switch (op) {
1449 case SLJIT_MOV:
1450 case SLJIT_MOV_U32:
1451 case SLJIT_MOV_S32:
1452 case SLJIT_MOV32:
1453 case SLJIT_MOV_P:
1454 flags = WORD_SIZE;
1455 break;
1456 case SLJIT_MOV_U8:
1457 flags = BYTE_SIZE;
1458 if (src & SLJIT_IMM)
1459 srcw = (sljit_u8)srcw;
1460 break;
1461 case SLJIT_MOV_S8:
1462 flags = BYTE_SIZE | SIGNED;
1463 if (src & SLJIT_IMM)
1464 srcw = (sljit_s8)srcw;
1465 break;
1466 case SLJIT_MOV_U16:
1467 flags = HALF_SIZE;
1468 if (src & SLJIT_IMM)
1469 srcw = (sljit_u16)srcw;
1470 break;
1471 case SLJIT_MOV_S16:
1472 flags = HALF_SIZE | SIGNED;
1473 if (src & SLJIT_IMM)
1474 srcw = (sljit_s16)srcw;
1475 break;
1476 default:
1477 SLJIT_UNREACHABLE();
1478 flags = 0;
1479 break;
1482 if (src & SLJIT_IMM)
1483 FAIL_IF(emit_op_imm(compiler, SLJIT_MOV | ARG2_IMM, dst_r, TMP_REG2, srcw));
1484 else if (src & SLJIT_MEM) {
1485 FAIL_IF(emit_op_mem(compiler, flags, dst_r, src, srcw, TMP_REG1));
1486 } else {
1487 if (dst_r != TMP_REG1)
1488 return emit_op_imm(compiler, op, dst_r, TMP_REG2, src);
1489 dst_r = src;
1492 if (!(dst & SLJIT_MEM))
1493 return SLJIT_SUCCESS;
1495 return emit_op_mem(compiler, flags | STORE, dst_r, dst, dstw, TMP_REG2);
1498 if (op == SLJIT_NEG) {
1499 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1500 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1501 compiler->skip_checks = 1;
1502 #endif
1503 return sljit_emit_op2(compiler, SLJIT_SUB | op_flags, dst, dstw, SLJIT_IMM, 0, src, srcw);
1506 flags = HAS_FLAGS(op_flags) ? SET_FLAGS : 0;
1508 if (src & SLJIT_MEM) {
1509 FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));
1510 src = TMP_REG1;
1513 emit_op_imm(compiler, flags | op, dst_r, TMP_REG2, src);
1515 if (SLJIT_UNLIKELY(dst & SLJIT_MEM))
1516 return emit_op_mem(compiler, flags | STORE, dst_r, dst, dstw, TMP_REG2);
1517 return SLJIT_SUCCESS;
1520 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,
1521 sljit_s32 dst, sljit_sw dstw,
1522 sljit_s32 src1, sljit_sw src1w,
1523 sljit_s32 src2, sljit_sw src2w)
1525 sljit_s32 dst_reg, flags, src2_reg;
1527 CHECK_ERROR();
1528 CHECK(check_sljit_emit_op2(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w));
1529 ADJUST_LOCAL_OFFSET(dst, dstw);
1530 ADJUST_LOCAL_OFFSET(src1, src1w);
1531 ADJUST_LOCAL_OFFSET(src2, src2w);
1533 dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG1;
1534 flags = HAS_FLAGS(op) ? SET_FLAGS : 0;
1536 if (dst == TMP_REG1)
1537 flags |= UNUSED_RETURN;
1539 if (src1 & SLJIT_IMM)
1540 flags |= ARG1_IMM;
1541 else if (src1 & SLJIT_MEM) {
1542 emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src1, src1w, TMP_REG1);
1543 src1w = TMP_REG1;
1545 else
1546 src1w = src1;
1548 if (src2 & SLJIT_IMM)
1549 flags |= ARG2_IMM;
1550 else if (src2 & SLJIT_MEM) {
1551 src2_reg = (!(flags & ARG1_IMM) && (src1w == TMP_REG1)) ? TMP_REG2 : TMP_REG1;
1552 emit_op_mem(compiler, WORD_SIZE, src2_reg, src2, src2w, src2_reg);
1553 src2w = src2_reg;
1555 else
1556 src2w = src2;
1558 emit_op_imm(compiler, flags | GET_OPCODE(op), dst_reg, src1w, src2w);
1560 if (!(dst & SLJIT_MEM))
1561 return SLJIT_SUCCESS;
1562 return emit_op_mem(compiler, WORD_SIZE | STORE, dst_reg, dst, dstw, TMP_REG2);
1565 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2u(struct sljit_compiler *compiler, sljit_s32 op,
1566 sljit_s32 src1, sljit_sw src1w,
1567 sljit_s32 src2, sljit_sw src2w)
1569 CHECK_ERROR();
1570 CHECK(check_sljit_emit_op2(compiler, op, 1, 0, 0, src1, src1w, src2, src2w));
1572 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
1573 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
1574 compiler->skip_checks = 1;
1575 #endif
1576 return sljit_emit_op2(compiler, op, TMP_REG1, 0, src1, src1w, src2, src2w);
1579 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_src(struct sljit_compiler *compiler, sljit_s32 op,
1580 sljit_s32 src, sljit_sw srcw)
1582 CHECK_ERROR();
1583 CHECK(check_sljit_emit_op_src(compiler, op, src, srcw));
1584 ADJUST_LOCAL_OFFSET(src, srcw);
1586 switch (op) {
1587 case SLJIT_FAST_RETURN:
1588 SLJIT_ASSERT(reg_map[TMP_REG2] == 14);
1590 if (FAST_IS_REG(src))
1591 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG2, src)));
1592 else
1593 FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src, srcw, TMP_REG2));
1595 return push_inst16(compiler, BX | RN3(TMP_REG2));
1596 case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN:
1597 return SLJIT_SUCCESS;
1598 case SLJIT_PREFETCH_L1:
1599 case SLJIT_PREFETCH_L2:
1600 case SLJIT_PREFETCH_L3:
1601 case SLJIT_PREFETCH_ONCE:
1602 return emit_op_mem(compiler, PRELOAD, TMP_PC, src, srcw, TMP_REG1);
1605 return SLJIT_SUCCESS;
1608 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 reg)
1610 CHECK_REG_INDEX(check_sljit_get_register_index(reg));
1611 return reg_map[reg];
1614 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_float_register_index(sljit_s32 reg)
1616 CHECK_REG_INDEX(check_sljit_get_float_register_index(reg));
1617 return (freg_map[reg] << 1);
1620 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,
1621 void *instruction, sljit_s32 size)
1623 CHECK_ERROR();
1624 CHECK(check_sljit_emit_op_custom(compiler, instruction, size));
1626 if (size == 2)
1627 return push_inst16(compiler, *(sljit_u16*)instruction);
1628 return push_inst32(compiler, *(sljit_ins*)instruction);
1631 /* --------------------------------------------------------------------- */
1632 /* Floating point operators */
1633 /* --------------------------------------------------------------------- */
1635 #define FPU_LOAD (1 << 20)
1637 static sljit_s32 emit_fop_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)
1639 sljit_uw imm;
1640 sljit_sw inst = VSTR_F32 | (flags & (SLJIT_32 | FPU_LOAD));
1642 SLJIT_ASSERT(arg & SLJIT_MEM);
1644 /* Fast loads and stores. */
1645 if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {
1646 FAIL_IF(push_inst32(compiler, ADD_W | RD4(TMP_REG1) | RN4(arg & REG_MASK) | RM4(OFFS_REG(arg)) | ((argw & 0x3) << 6)));
1647 arg = SLJIT_MEM | TMP_REG1;
1648 argw = 0;
1651 if ((arg & REG_MASK) && (argw & 0x3) == 0) {
1652 if (!(argw & ~0x3fc))
1653 return push_inst32(compiler, inst | 0x800000 | RN4(arg & REG_MASK) | DD4(reg) | (argw >> 2));
1654 if (!(-argw & ~0x3fc))
1655 return push_inst32(compiler, inst | RN4(arg & REG_MASK) | DD4(reg) | (-argw >> 2));
1658 if (arg & REG_MASK) {
1659 if (emit_set_delta(compiler, TMP_REG1, arg & REG_MASK, argw) != SLJIT_ERR_UNSUPPORTED) {
1660 FAIL_IF(compiler->error);
1661 return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | DD4(reg));
1663 imm = get_imm(argw & ~0x3fc);
1664 if (imm != INVALID_IMM) {
1665 FAIL_IF(push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(arg & REG_MASK) | imm));
1666 return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | DD4(reg) | ((argw & 0x3fc) >> 2));
1668 imm = get_imm(-argw & ~0x3fc);
1669 if (imm != INVALID_IMM) {
1670 argw = -argw;
1671 FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(arg & REG_MASK) | imm));
1672 return push_inst32(compiler, inst | RN4(TMP_REG1) | DD4(reg) | ((argw & 0x3fc) >> 2));
1676 FAIL_IF(load_immediate(compiler, TMP_REG1, argw));
1677 if (arg & REG_MASK)
1678 FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, (arg & REG_MASK))));
1679 return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | DD4(reg));
1682 static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,
1683 sljit_s32 dst, sljit_sw dstw,
1684 sljit_s32 src, sljit_sw srcw)
1686 op ^= SLJIT_32;
1688 if (src & SLJIT_MEM) {
1689 FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src, srcw));
1690 src = TMP_FREG1;
1693 FAIL_IF(push_inst32(compiler, VCVT_S32_F32 | (op & SLJIT_32) | DD4(TMP_FREG1) | DM4(src)));
1695 if (FAST_IS_REG(dst))
1696 return push_inst32(compiler, VMOV | (1 << 20) | RT4(dst) | DN4(TMP_FREG1));
1698 /* Store the integer value from a VFP register. */
1699 return emit_fop_mem(compiler, 0, TMP_FREG1, dst, dstw);
1702 static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,
1703 sljit_s32 dst, sljit_sw dstw,
1704 sljit_s32 src, sljit_sw srcw)
1706 sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;
1708 op ^= SLJIT_32;
1710 if (FAST_IS_REG(src))
1711 FAIL_IF(push_inst32(compiler, VMOV | RT4(src) | DN4(TMP_FREG1)));
1712 else if (src & SLJIT_MEM) {
1713 /* Load the integer value into a VFP register. */
1714 FAIL_IF(emit_fop_mem(compiler, FPU_LOAD, TMP_FREG1, src, srcw));
1716 else {
1717 FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));
1718 FAIL_IF(push_inst32(compiler, VMOV | RT4(TMP_REG1) | DN4(TMP_FREG1)));
1721 FAIL_IF(push_inst32(compiler, VCVT_F32_S32 | (op & SLJIT_32) | DD4(dst_r) | DM4(TMP_FREG1)));
1723 if (dst & SLJIT_MEM)
1724 return emit_fop_mem(compiler, (op & SLJIT_32), TMP_FREG1, dst, dstw);
1725 return SLJIT_SUCCESS;
1728 static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,
1729 sljit_s32 src1, sljit_sw src1w,
1730 sljit_s32 src2, sljit_sw src2w)
1732 op ^= SLJIT_32;
1734 if (src1 & SLJIT_MEM) {
1735 emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src1, src1w);
1736 src1 = TMP_FREG1;
1739 if (src2 & SLJIT_MEM) {
1740 emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG2, src2, src2w);
1741 src2 = TMP_FREG2;
1744 FAIL_IF(push_inst32(compiler, VCMP_F32 | (op & SLJIT_32) | DD4(src1) | DM4(src2)));
1745 return push_inst32(compiler, VMRS);
1748 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,
1749 sljit_s32 dst, sljit_sw dstw,
1750 sljit_s32 src, sljit_sw srcw)
1752 sljit_s32 dst_r;
1754 CHECK_ERROR();
1756 SLJIT_COMPILE_ASSERT((SLJIT_32 == 0x100), float_transfer_bit_error);
1757 SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);
1759 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;
1761 if (GET_OPCODE(op) != SLJIT_CONV_F64_FROM_F32)
1762 op ^= SLJIT_32;
1764 if (src & SLJIT_MEM) {
1765 emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, dst_r, src, srcw);
1766 src = dst_r;
1769 switch (GET_OPCODE(op)) {
1770 case SLJIT_MOV_F64:
1771 if (src != dst_r) {
1772 if (dst_r != TMP_FREG1)
1773 FAIL_IF(push_inst32(compiler, VMOV_F32 | (op & SLJIT_32) | DD4(dst_r) | DM4(src)));
1774 else
1775 dst_r = src;
1777 break;
1778 case SLJIT_NEG_F64:
1779 FAIL_IF(push_inst32(compiler, VNEG_F32 | (op & SLJIT_32) | DD4(dst_r) | DM4(src)));
1780 break;
1781 case SLJIT_ABS_F64:
1782 FAIL_IF(push_inst32(compiler, VABS_F32 | (op & SLJIT_32) | DD4(dst_r) | DM4(src)));
1783 break;
1784 case SLJIT_CONV_F64_FROM_F32:
1785 FAIL_IF(push_inst32(compiler, VCVT_F64_F32 | (op & SLJIT_32) | DD4(dst_r) | DM4(src)));
1786 op ^= SLJIT_32;
1787 break;
1790 if (dst & SLJIT_MEM)
1791 return emit_fop_mem(compiler, (op & SLJIT_32), dst_r, dst, dstw);
1792 return SLJIT_SUCCESS;
1795 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,
1796 sljit_s32 dst, sljit_sw dstw,
1797 sljit_s32 src1, sljit_sw src1w,
1798 sljit_s32 src2, sljit_sw src2w)
1800 sljit_s32 dst_r;
1802 CHECK_ERROR();
1803 CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));
1804 ADJUST_LOCAL_OFFSET(dst, dstw);
1805 ADJUST_LOCAL_OFFSET(src1, src1w);
1806 ADJUST_LOCAL_OFFSET(src2, src2w);
1808 op ^= SLJIT_32;
1810 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;
1811 if (src1 & SLJIT_MEM) {
1812 emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src1, src1w);
1813 src1 = TMP_FREG1;
1815 if (src2 & SLJIT_MEM) {
1816 emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG2, src2, src2w);
1817 src2 = TMP_FREG2;
1820 switch (GET_OPCODE(op)) {
1821 case SLJIT_ADD_F64:
1822 FAIL_IF(push_inst32(compiler, VADD_F32 | (op & SLJIT_32) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1823 break;
1824 case SLJIT_SUB_F64:
1825 FAIL_IF(push_inst32(compiler, VSUB_F32 | (op & SLJIT_32) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1826 break;
1827 case SLJIT_MUL_F64:
1828 FAIL_IF(push_inst32(compiler, VMUL_F32 | (op & SLJIT_32) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1829 break;
1830 case SLJIT_DIV_F64:
1831 FAIL_IF(push_inst32(compiler, VDIV_F32 | (op & SLJIT_32) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1832 break;
1835 if (!(dst & SLJIT_MEM))
1836 return SLJIT_SUCCESS;
1837 return emit_fop_mem(compiler, (op & SLJIT_32), TMP_FREG1, dst, dstw);
1840 #undef FPU_LOAD
1842 /* --------------------------------------------------------------------- */
1843 /* Other instructions */
1844 /* --------------------------------------------------------------------- */
1846 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)
1848 CHECK_ERROR();
1849 CHECK(check_sljit_emit_fast_enter(compiler, dst, dstw));
1850 ADJUST_LOCAL_OFFSET(dst, dstw);
1852 SLJIT_ASSERT(reg_map[TMP_REG2] == 14);
1854 if (FAST_IS_REG(dst))
1855 return push_inst16(compiler, MOV | SET_REGS44(dst, TMP_REG2));
1857 /* Memory. */
1858 return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG2, dst, dstw, TMP_REG1);
1861 /* --------------------------------------------------------------------- */
1862 /* Conditional instructions */
1863 /* --------------------------------------------------------------------- */
1865 static sljit_uw get_cc(struct sljit_compiler *compiler, sljit_s32 type)
1867 switch (type) {
1868 case SLJIT_EQUAL:
1869 case SLJIT_EQUAL_F64:
1870 return 0x0;
1872 case SLJIT_NOT_EQUAL:
1873 case SLJIT_NOT_EQUAL_F64:
1874 return 0x1;
1876 case SLJIT_LESS:
1877 case SLJIT_LESS_F64:
1878 return 0x3;
1880 case SLJIT_GREATER_EQUAL:
1881 case SLJIT_GREATER_EQUAL_F64:
1882 return 0x2;
1884 case SLJIT_GREATER:
1885 case SLJIT_GREATER_F64:
1886 return 0x8;
1888 case SLJIT_LESS_EQUAL:
1889 case SLJIT_LESS_EQUAL_F64:
1890 return 0x9;
1892 case SLJIT_SIG_LESS:
1893 return 0xb;
1895 case SLJIT_SIG_GREATER_EQUAL:
1896 return 0xa;
1898 case SLJIT_SIG_GREATER:
1899 return 0xc;
1901 case SLJIT_SIG_LESS_EQUAL:
1902 return 0xd;
1904 case SLJIT_OVERFLOW:
1905 if (!(compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD_SUB))
1906 return 0x1;
1908 case SLJIT_UNORDERED_F64:
1909 return 0x6;
1911 case SLJIT_NOT_OVERFLOW:
1912 if (!(compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD_SUB))
1913 return 0x0;
1915 case SLJIT_ORDERED_F64:
1916 return 0x7;
1918 default: /* SLJIT_JUMP */
1919 SLJIT_UNREACHABLE();
1920 return 0xe;
1924 SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)
1926 struct sljit_label *label;
1928 CHECK_ERROR_PTR();
1929 CHECK_PTR(check_sljit_emit_label(compiler));
1931 if (compiler->last_label && compiler->last_label->size == compiler->size)
1932 return compiler->last_label;
1934 label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));
1935 PTR_FAIL_IF(!label);
1936 set_label(label, compiler);
1937 return label;
1940 SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)
1942 struct sljit_jump *jump;
1943 sljit_ins cc;
1945 CHECK_ERROR_PTR();
1946 CHECK_PTR(check_sljit_emit_jump(compiler, type));
1948 jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1949 PTR_FAIL_IF(!jump);
1950 set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
1951 type &= 0xff;
1953 PTR_FAIL_IF(emit_imm32_const(compiler, TMP_REG1, 0));
1954 if (type < SLJIT_JUMP) {
1955 jump->flags |= IS_COND;
1956 cc = get_cc(compiler, type);
1957 jump->flags |= cc << 8;
1958 PTR_FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
1961 jump->addr = compiler->size;
1962 if (type <= SLJIT_JUMP)
1963 PTR_FAIL_IF(push_inst16(compiler, BX | RN3(TMP_REG1)));
1964 else {
1965 jump->flags |= IS_BL;
1966 PTR_FAIL_IF(push_inst16(compiler, BLX | RN3(TMP_REG1)));
1969 return jump;
1972 #ifdef __SOFTFP__
1974 static sljit_s32 softfloat_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types, sljit_s32 *src)
1976 sljit_s32 offset = 0;
1977 sljit_s32 word_arg_offset = 0;
1978 sljit_s32 float_arg_count = 0;
1979 sljit_s32 types = 0;
1980 sljit_s32 src_offset = 4 * sizeof(sljit_sw);
1981 sljit_u8 offsets[4];
1982 sljit_u8 *offset_ptr = offsets;
1984 if (src && FAST_IS_REG(*src))
1985 src_offset = reg_map[*src] * sizeof(sljit_sw);
1987 arg_types >>= SLJIT_ARG_SHIFT;
1989 while (arg_types) {
1990 types = (types << SLJIT_ARG_SHIFT) | (arg_types & SLJIT_ARG_MASK);
1992 switch (arg_types & SLJIT_ARG_MASK) {
1993 case SLJIT_ARG_TYPE_F64:
1994 if (offset & 0x7)
1995 offset += sizeof(sljit_sw);
1996 *offset_ptr++ = (sljit_u8)offset;
1997 offset += sizeof(sljit_f64);
1998 float_arg_count++;
1999 break;
2000 case SLJIT_ARG_TYPE_F32:
2001 *offset_ptr++ = (sljit_u8)offset;
2002 offset += sizeof(sljit_f32);
2003 float_arg_count++;
2004 break;
2005 default:
2006 *offset_ptr++ = (sljit_u8)offset;
2007 offset += sizeof(sljit_sw);
2008 word_arg_offset += sizeof(sljit_sw);
2009 break;
2012 arg_types >>= SLJIT_ARG_SHIFT;
2015 if (offset > 4 * sizeof(sljit_sw))
2016 FAIL_IF(push_inst16(compiler, SUB_SP | (((offset - 4 * sizeof(sljit_sw)) + 0x7) & ~0x7) >> 2));
2018 SLJIT_ASSERT(reg_map[TMP_REG1] == 12);
2020 /* Process arguments in reversed direction. */
2021 while (types) {
2022 switch (types & SLJIT_ARG_MASK) {
2023 case SLJIT_ARG_TYPE_F64:
2024 float_arg_count--;
2025 offset = *(--offset_ptr);
2027 SLJIT_ASSERT((offset & 0x7) == 0);
2029 if (offset < 4 * sizeof(sljit_sw)) {
2030 if (src_offset == offset || src_offset == offset + sizeof(sljit_sw)) {
2031 FAIL_IF(push_inst16(compiler, MOV | (src_offset << 1) | 4 | (1 << 7)));
2032 *src = TMP_REG1;
2034 FAIL_IF(push_inst32(compiler, VMOV2 | 0x100000 | (offset << 10) | ((offset + sizeof(sljit_sw)) << 14) | float_arg_count));
2035 } else
2036 FAIL_IF(push_inst32(compiler, VSTR_F32 | 0x800100 | RN4(SLJIT_SP)
2037 | (float_arg_count << 12) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));
2038 break;
2039 case SLJIT_ARG_TYPE_F32:
2040 float_arg_count--;
2041 offset = *(--offset_ptr);
2043 if (offset < 4 * sizeof(sljit_sw)) {
2044 if (src_offset == offset) {
2045 FAIL_IF(push_inst16(compiler, MOV | (src_offset << 1) | 4 | (1 << 7)));
2046 *src = TMP_REG1;
2048 FAIL_IF(push_inst32(compiler, VMOV | 0x100000 | (float_arg_count << 16) | (offset << 10)));
2049 } else
2050 FAIL_IF(push_inst32(compiler, VSTR_F32 | 0x800000 | RN4(SLJIT_SP)
2051 | (float_arg_count << 12) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));
2052 break;
2053 default:
2054 word_arg_offset -= sizeof(sljit_sw);
2055 offset = *(--offset_ptr);
2057 SLJIT_ASSERT(offset >= word_arg_offset);
2059 if (offset != word_arg_offset) {
2060 if (offset < 4 * sizeof(sljit_sw)) {
2061 if (src_offset == offset) {
2062 FAIL_IF(push_inst16(compiler, MOV | (src_offset << 1) | 4 | (1 << 7)));
2063 *src = TMP_REG1;
2065 else if (src_offset == word_arg_offset) {
2066 *src = 1 + (offset >> 2);
2067 src_offset = offset;
2069 FAIL_IF(push_inst16(compiler, MOV | (offset >> 2) | (word_arg_offset << 1)));
2070 } else
2071 FAIL_IF(push_inst16(compiler, STR_SP | (word_arg_offset << 6) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));
2073 break;
2076 types >>= SLJIT_ARG_SHIFT;
2079 return SLJIT_SUCCESS;
2082 static sljit_s32 softfloat_post_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types)
2084 sljit_s32 stack_size = 0;
2086 if ((arg_types & SLJIT_ARG_MASK) == SLJIT_ARG_TYPE_F64)
2087 FAIL_IF(push_inst32(compiler, VMOV2 | (1 << 16) | (0 << 12) | 0));
2088 if ((arg_types & SLJIT_ARG_MASK) == SLJIT_ARG_TYPE_F32)
2089 FAIL_IF(push_inst32(compiler, VMOV | (0 << 16) | (0 << 12)));
2091 arg_types >>= SLJIT_ARG_SHIFT;
2093 while (arg_types) {
2094 switch (arg_types & SLJIT_ARG_MASK) {
2095 case SLJIT_ARG_TYPE_F64:
2096 if (stack_size & 0x7)
2097 stack_size += sizeof(sljit_sw);
2098 stack_size += sizeof(sljit_f64);
2099 break;
2100 case SLJIT_ARG_TYPE_F32:
2101 stack_size += sizeof(sljit_f32);
2102 break;
2103 default:
2104 stack_size += sizeof(sljit_sw);
2105 break;
2108 arg_types >>= SLJIT_ARG_SHIFT;
2111 if (stack_size <= 4 * sizeof(sljit_sw))
2112 return SLJIT_SUCCESS;
2114 return push_inst16(compiler, ADD_SP | ((((stack_size - 16) + 0x7) & ~0x7) >> 2));
2117 #else
2119 static sljit_s32 hardfloat_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types)
2121 sljit_u32 offset = SLJIT_FR0;
2122 sljit_u32 new_offset = SLJIT_FR0;
2123 sljit_u32 f32_offset = 0;
2125 /* Remove return value. */
2126 arg_types >>= SLJIT_ARG_SHIFT;
2128 while (arg_types) {
2129 switch (arg_types & SLJIT_ARG_MASK) {
2130 case SLJIT_ARG_TYPE_F64:
2131 if (offset != new_offset)
2132 FAIL_IF(push_inst32(compiler, VMOV_F32 | SLJIT_32 | DD4(new_offset) | DM4(offset)));
2134 new_offset++;
2135 offset++;
2136 break;
2137 case SLJIT_ARG_TYPE_F32:
2138 if (f32_offset != 0) {
2139 FAIL_IF(push_inst32(compiler, VMOV_F32 | 0x400000 | DD4(f32_offset) | DM4(offset)));
2140 f32_offset = 0;
2141 } else {
2142 if (offset != new_offset)
2143 FAIL_IF(push_inst32(compiler, VMOV_F32 | 0x400000 | DD4(new_offset) | DM4(offset)));
2144 f32_offset = new_offset;
2145 new_offset++;
2147 offset++;
2148 break;
2150 arg_types >>= SLJIT_ARG_SHIFT;
2153 return SLJIT_SUCCESS;
2156 #endif
2158 SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,
2159 sljit_s32 arg_types)
2161 #ifdef __SOFTFP__
2162 struct sljit_jump *jump;
2163 #endif
2165 CHECK_ERROR_PTR();
2166 CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));
2168 #ifdef __SOFTFP__
2169 PTR_FAIL_IF(softfloat_call_with_args(compiler, arg_types, NULL));
2171 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
2172 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
2173 compiler->skip_checks = 1;
2174 #endif
2176 jump = sljit_emit_jump(compiler, type);
2177 PTR_FAIL_IF(jump == NULL);
2179 PTR_FAIL_IF(softfloat_post_call_with_args(compiler, arg_types));
2180 return jump;
2181 #else
2182 PTR_FAIL_IF(hardfloat_call_with_args(compiler, arg_types));
2184 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
2185 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
2186 compiler->skip_checks = 1;
2187 #endif
2189 return sljit_emit_jump(compiler, type);
2190 #endif
2193 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)
2195 struct sljit_jump *jump;
2197 CHECK_ERROR();
2198 CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));
2199 ADJUST_LOCAL_OFFSET(src, srcw);
2201 SLJIT_ASSERT(reg_map[TMP_REG1] != 14);
2203 if (!(src & SLJIT_IMM)) {
2204 if (FAST_IS_REG(src)) {
2205 SLJIT_ASSERT(reg_map[src] != 14);
2206 return push_inst16(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RN3(src));
2209 FAIL_IF(emit_op_mem(compiler, WORD_SIZE, type <= SLJIT_JUMP ? TMP_PC : TMP_REG1, src, srcw, TMP_REG1));
2210 if (type >= SLJIT_FAST_CALL)
2211 return push_inst16(compiler, BLX | RN3(TMP_REG1));
2214 /* These jumps are converted to jump/call instructions when possible. */
2215 jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
2216 FAIL_IF(!jump);
2217 set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));
2218 jump->u.target = srcw;
2220 FAIL_IF(emit_imm32_const(compiler, TMP_REG1, 0));
2221 jump->addr = compiler->size;
2222 return push_inst16(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RN3(TMP_REG1));
2225 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,
2226 sljit_s32 arg_types,
2227 sljit_s32 src, sljit_sw srcw)
2229 CHECK_ERROR();
2230 CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));
2232 #ifdef __SOFTFP__
2233 if (src & SLJIT_MEM) {
2234 FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));
2235 src = TMP_REG1;
2238 FAIL_IF(softfloat_call_with_args(compiler, arg_types, &src));
2240 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
2241 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
2242 compiler->skip_checks = 1;
2243 #endif
2245 FAIL_IF(sljit_emit_ijump(compiler, type, src, srcw));
2247 return softfloat_post_call_with_args(compiler, arg_types);
2248 #else /* !__SOFTFP__ */
2249 FAIL_IF(hardfloat_call_with_args(compiler, arg_types));
2251 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
2252 || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
2253 compiler->skip_checks = 1;
2254 #endif
2256 return sljit_emit_ijump(compiler, type, src, srcw);
2257 #endif /* __SOFTFP__ */
2260 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,
2261 sljit_s32 dst, sljit_sw dstw,
2262 sljit_s32 type)
2264 sljit_s32 dst_r, flags = GET_ALL_FLAGS(op);
2265 sljit_ins cc;
2267 CHECK_ERROR();
2268 CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));
2269 ADJUST_LOCAL_OFFSET(dst, dstw);
2271 op = GET_OPCODE(op);
2272 cc = get_cc(compiler, type & 0xff);
2273 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
2275 if (op < SLJIT_ADD) {
2276 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | (((cc & 0x1) ^ 0x1) << 3) | 0x4));
2277 if (reg_map[dst_r] > 7) {
2278 FAIL_IF(push_inst32(compiler, MOV_WI | RD4(dst_r) | 1));
2279 FAIL_IF(push_inst32(compiler, MOV_WI | RD4(dst_r) | 0));
2280 } else {
2281 /* The movsi (immediate) instruction does not set flags in IT block. */
2282 FAIL_IF(push_inst16(compiler, MOVSI | RDN3(dst_r) | 1));
2283 FAIL_IF(push_inst16(compiler, MOVSI | RDN3(dst_r) | 0));
2285 if (!(dst & SLJIT_MEM))
2286 return SLJIT_SUCCESS;
2287 return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG1, dst, dstw, TMP_REG2);
2290 if (dst & SLJIT_MEM)
2291 FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2));
2293 if (op == SLJIT_AND) {
2294 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | (((cc & 0x1) ^ 0x1) << 3) | 0x4));
2295 FAIL_IF(push_inst32(compiler, ANDI | RN4(dst_r) | RD4(dst_r) | 1));
2296 FAIL_IF(push_inst32(compiler, ANDI | RN4(dst_r) | RD4(dst_r) | 0));
2298 else {
2299 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
2300 FAIL_IF(push_inst32(compiler, ((op == SLJIT_OR) ? ORRI : EORI) | RN4(dst_r) | RD4(dst_r) | 1));
2303 if (dst & SLJIT_MEM)
2304 FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG1, dst, dstw, TMP_REG2));
2306 if (!(flags & SLJIT_SET_Z))
2307 return SLJIT_SUCCESS;
2309 /* The condition must always be set, even if the ORR/EORI is not executed above. */
2310 return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(TMP_REG1) | RM4(dst_r));
2313 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_cmov(struct sljit_compiler *compiler, sljit_s32 type,
2314 sljit_s32 dst_reg,
2315 sljit_s32 src, sljit_sw srcw)
2317 sljit_uw cc, tmp;
2319 CHECK_ERROR();
2320 CHECK(check_sljit_emit_cmov(compiler, type, dst_reg, src, srcw));
2322 dst_reg &= ~SLJIT_32;
2324 cc = get_cc(compiler, type & 0xff);
2326 if (!(src & SLJIT_IMM)) {
2327 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
2328 return push_inst16(compiler, MOV | SET_REGS44(dst_reg, src));
2331 tmp = (sljit_uw) srcw;
2333 if (tmp < 0x10000) {
2334 /* set low 16 bits, set hi 16 bits to 0. */
2335 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
2336 return push_inst32(compiler, MOVW | RD4(dst_reg)
2337 | COPY_BITS(tmp, 12, 16, 4) | COPY_BITS(tmp, 11, 26, 1) | COPY_BITS(tmp, 8, 12, 3) | (tmp & 0xff));
2340 tmp = get_imm(srcw);
2341 if (tmp != INVALID_IMM) {
2342 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
2343 return push_inst32(compiler, MOV_WI | RD4(dst_reg) | tmp);
2346 tmp = get_imm(~srcw);
2347 if (tmp != INVALID_IMM) {
2348 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
2349 return push_inst32(compiler, MVN_WI | RD4(dst_reg) | tmp);
2352 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | ((cc & 0x1) << 3) | 0x4));
2354 tmp = (sljit_uw) srcw;
2355 FAIL_IF(push_inst32(compiler, MOVW | RD4(dst_reg)
2356 | COPY_BITS(tmp, 12, 16, 4) | COPY_BITS(tmp, 11, 26, 1) | COPY_BITS(tmp, 8, 12, 3) | (tmp & 0xff)));
2357 return push_inst32(compiler, MOVT | RD4(dst_reg)
2358 | COPY_BITS(tmp, 12 + 16, 16, 4) | COPY_BITS(tmp, 11 + 16, 26, 1) | COPY_BITS(tmp, 8 + 16, 12, 3) | ((tmp & 0xff0000) >> 16));
2361 SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,
2362 sljit_s32 reg,
2363 sljit_s32 mem, sljit_sw memw)
2365 sljit_s32 flags;
2366 sljit_ins inst;
2368 CHECK_ERROR();
2369 CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));
2371 if ((mem & OFFS_REG_MASK) || (memw > 255 || memw < -255))
2372 return SLJIT_ERR_UNSUPPORTED;
2374 if (type & SLJIT_MEM_SUPP)
2375 return SLJIT_SUCCESS;
2377 switch (type & 0xff) {
2378 case SLJIT_MOV:
2379 case SLJIT_MOV_U32:
2380 case SLJIT_MOV_S32:
2381 case SLJIT_MOV32:
2382 case SLJIT_MOV_P:
2383 flags = WORD_SIZE;
2384 break;
2385 case SLJIT_MOV_U8:
2386 flags = BYTE_SIZE;
2387 break;
2388 case SLJIT_MOV_S8:
2389 flags = BYTE_SIZE | SIGNED;
2390 break;
2391 case SLJIT_MOV_U16:
2392 flags = HALF_SIZE;
2393 break;
2394 case SLJIT_MOV_S16:
2395 flags = HALF_SIZE | SIGNED;
2396 break;
2397 default:
2398 SLJIT_UNREACHABLE();
2399 flags = WORD_SIZE;
2400 break;
2403 if (type & SLJIT_MEM_STORE)
2404 flags |= STORE;
2406 inst = sljit_mem32[flags] | 0x900;
2408 if (type & SLJIT_MEM_PRE)
2409 inst |= 0x400;
2411 if (memw >= 0)
2412 inst |= 0x200;
2413 else
2414 memw = -memw;
2416 return push_inst32(compiler, inst | RT4(reg) | RN4(mem & REG_MASK) | memw);
2419 SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw init_value)
2421 struct sljit_const *const_;
2422 sljit_s32 dst_r;
2424 CHECK_ERROR_PTR();
2425 CHECK_PTR(check_sljit_emit_const(compiler, dst, dstw, init_value));
2426 ADJUST_LOCAL_OFFSET(dst, dstw);
2428 const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));
2429 PTR_FAIL_IF(!const_);
2430 set_const(const_, compiler);
2432 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
2433 PTR_FAIL_IF(emit_imm32_const(compiler, dst_r, init_value));
2435 if (dst & SLJIT_MEM)
2436 PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2));
2437 return const_;
2440 SLJIT_API_FUNC_ATTRIBUTE struct sljit_put_label* sljit_emit_put_label(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)
2442 struct sljit_put_label *put_label;
2443 sljit_s32 dst_r;
2445 CHECK_ERROR_PTR();
2446 CHECK_PTR(check_sljit_emit_put_label(compiler, dst, dstw));
2447 ADJUST_LOCAL_OFFSET(dst, dstw);
2449 put_label = (struct sljit_put_label*)ensure_abuf(compiler, sizeof(struct sljit_put_label));
2450 PTR_FAIL_IF(!put_label);
2451 set_put_label(put_label, compiler, 0);
2453 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
2454 PTR_FAIL_IF(emit_imm32_const(compiler, dst_r, 0));
2456 if (dst & SLJIT_MEM)
2457 PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2));
2458 return put_label;
2461 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)
2463 sljit_u16 *inst = (sljit_u16*)addr;
2464 SLJIT_UNUSED_ARG(executable_offset);
2466 SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 0);
2467 modify_imm32_const(inst, new_target);
2468 SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 1);
2469 inst = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);
2470 SLJIT_CACHE_FLUSH(inst, inst + 4);
2473 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset)
2475 sljit_set_jump_addr(addr, new_constant, executable_offset);