xref: /aosp_15_r20/external/pcre/src/sljit/sljitNativeMIPS_64.c (revision 22dc650d8ae982c6770746019a6f94af92b0f024)
1*22dc650dSSadaf Ebrahimi /*
2*22dc650dSSadaf Ebrahimi  *    Stack-less Just-In-Time compiler
3*22dc650dSSadaf Ebrahimi  *
4*22dc650dSSadaf Ebrahimi  *    Copyright Zoltan Herczeg ([email protected]). All rights reserved.
5*22dc650dSSadaf Ebrahimi  *
6*22dc650dSSadaf Ebrahimi  * Redistribution and use in source and binary forms, with or without modification, are
7*22dc650dSSadaf Ebrahimi  * permitted provided that the following conditions are met:
8*22dc650dSSadaf Ebrahimi  *
9*22dc650dSSadaf Ebrahimi  *   1. Redistributions of source code must retain the above copyright notice, this list of
10*22dc650dSSadaf Ebrahimi  *      conditions and the following disclaimer.
11*22dc650dSSadaf Ebrahimi  *
12*22dc650dSSadaf Ebrahimi  *   2. Redistributions in binary form must reproduce the above copyright notice, this list
13*22dc650dSSadaf Ebrahimi  *      of conditions and the following disclaimer in the documentation and/or other materials
14*22dc650dSSadaf Ebrahimi  *      provided with the distribution.
15*22dc650dSSadaf Ebrahimi  *
16*22dc650dSSadaf Ebrahimi  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
17*22dc650dSSadaf Ebrahimi  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18*22dc650dSSadaf Ebrahimi  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
19*22dc650dSSadaf Ebrahimi  * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20*22dc650dSSadaf Ebrahimi  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
21*22dc650dSSadaf Ebrahimi  * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
22*22dc650dSSadaf Ebrahimi  * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23*22dc650dSSadaf Ebrahimi  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
24*22dc650dSSadaf Ebrahimi  * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25*22dc650dSSadaf Ebrahimi  */
26*22dc650dSSadaf Ebrahimi 
27*22dc650dSSadaf Ebrahimi /* mips 64-bit arch dependent functions. */
28*22dc650dSSadaf Ebrahimi 
emit_copysign(struct sljit_compiler * compiler,sljit_s32 op,sljit_s32 src1,sljit_s32 src2,sljit_s32 dst)29*22dc650dSSadaf Ebrahimi static sljit_s32 emit_copysign(struct sljit_compiler *compiler, sljit_s32 op,
30*22dc650dSSadaf Ebrahimi 		sljit_s32 src1, sljit_s32 src2, sljit_s32 dst)
31*22dc650dSSadaf Ebrahimi {
32*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, SELECT_OP(DMFC1, MFC1) | T(TMP_REG1) | FS(src1), DR(TMP_REG1)));
33*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, SELECT_OP(DMFC1, MFC1) | T(TMP_REG2) | FS(src2), DR(TMP_REG2)));
34*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, XOR | S(TMP_REG2) | T(TMP_REG1) | D(TMP_REG2), DR(TMP_REG2)));
35*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, SELECT_OP(DSRL32, SRL) | T(TMP_REG2) | D(TMP_REG2) | SH_IMM(31), DR(TMP_REG2)));
36*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, SELECT_OP(DSLL32, SLL) | T(TMP_REG2) | D(TMP_REG2) | SH_IMM(31), DR(TMP_REG2)));
37*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, XOR | S(TMP_REG1) | T(TMP_REG2) | D(TMP_REG1), DR(TMP_REG1)));
38*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, SELECT_OP(DMTC1, MTC1) | T(TMP_REG1) | FS(dst), MOVABLE_INS));
39*22dc650dSSadaf Ebrahimi #if !defined(SLJIT_MIPS_REV) || SLJIT_MIPS_REV <= 1
40*22dc650dSSadaf Ebrahimi 	if (!(op & SLJIT_32))
41*22dc650dSSadaf Ebrahimi 		return push_inst(compiler, NOP, UNMOVABLE_INS);
42*22dc650dSSadaf Ebrahimi #endif /* MIPS III */
43*22dc650dSSadaf Ebrahimi 	return SLJIT_SUCCESS;
44*22dc650dSSadaf Ebrahimi }
45*22dc650dSSadaf Ebrahimi 
load_immediate(struct sljit_compiler * compiler,sljit_s32 dst_ar,sljit_sw imm)46*22dc650dSSadaf Ebrahimi static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst_ar, sljit_sw imm)
47*22dc650dSSadaf Ebrahimi {
48*22dc650dSSadaf Ebrahimi 	sljit_s32 shift = 32;
49*22dc650dSSadaf Ebrahimi 	sljit_s32 shift2;
50*22dc650dSSadaf Ebrahimi 	sljit_s32 inv = 0;
51*22dc650dSSadaf Ebrahimi 	sljit_ins ins;
52*22dc650dSSadaf Ebrahimi 	sljit_uw uimm;
53*22dc650dSSadaf Ebrahimi 
54*22dc650dSSadaf Ebrahimi 	if (!(imm & ~0xffff))
55*22dc650dSSadaf Ebrahimi 		return push_inst(compiler, ORI | SA(0) | TA(dst_ar) | IMM(imm), dst_ar);
56*22dc650dSSadaf Ebrahimi 
57*22dc650dSSadaf Ebrahimi 	if (imm < 0 && imm >= SIMM_MIN)
58*22dc650dSSadaf Ebrahimi 		return push_inst(compiler, ADDIU | SA(0) | TA(dst_ar) | IMM(imm), dst_ar);
59*22dc650dSSadaf Ebrahimi 
60*22dc650dSSadaf Ebrahimi 	if (imm <= 0x7fffffffl && imm >= -0x80000000l) {
61*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, LUI | TA(dst_ar) | IMM(imm >> 16), dst_ar));
62*22dc650dSSadaf Ebrahimi 		return (imm & 0xffff) ? push_inst(compiler, ORI | SA(dst_ar) | TA(dst_ar) | IMM(imm), dst_ar) : SLJIT_SUCCESS;
63*22dc650dSSadaf Ebrahimi 	}
64*22dc650dSSadaf Ebrahimi 
65*22dc650dSSadaf Ebrahimi 	/* Zero extended number. */
66*22dc650dSSadaf Ebrahimi 	uimm = (sljit_uw)imm;
67*22dc650dSSadaf Ebrahimi 	if (imm < 0) {
68*22dc650dSSadaf Ebrahimi 		uimm = ~(sljit_uw)imm;
69*22dc650dSSadaf Ebrahimi 		inv = 1;
70*22dc650dSSadaf Ebrahimi 	}
71*22dc650dSSadaf Ebrahimi 
72*22dc650dSSadaf Ebrahimi 	while (!(uimm & 0xff00000000000000l)) {
73*22dc650dSSadaf Ebrahimi 		shift -= 8;
74*22dc650dSSadaf Ebrahimi 		uimm <<= 8;
75*22dc650dSSadaf Ebrahimi 	}
76*22dc650dSSadaf Ebrahimi 
77*22dc650dSSadaf Ebrahimi 	if (!(uimm & 0xf000000000000000l)) {
78*22dc650dSSadaf Ebrahimi 		shift -= 4;
79*22dc650dSSadaf Ebrahimi 		uimm <<= 4;
80*22dc650dSSadaf Ebrahimi 	}
81*22dc650dSSadaf Ebrahimi 
82*22dc650dSSadaf Ebrahimi 	if (!(uimm & 0xc000000000000000l)) {
83*22dc650dSSadaf Ebrahimi 		shift -= 2;
84*22dc650dSSadaf Ebrahimi 		uimm <<= 2;
85*22dc650dSSadaf Ebrahimi 	}
86*22dc650dSSadaf Ebrahimi 
87*22dc650dSSadaf Ebrahimi 	if ((sljit_sw)uimm < 0) {
88*22dc650dSSadaf Ebrahimi 		uimm >>= 1;
89*22dc650dSSadaf Ebrahimi 		shift += 1;
90*22dc650dSSadaf Ebrahimi 	}
91*22dc650dSSadaf Ebrahimi 	SLJIT_ASSERT(((uimm & 0xc000000000000000l) == 0x4000000000000000l) && (shift > 0) && (shift <= 32));
92*22dc650dSSadaf Ebrahimi 
93*22dc650dSSadaf Ebrahimi 	if (inv)
94*22dc650dSSadaf Ebrahimi 		uimm = ~uimm;
95*22dc650dSSadaf Ebrahimi 
96*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, LUI | TA(dst_ar) | IMM(uimm >> 48), dst_ar));
97*22dc650dSSadaf Ebrahimi 	if (uimm & 0x0000ffff00000000l)
98*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, ORI | SA(dst_ar) | TA(dst_ar) | IMM(uimm >> 32), dst_ar));
99*22dc650dSSadaf Ebrahimi 
100*22dc650dSSadaf Ebrahimi 	imm &= (1l << shift) - 1;
101*22dc650dSSadaf Ebrahimi 	if (!(imm & ~0xffff)) {
102*22dc650dSSadaf Ebrahimi 		ins = (shift == 32) ? DSLL32 : DSLL;
103*22dc650dSSadaf Ebrahimi 		if (shift < 32)
104*22dc650dSSadaf Ebrahimi 			ins |= SH_IMM(shift);
105*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, ins | TA(dst_ar) | DA(dst_ar), dst_ar));
106*22dc650dSSadaf Ebrahimi 		return !(imm & 0xffff) ? SLJIT_SUCCESS : push_inst(compiler, ORI | SA(dst_ar) | TA(dst_ar) | IMM(imm), dst_ar);
107*22dc650dSSadaf Ebrahimi 	}
108*22dc650dSSadaf Ebrahimi 
109*22dc650dSSadaf Ebrahimi 	/* Double shifts needs to be performed. */
110*22dc650dSSadaf Ebrahimi 	uimm <<= 32;
111*22dc650dSSadaf Ebrahimi 	shift2 = shift - 16;
112*22dc650dSSadaf Ebrahimi 
113*22dc650dSSadaf Ebrahimi 	while (!(uimm & 0xf000000000000000l)) {
114*22dc650dSSadaf Ebrahimi 		shift2 -= 4;
115*22dc650dSSadaf Ebrahimi 		uimm <<= 4;
116*22dc650dSSadaf Ebrahimi 	}
117*22dc650dSSadaf Ebrahimi 
118*22dc650dSSadaf Ebrahimi 	if (!(uimm & 0xc000000000000000l)) {
119*22dc650dSSadaf Ebrahimi 		shift2 -= 2;
120*22dc650dSSadaf Ebrahimi 		uimm <<= 2;
121*22dc650dSSadaf Ebrahimi 	}
122*22dc650dSSadaf Ebrahimi 
123*22dc650dSSadaf Ebrahimi 	if (!(uimm & 0x8000000000000000l)) {
124*22dc650dSSadaf Ebrahimi 		shift2--;
125*22dc650dSSadaf Ebrahimi 		uimm <<= 1;
126*22dc650dSSadaf Ebrahimi 	}
127*22dc650dSSadaf Ebrahimi 
128*22dc650dSSadaf Ebrahimi 	SLJIT_ASSERT((uimm & 0x8000000000000000l) && (shift2 > 0) && (shift2 <= 16));
129*22dc650dSSadaf Ebrahimi 
130*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, DSLL | TA(dst_ar) | DA(dst_ar) | SH_IMM(shift - shift2), dst_ar));
131*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, ORI | SA(dst_ar) | TA(dst_ar) | IMM(uimm >> 48), dst_ar));
132*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, DSLL | TA(dst_ar) | DA(dst_ar) | SH_IMM(shift2), dst_ar));
133*22dc650dSSadaf Ebrahimi 
134*22dc650dSSadaf Ebrahimi 	imm &= (1l << shift2) - 1;
135*22dc650dSSadaf Ebrahimi 	return !(imm & 0xffff) ? SLJIT_SUCCESS : push_inst(compiler, ORI | SA(dst_ar) | TA(dst_ar) | IMM(imm), dst_ar);
136*22dc650dSSadaf Ebrahimi }
137*22dc650dSSadaf Ebrahimi 
emit_const(struct sljit_compiler * compiler,sljit_s32 dst,sljit_sw init_value)138*22dc650dSSadaf Ebrahimi static SLJIT_INLINE sljit_s32 emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw init_value)
139*22dc650dSSadaf Ebrahimi {
140*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, LUI | T(dst) | IMM(init_value >> 48), DR(dst)));
141*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, ORI | S(dst) | T(dst) | IMM(init_value >> 32), DR(dst)));
142*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, DSLL | T(dst) | D(dst) | SH_IMM(16), DR(dst)));
143*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, ORI | S(dst) | T(dst) | IMM(init_value >> 16), DR(dst)));
144*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, DSLL | T(dst) | D(dst) | SH_IMM(16), DR(dst)));
145*22dc650dSSadaf Ebrahimi 	return push_inst(compiler, ORI | S(dst) | T(dst) | IMM(init_value), DR(dst));
146*22dc650dSSadaf Ebrahimi }
147*22dc650dSSadaf Ebrahimi 
sljit_emit_fset64(struct sljit_compiler * compiler,sljit_s32 freg,sljit_f64 value)148*22dc650dSSadaf Ebrahimi SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset64(struct sljit_compiler *compiler,
149*22dc650dSSadaf Ebrahimi 	sljit_s32 freg, sljit_f64 value)
150*22dc650dSSadaf Ebrahimi {
151*22dc650dSSadaf Ebrahimi 	union {
152*22dc650dSSadaf Ebrahimi 		sljit_sw imm;
153*22dc650dSSadaf Ebrahimi 		sljit_f64 value;
154*22dc650dSSadaf Ebrahimi 	} u;
155*22dc650dSSadaf Ebrahimi 
156*22dc650dSSadaf Ebrahimi 	CHECK_ERROR();
157*22dc650dSSadaf Ebrahimi 	CHECK(check_sljit_emit_fset64(compiler, freg, value));
158*22dc650dSSadaf Ebrahimi 
159*22dc650dSSadaf Ebrahimi 	u.value = value;
160*22dc650dSSadaf Ebrahimi 
161*22dc650dSSadaf Ebrahimi 	if (u.imm == 0) {
162*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, DMTC1 | TA(0) | FS(freg), MOVABLE_INS));
163*22dc650dSSadaf Ebrahimi #if !defined(SLJIT_MIPS_REV) || SLJIT_MIPS_REV <= 1
164*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
165*22dc650dSSadaf Ebrahimi #endif /* MIPS III */
166*22dc650dSSadaf Ebrahimi 		return SLJIT_SUCCESS;
167*22dc650dSSadaf Ebrahimi 	}
168*22dc650dSSadaf Ebrahimi 
169*22dc650dSSadaf Ebrahimi 	FAIL_IF(load_immediate(compiler, DR(TMP_REG1), u.imm));
170*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, DMTC1 | T(TMP_REG1) | FS(freg), MOVABLE_INS));
171*22dc650dSSadaf Ebrahimi #if !defined(SLJIT_MIPS_REV) || SLJIT_MIPS_REV <= 1
172*22dc650dSSadaf Ebrahimi 	FAIL_IF(push_inst(compiler, NOP, UNMOVABLE_INS));
173*22dc650dSSadaf Ebrahimi #endif /* MIPS III */
174*22dc650dSSadaf Ebrahimi 	return SLJIT_SUCCESS;
175*22dc650dSSadaf Ebrahimi }
176*22dc650dSSadaf Ebrahimi 
sljit_emit_fcopy(struct sljit_compiler * compiler,sljit_s32 op,sljit_s32 freg,sljit_s32 reg)177*22dc650dSSadaf Ebrahimi SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fcopy(struct sljit_compiler *compiler, sljit_s32 op,
178*22dc650dSSadaf Ebrahimi 	sljit_s32 freg, sljit_s32 reg)
179*22dc650dSSadaf Ebrahimi {
180*22dc650dSSadaf Ebrahimi 	sljit_ins inst;
181*22dc650dSSadaf Ebrahimi 
182*22dc650dSSadaf Ebrahimi 	CHECK_ERROR();
183*22dc650dSSadaf Ebrahimi 	CHECK(check_sljit_emit_fcopy(compiler, op, freg, reg));
184*22dc650dSSadaf Ebrahimi 
185*22dc650dSSadaf Ebrahimi 	inst = T(reg) | FS(freg);
186*22dc650dSSadaf Ebrahimi 
187*22dc650dSSadaf Ebrahimi 	if (GET_OPCODE(op) == SLJIT_COPY_TO_F64)
188*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, SELECT_OP(DMTC1, MTC1) | inst, MOVABLE_INS));
189*22dc650dSSadaf Ebrahimi 	else
190*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, SELECT_OP(DMFC1, MFC1) | inst, DR(reg)));
191*22dc650dSSadaf Ebrahimi 
192*22dc650dSSadaf Ebrahimi #if !defined(SLJIT_MIPS_REV) || SLJIT_MIPS_REV <= 1
193*22dc650dSSadaf Ebrahimi 	if (!(op & SLJIT_32))
194*22dc650dSSadaf Ebrahimi 		return push_inst(compiler, NOP, UNMOVABLE_INS);
195*22dc650dSSadaf Ebrahimi #endif /* MIPS III */
196*22dc650dSSadaf Ebrahimi 	return SLJIT_SUCCESS;
197*22dc650dSSadaf Ebrahimi }
198*22dc650dSSadaf Ebrahimi 
sljit_set_jump_addr(sljit_uw addr,sljit_uw new_target,sljit_sw executable_offset)199*22dc650dSSadaf Ebrahimi SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)
200*22dc650dSSadaf Ebrahimi {
201*22dc650dSSadaf Ebrahimi 	sljit_ins *inst = (sljit_ins *)addr;
202*22dc650dSSadaf Ebrahimi 	SLJIT_UNUSED_ARG(executable_offset);
203*22dc650dSSadaf Ebrahimi 
204*22dc650dSSadaf Ebrahimi 	SLJIT_UPDATE_WX_FLAGS(inst, inst + 6, 0);
205*22dc650dSSadaf Ebrahimi 	inst[0] = (inst[0] & 0xffff0000) | ((sljit_ins)(new_target >> 48) & 0xffff);
206*22dc650dSSadaf Ebrahimi 	inst[1] = (inst[1] & 0xffff0000) | ((sljit_ins)(new_target >> 32) & 0xffff);
207*22dc650dSSadaf Ebrahimi 	inst[3] = (inst[3] & 0xffff0000) | ((sljit_ins)(new_target >> 16) & 0xffff);
208*22dc650dSSadaf Ebrahimi 	inst[5] = (inst[5] & 0xffff0000) | ((sljit_ins)new_target & 0xffff);
209*22dc650dSSadaf Ebrahimi 	SLJIT_UPDATE_WX_FLAGS(inst, inst + 6, 1);
210*22dc650dSSadaf Ebrahimi 	inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);
211*22dc650dSSadaf Ebrahimi 	SLJIT_CACHE_FLUSH(inst, inst + 6);
212*22dc650dSSadaf Ebrahimi }
213*22dc650dSSadaf Ebrahimi 
sljit_set_const(sljit_uw addr,sljit_sw new_constant,sljit_sw executable_offset)214*22dc650dSSadaf Ebrahimi SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset)
215*22dc650dSSadaf Ebrahimi {
216*22dc650dSSadaf Ebrahimi 	sljit_set_jump_addr(addr, (sljit_uw)new_constant, executable_offset);
217*22dc650dSSadaf Ebrahimi }
218*22dc650dSSadaf Ebrahimi 
call_with_args(struct sljit_compiler * compiler,sljit_s32 arg_types,sljit_ins * ins_ptr)219*22dc650dSSadaf Ebrahimi static sljit_s32 call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types, sljit_ins *ins_ptr)
220*22dc650dSSadaf Ebrahimi {
221*22dc650dSSadaf Ebrahimi 	sljit_s32 arg_count = 0;
222*22dc650dSSadaf Ebrahimi 	sljit_s32 word_arg_count = 0;
223*22dc650dSSadaf Ebrahimi 	sljit_s32 float_arg_count = 0;
224*22dc650dSSadaf Ebrahimi 	sljit_s32 types = 0;
225*22dc650dSSadaf Ebrahimi 	sljit_ins prev_ins = *ins_ptr;
226*22dc650dSSadaf Ebrahimi 	sljit_ins ins = NOP;
227*22dc650dSSadaf Ebrahimi 
228*22dc650dSSadaf Ebrahimi 	SLJIT_ASSERT(reg_map[TMP_REG2] == 4 && freg_map[TMP_FREG1] == 12);
229*22dc650dSSadaf Ebrahimi 
230*22dc650dSSadaf Ebrahimi 	arg_types >>= SLJIT_ARG_SHIFT;
231*22dc650dSSadaf Ebrahimi 
232*22dc650dSSadaf Ebrahimi 	while (arg_types) {
233*22dc650dSSadaf Ebrahimi 		types = (types << SLJIT_ARG_SHIFT) | (arg_types & SLJIT_ARG_MASK);
234*22dc650dSSadaf Ebrahimi 
235*22dc650dSSadaf Ebrahimi 		switch (arg_types & SLJIT_ARG_MASK) {
236*22dc650dSSadaf Ebrahimi 		case SLJIT_ARG_TYPE_F64:
237*22dc650dSSadaf Ebrahimi 		case SLJIT_ARG_TYPE_F32:
238*22dc650dSSadaf Ebrahimi 			arg_count++;
239*22dc650dSSadaf Ebrahimi 			float_arg_count++;
240*22dc650dSSadaf Ebrahimi 			break;
241*22dc650dSSadaf Ebrahimi 		default:
242*22dc650dSSadaf Ebrahimi 			arg_count++;
243*22dc650dSSadaf Ebrahimi 			word_arg_count++;
244*22dc650dSSadaf Ebrahimi 			break;
245*22dc650dSSadaf Ebrahimi 		}
246*22dc650dSSadaf Ebrahimi 
247*22dc650dSSadaf Ebrahimi 		arg_types >>= SLJIT_ARG_SHIFT;
248*22dc650dSSadaf Ebrahimi 	}
249*22dc650dSSadaf Ebrahimi 
250*22dc650dSSadaf Ebrahimi 	while (types) {
251*22dc650dSSadaf Ebrahimi 		switch (types & SLJIT_ARG_MASK) {
252*22dc650dSSadaf Ebrahimi 		case SLJIT_ARG_TYPE_F64:
253*22dc650dSSadaf Ebrahimi 			if (arg_count != float_arg_count)
254*22dc650dSSadaf Ebrahimi 				ins = MOV_fmt(FMT_D) | FS(float_arg_count) | FD(arg_count);
255*22dc650dSSadaf Ebrahimi 			else if (arg_count == 1)
256*22dc650dSSadaf Ebrahimi 				ins = MOV_fmt(FMT_D) | FS(SLJIT_FR0) | FD(TMP_FREG1);
257*22dc650dSSadaf Ebrahimi 			arg_count--;
258*22dc650dSSadaf Ebrahimi 			float_arg_count--;
259*22dc650dSSadaf Ebrahimi 			break;
260*22dc650dSSadaf Ebrahimi 		case SLJIT_ARG_TYPE_F32:
261*22dc650dSSadaf Ebrahimi 			if (arg_count != float_arg_count)
262*22dc650dSSadaf Ebrahimi 				ins = MOV_fmt(FMT_S) | FS(float_arg_count) | FD(arg_count);
263*22dc650dSSadaf Ebrahimi 			else if (arg_count == 1)
264*22dc650dSSadaf Ebrahimi 				ins = MOV_fmt(FMT_S) | FS(SLJIT_FR0) | FD(TMP_FREG1);
265*22dc650dSSadaf Ebrahimi 			arg_count--;
266*22dc650dSSadaf Ebrahimi 			float_arg_count--;
267*22dc650dSSadaf Ebrahimi 			break;
268*22dc650dSSadaf Ebrahimi 		default:
269*22dc650dSSadaf Ebrahimi 			if (arg_count != word_arg_count)
270*22dc650dSSadaf Ebrahimi 				ins = DADDU | S(word_arg_count) | TA(0) | D(arg_count);
271*22dc650dSSadaf Ebrahimi 			else if (arg_count == 1)
272*22dc650dSSadaf Ebrahimi 				ins = DADDU | S(SLJIT_R0) | TA(0) | DA(4);
273*22dc650dSSadaf Ebrahimi 			arg_count--;
274*22dc650dSSadaf Ebrahimi 			word_arg_count--;
275*22dc650dSSadaf Ebrahimi 			break;
276*22dc650dSSadaf Ebrahimi 		}
277*22dc650dSSadaf Ebrahimi 
278*22dc650dSSadaf Ebrahimi 		if (ins != NOP) {
279*22dc650dSSadaf Ebrahimi 			if (prev_ins != NOP)
280*22dc650dSSadaf Ebrahimi 				FAIL_IF(push_inst(compiler, prev_ins, MOVABLE_INS));
281*22dc650dSSadaf Ebrahimi 			prev_ins = ins;
282*22dc650dSSadaf Ebrahimi 			ins = NOP;
283*22dc650dSSadaf Ebrahimi 		}
284*22dc650dSSadaf Ebrahimi 
285*22dc650dSSadaf Ebrahimi 		types >>= SLJIT_ARG_SHIFT;
286*22dc650dSSadaf Ebrahimi 	}
287*22dc650dSSadaf Ebrahimi 
288*22dc650dSSadaf Ebrahimi 	*ins_ptr = prev_ins;
289*22dc650dSSadaf Ebrahimi 
290*22dc650dSSadaf Ebrahimi 	return SLJIT_SUCCESS;
291*22dc650dSSadaf Ebrahimi }
292*22dc650dSSadaf Ebrahimi 
sljit_emit_call(struct sljit_compiler * compiler,sljit_s32 type,sljit_s32 arg_types)293*22dc650dSSadaf Ebrahimi SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,
294*22dc650dSSadaf Ebrahimi 	sljit_s32 arg_types)
295*22dc650dSSadaf Ebrahimi {
296*22dc650dSSadaf Ebrahimi 	struct sljit_jump *jump;
297*22dc650dSSadaf Ebrahimi 	sljit_ins ins = NOP;
298*22dc650dSSadaf Ebrahimi 
299*22dc650dSSadaf Ebrahimi 	CHECK_ERROR_PTR();
300*22dc650dSSadaf Ebrahimi 	CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));
301*22dc650dSSadaf Ebrahimi 
302*22dc650dSSadaf Ebrahimi 	jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
303*22dc650dSSadaf Ebrahimi 	PTR_FAIL_IF(!jump);
304*22dc650dSSadaf Ebrahimi 	set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
305*22dc650dSSadaf Ebrahimi 
306*22dc650dSSadaf Ebrahimi 	if (type & SLJIT_CALL_RETURN)
307*22dc650dSSadaf Ebrahimi 		PTR_FAIL_IF(emit_stack_frame_release(compiler, 0, &ins));
308*22dc650dSSadaf Ebrahimi 
309*22dc650dSSadaf Ebrahimi 	if ((type & 0xff) != SLJIT_CALL_REG_ARG)
310*22dc650dSSadaf Ebrahimi 		PTR_FAIL_IF(call_with_args(compiler, arg_types, &ins));
311*22dc650dSSadaf Ebrahimi 
312*22dc650dSSadaf Ebrahimi 	SLJIT_ASSERT(DR(PIC_ADDR_REG) == 25);
313*22dc650dSSadaf Ebrahimi 
314*22dc650dSSadaf Ebrahimi 	if (ins == NOP && compiler->delay_slot != UNMOVABLE_INS)
315*22dc650dSSadaf Ebrahimi 		jump->flags |= IS_MOVABLE;
316*22dc650dSSadaf Ebrahimi 
317*22dc650dSSadaf Ebrahimi 	if (!(type & SLJIT_CALL_RETURN)) {
318*22dc650dSSadaf Ebrahimi 		jump->flags |= IS_JAL;
319*22dc650dSSadaf Ebrahimi 
320*22dc650dSSadaf Ebrahimi 		if ((type & 0xff) != SLJIT_CALL_REG_ARG)
321*22dc650dSSadaf Ebrahimi 			jump->flags |= IS_CALL;
322*22dc650dSSadaf Ebrahimi 
323*22dc650dSSadaf Ebrahimi 		PTR_FAIL_IF(push_inst(compiler, JALR | S(PIC_ADDR_REG) | DA(RETURN_ADDR_REG), UNMOVABLE_INS));
324*22dc650dSSadaf Ebrahimi 	} else
325*22dc650dSSadaf Ebrahimi 		PTR_FAIL_IF(push_inst(compiler, JR | S(PIC_ADDR_REG), UNMOVABLE_INS));
326*22dc650dSSadaf Ebrahimi 
327*22dc650dSSadaf Ebrahimi 	jump->addr = compiler->size;
328*22dc650dSSadaf Ebrahimi 	PTR_FAIL_IF(push_inst(compiler, ins, UNMOVABLE_INS));
329*22dc650dSSadaf Ebrahimi 
330*22dc650dSSadaf Ebrahimi 	/* Maximum number of instructions required for generating a constant. */
331*22dc650dSSadaf Ebrahimi 	compiler->size += 6;
332*22dc650dSSadaf Ebrahimi 	return jump;
333*22dc650dSSadaf Ebrahimi }
334*22dc650dSSadaf Ebrahimi 
sljit_emit_icall(struct sljit_compiler * compiler,sljit_s32 type,sljit_s32 arg_types,sljit_s32 src,sljit_sw srcw)335*22dc650dSSadaf Ebrahimi SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,
336*22dc650dSSadaf Ebrahimi 	sljit_s32 arg_types,
337*22dc650dSSadaf Ebrahimi 	sljit_s32 src, sljit_sw srcw)
338*22dc650dSSadaf Ebrahimi {
339*22dc650dSSadaf Ebrahimi 	sljit_ins ins = NOP;
340*22dc650dSSadaf Ebrahimi 
341*22dc650dSSadaf Ebrahimi 	CHECK_ERROR();
342*22dc650dSSadaf Ebrahimi 	CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));
343*22dc650dSSadaf Ebrahimi 
344*22dc650dSSadaf Ebrahimi 	if (src & SLJIT_MEM) {
345*22dc650dSSadaf Ebrahimi 		ADJUST_LOCAL_OFFSET(src, srcw);
346*22dc650dSSadaf Ebrahimi 		FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, DR(PIC_ADDR_REG), src, srcw));
347*22dc650dSSadaf Ebrahimi 		src = PIC_ADDR_REG;
348*22dc650dSSadaf Ebrahimi 		srcw = 0;
349*22dc650dSSadaf Ebrahimi 	}
350*22dc650dSSadaf Ebrahimi 
351*22dc650dSSadaf Ebrahimi 	if ((type & 0xff) == SLJIT_CALL_REG_ARG) {
352*22dc650dSSadaf Ebrahimi 		if (type & SLJIT_CALL_RETURN) {
353*22dc650dSSadaf Ebrahimi 			if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {
354*22dc650dSSadaf Ebrahimi 				FAIL_IF(push_inst(compiler, DADDU | S(src) | TA(0) | D(PIC_ADDR_REG), DR(PIC_ADDR_REG)));
355*22dc650dSSadaf Ebrahimi 				src = PIC_ADDR_REG;
356*22dc650dSSadaf Ebrahimi 				srcw = 0;
357*22dc650dSSadaf Ebrahimi 			}
358*22dc650dSSadaf Ebrahimi 
359*22dc650dSSadaf Ebrahimi 			FAIL_IF(emit_stack_frame_release(compiler, 0, &ins));
360*22dc650dSSadaf Ebrahimi 
361*22dc650dSSadaf Ebrahimi 			if (ins != NOP)
362*22dc650dSSadaf Ebrahimi 				FAIL_IF(push_inst(compiler, ins, MOVABLE_INS));
363*22dc650dSSadaf Ebrahimi 		}
364*22dc650dSSadaf Ebrahimi 
365*22dc650dSSadaf Ebrahimi 		SLJIT_SKIP_CHECKS(compiler);
366*22dc650dSSadaf Ebrahimi 		return sljit_emit_ijump(compiler, type, src, srcw);
367*22dc650dSSadaf Ebrahimi 	}
368*22dc650dSSadaf Ebrahimi 
369*22dc650dSSadaf Ebrahimi 	SLJIT_ASSERT(DR(PIC_ADDR_REG) == 25 && PIC_ADDR_REG == TMP_REG1);
370*22dc650dSSadaf Ebrahimi 
371*22dc650dSSadaf Ebrahimi 	if (src == SLJIT_IMM)
372*22dc650dSSadaf Ebrahimi 		FAIL_IF(load_immediate(compiler, DR(PIC_ADDR_REG), srcw));
373*22dc650dSSadaf Ebrahimi 	else if (src != PIC_ADDR_REG)
374*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, DADDU | S(src) | TA(0) | D(PIC_ADDR_REG), DR(PIC_ADDR_REG)));
375*22dc650dSSadaf Ebrahimi 
376*22dc650dSSadaf Ebrahimi 	if (type & SLJIT_CALL_RETURN)
377*22dc650dSSadaf Ebrahimi 		FAIL_IF(emit_stack_frame_release(compiler, 0, &ins));
378*22dc650dSSadaf Ebrahimi 
379*22dc650dSSadaf Ebrahimi 	FAIL_IF(call_with_args(compiler, arg_types, &ins));
380*22dc650dSSadaf Ebrahimi 
381*22dc650dSSadaf Ebrahimi 	/* Register input. */
382*22dc650dSSadaf Ebrahimi 	if (!(type & SLJIT_CALL_RETURN))
383*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, JALR | S(PIC_ADDR_REG) | DA(RETURN_ADDR_REG), UNMOVABLE_INS));
384*22dc650dSSadaf Ebrahimi 	else
385*22dc650dSSadaf Ebrahimi 		FAIL_IF(push_inst(compiler, JR | S(PIC_ADDR_REG), UNMOVABLE_INS));
386*22dc650dSSadaf Ebrahimi 	return push_inst(compiler, ins, UNMOVABLE_INS);
387*22dc650dSSadaf Ebrahimi }
388