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