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