summaryrefslogtreecommitdiff
path: root/src/lj_emit_mips.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/lj_emit_mips.h')
-rw-r--r--src/lj_emit_mips.h205
1 files changed, 205 insertions, 0 deletions
diff --git a/src/lj_emit_mips.h b/src/lj_emit_mips.h
new file mode 100644
index 00000000..59f0640b
--- /dev/null
+++ b/src/lj_emit_mips.h
@@ -0,0 +1,205 @@
1/*
2** MIPS instruction emitter.
3** Copyright (C) 2005-2012 Mike Pall. See Copyright Notice in luajit.h
4*/
5
6/* -- Emit basic instructions --------------------------------------------- */
7
8static void emit_dst(ASMState *as, MIPSIns mi, Reg rd, Reg rs, Reg rt)
9{
10 *--as->mcp = mi | MIPSF_D(rd) | MIPSF_S(rs) | MIPSF_T(rt);
11}
12
13static void emit_dta(ASMState *as, MIPSIns mi, Reg rd, Reg rt, uint32_t a)
14{
15 *--as->mcp = mi | MIPSF_D(rd) | MIPSF_T(rt) | MIPSF_A(a);
16}
17
18#define emit_ds(as, mi, rd, rs) emit_dst(as, (mi), (rd), (rs), 0)
19#define emit_tg(as, mi, rt, rg) emit_dst(as, (mi), (rg)&31, 0, (rt))
20
21static void emit_tsi(ASMState *as, MIPSIns mi, Reg rt, Reg rs, int32_t i)
22{
23 *--as->mcp = mi | MIPSF_T(rt) | MIPSF_S(rs) | (i & 0xffff);
24}
25
26#define emit_ti(as, mi, rt, i) emit_tsi(as, (mi), (rt), 0, (i))
27#define emit_hsi(as, mi, rh, rs, i) emit_tsi(as, (mi), (rh) & 31, (rs), (i))
28
29static void emit_fgh(ASMState *as, MIPSIns mi, Reg rf, Reg rg, Reg rh)
30{
31 *--as->mcp = mi | MIPSF_F(rf&31) | MIPSF_G(rg&31) | MIPSF_H(rh&31);
32}
33
34#define emit_fg(as, mi, rf, rg) emit_fgh(as, (mi), (rf), (rg), 0)
35
36static void emit_rotr(ASMState *as, Reg dest, Reg src, Reg tmp, uint32_t shift)
37{
38 if ((as->flags & JIT_F_MIPS32R2)) {
39 emit_dta(as, MIPSI_ROTR, dest, src, shift);
40 } else {
41 emit_dst(as, MIPSI_OR, dest, dest, tmp);
42 emit_dta(as, MIPSI_SLL, dest, src, (-shift)&31);
43 emit_dta(as, MIPSI_SRL, tmp, src, shift);
44 }
45}
46
47/* -- Emit loads/stores --------------------------------------------------- */
48
49/* Prefer rematerialization of BASE/L from global_State over spills. */
50#define emit_canremat(ref) ((ref) <= REF_BASE)
51
52/* Try to find a one step delta relative to another constant. */
53static int emit_kdelta1(ASMState *as, Reg t, int32_t i)
54{
55 RegSet work = ~as->freeset & RSET_GPR;
56 while (work) {
57 Reg r = rset_picktop(work);
58 IRRef ref = regcost_ref(as->cost[r]);
59 lua_assert(r != t);
60 if (ref < ASMREF_L) {
61 int32_t delta = i - (ra_iskref(ref) ? ra_krefk(as, ref) : IR(ref)->i);
62 if (checki16(delta)) {
63 emit_tsi(as, MIPSI_ADDIU, t, r, delta);
64 return 1;
65 }
66 }
67 rset_clear(work, r);
68 }
69 return 0; /* Failed. */
70}
71
72/* Load a 32 bit constant into a GPR. */
73static void emit_loadi(ASMState *as, Reg r, int32_t i)
74{
75 if (checki16(i)) {
76 emit_ti(as, MIPSI_LI, r, i);
77 } else {
78 if ((i & 0xffff)) {
79 int32_t jgl = i32ptr(J2G(as->J));
80 if ((uint32_t)(i-jgl) < 65536) {
81 emit_tsi(as, MIPSI_ADDIU, r, RID_JGL, i-jgl-32768);
82 return;
83 } else if (emit_kdelta1(as, r, i)) {
84 return;
85 } else if ((i >> 16) == 0) {
86 emit_tsi(as, MIPSI_ORI, r, RID_ZERO, i);
87 return;
88 }
89 emit_tsi(as, MIPSI_ORI, r, r, i);
90 }
91 emit_ti(as, MIPSI_LUI, r, (i >> 16));
92 }
93}
94
95#define emit_loada(as, r, addr) emit_loadi(as, (r), i32ptr((addr)))
96
97static Reg ra_allock(ASMState *as, int32_t k, RegSet allow);
98static void ra_allockreg(ASMState *as, int32_t k, Reg r);
99
100/* Get/set from constant pointer. */
101static void emit_lsptr(ASMState *as, MIPSIns mi, Reg r, void *p, RegSet allow)
102{
103 int32_t jgl = i32ptr(J2G(as->J));
104 int32_t i = i32ptr(p);
105 Reg base;
106 if ((uint32_t)(i-jgl) < 65536) {
107 i = i-jgl-32768;
108 base = RID_JGL;
109 } else {
110 base = ra_allock(as, i-(int16_t)i, allow);
111 }
112 emit_tsi(as, mi, r, base, i);
113}
114
115#define emit_loadn(as, r, tv) \
116 emit_lsptr(as, MIPSI_LDC1, ((r) & 31), (void *)(tv), RSET_GPR)
117
118/* Get/set global_State fields. */
119static void emit_lsglptr(ASMState *as, MIPSIns mi, Reg r, int32_t ofs)
120{
121 emit_tsi(as, mi, r, RID_JGL, ofs-32768);
122}
123
124#define emit_getgl(as, r, field) \
125 emit_lsglptr(as, MIPSI_LW, (r), (int32_t)offsetof(global_State, field))
126#define emit_setgl(as, r, field) \
127 emit_lsglptr(as, MIPSI_SW, (r), (int32_t)offsetof(global_State, field))
128
129/* Trace number is determined from per-trace exit stubs. */
130#define emit_setvmstate(as, i) UNUSED(i)
131
132/* -- Emit control-flow instructions -------------------------------------- */
133
134/* Label for internal jumps. */
135typedef MCode *MCLabel;
136
137/* Return label pointing to current PC. */
138#define emit_label(as) ((as)->mcp)
139
140static void emit_branch(ASMState *as, MIPSIns mi, Reg rs, Reg rt, MCode *target)
141{
142 MCode *p = as->mcp;
143 ptrdiff_t delta = target - p;
144 lua_assert(((delta + 0x8000) >> 16) == 0);
145 *--p = mi | MIPSF_S(rs) | MIPSF_T(rt) | ((uint32_t)delta & 0xffffu);
146 as->mcp = p;
147}
148
149static void emit_call(ASMState *as, void *target)
150{
151 MCode *p = as->mcp;
152 *--p = MIPSI_NOP;
153 if ((((uintptr_t)target ^ (uintptr_t)p) >> 28) == 0)
154 *--p = MIPSI_JAL | (((uintptr_t)target >>2) & 0x03ffffffu);
155 else /* Target out of range: need indirect call. */
156 *--p = MIPSI_JALR | MIPSF_S(RID_CFUNCADDR);
157 as->mcp = p;
158 ra_allockreg(as, i32ptr(target), RID_CFUNCADDR);
159}
160
161/* -- Emit generic operations --------------------------------------------- */
162
163#define emit_move(as, dst, src) \
164 emit_ds(as, MIPSI_MOVE, (dst), (src))
165
166/* Generic move between two regs. */
167static void emit_movrr(ASMState *as, IRIns *ir, Reg dst, Reg src)
168{
169 if (dst < RID_MAX_GPR)
170 emit_move(as, dst, src);
171 else
172 emit_fg(as, irt_isnum(ir->t) ? MIPSI_MOV_D : MIPSI_MOV_S, dst, src);
173}
174
175/* Generic load of register from stack slot. */
176static void emit_spload(ASMState *as, IRIns *ir, Reg r, int32_t ofs)
177{
178 if (r < RID_MAX_GPR)
179 emit_tsi(as, MIPSI_LW, r, RID_SP, ofs);
180 else
181 emit_tsi(as, irt_isnum(ir->t) ? MIPSI_LDC1 : MIPSI_LWC1,
182 (r & 31), RID_SP, ofs);
183}
184
185/* Generic store of register to stack slot. */
186static void emit_spstore(ASMState *as, IRIns *ir, Reg r, int32_t ofs)
187{
188 if (r < RID_MAX_GPR)
189 emit_tsi(as, MIPSI_SW, r, RID_SP, ofs);
190 else
191 emit_tsi(as, irt_isnum(ir->t) ? MIPSI_SDC1 : MIPSI_SWC1,
192 (r&31), RID_SP, ofs);
193}
194
195/* Add offset to pointer. */
196static void emit_addptr(ASMState *as, Reg r, int32_t ofs)
197{
198 if (ofs) {
199 lua_assert(checki16(ofs));
200 emit_tsi(as, MIPSI_ADDIU, r, r, ofs);
201 }
202}
203
204#define emit_spsub(as, ofs) emit_addptr(as, RID_SP, -(ofs))
205