/[pcre]/code/trunk/sljit/sljitNativeARM_Thumb2.c
ViewVC logotype

Contents of /code/trunk/sljit/sljitNativeARM_Thumb2.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1280 - (hide annotations) (download)
Fri Mar 15 06:58:31 2013 UTC (2 months ago) by zherczeg
File MIME type: text/plain
File size: 62899 byte(s)
JIT compiler update.
1 ph10 662 /*
2     * Stack-less Just-In-Time compiler
3     *
4 ph10 836 * Copyright 2009-2012 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
5 ph10 662 *
6     * Redistribution and use in source and binary forms, with or without modification, are
7     * permitted provided that the following conditions are met:
8     *
9     * 1. Redistributions of source code must retain the above copyright notice, this list of
10     * conditions and the following disclaimer.
11     *
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.
15     *
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.
25     */
26    
27 zherczeg 1149 SLJIT_API_FUNC_ATTRIBUTE SLJIT_CONST char* sljit_get_platform_name(void)
28 ph10 662 {
29 zherczeg 884 return "ARM-Thumb2" SLJIT_CPUINFO;
30 ph10 662 }
31    
32 zherczeg 1149 /* Length of an instruction word. */
33     typedef sljit_ui sljit_ins;
34    
35 ph10 662 /* Last register + 1. */
36     #define TMP_REG1 (SLJIT_NO_REGISTERS + 1)
37     #define TMP_REG2 (SLJIT_NO_REGISTERS + 2)
38     #define TMP_REG3 (SLJIT_NO_REGISTERS + 3)
39     #define TMP_PC (SLJIT_NO_REGISTERS + 4)
40    
41 zherczeg 1195 #define TMP_FREG1 (0)
42     #define TMP_FREG2 (SLJIT_FLOAT_REG6 + 1)
43 ph10 662
44 zherczeg 847 /* See sljit_emit_enter and sljit_emit_op0 if you want to change them. */
45 ph10 662 static SLJIT_CONST sljit_ub reg_map[SLJIT_NO_REGISTERS + 5] = {
46 zherczeg 1149 0, 0, 1, 2, 12, 5, 6, 7, 8, 10, 11, 13, 3, 4, 14, 15
47 ph10 662 };
48    
49     #define COPY_BITS(src, from, to, bits) \
50     ((from >= to ? (src >> (from - to)) : (src << (to - from))) & (((1 << bits) - 1) << to))
51    
52     /* Thumb16 encodings. */
53     #define RD3(rd) (reg_map[rd])
54     #define RN3(rn) (reg_map[rn] << 3)
55     #define RM3(rm) (reg_map[rm] << 6)
56     #define RDN3(rdn) (reg_map[rdn] << 8)
57     #define IMM3(imm) (imm << 6)
58     #define IMM8(imm) (imm)
59    
60     /* Thumb16 helpers. */
61     #define SET_REGS44(rd, rn) \
62     ((reg_map[rn] << 3) | (reg_map[rd] & 0x7) | ((reg_map[rd] & 0x8) << 4))
63     #define IS_2_LO_REGS(reg1, reg2) \
64     (reg_map[reg1] <= 7 && reg_map[reg2] <= 7)
65     #define IS_3_LO_REGS(reg1, reg2, reg3) \
66     (reg_map[reg1] <= 7 && reg_map[reg2] <= 7 && reg_map[reg3] <= 7)
67    
68     /* Thumb32 encodings. */
69     #define RD4(rd) (reg_map[rd] << 8)
70     #define RN4(rn) (reg_map[rn] << 16)
71     #define RM4(rm) (reg_map[rm])
72     #define RT4(rt) (reg_map[rt] << 12)
73     #define DD4(dd) ((dd) << 12)
74     #define DN4(dn) ((dn) << 16)
75     #define DM4(dm) (dm)
76     #define IMM5(imm) \
77     (COPY_BITS(imm, 2, 12, 3) | ((imm & 0x3) << 6))
78     #define IMM12(imm) \
79     (COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff))
80    
81     /* --------------------------------------------------------------------- */
82     /* Instrucion forms */
83     /* --------------------------------------------------------------------- */
84    
85     /* dot '.' changed to _
86     I immediate form (possibly followed by number of immediate bits). */
87     #define ADCI 0xf1400000
88     #define ADCS 0x4140
89     #define ADC_W 0xeb400000
90     #define ADD 0x4400
91     #define ADDS 0x1800
92     #define ADDSI3 0x1c00
93     #define ADDSI8 0x3000
94     #define ADD_W 0xeb000000
95     #define ADDWI 0xf2000000
96     #define ADD_SP 0xb000
97     #define ADD_W 0xeb000000
98     #define ADD_WI 0xf1000000
99     #define ANDI 0xf0000000
100     #define ANDS 0x4000
101     #define AND_W 0xea000000
102     #define ASRS 0x4100
103     #define ASRSI 0x1000
104     #define ASR_W 0xfa40f000
105     #define ASR_WI 0xea4f0020
106     #define BICI 0xf0200000
107     #define BKPT 0xbe00
108     #define BLX 0x4780
109     #define BX 0x4700
110     #define CLZ 0xfab0f080
111     #define CMPI 0x2800
112     #define CMP_W 0xebb00f00
113     #define EORI 0xf0800000
114     #define EORS 0x4040
115     #define EOR_W 0xea800000
116     #define IT 0xbf00
117     #define LSLS 0x4080
118     #define LSLSI 0x0000
119     #define LSL_W 0xfa00f000
120     #define LSL_WI 0xea4f0000
121     #define LSRS 0x40c0
122     #define LSRSI 0x0800
123     #define LSR_W 0xfa20f000
124     #define LSR_WI 0xea4f0010
125     #define MOV 0x4600
126 zherczeg 860 #define MOVS 0x0000
127 ph10 662 #define MOVSI 0x2000
128     #define MOVT 0xf2c00000
129     #define MOVW 0xf2400000
130 zherczeg 860 #define MOV_W 0xea4f0000
131 ph10 662 #define MOV_WI 0xf04f0000
132     #define MUL 0xfb00f000
133     #define MVNS 0x43c0
134     #define MVN_W 0xea6f0000
135     #define MVN_WI 0xf06f0000
136     #define NOP 0xbf00
137     #define ORNI 0xf0600000
138     #define ORRI 0xf0400000
139     #define ORRS 0x4300
140     #define ORR_W 0xea400000
141     #define POP 0xbd00
142     #define POP_W 0xe8bd0000
143     #define PUSH 0xb500
144     #define PUSH_W 0xe92d0000
145     #define RSB_WI 0xf1c00000
146     #define RSBSI 0x4240
147     #define SBCI 0xf1600000
148     #define SBCS 0x4180
149     #define SBC_W 0xeb600000
150     #define SMULL 0xfb800000
151     #define STR_SP 0x9000
152     #define SUBS 0x1a00
153     #define SUBSI3 0x1e00
154     #define SUBSI8 0x3800
155     #define SUB_W 0xeba00000
156     #define SUBWI 0xf2a00000
157     #define SUB_SP 0xb080
158     #define SUB_WI 0xf1a00000
159     #define SXTB 0xb240
160     #define SXTB_W 0xfa4ff080
161     #define SXTH 0xb200
162     #define SXTH_W 0xfa0ff080
163     #define TST 0x4200
164 zherczeg 847 #define UMULL 0xfba00000
165 ph10 662 #define UXTB 0xb2c0
166     #define UXTB_W 0xfa5ff080
167     #define UXTH 0xb280
168     #define UXTH_W 0xfa1ff080
169 zherczeg 1195 #define VABS_F32 0xeeb00ac0
170     #define VADD_F32 0xee300a00
171     #define VCMP_F32 0xeeb40a40
172     #define VDIV_F32 0xee800a00
173     #define VMOV_F32 0xeeb00a40
174 ph10 662 #define VMRS 0xeef1fa10
175 zherczeg 1195 #define VMUL_F32 0xee200a00
176     #define VNEG_F32 0xeeb10a40
177     #define VSTR_F32 0xed000a00
178     #define VSUB_F32 0xee300a40
179 ph10 662
180 zherczeg 1195 static sljit_si push_inst16(struct sljit_compiler *compiler, sljit_ins inst)
181 ph10 662 {
182     sljit_uh *ptr;
183     SLJIT_ASSERT(!(inst & 0xffff0000));
184    
185     ptr = (sljit_uh*)ensure_buf(compiler, sizeof(sljit_uh));
186     FAIL_IF(!ptr);
187     *ptr = inst;
188     compiler->size++;
189     return SLJIT_SUCCESS;
190     }
191    
192 zherczeg 1195 static sljit_si push_inst32(struct sljit_compiler *compiler, sljit_ins inst)
193 ph10 662 {
194     sljit_uh *ptr = (sljit_uh*)ensure_buf(compiler, sizeof(sljit_ins));
195     FAIL_IF(!ptr);
196     *ptr++ = inst >> 16;
197     *ptr = inst;
198     compiler->size += 2;
199     return SLJIT_SUCCESS;
200     }
201    
202 zherczeg 1195 static SLJIT_INLINE sljit_si emit_imm32_const(struct sljit_compiler *compiler, sljit_si dst, sljit_uw imm)
203 ph10 662 {
204     FAIL_IF(push_inst32(compiler, MOVW | RD4(dst) |
205     COPY_BITS(imm, 12, 16, 4) | COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff)));
206     return push_inst32(compiler, MOVT | RD4(dst) |
207     COPY_BITS(imm, 12 + 16, 16, 4) | COPY_BITS(imm, 11 + 16, 26, 1) | COPY_BITS(imm, 8 + 16, 12, 3) | ((imm & 0xff0000) >> 16));
208     }
209    
210     static SLJIT_INLINE void modify_imm32_const(sljit_uh* inst, sljit_uw new_imm)
211     {
212 zherczeg 1195 sljit_si dst = inst[1] & 0x0f00;
213 ph10 662 SLJIT_ASSERT(((inst[0] & 0xfbf0) == (MOVW >> 16)) && ((inst[2] & 0xfbf0) == (MOVT >> 16)) && dst == (inst[3] & 0x0f00));
214     inst[0] = (MOVW >> 16) | COPY_BITS(new_imm, 12, 0, 4) | COPY_BITS(new_imm, 11, 10, 1);
215     inst[1] = dst | COPY_BITS(new_imm, 8, 12, 3) | (new_imm & 0xff);
216     inst[2] = (MOVT >> 16) | COPY_BITS(new_imm, 12 + 16, 0, 4) | COPY_BITS(new_imm, 11 + 16, 10, 1);
217     inst[3] = dst | COPY_BITS(new_imm, 8 + 16, 12, 3) | ((new_imm & 0xff0000) >> 16);
218     }
219    
220 zherczeg 1195 static SLJIT_INLINE sljit_si detect_jump_type(struct sljit_jump *jump, sljit_uh *code_ptr, sljit_uh *code)
221 ph10 662 {
222 zherczeg 1195 sljit_sw diff;
223 ph10 662
224     if (jump->flags & SLJIT_REWRITABLE_JUMP)
225     return 0;
226    
227     if (jump->flags & JUMP_ADDR) {
228     /* Branch to ARM code is not optimized yet. */
229     if (!(jump->u.target & 0x1))
230     return 0;
231 zherczeg 1195 diff = ((sljit_sw)jump->u.target - (sljit_sw)(code_ptr + 2)) >> 1;
232 ph10 662 }
233     else {
234     SLJIT_ASSERT(jump->flags & JUMP_LABEL);
235 zherczeg 1195 diff = ((sljit_sw)(code + jump->u.label->size) - (sljit_sw)(code_ptr + 2)) >> 1;
236 ph10 662 }
237    
238 zherczeg 1149 if (jump->flags & IS_COND) {
239 ph10 662 SLJIT_ASSERT(!(jump->flags & IS_BL));
240     if (diff <= 127 && diff >= -128) {
241     jump->flags |= B_TYPE1;
242     return 5;
243     }
244     if (diff <= 524287 && diff >= -524288) {
245     jump->flags |= B_TYPE2;
246     return 4;
247     }
248     /* +1 comes from the prefix IT instruction. */
249     diff--;
250     if (diff <= 8388607 && diff >= -8388608) {
251     jump->flags |= B_TYPE3;
252     return 3;
253     }
254     }
255     else if (jump->flags & IS_BL) {
256     if (diff <= 8388607 && diff >= -8388608) {
257     jump->flags |= BL_TYPE6;
258     return 3;
259     }
260     }
261     else {
262     if (diff <= 1023 && diff >= -1024) {
263     jump->flags |= B_TYPE4;
264     return 4;
265     }
266     if (diff <= 8388607 && diff >= -8388608) {
267     jump->flags |= B_TYPE5;
268     return 3;
269     }
270     }
271    
272     return 0;
273     }
274    
275 zherczeg 1195 static SLJIT_INLINE void inline_set_jump_addr(sljit_uw addr, sljit_uw new_addr, sljit_si flush)
276 ph10 662 {
277     sljit_uh* inst = (sljit_uh*)addr;
278     modify_imm32_const(inst, new_addr);
279     if (flush) {
280     SLJIT_CACHE_FLUSH(inst, inst + 3);
281     }
282     }
283    
284     static SLJIT_INLINE void set_jump_instruction(struct sljit_jump *jump)
285     {
286 zherczeg 1195 sljit_si type = (jump->flags >> 4) & 0xf;
287     sljit_sw diff;
288 ph10 662 sljit_uh *jump_inst;
289 zherczeg 1195 sljit_si s, j1, j2;
290 ph10 662
291     if (SLJIT_UNLIKELY(type == 0)) {
292     inline_set_jump_addr(jump->addr, (jump->flags & JUMP_LABEL) ? jump->u.label->addr : jump->u.target, 0);
293     return;
294     }
295    
296     if (jump->flags & JUMP_ADDR) {
297     SLJIT_ASSERT(jump->u.target & 0x1);
298 zherczeg 1195 diff = ((sljit_sw)jump->u.target - (sljit_sw)(jump->addr + 4)) >> 1;
299 ph10 662 }
300     else
301 zherczeg 1195 diff = ((sljit_sw)(jump->u.label->addr) - (sljit_sw)(jump->addr + 4)) >> 1;
302 ph10 662 jump_inst = (sljit_uh*)jump->addr;
303    
304     switch (type) {
305     case 1:
306     /* Encoding T1 of 'B' instruction */
307 zherczeg 1149 SLJIT_ASSERT(diff <= 127 && diff >= -128 && (jump->flags & IS_COND));
308 ph10 662 jump_inst[0] = 0xd000 | (jump->flags & 0xf00) | (diff & 0xff);
309     return;
310     case 2:
311     /* Encoding T3 of 'B' instruction */
312 zherczeg 1149 SLJIT_ASSERT(diff <= 524287 && diff >= -524288 && (jump->flags & IS_COND));
313 ph10 662 jump_inst[0] = 0xf000 | COPY_BITS(jump->flags, 8, 6, 4) | COPY_BITS(diff, 11, 0, 6) | COPY_BITS(diff, 19, 10, 1);
314     jump_inst[1] = 0x8000 | COPY_BITS(diff, 17, 13, 1) | COPY_BITS(diff, 18, 11, 1) | (diff & 0x7ff);
315     return;
316     case 3:
317 zherczeg 1149 SLJIT_ASSERT(jump->flags & IS_COND);
318 ph10 662 *jump_inst++ = IT | ((jump->flags >> 4) & 0xf0) | 0x8;
319     diff--;
320     type = 5;
321     break;
322     case 4:
323     /* Encoding T2 of 'B' instruction */
324 zherczeg 1149 SLJIT_ASSERT(diff <= 1023 && diff >= -1024 && !(jump->flags & IS_COND));
325 ph10 662 jump_inst[0] = 0xe000 | (diff & 0x7ff);
326     return;
327     }
328    
329     SLJIT_ASSERT(diff <= 8388607 && diff >= -8388608);
330    
331     /* Really complex instruction form for branches. */
332     s = (diff >> 23) & 0x1;
333     j1 = (~(diff >> 21) ^ s) & 0x1;
334     j2 = (~(diff >> 22) ^ s) & 0x1;
335     jump_inst[0] = 0xf000 | (s << 10) | COPY_BITS(diff, 11, 0, 10);
336     jump_inst[1] = (j1 << 13) | (j2 << 11) | (diff & 0x7ff);
337    
338     /* The others have a common form. */
339     if (type == 5) /* Encoding T4 of 'B' instruction */
340     jump_inst[1] |= 0x9000;
341     else if (type == 6) /* Encoding T1 of 'BL' instruction */
342     jump_inst[1] |= 0xd000;
343     else
344     SLJIT_ASSERT_STOP();
345     }
346    
347 zherczeg 740 SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler)
348 ph10 662 {
349     struct sljit_memory_fragment *buf;
350     sljit_uh *code;
351     sljit_uh *code_ptr;
352     sljit_uh *buf_ptr;
353     sljit_uh *buf_end;
354     sljit_uw half_count;
355    
356     struct sljit_label *label;
357     struct sljit_jump *jump;
358     struct sljit_const *const_;
359    
360     CHECK_ERROR_PTR();
361     check_sljit_generate_code(compiler);
362     reverse_buf(compiler);
363    
364     code = (sljit_uh*)SLJIT_MALLOC_EXEC(compiler->size * sizeof(sljit_uh));
365     PTR_FAIL_WITH_EXEC_IF(code);
366     buf = compiler->buf;
367    
368     code_ptr = code;
369     half_count = 0;
370     label = compiler->labels;
371     jump = compiler->jumps;
372     const_ = compiler->consts;
373    
374     do {
375     buf_ptr = (sljit_uh*)buf->memory;
376     buf_end = buf_ptr + (buf->used_size >> 1);
377     do {
378     *code_ptr = *buf_ptr++;
379     /* These structures are ordered by their address. */
380     SLJIT_ASSERT(!label || label->size >= half_count);
381     SLJIT_ASSERT(!jump || jump->addr >= half_count);
382     SLJIT_ASSERT(!const_ || const_->addr >= half_count);
383     if (label && label->size == half_count) {
384     label->addr = ((sljit_uw)code_ptr) | 0x1;
385     label->size = code_ptr - code;
386     label = label->next;
387     }
388     if (jump && jump->addr == half_count) {
389 zherczeg 1149 jump->addr = (sljit_uw)code_ptr - ((jump->flags & IS_COND) ? 10 : 8);
390 ph10 662 code_ptr -= detect_jump_type(jump, code_ptr, code);
391     jump = jump->next;
392     }
393     if (const_ && const_->addr == half_count) {
394     const_->addr = (sljit_uw)code_ptr;
395     const_ = const_->next;
396     }
397     code_ptr ++;
398     half_count ++;
399     } while (buf_ptr < buf_end);
400    
401     buf = buf->next;
402     } while (buf);
403    
404     if (label && label->size == half_count) {
405     label->addr = ((sljit_uw)code_ptr) | 0x1;
406     label->size = code_ptr - code;
407     label = label->next;
408     }
409    
410     SLJIT_ASSERT(!label);
411     SLJIT_ASSERT(!jump);
412     SLJIT_ASSERT(!const_);
413 zherczeg 1195 SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);
414 ph10 662
415     jump = compiler->jumps;
416     while (jump) {
417     set_jump_instruction(jump);
418     jump = jump->next;
419     }
420    
421 zherczeg 1243 compiler->error = SLJIT_ERR_COMPILED;
422     compiler->executable_size = (code_ptr - code) * sizeof(sljit_uh);
423 ph10 662 SLJIT_CACHE_FLUSH(code, code_ptr);
424     /* Set thumb mode flag. */
425     return (void*)((sljit_uw)code | 0x1);
426     }
427    
428     #define INVALID_IMM 0x80000000
429     static sljit_uw get_imm(sljit_uw imm)
430     {
431     /* Thumb immediate form. */
432 zherczeg 1195 sljit_si counter;
433 ph10 662
434     if (imm <= 0xff)
435     return imm;
436    
437     if ((imm & 0xffff) == (imm >> 16)) {
438     /* Some special cases. */
439     if (!(imm & 0xff00))
440     return (1 << 12) | (imm & 0xff);
441     if (!(imm & 0xff))
442     return (2 << 12) | ((imm >> 8) & 0xff);
443     if ((imm & 0xff00) == ((imm & 0xff) << 8))
444     return (3 << 12) | (imm & 0xff);
445     }
446    
447     /* Assembly optimization: count leading zeroes? */
448     counter = 8;
449     if (!(imm & 0xffff0000)) {
450     counter += 16;
451     imm <<= 16;
452     }
453     if (!(imm & 0xff000000)) {
454     counter += 8;
455     imm <<= 8;
456     }
457     if (!(imm & 0xf0000000)) {
458     counter += 4;
459     imm <<= 4;
460     }
461     if (!(imm & 0xc0000000)) {
462     counter += 2;
463     imm <<= 2;
464     }
465     if (!(imm & 0x80000000)) {
466     counter += 1;
467     imm <<= 1;
468     }
469     /* Since imm >= 128, this must be true. */
470     SLJIT_ASSERT(counter <= 31);
471    
472     if (imm & 0x00ffffff)
473     return INVALID_IMM; /* Cannot be encoded. */
474    
475     return ((imm >> 24) & 0x7f) | COPY_BITS(counter, 4, 26, 1) | COPY_BITS(counter, 1, 12, 3) | COPY_BITS(counter, 0, 7, 1);
476     }
477    
478 zherczeg 1195 static sljit_si load_immediate(struct sljit_compiler *compiler, sljit_si dst, sljit_uw imm)
479 ph10 662 {
480     sljit_uw tmp;
481    
482     if (imm >= 0x10000) {
483     tmp = get_imm(imm);
484     if (tmp != INVALID_IMM)
485     return push_inst32(compiler, MOV_WI | RD4(dst) | tmp);
486     tmp = get_imm(~imm);
487     if (tmp != INVALID_IMM)
488     return push_inst32(compiler, MVN_WI | RD4(dst) | tmp);
489     }
490    
491     /* set low 16 bits, set hi 16 bits to 0. */
492     FAIL_IF(push_inst32(compiler, MOVW | RD4(dst) |
493     COPY_BITS(imm, 12, 16, 4) | COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff)));
494    
495     /* set hi 16 bit if needed. */
496     if (imm >= 0x10000)
497     return push_inst32(compiler, MOVT | RD4(dst) |
498     COPY_BITS(imm, 12 + 16, 16, 4) | COPY_BITS(imm, 11 + 16, 26, 1) | COPY_BITS(imm, 8 + 16, 12, 3) | ((imm & 0xff0000) >> 16));
499     return SLJIT_SUCCESS;
500     }
501    
502     #define ARG1_IMM 0x0010000
503     #define ARG2_IMM 0x0020000
504     #define KEEP_FLAGS 0x0040000
505     #define SET_MULOV 0x0080000
506     /* SET_FLAGS must be 0x100000 as it is also the value of S bit (can be used for optimization). */
507     #define SET_FLAGS 0x0100000
508     #define UNUSED_RETURN 0x0200000
509     #define SLOW_DEST 0x0400000
510     #define SLOW_SRC1 0x0800000
511     #define SLOW_SRC2 0x1000000
512    
513 zherczeg 1195 static sljit_si emit_op_imm(struct sljit_compiler *compiler, sljit_si flags, sljit_si dst, sljit_uw arg1, sljit_uw arg2)
514 ph10 662 {
515     /* dst must be register, TMP_REG1
516     arg1 must be register, TMP_REG1, imm
517     arg2 must be register, TMP_REG2, imm */
518 zherczeg 1195 sljit_si reg;
519 zherczeg 955 sljit_uw imm, negated_imm;
520 ph10 662
521     if (SLJIT_UNLIKELY((flags & (ARG1_IMM | ARG2_IMM)) == (ARG1_IMM | ARG2_IMM))) {
522     /* Both are immediates. */
523     flags &= ~ARG1_IMM;
524     FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));
525     arg1 = TMP_REG1;
526     }
527    
528     if (flags & (ARG1_IMM | ARG2_IMM)) {
529     reg = (flags & ARG2_IMM) ? arg1 : arg2;
530     imm = (flags & ARG2_IMM) ? arg2 : arg1;
531    
532     switch (flags & 0xffff) {
533     case SLJIT_MOV:
534     SLJIT_ASSERT(!(flags & SET_FLAGS) && (flags & ARG2_IMM) && arg1 == TMP_REG1);
535     return load_immediate(compiler, dst, imm);
536     case SLJIT_NOT:
537     if (!(flags & SET_FLAGS))
538     return load_immediate(compiler, dst, ~imm);
539     /* Since the flags should be set, we just fallback to the register mode.
540     Although I could do some clever things here, "NOT IMM" does not worth the efforts. */
541     break;
542     case SLJIT_CLZ:
543     /* No form with immediate operand. */
544     break;
545     case SLJIT_ADD:
546 zherczeg 1195 negated_imm = (sljit_uw)-(sljit_sw)imm;
547 ph10 662 if (!(flags & KEEP_FLAGS) && IS_2_LO_REGS(reg, dst)) {
548     if (imm <= 0x7)
549     return push_inst16(compiler, ADDSI3 | IMM3(imm) | RD3(dst) | RN3(reg));
550 zherczeg 955 if (negated_imm <= 0x7)
551     return push_inst16(compiler, SUBSI3 | IMM3(negated_imm) | RD3(dst) | RN3(reg));
552     if (reg == dst) {
553     if (imm <= 0xff)
554     return push_inst16(compiler, ADDSI8 | IMM8(imm) | RDN3(dst));
555     if (negated_imm <= 0xff)
556     return push_inst16(compiler, SUBSI8 | IMM8(negated_imm) | RDN3(dst));
557     }
558 ph10 662 }
559 zherczeg 955 if (!(flags & SET_FLAGS)) {
560     if (imm <= 0xfff)
561     return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(imm));
562     if (negated_imm <= 0xfff)
563     return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(negated_imm));
564     }
565 ph10 662 imm = get_imm(imm);
566     if (imm != INVALID_IMM)
567     return push_inst32(compiler, ADD_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
568     break;
569     case SLJIT_ADDC:
570     imm = get_imm(imm);
571     if (imm != INVALID_IMM)
572     return push_inst32(compiler, ADCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
573     break;
574     case SLJIT_SUB:
575     if (flags & ARG2_IMM) {
576 zherczeg 1195 negated_imm = (sljit_uw)-(sljit_sw)imm;
577 ph10 662 if (!(flags & KEEP_FLAGS) && IS_2_LO_REGS(reg, dst)) {
578     if (imm <= 0x7)
579     return push_inst16(compiler, SUBSI3 | IMM3(imm) | RD3(dst) | RN3(reg));
580 zherczeg 955 if (negated_imm <= 0x7)
581     return push_inst16(compiler, ADDSI3 | IMM3(negated_imm) | RD3(dst) | RN3(reg));
582     if (reg == dst) {
583     if (imm <= 0xff)
584 ph10 662 return push_inst16(compiler, SUBSI8 | IMM8(imm) | RDN3(dst));
585 zherczeg 955 if (negated_imm <= 0xff)
586     return push_inst16(compiler, ADDSI8 | IMM8(negated_imm) | RDN3(dst));
587 ph10 662 }
588 zherczeg 955 if (imm <= 0xff && (flags & UNUSED_RETURN))
589     return push_inst16(compiler, CMPI | IMM8(imm) | RDN3(reg));
590 ph10 662 }
591 zherczeg 955 if (!(flags & SET_FLAGS)) {
592     if (imm <= 0xfff)
593     return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(imm));
594     if (negated_imm <= 0xfff)
595     return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(negated_imm));
596     }
597 ph10 662 imm = get_imm(imm);
598     if (imm != INVALID_IMM)
599     return push_inst32(compiler, SUB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
600     }
601     else {
602     if (!(flags & KEEP_FLAGS) && imm == 0 && IS_2_LO_REGS(reg, dst))
603     return push_inst16(compiler, RSBSI | RD3(dst) | RN3(reg));
604     imm = get_imm(imm);
605     if (imm != INVALID_IMM)
606     return push_inst32(compiler, RSB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
607     }
608     break;
609     case SLJIT_SUBC:
610     if (flags & ARG2_IMM) {
611     imm = get_imm(imm);
612     if (imm != INVALID_IMM)
613     return push_inst32(compiler, SBCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
614     }
615     break;
616     case SLJIT_MUL:
617     /* No form with immediate operand. */
618     break;
619     case SLJIT_AND:
620     imm = get_imm(imm);
621     if (imm != INVALID_IMM)
622     return push_inst32(compiler, ANDI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
623     imm = get_imm(~((flags & ARG2_IMM) ? arg2 : arg1));
624     if (imm != INVALID_IMM)
625     return push_inst32(compiler, BICI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
626     break;
627     case SLJIT_OR:
628     imm = get_imm(imm);
629     if (imm != INVALID_IMM)
630     return push_inst32(compiler, ORRI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
631     imm = get_imm(~((flags & ARG2_IMM) ? arg2 : arg1));
632     if (imm != INVALID_IMM)
633     return push_inst32(compiler, ORNI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
634     break;
635     case SLJIT_XOR:
636     imm = get_imm(imm);
637     if (imm != INVALID_IMM)
638     return push_inst32(compiler, EORI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);
639     break;
640     case SLJIT_SHL:
641     if (flags & ARG2_IMM) {
642     imm &= 0x1f;
643 zherczeg 860 if (imm == 0) {
644     if (!(flags & SET_FLAGS))
645     return push_inst16(compiler, MOV | SET_REGS44(dst, reg));
646     if (IS_2_LO_REGS(dst, reg))
647     return push_inst16(compiler, MOVS | RD3(dst) | RN3(reg));
648     return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(dst) | RM4(reg));
649     }
650 ph10 662 if (!(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, reg))
651     return push_inst16(compiler, LSLSI | RD3(dst) | RN3(reg) | (imm << 6));
652     return push_inst32(compiler, LSL_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));
653     }
654     break;
655     case SLJIT_LSHR:
656     if (flags & ARG2_IMM) {
657     imm &= 0x1f;
658 zherczeg 860 if (imm == 0) {
659     if (!(flags & SET_FLAGS))
660     return push_inst16(compiler, MOV | SET_REGS44(dst, reg));
661     if (IS_2_LO_REGS(dst, reg))
662     return push_inst16(compiler, MOVS | RD3(dst) | RN3(reg));
663     return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(dst) | RM4(reg));
664     }
665 ph10 662 if (!(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, reg))
666     return push_inst16(compiler, LSRSI | RD3(dst) | RN3(reg) | (imm << 6));
667     return push_inst32(compiler, LSR_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));
668     }
669     break;
670     case SLJIT_ASHR:
671     if (flags & ARG2_IMM) {
672     imm &= 0x1f;
673 zherczeg 860 if (imm == 0) {
674     if (!(flags & SET_FLAGS))
675     return push_inst16(compiler, MOV | SET_REGS44(dst, reg));
676     if (IS_2_LO_REGS(dst, reg))
677     return push_inst16(compiler, MOVS | RD3(dst) | RN3(reg));
678     return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(dst) | RM4(reg));
679     }
680 ph10 662 if (!(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, reg))
681     return push_inst16(compiler, ASRSI | RD3(dst) | RN3(reg) | (imm << 6));
682     return push_inst32(compiler, ASR_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));
683     }
684     break;
685     default:
686     SLJIT_ASSERT_STOP();
687     break;
688     }
689    
690     if (flags & ARG2_IMM) {
691     FAIL_IF(load_immediate(compiler, TMP_REG2, arg2));
692     arg2 = TMP_REG2;
693     }
694     else {
695     FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));
696     arg1 = TMP_REG1;
697     }
698     }
699    
700     /* Both arguments are registers. */
701     switch (flags & 0xffff) {
702     case SLJIT_MOV:
703     case SLJIT_MOV_UI:
704     case SLJIT_MOV_SI:
705 zherczeg 1182 case SLJIT_MOV_P:
706 ph10 662 case SLJIT_MOVU:
707     case SLJIT_MOVU_UI:
708     case SLJIT_MOVU_SI:
709 zherczeg 1182 case SLJIT_MOVU_P:
710 ph10 662 SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
711     return push_inst16(compiler, MOV | SET_REGS44(dst, arg2));
712     case SLJIT_MOV_UB:
713     case SLJIT_MOVU_UB:
714     SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
715     if (IS_2_LO_REGS(dst, arg2))
716     return push_inst16(compiler, UXTB | RD3(dst) | RN3(arg2));
717     return push_inst32(compiler, UXTB_W | RD4(dst) | RM4(arg2));
718     case SLJIT_MOV_SB:
719     case SLJIT_MOVU_SB:
720     SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
721     if (IS_2_LO_REGS(dst, arg2))
722     return push_inst16(compiler, SXTB | RD3(dst) | RN3(arg2));
723     return push_inst32(compiler, SXTB_W | RD4(dst) | RM4(arg2));
724     case SLJIT_MOV_UH:
725     case SLJIT_MOVU_UH:
726     SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
727     if (IS_2_LO_REGS(dst, arg2))
728     return push_inst16(compiler, UXTH | RD3(dst) | RN3(arg2));
729     return push_inst32(compiler, UXTH_W | RD4(dst) | RM4(arg2));
730     case SLJIT_MOV_SH:
731     case SLJIT_MOVU_SH:
732     SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
733     if (IS_2_LO_REGS(dst, arg2))
734     return push_inst16(compiler, SXTH | RD3(dst) | RN3(arg2));
735     return push_inst32(compiler, SXTH_W | RD4(dst) | RM4(arg2));
736     case SLJIT_NOT:
737     SLJIT_ASSERT(arg1 == TMP_REG1);
738     if (!(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
739     return push_inst16(compiler, MVNS | RD3(dst) | RN3(arg2));
740     return push_inst32(compiler, MVN_W | (flags & SET_FLAGS) | RD4(dst) | RM4(arg2));
741     case SLJIT_CLZ:
742     SLJIT_ASSERT(arg1 == TMP_REG1);
743     FAIL_IF(push_inst32(compiler, CLZ | RN4(arg2) | RD4(dst) | RM4(arg2)));
744     if (flags & SET_FLAGS) {
745     if (reg_map[dst] <= 7)
746     return push_inst16(compiler, CMPI | RDN3(dst));
747     return push_inst32(compiler, ADD_WI | SET_FLAGS | RN4(dst) | RD4(dst));
748     }
749     return SLJIT_SUCCESS;
750     case SLJIT_ADD:
751     if (!(flags & KEEP_FLAGS) && IS_3_LO_REGS(dst, arg1, arg2))
752     return push_inst16(compiler, ADDS | RD3(dst) | RN3(arg1) | RM3(arg2));
753     if (dst == arg1 && !(flags & SET_FLAGS))
754     return push_inst16(compiler, ADD | SET_REGS44(dst, arg2));
755     return push_inst32(compiler, ADD_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
756     case SLJIT_ADDC:
757     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
758     return push_inst16(compiler, ADCS | RD3(dst) | RN3(arg2));
759     return push_inst32(compiler, ADC_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
760     case SLJIT_SUB:
761     if (!(flags & KEEP_FLAGS) && IS_3_LO_REGS(dst, arg1, arg2))
762     return push_inst16(compiler, SUBS | RD3(dst) | RN3(arg1) | RM3(arg2));
763     return push_inst32(compiler, SUB_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
764     case SLJIT_SUBC:
765     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
766     return push_inst16(compiler, SBCS | RD3(dst) | RN3(arg2));
767     return push_inst32(compiler, SBC_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
768     case SLJIT_MUL:
769     if (!(flags & SET_FLAGS))
770     return push_inst32(compiler, MUL | RD4(dst) | RN4(arg1) | RM4(arg2));
771     SLJIT_ASSERT(reg_map[TMP_REG2] <= 7 && dst != TMP_REG2);
772     FAIL_IF(push_inst32(compiler, SMULL | RT4(dst) | RD4(TMP_REG2) | RN4(arg1) | RM4(arg2)));
773     /* cmp TMP_REG2, dst asr #31. */
774     return push_inst32(compiler, CMP_W | RN4(TMP_REG2) | 0x70e0 | RM4(dst));
775     case SLJIT_AND:
776     if (!(flags & KEEP_FLAGS)) {
777     if (dst == arg1 && IS_2_LO_REGS(dst, arg2))
778     return push_inst16(compiler, ANDS | RD3(dst) | RN3(arg2));
779     if ((flags & UNUSED_RETURN) && IS_2_LO_REGS(arg1, arg2))
780     return push_inst16(compiler, TST | RD3(arg1) | RN3(arg2));
781     }
782     return push_inst32(compiler, AND_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
783     case SLJIT_OR:
784     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
785     return push_inst16(compiler, ORRS | RD3(dst) | RN3(arg2));
786     return push_inst32(compiler, ORR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
787     case SLJIT_XOR:
788     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
789     return push_inst16(compiler, EORS | RD3(dst) | RN3(arg2));
790     return push_inst32(compiler, EOR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
791     case SLJIT_SHL:
792     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
793     return push_inst16(compiler, LSLS | RD3(dst) | RN3(arg2));
794     return push_inst32(compiler, LSL_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
795     case SLJIT_LSHR:
796     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
797     return push_inst16(compiler, LSRS | RD3(dst) | RN3(arg2));
798     return push_inst32(compiler, LSR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
799     case SLJIT_ASHR:
800     if (dst == arg1 && !(flags & KEEP_FLAGS) && IS_2_LO_REGS(dst, arg2))
801     return push_inst16(compiler, ASRS | RD3(dst) | RN3(arg2));
802     return push_inst32(compiler, ASR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));
803     }
804    
805     SLJIT_ASSERT_STOP();
806     return SLJIT_SUCCESS;
807     }
808    
809     #define STORE 0x01
810     #define SIGNED 0x02
811    
812     #define WORD_SIZE 0x00
813     #define BYTE_SIZE 0x04
814     #define HALF_SIZE 0x08
815    
816     #define UPDATE 0x10
817     #define ARG_TEST 0x20
818    
819     #define IS_WORD_SIZE(flags) (!(flags & (BYTE_SIZE | HALF_SIZE)))
820     #define OFFSET_CHECK(imm, shift) (!(argw & ~(imm << shift)))
821    
822     /*
823     1st letter:
824     w = word
825     b = byte
826     h = half
827    
828     2nd letter:
829     s = signed
830     u = unsigned
831    
832     3rd letter:
833     l = load
834     s = store
835     */
836    
837     static SLJIT_CONST sljit_uw sljit_mem16[12] = {
838     /* w u l */ 0x5800 /* ldr */,
839     /* w u s */ 0x5000 /* str */,
840     /* w s l */ 0x5800 /* ldr */,
841     /* w s s */ 0x5000 /* str */,
842    
843     /* b u l */ 0x5c00 /* ldrb */,
844     /* b u s */ 0x5400 /* strb */,
845     /* b s l */ 0x5600 /* ldrsb */,
846     /* b s s */ 0x5400 /* strb */,
847    
848     /* h u l */ 0x5a00 /* ldrh */,
849     /* h u s */ 0x5200 /* strh */,
850     /* h s l */ 0x5e00 /* ldrsh */,
851     /* h s s */ 0x5200 /* strh */,
852     };
853    
854     static SLJIT_CONST sljit_uw sljit_mem16_imm5[12] = {
855     /* w u l */ 0x6800 /* ldr imm5 */,
856     /* w u s */ 0x6000 /* str imm5 */,
857     /* w s l */ 0x6800 /* ldr imm5 */,
858     /* w s s */ 0x6000 /* str imm5 */,
859    
860     /* b u l */ 0x7800 /* ldrb imm5 */,
861     /* b u s */ 0x7000 /* strb imm5 */,
862     /* b s l */ 0x0000 /* not allowed */,
863     /* b s s */ 0x7000 /* strb imm5 */,
864    
865     /* h u l */ 0x8800 /* ldrh imm5 */,
866     /* h u s */ 0x8000 /* strh imm5 */,
867     /* h s l */ 0x0000 /* not allowed */,
868     /* h s s */ 0x8000 /* strh imm5 */,
869     };
870    
871     #define MEM_IMM8 0xc00
872     #define MEM_IMM12 0x800000
873     static SLJIT_CONST sljit_uw sljit_mem32[12] = {
874     /* w u l */ 0xf8500000 /* ldr.w */,
875     /* w u s */ 0xf8400000 /* str.w */,
876     /* w s l */ 0xf8500000 /* ldr.w */,
877     /* w s s */ 0xf8400000 /* str.w */,
878    
879     /* b u l */ 0xf8100000 /* ldrb.w */,
880     /* b u s */ 0xf8000000 /* strb.w */,
881     /* b s l */ 0xf9100000 /* ldrsb.w */,
882     /* b s s */ 0xf8000000 /* strb.w */,
883    
884     /* h u l */ 0xf8300000 /* ldrh.w */,
885     /* h u s */ 0xf8200000 /* strsh.w */,
886     /* h s l */ 0xf9300000 /* ldrsh.w */,
887     /* h s s */ 0xf8200000 /* strsh.w */,
888     };
889    
890     /* Helper function. Dst should be reg + value, using at most 1 instruction, flags does not set. */
891 zherczeg 1195 static sljit_si emit_set_delta(struct sljit_compiler *compiler, sljit_si dst, sljit_si reg, sljit_sw value)
892 ph10 662 {
893     if (value >= 0) {
894     if (value <= 0xfff)
895     return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(value));
896     value = get_imm(value);
897     if (value != INVALID_IMM)
898     return push_inst32(compiler, ADD_WI | RD4(dst) | RN4(reg) | value);
899     }
900     else {
901     value = -value;
902     if (value <= 0xfff)
903     return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(value));
904     value = get_imm(value);
905     if (value != INVALID_IMM)
906     return push_inst32(compiler, SUB_WI | RD4(dst) | RN4(reg) | value);
907     }
908     return SLJIT_ERR_UNSUPPORTED;
909     }
910    
911     /* Can perform an operation using at most 1 instruction. */
912 zherczeg 1195 static sljit_si getput_arg_fast(struct sljit_compiler *compiler, sljit_si flags, sljit_si reg, sljit_si arg, sljit_sw argw)
913 ph10 662 {
914 zherczeg 1195 sljit_si tmp;
915 ph10 662
916     SLJIT_ASSERT(arg & SLJIT_MEM);
917    
918     if (SLJIT_UNLIKELY(flags & UPDATE)) {
919     if ((arg & 0xf) && !(arg & 0xf0) && argw <= 0xff && argw >= -0xff) {
920     flags &= ~UPDATE;
921     arg &= 0xf;
922     if (SLJIT_UNLIKELY(flags & ARG_TEST))
923     return 1;
924    
925     if (argw >= 0)
926     argw |= 0x200;
927     else {
928     argw = -argw;
929     }
930     SLJIT_ASSERT(argw >= 0 && (argw & 0xff) <= 0xff);
931     FAIL_IF(push_inst32(compiler, sljit_mem32[flags] | MEM_IMM8 | RT4(reg) | RN4(arg) | 0x100 | argw));
932     return -1;
933     }
934     return (flags & ARG_TEST) ? SLJIT_SUCCESS : 0;
935     }
936    
937     if (SLJIT_UNLIKELY(arg & 0xf0)) {
938     argw &= 0x3;
939     tmp = (arg >> 4) & 0xf;
940     arg &= 0xf;
941     if (SLJIT_UNLIKELY(flags & ARG_TEST))
942     return 1;
943    
944     if (!argw && IS_3_LO_REGS(reg, arg, tmp))
945     FAIL_IF(push_inst16(compiler, sljit_mem16[flags] | RD3(reg) | RN3(arg) | RM3(tmp)));
946     else
947     FAIL_IF(push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(tmp) | (argw << 4)));
948     return -1;
949     }
950    
951     if (!(arg & 0xf) || argw > 0xfff || argw < -0xff)
952     return (flags & ARG_TEST) ? SLJIT_SUCCESS : 0;
953    
954     if (SLJIT_UNLIKELY(flags & ARG_TEST))
955     return 1;
956    
957     arg &= 0xf;
958     if (IS_2_LO_REGS(reg, arg) && sljit_mem16_imm5[flags]) {
959     tmp = 3;
960     if (IS_WORD_SIZE(flags)) {
961     if (OFFSET_CHECK(0x1f, 2))
962     tmp = 2;
963     }
964     else if (flags & BYTE_SIZE)
965     {
966     if (OFFSET_CHECK(0x1f, 0))
967     tmp = 0;
968     }
969     else {
970     SLJIT_ASSERT(flags & HALF_SIZE);
971     if (OFFSET_CHECK(0x1f, 1))
972     tmp = 1;
973     }
974    
975     if (tmp != 3) {
976     FAIL_IF(push_inst16(compiler, sljit_mem16_imm5[flags] | RD3(reg) | RN3(arg) | (argw << (6 - tmp))));
977     return -1;
978     }
979     }
980    
981     /* SP based immediate. */
982     if (SLJIT_UNLIKELY(arg == SLJIT_LOCALS_REG) && OFFSET_CHECK(0xff, 2) && IS_WORD_SIZE(flags) && reg_map[reg] <= 7) {
983     FAIL_IF(push_inst16(compiler, STR_SP | ((flags & STORE) ? 0 : 0x800) | RDN3(reg) | (argw >> 2)));
984     return -1;
985     }
986    
987     if (argw >= 0)
988     FAIL_IF(push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(arg) | argw));
989     else
990     FAIL_IF(push_inst32(compiler, sljit_mem32[flags] | MEM_IMM8 | RT4(reg) | RN4(arg) | -argw));
991     return -1;
992     }
993    
994     /* see getput_arg below.
995     Note: can_cache is called only for binary operators. Those
996     operators always uses word arguments without write back. */
997 zherczeg 1195 static sljit_si can_cache(sljit_si arg, sljit_sw argw, sljit_si next_arg, sljit_sw next_argw)
998 ph10 662 {
999     /* Simple operation except for updates. */
1000     if ((arg & 0xf0) || !(next_arg & SLJIT_MEM))
1001     return 0;
1002    
1003     if (!(arg & 0xf)) {
1004     if ((sljit_uw)(argw - next_argw) <= 0xfff || (sljit_uw)(next_argw - argw) <= 0xfff)
1005     return 1;
1006     return 0;
1007     }
1008    
1009     if (argw == next_argw)
1010     return 1;
1011    
1012     if (arg == next_arg && ((sljit_uw)(argw - next_argw) <= 0xfff || (sljit_uw)(next_argw - argw) <= 0xfff))
1013     return 1;
1014    
1015     return 0;
1016     }
1017    
1018     /* Emit the necessary instructions. See can_cache above. */
1019 zherczeg 1195 static sljit_si getput_arg(struct sljit_compiler *compiler, sljit_si flags, sljit_si reg, sljit_si arg, sljit_sw argw, sljit_si next_arg, sljit_sw next_argw)
1020 ph10 662 {
1021 zherczeg 1195 sljit_si tmp_r;
1022     sljit_sw tmp;
1023 ph10 662
1024     SLJIT_ASSERT(arg & SLJIT_MEM);
1025     if (!(next_arg & SLJIT_MEM)) {
1026     next_arg = 0;
1027     next_argw = 0;
1028     }
1029    
1030     tmp_r = (flags & STORE) ? TMP_REG3 : reg;
1031    
1032     if (SLJIT_UNLIKELY(flags & UPDATE)) {
1033     flags &= ~UPDATE;
1034     /* Update only applies if a base register exists. */
1035     if (arg & 0xf) {
1036     /* There is no caching here. */
1037     tmp = (arg & 0xf0) >> 4;
1038     arg &= 0xf;
1039    
1040     if (!tmp) {
1041     if (!(argw & ~0xfff)) {
1042     FAIL_IF(push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(arg) | argw));
1043     return push_inst32(compiler, ADDWI | RD4(arg) | RN4(arg) | IMM12(argw));
1044     }
1045    
1046     if (compiler->cache_arg == SLJIT_MEM) {
1047     if (argw == compiler->cache_argw) {
1048     tmp = TMP_REG3;
1049     argw = 0;
1050     }
1051     else if (emit_set_delta(compiler, TMP_REG3, TMP_REG3, argw - compiler->cache_argw) != SLJIT_ERR_UNSUPPORTED) {
1052     FAIL_IF(compiler->error);
1053     compiler->cache_argw = argw;
1054     tmp = TMP_REG3;
1055     argw = 0;
1056     }
1057     }
1058    
1059     if (argw) {
1060     FAIL_IF(load_immediate(compiler, TMP_REG3, argw));
1061     compiler->cache_arg = SLJIT_MEM;
1062     compiler->cache_argw = argw;
1063     tmp = TMP_REG3;
1064     argw = 0;
1065     }
1066     }
1067    
1068     argw &= 0x3;
1069     if (!argw && IS_3_LO_REGS(reg, arg, tmp)) {
1070     FAIL_IF(push_inst16(compiler, sljit_mem16[flags] | RD3(reg) | RN3(arg) | RM3(tmp)));
1071     return push_inst16(compiler, ADD | SET_REGS44(arg, tmp));
1072     }
1073     FAIL_IF(push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(tmp) | (argw << 4)));
1074     return push_inst32(compiler, ADD_W | RD4(arg) | RN4(arg) | RM4(tmp) | (argw << 6));
1075     }
1076     }
1077    
1078     SLJIT_ASSERT(!(arg & 0xf0));
1079    
1080     if (compiler->cache_arg == arg) {
1081     if (!((argw - compiler->cache_argw) & ~0xfff))
1082     return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(TMP_REG3) | (argw - compiler->cache_argw));
1083     if (!((compiler->cache_argw - argw) & ~0xff))
1084     return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM8 | RT4(reg) | RN4(TMP_REG3) | (compiler->cache_argw - argw));
1085     if (emit_set_delta(compiler, TMP_REG3, TMP_REG3, argw - compiler->cache_argw) != SLJIT_ERR_UNSUPPORTED) {
1086     FAIL_IF(compiler->error);
1087     return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(TMP_REG3) | 0);
1088     }
1089     }
1090    
1091     next_arg = (arg & 0xf) && (arg == next_arg);
1092     arg &= 0xf;
1093     if (arg && compiler->cache_arg == SLJIT_MEM && compiler->cache_argw == argw)
1094     return push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(TMP_REG3));
1095    
1096     compiler->cache_argw = argw;
1097     if (next_arg && emit_set_delta(compiler, TMP_REG3, arg, argw) != SLJIT_ERR_UNSUPPORTED) {
1098     FAIL_IF(compiler->error);
1099     compiler->cache_arg = SLJIT_MEM | arg;
1100     arg = 0;
1101     }
1102     else {
1103     FAIL_IF(load_immediate(compiler, TMP_REG3, argw));
1104     compiler->cache_arg = SLJIT_MEM;
1105    
1106     if (next_arg) {
1107     FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG3, arg)));
1108     compiler->cache_arg = SLJIT_MEM | arg;
1109     arg = 0;
1110     }
1111     }
1112    
1113     if (arg)
1114     return push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(TMP_REG3));
1115     return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(TMP_REG3) | 0);
1116     }
1117    
1118 zherczeg 1195 static SLJIT_INLINE sljit_si emit_op_mem(struct sljit_compiler *compiler, sljit_si flags, sljit_si reg, sljit_si arg, sljit_sw argw)
1119 ph10 662 {
1120     if (getput_arg_fast(compiler, flags, reg, arg, argw))
1121     return compiler->error;
1122     compiler->cache_arg = 0;
1123     compiler->cache_argw = 0;
1124     return getput_arg(compiler, flags, reg, arg, argw, 0, 0);
1125     }
1126    
1127 zherczeg 1215 static SLJIT_INLINE sljit_si emit_op_mem2(struct sljit_compiler *compiler, sljit_si flags, sljit_si reg, sljit_si arg1, sljit_sw arg1w, sljit_si arg2, sljit_sw arg2w)
1128     {
1129     if (getput_arg_fast(compiler, flags, reg, arg1, arg1w))
1130     return compiler->error;
1131     return getput_arg(compiler, flags, reg, arg1, arg1w, arg2, arg2w);
1132     }
1133    
1134 zherczeg 1149 /* --------------------------------------------------------------------- */
1135     /* Entry, exit */
1136     /* --------------------------------------------------------------------- */
1137    
1138 zherczeg 1215 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_enter(struct sljit_compiler *compiler, sljit_si args, sljit_si scratches, sljit_si saveds, sljit_si local_size)
1139 ph10 662 {
1140 zherczeg 1195 sljit_si size;
1141 ph10 662 sljit_ins push;
1142    
1143     CHECK_ERROR();
1144 zherczeg 1215 check_sljit_emit_enter(compiler, args, scratches, saveds, local_size);
1145 ph10 662
1146 zherczeg 1215 compiler->scratches = scratches;
1147 zherczeg 880 compiler->saveds = saveds;
1148 zherczeg 955 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
1149     compiler->logical_local_size = local_size;
1150     #endif
1151 ph10 662
1152     push = (1 << 4);
1153 zherczeg 880 if (saveds >= 5)
1154 ph10 662 push |= 1 << 11;
1155 zherczeg 880 if (saveds >= 4)
1156 ph10 662 push |= 1 << 10;
1157 zherczeg 880 if (saveds >= 3)
1158 ph10 662 push |= 1 << 8;
1159 zherczeg 880 if (saveds >= 2)
1160 ph10 662 push |= 1 << 7;
1161 zherczeg 880 if (saveds >= 1)
1162 ph10 662 push |= 1 << 6;
1163 zherczeg 1215 if (scratches >= 5)
1164 ph10 662 push |= 1 << 5;
1165 zherczeg 880 FAIL_IF(saveds >= 3
1166 ph10 662 ? push_inst32(compiler, PUSH_W | (1 << 14) | push)
1167     : push_inst16(compiler, PUSH | push));
1168    
1169     /* Stack must be aligned to 8 bytes: */
1170 zherczeg 880 size = (3 + saveds) * sizeof(sljit_uw);
1171 ph10 662 local_size += size;
1172     local_size = (local_size + 7) & ~7;
1173     local_size -= size;
1174     compiler->local_size = local_size;
1175     if (local_size > 0) {
1176     if (local_size <= (127 << 2))
1177     FAIL_IF(push_inst16(compiler, SUB_SP | (local_size >> 2)));
1178     else
1179     FAIL_IF(emit_op_imm(compiler, SLJIT_SUB | ARG2_IMM, SLJIT_LOCALS_REG, SLJIT_LOCALS_REG, local_size));
1180     }
1181    
1182     if (args >= 1)
1183 zherczeg 1215 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_SAVED_REG1, SLJIT_SCRATCH_REG1)));
1184 ph10 662 if (args >= 2)
1185 zherczeg 1215 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_SAVED_REG2, SLJIT_SCRATCH_REG2)));
1186 ph10 662 if (args >= 3)
1187 zherczeg 1215 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_SAVED_REG3, SLJIT_SCRATCH_REG3)));
1188 ph10 662
1189     return SLJIT_SUCCESS;
1190     }
1191    
1192 zherczeg 1215 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_context(struct sljit_compiler *compiler, sljit_si args, sljit_si scratches, sljit_si saveds, sljit_si local_size)
1193 ph10 662 {
1194 zherczeg 1195 sljit_si size;
1195 ph10 662
1196     CHECK_ERROR_VOID();
1197 zherczeg 1215 check_sljit_set_context(compiler, args, scratches, saveds, local_size);
1198 ph10 662
1199 zherczeg 1215 compiler->scratches = scratches;
1200 zherczeg 880 compiler->saveds = saveds;
1201 zherczeg 955 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
1202     compiler->logical_local_size = local_size;
1203     #endif
1204 ph10 662
1205 zherczeg 880 size = (3 + saveds) * sizeof(sljit_uw);
1206 ph10 662 local_size += size;
1207     local_size = (local_size + 7) & ~7;
1208     local_size -= size;
1209     compiler->local_size = local_size;
1210     }
1211    
1212 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_return(struct sljit_compiler *compiler, sljit_si op, sljit_si src, sljit_sw srcw)
1213 ph10 662 {
1214     sljit_ins pop;
1215    
1216     CHECK_ERROR();
1217 zherczeg 875 check_sljit_emit_return(compiler, op, src, srcw);
1218 ph10 662
1219 zherczeg 875 FAIL_IF(emit_mov_before_return(compiler, op, src, srcw));
1220 ph10 662
1221     if (compiler->local_size > 0) {
1222     if (compiler->local_size <= (127 << 2))
1223     FAIL_IF(push_inst16(compiler, ADD_SP | (compiler->local_size >> 2)));
1224     else
1225     FAIL_IF(emit_op_imm(compiler, SLJIT_ADD | ARG2_IMM, SLJIT_LOCALS_REG, SLJIT_LOCALS_REG, compiler->local_size));
1226     }
1227    
1228     pop = (1 << 4);
1229 zherczeg 880 if (compiler->saveds >= 5)
1230 ph10 662 pop |= 1 << 11;
1231 zherczeg 880 if (compiler->saveds >= 4)
1232 ph10 662 pop |= 1 << 10;
1233 zherczeg 880 if (compiler->saveds >= 3)
1234 ph10 662 pop |= 1 << 8;
1235 zherczeg 880 if (compiler->saveds >= 2)
1236 ph10 662 pop |= 1 << 7;
1237 zherczeg 880 if (compiler->saveds >= 1)
1238 ph10 662 pop |= 1 << 6;
1239 zherczeg 1215 if (compiler->scratches >= 5)
1240 ph10 662 pop |= 1 << 5;
1241 zherczeg 880 return compiler->saveds >= 3
1242 ph10 662 ? push_inst32(compiler, POP_W | (1 << 15) | pop)
1243     : push_inst16(compiler, POP | pop);
1244     }
1245    
1246     /* --------------------------------------------------------------------- */
1247     /* Operators */
1248     /* --------------------------------------------------------------------- */
1249    
1250 zherczeg 847 #ifdef __cplusplus
1251     extern "C" {
1252     #endif
1253    
1254     #if defined(__GNUC__)
1255 zherczeg 1195 extern unsigned int __aeabi_uidivmod(unsigned int numerator, int unsigned denominator);
1256     extern int __aeabi_idivmod(int numerator, int denominator);
1257 zherczeg 847 #else
1258     #error "Software divmod functions are needed"
1259     #endif
1260    
1261     #ifdef __cplusplus
1262     }
1263     #endif
1264    
1265 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_op0(struct sljit_compiler *compiler, sljit_si op)
1266 ph10 662 {
1267     CHECK_ERROR();
1268     check_sljit_emit_op0(compiler, op);
1269    
1270     op = GET_OPCODE(op);
1271     switch (op) {
1272     case SLJIT_BREAKPOINT:
1273     push_inst16(compiler, BKPT);
1274     break;
1275     case SLJIT_NOP:
1276     push_inst16(compiler, NOP);
1277     break;
1278 zherczeg 847 case SLJIT_UMUL:
1279     case SLJIT_SMUL:
1280     return push_inst32(compiler, (op == SLJIT_UMUL ? UMULL : SMULL)
1281 zherczeg 1215 | (reg_map[SLJIT_SCRATCH_REG2] << 8)
1282     | (reg_map[SLJIT_SCRATCH_REG1] << 12)
1283     | (reg_map[SLJIT_SCRATCH_REG1] << 16)
1284     | reg_map[SLJIT_SCRATCH_REG2]);
1285 zherczeg 847 case SLJIT_UDIV:
1286     case SLJIT_SDIV:
1287 zherczeg 1215 if (compiler->scratches >= 4) {
1288 zherczeg 850 FAIL_IF(push_inst32(compiler, 0xf84d2d04 /* str r2, [sp, #-4]! */));
1289     FAIL_IF(push_inst32(compiler, 0xf84dcd04 /* str ip, [sp, #-4]! */));
1290 zherczeg 1215 } else if (compiler->scratches >= 3)
1291 zherczeg 850 FAIL_IF(push_inst32(compiler, 0xf84d2d08 /* str r2, [sp, #-8]! */));
1292 zherczeg 847 #if defined(__GNUC__)
1293     FAIL_IF(sljit_emit_ijump(compiler, SLJIT_FAST_CALL, SLJIT_IMM,
1294     (op == SLJIT_UDIV ? SLJIT_FUNC_OFFSET(__aeabi_uidivmod) : SLJIT_FUNC_OFFSET(__aeabi_idivmod))));
1295     #else
1296     #error "Software divmod functions are needed"
1297     #endif
1298 zherczeg 1215 if (compiler->scratches >= 4) {
1299 zherczeg 850 FAIL_IF(push_inst32(compiler, 0xf85dcb04 /* ldr ip, [sp], #4 */));
1300     return push_inst32(compiler, 0xf85d2b04 /* ldr r2, [sp], #4 */);
1301 zherczeg 1215 } else if (compiler->scratches >= 3)
1302 zherczeg 850 return push_inst32(compiler, 0xf85d2b08 /* ldr r2, [sp], #8 */);
1303     return SLJIT_SUCCESS;
1304 ph10 662 }
1305    
1306     return SLJIT_SUCCESS;
1307     }
1308    
1309 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_op1(struct sljit_compiler *compiler, sljit_si op,
1310     sljit_si dst, sljit_sw dstw,
1311     sljit_si src, sljit_sw srcw)
1312 ph10 662 {
1313 zherczeg 1195 sljit_si dst_r, flags;
1314     sljit_si op_flags = GET_ALL_FLAGS(op);
1315 ph10 662
1316     CHECK_ERROR();
1317     check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw);
1318 zherczeg 955 ADJUST_LOCAL_OFFSET(dst, dstw);
1319     ADJUST_LOCAL_OFFSET(src, srcw);
1320 ph10 662
1321     compiler->cache_arg = 0;
1322     compiler->cache_argw = 0;
1323    
1324 zherczeg 1215 dst_r = (dst >= SLJIT_SCRATCH_REG1 && dst <= TMP_REG3) ? dst : TMP_REG1;
1325 ph10 662
1326 zherczeg 1195 op = GET_OPCODE(op);
1327     if (op >= SLJIT_MOV && op <= SLJIT_MOVU_P) {
1328     switch (op) {
1329 ph10 662 case SLJIT_MOV:
1330     case SLJIT_MOV_UI:
1331     case SLJIT_MOV_SI:
1332 zherczeg 1182 case SLJIT_MOV_P:
1333 ph10 662 flags = WORD_SIZE;
1334     break;
1335     case SLJIT_MOV_UB:
1336     flags = BYTE_SIZE;
1337     if (src & SLJIT_IMM)
1338 zherczeg 1182 srcw = (sljit_ub)srcw;
1339 ph10 662 break;
1340     case SLJIT_MOV_SB:
1341     flags = BYTE_SIZE | SIGNED;
1342     if (src & SLJIT_IMM)
1343 zherczeg 1195 srcw = (sljit_sb)srcw;
1344 ph10 662 break;
1345     case SLJIT_MOV_UH:
1346     flags = HALF_SIZE;
1347     if (src & SLJIT_IMM)
1348 zherczeg 1182 srcw = (sljit_uh)srcw;
1349 ph10 662 break;
1350     case SLJIT_MOV_SH:
1351     flags = HALF_SIZE | SIGNED;
1352     if (src & SLJIT_IMM)
1353 zherczeg 1195 srcw = (sljit_sh)srcw;
1354 ph10 662 break;
1355     case SLJIT_MOVU:
1356     case SLJIT_MOVU_UI:
1357     case SLJIT_MOVU_SI:
1358 zherczeg 1182 case SLJIT_MOVU_P:
1359 ph10 662 flags = WORD_SIZE | UPDATE;
1360     break;
1361     case SLJIT_MOVU_UB:
1362     flags = BYTE_SIZE | UPDATE;
1363     if (src & SLJIT_IMM)
1364 zherczeg 1182 srcw = (sljit_ub)srcw;
1365 ph10 662 break;
1366     case SLJIT_MOVU_SB:
1367     flags = BYTE_SIZE | SIGNED | UPDATE;
1368     if (src & SLJIT_IMM)
1369 zherczeg 1195 srcw = (sljit_sb)srcw;
1370 ph10 662 break;
1371     case SLJIT_MOVU_UH:
1372     flags = HALF_SIZE | UPDATE;
1373     if (src & SLJIT_IMM)
1374 zherczeg 1182 srcw = (sljit_uh)srcw;
1375 ph10 662 break;
1376     case SLJIT_MOVU_SH:
1377     flags = HALF_SIZE | SIGNED | UPDATE;
1378     if (src & SLJIT_IMM)
1379 zherczeg 1195 srcw = (sljit_sh)srcw;
1380 ph10 662 break;
1381     default:
1382     SLJIT_ASSERT_STOP();
1383     flags = 0;
1384     break;
1385     }
1386    
1387     if (src & SLJIT_IMM)
1388     FAIL_IF(emit_op_imm(compiler, SLJIT_MOV | ARG2_IMM, dst_r, TMP_REG1, srcw));
1389     else if (src & SLJIT_MEM) {
1390     if (getput_arg_fast(compiler, flags, dst_r, src, srcw))
1391     FAIL_IF(compiler->error);
1392     else
1393     FAIL_IF(getput_arg(compiler, flags, dst_r, src, srcw, dst, dstw));
1394     } else {
1395     if (dst_r != TMP_REG1)
1396 zherczeg 1195 return emit_op_imm(compiler, op, dst_r, TMP_REG1, src);
1397 ph10 662 dst_r = src;
1398     }
1399    
1400     if (dst & SLJIT_MEM) {
1401     if (getput_arg_fast(compiler, flags | STORE, dst_r, dst, dstw))
1402     return compiler->error;
1403     else
1404     return getput_arg(compiler, flags | STORE, dst_r, dst, dstw, 0, 0);
1405     }
1406     return SLJIT_SUCCESS;
1407     }
1408    
1409 zherczeg 1195 if (op == SLJIT_NEG) {
1410 ph10 662 #if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) || (defined SLJIT_DEBUG && SLJIT_DEBUG)
1411     compiler->skip_checks = 1;
1412     #endif
1413 zherczeg 1195 return sljit_emit_op2(compiler, SLJIT_SUB | op_flags, dst, dstw, SLJIT_IMM, 0, src, srcw);
1414 ph10 662 }
1415    
1416 zherczeg 1195 flags = (GET_FLAGS(op_flags) ? SET_FLAGS : 0) | ((op_flags & SLJIT_KEEP_FLAGS) ? KEEP_FLAGS : 0);
1417 ph10 662 if (src & SLJIT_MEM) {
1418     if (getput_arg_fast(compiler, WORD_SIZE, TMP_REG2, src, srcw))
1419     FAIL_IF(compiler->error);
1420     else
1421     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG2, src, srcw, dst, dstw));
1422     src = TMP_REG2;
1423     }
1424    
1425     if (src & SLJIT_IMM)
1426     flags |= ARG2_IMM;
1427     else
1428     srcw = src;
1429    
1430 zherczeg 1195 emit_op_imm(compiler, flags | op, dst_r, TMP_REG1, srcw);
1431 ph10 662
1432     if (dst & SLJIT_MEM) {
1433     if (getput_arg_fast(compiler, flags | STORE, dst_r, dst, dstw))
1434     return compiler->error;
1435     else
1436     return getput_arg(compiler, flags | STORE, dst_r, dst, dstw, 0, 0);
1437     }
1438     return SLJIT_SUCCESS;
1439     }
1440    
1441 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_op2(struct sljit_compiler *compiler, sljit_si op,
1442     sljit_si dst, sljit_sw dstw,
1443     sljit_si src1, sljit_sw src1w,
1444     sljit_si src2, sljit_sw src2w)
1445 ph10 662 {
1446 zherczeg 1195 sljit_si dst_r, flags;
1447 ph10 662
1448     CHECK_ERROR();
1449     check_sljit_emit_op2(compiler, op, dst, dstw, src1, src1w, src2, src2w);
1450 zherczeg 955 ADJUST_LOCAL_OFFSET(dst, dstw);
1451     ADJUST_LOCAL_OFFSET(src1, src1w);
1452     ADJUST_LOCAL_OFFSET(src2, src2w);
1453 ph10 662
1454     compiler->cache_arg = 0;
1455     compiler->cache_argw = 0;
1456    
1457 zherczeg 1215 dst_r = (dst >= SLJIT_SCRATCH_REG1 && dst <= TMP_REG3) ? dst : TMP_REG1;
1458 ph10 662 flags = (GET_FLAGS(op) ? SET_FLAGS : 0) | ((op & SLJIT_KEEP_FLAGS) ? KEEP_FLAGS : 0);
1459    
1460     if ((dst & SLJIT_MEM) && !getput_arg_fast(compiler, WORD_SIZE | STORE | ARG_TEST, TMP_REG1, dst, dstw))
1461     flags |= SLOW_DEST;
1462    
1463     if (src1 & SLJIT_MEM) {
1464     if (getput_arg_fast(compiler, WORD_SIZE, TMP_REG1, src1, src1w))
1465     FAIL_IF(compiler->error);
1466     else
1467     flags |= SLOW_SRC1;
1468     }
1469     if (src2 & SLJIT_MEM) {
1470     if (getput_arg_fast(compiler, WORD_SIZE, TMP_REG2, src2, src2w))
1471     FAIL_IF(compiler->error);
1472     else
1473     flags |= SLOW_SRC2;
1474     }
1475    
1476     if ((flags & (SLOW_SRC1 | SLOW_SRC2)) == (SLOW_SRC1 | SLOW_SRC2)) {
1477     if (!can_cache(src1, src1w, src2, src2w) && can_cache(src1, src1w, dst, dstw)) {
1478     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG2, src2, src2w, src1, src1w));
1479     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG1, src1, src1w, dst, dstw));
1480     }
1481     else {
1482     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG1, src1, src1w, src2, src2w));
1483     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG2, src2, src2w, dst, dstw));
1484     }
1485     }
1486     else if (flags & SLOW_SRC1)
1487     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG1, src1, src1w, dst, dstw));
1488     else if (flags & SLOW_SRC2)
1489     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG2, src2, src2w, dst, dstw));
1490    
1491     if (src1 & SLJIT_MEM)
1492     src1 = TMP_REG1;
1493     if (src2 & SLJIT_MEM)
1494     src2 = TMP_REG2;
1495    
1496     if (src1 & SLJIT_IMM)
1497     flags |= ARG1_IMM;
1498     else
1499     src1w = src1;
1500     if (src2 & SLJIT_IMM)
1501     flags |= ARG2_IMM;
1502     else
1503     src2w = src2;
1504    
1505     if (dst == SLJIT_UNUSED)
1506     flags |= UNUSED_RETURN;
1507    
1508     if (GET_OPCODE(op) == SLJIT_MUL && (op & SLJIT_SET_O))
1509     flags |= SET_MULOV;
1510    
1511     emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src1w, src2w);
1512    
1513     if (dst & SLJIT_MEM) {
1514     if (!(flags & SLOW_DEST)) {
1515     getput_arg_fast(compiler, WORD_SIZE | STORE, dst_r, dst, dstw);
1516     return compiler->error;
1517     }
1518     return getput_arg(compiler, WORD_SIZE | STORE, TMP_REG1, dst, dstw, 0, 0);
1519     }
1520     return SLJIT_SUCCESS;
1521     }
1522    
1523 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_get_register_index(sljit_si reg)
1524 zherczeg 839 {
1525     check_sljit_get_register_index(reg);
1526     return reg_map[reg];
1527     }
1528    
1529 zherczeg 1280 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_get_float_register_index(sljit_si reg)
1530     {
1531     check_sljit_get_float_register_index(reg);
1532     return reg;
1533     }
1534    
1535 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_op_custom(struct sljit_compiler *compiler,
1536     void *instruction, sljit_si size)
1537 zherczeg 839 {
1538     CHECK_ERROR();
1539     check_sljit_emit_op_custom(compiler, instruction, size);
1540     SLJIT_ASSERT(size == 2 || size == 4);
1541    
1542     if (size == 2)
1543     return push_inst16(compiler, *(sljit_uh*)instruction);
1544     return push_inst32(compiler, *(sljit_ins*)instruction);
1545     }
1546    
1547 ph10 662 /* --------------------------------------------------------------------- */
1548     /* Floating point operators */
1549     /* --------------------------------------------------------------------- */
1550    
1551 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_is_fpu_available(void)
1552 ph10 662 {
1553     return 1;
1554     }
1555    
1556 zherczeg 1195 #define FPU_LOAD (1 << 20)
1557    
1558     static sljit_si emit_fop_mem(struct sljit_compiler *compiler, sljit_si flags, sljit_si reg, sljit_si arg, sljit_sw argw)
1559 ph10 662 {
1560 zherczeg 1195 sljit_sw tmp;
1561     sljit_uw imm;
1562     sljit_sw inst = VSTR_F32 | (flags & (SLJIT_SINGLE_OP | FPU_LOAD));
1563 ph10 662
1564     SLJIT_ASSERT(arg & SLJIT_MEM);
1565    
1566     /* Fast loads and stores. */
1567     if (SLJIT_UNLIKELY(arg & 0xf0)) {
1568     FAIL_IF(push_inst32(compiler, ADD_W | RD4(TMP_REG2) | RN4(arg & 0xf) | RM4((arg & 0xf0) >> 4) | ((argw & 0x3) << 6)));
1569     arg = SLJIT_MEM | TMP_REG2;
1570     argw = 0;
1571     }
1572    
1573 zherczeg 1195 if ((arg & 0xf) && (argw & 0x3) == 0) {
1574 ph10 662 if (!(argw & ~0x3fc))
1575     return push_inst32(compiler, inst | 0x800000 | RN4(arg & 0xf) | DD4(reg) | (argw >> 2));
1576     if (!(-argw & ~0x3fc))
1577     return push_inst32(compiler, inst | RN4(arg & 0xf) | DD4(reg) | (-argw >> 2));
1578     }
1579    
1580     SLJIT_ASSERT(!(arg & 0xf0));
1581     if (compiler->cache_arg == arg) {
1582     tmp = argw - compiler->cache_argw;
1583     if (!(tmp & ~0x3fc))
1584     return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG3) | DD4(reg) | (tmp >> 2));
1585     if (!(-tmp & ~0x3fc))
1586     return push_inst32(compiler, inst | RN4(TMP_REG3) | DD4(reg) | (-tmp >> 2));
1587     if (emit_set_delta(compiler, TMP_REG3, TMP_REG3, tmp) != SLJIT_ERR_UNSUPPORTED) {
1588     FAIL_IF(compiler->error);
1589     compiler->cache_argw = argw;
1590     return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG3) | DD4(reg));
1591     }
1592     }
1593    
1594 zherczeg 1195 if (arg & 0xf) {
1595     if (emit_set_delta(compiler, TMP_REG1, arg & 0xf, argw) != SLJIT_ERR_UNSUPPORTED) {
1596     FAIL_IF(compiler->error);
1597     return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | DD4(reg));
1598     }
1599     imm = get_imm(argw & ~0x3fc);
1600     if (imm != INVALID_IMM) {
1601     FAIL_IF(push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(arg & 0xf) | imm));
1602     return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | DD4(reg) | ((argw & 0x3fc) >> 2));
1603     }
1604     imm = get_imm(-argw & ~0x3fc);
1605     if (imm != INVALID_IMM) {
1606     argw = -argw;
1607     FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(arg & 0xf) | imm));
1608     return push_inst32(compiler, inst | RN4(TMP_REG1) | DD4(reg) | ((argw & 0x3fc) >> 2));
1609     }
1610     }
1611    
1612 ph10 662 compiler->cache_arg = arg;
1613     compiler->cache_argw = argw;
1614    
1615     if (SLJIT_UNLIKELY(!(arg & 0xf)))
1616     FAIL_IF(load_immediate(compiler, TMP_REG3, argw));
1617     else {
1618     FAIL_IF(load_immediate(compiler, TMP_REG3, argw));
1619     if (arg & 0xf)
1620     FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG3, (arg & 0xf))));
1621     }
1622     return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG3) | DD4(reg));
1623     }
1624    
1625 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fop1(struct sljit_compiler *compiler, sljit_si op,
1626     sljit_si dst, sljit_sw dstw,
1627     sljit_si src, sljit_sw srcw)
1628 ph10 662 {
1629 zherczeg 1195 sljit_si dst_r;
1630 ph10 662
1631     CHECK_ERROR();
1632     check_sljit_emit_fop1(compiler, op, dst, dstw, src, srcw);
1633 zherczeg 1195 SLJIT_COMPILE_ASSERT((SLJIT_SINGLE_OP == 0x100), float_transfer_bit_error);
1634 ph10 662
1635     compiler->cache_arg = 0;
1636     compiler->cache_argw = 0;
1637 zherczeg 1195 op ^= SLJIT_SINGLE_OP;
1638 ph10 662
1639 zherczeg 1195 if (GET_OPCODE(op) == SLJIT_CMPD) {
1640 ph10 662 if (dst & SLJIT_MEM) {
1641 zherczeg 1195 emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP) | FPU_LOAD, TMP_FREG1, dst, dstw);
1642 ph10 662 dst = TMP_FREG1;
1643     }
1644     if (src & SLJIT_MEM) {
1645 zherczeg 1195 emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP) | FPU_LOAD, TMP_FREG2, src, srcw);
1646 ph10 662 src = TMP_FREG2;
1647     }
1648 zherczeg 1195 FAIL_IF(push_inst32(compiler, VCMP_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst) | DM4(src)));
1649 ph10 662 return push_inst32(compiler, VMRS);
1650     }
1651    
1652 zherczeg 1195 dst_r = (dst > SLJIT_FLOAT_REG6) ? TMP_FREG1 : dst;
1653 ph10 662 if (src & SLJIT_MEM) {
1654 zherczeg 1195 emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP) | FPU_LOAD, dst_r, src, srcw);
1655 ph10 662 src = dst_r;
1656     }
1657    
1658     switch (GET_OPCODE(op)) {
1659 zherczeg 1195 case SLJIT_MOVD:
1660 ph10 662 if (src != dst_r)
1661 zherczeg 1195 FAIL_IF(push_inst32(compiler, VMOV_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DM4(src)));
1662 ph10 662 break;
1663 zherczeg 1195 case SLJIT_NEGD:
1664     FAIL_IF(push_inst32(compiler, VNEG_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DM4(src)));
1665 ph10 662 break;
1666 zherczeg 1195 case SLJIT_ABSD:
1667     FAIL_IF(push_inst32(compiler, VABS_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DM4(src)));
1668 ph10 662 break;
1669     }
1670    
1671     if (dst & SLJIT_MEM)
1672 zherczeg 1195 return emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP), TMP_FREG1, dst, dstw);
1673 ph10 662 return SLJIT_SUCCESS;
1674     }
1675    
1676 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fop2(struct sljit_compiler *compiler, sljit_si op,
1677     sljit_si dst, sljit_sw dstw,
1678     sljit_si src1, sljit_sw src1w,
1679     sljit_si src2, sljit_sw src2w)
1680 ph10 662 {
1681 zherczeg 1195 sljit_si dst_r;
1682 ph10 662
1683     CHECK_ERROR();
1684     check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w);
1685    
1686     compiler->cache_arg = 0;
1687     compiler->cache_argw = 0;
1688 zherczeg 1195 op ^= SLJIT_SINGLE_OP;
1689 ph10 662
1690 zherczeg 1195 dst_r = (dst > SLJIT_FLOAT_REG6) ? TMP_FREG1 : dst;
1691 ph10 662 if (src1 & SLJIT_MEM) {
1692 zherczeg 1195 emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP) | FPU_LOAD, TMP_FREG1, src1, src1w);
1693 ph10 662 src1 = TMP_FREG1;
1694     }
1695     if (src2 & SLJIT_MEM) {
1696 zherczeg 1195 emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP) | FPU_LOAD, TMP_FREG2, src2, src2w);
1697 ph10 662 src2 = TMP_FREG2;
1698     }
1699    
1700     switch (GET_OPCODE(op)) {
1701 zherczeg 1195 case SLJIT_ADDD:
1702     FAIL_IF(push_inst32(compiler, VADD_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1703 ph10 662 break;
1704 zherczeg 1195 case SLJIT_SUBD:
1705     FAIL_IF(push_inst32(compiler, VSUB_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1706 ph10 662 break;
1707 zherczeg 1195 case SLJIT_MULD:
1708     FAIL_IF(push_inst32(compiler, VMUL_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1709 ph10 662 break;
1710 zherczeg 1195 case SLJIT_DIVD:
1711     FAIL_IF(push_inst32(compiler, VDIV_F32 | (op & SLJIT_SINGLE_OP) | DD4(dst_r) | DN4(src1) | DM4(src2)));
1712 ph10 662 break;
1713     }
1714    
1715     if (dst & SLJIT_MEM)
1716 zherczeg 1195 return emit_fop_mem(compiler, (op & SLJIT_SINGLE_OP), TMP_FREG1, dst, dstw);
1717 ph10 662 return SLJIT_SUCCESS;
1718     }
1719    
1720 zherczeg 1195 #undef FPU_LOAD
1721    
1722 ph10 662 /* --------------------------------------------------------------------- */
1723     /* Other instructions */
1724     /* --------------------------------------------------------------------- */
1725    
1726 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_si dst, sljit_sw dstw)
1727 ph10 662 {
1728     CHECK_ERROR();
1729 zherczeg 955 check_sljit_emit_fast_enter(compiler, dst, dstw);
1730     ADJUST_LOCAL_OFFSET(dst, dstw);
1731 ph10 662
1732 zherczeg 1215 /* For UNUSED dst. Uncommon, but possible. */
1733     if (dst == SLJIT_UNUSED)
1734     return SLJIT_SUCCESS;
1735    
1736     if (dst <= TMP_REG3)
1737 ph10 662 return push_inst16(compiler, MOV | SET_REGS44(dst, TMP_REG3));
1738    
1739 zherczeg 1215 /* Memory. */
1740     if (getput_arg_fast(compiler, WORD_SIZE | STORE, TMP_REG3, dst, dstw))
1741     return compiler->error;
1742     /* TMP_REG3 is used for caching. */
1743     FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG2, TMP_REG3)));
1744     compiler->cache_arg = 0;
1745     compiler->cache_argw = 0;
1746     return getput_arg(compiler, WORD_SIZE | STORE, TMP_REG2, dst, dstw, 0, 0);
1747 ph10 662 }
1748    
1749 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_si src, sljit_sw srcw)
1750 ph10 662 {
1751     CHECK_ERROR();
1752     check_sljit_emit_fast_return(compiler, src, srcw);
1753 zherczeg 955 ADJUST_LOCAL_OFFSET(src, srcw);
1754 ph10 662
1755 zherczeg 1215 if (src <= TMP_REG3)
1756 ph10 662 FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG3, src)));
1757     else if (src & SLJIT_MEM) {
1758     if (getput_arg_fast(compiler, WORD_SIZE, TMP_REG3, src, srcw))
1759     FAIL_IF(compiler->error);
1760     else {
1761     compiler->cache_arg = 0;
1762     compiler->cache_argw = 0;
1763     FAIL_IF(getput_arg(compiler, WORD_SIZE, TMP_REG2, src, srcw, 0, 0));
1764     FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG3, TMP_REG2)));
1765     }
1766     }
1767     else if (src & SLJIT_IMM)
1768     FAIL_IF(load_immediate(compiler, TMP_REG3, srcw));
1769     return push_inst16(compiler, BLX | RN3(TMP_REG3));
1770     }
1771    
1772     /* --------------------------------------------------------------------- */
1773     /* Conditional instructions */
1774     /* --------------------------------------------------------------------- */
1775    
1776 zherczeg 1195 static sljit_uw get_cc(sljit_si type)
1777 ph10 662 {
1778     switch (type) {
1779     case SLJIT_C_EQUAL:
1780     case SLJIT_C_MUL_NOT_OVERFLOW:
1781     case SLJIT_C_FLOAT_EQUAL:
1782     return 0x0;
1783    
1784     case SLJIT_C_NOT_EQUAL:
1785     case SLJIT_C_MUL_OVERFLOW:
1786     case SLJIT_C_FLOAT_NOT_EQUAL:
1787     return 0x1;
1788    
1789     case SLJIT_C_LESS:
1790     case SLJIT_C_FLOAT_LESS:
1791     return 0x3;
1792    
1793     case SLJIT_C_GREATER_EQUAL:
1794     case SLJIT_C_FLOAT_GREATER_EQUAL:
1795     return 0x2;
1796    
1797     case SLJIT_C_GREATER:
1798     case SLJIT_C_FLOAT_GREATER:
1799     return 0x8;
1800    
1801     case SLJIT_C_LESS_EQUAL:
1802     case SLJIT_C_FLOAT_LESS_EQUAL:
1803     return 0x9;
1804    
1805     case SLJIT_C_SIG_LESS:
1806     return 0xb;
1807    
1808     case SLJIT_C_SIG_GREATER_EQUAL:
1809     return 0xa;
1810    
1811     case SLJIT_C_SIG_GREATER:
1812     return 0xc;
1813    
1814     case SLJIT_C_SIG_LESS_EQUAL:
1815     return 0xd;
1816    
1817     case SLJIT_C_OVERFLOW:
1818 zherczeg 1149 case SLJIT_C_FLOAT_UNORDERED:
1819 ph10 662 return 0x6;
1820    
1821     case SLJIT_C_NOT_OVERFLOW:
1822 zherczeg 1149 case SLJIT_C_FLOAT_ORDERED:
1823 ph10 662 return 0x7;
1824    
1825     default: /* SLJIT_JUMP */
1826     return 0xe;
1827     }
1828     }
1829    
1830 zherczeg 740 SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)
1831 ph10 662 {
1832     struct sljit_label *label;
1833    
1834     CHECK_ERROR_PTR();
1835     check_sljit_emit_label(compiler);
1836    
1837     if (compiler->last_label && compiler->last_label->size == compiler->size)
1838     return compiler->last_label;
1839    
1840     label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));
1841     PTR_FAIL_IF(!label);
1842     set_label(label, compiler);
1843     return label;
1844     }
1845    
1846 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_si type)
1847 ph10 662 {
1848     struct sljit_jump *jump;
1849 zherczeg 1195 sljit_si cc;
1850 ph10 662
1851     CHECK_ERROR_PTR();
1852     check_sljit_emit_jump(compiler, type);
1853    
1854     jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1855     PTR_FAIL_IF(!jump);
1856     set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
1857     type &= 0xff;
1858    
1859     /* In ARM, we don't need to touch the arguments. */
1860     PTR_FAIL_IF(emit_imm32_const(compiler, TMP_REG1, 0));
1861     if (type < SLJIT_JUMP) {
1862 zherczeg 1149 jump->flags |= IS_COND;
1863 ph10 662 cc = get_cc(type);
1864     jump->flags |= cc << 8;
1865     PTR_FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
1866     }
1867    
1868     jump->addr = compiler->size;
1869     if (type <= SLJIT_JUMP)
1870     PTR_FAIL_IF(push_inst16(compiler, BX | RN3(TMP_REG1)));
1871     else {
1872     jump->flags |= IS_BL;
1873     PTR_FAIL_IF(push_inst16(compiler, BLX | RN3(TMP_REG1)));
1874     }
1875    
1876     return jump;
1877     }
1878    
1879 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_ijump(struct sljit_compiler *compiler, sljit_si type, sljit_si src, sljit_sw srcw)
1880 ph10 662 {
1881     struct sljit_jump *jump;
1882    
1883     CHECK_ERROR();
1884     check_sljit_emit_ijump(compiler, type, src, srcw);
1885 zherczeg 955 ADJUST_LOCAL_OFFSET(src, srcw);
1886 ph10 662
1887     /* In ARM, we don't need to touch the arguments. */
1888     if (src & SLJIT_IMM) {
1889     jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1890     FAIL_IF(!jump);
1891 zherczeg 722 set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));
1892 ph10 662 jump->u.target = srcw;
1893    
1894     FAIL_IF(emit_imm32_const(compiler, TMP_REG1, 0));
1895     jump->addr = compiler->size;
1896 zherczeg 722 FAIL_IF(push_inst16(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RN3(TMP_REG1)));
1897 ph10 662 }
1898     else {
1899 zherczeg 1215 if (src <= TMP_REG3)
1900 zherczeg 722 return push_inst16(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RN3(src));
1901 ph10 662
1902     FAIL_IF(emit_op_mem(compiler, WORD_SIZE, type <= SLJIT_JUMP ? TMP_PC : TMP_REG1, src, srcw));
1903 zherczeg 722 if (type >= SLJIT_FAST_CALL)
1904 ph10 662 return push_inst16(compiler, BLX | RN3(TMP_REG1));
1905     }
1906     return SLJIT_SUCCESS;
1907     }
1908    
1909 zherczeg 1209 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_si op,
1910     sljit_si dst, sljit_sw dstw,
1911     sljit_si src, sljit_sw srcw,
1912     sljit_si type)
1913 ph10 662 {
1914 zherczeg 1203 sljit_si dst_r, flags = GET_ALL_FLAGS(op);
1915 zherczeg 1215 sljit_ins ins;
1916 ph10 662 sljit_uw cc;
1917    
1918     CHECK_ERROR();
1919 zherczeg 1209 check_sljit_emit_op_flags(compiler, op, dst, dstw, src, srcw, type);
1920 zherczeg 955 ADJUST_LOCAL_OFFSET(dst, dstw);
1921 zherczeg 1215 ADJUST_LOCAL_OFFSET(src, srcw);
1922 ph10 662
1923     if (dst == SLJIT_UNUSED)
1924     return SLJIT_SUCCESS;
1925    
1926 zherczeg 1203 op = GET_OPCODE(op);
1927 ph10 662 cc = get_cc(type);
1928 zherczeg 1215 dst_r = (dst <= TMP_REG3) ? dst : TMP_REG2;
1929    
1930     if (op < SLJIT_ADD) {
1931     FAIL_IF(push_inst16(compiler, IT | (cc << 4) | (((cc & 0x1) ^ 0x1) << 3) | 0x4));
1932     if (reg_map[dst_r] > 7) {
1933     FAIL_IF(push_inst32(compiler, MOV_WI | RD4(dst_r) | 1));
1934     FAIL_IF(push_inst32(compiler, MOV_WI | RD4(dst_r) | 0));
1935     } else {
1936     FAIL_IF(push_inst16(compiler, MOVSI | RDN3(dst_r) | 1));
1937     FAIL_IF(push_inst16(compiler, MOVSI | RDN3(dst_r) | 0));
1938     }
1939     return dst_r == TMP_REG2 ? emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG2, dst, dstw) : SLJIT_SUCCESS;
1940     }
1941    
1942     ins = (op == SLJIT_AND ? ANDI : (op == SLJIT_OR ? ORRI : EORI));
1943     if ((op == SLJIT_OR || op == SLJIT_XOR) && dst <= TMP_REG3 && dst == src) {
1944     /* Does not change the other bits. */
1945 ph10 662 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));
1946 zherczeg 1215 FAIL_IF(push_inst32(compiler, ins | RN4(src) | RD4(dst) | 1));
1947 zherczeg 1203 if (flags & SLJIT_SET_E) {
1948 zherczeg 1215 /* The condition must always be set, even if the ORRI/EORI is not executed above. */
1949 ph10 662 if (reg_map[dst] <= 7)
1950 zherczeg 1203 return push_inst16(compiler, MOVS | RD3(TMP_REG1) | RN3(dst));
1951     return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(TMP_REG1) | RM4(dst));
1952 ph10 662 }
1953     return SLJIT_SUCCESS;
1954     }
1955    
1956 zherczeg 1215 compiler->cache_arg = 0;
1957     compiler->cache_argw = 0;
1958     if (src & SLJIT_MEM) {
1959     FAIL_IF(emit_op_mem2(compiler, WORD_SIZE, TMP_REG1, src, srcw, dst, dstw));
1960     src = TMP_REG1;
1961     srcw = 0;
1962     } else if (src & SLJIT_IMM) {
1963     FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));
1964     src = TMP_REG1;
1965     srcw = 0;
1966 zherczeg 1203 }
1967 ph10 662
1968 zherczeg 1215 FAIL_IF(push_inst16(compiler, IT | (cc << 4) | (((cc & 0x1) ^ 0x1) << 3) | 0x4));
1969     FAIL_IF(push_inst32(compiler, ins | RN4(src) | RD4(dst_r) | 1));
1970     FAIL_IF(push_inst32(compiler, ins | RN4(src) | RD4(dst_r) | 0));
1971     if (dst_r == TMP_REG2)
1972     FAIL_IF(emit_op_mem2(compiler, WORD_SIZE | STORE, TMP_REG2, dst, dstw, 0, 0));
1973 ph10 662
1974 zherczeg 1215 if (flags & SLJIT_SET_E) {
1975     /* The condition must always be set, even if the ORR/EORI is not executed above. */
1976     if (reg_map[dst_r] <= 7)
1977     return push_inst16(compiler, MOVS | RD3(TMP_REG1) | RN3(dst_r));
1978     return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(TMP_REG1) | RM4(dst_r));
1979 ph10 662 }
1980     return SLJIT_SUCCESS;
1981     }
1982    
1983 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_si dst, sljit_sw dstw, sljit_sw init_value)
1984 ph10 662 {
1985     struct sljit_const *const_;
1986 zherczeg 1195 sljit_si dst_r;
1987 ph10 662
1988     CHECK_ERROR_PTR();
1989     check_sljit_emit_const(compiler, dst, dstw, init_value);
1990 zherczeg 955 ADJUST_LOCAL_OFFSET(dst, dstw);
1991 ph10 662
1992     const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));
1993     PTR_FAIL_IF(!const_);
1994     set_const(const_, compiler);
1995    
1996 zherczeg 1215 dst_r = (dst <= TMP_REG3) ? dst : TMP_REG1;
1997 ph10 662 PTR_FAIL_IF(emit_imm32_const(compiler, dst_r, init_value));
1998    
1999     if (dst & SLJIT_MEM)
2000     PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw));
2001     return const_;
2002     }
2003    
2004 zherczeg 740 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_addr)
2005 ph10 662 {
2006     inline_set_jump_addr(addr, new_addr, 1);
2007     }
2008    
2009 zherczeg 1195 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant)
2010 ph10 662 {
2011     sljit_uh* inst = (sljit_uh*)addr;
2012     modify_imm32_const(inst, new_constant);
2013     SLJIT_CACHE_FLUSH(inst, inst + 3);
2014     }

webmaster@exim.org
ViewVC Help
Powered by ViewVC 1.1.12