1: /*
2: * Stack-less Just-In-Time compiler
3: *
4: * Copyright 2009-2012 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 "MIPS" SLJIT_CPUINFO;
30: }
31:
32: /* Latest MIPS architecture. */
33: /* Detect SLJIT_MIPS_32_64 */
34:
35: /* Length of an instruction word
36: Both for mips-32 and mips-64 */
37: typedef sljit_ui sljit_ins;
38:
39: #define TMP_REG1 (SLJIT_NO_REGISTERS + 1)
40: #define TMP_REG2 (SLJIT_NO_REGISTERS + 2)
41: #define TMP_REG3 (SLJIT_NO_REGISTERS + 3)
42:
43: /* For position independent code, t9 must contain the function address. */
44: #define PIC_ADDR_REG TMP_REG2
45:
46: /* TMP_EREG1 is used mainly for literal encoding on 64 bit. */
47: #define TMP_EREG1 15
48: #define TMP_EREG2 24
49: /* Floating point status register. */
50: #define FCSR_REG 31
51: /* Return address register. */
52: #define RETURN_ADDR_REG 31
53:
54: /* Flags are keept in volatile registers. */
55: #define EQUAL_FLAG 7
56: /* And carry flag as well. */
57: #define ULESS_FLAG 10
58: #define UGREATER_FLAG 11
59: #define LESS_FLAG 12
60: #define GREATER_FLAG 13
61: #define OVERFLOW_FLAG 14
62:
63: #define TMP_FREG1 (SLJIT_FLOAT_REG4 + 1)
64: #define TMP_FREG2 (SLJIT_FLOAT_REG4 + 2)
65:
66: /* --------------------------------------------------------------------- */
67: /* Instrucion forms */
68: /* --------------------------------------------------------------------- */
69:
70: #define S(s) (reg_map[s] << 21)
71: #define T(t) (reg_map[t] << 16)
72: #define D(d) (reg_map[d] << 11)
73: /* Absolute registers. */
74: #define SA(s) ((s) << 21)
75: #define TA(t) ((t) << 16)
76: #define DA(d) ((d) << 11)
77: #define FT(t) ((t) << (16 + 1))
78: #define FS(s) ((s) << (11 + 1))
79: #define FD(d) ((d) << (6 + 1))
80: #define IMM(imm) ((imm) & 0xffff)
81: #define SH_IMM(imm) ((imm & 0x1f) << 6)
82:
83: #define DR(dr) (reg_map[dr])
84: #define HI(opcode) ((opcode) << 26)
85: #define LO(opcode) (opcode)
86: #define FMT_D (17 << 21)
87:
88: #define ABS_D (HI(17) | FMT_D | LO(5))
89: #define ADD_D (HI(17) | FMT_D | LO(0))
90: #define ADDU (HI(0) | LO(33))
91: #define ADDIU (HI(9))
92: #define AND (HI(0) | LO(36))
93: #define ANDI (HI(12))
94: #define B (HI(4))
95: #define BAL (HI(1) | (17 << 16))
96: #define BC1F (HI(17) | (8 << 21))
97: #define BC1T (HI(17) | (8 << 21) | (1 << 16))
98: #define BEQ (HI(4))
99: #define BGEZ (HI(1) | (1 << 16))
100: #define BGTZ (HI(7))
101: #define BLEZ (HI(6))
102: #define BLTZ (HI(1) | (0 << 16))
103: #define BNE (HI(5))
104: #define BREAK (HI(0) | LO(13))
105: #define C_UN_D (HI(17) | FMT_D | LO(49))
106: #define C_UEQ_D (HI(17) | FMT_D | LO(51))
107: #define C_ULE_D (HI(17) | FMT_D | LO(55))
108: #define C_ULT_D (HI(17) | FMT_D | LO(53))
109: #define DIV (HI(0) | LO(26))
110: #define DIVU (HI(0) | LO(27))
111: #define DIV_D (HI(17) | FMT_D | LO(3))
112: #define J (HI(2))
113: #define JAL (HI(3))
114: #define JALR (HI(0) | LO(9))
115: #define JR (HI(0) | LO(8))
116: #define LD (HI(55))
117: #define LDC1 (HI(53))
118: #define LUI (HI(15))
119: #define LW (HI(35))
120: #define NEG_D (HI(17) | FMT_D | LO(7))
121: #define MFHI (HI(0) | LO(16))
122: #define MFLO (HI(0) | LO(18))
123: #define MOV_D (HI(17) | FMT_D | LO(6))
124: #define CFC1 (HI(17) | (2 << 21))
125: #define MOVN (HI(0) | LO(11))
126: #define MOVZ (HI(0) | LO(10))
127: #define MUL_D (HI(17) | FMT_D | LO(2))
128: #define MULT (HI(0) | LO(24))
129: #define MULTU (HI(0) | LO(25))
130: #define NOP (HI(0) | LO(0))
131: #define NOR (HI(0) | LO(39))
132: #define OR (HI(0) | LO(37))
133: #define ORI (HI(13))
134: #define SD (HI(63))
135: #define SDC1 (HI(61))
136: #define SLT (HI(0) | LO(42))
137: #define SLTI (HI(10))
138: #define SLTIU (HI(11))
139: #define SLTU (HI(0) | LO(43))
140: #define SLL (HI(0) | LO(0))
141: #define SLLV (HI(0) | LO(4))
142: #define SRL (HI(0) | LO(2))
143: #define SRLV (HI(0) | LO(6))
144: #define SRA (HI(0) | LO(3))
145: #define SRAV (HI(0) | LO(7))
146: #define SUB_D (HI(17) | FMT_D | LO(1))
147: #define SUBU (HI(0) | LO(35))
148: #define SW (HI(43))
149: #define XOR (HI(0) | LO(38))
150: #define XORI (HI(14))
151:
152: #if (defined SLJIT_MIPS_32_64 && SLJIT_MIPS_32_64)
153: #define CLZ (HI(28) | LO(32))
154: #define MUL (HI(28) | LO(2))
155: #define SEB (HI(31) | (16 << 6) | LO(32))
156: #define SEH (HI(31) | (24 << 6) | LO(32))
157: #endif
158:
159: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
160: #define ADDU_W ADDU
161: #define ADDIU_W ADDIU
162: #define SLL_W SLL
163: #define SUBU_W SUBU
164: #else
165: #define ADDU_W DADDU
166: #define ADDIU_W DADDIU
167: #define SLL_W DSLL
168: #define SUBU_W DSUBU
169: #endif
170:
171: #define SIMM_MAX (0x7fff)
172: #define SIMM_MIN (-0x8000)
173: #define UIMM_MAX (0xffff)
174:
175: static SLJIT_CONST sljit_ub reg_map[SLJIT_NO_REGISTERS + 6] = {
176: 0, 2, 5, 6, 3, 8, 16, 17, 18, 19, 20, 29, 4, 25, 9
177: };
178:
179: /* dest_reg is the absolute name of the register
180: Useful for reordering instructions in the delay slot. */
181: static int push_inst(struct sljit_compiler *compiler, sljit_ins ins, int delay_slot)
182: {
183: sljit_ins *ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));
184: FAIL_IF(!ptr);
185: *ptr = ins;
186: compiler->size++;
187: compiler->delay_slot = delay_slot;
188: return SLJIT_SUCCESS;
189: }
190:
191: static SLJIT_INLINE sljit_ins invert_branch(int flags)
192: {
193: return (flags & IS_BIT26_COND) ? (1 << 26) : (1 << 16);
194: }
195:
196: static SLJIT_INLINE sljit_ins* optimize_jump(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code)
197: {
198: sljit_w diff;
199: sljit_uw target_addr;
200: sljit_ins *inst;
201: sljit_ins saved_inst;
202:
203: if (jump->flags & SLJIT_REWRITABLE_JUMP)
204: return code_ptr;
205:
206: if (jump->flags & JUMP_ADDR)
207: target_addr = jump->u.target;
208: else {
209: SLJIT_ASSERT(jump->flags & JUMP_LABEL);
210: target_addr = (sljit_uw)(code + jump->u.label->size);
211: }
212: inst = (sljit_ins*)jump->addr;
213: if (jump->flags & IS_COND)
214: inst--;
215:
216: /* B instructions. */
217: if (jump->flags & IS_MOVABLE) {
218: diff = ((sljit_w)target_addr - (sljit_w)(inst)) >> 2;
219: if (diff <= SIMM_MAX && diff >= SIMM_MIN) {
220: jump->flags |= PATCH_B;
221:
222: if (!(jump->flags & IS_COND)) {
223: inst[0] = inst[-1];
224: inst[-1] = (jump->flags & IS_JAL) ? BAL : B;
225: jump->addr -= sizeof(sljit_ins);
226: return inst;
227: }
228: saved_inst = inst[0];
229: inst[0] = inst[-1];
230: inst[-1] = saved_inst ^ invert_branch(jump->flags);
231: jump->addr -= 2 * sizeof(sljit_ins);
232: return inst;
233: }
234: }
235:
236: diff = ((sljit_w)target_addr - (sljit_w)(inst + 1)) >> 2;
237: if (diff <= SIMM_MAX && diff >= SIMM_MIN) {
238: jump->flags |= PATCH_B;
239:
240: if (!(jump->flags & IS_COND)) {
241: inst[0] = (jump->flags & IS_JAL) ? BAL : B;
242: inst[1] = NOP;
243: return inst + 1;
244: }
245: inst[0] = inst[0] ^ invert_branch(jump->flags);
246: inst[1] = NOP;
247: jump->addr -= sizeof(sljit_ins);
248: return inst + 1;
249: }
250:
251: if (jump->flags & IS_COND) {
252: if ((target_addr & ~0xfffffff) == ((jump->addr + 3 * sizeof(sljit_ins)) & ~0xfffffff)) {
253: jump->flags |= PATCH_J;
254: inst[0] = (inst[0] & 0xffff0000) | 3;
255: inst[1] = NOP;
256: inst[2] = J;
257: inst[3] = NOP;
258: jump->addr += sizeof(sljit_ins);
259: return inst + 3;
260: }
261: return code_ptr;
262: }
263:
264: /* J instuctions. */
265: if (jump->flags & IS_MOVABLE) {
266: if ((target_addr & ~0xfffffff) == (jump->addr & ~0xfffffff)) {
267: jump->flags |= PATCH_J;
268: inst[0] = inst[-1];
269: inst[-1] = (jump->flags & IS_JAL) ? JAL : J;
270: jump->addr -= sizeof(sljit_ins);
271: return inst;
272: }
273: }
274:
275: if ((target_addr & ~0xfffffff) == ((jump->addr + sizeof(sljit_ins)) & ~0xfffffff)) {
276: jump->flags |= PATCH_J;
277: inst[0] = (jump->flags & IS_JAL) ? JAL : J;
278: inst[1] = NOP;
279: return inst + 1;
280: }
281:
282: return code_ptr;
283: }
284:
285: #ifdef __GNUC__
286: static __attribute__ ((noinline)) void sljit_cache_flush(void* code, void* code_ptr)
287: {
288: SLJIT_CACHE_FLUSH(code, code_ptr);
289: }
290: #endif
291:
292: SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler)
293: {
294: struct sljit_memory_fragment *buf;
295: sljit_ins *code;
296: sljit_ins *code_ptr;
297: sljit_ins *buf_ptr;
298: sljit_ins *buf_end;
299: sljit_uw word_count;
300: sljit_uw addr;
301:
302: struct sljit_label *label;
303: struct sljit_jump *jump;
304: struct sljit_const *const_;
305:
306: CHECK_ERROR_PTR();
307: check_sljit_generate_code(compiler);
308: reverse_buf(compiler);
309:
310: code = (sljit_ins*)SLJIT_MALLOC_EXEC(compiler->size * sizeof(sljit_ins));
311: PTR_FAIL_WITH_EXEC_IF(code);
312: buf = compiler->buf;
313:
314: code_ptr = code;
315: word_count = 0;
316: label = compiler->labels;
317: jump = compiler->jumps;
318: const_ = compiler->consts;
319: do {
320: buf_ptr = (sljit_ins*)buf->memory;
321: buf_end = buf_ptr + (buf->used_size >> 2);
322: do {
323: *code_ptr = *buf_ptr++;
324: SLJIT_ASSERT(!label || label->size >= word_count);
325: SLJIT_ASSERT(!jump || jump->addr >= word_count);
326: SLJIT_ASSERT(!const_ || const_->addr >= word_count);
327: /* These structures are ordered by their address. */
328: if (label && label->size == word_count) {
329: /* Just recording the address. */
330: label->addr = (sljit_uw)code_ptr;
331: label->size = code_ptr - code;
332: label = label->next;
333: }
334: if (jump && jump->addr == word_count) {
335: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
336: jump->addr = (sljit_uw)(code_ptr - 3);
337: #else
338: jump->addr = (sljit_uw)(code_ptr - 6);
339: #endif
340: code_ptr = optimize_jump(jump, code_ptr, code);
341: jump = jump->next;
342: }
343: if (const_ && const_->addr == word_count) {
344: /* Just recording the address. */
345: const_->addr = (sljit_uw)code_ptr;
346: const_ = const_->next;
347: }
348: code_ptr ++;
349: word_count ++;
350: } while (buf_ptr < buf_end);
351:
352: buf = buf->next;
353: } while (buf);
354:
355: if (label && label->size == word_count) {
356: label->addr = (sljit_uw)code_ptr;
357: label->size = code_ptr - code;
358: label = label->next;
359: }
360:
361: SLJIT_ASSERT(!label);
362: SLJIT_ASSERT(!jump);
363: SLJIT_ASSERT(!const_);
364: SLJIT_ASSERT(code_ptr - code <= (int)compiler->size);
365:
366: jump = compiler->jumps;
367: while (jump) {
368: do {
369: addr = (jump->flags & JUMP_LABEL) ? jump->u.label->addr : jump->u.target;
370: buf_ptr = (sljit_ins*)jump->addr;
371:
372: if (jump->flags & PATCH_B) {
373: addr = (sljit_w)(addr - (jump->addr + sizeof(sljit_ins))) >> 2;
374: SLJIT_ASSERT((sljit_w)addr <= SIMM_MAX && (sljit_w)addr >= SIMM_MIN);
375: buf_ptr[0] = (buf_ptr[0] & 0xffff0000) | (addr & 0xffff);
376: break;
377: }
378: if (jump->flags & PATCH_J) {
379: SLJIT_ASSERT((addr & ~0xfffffff) == ((jump->addr + sizeof(sljit_ins)) & ~0xfffffff));
380: buf_ptr[0] |= (addr >> 2) & 0x03ffffff;
381: break;
382: }
383:
384: /* Set the fields of immediate loads. */
385: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
386: buf_ptr[0] = (buf_ptr[0] & 0xffff0000) | ((addr >> 16) & 0xffff);
387: buf_ptr[1] = (buf_ptr[1] & 0xffff0000) | (addr & 0xffff);
388: #else
389: buf_ptr[0] = (buf_ptr[0] & 0xffff0000) | ((addr >> 48) & 0xffff);
390: buf_ptr[1] = (buf_ptr[1] & 0xffff0000) | ((addr >> 32) & 0xffff);
391: buf_ptr[3] = (buf_ptr[3] & 0xffff0000) | ((addr >> 16) & 0xffff);
392: buf_ptr[4] = (buf_ptr[4] & 0xffff0000) | (addr & 0xffff);
393: #endif
394: } while (0);
395: jump = jump->next;
396: }
397:
398: compiler->error = SLJIT_ERR_COMPILED;
399: compiler->executable_size = compiler->size * sizeof(sljit_ins);
400: #ifndef __GNUC__
401: SLJIT_CACHE_FLUSH(code, code_ptr);
402: #else
403: /* GCC workaround for invalid code generation with -O2. */
404: sljit_cache_flush(code, code_ptr);
405: #endif
406: return code;
407: }
408:
409: /* Creates an index in data_transfer_insts array. */
410: #define WORD_DATA 0x00
411: #define BYTE_DATA 0x01
412: #define HALF_DATA 0x02
413: #define INT_DATA 0x03
414: #define SIGNED_DATA 0x04
415: #define LOAD_DATA 0x08
416:
417: #define MEM_MASK 0x0f
418:
419: #define WRITE_BACK 0x00010
420: #define ARG_TEST 0x00020
421: #define CUMULATIVE_OP 0x00040
422: #define LOGICAL_OP 0x00080
423: #define IMM_OP 0x00100
424: #define SRC2_IMM 0x00200
425:
426: #define UNUSED_DEST 0x00400
427: #define REG_DEST 0x00800
428: #define REG1_SOURCE 0x01000
429: #define REG2_SOURCE 0x02000
430: #define SLOW_SRC1 0x04000
431: #define SLOW_SRC2 0x08000
432: #define SLOW_DEST 0x10000
433:
434: /* Only these flags are set. UNUSED_DEST is not set when no flags should be set. */
435: #define CHECK_FLAGS(list) \
436: (!(flags & UNUSED_DEST) || (op & GET_FLAGS(~(list))))
437:
438: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
439: #include "sljitNativeMIPS_32.c"
440: #else
441: #include "sljitNativeMIPS_64.c"
442: #endif
443:
444: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
445: #define STACK_STORE SW
446: #define STACK_LOAD LW
447: #else
448: #define STACK_STORE SD
449: #define STACK_LOAD LD
450: #endif
451:
452: static int emit_op(struct sljit_compiler *compiler, int op, int inp_flags,
453: int dst, sljit_w dstw,
454: int src1, sljit_w src1w,
455: int src2, sljit_w src2w);
456:
457: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_enter(struct sljit_compiler *compiler, int args, int temporaries, int saveds, int local_size)
458: {
459: sljit_ins base;
460:
461: CHECK_ERROR();
462: check_sljit_emit_enter(compiler, args, temporaries, saveds, local_size);
463:
464: compiler->temporaries = temporaries;
465: compiler->saveds = saveds;
466: #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
467: compiler->logical_local_size = local_size;
468: #endif
469:
470: local_size += (saveds + 1 + 4) * sizeof(sljit_w);
471: local_size = (local_size + 15) & ~0xf;
472: compiler->local_size = local_size;
473:
474: if (local_size <= SIMM_MAX) {
475: /* Frequent case. */
476: FAIL_IF(push_inst(compiler, ADDIU_W | S(SLJIT_LOCALS_REG) | T(SLJIT_LOCALS_REG) | IMM(-local_size), DR(SLJIT_LOCALS_REG)));
477: base = S(SLJIT_LOCALS_REG);
478: }
479: else {
480: FAIL_IF(load_immediate(compiler, DR(TMP_REG1), local_size));
481: FAIL_IF(push_inst(compiler, ADDU_W | S(SLJIT_LOCALS_REG) | TA(0) | D(TMP_REG2), DR(TMP_REG2)));
482: FAIL_IF(push_inst(compiler, SUBU_W | S(SLJIT_LOCALS_REG) | T(TMP_REG1) | D(SLJIT_LOCALS_REG), DR(SLJIT_LOCALS_REG)));
483: base = S(TMP_REG2);
484: local_size = 0;
485: }
486:
487: FAIL_IF(push_inst(compiler, STACK_STORE | base | TA(RETURN_ADDR_REG) | IMM(local_size - 1 * (int)sizeof(sljit_w)), MOVABLE_INS));
488: if (saveds >= 1)
489: FAIL_IF(push_inst(compiler, STACK_STORE | base | T(SLJIT_SAVED_REG1) | IMM(local_size - 2 * (int)sizeof(sljit_w)), MOVABLE_INS));
490: if (saveds >= 2)
491: FAIL_IF(push_inst(compiler, STACK_STORE | base | T(SLJIT_SAVED_REG2) | IMM(local_size - 3 * (int)sizeof(sljit_w)), MOVABLE_INS));
492: if (saveds >= 3)
493: FAIL_IF(push_inst(compiler, STACK_STORE | base | T(SLJIT_SAVED_REG3) | IMM(local_size - 4 * (int)sizeof(sljit_w)), MOVABLE_INS));
494: if (saveds >= 4)
495: FAIL_IF(push_inst(compiler, STACK_STORE | base | T(SLJIT_SAVED_EREG1) | IMM(local_size - 5 * (int)sizeof(sljit_w)), MOVABLE_INS));
496: if (saveds >= 5)
497: FAIL_IF(push_inst(compiler, STACK_STORE | base | T(SLJIT_SAVED_EREG2) | IMM(local_size - 6 * (int)sizeof(sljit_w)), MOVABLE_INS));
498:
499: if (args >= 1)
500: FAIL_IF(push_inst(compiler, ADDU_W | SA(4) | TA(0) | D(SLJIT_SAVED_REG1), DR(SLJIT_SAVED_REG1)));
501: if (args >= 2)
502: FAIL_IF(push_inst(compiler, ADDU_W | SA(5) | TA(0) | D(SLJIT_SAVED_REG2), DR(SLJIT_SAVED_REG2)));
503: if (args >= 3)
504: FAIL_IF(push_inst(compiler, ADDU_W | SA(6) | TA(0) | D(SLJIT_SAVED_REG3), DR(SLJIT_SAVED_REG3)));
505:
506: return SLJIT_SUCCESS;
507: }
508:
509: SLJIT_API_FUNC_ATTRIBUTE void sljit_set_context(struct sljit_compiler *compiler, int args, int temporaries, int saveds, int local_size)
510: {
511: CHECK_ERROR_VOID();
512: check_sljit_set_context(compiler, args, temporaries, saveds, local_size);
513:
514: compiler->temporaries = temporaries;
515: compiler->saveds = saveds;
516: #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
517: compiler->logical_local_size = local_size;
518: #endif
519:
520: local_size += (saveds + 1 + 4) * sizeof(sljit_w);
521: compiler->local_size = (local_size + 15) & ~0xf;
522: }
523:
524: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_return(struct sljit_compiler *compiler, int op, int src, sljit_w srcw)
525: {
526: int local_size;
527: sljit_ins base;
528:
529: CHECK_ERROR();
530: check_sljit_emit_return(compiler, op, src, srcw);
531: ADJUST_LOCAL_OFFSET(src, srcw);
532:
533: FAIL_IF(emit_mov_before_return(compiler, op, src, srcw));
534:
535: local_size = compiler->local_size;
536: if (local_size <= SIMM_MAX)
537: base = S(SLJIT_LOCALS_REG);
538: else {
539: FAIL_IF(load_immediate(compiler, DR(TMP_REG1), local_size));
540: FAIL_IF(push_inst(compiler, ADDU_W | S(SLJIT_LOCALS_REG) | T(TMP_REG1) | D(TMP_REG1), DR(TMP_REG1)));
541: base = S(TMP_REG1);
542: local_size = 0;
543: }
544:
545: FAIL_IF(push_inst(compiler, STACK_LOAD | base | TA(RETURN_ADDR_REG) | IMM(local_size - 1 * (int)sizeof(sljit_w)), RETURN_ADDR_REG));
546: if (compiler->saveds >= 5)
547: FAIL_IF(push_inst(compiler, STACK_LOAD | base | T(SLJIT_SAVED_EREG2) | IMM(local_size - 6 * (int)sizeof(sljit_w)), DR(SLJIT_SAVED_EREG2)));
548: if (compiler->saveds >= 4)
549: FAIL_IF(push_inst(compiler, STACK_LOAD | base | T(SLJIT_SAVED_EREG1) | IMM(local_size - 5 * (int)sizeof(sljit_w)), DR(SLJIT_SAVED_EREG1)));
550: if (compiler->saveds >= 3)
551: FAIL_IF(push_inst(compiler, STACK_LOAD | base | T(SLJIT_SAVED_REG3) | IMM(local_size - 4 * (int)sizeof(sljit_w)), DR(SLJIT_SAVED_REG3)));
552: if (compiler->saveds >= 2)
553: FAIL_IF(push_inst(compiler, STACK_LOAD | base | T(SLJIT_SAVED_REG2) | IMM(local_size - 3 * (int)sizeof(sljit_w)), DR(SLJIT_SAVED_REG2)));
554: if (compiler->saveds >= 1)
555: FAIL_IF(push_inst(compiler, STACK_LOAD | base | T(SLJIT_SAVED_REG1) | IMM(local_size - 2 * (int)sizeof(sljit_w)), DR(SLJIT_SAVED_REG1)));
556:
557: FAIL_IF(push_inst(compiler, JR | SA(RETURN_ADDR_REG), UNMOVABLE_INS));
558: if (compiler->local_size <= SIMM_MAX)
559: return push_inst(compiler, ADDIU_W | S(SLJIT_LOCALS_REG) | T(SLJIT_LOCALS_REG) | IMM(compiler->local_size), UNMOVABLE_INS);
560: else
561: return push_inst(compiler, ADDU_W | S(TMP_REG1) | TA(0) | D(SLJIT_LOCALS_REG), UNMOVABLE_INS);
562: }
563:
564: #undef STACK_STORE
565: #undef STACK_LOAD
566:
567: /* --------------------------------------------------------------------- */
568: /* Operators */
569: /* --------------------------------------------------------------------- */
570:
571: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
572: #define ARCH_DEPEND(a, b) a
573: #else
574: #define ARCH_DEPEND(a, b) b
575: #endif
576:
577: static SLJIT_CONST sljit_ins data_transfer_insts[16] = {
578: /* s u w */ ARCH_DEPEND(HI(43) /* sw */, HI(63) /* sd */),
579: /* s u b */ HI(40) /* sb */,
580: /* s u h */ HI(41) /* sh*/,
581: /* s u i */ HI(43) /* sw */,
582:
583: /* s s w */ ARCH_DEPEND(HI(43) /* sw */, HI(63) /* sd */),
584: /* s s b */ HI(40) /* sb */,
585: /* s s h */ HI(41) /* sh*/,
586: /* s s i */ HI(43) /* sw */,
587:
588: /* l u w */ ARCH_DEPEND(HI(35) /* lw */, HI(55) /* ld */),
589: /* l u b */ HI(36) /* lbu */,
590: /* l u h */ HI(37) /* lhu */,
591: /* l u i */ ARCH_DEPEND(HI(35) /* lw */, HI(39) /* lwu */),
592:
593: /* l s w */ ARCH_DEPEND(HI(35) /* lw */, HI(55) /* ld */),
594: /* l s b */ HI(32) /* lb */,
595: /* l s h */ HI(33) /* lh */,
596: /* l s i */ HI(35) /* lw */,
597: };
598:
599: /* reg_ar is an absoulute register! */
600:
601: /* Can perform an operation using at most 1 instruction. */
602: static int getput_arg_fast(struct sljit_compiler *compiler, int flags, int reg_ar, int arg, sljit_w argw)
603: {
604: SLJIT_ASSERT(arg & SLJIT_MEM);
605:
606: if (!(flags & WRITE_BACK) && !(arg & 0xf0) && argw <= SIMM_MAX && argw >= SIMM_MIN) {
607: /* Works for both absoulte and relative addresses. */
608: if (SLJIT_UNLIKELY(flags & ARG_TEST))
609: return 1;
610: FAIL_IF(push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(arg & 0xf) | TA(reg_ar) | IMM(argw), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS));
611: return -1;
612: }
613: return (flags & ARG_TEST) ? SLJIT_SUCCESS : 0;
614: }
615:
616: /* See getput_arg below.
617: Note: can_cache is called only for binary operators. Those
618: operators always uses word arguments without write back. */
619: static int can_cache(int arg, sljit_w argw, int next_arg, sljit_w next_argw)
620: {
621: if (!(next_arg & SLJIT_MEM))
622: return 0;
623:
624: /* Simple operation except for updates. */
625: if (arg & 0xf0) {
626: argw &= 0x3;
627: next_argw &= 0x3;
628: if (argw && argw == next_argw && (arg == next_arg || (arg & 0xf0) == (next_arg & 0xf0)))
629: return 1;
630: return 0;
631: }
632:
633: if (arg == next_arg) {
634: if (((sljit_uw)(next_argw - argw) <= SIMM_MAX && (sljit_uw)(next_argw - argw) >= SIMM_MIN))
635: return 1;
636: return 0;
637: }
638:
639: return 0;
640: }
641:
642: /* Emit the necessary instructions. See can_cache above. */
643: static int getput_arg(struct sljit_compiler *compiler, int flags, int reg_ar, int arg, sljit_w argw, int next_arg, sljit_w next_argw)
644: {
645: int tmp_ar;
646: int base;
647:
648: SLJIT_ASSERT(arg & SLJIT_MEM);
649: if (!(next_arg & SLJIT_MEM)) {
650: next_arg = 0;
651: next_argw = 0;
652: }
653:
654: tmp_ar = (flags & LOAD_DATA) ? reg_ar : DR(TMP_REG3);
655: base = arg & 0xf;
656:
657: if (SLJIT_UNLIKELY(arg & 0xf0)) {
658: argw &= 0x3;
659: if ((flags & WRITE_BACK) && reg_ar == DR(base)) {
660: SLJIT_ASSERT(!(flags & LOAD_DATA) && DR(TMP_REG1) != reg_ar);
661: FAIL_IF(push_inst(compiler, ADDU_W | SA(reg_ar) | TA(0) | D(TMP_REG1), DR(TMP_REG1)));
662: reg_ar = DR(TMP_REG1);
663: }
664:
665: /* Using the cache. */
666: if (argw == compiler->cache_argw) {
667: if (!(flags & WRITE_BACK)) {
668: if (arg == compiler->cache_arg)
669: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(TMP_REG3) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
670: if ((SLJIT_MEM | (arg & 0xf0)) == compiler->cache_arg) {
671: if (arg == next_arg && argw == (next_argw & 0x3)) {
672: compiler->cache_arg = arg;
673: compiler->cache_argw = argw;
674: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(TMP_REG3) | D(TMP_REG3), DR(TMP_REG3)));
675: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(TMP_REG3) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
676: }
677: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(TMP_REG3) | DA(tmp_ar), tmp_ar));
678: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | SA(tmp_ar) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
679: }
680: }
681: else {
682: if ((SLJIT_MEM | (arg & 0xf0)) == compiler->cache_arg) {
683: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(TMP_REG3) | D(base), DR(base)));
684: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(base) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
685: }
686: }
687: }
688:
689: if (SLJIT_UNLIKELY(argw)) {
690: compiler->cache_arg = SLJIT_MEM | (arg & 0xf0);
691: compiler->cache_argw = argw;
692: FAIL_IF(push_inst(compiler, SLL_W | T((arg >> 4) & 0xf) | D(TMP_REG3) | SH_IMM(argw), DR(TMP_REG3)));
693: }
694:
695: if (!(flags & WRITE_BACK)) {
696: if (arg == next_arg && argw == (next_argw & 0x3)) {
697: compiler->cache_arg = arg;
698: compiler->cache_argw = argw;
699: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(!argw ? ((arg >> 4) & 0xf) : TMP_REG3) | D(TMP_REG3), DR(TMP_REG3)));
700: tmp_ar = DR(TMP_REG3);
701: }
702: else
703: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(!argw ? ((arg >> 4) & 0xf) : TMP_REG3) | DA(tmp_ar), tmp_ar));
704: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | SA(tmp_ar) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
705: }
706: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(!argw ? ((arg >> 4) & 0xf) : TMP_REG3) | D(base), DR(base)));
707: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(base) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
708: }
709:
710: if (SLJIT_UNLIKELY(flags & WRITE_BACK) && base) {
711: /* Update only applies if a base register exists. */
712: if (reg_ar == DR(base)) {
713: SLJIT_ASSERT(!(flags & LOAD_DATA) && DR(TMP_REG1) != reg_ar);
714: if (argw <= SIMM_MAX && argw >= SIMM_MIN) {
715: FAIL_IF(push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(base) | TA(reg_ar) | IMM(argw), MOVABLE_INS));
716: if (argw)
717: return push_inst(compiler, ADDIU_W | S(base) | T(base) | IMM(argw), DR(base));
718: return SLJIT_SUCCESS;
719: }
720: FAIL_IF(push_inst(compiler, ADDU_W | SA(reg_ar) | TA(0) | D(TMP_REG1), DR(TMP_REG1)));
721: reg_ar = DR(TMP_REG1);
722: }
723:
724: if (argw <= SIMM_MAX && argw >= SIMM_MIN) {
725: if (argw)
726: FAIL_IF(push_inst(compiler, ADDIU_W | S(base) | T(base) | IMM(argw), DR(base)));
727: }
728: else {
729: if (compiler->cache_arg == SLJIT_MEM && argw - compiler->cache_argw <= SIMM_MAX && argw - compiler->cache_argw >= SIMM_MIN) {
730: if (argw != compiler->cache_argw) {
731: FAIL_IF(push_inst(compiler, ADDIU_W | S(TMP_REG3) | T(TMP_REG3) | IMM(argw - compiler->cache_argw), DR(TMP_REG3)));
732: compiler->cache_argw = argw;
733: }
734: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(TMP_REG3) | D(base), DR(base)));
735: }
736: else {
737: compiler->cache_arg = SLJIT_MEM;
738: compiler->cache_argw = argw;
739: FAIL_IF(load_immediate(compiler, DR(TMP_REG3), argw));
740: FAIL_IF(push_inst(compiler, ADDU_W | S(base) | T(TMP_REG3) | D(base), DR(base)));
741: }
742: }
743: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(base) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
744: }
745:
746: if (compiler->cache_arg == arg && argw - compiler->cache_argw <= SIMM_MAX && argw - compiler->cache_argw >= SIMM_MIN) {
747: if (argw != compiler->cache_argw) {
748: FAIL_IF(push_inst(compiler, ADDIU_W | S(TMP_REG3) | T(TMP_REG3) | IMM(argw - compiler->cache_argw), DR(TMP_REG3)));
749: compiler->cache_argw = argw;
750: }
751: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(TMP_REG3) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
752: }
753:
754: if (compiler->cache_arg == SLJIT_MEM && argw - compiler->cache_argw <= SIMM_MAX && argw - compiler->cache_argw >= SIMM_MIN) {
755: if (argw != compiler->cache_argw)
756: FAIL_IF(push_inst(compiler, ADDIU_W | S(TMP_REG3) | T(TMP_REG3) | IMM(argw - compiler->cache_argw), DR(TMP_REG3)));
757: }
758: else {
759: compiler->cache_arg = SLJIT_MEM;
760: FAIL_IF(load_immediate(compiler, DR(TMP_REG3), argw));
761: }
762: compiler->cache_argw = argw;
763:
764: if (!base)
765: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(TMP_REG3) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
766:
767: if (arg == next_arg && next_argw - argw <= SIMM_MAX && next_argw - argw >= SIMM_MIN) {
768: compiler->cache_arg = arg;
769: FAIL_IF(push_inst(compiler, ADDU_W | S(TMP_REG3) | T(base) | D(TMP_REG3), DR(TMP_REG3)));
770: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | S(TMP_REG3) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
771: }
772:
773: FAIL_IF(push_inst(compiler, ADDU_W | S(TMP_REG3) | T(base) | DA(tmp_ar), tmp_ar));
774: return push_inst(compiler, data_transfer_insts[flags & MEM_MASK] | SA(tmp_ar) | TA(reg_ar), (flags & LOAD_DATA) ? reg_ar : MOVABLE_INS);
775: }
776:
777: static SLJIT_INLINE int emit_op_mem(struct sljit_compiler *compiler, int flags, int reg_ar, int arg, sljit_w argw)
778: {
779: if (getput_arg_fast(compiler, flags, reg_ar, arg, argw))
780: return compiler->error;
781: compiler->cache_arg = 0;
782: compiler->cache_argw = 0;
783: return getput_arg(compiler, flags, reg_ar, arg, argw, 0, 0);
784: }
785:
786: static int emit_op(struct sljit_compiler *compiler, int op, int flags,
787: int dst, sljit_w dstw,
788: int src1, sljit_w src1w,
789: int src2, sljit_w src2w)
790: {
791: /* arg1 goes to TMP_REG1 or src reg
792: arg2 goes to TMP_REG2, imm or src reg
793: TMP_REG3 can be used for caching
794: result goes to TMP_REG2, so put result can use TMP_REG1 and TMP_REG3. */
795: int dst_r = TMP_REG2;
796: int src1_r;
797: sljit_w src2_r = 0;
798: int sugg_src2_r = TMP_REG2;
799:
800: compiler->cache_arg = 0;
801: compiler->cache_argw = 0;
802:
803: if (dst >= SLJIT_TEMPORARY_REG1 && dst <= TMP_REG3) {
804: dst_r = dst;
805: flags |= REG_DEST;
806: if (GET_OPCODE(op) >= SLJIT_MOV && GET_OPCODE(op) <= SLJIT_MOVU_SI)
807: sugg_src2_r = dst_r;
808: }
809: else if (dst == SLJIT_UNUSED) {
810: if (op >= SLJIT_MOV && op <= SLJIT_MOVU_SI && !(src2 & SLJIT_MEM))
811: return SLJIT_SUCCESS;
812: if (GET_FLAGS(op))
813: flags |= UNUSED_DEST;
814: }
815: else if ((dst & SLJIT_MEM) && !getput_arg_fast(compiler, flags | ARG_TEST, DR(TMP_REG1), dst, dstw))
816: flags |= SLOW_DEST;
817:
818: if (flags & IMM_OP) {
819: if ((src2 & SLJIT_IMM) && src2w) {
820: if ((!(flags & LOGICAL_OP) && (src2w <= SIMM_MAX && src2w >= SIMM_MIN))
821: || ((flags & LOGICAL_OP) && !(src2w & ~UIMM_MAX))) {
822: flags |= SRC2_IMM;
823: src2_r = src2w;
824: }
825: }
826: if ((src1 & SLJIT_IMM) && src1w && (flags & CUMULATIVE_OP) && !(flags & SRC2_IMM)) {
827: if ((!(flags & LOGICAL_OP) && (src1w <= SIMM_MAX && src1w >= SIMM_MIN))
828: || ((flags & LOGICAL_OP) && !(src1w & ~UIMM_MAX))) {
829: flags |= SRC2_IMM;
830: src2_r = src1w;
831:
832: /* And swap arguments. */
833: src1 = src2;
834: src1w = src2w;
835: src2 = SLJIT_IMM;
836: /* src2w = src2_r unneeded. */
837: }
838: }
839: }
840:
841: /* Source 1. */
842: if (src1 >= SLJIT_TEMPORARY_REG1 && src1 <= TMP_REG3) {
843: src1_r = src1;
844: flags |= REG1_SOURCE;
845: }
846: else if (src1 & SLJIT_IMM) {
847: if (src1w) {
848: FAIL_IF(load_immediate(compiler, DR(TMP_REG1), src1w));
849: src1_r = TMP_REG1;
850: }
851: else
852: src1_r = 0;
853: }
854: else {
855: if (getput_arg_fast(compiler, flags | LOAD_DATA, DR(TMP_REG1), src1, src1w))
856: FAIL_IF(compiler->error);
857: else
858: flags |= SLOW_SRC1;
859: src1_r = TMP_REG1;
860: }
861:
862: /* Source 2. */
863: if (src2 >= SLJIT_TEMPORARY_REG1 && src2 <= TMP_REG3) {
864: src2_r = src2;
865: flags |= REG2_SOURCE;
866: if (!(flags & REG_DEST) && GET_OPCODE(op) >= SLJIT_MOV && GET_OPCODE(op) <= SLJIT_MOVU_SI)
867: dst_r = src2_r;
868: }
869: else if (src2 & SLJIT_IMM) {
870: if (!(flags & SRC2_IMM)) {
871: if (src2w || (GET_OPCODE(op) >= SLJIT_MOV && GET_OPCODE(op) <= SLJIT_MOVU_SI)) {
872: FAIL_IF(load_immediate(compiler, DR(sugg_src2_r), src2w));
873: src2_r = sugg_src2_r;
874: }
875: else
876: src2_r = 0;
877: }
878: }
879: else {
880: if (getput_arg_fast(compiler, flags | LOAD_DATA, DR(sugg_src2_r), src2, src2w))
881: FAIL_IF(compiler->error);
882: else
883: flags |= SLOW_SRC2;
884: src2_r = sugg_src2_r;
885: }
886:
887: if ((flags & (SLOW_SRC1 | SLOW_SRC2)) == (SLOW_SRC1 | SLOW_SRC2)) {
888: SLJIT_ASSERT(src2_r == TMP_REG2);
889: if (!can_cache(src1, src1w, src2, src2w) && can_cache(src1, src1w, dst, dstw)) {
890: FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, DR(TMP_REG2), src2, src2w, src1, src1w));
891: FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, DR(TMP_REG1), src1, src1w, dst, dstw));
892: }
893: else {
894: FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, DR(TMP_REG1), src1, src1w, src2, src2w));
895: FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, DR(TMP_REG2), src2, src2w, dst, dstw));
896: }
897: }
898: else if (flags & SLOW_SRC1)
899: FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, DR(TMP_REG1), src1, src1w, dst, dstw));
900: else if (flags & SLOW_SRC2)
901: FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, DR(sugg_src2_r), src2, src2w, dst, dstw));
902:
903: FAIL_IF(emit_single_op(compiler, op, flags, dst_r, src1_r, src2_r));
904:
905: if (dst & SLJIT_MEM) {
906: if (!(flags & SLOW_DEST)) {
907: getput_arg_fast(compiler, flags, DR(dst_r), dst, dstw);
908: return compiler->error;
909: }
910: return getput_arg(compiler, flags, DR(dst_r), dst, dstw, 0, 0);
911: }
912:
913: return SLJIT_SUCCESS;
914: }
915:
916: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_op0(struct sljit_compiler *compiler, int op)
917: {
918: CHECK_ERROR();
919: check_sljit_emit_op0(compiler, op);
920:
921: op = GET_OPCODE(op);
922: switch (op) {
923: case SLJIT_BREAKPOINT:
924: return push_inst(compiler, BREAK, UNMOVABLE_INS);
925: case SLJIT_NOP:
926: return push_inst(compiler, NOP, UNMOVABLE_INS);
927: case SLJIT_UMUL:
928: case SLJIT_SMUL:
929: FAIL_IF(push_inst(compiler, (op == SLJIT_UMUL ? MULTU : MULT) | S(SLJIT_TEMPORARY_REG1) | T(SLJIT_TEMPORARY_REG2), MOVABLE_INS));
930: FAIL_IF(push_inst(compiler, MFLO | D(SLJIT_TEMPORARY_REG1), DR(SLJIT_TEMPORARY_REG1)));
931: return push_inst(compiler, MFHI | D(SLJIT_TEMPORARY_REG2), DR(SLJIT_TEMPORARY_REG2));
932: case SLJIT_UDIV:
933: case SLJIT_SDIV:
934: #if !(defined SLJIT_MIPS_32_64 && SLJIT_MIPS_32_64)
935: FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
936: FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
937: #endif
938: FAIL_IF(push_inst(compiler, (op == SLJIT_UDIV ? DIVU : DIV) | S(SLJIT_TEMPORARY_REG1) | T(SLJIT_TEMPORARY_REG2), MOVABLE_INS));
939: FAIL_IF(push_inst(compiler, MFLO | D(SLJIT_TEMPORARY_REG1), DR(SLJIT_TEMPORARY_REG1)));
940: return push_inst(compiler, MFHI | D(SLJIT_TEMPORARY_REG2), DR(SLJIT_TEMPORARY_REG2));
941: }
942:
943: return SLJIT_SUCCESS;
944: }
945:
946: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_op1(struct sljit_compiler *compiler, int op,
947: int dst, sljit_w dstw,
948: int src, sljit_w srcw)
949: {
950: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
951: #define inp_flags 0
952: #endif
953:
954: CHECK_ERROR();
955: check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw);
956: ADJUST_LOCAL_OFFSET(dst, dstw);
957: ADJUST_LOCAL_OFFSET(src, srcw);
958:
959: SLJIT_COMPILE_ASSERT(SLJIT_MOV + 7 == SLJIT_MOVU, movu_offset);
960:
961: switch (GET_OPCODE(op)) {
962: case SLJIT_MOV:
963: return emit_op(compiler, SLJIT_MOV, inp_flags | WORD_DATA, dst, dstw, TMP_REG1, 0, src, srcw);
964:
965: case SLJIT_MOV_UI:
966: return emit_op(compiler, SLJIT_MOV_UI, inp_flags | INT_DATA, dst, dstw, TMP_REG1, 0, src, srcw);
967:
968: case SLJIT_MOV_SI:
969: return emit_op(compiler, SLJIT_MOV_SI, inp_flags | INT_DATA | SIGNED_DATA, dst, dstw, TMP_REG1, 0, src, srcw);
970:
971: case SLJIT_MOV_UB:
972: return emit_op(compiler, SLJIT_MOV_UB, inp_flags | BYTE_DATA, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (unsigned char)srcw : srcw);
973:
974: case SLJIT_MOV_SB:
975: return emit_op(compiler, SLJIT_MOV_SB, inp_flags | BYTE_DATA | SIGNED_DATA, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (signed char)srcw : srcw);
976:
977: case SLJIT_MOV_UH:
978: return emit_op(compiler, SLJIT_MOV_UH, inp_flags | HALF_DATA, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (unsigned short)srcw : srcw);
979:
980: case SLJIT_MOV_SH:
981: return emit_op(compiler, SLJIT_MOV_SH, inp_flags | HALF_DATA | SIGNED_DATA, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (signed short)srcw : srcw);
982:
983: case SLJIT_MOVU:
984: return emit_op(compiler, SLJIT_MOV, inp_flags | WORD_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, srcw);
985:
986: case SLJIT_MOVU_UI:
987: return emit_op(compiler, SLJIT_MOV_UI, inp_flags | INT_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, srcw);
988:
989: case SLJIT_MOVU_SI:
990: return emit_op(compiler, SLJIT_MOV_SI, inp_flags | INT_DATA | SIGNED_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, srcw);
991:
992: case SLJIT_MOVU_UB:
993: return emit_op(compiler, SLJIT_MOV_UB, inp_flags | BYTE_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (unsigned char)srcw : srcw);
994:
995: case SLJIT_MOVU_SB:
996: return emit_op(compiler, SLJIT_MOV_SB, inp_flags | BYTE_DATA | SIGNED_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (signed char)srcw : srcw);
997:
998: case SLJIT_MOVU_UH:
999: return emit_op(compiler, SLJIT_MOV_UH, inp_flags | HALF_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (unsigned short)srcw : srcw);
1000:
1001: case SLJIT_MOVU_SH:
1002: return emit_op(compiler, SLJIT_MOV_SH, inp_flags | HALF_DATA | SIGNED_DATA | WRITE_BACK, dst, dstw, TMP_REG1, 0, src, (src & SLJIT_IMM) ? (signed short)srcw : srcw);
1003:
1004: case SLJIT_NOT:
1005: return emit_op(compiler, op, inp_flags, dst, dstw, TMP_REG1, 0, src, srcw);
1006:
1007: case SLJIT_NEG:
1008: return emit_op(compiler, SLJIT_SUB | GET_ALL_FLAGS(op), inp_flags | IMM_OP, dst, dstw, SLJIT_IMM, 0, src, srcw);
1009:
1010: case SLJIT_CLZ:
1011: return emit_op(compiler, op, inp_flags, dst, dstw, TMP_REG1, 0, src, srcw);
1012: }
1013:
1014: return SLJIT_SUCCESS;
1015: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
1016: #undef inp_flags
1017: #endif
1018: }
1019:
1020: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_op2(struct sljit_compiler *compiler, int op,
1021: int dst, sljit_w dstw,
1022: int src1, sljit_w src1w,
1023: int src2, sljit_w src2w)
1024: {
1025: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
1026: #define inp_flags 0
1027: #endif
1028:
1029: CHECK_ERROR();
1030: check_sljit_emit_op2(compiler, op, dst, dstw, src1, src1w, src2, src2w);
1031: ADJUST_LOCAL_OFFSET(dst, dstw);
1032: ADJUST_LOCAL_OFFSET(src1, src1w);
1033: ADJUST_LOCAL_OFFSET(src2, src2w);
1034:
1035: switch (GET_OPCODE(op)) {
1036: case SLJIT_ADD:
1037: case SLJIT_ADDC:
1038: return emit_op(compiler, op, inp_flags | CUMULATIVE_OP | IMM_OP, dst, dstw, src1, src1w, src2, src2w);
1039:
1040: case SLJIT_SUB:
1041: case SLJIT_SUBC:
1042: return emit_op(compiler, op, inp_flags | IMM_OP, dst, dstw, src1, src1w, src2, src2w);
1043:
1044: case SLJIT_MUL:
1045: return emit_op(compiler, op, inp_flags | CUMULATIVE_OP, dst, dstw, src1, src1w, src2, src2w);
1046:
1047: case SLJIT_AND:
1048: case SLJIT_OR:
1049: case SLJIT_XOR:
1050: return emit_op(compiler, op, inp_flags | CUMULATIVE_OP | LOGICAL_OP | IMM_OP, dst, dstw, src1, src1w, src2, src2w);
1051:
1052: case SLJIT_SHL:
1053: case SLJIT_LSHR:
1054: case SLJIT_ASHR:
1055: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
1056: if (src2 & SLJIT_IMM)
1057: src2w &= 0x1f;
1058: #else
1059: if (src2 & SLJIT_IMM)
1060: src2w &= 0x3f;
1061: #endif
1062: return emit_op(compiler, op, inp_flags | IMM_OP, dst, dstw, src1, src1w, src2, src2w);
1063: }
1064:
1065: return SLJIT_SUCCESS;
1066: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
1067: #undef inp_flags
1068: #endif
1069: }
1070:
1071: SLJIT_API_FUNC_ATTRIBUTE int sljit_get_register_index(int reg)
1072: {
1073: check_sljit_get_register_index(reg);
1074: return reg_map[reg];
1075: }
1076:
1077: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_op_custom(struct sljit_compiler *compiler,
1078: void *instruction, int size)
1079: {
1080: CHECK_ERROR();
1081: check_sljit_emit_op_custom(compiler, instruction, size);
1082: SLJIT_ASSERT(size == 4);
1083:
1084: return push_inst(compiler, *(sljit_ins*)instruction, UNMOVABLE_INS);
1085: }
1086:
1087: /* --------------------------------------------------------------------- */
1088: /* Floating point operators */
1089: /* --------------------------------------------------------------------- */
1090:
1091: SLJIT_API_FUNC_ATTRIBUTE int sljit_is_fpu_available(void)
1092: {
1093: #if (defined SLJIT_QEMU && SLJIT_QEMU)
1094: /* Qemu says fir is 0 by default. */
1095: return 1;
1096: #elif defined(__GNUC__)
1097: sljit_w fir;
1098: asm ("cfc1 %0, $0" : "=r"(fir));
1099: return (fir >> 22) & 0x1;
1100: #else
1101: #error "FIR check is not implemented for this architecture"
1102: #endif
1103: }
1104:
1105: static int emit_fpu_data_transfer(struct sljit_compiler *compiler, int fpu_reg, int load, int arg, sljit_w argw)
1106: {
1107: int hi_reg;
1108:
1109: SLJIT_ASSERT(arg & SLJIT_MEM);
1110:
1111: /* Fast loads and stores. */
1112: if (!(arg & 0xf0)) {
1113: /* Both for (arg & 0xf) == SLJIT_UNUSED and (arg & 0xf) != SLJIT_UNUSED. */
1114: if (argw <= SIMM_MAX && argw >= SIMM_MIN)
1115: return push_inst(compiler, (load ? LDC1 : SDC1) | S(arg & 0xf) | FT(fpu_reg) | IMM(argw), MOVABLE_INS);
1116: }
1117:
1118: if (arg & 0xf0) {
1119: argw &= 0x3;
1120: hi_reg = (arg >> 4) & 0xf;
1121: if (argw) {
1122: FAIL_IF(push_inst(compiler, SLL_W | T(hi_reg) | D(TMP_REG1) | SH_IMM(argw), DR(TMP_REG1)));
1123: hi_reg = TMP_REG1;
1124: }
1125: FAIL_IF(push_inst(compiler, ADDU_W | S(hi_reg) | T(arg & 0xf) | D(TMP_REG1), DR(TMP_REG1)));
1126: return push_inst(compiler, (load ? LDC1 : SDC1) | S(TMP_REG1) | FT(fpu_reg) | IMM(0), MOVABLE_INS);
1127: }
1128:
1129: /* Use cache. */
1130: if (compiler->cache_arg == arg && argw - compiler->cache_argw <= SIMM_MAX && argw - compiler->cache_argw >= SIMM_MIN)
1131: return push_inst(compiler, (load ? LDC1 : SDC1) | S(TMP_REG3) | FT(fpu_reg) | IMM(argw - compiler->cache_argw), MOVABLE_INS);
1132:
1133: /* Put value to cache. */
1134: compiler->cache_arg = arg;
1135: compiler->cache_argw = argw;
1136:
1137: FAIL_IF(load_immediate(compiler, DR(TMP_REG3), argw));
1138: if (arg & 0xf)
1139: FAIL_IF(push_inst(compiler, ADDU_W | S(TMP_REG3) | T(arg & 0xf) | D(TMP_REG3), DR(TMP_REG3)));
1140: return push_inst(compiler, (load ? LDC1 : SDC1) | S(TMP_REG3) | FT(fpu_reg) | IMM(0), MOVABLE_INS);
1141: }
1142:
1143: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_fop1(struct sljit_compiler *compiler, int op,
1144: int dst, sljit_w dstw,
1145: int src, sljit_w srcw)
1146: {
1147: int dst_fr;
1148:
1149: CHECK_ERROR();
1150: check_sljit_emit_fop1(compiler, op, dst, dstw, src, srcw);
1151:
1152: compiler->cache_arg = 0;
1153: compiler->cache_argw = 0;
1154:
1155: if (GET_OPCODE(op) == SLJIT_FCMP) {
1156: if (dst > SLJIT_FLOAT_REG4) {
1157: FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG1, 1, dst, dstw));
1158: dst = TMP_FREG1;
1159: }
1160: if (src > SLJIT_FLOAT_REG4) {
1161: FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG2, 1, src, srcw));
1162: src = TMP_FREG2;
1163: }
1164:
1165: /* src and dst are swapped. */
1166: if (op & SLJIT_SET_E) {
1167: FAIL_IF(push_inst(compiler, C_UEQ_D | FT(src) | FS(dst), UNMOVABLE_INS));
1168: FAIL_IF(push_inst(compiler, CFC1 | TA(EQUAL_FLAG) | DA(FCSR_REG), EQUAL_FLAG));
1169: FAIL_IF(push_inst(compiler, SRL | TA(EQUAL_FLAG) | DA(EQUAL_FLAG) | SH_IMM(23), EQUAL_FLAG));
1170: FAIL_IF(push_inst(compiler, ANDI | SA(EQUAL_FLAG) | TA(EQUAL_FLAG) | IMM(1), EQUAL_FLAG));
1171: }
1172: if (op & SLJIT_SET_S) {
1173: /* Mixing the instructions for the two checks. */
1174: FAIL_IF(push_inst(compiler, C_ULT_D | FT(src) | FS(dst), UNMOVABLE_INS));
1175: FAIL_IF(push_inst(compiler, CFC1 | TA(ULESS_FLAG) | DA(FCSR_REG), ULESS_FLAG));
1176: FAIL_IF(push_inst(compiler, C_ULT_D | FT(dst) | FS(src), UNMOVABLE_INS));
1177: FAIL_IF(push_inst(compiler, SRL | TA(ULESS_FLAG) | DA(ULESS_FLAG) | SH_IMM(23), ULESS_FLAG));
1178: FAIL_IF(push_inst(compiler, ANDI | SA(ULESS_FLAG) | TA(ULESS_FLAG) | IMM(1), ULESS_FLAG));
1179: FAIL_IF(push_inst(compiler, CFC1 | TA(UGREATER_FLAG) | DA(FCSR_REG), UGREATER_FLAG));
1180: FAIL_IF(push_inst(compiler, SRL | TA(UGREATER_FLAG) | DA(UGREATER_FLAG) | SH_IMM(23), UGREATER_FLAG));
1181: FAIL_IF(push_inst(compiler, ANDI | SA(UGREATER_FLAG) | TA(UGREATER_FLAG) | IMM(1), UGREATER_FLAG));
1182: }
1183: return push_inst(compiler, C_UN_D | FT(src) | FS(dst), FCSR_FCC);
1184: }
1185:
1186: dst_fr = (dst > SLJIT_FLOAT_REG4) ? TMP_FREG1 : dst;
1187:
1188: if (src > SLJIT_FLOAT_REG4) {
1189: FAIL_IF(emit_fpu_data_transfer(compiler, dst_fr, 1, src, srcw));
1190: src = dst_fr;
1191: }
1192:
1193: switch (op) {
1194: case SLJIT_FMOV:
1195: if (src != dst_fr && dst_fr != TMP_FREG1)
1196: FAIL_IF(push_inst(compiler, MOV_D | FS(src) | FD(dst_fr), MOVABLE_INS));
1197: break;
1198: case SLJIT_FNEG:
1199: FAIL_IF(push_inst(compiler, NEG_D | FS(src) | FD(dst_fr), MOVABLE_INS));
1200: break;
1201: case SLJIT_FABS:
1202: FAIL_IF(push_inst(compiler, ABS_D | FS(src) | FD(dst_fr), MOVABLE_INS));
1203: break;
1204: }
1205:
1206: if (dst_fr == TMP_FREG1)
1207: FAIL_IF(emit_fpu_data_transfer(compiler, src, 0, dst, dstw));
1208:
1209: return SLJIT_SUCCESS;
1210: }
1211:
1212: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_fop2(struct sljit_compiler *compiler, int op,
1213: int dst, sljit_w dstw,
1214: int src1, sljit_w src1w,
1215: int src2, sljit_w src2w)
1216: {
1217: int dst_fr;
1218:
1219: CHECK_ERROR();
1220: check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w);
1221:
1222: compiler->cache_arg = 0;
1223: compiler->cache_argw = 0;
1224:
1225: dst_fr = (dst > SLJIT_FLOAT_REG4) ? TMP_FREG1 : dst;
1226:
1227: if (src2 > SLJIT_FLOAT_REG4) {
1228: FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG2, 1, src2, src2w));
1229: src2 = TMP_FREG2;
1230: }
1231:
1232: if (src1 > SLJIT_FLOAT_REG4) {
1233: FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG1, 1, src1, src1w));
1234: src1 = TMP_FREG1;
1235: }
1236:
1237: switch (op) {
1238: case SLJIT_FADD:
1239: FAIL_IF(push_inst(compiler, ADD_D | FT(src2) | FS(src1) | FD(dst_fr), MOVABLE_INS));
1240: break;
1241:
1242: case SLJIT_FSUB:
1243: FAIL_IF(push_inst(compiler, SUB_D | FT(src2) | FS(src1) | FD(dst_fr), MOVABLE_INS));
1244: break;
1245:
1246: case SLJIT_FMUL:
1247: FAIL_IF(push_inst(compiler, MUL_D | FT(src2) | FS(src1) | FD(dst_fr), MOVABLE_INS));
1248: break;
1249:
1250: case SLJIT_FDIV:
1251: FAIL_IF(push_inst(compiler, DIV_D | FT(src2) | FS(src1) | FD(dst_fr), MOVABLE_INS));
1252: break;
1253: }
1254:
1255: if (dst_fr == TMP_FREG1)
1256: FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG1, 0, dst, dstw));
1257:
1258: return SLJIT_SUCCESS;
1259: }
1260:
1261: /* --------------------------------------------------------------------- */
1262: /* Other instructions */
1263: /* --------------------------------------------------------------------- */
1264:
1265: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_fast_enter(struct sljit_compiler *compiler, int dst, sljit_w dstw)
1266: {
1267: CHECK_ERROR();
1268: check_sljit_emit_fast_enter(compiler, dst, dstw);
1269: ADJUST_LOCAL_OFFSET(dst, dstw);
1270:
1271: if (dst >= SLJIT_TEMPORARY_REG1 && dst <= SLJIT_NO_REGISTERS)
1272: return push_inst(compiler, ADDU_W | SA(RETURN_ADDR_REG) | TA(0) | D(dst), DR(dst));
1273: else if (dst & SLJIT_MEM)
1274: return emit_op_mem(compiler, WORD_DATA, RETURN_ADDR_REG, dst, dstw);
1275: return SLJIT_SUCCESS;
1276: }
1277:
1278: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_fast_return(struct sljit_compiler *compiler, int src, sljit_w srcw)
1279: {
1280: CHECK_ERROR();
1281: check_sljit_emit_fast_return(compiler, src, srcw);
1282: ADJUST_LOCAL_OFFSET(src, srcw);
1283:
1284: if (src >= SLJIT_TEMPORARY_REG1 && src <= SLJIT_NO_REGISTERS)
1285: FAIL_IF(push_inst(compiler, ADDU_W | S(src) | TA(0) | DA(RETURN_ADDR_REG), RETURN_ADDR_REG));
1286: else if (src & SLJIT_MEM)
1287: FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, RETURN_ADDR_REG, src, srcw));
1288: else if (src & SLJIT_IMM)
1289: FAIL_IF(load_immediate(compiler, RETURN_ADDR_REG, srcw));
1290:
1291: FAIL_IF(push_inst(compiler, JR | SA(RETURN_ADDR_REG), UNMOVABLE_INS));
1292: return push_inst(compiler, NOP, UNMOVABLE_INS);
1293: }
1294:
1295: /* --------------------------------------------------------------------- */
1296: /* Conditional instructions */
1297: /* --------------------------------------------------------------------- */
1298:
1299: SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)
1300: {
1301: struct sljit_label *label;
1302:
1303: CHECK_ERROR_PTR();
1304: check_sljit_emit_label(compiler);
1305:
1306: if (compiler->last_label && compiler->last_label->size == compiler->size)
1307: return compiler->last_label;
1308:
1309: label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));
1310: PTR_FAIL_IF(!label);
1311: set_label(label, compiler);
1312: compiler->delay_slot = UNMOVABLE_INS;
1313: return label;
1314: }
1315:
1316: #if (defined SLJIT_CONFIG_MIPS_32 && SLJIT_CONFIG_MIPS_32)
1317: #define JUMP_LENGTH 4
1318: #else
1319: #define JUMP_LENGTH 7
1320: #endif
1321:
1322: #define BR_Z(src) \
1323: inst = BEQ | SA(src) | TA(0) | JUMP_LENGTH; \
1324: flags = IS_BIT26_COND; \
1325: delay_check = src;
1326:
1327: #define BR_NZ(src) \
1328: inst = BNE | SA(src) | TA(0) | JUMP_LENGTH; \
1329: flags = IS_BIT26_COND; \
1330: delay_check = src;
1331:
1332: #define BR_T() \
1333: inst = BC1T | JUMP_LENGTH; \
1334: flags = IS_BIT16_COND; \
1335: delay_check = FCSR_FCC;
1336:
1337: #define BR_F() \
1338: inst = BC1F | JUMP_LENGTH; \
1339: flags = IS_BIT16_COND; \
1340: delay_check = FCSR_FCC;
1341:
1342: SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, int type)
1343: {
1344: struct sljit_jump *jump;
1345: sljit_ins inst;
1346: int flags = 0;
1347: int delay_check = UNMOVABLE_INS;
1348:
1349: CHECK_ERROR_PTR();
1350: check_sljit_emit_jump(compiler, type);
1351:
1352: jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1353: PTR_FAIL_IF(!jump);
1354: set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
1355: type &= 0xff;
1356:
1357: switch (type) {
1358: case SLJIT_C_EQUAL:
1359: case SLJIT_C_FLOAT_NOT_EQUAL:
1360: BR_NZ(EQUAL_FLAG);
1361: break;
1362: case SLJIT_C_NOT_EQUAL:
1363: case SLJIT_C_FLOAT_EQUAL:
1364: BR_Z(EQUAL_FLAG);
1365: break;
1366: case SLJIT_C_LESS:
1367: case SLJIT_C_FLOAT_LESS:
1368: BR_Z(ULESS_FLAG);
1369: break;
1370: case SLJIT_C_GREATER_EQUAL:
1371: case SLJIT_C_FLOAT_GREATER_EQUAL:
1372: BR_NZ(ULESS_FLAG);
1373: break;
1374: case SLJIT_C_GREATER:
1375: case SLJIT_C_FLOAT_GREATER:
1376: BR_Z(UGREATER_FLAG);
1377: break;
1378: case SLJIT_C_LESS_EQUAL:
1379: case SLJIT_C_FLOAT_LESS_EQUAL:
1380: BR_NZ(UGREATER_FLAG);
1381: break;
1382: case SLJIT_C_SIG_LESS:
1383: BR_Z(LESS_FLAG);
1384: break;
1385: case SLJIT_C_SIG_GREATER_EQUAL:
1386: BR_NZ(LESS_FLAG);
1387: break;
1388: case SLJIT_C_SIG_GREATER:
1389: BR_Z(GREATER_FLAG);
1390: break;
1391: case SLJIT_C_SIG_LESS_EQUAL:
1392: BR_NZ(GREATER_FLAG);
1393: break;
1394: case SLJIT_C_OVERFLOW:
1395: case SLJIT_C_MUL_OVERFLOW:
1396: BR_Z(OVERFLOW_FLAG);
1397: break;
1398: case SLJIT_C_NOT_OVERFLOW:
1399: case SLJIT_C_MUL_NOT_OVERFLOW:
1400: BR_NZ(OVERFLOW_FLAG);
1401: break;
1402: case SLJIT_C_FLOAT_NAN:
1403: BR_F();
1404: break;
1405: case SLJIT_C_FLOAT_NOT_NAN:
1406: BR_T();
1407: break;
1408: default:
1409: /* Not conditional branch. */
1410: inst = 0;
1411: break;
1412: }
1413:
1414: jump->flags |= flags;
1415: if (compiler->delay_slot == MOVABLE_INS || (compiler->delay_slot != UNMOVABLE_INS && compiler->delay_slot != delay_check))
1416: jump->flags |= IS_MOVABLE;
1417:
1418: if (inst)
1419: PTR_FAIL_IF(push_inst(compiler, inst, UNMOVABLE_INS));
1420:
1421: PTR_FAIL_IF(emit_const(compiler, TMP_REG2, 0));
1422: if (type <= SLJIT_JUMP) {
1423: PTR_FAIL_IF(push_inst(compiler, JR | S(TMP_REG2), UNMOVABLE_INS));
1424: jump->addr = compiler->size;
1425: PTR_FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
1426: } else {
1427: SLJIT_ASSERT(DR(PIC_ADDR_REG) == 25 && PIC_ADDR_REG == TMP_REG2);
1428: /* Cannot be optimized out if type is >= CALL0. */
1429: jump->flags |= IS_JAL | (type >= SLJIT_CALL0 ? SLJIT_REWRITABLE_JUMP : 0);
1430: PTR_FAIL_IF(push_inst(compiler, JALR | S(TMP_REG2) | DA(RETURN_ADDR_REG), UNMOVABLE_INS));
1431: jump->addr = compiler->size;
1432: /* A NOP if type < CALL1. */
1433: PTR_FAIL_IF(push_inst(compiler, ADDU_W | S(SLJIT_TEMPORARY_REG1) | TA(0) | DA(4), UNMOVABLE_INS));
1434: }
1435: return jump;
1436: }
1437:
1438: #define RESOLVE_IMM1() \
1439: if (src1 & SLJIT_IMM) { \
1440: if (src1w) { \
1441: PTR_FAIL_IF(load_immediate(compiler, DR(TMP_REG1), src1w)); \
1442: src1 = TMP_REG1; \
1443: } \
1444: else \
1445: src1 = 0; \
1446: }
1447:
1448: #define RESOLVE_IMM2() \
1449: if (src2 & SLJIT_IMM) { \
1450: if (src2w) { \
1451: PTR_FAIL_IF(load_immediate(compiler, DR(TMP_REG2), src2w)); \
1452: src2 = TMP_REG2; \
1453: } \
1454: else \
1455: src2 = 0; \
1456: }
1457:
1458: SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_cmp(struct sljit_compiler *compiler, int type,
1459: int src1, sljit_w src1w,
1460: int src2, sljit_w src2w)
1461: {
1462: struct sljit_jump *jump;
1463: int flags;
1464: sljit_ins inst;
1465:
1466: CHECK_ERROR_PTR();
1467: check_sljit_emit_cmp(compiler, type, src1, src1w, src2, src2w);
1468: ADJUST_LOCAL_OFFSET(src1, src1w);
1469: ADJUST_LOCAL_OFFSET(src2, src2w);
1470:
1471: compiler->cache_arg = 0;
1472: compiler->cache_argw = 0;
1473: flags = ((type & SLJIT_INT_OP) ? INT_DATA : WORD_DATA) | LOAD_DATA;
1474: if (src1 & SLJIT_MEM) {
1475: if (getput_arg_fast(compiler, flags, DR(TMP_REG1), src1, src1w))
1476: PTR_FAIL_IF(compiler->error);
1477: else
1478: PTR_FAIL_IF(getput_arg(compiler, flags, DR(TMP_REG1), src1, src1w, src2, src2w));
1479: src1 = TMP_REG1;
1480: }
1481: if (src2 & SLJIT_MEM) {
1482: if (getput_arg_fast(compiler, flags, DR(TMP_REG2), src2, src2w))
1483: PTR_FAIL_IF(compiler->error);
1484: else
1485: PTR_FAIL_IF(getput_arg(compiler, flags, DR(TMP_REG2), src2, src2w, 0, 0));
1486: src2 = TMP_REG2;
1487: }
1488:
1489: jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1490: PTR_FAIL_IF(!jump);
1491: set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
1492: type &= 0xff;
1493:
1494: if (type <= SLJIT_C_NOT_EQUAL) {
1495: RESOLVE_IMM1();
1496: RESOLVE_IMM2();
1497: jump->flags |= IS_BIT26_COND;
1498: if (compiler->delay_slot == MOVABLE_INS || (compiler->delay_slot != UNMOVABLE_INS && compiler->delay_slot != DR(src1) && compiler->delay_slot != DR(src2)))
1499: jump->flags |= IS_MOVABLE;
1500: PTR_FAIL_IF(push_inst(compiler, (type == SLJIT_C_EQUAL ? BNE : BEQ) | S(src1) | T(src2) | JUMP_LENGTH, UNMOVABLE_INS));
1501: }
1502: else if (type >= SLJIT_C_SIG_LESS && (((src1 & SLJIT_IMM) && (src1w == 0)) || ((src2 & SLJIT_IMM) && (src2w == 0)))) {
1503: inst = NOP;
1504: if ((src1 & SLJIT_IMM) && (src1w == 0)) {
1505: RESOLVE_IMM2();
1506: switch (type) {
1507: case SLJIT_C_SIG_LESS:
1508: inst = BLEZ;
1509: jump->flags |= IS_BIT26_COND;
1510: break;
1511: case SLJIT_C_SIG_GREATER_EQUAL:
1512: inst = BGTZ;
1513: jump->flags |= IS_BIT26_COND;
1514: break;
1515: case SLJIT_C_SIG_GREATER:
1516: inst = BGEZ;
1517: jump->flags |= IS_BIT16_COND;
1518: break;
1519: case SLJIT_C_SIG_LESS_EQUAL:
1520: inst = BLTZ;
1521: jump->flags |= IS_BIT16_COND;
1522: break;
1523: }
1524: src1 = src2;
1525: }
1526: else {
1527: RESOLVE_IMM1();
1528: switch (type) {
1529: case SLJIT_C_SIG_LESS:
1530: inst = BGEZ;
1531: jump->flags |= IS_BIT16_COND;
1532: break;
1533: case SLJIT_C_SIG_GREATER_EQUAL:
1534: inst = BLTZ;
1535: jump->flags |= IS_BIT16_COND;
1536: break;
1537: case SLJIT_C_SIG_GREATER:
1538: inst = BLEZ;
1539: jump->flags |= IS_BIT26_COND;
1540: break;
1541: case SLJIT_C_SIG_LESS_EQUAL:
1542: inst = BGTZ;
1543: jump->flags |= IS_BIT26_COND;
1544: break;
1545: }
1546: }
1547: PTR_FAIL_IF(push_inst(compiler, inst | S(src1) | JUMP_LENGTH, UNMOVABLE_INS));
1548: }
1549: else {
1550: if (type == SLJIT_C_LESS || type == SLJIT_C_GREATER_EQUAL || type == SLJIT_C_SIG_LESS || type == SLJIT_C_SIG_GREATER_EQUAL) {
1551: RESOLVE_IMM1();
1552: if ((src2 & SLJIT_IMM) && src2w <= SIMM_MAX && src2w >= SIMM_MIN)
1553: PTR_FAIL_IF(push_inst(compiler, (type <= SLJIT_C_LESS_EQUAL ? SLTIU : SLTI) | S(src1) | T(TMP_REG1) | IMM(src2w), DR(TMP_REG1)));
1554: else {
1555: RESOLVE_IMM2();
1556: PTR_FAIL_IF(push_inst(compiler, (type <= SLJIT_C_LESS_EQUAL ? SLTU : SLT) | S(src1) | T(src2) | D(TMP_REG1), DR(TMP_REG1)));
1557: }
1558: type = (type == SLJIT_C_LESS || type == SLJIT_C_SIG_LESS) ? SLJIT_C_NOT_EQUAL : SLJIT_C_EQUAL;
1559: }
1560: else {
1561: RESOLVE_IMM2();
1562: if ((src1 & SLJIT_IMM) && src1w <= SIMM_MAX && src1w >= SIMM_MIN)
1563: PTR_FAIL_IF(push_inst(compiler, (type <= SLJIT_C_LESS_EQUAL ? SLTIU : SLTI) | S(src2) | T(TMP_REG1) | IMM(src1w), DR(TMP_REG1)));
1564: else {
1565: RESOLVE_IMM1();
1566: PTR_FAIL_IF(push_inst(compiler, (type <= SLJIT_C_LESS_EQUAL ? SLTU : SLT) | S(src2) | T(src1) | D(TMP_REG1), DR(TMP_REG1)));
1567: }
1568: type = (type == SLJIT_C_GREATER || type == SLJIT_C_SIG_GREATER) ? SLJIT_C_NOT_EQUAL : SLJIT_C_EQUAL;
1569: }
1570:
1571: jump->flags |= IS_BIT26_COND;
1572: PTR_FAIL_IF(push_inst(compiler, (type == SLJIT_C_EQUAL ? BNE : BEQ) | S(TMP_REG1) | TA(0) | JUMP_LENGTH, UNMOVABLE_INS));
1573: }
1574:
1575: PTR_FAIL_IF(emit_const(compiler, TMP_REG2, 0));
1576: PTR_FAIL_IF(push_inst(compiler, JR | S(TMP_REG2), UNMOVABLE_INS));
1577: jump->addr = compiler->size;
1578: PTR_FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
1579: return jump;
1580: }
1581:
1582: #undef RESOLVE_IMM1
1583: #undef RESOLVE_IMM2
1584:
1585: SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_fcmp(struct sljit_compiler *compiler, int type,
1586: int src1, sljit_w src1w,
1587: int src2, sljit_w src2w)
1588: {
1589: struct sljit_jump *jump;
1590: sljit_ins inst;
1591: int if_true;
1592:
1593: CHECK_ERROR_PTR();
1594: check_sljit_emit_fcmp(compiler, type, src1, src1w, src2, src2w);
1595:
1596: compiler->cache_arg = 0;
1597: compiler->cache_argw = 0;
1598:
1599: if (src1 > SLJIT_FLOAT_REG4) {
1600: PTR_FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG1, 1, src1, src1w));
1601: src1 = TMP_FREG1;
1602: }
1603: if (src2 > SLJIT_FLOAT_REG4) {
1604: PTR_FAIL_IF(emit_fpu_data_transfer(compiler, TMP_FREG2, 1, src2, src2w));
1605: src2 = TMP_FREG2;
1606: }
1607:
1608: jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1609: PTR_FAIL_IF(!jump);
1610: set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
1611: jump->flags |= IS_BIT16_COND;
1612: type &= 0xff;
1613:
1614: switch (type) {
1615: case SLJIT_C_FLOAT_EQUAL:
1616: inst = C_UEQ_D;
1617: if_true = 1;
1618: break;
1619: case SLJIT_C_FLOAT_NOT_EQUAL:
1620: inst = C_UEQ_D;
1621: if_true = 0;
1622: break;
1623: case SLJIT_C_FLOAT_LESS:
1624: inst = C_ULT_D;
1625: if_true = 1;
1626: break;
1627: case SLJIT_C_FLOAT_GREATER_EQUAL:
1628: inst = C_ULT_D;
1629: if_true = 0;
1630: break;
1631: case SLJIT_C_FLOAT_GREATER:
1632: inst = C_ULE_D;
1633: if_true = 0;
1634: break;
1635: case SLJIT_C_FLOAT_LESS_EQUAL:
1636: inst = C_ULE_D;
1637: if_true = 1;
1638: break;
1639: case SLJIT_C_FLOAT_NAN:
1640: inst = C_UN_D;
1641: if_true = 1;
1642: break;
1643: case SLJIT_C_FLOAT_NOT_NAN:
1644: default: /* Make compilers happy. */
1645: inst = C_UN_D;
1646: if_true = 0;
1647: break;
1648: }
1649:
1650: PTR_FAIL_IF(push_inst(compiler, inst | FT(src2) | FS(src1), UNMOVABLE_INS));
1651: /* Intentionally the other opcode. */
1652: PTR_FAIL_IF(push_inst(compiler, (if_true ? BC1F : BC1T) | JUMP_LENGTH, UNMOVABLE_INS));
1653: PTR_FAIL_IF(emit_const(compiler, TMP_REG2, 0));
1654: PTR_FAIL_IF(push_inst(compiler, JR | S(TMP_REG2), UNMOVABLE_INS));
1655: jump->addr = compiler->size;
1656: PTR_FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
1657: return jump;
1658: }
1659:
1660: #undef JUMP_LENGTH
1661: #undef BR_Z
1662: #undef BR_NZ
1663: #undef BR_T
1664: #undef BR_F
1665:
1666: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_ijump(struct sljit_compiler *compiler, int type, int src, sljit_w srcw)
1667: {
1668: int src_r = TMP_REG2;
1669: struct sljit_jump *jump = NULL;
1670:
1671: CHECK_ERROR();
1672: check_sljit_emit_ijump(compiler, type, src, srcw);
1673: ADJUST_LOCAL_OFFSET(src, srcw);
1674:
1675: if (src >= SLJIT_TEMPORARY_REG1 && src <= SLJIT_NO_REGISTERS) {
1676: if (DR(src) != 4)
1677: src_r = src;
1678: else
1679: FAIL_IF(push_inst(compiler, ADDU_W | S(src) | TA(0) | D(TMP_REG2), DR(TMP_REG2)));
1680: }
1681:
1682: if (type >= SLJIT_CALL0) {
1683: SLJIT_ASSERT(DR(PIC_ADDR_REG) == 25 && PIC_ADDR_REG == TMP_REG2);
1684: if (src & (SLJIT_IMM | SLJIT_MEM)) {
1685: if (src & SLJIT_IMM)
1686: FAIL_IF(load_immediate(compiler, DR(PIC_ADDR_REG), srcw));
1687: else {
1688: SLJIT_ASSERT(src_r == TMP_REG2 && (src & SLJIT_MEM));
1689: FAIL_IF(emit_op(compiler, SLJIT_MOV, WORD_DATA, TMP_REG2, 0, TMP_REG1, 0, src, srcw));
1690: }
1691: FAIL_IF(push_inst(compiler, JALR | S(PIC_ADDR_REG) | DA(RETURN_ADDR_REG), UNMOVABLE_INS));
1692: /* We need an extra instruction in any case. */
1693: return push_inst(compiler, ADDU_W | S(SLJIT_TEMPORARY_REG1) | TA(0) | DA(4), UNMOVABLE_INS);
1694: }
1695:
1696: /* Register input. */
1697: if (type >= SLJIT_CALL1)
1698: FAIL_IF(push_inst(compiler, ADDU_W | S(SLJIT_TEMPORARY_REG1) | TA(0) | DA(4), 4));
1699: FAIL_IF(push_inst(compiler, JALR | S(src_r) | DA(RETURN_ADDR_REG), UNMOVABLE_INS));
1700: return push_inst(compiler, ADDU_W | S(src_r) | TA(0) | D(PIC_ADDR_REG), UNMOVABLE_INS);
1701: }
1702:
1703: if (src & SLJIT_IMM) {
1704: jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
1705: FAIL_IF(!jump);
1706: set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_JAL : 0));
1707: jump->u.target = srcw;
1708:
1709: if (compiler->delay_slot != UNMOVABLE_INS)
1710: jump->flags |= IS_MOVABLE;
1711:
1712: FAIL_IF(emit_const(compiler, TMP_REG2, 0));
1713: }
1714: else if (src & SLJIT_MEM)
1715: FAIL_IF(emit_op(compiler, SLJIT_MOV, WORD_DATA, TMP_REG2, 0, TMP_REG1, 0, src, srcw));
1716:
1717: FAIL_IF(push_inst(compiler, JR | S(src_r), UNMOVABLE_INS));
1718: if (jump)
1719: jump->addr = compiler->size;
1720: FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
1721: return SLJIT_SUCCESS;
1722: }
1723:
1724: SLJIT_API_FUNC_ATTRIBUTE int sljit_emit_cond_value(struct sljit_compiler *compiler, int op, int dst, sljit_w dstw, int type)
1725: {
1726: int sugg_dst_ar, dst_ar;
1727:
1728: CHECK_ERROR();
1729: check_sljit_emit_cond_value(compiler, op, dst, dstw, type);
1730: ADJUST_LOCAL_OFFSET(dst, dstw);
1731:
1732: if (dst == SLJIT_UNUSED)
1733: return SLJIT_SUCCESS;
1734:
1735: sugg_dst_ar = DR((op == SLJIT_MOV && dst >= SLJIT_TEMPORARY_REG1 && dst <= SLJIT_NO_REGISTERS) ? dst : TMP_REG2);
1736:
1737: switch (type) {
1738: case SLJIT_C_EQUAL:
1739: case SLJIT_C_NOT_EQUAL:
1740: FAIL_IF(push_inst(compiler, SLTIU | SA(EQUAL_FLAG) | TA(sugg_dst_ar) | IMM(1), sugg_dst_ar));
1741: dst_ar = sugg_dst_ar;
1742: break;
1743: case SLJIT_C_LESS:
1744: case SLJIT_C_GREATER_EQUAL:
1745: case SLJIT_C_FLOAT_LESS:
1746: case SLJIT_C_FLOAT_GREATER_EQUAL:
1747: dst_ar = ULESS_FLAG;
1748: break;
1749: case SLJIT_C_GREATER:
1750: case SLJIT_C_LESS_EQUAL:
1751: case SLJIT_C_FLOAT_GREATER:
1752: case SLJIT_C_FLOAT_LESS_EQUAL:
1753: dst_ar = UGREATER_FLAG;
1754: break;
1755: case SLJIT_C_SIG_LESS:
1756: case SLJIT_C_SIG_GREATER_EQUAL:
1757: dst_ar = LESS_FLAG;
1758: break;
1759: case SLJIT_C_SIG_GREATER:
1760: case SLJIT_C_SIG_LESS_EQUAL:
1761: dst_ar = GREATER_FLAG;
1762: break;
1763: case SLJIT_C_OVERFLOW:
1764: case SLJIT_C_NOT_OVERFLOW:
1765: dst_ar = OVERFLOW_FLAG;
1766: break;
1767: case SLJIT_C_MUL_OVERFLOW:
1768: case SLJIT_C_MUL_NOT_OVERFLOW:
1769: FAIL_IF(push_inst(compiler, SLTIU | SA(OVERFLOW_FLAG) | TA(sugg_dst_ar) | IMM(1), sugg_dst_ar));
1770: dst_ar = sugg_dst_ar;
1771: type ^= 0x1; /* Flip type bit for the XORI below. */
1772: break;
1773: case SLJIT_C_FLOAT_EQUAL:
1774: case SLJIT_C_FLOAT_NOT_EQUAL:
1775: dst_ar = EQUAL_FLAG;
1776: break;
1777:
1778: case SLJIT_C_FLOAT_NAN:
1779: case SLJIT_C_FLOAT_NOT_NAN:
1780: FAIL_IF(push_inst(compiler, CFC1 | TA(sugg_dst_ar) | DA(FCSR_REG), sugg_dst_ar));
1781: FAIL_IF(push_inst(compiler, SRL | TA(sugg_dst_ar) | DA(sugg_dst_ar) | SH_IMM(23), sugg_dst_ar));
1782: FAIL_IF(push_inst(compiler, ANDI | SA(sugg_dst_ar) | TA(sugg_dst_ar) | IMM(1), sugg_dst_ar));
1783: dst_ar = sugg_dst_ar;
1784: break;
1785:
1786: default:
1787: SLJIT_ASSERT_STOP();
1788: dst_ar = sugg_dst_ar;
1789: break;
1790: }
1791:
1792: if (type & 0x1) {
1793: FAIL_IF(push_inst(compiler, XORI | SA(dst_ar) | TA(sugg_dst_ar) | IMM(1), sugg_dst_ar));
1794: dst_ar = sugg_dst_ar;
1795: }
1796:
1797: if (GET_OPCODE(op) == SLJIT_OR) {
1798: if (DR(TMP_REG2) != dst_ar)
1799: FAIL_IF(push_inst(compiler, ADDU_W | SA(dst_ar) | TA(0) | D(TMP_REG2), DR(TMP_REG2)));
1800: return emit_op(compiler, op, CUMULATIVE_OP | LOGICAL_OP | IMM_OP, dst, dstw, dst, dstw, TMP_REG2, 0);
1801: }
1802:
1803: if (dst & SLJIT_MEM)
1804: return emit_op_mem(compiler, WORD_DATA, dst_ar, dst, dstw);
1805:
1806: if (sugg_dst_ar != dst_ar)
1807: return push_inst(compiler, ADDU_W | SA(dst_ar) | TA(0) | DA(sugg_dst_ar), sugg_dst_ar);
1808: return SLJIT_SUCCESS;
1809: }
1810:
1811: SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, int dst, sljit_w dstw, sljit_w init_value)
1812: {
1813: struct sljit_const *const_;
1814: int reg;
1815:
1816: CHECK_ERROR_PTR();
1817: check_sljit_emit_const(compiler, dst, dstw, init_value);
1818: ADJUST_LOCAL_OFFSET(dst, dstw);
1819:
1820: const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));
1821: PTR_FAIL_IF(!const_);
1822: set_const(const_, compiler);
1823:
1824: reg = (dst >= SLJIT_TEMPORARY_REG1 && dst <= SLJIT_NO_REGISTERS) ? dst : TMP_REG2;
1825:
1826: PTR_FAIL_IF(emit_const(compiler, reg, init_value));
1827:
1828: if (dst & SLJIT_MEM)
1829: PTR_FAIL_IF(emit_op(compiler, SLJIT_MOV, WORD_DATA, dst, dstw, TMP_REG1, 0, TMP_REG2, 0));
1830: return const_;
1831: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to sljitNativeMIPS_common.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