blob: aee64120a86beb8db69a89969f0e91d2f4e27245 [file] [log] [blame]
jeffhao7fbee072012-08-24 17:56:54 -07001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "assembler_mips.h"
18
Vladimir Marko80afd022015-05-19 18:08:00 +010019#include "base/bit_utils.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080020#include "base/casts.h"
Ian Rogers166db042013-07-26 12:05:57 -070021#include "entrypoints/quick/quick_entrypoints.h"
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020022#include "entrypoints/quick/quick_entrypoints_enum.h"
jeffhao7fbee072012-08-24 17:56:54 -070023#include "memory_region.h"
jeffhao7fbee072012-08-24 17:56:54 -070024#include "thread.h"
25
26namespace art {
27namespace mips {
jeffhao7fbee072012-08-24 17:56:54 -070028
jeffhao7fbee072012-08-24 17:56:54 -070029std::ostream& operator<<(std::ostream& os, const DRegister& rhs) {
30 if (rhs >= D0 && rhs < kNumberOfDRegisters) {
31 os << "d" << static_cast<int>(rhs);
32 } else {
33 os << "DRegister[" << static_cast<int>(rhs) << "]";
34 }
35 return os;
36}
37
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020038void MipsAssembler::FinalizeCode() {
39 for (auto& exception_block : exception_blocks_) {
40 EmitExceptionPoll(&exception_block);
41 }
42 PromoteBranches();
43}
44
45void MipsAssembler::FinalizeInstructions(const MemoryRegion& region) {
Vladimir Marko10ef6942015-10-22 15:25:54 +010046 size_t number_of_delayed_adjust_pcs = cfi().NumberOfDelayedAdvancePCs();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020047 EmitBranches();
48 Assembler::FinalizeInstructions(region);
Vladimir Marko10ef6942015-10-22 15:25:54 +010049 PatchCFI(number_of_delayed_adjust_pcs);
50}
51
52void MipsAssembler::PatchCFI(size_t number_of_delayed_adjust_pcs) {
53 if (cfi().NumberOfDelayedAdvancePCs() == 0u) {
54 DCHECK_EQ(number_of_delayed_adjust_pcs, 0u);
55 return;
56 }
57
58 typedef DebugFrameOpCodeWriterForAssembler::DelayedAdvancePC DelayedAdvancePC;
59 const auto data = cfi().ReleaseStreamAndPrepareForDelayedAdvancePC();
60 const std::vector<uint8_t>& old_stream = data.first;
61 const std::vector<DelayedAdvancePC>& advances = data.second;
62
63 // PCs recorded before EmitBranches() need to be adjusted.
64 // PCs recorded during EmitBranches() are already adjusted.
65 // Both ranges are separately sorted but they may overlap.
66 if (kIsDebugBuild) {
67 auto cmp = [](const DelayedAdvancePC& lhs, const DelayedAdvancePC& rhs) {
68 return lhs.pc < rhs.pc;
69 };
70 CHECK(std::is_sorted(advances.begin(), advances.begin() + number_of_delayed_adjust_pcs, cmp));
71 CHECK(std::is_sorted(advances.begin() + number_of_delayed_adjust_pcs, advances.end(), cmp));
72 }
73
74 // Append initial CFI data if any.
75 size_t size = advances.size();
76 DCHECK_NE(size, 0u);
77 cfi().AppendRawData(old_stream, 0u, advances[0].stream_pos);
78 // Emit PC adjustments interleaved with the old CFI stream.
79 size_t adjust_pos = 0u;
80 size_t late_emit_pos = number_of_delayed_adjust_pcs;
81 while (adjust_pos != number_of_delayed_adjust_pcs || late_emit_pos != size) {
82 size_t adjusted_pc = (adjust_pos != number_of_delayed_adjust_pcs)
83 ? GetAdjustedPosition(advances[adjust_pos].pc)
84 : static_cast<size_t>(-1);
85 size_t late_emit_pc = (late_emit_pos != size)
86 ? advances[late_emit_pos].pc
87 : static_cast<size_t>(-1);
88 size_t advance_pc = std::min(adjusted_pc, late_emit_pc);
89 DCHECK_NE(advance_pc, static_cast<size_t>(-1));
90 size_t entry = (adjusted_pc <= late_emit_pc) ? adjust_pos : late_emit_pos;
91 if (adjusted_pc <= late_emit_pc) {
92 ++adjust_pos;
93 } else {
94 ++late_emit_pos;
95 }
96 cfi().AdvancePC(advance_pc);
97 size_t end_pos = (entry + 1u == size) ? old_stream.size() : advances[entry + 1u].stream_pos;
98 cfi().AppendRawData(old_stream, advances[entry].stream_pos, end_pos);
99 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200100}
101
102void MipsAssembler::EmitBranches() {
103 CHECK(!overwriting_);
104 // Switch from appending instructions at the end of the buffer to overwriting
105 // existing instructions (branch placeholders) in the buffer.
106 overwriting_ = true;
107 for (auto& branch : branches_) {
108 EmitBranch(&branch);
109 }
110 overwriting_ = false;
111}
112
113void MipsAssembler::Emit(uint32_t value) {
114 if (overwriting_) {
115 // Branches to labels are emitted into their placeholders here.
116 buffer_.Store<uint32_t>(overwrite_location_, value);
117 overwrite_location_ += sizeof(uint32_t);
118 } else {
119 // Other instructions are simply appended at the end here.
120 AssemblerBuffer::EnsureCapacity ensured(&buffer_);
121 buffer_.Emit<uint32_t>(value);
122 }
jeffhao7fbee072012-08-24 17:56:54 -0700123}
124
125void MipsAssembler::EmitR(int opcode, Register rs, Register rt, Register rd, int shamt, int funct) {
126 CHECK_NE(rs, kNoRegister);
127 CHECK_NE(rt, kNoRegister);
128 CHECK_NE(rd, kNoRegister);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200129 uint32_t encoding = static_cast<uint32_t>(opcode) << kOpcodeShift |
130 static_cast<uint32_t>(rs) << kRsShift |
131 static_cast<uint32_t>(rt) << kRtShift |
132 static_cast<uint32_t>(rd) << kRdShift |
133 shamt << kShamtShift |
134 funct;
jeffhao7fbee072012-08-24 17:56:54 -0700135 Emit(encoding);
136}
137
138void MipsAssembler::EmitI(int opcode, Register rs, Register rt, uint16_t imm) {
139 CHECK_NE(rs, kNoRegister);
140 CHECK_NE(rt, kNoRegister);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200141 uint32_t encoding = static_cast<uint32_t>(opcode) << kOpcodeShift |
142 static_cast<uint32_t>(rs) << kRsShift |
143 static_cast<uint32_t>(rt) << kRtShift |
144 imm;
jeffhao7fbee072012-08-24 17:56:54 -0700145 Emit(encoding);
146}
147
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200148void MipsAssembler::EmitI21(int opcode, Register rs, uint32_t imm21) {
149 CHECK_NE(rs, kNoRegister);
150 CHECK(IsUint<21>(imm21)) << imm21;
151 uint32_t encoding = static_cast<uint32_t>(opcode) << kOpcodeShift |
152 static_cast<uint32_t>(rs) << kRsShift |
153 imm21;
jeffhao7fbee072012-08-24 17:56:54 -0700154 Emit(encoding);
155}
156
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200157void MipsAssembler::EmitI26(int opcode, uint32_t imm26) {
158 CHECK(IsUint<26>(imm26)) << imm26;
159 uint32_t encoding = static_cast<uint32_t>(opcode) << kOpcodeShift | imm26;
160 Emit(encoding);
161}
162
163void MipsAssembler::EmitFR(int opcode, int fmt, FRegister ft, FRegister fs, FRegister fd,
164 int funct) {
jeffhao7fbee072012-08-24 17:56:54 -0700165 CHECK_NE(ft, kNoFRegister);
166 CHECK_NE(fs, kNoFRegister);
167 CHECK_NE(fd, kNoFRegister);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200168 uint32_t encoding = static_cast<uint32_t>(opcode) << kOpcodeShift |
169 fmt << kFmtShift |
170 static_cast<uint32_t>(ft) << kFtShift |
171 static_cast<uint32_t>(fs) << kFsShift |
172 static_cast<uint32_t>(fd) << kFdShift |
173 funct;
jeffhao7fbee072012-08-24 17:56:54 -0700174 Emit(encoding);
175}
176
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200177void MipsAssembler::EmitFI(int opcode, int fmt, FRegister ft, uint16_t imm) {
178 CHECK_NE(ft, kNoFRegister);
179 uint32_t encoding = static_cast<uint32_t>(opcode) << kOpcodeShift |
180 fmt << kFmtShift |
181 static_cast<uint32_t>(ft) << kFtShift |
182 imm;
jeffhao7fbee072012-08-24 17:56:54 -0700183 Emit(encoding);
184}
185
jeffhao7fbee072012-08-24 17:56:54 -0700186void MipsAssembler::Addu(Register rd, Register rs, Register rt) {
187 EmitR(0, rs, rt, rd, 0, 0x21);
188}
189
jeffhao7fbee072012-08-24 17:56:54 -0700190void MipsAssembler::Addiu(Register rt, Register rs, uint16_t imm16) {
191 EmitI(0x9, rs, rt, imm16);
192}
193
jeffhao7fbee072012-08-24 17:56:54 -0700194void MipsAssembler::Subu(Register rd, Register rs, Register rt) {
195 EmitR(0, rs, rt, rd, 0, 0x23);
196}
197
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200198void MipsAssembler::MultR2(Register rs, Register rt) {
199 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700200 EmitR(0, rs, rt, static_cast<Register>(0), 0, 0x18);
201}
202
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200203void MipsAssembler::MultuR2(Register rs, Register rt) {
204 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700205 EmitR(0, rs, rt, static_cast<Register>(0), 0, 0x19);
206}
207
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200208void MipsAssembler::DivR2(Register rs, Register rt) {
209 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700210 EmitR(0, rs, rt, static_cast<Register>(0), 0, 0x1a);
211}
212
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200213void MipsAssembler::DivuR2(Register rs, Register rt) {
214 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700215 EmitR(0, rs, rt, static_cast<Register>(0), 0, 0x1b);
216}
217
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200218void MipsAssembler::MulR2(Register rd, Register rs, Register rt) {
219 CHECK(!IsR6());
220 EmitR(0x1c, rs, rt, rd, 0, 2);
221}
222
223void MipsAssembler::DivR2(Register rd, Register rs, Register rt) {
224 CHECK(!IsR6());
225 DivR2(rs, rt);
226 Mflo(rd);
227}
228
229void MipsAssembler::ModR2(Register rd, Register rs, Register rt) {
230 CHECK(!IsR6());
231 DivR2(rs, rt);
232 Mfhi(rd);
233}
234
235void MipsAssembler::DivuR2(Register rd, Register rs, Register rt) {
236 CHECK(!IsR6());
237 DivuR2(rs, rt);
238 Mflo(rd);
239}
240
241void MipsAssembler::ModuR2(Register rd, Register rs, Register rt) {
242 CHECK(!IsR6());
243 DivuR2(rs, rt);
244 Mfhi(rd);
245}
246
247void MipsAssembler::MulR6(Register rd, Register rs, Register rt) {
248 CHECK(IsR6());
249 EmitR(0, rs, rt, rd, 2, 0x18);
250}
251
252void MipsAssembler::MuhuR6(Register rd, Register rs, Register rt) {
253 CHECK(IsR6());
254 EmitR(0, rs, rt, rd, 3, 0x19);
255}
256
257void MipsAssembler::DivR6(Register rd, Register rs, Register rt) {
258 CHECK(IsR6());
259 EmitR(0, rs, rt, rd, 2, 0x1a);
260}
261
262void MipsAssembler::ModR6(Register rd, Register rs, Register rt) {
263 CHECK(IsR6());
264 EmitR(0, rs, rt, rd, 3, 0x1a);
265}
266
267void MipsAssembler::DivuR6(Register rd, Register rs, Register rt) {
268 CHECK(IsR6());
269 EmitR(0, rs, rt, rd, 2, 0x1b);
270}
271
272void MipsAssembler::ModuR6(Register rd, Register rs, Register rt) {
273 CHECK(IsR6());
274 EmitR(0, rs, rt, rd, 3, 0x1b);
275}
276
jeffhao7fbee072012-08-24 17:56:54 -0700277void MipsAssembler::And(Register rd, Register rs, Register rt) {
278 EmitR(0, rs, rt, rd, 0, 0x24);
279}
280
281void MipsAssembler::Andi(Register rt, Register rs, uint16_t imm16) {
282 EmitI(0xc, rs, rt, imm16);
283}
284
285void MipsAssembler::Or(Register rd, Register rs, Register rt) {
286 EmitR(0, rs, rt, rd, 0, 0x25);
287}
288
289void MipsAssembler::Ori(Register rt, Register rs, uint16_t imm16) {
290 EmitI(0xd, rs, rt, imm16);
291}
292
293void MipsAssembler::Xor(Register rd, Register rs, Register rt) {
294 EmitR(0, rs, rt, rd, 0, 0x26);
295}
296
297void MipsAssembler::Xori(Register rt, Register rs, uint16_t imm16) {
298 EmitI(0xe, rs, rt, imm16);
299}
300
301void MipsAssembler::Nor(Register rd, Register rs, Register rt) {
302 EmitR(0, rs, rt, rd, 0, 0x27);
303}
304
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200305void MipsAssembler::Seb(Register rd, Register rt) {
306 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x10, 0x20);
jeffhao7fbee072012-08-24 17:56:54 -0700307}
308
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200309void MipsAssembler::Seh(Register rd, Register rt) {
310 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x18, 0x20);
jeffhao7fbee072012-08-24 17:56:54 -0700311}
312
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200313void MipsAssembler::Sll(Register rd, Register rt, int shamt) {
314 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x00);
jeffhao7fbee072012-08-24 17:56:54 -0700315}
316
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200317void MipsAssembler::Srl(Register rd, Register rt, int shamt) {
318 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x02);
319}
320
321void MipsAssembler::Sra(Register rd, Register rt, int shamt) {
322 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x03);
323}
324
325void MipsAssembler::Sllv(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700326 EmitR(0, rs, rt, rd, 0, 0x04);
327}
328
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200329void MipsAssembler::Srlv(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700330 EmitR(0, rs, rt, rd, 0, 0x06);
331}
332
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200333void MipsAssembler::Srav(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700334 EmitR(0, rs, rt, rd, 0, 0x07);
335}
336
337void MipsAssembler::Lb(Register rt, Register rs, uint16_t imm16) {
338 EmitI(0x20, rs, rt, imm16);
339}
340
341void MipsAssembler::Lh(Register rt, Register rs, uint16_t imm16) {
342 EmitI(0x21, rs, rt, imm16);
343}
344
345void MipsAssembler::Lw(Register rt, Register rs, uint16_t imm16) {
346 EmitI(0x23, rs, rt, imm16);
347}
348
349void MipsAssembler::Lbu(Register rt, Register rs, uint16_t imm16) {
350 EmitI(0x24, rs, rt, imm16);
351}
352
353void MipsAssembler::Lhu(Register rt, Register rs, uint16_t imm16) {
354 EmitI(0x25, rs, rt, imm16);
355}
356
357void MipsAssembler::Lui(Register rt, uint16_t imm16) {
358 EmitI(0xf, static_cast<Register>(0), rt, imm16);
359}
360
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200361void MipsAssembler::Sync(uint32_t stype) {
362 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0),
363 stype & 0x1f, 0xf);
364}
365
jeffhao7fbee072012-08-24 17:56:54 -0700366void MipsAssembler::Mfhi(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200367 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700368 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x10);
369}
370
371void MipsAssembler::Mflo(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200372 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700373 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x12);
374}
375
376void MipsAssembler::Sb(Register rt, Register rs, uint16_t imm16) {
377 EmitI(0x28, rs, rt, imm16);
378}
379
380void MipsAssembler::Sh(Register rt, Register rs, uint16_t imm16) {
381 EmitI(0x29, rs, rt, imm16);
382}
383
384void MipsAssembler::Sw(Register rt, Register rs, uint16_t imm16) {
385 EmitI(0x2b, rs, rt, imm16);
386}
387
388void MipsAssembler::Slt(Register rd, Register rs, Register rt) {
389 EmitR(0, rs, rt, rd, 0, 0x2a);
390}
391
392void MipsAssembler::Sltu(Register rd, Register rs, Register rt) {
393 EmitR(0, rs, rt, rd, 0, 0x2b);
394}
395
396void MipsAssembler::Slti(Register rt, Register rs, uint16_t imm16) {
397 EmitI(0xa, rs, rt, imm16);
398}
399
400void MipsAssembler::Sltiu(Register rt, Register rs, uint16_t imm16) {
401 EmitI(0xb, rs, rt, imm16);
402}
403
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200404void MipsAssembler::B(uint16_t imm16) {
405 EmitI(0x4, static_cast<Register>(0), static_cast<Register>(0), imm16);
406}
407
408void MipsAssembler::Beq(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700409 EmitI(0x4, rs, rt, imm16);
410}
411
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200412void MipsAssembler::Bne(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700413 EmitI(0x5, rs, rt, imm16);
414}
415
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200416void MipsAssembler::Beqz(Register rt, uint16_t imm16) {
417 Beq(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700418}
419
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200420void MipsAssembler::Bnez(Register rt, uint16_t imm16) {
421 Bne(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700422}
423
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200424void MipsAssembler::Bltz(Register rt, uint16_t imm16) {
425 EmitI(0x1, rt, static_cast<Register>(0), imm16);
426}
427
428void MipsAssembler::Bgez(Register rt, uint16_t imm16) {
429 EmitI(0x1, rt, static_cast<Register>(0x1), imm16);
430}
431
432void MipsAssembler::Blez(Register rt, uint16_t imm16) {
433 EmitI(0x6, rt, static_cast<Register>(0), imm16);
434}
435
436void MipsAssembler::Bgtz(Register rt, uint16_t imm16) {
437 EmitI(0x7, rt, static_cast<Register>(0), imm16);
438}
439
440void MipsAssembler::J(uint32_t addr26) {
441 EmitI26(0x2, addr26);
442}
443
444void MipsAssembler::Jal(uint32_t addr26) {
445 EmitI26(0x3, addr26);
446}
447
448void MipsAssembler::Jalr(Register rd, Register rs) {
449 EmitR(0, rs, static_cast<Register>(0), rd, 0, 0x09);
jeffhao7fbee072012-08-24 17:56:54 -0700450}
451
452void MipsAssembler::Jalr(Register rs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200453 Jalr(RA, rs);
454}
455
456void MipsAssembler::Jr(Register rs) {
457 Jalr(ZERO, rs);
458}
459
460void MipsAssembler::Nal() {
461 EmitI(0x1, static_cast<Register>(0), static_cast<Register>(0x10), 0);
462}
463
464void MipsAssembler::Auipc(Register rs, uint16_t imm16) {
465 CHECK(IsR6());
466 EmitI(0x3B, rs, static_cast<Register>(0x1E), imm16);
467}
468
469void MipsAssembler::Addiupc(Register rs, uint32_t imm19) {
470 CHECK(IsR6());
471 CHECK(IsUint<19>(imm19)) << imm19;
472 EmitI21(0x3B, rs, imm19);
473}
474
475void MipsAssembler::Bc(uint32_t imm26) {
476 CHECK(IsR6());
477 EmitI26(0x32, imm26);
478}
479
480void MipsAssembler::Jic(Register rt, uint16_t imm16) {
481 CHECK(IsR6());
482 EmitI(0x36, static_cast<Register>(0), rt, imm16);
483}
484
485void MipsAssembler::Jialc(Register rt, uint16_t imm16) {
486 CHECK(IsR6());
487 EmitI(0x3E, static_cast<Register>(0), rt, imm16);
488}
489
490void MipsAssembler::Bltc(Register rs, Register rt, uint16_t imm16) {
491 CHECK(IsR6());
492 CHECK_NE(rs, ZERO);
493 CHECK_NE(rt, ZERO);
494 CHECK_NE(rs, rt);
495 EmitI(0x17, rs, rt, imm16);
496}
497
498void MipsAssembler::Bltzc(Register rt, uint16_t imm16) {
499 CHECK(IsR6());
500 CHECK_NE(rt, ZERO);
501 EmitI(0x17, rt, rt, imm16);
502}
503
504void MipsAssembler::Bgtzc(Register rt, uint16_t imm16) {
505 CHECK(IsR6());
506 CHECK_NE(rt, ZERO);
507 EmitI(0x17, static_cast<Register>(0), rt, imm16);
508}
509
510void MipsAssembler::Bgec(Register rs, Register rt, uint16_t imm16) {
511 CHECK(IsR6());
512 CHECK_NE(rs, ZERO);
513 CHECK_NE(rt, ZERO);
514 CHECK_NE(rs, rt);
515 EmitI(0x16, rs, rt, imm16);
516}
517
518void MipsAssembler::Bgezc(Register rt, uint16_t imm16) {
519 CHECK(IsR6());
520 CHECK_NE(rt, ZERO);
521 EmitI(0x16, rt, rt, imm16);
522}
523
524void MipsAssembler::Blezc(Register rt, uint16_t imm16) {
525 CHECK(IsR6());
526 CHECK_NE(rt, ZERO);
527 EmitI(0x16, static_cast<Register>(0), rt, imm16);
528}
529
530void MipsAssembler::Bltuc(Register rs, Register rt, uint16_t imm16) {
531 CHECK(IsR6());
532 CHECK_NE(rs, ZERO);
533 CHECK_NE(rt, ZERO);
534 CHECK_NE(rs, rt);
535 EmitI(0x7, rs, rt, imm16);
536}
537
538void MipsAssembler::Bgeuc(Register rs, Register rt, uint16_t imm16) {
539 CHECK(IsR6());
540 CHECK_NE(rs, ZERO);
541 CHECK_NE(rt, ZERO);
542 CHECK_NE(rs, rt);
543 EmitI(0x6, rs, rt, imm16);
544}
545
546void MipsAssembler::Beqc(Register rs, Register rt, uint16_t imm16) {
547 CHECK(IsR6());
548 CHECK_NE(rs, ZERO);
549 CHECK_NE(rt, ZERO);
550 CHECK_NE(rs, rt);
551 EmitI(0x8, std::min(rs, rt), std::max(rs, rt), imm16);
552}
553
554void MipsAssembler::Bnec(Register rs, Register rt, uint16_t imm16) {
555 CHECK(IsR6());
556 CHECK_NE(rs, ZERO);
557 CHECK_NE(rt, ZERO);
558 CHECK_NE(rs, rt);
559 EmitI(0x18, std::min(rs, rt), std::max(rs, rt), imm16);
560}
561
562void MipsAssembler::Beqzc(Register rs, uint32_t imm21) {
563 CHECK(IsR6());
564 CHECK_NE(rs, ZERO);
565 EmitI21(0x36, rs, imm21);
566}
567
568void MipsAssembler::Bnezc(Register rs, uint32_t imm21) {
569 CHECK(IsR6());
570 CHECK_NE(rs, ZERO);
571 EmitI21(0x3E, rs, imm21);
572}
573
574void MipsAssembler::EmitBcond(BranchCondition cond, Register rs, Register rt, uint16_t imm16) {
575 switch (cond) {
576 case kCondLTZ:
577 CHECK_EQ(rt, ZERO);
578 Bltz(rs, imm16);
579 break;
580 case kCondGEZ:
581 CHECK_EQ(rt, ZERO);
582 Bgez(rs, imm16);
583 break;
584 case kCondLEZ:
585 CHECK_EQ(rt, ZERO);
586 Blez(rs, imm16);
587 break;
588 case kCondGTZ:
589 CHECK_EQ(rt, ZERO);
590 Bgtz(rs, imm16);
591 break;
592 case kCondEQ:
593 Beq(rs, rt, imm16);
594 break;
595 case kCondNE:
596 Bne(rs, rt, imm16);
597 break;
598 case kCondEQZ:
599 CHECK_EQ(rt, ZERO);
600 Beqz(rs, imm16);
601 break;
602 case kCondNEZ:
603 CHECK_EQ(rt, ZERO);
604 Bnez(rs, imm16);
605 break;
606 case kCondLT:
607 case kCondGE:
608 case kCondLE:
609 case kCondGT:
610 case kCondLTU:
611 case kCondGEU:
612 case kUncond:
613 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
614 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
615 LOG(FATAL) << "Unexpected branch condition " << cond;
616 UNREACHABLE();
617 }
618}
619
620void MipsAssembler::EmitBcondc(BranchCondition cond, Register rs, Register rt, uint32_t imm16_21) {
621 switch (cond) {
622 case kCondLT:
623 Bltc(rs, rt, imm16_21);
624 break;
625 case kCondGE:
626 Bgec(rs, rt, imm16_21);
627 break;
628 case kCondLE:
629 Bgec(rt, rs, imm16_21);
630 break;
631 case kCondGT:
632 Bltc(rt, rs, imm16_21);
633 break;
634 case kCondLTZ:
635 CHECK_EQ(rt, ZERO);
636 Bltzc(rs, imm16_21);
637 break;
638 case kCondGEZ:
639 CHECK_EQ(rt, ZERO);
640 Bgezc(rs, imm16_21);
641 break;
642 case kCondLEZ:
643 CHECK_EQ(rt, ZERO);
644 Blezc(rs, imm16_21);
645 break;
646 case kCondGTZ:
647 CHECK_EQ(rt, ZERO);
648 Bgtzc(rs, imm16_21);
649 break;
650 case kCondEQ:
651 Beqc(rs, rt, imm16_21);
652 break;
653 case kCondNE:
654 Bnec(rs, rt, imm16_21);
655 break;
656 case kCondEQZ:
657 CHECK_EQ(rt, ZERO);
658 Beqzc(rs, imm16_21);
659 break;
660 case kCondNEZ:
661 CHECK_EQ(rt, ZERO);
662 Bnezc(rs, imm16_21);
663 break;
664 case kCondLTU:
665 Bltuc(rs, rt, imm16_21);
666 break;
667 case kCondGEU:
668 Bgeuc(rs, rt, imm16_21);
669 break;
670 case kUncond:
671 LOG(FATAL) << "Unexpected branch condition " << cond;
672 UNREACHABLE();
673 }
jeffhao7fbee072012-08-24 17:56:54 -0700674}
675
676void MipsAssembler::AddS(FRegister fd, FRegister fs, FRegister ft) {
677 EmitFR(0x11, 0x10, ft, fs, fd, 0x0);
678}
679
680void MipsAssembler::SubS(FRegister fd, FRegister fs, FRegister ft) {
681 EmitFR(0x11, 0x10, ft, fs, fd, 0x1);
682}
683
684void MipsAssembler::MulS(FRegister fd, FRegister fs, FRegister ft) {
685 EmitFR(0x11, 0x10, ft, fs, fd, 0x2);
686}
687
688void MipsAssembler::DivS(FRegister fd, FRegister fs, FRegister ft) {
689 EmitFR(0x11, 0x10, ft, fs, fd, 0x3);
690}
691
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200692void MipsAssembler::AddD(FRegister fd, FRegister fs, FRegister ft) {
693 EmitFR(0x11, 0x11, ft, fs, fd, 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700694}
695
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200696void MipsAssembler::SubD(FRegister fd, FRegister fs, FRegister ft) {
697 EmitFR(0x11, 0x11, ft, fs, fd, 0x1);
jeffhao7fbee072012-08-24 17:56:54 -0700698}
699
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200700void MipsAssembler::MulD(FRegister fd, FRegister fs, FRegister ft) {
701 EmitFR(0x11, 0x11, ft, fs, fd, 0x2);
jeffhao7fbee072012-08-24 17:56:54 -0700702}
703
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200704void MipsAssembler::DivD(FRegister fd, FRegister fs, FRegister ft) {
705 EmitFR(0x11, 0x11, ft, fs, fd, 0x3);
jeffhao7fbee072012-08-24 17:56:54 -0700706}
707
708void MipsAssembler::MovS(FRegister fd, FRegister fs) {
709 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x6);
710}
711
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200712void MipsAssembler::MovD(FRegister fd, FRegister fs) {
713 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x6);
714}
715
716void MipsAssembler::NegS(FRegister fd, FRegister fs) {
717 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x7);
718}
719
720void MipsAssembler::NegD(FRegister fd, FRegister fs) {
721 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x7);
722}
723
724void MipsAssembler::Cvtsw(FRegister fd, FRegister fs) {
725 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x20);
726}
727
728void MipsAssembler::Cvtdw(FRegister fd, FRegister fs) {
729 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x21);
730}
731
732void MipsAssembler::Cvtsd(FRegister fd, FRegister fs) {
733 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x20);
734}
735
736void MipsAssembler::Cvtds(FRegister fd, FRegister fs) {
737 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x21);
jeffhao7fbee072012-08-24 17:56:54 -0700738}
739
740void MipsAssembler::Mfc1(Register rt, FRegister fs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200741 EmitFR(0x11, 0x00, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700742}
743
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200744void MipsAssembler::Mtc1(Register rt, FRegister fs) {
745 EmitFR(0x11, 0x04, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
746}
747
748void MipsAssembler::Mfhc1(Register rt, FRegister fs) {
749 EmitFR(0x11, 0x03, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
750}
751
752void MipsAssembler::Mthc1(Register rt, FRegister fs) {
753 EmitFR(0x11, 0x07, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700754}
755
756void MipsAssembler::Lwc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200757 EmitI(0x31, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700758}
759
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200760void MipsAssembler::Ldc1(FRegister ft, Register rs, uint16_t imm16) {
761 EmitI(0x35, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700762}
763
764void MipsAssembler::Swc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200765 EmitI(0x39, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700766}
767
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200768void MipsAssembler::Sdc1(FRegister ft, Register rs, uint16_t imm16) {
769 EmitI(0x3d, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700770}
771
772void MipsAssembler::Break() {
773 EmitR(0, static_cast<Register>(0), static_cast<Register>(0),
774 static_cast<Register>(0), 0, 0xD);
775}
776
jeffhao07030602012-09-26 14:33:14 -0700777void MipsAssembler::Nop() {
778 EmitR(0x0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0), 0, 0x0);
779}
780
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200781void MipsAssembler::Move(Register rd, Register rs) {
782 Or(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -0700783}
784
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200785void MipsAssembler::Clear(Register rd) {
786 Move(rd, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -0700787}
788
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200789void MipsAssembler::Not(Register rd, Register rs) {
790 Nor(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -0700791}
792
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200793void MipsAssembler::Push(Register rs) {
794 IncreaseFrameSize(kMipsWordSize);
795 Sw(rs, SP, 0);
jeffhao7fbee072012-08-24 17:56:54 -0700796}
797
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200798void MipsAssembler::Pop(Register rd) {
799 Lw(rd, SP, 0);
800 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -0700801}
802
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200803void MipsAssembler::PopAndReturn(Register rd, Register rt) {
804 Lw(rd, SP, 0);
805 Jr(rt);
806 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -0700807}
808
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200809void MipsAssembler::LoadConst32(Register rd, int32_t value) {
810 if (IsUint<16>(value)) {
811 // Use OR with (unsigned) immediate to encode 16b unsigned int.
812 Ori(rd, ZERO, value);
813 } else if (IsInt<16>(value)) {
814 // Use ADD with (signed) immediate to encode 16b signed int.
815 Addiu(rd, ZERO, value);
jeffhao7fbee072012-08-24 17:56:54 -0700816 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200817 Lui(rd, High16Bits(value));
818 if (value & 0xFFFF)
819 Ori(rd, rd, Low16Bits(value));
820 }
821}
822
823void MipsAssembler::LoadConst64(Register reg_hi, Register reg_lo, int64_t value) {
824 LoadConst32(reg_lo, Low32Bits(value));
825 LoadConst32(reg_hi, High32Bits(value));
826}
827
828void MipsAssembler::StoreConst32ToOffset(int32_t value,
829 Register base,
830 int32_t offset,
831 Register temp) {
832 if (!IsInt<16>(offset)) {
833 CHECK_NE(temp, AT); // Must not use AT as temp, as not to overwrite the loaded value.
834 LoadConst32(AT, offset);
835 Addu(AT, AT, base);
836 base = AT;
837 offset = 0;
838 }
839 LoadConst32(temp, value);
840 Sw(temp, base, offset);
841}
842
843void MipsAssembler::StoreConst64ToOffset(int64_t value,
844 Register base,
845 int32_t offset,
846 Register temp) {
847 // IsInt<16> must be passed a signed value.
848 if (!IsInt<16>(offset) || !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize))) {
849 CHECK_NE(temp, AT); // Must not use AT as temp, as not to overwrite the loaded value.
850 LoadConst32(AT, offset);
851 Addu(AT, AT, base);
852 base = AT;
853 offset = 0;
854 }
855 LoadConst32(temp, Low32Bits(value));
856 Sw(temp, base, offset);
857 LoadConst32(temp, High32Bits(value));
858 Sw(temp, base, offset + kMipsWordSize);
859}
860
861void MipsAssembler::LoadSConst32(FRegister r, int32_t value, Register temp) {
862 LoadConst32(temp, value);
863 Mtc1(temp, r);
864}
865
866void MipsAssembler::LoadDConst64(FRegister rd, int64_t value, Register temp) {
867 LoadConst32(temp, Low32Bits(value));
868 Mtc1(temp, rd);
869 LoadConst32(temp, High32Bits(value));
870 Mthc1(temp, rd);
871}
872
873void MipsAssembler::Addiu32(Register rt, Register rs, int32_t value, Register temp) {
874 if (IsInt<16>(value)) {
875 Addiu(rt, rs, value);
876 } else {
877 LoadConst32(temp, value);
878 Addu(rt, rs, temp);
879 }
880}
881
882void MipsAssembler::Branch::InitShortOrLong(MipsAssembler::Branch::OffsetBits offset_size,
883 MipsAssembler::Branch::Type short_type,
884 MipsAssembler::Branch::Type long_type) {
885 type_ = (offset_size <= branch_info_[short_type].offset_size) ? short_type : long_type;
886}
887
888void MipsAssembler::Branch::InitializeType(bool is_call, bool is_r6) {
889 OffsetBits offset_size = GetOffsetSizeNeeded(location_, target_);
890 if (is_r6) {
891 // R6
892 if (is_call) {
893 InitShortOrLong(offset_size, kR6Call, kR6LongCall);
894 } else if (condition_ == kUncond) {
895 InitShortOrLong(offset_size, kR6UncondBranch, kR6LongUncondBranch);
896 } else {
897 if (condition_ == kCondEQZ || condition_ == kCondNEZ) {
898 // Special case for beqzc/bnezc with longer offset than in other b<cond>c instructions.
899 type_ = (offset_size <= kOffset23) ? kR6CondBranch : kR6LongCondBranch;
900 } else {
901 InitShortOrLong(offset_size, kR6CondBranch, kR6LongCondBranch);
902 }
903 }
904 } else {
905 // R2
906 if (is_call) {
907 InitShortOrLong(offset_size, kCall, kLongCall);
908 } else if (condition_ == kUncond) {
909 InitShortOrLong(offset_size, kUncondBranch, kLongUncondBranch);
910 } else {
911 InitShortOrLong(offset_size, kCondBranch, kLongCondBranch);
912 }
913 }
914 old_type_ = type_;
915}
916
917bool MipsAssembler::Branch::IsNop(BranchCondition condition, Register lhs, Register rhs) {
918 switch (condition) {
919 case kCondLT:
920 case kCondGT:
921 case kCondNE:
922 case kCondLTU:
923 return lhs == rhs;
924 default:
925 return false;
926 }
927}
928
929bool MipsAssembler::Branch::IsUncond(BranchCondition condition, Register lhs, Register rhs) {
930 switch (condition) {
931 case kUncond:
932 return true;
933 case kCondGE:
934 case kCondLE:
935 case kCondEQ:
936 case kCondGEU:
937 return lhs == rhs;
938 default:
939 return false;
940 }
941}
942
943MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target)
944 : old_location_(location),
945 location_(location),
946 target_(target),
947 lhs_reg_(0),
948 rhs_reg_(0),
949 condition_(kUncond) {
950 InitializeType(false, is_r6);
951}
952
953MipsAssembler::Branch::Branch(bool is_r6,
954 uint32_t location,
955 uint32_t target,
956 MipsAssembler::BranchCondition condition,
957 Register lhs_reg,
958 Register rhs_reg)
959 : old_location_(location),
960 location_(location),
961 target_(target),
962 lhs_reg_(lhs_reg),
963 rhs_reg_(rhs_reg),
964 condition_(condition) {
965 CHECK_NE(condition, kUncond);
966 switch (condition) {
967 case kCondLT:
968 case kCondGE:
969 case kCondLE:
970 case kCondGT:
971 case kCondLTU:
972 case kCondGEU:
973 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
974 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
975 // We leave this up to the caller.
976 CHECK(is_r6);
977 FALLTHROUGH_INTENDED;
978 case kCondEQ:
979 case kCondNE:
980 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
981 // To compare with 0, use dedicated kCond*Z conditions.
982 CHECK_NE(lhs_reg, ZERO);
983 CHECK_NE(rhs_reg, ZERO);
984 break;
985 case kCondLTZ:
986 case kCondGEZ:
987 case kCondLEZ:
988 case kCondGTZ:
989 case kCondEQZ:
990 case kCondNEZ:
991 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
992 CHECK_NE(lhs_reg, ZERO);
993 CHECK_EQ(rhs_reg, ZERO);
994 break;
995 case kUncond:
996 UNREACHABLE();
997 }
998 CHECK(!IsNop(condition, lhs_reg, rhs_reg));
999 if (IsUncond(condition, lhs_reg, rhs_reg)) {
1000 // Branch condition is always true, make the branch unconditional.
1001 condition_ = kUncond;
1002 }
1003 InitializeType(false, is_r6);
1004}
1005
1006MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target, Register indirect_reg)
1007 : old_location_(location),
1008 location_(location),
1009 target_(target),
1010 lhs_reg_(indirect_reg),
1011 rhs_reg_(0),
1012 condition_(kUncond) {
1013 CHECK_NE(indirect_reg, ZERO);
1014 CHECK_NE(indirect_reg, AT);
1015 InitializeType(true, is_r6);
1016}
1017
1018MipsAssembler::BranchCondition MipsAssembler::Branch::OppositeCondition(
1019 MipsAssembler::BranchCondition cond) {
1020 switch (cond) {
1021 case kCondLT:
1022 return kCondGE;
1023 case kCondGE:
1024 return kCondLT;
1025 case kCondLE:
1026 return kCondGT;
1027 case kCondGT:
1028 return kCondLE;
1029 case kCondLTZ:
1030 return kCondGEZ;
1031 case kCondGEZ:
1032 return kCondLTZ;
1033 case kCondLEZ:
1034 return kCondGTZ;
1035 case kCondGTZ:
1036 return kCondLEZ;
1037 case kCondEQ:
1038 return kCondNE;
1039 case kCondNE:
1040 return kCondEQ;
1041 case kCondEQZ:
1042 return kCondNEZ;
1043 case kCondNEZ:
1044 return kCondEQZ;
1045 case kCondLTU:
1046 return kCondGEU;
1047 case kCondGEU:
1048 return kCondLTU;
1049 case kUncond:
1050 LOG(FATAL) << "Unexpected branch condition " << cond;
1051 }
1052 UNREACHABLE();
1053}
1054
1055MipsAssembler::Branch::Type MipsAssembler::Branch::GetType() const {
1056 return type_;
1057}
1058
1059MipsAssembler::BranchCondition MipsAssembler::Branch::GetCondition() const {
1060 return condition_;
1061}
1062
1063Register MipsAssembler::Branch::GetLeftRegister() const {
1064 return static_cast<Register>(lhs_reg_);
1065}
1066
1067Register MipsAssembler::Branch::GetRightRegister() const {
1068 return static_cast<Register>(rhs_reg_);
1069}
1070
1071uint32_t MipsAssembler::Branch::GetTarget() const {
1072 return target_;
1073}
1074
1075uint32_t MipsAssembler::Branch::GetLocation() const {
1076 return location_;
1077}
1078
1079uint32_t MipsAssembler::Branch::GetOldLocation() const {
1080 return old_location_;
1081}
1082
1083uint32_t MipsAssembler::Branch::GetLength() const {
1084 return branch_info_[type_].length;
1085}
1086
1087uint32_t MipsAssembler::Branch::GetOldLength() const {
1088 return branch_info_[old_type_].length;
1089}
1090
1091uint32_t MipsAssembler::Branch::GetSize() const {
1092 return GetLength() * sizeof(uint32_t);
1093}
1094
1095uint32_t MipsAssembler::Branch::GetOldSize() const {
1096 return GetOldLength() * sizeof(uint32_t);
1097}
1098
1099uint32_t MipsAssembler::Branch::GetEndLocation() const {
1100 return GetLocation() + GetSize();
1101}
1102
1103uint32_t MipsAssembler::Branch::GetOldEndLocation() const {
1104 return GetOldLocation() + GetOldSize();
1105}
1106
1107bool MipsAssembler::Branch::IsLong() const {
1108 switch (type_) {
1109 // R2 short branches.
1110 case kUncondBranch:
1111 case kCondBranch:
1112 case kCall:
1113 // R6 short branches.
1114 case kR6UncondBranch:
1115 case kR6CondBranch:
1116 case kR6Call:
1117 return false;
1118 // R2 long branches.
1119 case kLongUncondBranch:
1120 case kLongCondBranch:
1121 case kLongCall:
1122 // R6 long branches.
1123 case kR6LongUncondBranch:
1124 case kR6LongCondBranch:
1125 case kR6LongCall:
1126 return true;
1127 }
1128 UNREACHABLE();
1129}
1130
1131bool MipsAssembler::Branch::IsResolved() const {
1132 return target_ != kUnresolved;
1133}
1134
1135MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSize() const {
1136 OffsetBits offset_size =
1137 (type_ == kR6CondBranch && (condition_ == kCondEQZ || condition_ == kCondNEZ))
1138 ? kOffset23
1139 : branch_info_[type_].offset_size;
1140 return offset_size;
1141}
1142
1143MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSizeNeeded(uint32_t location,
1144 uint32_t target) {
1145 // For unresolved targets assume the shortest encoding
1146 // (later it will be made longer if needed).
1147 if (target == kUnresolved)
1148 return kOffset16;
1149 int64_t distance = static_cast<int64_t>(target) - location;
1150 // To simplify calculations in composite branches consisting of multiple instructions
1151 // bump up the distance by a value larger than the max byte size of a composite branch.
1152 distance += (distance >= 0) ? kMaxBranchSize : -kMaxBranchSize;
1153 if (IsInt<kOffset16>(distance))
1154 return kOffset16;
1155 else if (IsInt<kOffset18>(distance))
1156 return kOffset18;
1157 else if (IsInt<kOffset21>(distance))
1158 return kOffset21;
1159 else if (IsInt<kOffset23>(distance))
1160 return kOffset23;
1161 else if (IsInt<kOffset28>(distance))
1162 return kOffset28;
1163 return kOffset32;
1164}
1165
1166void MipsAssembler::Branch::Resolve(uint32_t target) {
1167 target_ = target;
1168}
1169
1170void MipsAssembler::Branch::Relocate(uint32_t expand_location, uint32_t delta) {
1171 if (location_ > expand_location) {
1172 location_ += delta;
1173 }
1174 if (!IsResolved()) {
1175 return; // Don't know the target yet.
1176 }
1177 if (target_ > expand_location) {
1178 target_ += delta;
1179 }
1180}
1181
1182void MipsAssembler::Branch::PromoteToLong() {
1183 switch (type_) {
1184 // R2 short branches.
1185 case kUncondBranch:
1186 type_ = kLongUncondBranch;
1187 break;
1188 case kCondBranch:
1189 type_ = kLongCondBranch;
1190 break;
1191 case kCall:
1192 type_ = kLongCall;
1193 break;
1194 // R6 short branches.
1195 case kR6UncondBranch:
1196 type_ = kR6LongUncondBranch;
1197 break;
1198 case kR6CondBranch:
1199 type_ = kR6LongCondBranch;
1200 break;
1201 case kR6Call:
1202 type_ = kR6LongCall;
1203 break;
1204 default:
1205 // Note: 'type_' is already long.
1206 break;
1207 }
1208 CHECK(IsLong());
1209}
1210
1211uint32_t MipsAssembler::Branch::PromoteIfNeeded(uint32_t max_short_distance) {
1212 // If the branch is still unresolved or already long, nothing to do.
1213 if (IsLong() || !IsResolved()) {
1214 return 0;
1215 }
1216 // Promote the short branch to long if the offset size is too small
1217 // to hold the distance between location_ and target_.
1218 if (GetOffsetSizeNeeded(location_, target_) > GetOffsetSize()) {
1219 PromoteToLong();
1220 uint32_t old_size = GetOldSize();
1221 uint32_t new_size = GetSize();
1222 CHECK_GT(new_size, old_size);
1223 return new_size - old_size;
1224 }
1225 // The following logic is for debugging/testing purposes.
1226 // Promote some short branches to long when it's not really required.
1227 if (UNLIKELY(max_short_distance != std::numeric_limits<uint32_t>::max())) {
1228 int64_t distance = static_cast<int64_t>(target_) - location_;
1229 distance = (distance >= 0) ? distance : -distance;
1230 if (distance >= max_short_distance) {
1231 PromoteToLong();
1232 uint32_t old_size = GetOldSize();
1233 uint32_t new_size = GetSize();
1234 CHECK_GT(new_size, old_size);
1235 return new_size - old_size;
1236 }
1237 }
1238 return 0;
1239}
1240
1241uint32_t MipsAssembler::Branch::GetOffsetLocation() const {
1242 return location_ + branch_info_[type_].instr_offset * sizeof(uint32_t);
1243}
1244
1245uint32_t MipsAssembler::Branch::GetOffset() const {
1246 CHECK(IsResolved());
1247 uint32_t ofs_mask = 0xFFFFFFFF >> (32 - GetOffsetSize());
1248 // Calculate the byte distance between instructions and also account for
1249 // different PC-relative origins.
1250 uint32_t offset = target_ - GetOffsetLocation() - branch_info_[type_].pc_org * sizeof(uint32_t);
1251 // Prepare the offset for encoding into the instruction(s).
1252 offset = (offset & ofs_mask) >> branch_info_[type_].offset_shift;
1253 return offset;
1254}
1255
1256MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) {
1257 CHECK_LT(branch_id, branches_.size());
1258 return &branches_[branch_id];
1259}
1260
1261const MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) const {
1262 CHECK_LT(branch_id, branches_.size());
1263 return &branches_[branch_id];
1264}
1265
1266void MipsAssembler::Bind(MipsLabel* label) {
1267 CHECK(!label->IsBound());
1268 uint32_t bound_pc = buffer_.Size();
1269
1270 // Walk the list of branches referring to and preceding this label.
1271 // Store the previously unknown target addresses in them.
1272 while (label->IsLinked()) {
1273 uint32_t branch_id = label->Position();
1274 Branch* branch = GetBranch(branch_id);
1275 branch->Resolve(bound_pc);
1276
1277 uint32_t branch_location = branch->GetLocation();
1278 // Extract the location of the previous branch in the list (walking the list backwards;
1279 // the previous branch ID was stored in the space reserved for this branch).
1280 uint32_t prev = buffer_.Load<uint32_t>(branch_location);
1281
1282 // On to the previous branch in the list...
1283 label->position_ = prev;
1284 }
1285
1286 // Now make the label object contain its own location (relative to the end of the preceding
1287 // branch, if any; it will be used by the branches referring to and following this label).
1288 label->prev_branch_id_plus_one_ = branches_.size();
1289 if (label->prev_branch_id_plus_one_) {
1290 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1291 const Branch* branch = GetBranch(branch_id);
1292 bound_pc -= branch->GetEndLocation();
1293 }
1294 label->BindTo(bound_pc);
1295}
1296
1297uint32_t MipsAssembler::GetLabelLocation(MipsLabel* label) const {
1298 CHECK(label->IsBound());
1299 uint32_t target = label->Position();
1300 if (label->prev_branch_id_plus_one_) {
1301 // Get label location based on the branch preceding it.
1302 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1303 const Branch* branch = GetBranch(branch_id);
1304 target += branch->GetEndLocation();
1305 }
1306 return target;
1307}
1308
1309uint32_t MipsAssembler::GetAdjustedPosition(uint32_t old_position) {
1310 // We can reconstruct the adjustment by going through all the branches from the beginning
1311 // up to the old_position. Since we expect AdjustedPosition() to be called in a loop
1312 // with increasing old_position, we can use the data from last AdjustedPosition() to
1313 // continue where we left off and the whole loop should be O(m+n) where m is the number
1314 // of positions to adjust and n is the number of branches.
1315 if (old_position < last_old_position_) {
1316 last_position_adjustment_ = 0;
1317 last_old_position_ = 0;
1318 last_branch_id_ = 0;
1319 }
1320 while (last_branch_id_ != branches_.size()) {
1321 const Branch* branch = GetBranch(last_branch_id_);
1322 if (branch->GetLocation() >= old_position + last_position_adjustment_) {
1323 break;
1324 }
1325 last_position_adjustment_ += branch->GetSize() - branch->GetOldSize();
1326 ++last_branch_id_;
1327 }
1328 last_old_position_ = old_position;
1329 return old_position + last_position_adjustment_;
1330}
1331
1332void MipsAssembler::FinalizeLabeledBranch(MipsLabel* label) {
1333 uint32_t length = branches_.back().GetLength();
1334 if (!label->IsBound()) {
1335 // Branch forward (to a following label), distance is unknown.
1336 // The first branch forward will contain 0, serving as the terminator of
1337 // the list of forward-reaching branches.
1338 Emit(label->position_);
1339 length--;
1340 // Now make the label object point to this branch
1341 // (this forms a linked list of branches preceding this label).
1342 uint32_t branch_id = branches_.size() - 1;
1343 label->LinkTo(branch_id);
1344 }
1345 // Reserve space for the branch.
1346 while (length--) {
1347 Nop();
1348 }
1349}
1350
1351void MipsAssembler::Buncond(MipsLabel* label) {
1352 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1353 branches_.emplace_back(IsR6(), buffer_.Size(), target);
1354 FinalizeLabeledBranch(label);
1355}
1356
1357void MipsAssembler::Bcond(MipsLabel* label, BranchCondition condition, Register lhs, Register rhs) {
1358 // If lhs = rhs, this can be a NOP.
1359 if (Branch::IsNop(condition, lhs, rhs)) {
1360 return;
1361 }
1362 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1363 branches_.emplace_back(IsR6(), buffer_.Size(), target, condition, lhs, rhs);
1364 FinalizeLabeledBranch(label);
1365}
1366
1367void MipsAssembler::Call(MipsLabel* label, Register indirect_reg) {
1368 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1369 branches_.emplace_back(IsR6(), buffer_.Size(), target, indirect_reg);
1370 FinalizeLabeledBranch(label);
1371}
1372
1373void MipsAssembler::PromoteBranches() {
1374 // Promote short branches to long as necessary.
1375 bool changed;
1376 do {
1377 changed = false;
1378 for (auto& branch : branches_) {
1379 CHECK(branch.IsResolved());
1380 uint32_t delta = branch.PromoteIfNeeded();
1381 // If this branch has been promoted and needs to expand in size,
1382 // relocate all branches by the expansion size.
1383 if (delta) {
1384 changed = true;
1385 uint32_t expand_location = branch.GetLocation();
1386 for (auto& branch2 : branches_) {
1387 branch2.Relocate(expand_location, delta);
1388 }
1389 }
1390 }
1391 } while (changed);
1392
1393 // Account for branch expansion by resizing the code buffer
1394 // and moving the code in it to its final location.
1395 size_t branch_count = branches_.size();
1396 if (branch_count > 0) {
1397 // Resize.
1398 Branch& last_branch = branches_[branch_count - 1];
1399 uint32_t size_delta = last_branch.GetEndLocation() - last_branch.GetOldEndLocation();
1400 uint32_t old_size = buffer_.Size();
1401 buffer_.Resize(old_size + size_delta);
1402 // Move the code residing between branch placeholders.
1403 uint32_t end = old_size;
1404 for (size_t i = branch_count; i > 0; ) {
1405 Branch& branch = branches_[--i];
1406 uint32_t size = end - branch.GetOldEndLocation();
1407 buffer_.Move(branch.GetEndLocation(), branch.GetOldEndLocation(), size);
1408 end = branch.GetOldLocation();
1409 }
1410 }
1411}
1412
1413// Note: make sure branch_info_[] and EmitBranch() are kept synchronized.
1414const MipsAssembler::Branch::BranchInfo MipsAssembler::Branch::branch_info_[] = {
1415 // R2 short branches.
1416 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kUncondBranch
1417 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kCondBranch
1418 { 5, 2, 0, MipsAssembler::Branch::kOffset16, 0 }, // kCall
1419 // R2 long branches.
1420 { 9, 3, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongUncondBranch
1421 { 10, 4, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCondBranch
1422 { 6, 1, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCall
1423 // R6 short branches.
1424 { 1, 0, 1, MipsAssembler::Branch::kOffset28, 2 }, // kR6UncondBranch
1425 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kR6CondBranch
1426 // Exception: kOffset23 for beqzc/bnezc.
1427 { 2, 0, 0, MipsAssembler::Branch::kOffset21, 2 }, // kR6Call
1428 // R6 long branches.
1429 { 2, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongUncondBranch
1430 { 3, 1, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCondBranch
1431 { 3, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCall
1432};
1433
1434// Note: make sure branch_info_[] and mitBranch() are kept synchronized.
1435void MipsAssembler::EmitBranch(MipsAssembler::Branch* branch) {
1436 CHECK_EQ(overwriting_, true);
1437 overwrite_location_ = branch->GetLocation();
1438 uint32_t offset = branch->GetOffset();
1439 BranchCondition condition = branch->GetCondition();
1440 Register lhs = branch->GetLeftRegister();
1441 Register rhs = branch->GetRightRegister();
1442 switch (branch->GetType()) {
1443 // R2 short branches.
1444 case Branch::kUncondBranch:
1445 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1446 B(offset);
1447 Nop(); // TODO: improve by filling the delay slot.
1448 break;
1449 case Branch::kCondBranch:
1450 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1451 EmitBcond(condition, lhs, rhs, offset);
1452 Nop(); // TODO: improve by filling the delay slot.
1453 break;
1454 case Branch::kCall:
1455 Nal();
1456 Nop(); // TODO: is this NOP really needed here?
1457 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1458 Addiu(lhs, RA, offset);
1459 Jalr(lhs);
1460 Nop();
1461 break;
1462
1463 // R2 long branches.
1464 case Branch::kLongUncondBranch:
1465 // To get the value of the PC register we need to use the NAL instruction.
1466 // NAL clobbers the RA register. However, RA must be preserved if the
1467 // method is compiled without the entry/exit sequences that would take care
1468 // of preserving RA (typically, leaf methods don't preserve RA explicitly).
1469 // So, we need to preserve RA in some temporary storage ourselves. The AT
1470 // register can't be used for this because we need it to load a constant
1471 // which will be added to the value that NAL stores in RA. And we can't
1472 // use T9 for this in the context of the JNI compiler, which uses it
1473 // as a scratch register (see InterproceduralScratchRegister()).
1474 // If we were to add a 32-bit constant to RA using two ADDIU instructions,
1475 // we'd also need to use the ROTR instruction, which requires no less than
1476 // MIPSR2.
1477 // Perhaps, we could use T8 or one of R2's multiplier/divider registers
1478 // (LO or HI) or even a floating-point register, but that doesn't seem
1479 // like a nice solution. We may want this to work on both R6 and pre-R6.
1480 // For now simply use the stack for RA. This should be OK since for the
1481 // vast majority of code a short PC-relative branch is sufficient.
1482 // TODO: can this be improved?
1483 Push(RA);
1484 Nal();
1485 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1486 Lui(AT, High16Bits(offset));
1487 Ori(AT, AT, Low16Bits(offset));
1488 Addu(AT, AT, RA);
1489 Lw(RA, SP, 0);
1490 Jr(AT);
1491 DecreaseFrameSize(kMipsWordSize);
1492 break;
1493 case Branch::kLongCondBranch:
1494 // The comment on case 'Branch::kLongUncondBranch' applies here as well.
1495 // Note: the opposite condition branch encodes 8 as the distance, which is equal to the
1496 // number of instructions skipped:
1497 // (PUSH(IncreaseFrameSize(ADDIU) + SW) + NAL + LUI + ORI + ADDU + LW + JR).
1498 EmitBcond(Branch::OppositeCondition(condition), lhs, rhs, 8);
1499 Push(RA);
1500 Nal();
1501 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1502 Lui(AT, High16Bits(offset));
1503 Ori(AT, AT, Low16Bits(offset));
1504 Addu(AT, AT, RA);
1505 Lw(RA, SP, 0);
1506 Jr(AT);
1507 DecreaseFrameSize(kMipsWordSize);
1508 break;
1509 case Branch::kLongCall:
1510 Nal();
1511 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1512 Lui(AT, High16Bits(offset));
1513 Ori(AT, AT, Low16Bits(offset));
1514 Addu(lhs, AT, RA);
1515 Jalr(lhs);
1516 Nop();
1517 break;
1518
1519 // R6 short branches.
1520 case Branch::kR6UncondBranch:
1521 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1522 Bc(offset);
1523 break;
1524 case Branch::kR6CondBranch:
1525 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1526 EmitBcondc(condition, lhs, rhs, offset);
1527 Nop(); // TODO: improve by filling the forbidden slot.
1528 break;
1529 case Branch::kR6Call:
1530 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1531 Addiupc(lhs, offset);
1532 Jialc(lhs, 0);
1533 break;
1534
1535 // R6 long branches.
1536 case Branch::kR6LongUncondBranch:
1537 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
1538 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1539 Auipc(AT, High16Bits(offset));
1540 Jic(AT, Low16Bits(offset));
1541 break;
1542 case Branch::kR6LongCondBranch:
1543 EmitBcondc(Branch::OppositeCondition(condition), lhs, rhs, 2);
1544 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
1545 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1546 Auipc(AT, High16Bits(offset));
1547 Jic(AT, Low16Bits(offset));
1548 break;
1549 case Branch::kR6LongCall:
1550 offset += (offset & 0x8000) << 1; // Account for sign extension in addiu.
1551 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1552 Auipc(lhs, High16Bits(offset));
1553 Addiu(lhs, lhs, Low16Bits(offset));
1554 Jialc(lhs, 0);
1555 break;
1556 }
1557 CHECK_EQ(overwrite_location_, branch->GetEndLocation());
1558 CHECK_LT(branch->GetSize(), static_cast<uint32_t>(Branch::kMaxBranchSize));
1559}
1560
1561void MipsAssembler::B(MipsLabel* label) {
1562 Buncond(label);
1563}
1564
1565void MipsAssembler::Jalr(MipsLabel* label, Register indirect_reg) {
1566 Call(label, indirect_reg);
1567}
1568
1569void MipsAssembler::Beq(Register rs, Register rt, MipsLabel* label) {
1570 Bcond(label, kCondEQ, rs, rt);
1571}
1572
1573void MipsAssembler::Bne(Register rs, Register rt, MipsLabel* label) {
1574 Bcond(label, kCondNE, rs, rt);
1575}
1576
1577void MipsAssembler::Beqz(Register rt, MipsLabel* label) {
1578 Bcond(label, kCondEQZ, rt);
1579}
1580
1581void MipsAssembler::Bnez(Register rt, MipsLabel* label) {
1582 Bcond(label, kCondNEZ, rt);
1583}
1584
1585void MipsAssembler::Bltz(Register rt, MipsLabel* label) {
1586 Bcond(label, kCondLTZ, rt);
1587}
1588
1589void MipsAssembler::Bgez(Register rt, MipsLabel* label) {
1590 Bcond(label, kCondGEZ, rt);
1591}
1592
1593void MipsAssembler::Blez(Register rt, MipsLabel* label) {
1594 Bcond(label, kCondLEZ, rt);
1595}
1596
1597void MipsAssembler::Bgtz(Register rt, MipsLabel* label) {
1598 Bcond(label, kCondGTZ, rt);
1599}
1600
1601void MipsAssembler::Blt(Register rs, Register rt, MipsLabel* label) {
1602 if (IsR6()) {
1603 Bcond(label, kCondLT, rs, rt);
1604 } else if (!Branch::IsNop(kCondLT, rs, rt)) {
1605 // Synthesize the instruction (not available on R2).
1606 Slt(AT, rs, rt);
1607 Bnez(AT, label);
1608 }
1609}
1610
1611void MipsAssembler::Bge(Register rs, Register rt, MipsLabel* label) {
1612 if (IsR6()) {
1613 Bcond(label, kCondGE, rs, rt);
1614 } else if (Branch::IsUncond(kCondGE, rs, rt)) {
1615 B(label);
1616 } else {
1617 // Synthesize the instruction (not available on R2).
1618 Slt(AT, rs, rt);
1619 Beqz(AT, label);
1620 }
1621}
1622
1623void MipsAssembler::Bltu(Register rs, Register rt, MipsLabel* label) {
1624 if (IsR6()) {
1625 Bcond(label, kCondLTU, rs, rt);
1626 } else if (!Branch::IsNop(kCondLTU, rs, rt)) {
1627 // Synthesize the instruction (not available on R2).
1628 Sltu(AT, rs, rt);
1629 Bnez(AT, label);
1630 }
1631}
1632
1633void MipsAssembler::Bgeu(Register rs, Register rt, MipsLabel* label) {
1634 if (IsR6()) {
1635 Bcond(label, kCondGEU, rs, rt);
1636 } else if (Branch::IsUncond(kCondGEU, rs, rt)) {
1637 B(label);
1638 } else {
1639 // Synthesize the instruction (not available on R2).
1640 Sltu(AT, rs, rt);
1641 Beqz(AT, label);
jeffhao7fbee072012-08-24 17:56:54 -07001642 }
1643}
1644
1645void MipsAssembler::LoadFromOffset(LoadOperandType type, Register reg, Register base,
1646 int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001647 // IsInt<16> must be passed a signed value.
1648 if (!IsInt<16>(offset) ||
1649 (type == kLoadDoubleword && !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1650 LoadConst32(AT, offset);
1651 Addu(AT, AT, base);
1652 base = AT;
1653 offset = 0;
1654 }
1655
jeffhao7fbee072012-08-24 17:56:54 -07001656 switch (type) {
1657 case kLoadSignedByte:
1658 Lb(reg, base, offset);
1659 break;
1660 case kLoadUnsignedByte:
1661 Lbu(reg, base, offset);
1662 break;
1663 case kLoadSignedHalfword:
1664 Lh(reg, base, offset);
1665 break;
1666 case kLoadUnsignedHalfword:
1667 Lhu(reg, base, offset);
1668 break;
1669 case kLoadWord:
1670 Lw(reg, base, offset);
1671 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001672 case kLoadDoubleword:
1673 if (reg == base) {
1674 // This will clobber the base when loading the lower register. Since we have to load the
1675 // higher register as well, this will fail. Solution: reverse the order.
1676 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
1677 Lw(reg, base, offset);
1678 } else {
1679 Lw(reg, base, offset);
1680 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
1681 }
jeffhao7fbee072012-08-24 17:56:54 -07001682 break;
1683 default:
1684 LOG(FATAL) << "UNREACHABLE";
1685 }
1686}
1687
1688void MipsAssembler::LoadSFromOffset(FRegister reg, Register base, int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001689 if (!IsInt<16>(offset)) {
1690 LoadConst32(AT, offset);
1691 Addu(AT, AT, base);
1692 base = AT;
1693 offset = 0;
1694 }
1695
jeffhao7fbee072012-08-24 17:56:54 -07001696 Lwc1(reg, base, offset);
1697}
1698
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001699void MipsAssembler::LoadDFromOffset(FRegister reg, Register base, int32_t offset) {
1700 // IsInt<16> must be passed a signed value.
1701 if (!IsInt<16>(offset) ||
1702 (!IsAligned<kMipsDoublewordSize>(offset) &&
1703 !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1704 LoadConst32(AT, offset);
1705 Addu(AT, AT, base);
1706 base = AT;
1707 offset = 0;
1708 }
1709
1710 if (offset & 0x7) {
1711 if (Is32BitFPU()) {
1712 Lwc1(reg, base, offset);
1713 Lwc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
1714 } else {
1715 // 64-bit FPU.
1716 Lwc1(reg, base, offset);
1717 Lw(T8, base, offset + kMipsWordSize);
1718 Mthc1(T8, reg);
1719 }
1720 } else {
1721 Ldc1(reg, base, offset);
1722 }
1723}
1724
1725void MipsAssembler::EmitLoad(ManagedRegister m_dst, Register src_register, int32_t src_offset,
1726 size_t size) {
1727 MipsManagedRegister dst = m_dst.AsMips();
1728 if (dst.IsNoRegister()) {
1729 CHECK_EQ(0u, size) << dst;
1730 } else if (dst.IsCoreRegister()) {
1731 CHECK_EQ(kMipsWordSize, size) << dst;
1732 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
1733 } else if (dst.IsRegisterPair()) {
1734 CHECK_EQ(kMipsDoublewordSize, size) << dst;
1735 LoadFromOffset(kLoadDoubleword, dst.AsRegisterPairLow(), src_register, src_offset);
1736 } else if (dst.IsFRegister()) {
1737 if (size == kMipsWordSize) {
1738 LoadSFromOffset(dst.AsFRegister(), src_register, src_offset);
1739 } else {
1740 CHECK_EQ(kMipsDoublewordSize, size) << dst;
1741 LoadDFromOffset(dst.AsFRegister(), src_register, src_offset);
1742 }
1743 }
jeffhao7fbee072012-08-24 17:56:54 -07001744}
1745
1746void MipsAssembler::StoreToOffset(StoreOperandType type, Register reg, Register base,
1747 int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001748 // IsInt<16> must be passed a signed value.
1749 if (!IsInt<16>(offset) ||
1750 (type == kStoreDoubleword && !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1751 LoadConst32(AT, offset);
1752 Addu(AT, AT, base);
1753 base = AT;
1754 offset = 0;
1755 }
1756
jeffhao7fbee072012-08-24 17:56:54 -07001757 switch (type) {
1758 case kStoreByte:
1759 Sb(reg, base, offset);
1760 break;
1761 case kStoreHalfword:
1762 Sh(reg, base, offset);
1763 break;
1764 case kStoreWord:
1765 Sw(reg, base, offset);
1766 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001767 case kStoreDoubleword:
1768 CHECK_NE(reg, base);
1769 CHECK_NE(static_cast<Register>(reg + 1), base);
1770 Sw(reg, base, offset);
1771 Sw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001772 break;
1773 default:
1774 LOG(FATAL) << "UNREACHABLE";
1775 }
1776}
1777
Goran Jakovljevicff734982015-08-24 12:58:55 +00001778void MipsAssembler::StoreSToOffset(FRegister reg, Register base, int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001779 if (!IsInt<16>(offset)) {
1780 LoadConst32(AT, offset);
1781 Addu(AT, AT, base);
1782 base = AT;
1783 offset = 0;
1784 }
1785
jeffhao7fbee072012-08-24 17:56:54 -07001786 Swc1(reg, base, offset);
1787}
1788
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001789void MipsAssembler::StoreDToOffset(FRegister reg, Register base, int32_t offset) {
1790 // IsInt<16> must be passed a signed value.
1791 if (!IsInt<16>(offset) ||
1792 (!IsAligned<kMipsDoublewordSize>(offset) &&
1793 !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1794 LoadConst32(AT, offset);
1795 Addu(AT, AT, base);
1796 base = AT;
1797 offset = 0;
1798 }
1799
1800 if (offset & 0x7) {
1801 if (Is32BitFPU()) {
1802 Swc1(reg, base, offset);
1803 Swc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
1804 } else {
1805 // 64-bit FPU.
1806 Mfhc1(T8, reg);
1807 Swc1(reg, base, offset);
1808 Sw(T8, base, offset + kMipsWordSize);
1809 }
1810 } else {
1811 Sdc1(reg, base, offset);
1812 }
jeffhao7fbee072012-08-24 17:56:54 -07001813}
1814
David Srbeckydd973932015-04-07 20:29:48 +01001815static dwarf::Reg DWARFReg(Register reg) {
1816 return dwarf::Reg::MipsCore(static_cast<int>(reg));
1817}
1818
Ian Rogers790a6b72014-04-01 10:36:00 -07001819constexpr size_t kFramePointerSize = 4;
1820
jeffhao7fbee072012-08-24 17:56:54 -07001821void MipsAssembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
1822 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +07001823 const ManagedRegisterEntrySpills& entry_spills) {
jeffhao7fbee072012-08-24 17:56:54 -07001824 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001825 DCHECK(!overwriting_);
jeffhao7fbee072012-08-24 17:56:54 -07001826
1827 // Increase frame to required size.
1828 IncreaseFrameSize(frame_size);
1829
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001830 // Push callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07001831 int stack_offset = frame_size - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001832 StoreToOffset(kStoreWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001833 cfi_.RelOffset(DWARFReg(RA), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07001834 for (int i = callee_save_regs.size() - 1; i >= 0; --i) {
Ian Rogers790a6b72014-04-01 10:36:00 -07001835 stack_offset -= kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001836 Register reg = callee_save_regs.at(i).AsMips().AsCoreRegister();
1837 StoreToOffset(kStoreWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001838 cfi_.RelOffset(DWARFReg(reg), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07001839 }
1840
1841 // Write out Method*.
1842 StoreToOffset(kStoreWord, method_reg.AsMips().AsCoreRegister(), SP, 0);
1843
1844 // Write out entry spills.
Goran Jakovljevicff734982015-08-24 12:58:55 +00001845 int32_t offset = frame_size + kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001846 for (size_t i = 0; i < entry_spills.size(); ++i) {
Goran Jakovljevicff734982015-08-24 12:58:55 +00001847 MipsManagedRegister reg = entry_spills.at(i).AsMips();
1848 if (reg.IsNoRegister()) {
1849 ManagedRegisterSpill spill = entry_spills.at(i);
1850 offset += spill.getSize();
1851 } else if (reg.IsCoreRegister()) {
1852 StoreToOffset(kStoreWord, reg.AsCoreRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001853 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00001854 } else if (reg.IsFRegister()) {
1855 StoreSToOffset(reg.AsFRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001856 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00001857 } else if (reg.IsDRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001858 StoreDToOffset(reg.AsOverlappingDRegisterLow(), SP, offset);
1859 offset += kMipsDoublewordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00001860 }
jeffhao7fbee072012-08-24 17:56:54 -07001861 }
1862}
1863
1864void MipsAssembler::RemoveFrame(size_t frame_size,
1865 const std::vector<ManagedRegister>& callee_save_regs) {
1866 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001867 DCHECK(!overwriting_);
David Srbeckydd973932015-04-07 20:29:48 +01001868 cfi_.RememberState();
jeffhao7fbee072012-08-24 17:56:54 -07001869
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001870 // Pop callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07001871 int stack_offset = frame_size - (callee_save_regs.size() * kFramePointerSize) - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001872 for (size_t i = 0; i < callee_save_regs.size(); ++i) {
1873 Register reg = callee_save_regs.at(i).AsMips().AsCoreRegister();
1874 LoadFromOffset(kLoadWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001875 cfi_.Restore(DWARFReg(reg));
Ian Rogers790a6b72014-04-01 10:36:00 -07001876 stack_offset += kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001877 }
1878 LoadFromOffset(kLoadWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001879 cfi_.Restore(DWARFReg(RA));
jeffhao7fbee072012-08-24 17:56:54 -07001880
1881 // Decrease frame to required size.
1882 DecreaseFrameSize(frame_size);
jeffhao07030602012-09-26 14:33:14 -07001883
1884 // Then jump to the return address.
1885 Jr(RA);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001886 Nop();
David Srbeckydd973932015-04-07 20:29:48 +01001887
1888 // The CFI should be restored for any code that follows the exit block.
1889 cfi_.RestoreState();
1890 cfi_.DefCFAOffset(frame_size);
jeffhao7fbee072012-08-24 17:56:54 -07001891}
1892
1893void MipsAssembler::IncreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001894 CHECK_ALIGNED(adjust, kFramePointerSize);
1895 Addiu32(SP, SP, -adjust);
David Srbeckydd973932015-04-07 20:29:48 +01001896 cfi_.AdjustCFAOffset(adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001897 if (overwriting_) {
1898 cfi_.OverrideDelayedPC(overwrite_location_);
1899 }
jeffhao7fbee072012-08-24 17:56:54 -07001900}
1901
1902void MipsAssembler::DecreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001903 CHECK_ALIGNED(adjust, kFramePointerSize);
1904 Addiu32(SP, SP, adjust);
David Srbeckydd973932015-04-07 20:29:48 +01001905 cfi_.AdjustCFAOffset(-adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001906 if (overwriting_) {
1907 cfi_.OverrideDelayedPC(overwrite_location_);
1908 }
jeffhao7fbee072012-08-24 17:56:54 -07001909}
1910
1911void MipsAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
1912 MipsManagedRegister src = msrc.AsMips();
1913 if (src.IsNoRegister()) {
1914 CHECK_EQ(0u, size);
1915 } else if (src.IsCoreRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001916 CHECK_EQ(kMipsWordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07001917 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
1918 } else if (src.IsRegisterPair()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001919 CHECK_EQ(kMipsDoublewordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07001920 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
1921 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001922 SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001923 } else if (src.IsFRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001924 if (size == kMipsWordSize) {
1925 StoreSToOffset(src.AsFRegister(), SP, dest.Int32Value());
1926 } else {
1927 CHECK_EQ(kMipsDoublewordSize, size);
1928 StoreDToOffset(src.AsFRegister(), SP, dest.Int32Value());
1929 }
jeffhao7fbee072012-08-24 17:56:54 -07001930 }
1931}
1932
1933void MipsAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
1934 MipsManagedRegister src = msrc.AsMips();
1935 CHECK(src.IsCoreRegister());
1936 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
1937}
1938
1939void MipsAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
1940 MipsManagedRegister src = msrc.AsMips();
1941 CHECK(src.IsCoreRegister());
1942 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
1943}
1944
1945void MipsAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
1946 ManagedRegister mscratch) {
1947 MipsManagedRegister scratch = mscratch.AsMips();
1948 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001949 LoadConst32(scratch.AsCoreRegister(), imm);
jeffhao7fbee072012-08-24 17:56:54 -07001950 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
1951}
1952
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001953void MipsAssembler::StoreImmediateToThread32(ThreadOffset<kMipsWordSize> dest, uint32_t imm,
jeffhao7fbee072012-08-24 17:56:54 -07001954 ManagedRegister mscratch) {
1955 MipsManagedRegister scratch = mscratch.AsMips();
1956 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001957 // Is this function even referenced anywhere else in the code?
1958 LoadConst32(scratch.AsCoreRegister(), imm);
1959 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), S1, dest.Int32Value());
1960}
1961
1962void MipsAssembler::StoreStackOffsetToThread32(ThreadOffset<kMipsWordSize> thr_offs,
1963 FrameOffset fr_offs,
1964 ManagedRegister mscratch) {
1965 MipsManagedRegister scratch = mscratch.AsMips();
1966 CHECK(scratch.IsCoreRegister()) << scratch;
1967 Addiu32(scratch.AsCoreRegister(), SP, fr_offs.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07001968 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
1969 S1, thr_offs.Int32Value());
1970}
1971
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001972void MipsAssembler::StoreStackPointerToThread32(ThreadOffset<kMipsWordSize> thr_offs) {
jeffhao7fbee072012-08-24 17:56:54 -07001973 StoreToOffset(kStoreWord, SP, S1, thr_offs.Int32Value());
1974}
1975
1976void MipsAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
1977 FrameOffset in_off, ManagedRegister mscratch) {
1978 MipsManagedRegister src = msrc.AsMips();
1979 MipsManagedRegister scratch = mscratch.AsMips();
1980 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
1981 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001982 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001983}
1984
1985void MipsAssembler::Load(ManagedRegister mdest, FrameOffset src, size_t size) {
1986 return EmitLoad(mdest, SP, src.Int32Value(), size);
1987}
1988
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001989void MipsAssembler::LoadFromThread32(ManagedRegister mdest,
1990 ThreadOffset<kMipsWordSize> src, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07001991 return EmitLoad(mdest, S1, src.Int32Value(), size);
1992}
1993
1994void MipsAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
1995 MipsManagedRegister dest = mdest.AsMips();
1996 CHECK(dest.IsCoreRegister());
1997 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), SP, src.Int32Value());
1998}
1999
Mathieu Chartiere401d142015-04-22 13:56:20 -07002000void MipsAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +01002001 bool unpoison_reference) {
jeffhao7fbee072012-08-24 17:56:54 -07002002 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002003 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002004 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2005 base.AsMips().AsCoreRegister(), offs.Int32Value());
Roland Levillain4d027112015-07-01 15:41:14 +01002006 if (kPoisonHeapReferences && unpoison_reference) {
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -08002007 Subu(dest.AsCoreRegister(), ZERO, dest.AsCoreRegister());
2008 }
jeffhao7fbee072012-08-24 17:56:54 -07002009}
2010
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002011void MipsAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base, Offset offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002012 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002013 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002014 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2015 base.AsMips().AsCoreRegister(), offs.Int32Value());
2016}
2017
Ian Rogersdd7624d2014-03-14 17:43:00 -07002018void MipsAssembler::LoadRawPtrFromThread32(ManagedRegister mdest,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002019 ThreadOffset<kMipsWordSize> offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002020 MipsManagedRegister dest = mdest.AsMips();
2021 CHECK(dest.IsCoreRegister());
2022 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), S1, offs.Int32Value());
2023}
2024
2025void MipsAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2026 UNIMPLEMENTED(FATAL) << "no sign extension necessary for mips";
2027}
2028
2029void MipsAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2030 UNIMPLEMENTED(FATAL) << "no zero extension necessary for mips";
2031}
2032
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002033void MipsAssembler::Move(ManagedRegister mdest, ManagedRegister msrc, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002034 MipsManagedRegister dest = mdest.AsMips();
2035 MipsManagedRegister src = msrc.AsMips();
2036 if (!dest.Equals(src)) {
2037 if (dest.IsCoreRegister()) {
2038 CHECK(src.IsCoreRegister()) << src;
2039 Move(dest.AsCoreRegister(), src.AsCoreRegister());
2040 } else if (dest.IsFRegister()) {
2041 CHECK(src.IsFRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002042 if (size == kMipsWordSize) {
2043 MovS(dest.AsFRegister(), src.AsFRegister());
2044 } else {
2045 CHECK_EQ(kMipsDoublewordSize, size);
2046 MovD(dest.AsFRegister(), src.AsFRegister());
2047 }
jeffhao7fbee072012-08-24 17:56:54 -07002048 } else if (dest.IsDRegister()) {
2049 CHECK(src.IsDRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002050 MovD(dest.AsOverlappingDRegisterLow(), src.AsOverlappingDRegisterLow());
jeffhao7fbee072012-08-24 17:56:54 -07002051 } else {
2052 CHECK(dest.IsRegisterPair()) << dest;
2053 CHECK(src.IsRegisterPair()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002054 // Ensure that the first move doesn't clobber the input of the second.
jeffhao7fbee072012-08-24 17:56:54 -07002055 if (src.AsRegisterPairHigh() != dest.AsRegisterPairLow()) {
2056 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2057 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2058 } else {
2059 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2060 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2061 }
2062 }
2063 }
2064}
2065
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002066void MipsAssembler::CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002067 MipsManagedRegister scratch = mscratch.AsMips();
2068 CHECK(scratch.IsCoreRegister()) << scratch;
2069 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2070 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2071}
2072
Ian Rogersdd7624d2014-03-14 17:43:00 -07002073void MipsAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002074 ThreadOffset<kMipsWordSize> thr_offs,
2075 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002076 MipsManagedRegister scratch = mscratch.AsMips();
2077 CHECK(scratch.IsCoreRegister()) << scratch;
2078 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2079 S1, thr_offs.Int32Value());
2080 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2081 SP, fr_offs.Int32Value());
2082}
2083
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002084void MipsAssembler::CopyRawPtrToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2085 FrameOffset fr_offs,
2086 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002087 MipsManagedRegister scratch = mscratch.AsMips();
2088 CHECK(scratch.IsCoreRegister()) << scratch;
2089 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2090 SP, fr_offs.Int32Value());
2091 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2092 S1, thr_offs.Int32Value());
2093}
2094
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002095void MipsAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002096 MipsManagedRegister scratch = mscratch.AsMips();
2097 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002098 CHECK(size == kMipsWordSize || size == kMipsDoublewordSize) << size;
2099 if (size == kMipsWordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002100 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2101 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002102 } else if (size == kMipsDoublewordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002103 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2104 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002105 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + kMipsWordSize);
2106 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002107 }
2108}
2109
2110void MipsAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
2111 ManagedRegister mscratch, size_t size) {
2112 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002113 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002114 LoadFromOffset(kLoadWord, scratch, src_base.AsMips().AsCoreRegister(), src_offset.Int32Value());
2115 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
2116}
2117
2118void MipsAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
2119 ManagedRegister mscratch, size_t size) {
2120 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002121 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002122 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
2123 StoreToOffset(kStoreWord, scratch, dest_base.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2124}
2125
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002126void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2127 FrameOffset src_base ATTRIBUTE_UNUSED,
2128 Offset src_offset ATTRIBUTE_UNUSED,
2129 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2130 size_t size ATTRIBUTE_UNUSED) {
2131 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002132}
2133
2134void MipsAssembler::Copy(ManagedRegister dest, Offset dest_offset,
2135 ManagedRegister src, Offset src_offset,
2136 ManagedRegister mscratch, size_t size) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002137 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002138 Register scratch = mscratch.AsMips().AsCoreRegister();
2139 LoadFromOffset(kLoadWord, scratch, src.AsMips().AsCoreRegister(), src_offset.Int32Value());
2140 StoreToOffset(kStoreWord, scratch, dest.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2141}
2142
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002143void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2144 Offset dest_offset ATTRIBUTE_UNUSED,
2145 FrameOffset src ATTRIBUTE_UNUSED,
2146 Offset src_offset ATTRIBUTE_UNUSED,
2147 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2148 size_t size ATTRIBUTE_UNUSED) {
2149 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002150}
2151
2152void MipsAssembler::MemoryBarrier(ManagedRegister) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002153 // TODO: sync?
2154 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002155}
2156
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002157void MipsAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002158 FrameOffset handle_scope_offset,
2159 ManagedRegister min_reg,
2160 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002161 MipsManagedRegister out_reg = mout_reg.AsMips();
2162 MipsManagedRegister in_reg = min_reg.AsMips();
2163 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
2164 CHECK(out_reg.IsCoreRegister()) << out_reg;
2165 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002166 MipsLabel null_arg;
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002167 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2168 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002169 // E.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset).
jeffhao7fbee072012-08-24 17:56:54 -07002170 if (in_reg.IsNoRegister()) {
2171 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002172 SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002173 in_reg = out_reg;
2174 }
2175 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002176 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002177 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002178 Beqz(in_reg.AsCoreRegister(), &null_arg);
2179 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2180 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002181 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002182 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002183 }
2184}
2185
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002186void MipsAssembler::CreateHandleScopeEntry(FrameOffset out_off,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002187 FrameOffset handle_scope_offset,
2188 ManagedRegister mscratch,
2189 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002190 MipsManagedRegister scratch = mscratch.AsMips();
2191 CHECK(scratch.IsCoreRegister()) << scratch;
2192 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002193 MipsLabel null_arg;
2194 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002195 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2196 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002197 // E.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset).
2198 Beqz(scratch.AsCoreRegister(), &null_arg);
2199 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2200 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002201 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002202 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002203 }
2204 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
2205}
2206
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002207// Given a handle scope entry, load the associated reference.
2208void MipsAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002209 ManagedRegister min_reg) {
jeffhao7fbee072012-08-24 17:56:54 -07002210 MipsManagedRegister out_reg = mout_reg.AsMips();
2211 MipsManagedRegister in_reg = min_reg.AsMips();
2212 CHECK(out_reg.IsCoreRegister()) << out_reg;
2213 CHECK(in_reg.IsCoreRegister()) << in_reg;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002214 MipsLabel null_arg;
jeffhao7fbee072012-08-24 17:56:54 -07002215 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002216 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002217 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002218 Beqz(in_reg.AsCoreRegister(), &null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002219 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
2220 in_reg.AsCoreRegister(), 0);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002221 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002222}
2223
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002224void MipsAssembler::VerifyObject(ManagedRegister src ATTRIBUTE_UNUSED,
2225 bool could_be_null ATTRIBUTE_UNUSED) {
2226 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002227}
2228
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002229void MipsAssembler::VerifyObject(FrameOffset src ATTRIBUTE_UNUSED,
2230 bool could_be_null ATTRIBUTE_UNUSED) {
2231 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002232}
2233
2234void MipsAssembler::Call(ManagedRegister mbase, Offset offset, ManagedRegister mscratch) {
2235 MipsManagedRegister base = mbase.AsMips();
2236 MipsManagedRegister scratch = mscratch.AsMips();
2237 CHECK(base.IsCoreRegister()) << base;
2238 CHECK(scratch.IsCoreRegister()) << scratch;
2239 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2240 base.AsCoreRegister(), offset.Int32Value());
2241 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002242 Nop();
2243 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002244}
2245
2246void MipsAssembler::Call(FrameOffset base, Offset offset, ManagedRegister mscratch) {
2247 MipsManagedRegister scratch = mscratch.AsMips();
2248 CHECK(scratch.IsCoreRegister()) << scratch;
2249 // Call *(*(SP + base) + offset)
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002250 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, base.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002251 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2252 scratch.AsCoreRegister(), offset.Int32Value());
2253 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002254 Nop();
2255 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002256}
2257
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002258void MipsAssembler::CallFromThread32(ThreadOffset<kMipsWordSize> offset ATTRIBUTE_UNUSED,
2259 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
Ian Rogers468532e2013-08-05 10:56:33 -07002260 UNIMPLEMENTED(FATAL) << "no mips implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002261}
2262
2263void MipsAssembler::GetCurrentThread(ManagedRegister tr) {
2264 Move(tr.AsMips().AsCoreRegister(), S1);
2265}
2266
2267void MipsAssembler::GetCurrentThread(FrameOffset offset,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002268 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
jeffhao7fbee072012-08-24 17:56:54 -07002269 StoreToOffset(kStoreWord, S1, SP, offset.Int32Value());
2270}
2271
jeffhao7fbee072012-08-24 17:56:54 -07002272void MipsAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
2273 MipsManagedRegister scratch = mscratch.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002274 exception_blocks_.emplace_back(scratch, stack_adjust);
jeffhao7fbee072012-08-24 17:56:54 -07002275 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002276 S1, Thread::ExceptionOffset<kMipsWordSize>().Int32Value());
2277 // TODO: on MIPS32R6 prefer Bnezc(scratch.AsCoreRegister(), slow.Entry());
2278 // as the NAL instruction (occurring in long R2 branches) may become deprecated.
2279 // For now use common for R2 and R6 instructions as this code must execute on both.
2280 Bnez(scratch.AsCoreRegister(), exception_blocks_.back().Entry());
jeffhao7fbee072012-08-24 17:56:54 -07002281}
2282
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002283void MipsAssembler::EmitExceptionPoll(MipsExceptionSlowPath* exception) {
2284 Bind(exception->Entry());
2285 if (exception->stack_adjust_ != 0) { // Fix up the frame.
2286 DecreaseFrameSize(exception->stack_adjust_);
jeffhao7fbee072012-08-24 17:56:54 -07002287 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002288 // Pass exception object as argument.
2289 // Don't care about preserving A0 as this call won't return.
2290 CheckEntrypointTypes<kQuickDeliverException, void, mirror::Object*>();
2291 Move(A0, exception->scratch_.AsCoreRegister());
2292 // Set up call to Thread::Current()->pDeliverException.
2293 LoadFromOffset(kLoadWord, T9, S1,
2294 QUICK_ENTRYPOINT_OFFSET(kMipsWordSize, pDeliverException).Int32Value());
2295 Jr(T9);
2296 Nop();
2297
2298 // Call never returns.
2299 Break();
jeffhao7fbee072012-08-24 17:56:54 -07002300}
2301
2302} // namespace mips
2303} // namespace art