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