blob: 5a4de82eafc8f5b12c61653e0f4458a284af9e17 [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
Chris Larsene3845472015-11-18 12:27:15 -0800305void MipsAssembler::Movz(Register rd, Register rs, Register rt) {
306 CHECK(!IsR6());
307 EmitR(0, rs, rt, rd, 0, 0x0A);
308}
309
310void MipsAssembler::Movn(Register rd, Register rs, Register rt) {
311 CHECK(!IsR6());
312 EmitR(0, rs, rt, rd, 0, 0x0B);
313}
314
315void MipsAssembler::Seleqz(Register rd, Register rs, Register rt) {
316 CHECK(IsR6());
317 EmitR(0, rs, rt, rd, 0, 0x35);
318}
319
320void MipsAssembler::Selnez(Register rd, Register rs, Register rt) {
321 CHECK(IsR6());
322 EmitR(0, rs, rt, rd, 0, 0x37);
323}
324
325void MipsAssembler::ClzR6(Register rd, Register rs) {
326 CHECK(IsR6());
327 EmitR(0, rs, static_cast<Register>(0), rd, 0x01, 0x10);
328}
329
330void MipsAssembler::ClzR2(Register rd, Register rs) {
331 CHECK(!IsR6());
332 EmitR(0x1C, rs, rd, rd, 0, 0x20);
333}
334
335void MipsAssembler::CloR6(Register rd, Register rs) {
336 CHECK(IsR6());
337 EmitR(0, rs, static_cast<Register>(0), rd, 0x01, 0x11);
338}
339
340void MipsAssembler::CloR2(Register rd, Register rs) {
341 CHECK(!IsR6());
342 EmitR(0x1C, rs, rd, rd, 0, 0x21);
343}
344
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200345void MipsAssembler::Seb(Register rd, Register rt) {
346 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x10, 0x20);
jeffhao7fbee072012-08-24 17:56:54 -0700347}
348
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200349void MipsAssembler::Seh(Register rd, Register rt) {
350 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x18, 0x20);
jeffhao7fbee072012-08-24 17:56:54 -0700351}
352
Chris Larsen3f8bf652015-10-28 10:08:56 -0700353void MipsAssembler::Wsbh(Register rd, Register rt) {
354 EmitR(0x1f, static_cast<Register>(0), rt, rd, 2, 0x20);
355}
356
Chris Larsen70014c82015-11-18 12:26:08 -0800357void MipsAssembler::Bitswap(Register rd, Register rt) {
358 CHECK(IsR6());
359 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x0, 0x20);
360}
361
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200362void MipsAssembler::Sll(Register rd, Register rt, int shamt) {
Chris Larsen3f8bf652015-10-28 10:08:56 -0700363 CHECK(IsUint<5>(shamt)) << shamt;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200364 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x00);
jeffhao7fbee072012-08-24 17:56:54 -0700365}
366
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200367void MipsAssembler::Srl(Register rd, Register rt, int shamt) {
Chris Larsen3f8bf652015-10-28 10:08:56 -0700368 CHECK(IsUint<5>(shamt)) << shamt;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200369 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x02);
370}
371
Chris Larsen3f8bf652015-10-28 10:08:56 -0700372void MipsAssembler::Rotr(Register rd, Register rt, int shamt) {
373 CHECK(IsUint<5>(shamt)) << shamt;
374 EmitR(0, static_cast<Register>(1), rt, rd, shamt, 0x02);
375}
376
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200377void MipsAssembler::Sra(Register rd, Register rt, int shamt) {
Chris Larsen3f8bf652015-10-28 10:08:56 -0700378 CHECK(IsUint<5>(shamt)) << shamt;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200379 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x03);
380}
381
382void MipsAssembler::Sllv(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700383 EmitR(0, rs, rt, rd, 0, 0x04);
384}
385
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200386void MipsAssembler::Srlv(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700387 EmitR(0, rs, rt, rd, 0, 0x06);
388}
389
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200390void MipsAssembler::Srav(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700391 EmitR(0, rs, rt, rd, 0, 0x07);
392}
393
394void MipsAssembler::Lb(Register rt, Register rs, uint16_t imm16) {
395 EmitI(0x20, rs, rt, imm16);
396}
397
398void MipsAssembler::Lh(Register rt, Register rs, uint16_t imm16) {
399 EmitI(0x21, rs, rt, imm16);
400}
401
402void MipsAssembler::Lw(Register rt, Register rs, uint16_t imm16) {
403 EmitI(0x23, rs, rt, imm16);
404}
405
406void MipsAssembler::Lbu(Register rt, Register rs, uint16_t imm16) {
407 EmitI(0x24, rs, rt, imm16);
408}
409
410void MipsAssembler::Lhu(Register rt, Register rs, uint16_t imm16) {
411 EmitI(0x25, rs, rt, imm16);
412}
413
414void MipsAssembler::Lui(Register rt, uint16_t imm16) {
415 EmitI(0xf, static_cast<Register>(0), rt, imm16);
416}
417
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200418void MipsAssembler::Sync(uint32_t stype) {
419 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0),
420 stype & 0x1f, 0xf);
421}
422
jeffhao7fbee072012-08-24 17:56:54 -0700423void MipsAssembler::Mfhi(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200424 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700425 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x10);
426}
427
428void MipsAssembler::Mflo(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200429 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700430 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x12);
431}
432
433void MipsAssembler::Sb(Register rt, Register rs, uint16_t imm16) {
434 EmitI(0x28, rs, rt, imm16);
435}
436
437void MipsAssembler::Sh(Register rt, Register rs, uint16_t imm16) {
438 EmitI(0x29, rs, rt, imm16);
439}
440
441void MipsAssembler::Sw(Register rt, Register rs, uint16_t imm16) {
442 EmitI(0x2b, rs, rt, imm16);
443}
444
445void MipsAssembler::Slt(Register rd, Register rs, Register rt) {
446 EmitR(0, rs, rt, rd, 0, 0x2a);
447}
448
449void MipsAssembler::Sltu(Register rd, Register rs, Register rt) {
450 EmitR(0, rs, rt, rd, 0, 0x2b);
451}
452
453void MipsAssembler::Slti(Register rt, Register rs, uint16_t imm16) {
454 EmitI(0xa, rs, rt, imm16);
455}
456
457void MipsAssembler::Sltiu(Register rt, Register rs, uint16_t imm16) {
458 EmitI(0xb, rs, rt, imm16);
459}
460
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200461void MipsAssembler::B(uint16_t imm16) {
462 EmitI(0x4, static_cast<Register>(0), static_cast<Register>(0), imm16);
463}
464
465void MipsAssembler::Beq(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700466 EmitI(0x4, rs, rt, imm16);
467}
468
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200469void MipsAssembler::Bne(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700470 EmitI(0x5, rs, rt, imm16);
471}
472
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200473void MipsAssembler::Beqz(Register rt, uint16_t imm16) {
474 Beq(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700475}
476
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200477void MipsAssembler::Bnez(Register rt, uint16_t imm16) {
478 Bne(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700479}
480
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200481void MipsAssembler::Bltz(Register rt, uint16_t imm16) {
482 EmitI(0x1, rt, static_cast<Register>(0), imm16);
483}
484
485void MipsAssembler::Bgez(Register rt, uint16_t imm16) {
486 EmitI(0x1, rt, static_cast<Register>(0x1), imm16);
487}
488
489void MipsAssembler::Blez(Register rt, uint16_t imm16) {
490 EmitI(0x6, rt, static_cast<Register>(0), imm16);
491}
492
493void MipsAssembler::Bgtz(Register rt, uint16_t imm16) {
494 EmitI(0x7, rt, static_cast<Register>(0), imm16);
495}
496
497void MipsAssembler::J(uint32_t addr26) {
498 EmitI26(0x2, addr26);
499}
500
501void MipsAssembler::Jal(uint32_t addr26) {
502 EmitI26(0x3, addr26);
503}
504
505void MipsAssembler::Jalr(Register rd, Register rs) {
506 EmitR(0, rs, static_cast<Register>(0), rd, 0, 0x09);
jeffhao7fbee072012-08-24 17:56:54 -0700507}
508
509void MipsAssembler::Jalr(Register rs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200510 Jalr(RA, rs);
511}
512
513void MipsAssembler::Jr(Register rs) {
514 Jalr(ZERO, rs);
515}
516
517void MipsAssembler::Nal() {
518 EmitI(0x1, static_cast<Register>(0), static_cast<Register>(0x10), 0);
519}
520
521void MipsAssembler::Auipc(Register rs, uint16_t imm16) {
522 CHECK(IsR6());
523 EmitI(0x3B, rs, static_cast<Register>(0x1E), imm16);
524}
525
526void MipsAssembler::Addiupc(Register rs, uint32_t imm19) {
527 CHECK(IsR6());
528 CHECK(IsUint<19>(imm19)) << imm19;
529 EmitI21(0x3B, rs, imm19);
530}
531
532void MipsAssembler::Bc(uint32_t imm26) {
533 CHECK(IsR6());
534 EmitI26(0x32, imm26);
535}
536
537void MipsAssembler::Jic(Register rt, uint16_t imm16) {
538 CHECK(IsR6());
539 EmitI(0x36, static_cast<Register>(0), rt, imm16);
540}
541
542void MipsAssembler::Jialc(Register rt, uint16_t imm16) {
543 CHECK(IsR6());
544 EmitI(0x3E, static_cast<Register>(0), rt, imm16);
545}
546
547void MipsAssembler::Bltc(Register rs, Register rt, uint16_t imm16) {
548 CHECK(IsR6());
549 CHECK_NE(rs, ZERO);
550 CHECK_NE(rt, ZERO);
551 CHECK_NE(rs, rt);
552 EmitI(0x17, rs, rt, imm16);
553}
554
555void MipsAssembler::Bltzc(Register rt, uint16_t imm16) {
556 CHECK(IsR6());
557 CHECK_NE(rt, ZERO);
558 EmitI(0x17, rt, rt, imm16);
559}
560
561void MipsAssembler::Bgtzc(Register rt, uint16_t imm16) {
562 CHECK(IsR6());
563 CHECK_NE(rt, ZERO);
564 EmitI(0x17, static_cast<Register>(0), rt, imm16);
565}
566
567void MipsAssembler::Bgec(Register rs, Register rt, uint16_t imm16) {
568 CHECK(IsR6());
569 CHECK_NE(rs, ZERO);
570 CHECK_NE(rt, ZERO);
571 CHECK_NE(rs, rt);
572 EmitI(0x16, rs, rt, imm16);
573}
574
575void MipsAssembler::Bgezc(Register rt, uint16_t imm16) {
576 CHECK(IsR6());
577 CHECK_NE(rt, ZERO);
578 EmitI(0x16, rt, rt, imm16);
579}
580
581void MipsAssembler::Blezc(Register rt, uint16_t imm16) {
582 CHECK(IsR6());
583 CHECK_NE(rt, ZERO);
584 EmitI(0x16, static_cast<Register>(0), rt, imm16);
585}
586
587void MipsAssembler::Bltuc(Register rs, Register rt, uint16_t imm16) {
588 CHECK(IsR6());
589 CHECK_NE(rs, ZERO);
590 CHECK_NE(rt, ZERO);
591 CHECK_NE(rs, rt);
592 EmitI(0x7, rs, rt, imm16);
593}
594
595void MipsAssembler::Bgeuc(Register rs, Register rt, uint16_t imm16) {
596 CHECK(IsR6());
597 CHECK_NE(rs, ZERO);
598 CHECK_NE(rt, ZERO);
599 CHECK_NE(rs, rt);
600 EmitI(0x6, rs, rt, imm16);
601}
602
603void MipsAssembler::Beqc(Register rs, Register rt, uint16_t imm16) {
604 CHECK(IsR6());
605 CHECK_NE(rs, ZERO);
606 CHECK_NE(rt, ZERO);
607 CHECK_NE(rs, rt);
608 EmitI(0x8, std::min(rs, rt), std::max(rs, rt), imm16);
609}
610
611void MipsAssembler::Bnec(Register rs, Register rt, uint16_t imm16) {
612 CHECK(IsR6());
613 CHECK_NE(rs, ZERO);
614 CHECK_NE(rt, ZERO);
615 CHECK_NE(rs, rt);
616 EmitI(0x18, std::min(rs, rt), std::max(rs, rt), imm16);
617}
618
619void MipsAssembler::Beqzc(Register rs, uint32_t imm21) {
620 CHECK(IsR6());
621 CHECK_NE(rs, ZERO);
622 EmitI21(0x36, rs, imm21);
623}
624
625void MipsAssembler::Bnezc(Register rs, uint32_t imm21) {
626 CHECK(IsR6());
627 CHECK_NE(rs, ZERO);
628 EmitI21(0x3E, rs, imm21);
629}
630
631void MipsAssembler::EmitBcond(BranchCondition cond, Register rs, Register rt, uint16_t imm16) {
632 switch (cond) {
633 case kCondLTZ:
634 CHECK_EQ(rt, ZERO);
635 Bltz(rs, imm16);
636 break;
637 case kCondGEZ:
638 CHECK_EQ(rt, ZERO);
639 Bgez(rs, imm16);
640 break;
641 case kCondLEZ:
642 CHECK_EQ(rt, ZERO);
643 Blez(rs, imm16);
644 break;
645 case kCondGTZ:
646 CHECK_EQ(rt, ZERO);
647 Bgtz(rs, imm16);
648 break;
649 case kCondEQ:
650 Beq(rs, rt, imm16);
651 break;
652 case kCondNE:
653 Bne(rs, rt, imm16);
654 break;
655 case kCondEQZ:
656 CHECK_EQ(rt, ZERO);
657 Beqz(rs, imm16);
658 break;
659 case kCondNEZ:
660 CHECK_EQ(rt, ZERO);
661 Bnez(rs, imm16);
662 break;
663 case kCondLT:
664 case kCondGE:
665 case kCondLE:
666 case kCondGT:
667 case kCondLTU:
668 case kCondGEU:
669 case kUncond:
670 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
671 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
672 LOG(FATAL) << "Unexpected branch condition " << cond;
673 UNREACHABLE();
674 }
675}
676
677void MipsAssembler::EmitBcondc(BranchCondition cond, Register rs, Register rt, uint32_t imm16_21) {
678 switch (cond) {
679 case kCondLT:
680 Bltc(rs, rt, imm16_21);
681 break;
682 case kCondGE:
683 Bgec(rs, rt, imm16_21);
684 break;
685 case kCondLE:
686 Bgec(rt, rs, imm16_21);
687 break;
688 case kCondGT:
689 Bltc(rt, rs, imm16_21);
690 break;
691 case kCondLTZ:
692 CHECK_EQ(rt, ZERO);
693 Bltzc(rs, imm16_21);
694 break;
695 case kCondGEZ:
696 CHECK_EQ(rt, ZERO);
697 Bgezc(rs, imm16_21);
698 break;
699 case kCondLEZ:
700 CHECK_EQ(rt, ZERO);
701 Blezc(rs, imm16_21);
702 break;
703 case kCondGTZ:
704 CHECK_EQ(rt, ZERO);
705 Bgtzc(rs, imm16_21);
706 break;
707 case kCondEQ:
708 Beqc(rs, rt, imm16_21);
709 break;
710 case kCondNE:
711 Bnec(rs, rt, imm16_21);
712 break;
713 case kCondEQZ:
714 CHECK_EQ(rt, ZERO);
715 Beqzc(rs, imm16_21);
716 break;
717 case kCondNEZ:
718 CHECK_EQ(rt, ZERO);
719 Bnezc(rs, imm16_21);
720 break;
721 case kCondLTU:
722 Bltuc(rs, rt, imm16_21);
723 break;
724 case kCondGEU:
725 Bgeuc(rs, rt, imm16_21);
726 break;
727 case kUncond:
728 LOG(FATAL) << "Unexpected branch condition " << cond;
729 UNREACHABLE();
730 }
jeffhao7fbee072012-08-24 17:56:54 -0700731}
732
733void MipsAssembler::AddS(FRegister fd, FRegister fs, FRegister ft) {
734 EmitFR(0x11, 0x10, ft, fs, fd, 0x0);
735}
736
737void MipsAssembler::SubS(FRegister fd, FRegister fs, FRegister ft) {
738 EmitFR(0x11, 0x10, ft, fs, fd, 0x1);
739}
740
741void MipsAssembler::MulS(FRegister fd, FRegister fs, FRegister ft) {
742 EmitFR(0x11, 0x10, ft, fs, fd, 0x2);
743}
744
745void MipsAssembler::DivS(FRegister fd, FRegister fs, FRegister ft) {
746 EmitFR(0x11, 0x10, ft, fs, fd, 0x3);
747}
748
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200749void MipsAssembler::AddD(FRegister fd, FRegister fs, FRegister ft) {
750 EmitFR(0x11, 0x11, ft, fs, fd, 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700751}
752
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200753void MipsAssembler::SubD(FRegister fd, FRegister fs, FRegister ft) {
754 EmitFR(0x11, 0x11, ft, fs, fd, 0x1);
jeffhao7fbee072012-08-24 17:56:54 -0700755}
756
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200757void MipsAssembler::MulD(FRegister fd, FRegister fs, FRegister ft) {
758 EmitFR(0x11, 0x11, ft, fs, fd, 0x2);
jeffhao7fbee072012-08-24 17:56:54 -0700759}
760
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200761void MipsAssembler::DivD(FRegister fd, FRegister fs, FRegister ft) {
762 EmitFR(0x11, 0x11, ft, fs, fd, 0x3);
jeffhao7fbee072012-08-24 17:56:54 -0700763}
764
765void MipsAssembler::MovS(FRegister fd, FRegister fs) {
766 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x6);
767}
768
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200769void MipsAssembler::MovD(FRegister fd, FRegister fs) {
770 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x6);
771}
772
773void MipsAssembler::NegS(FRegister fd, FRegister fs) {
774 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x7);
775}
776
777void MipsAssembler::NegD(FRegister fd, FRegister fs) {
778 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x7);
779}
780
781void MipsAssembler::Cvtsw(FRegister fd, FRegister fs) {
782 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x20);
783}
784
785void MipsAssembler::Cvtdw(FRegister fd, FRegister fs) {
786 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x21);
787}
788
789void MipsAssembler::Cvtsd(FRegister fd, FRegister fs) {
790 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x20);
791}
792
793void MipsAssembler::Cvtds(FRegister fd, FRegister fs) {
794 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x21);
jeffhao7fbee072012-08-24 17:56:54 -0700795}
796
797void MipsAssembler::Mfc1(Register rt, FRegister fs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200798 EmitFR(0x11, 0x00, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700799}
800
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200801void MipsAssembler::Mtc1(Register rt, FRegister fs) {
802 EmitFR(0x11, 0x04, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
803}
804
805void MipsAssembler::Mfhc1(Register rt, FRegister fs) {
806 EmitFR(0x11, 0x03, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
807}
808
809void MipsAssembler::Mthc1(Register rt, FRegister fs) {
810 EmitFR(0x11, 0x07, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700811}
812
813void MipsAssembler::Lwc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200814 EmitI(0x31, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700815}
816
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200817void MipsAssembler::Ldc1(FRegister ft, Register rs, uint16_t imm16) {
818 EmitI(0x35, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700819}
820
821void MipsAssembler::Swc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200822 EmitI(0x39, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700823}
824
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200825void MipsAssembler::Sdc1(FRegister ft, Register rs, uint16_t imm16) {
826 EmitI(0x3d, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700827}
828
829void MipsAssembler::Break() {
830 EmitR(0, static_cast<Register>(0), static_cast<Register>(0),
831 static_cast<Register>(0), 0, 0xD);
832}
833
jeffhao07030602012-09-26 14:33:14 -0700834void MipsAssembler::Nop() {
835 EmitR(0x0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0), 0, 0x0);
836}
837
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200838void MipsAssembler::Move(Register rd, Register rs) {
839 Or(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -0700840}
841
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200842void MipsAssembler::Clear(Register rd) {
843 Move(rd, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -0700844}
845
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200846void MipsAssembler::Not(Register rd, Register rs) {
847 Nor(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -0700848}
849
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200850void MipsAssembler::Push(Register rs) {
851 IncreaseFrameSize(kMipsWordSize);
852 Sw(rs, SP, 0);
jeffhao7fbee072012-08-24 17:56:54 -0700853}
854
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200855void MipsAssembler::Pop(Register rd) {
856 Lw(rd, SP, 0);
857 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -0700858}
859
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200860void MipsAssembler::PopAndReturn(Register rd, Register rt) {
861 Lw(rd, SP, 0);
862 Jr(rt);
863 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -0700864}
865
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200866void MipsAssembler::LoadConst32(Register rd, int32_t value) {
867 if (IsUint<16>(value)) {
868 // Use OR with (unsigned) immediate to encode 16b unsigned int.
869 Ori(rd, ZERO, value);
870 } else if (IsInt<16>(value)) {
871 // Use ADD with (signed) immediate to encode 16b signed int.
872 Addiu(rd, ZERO, value);
jeffhao7fbee072012-08-24 17:56:54 -0700873 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200874 Lui(rd, High16Bits(value));
875 if (value & 0xFFFF)
876 Ori(rd, rd, Low16Bits(value));
877 }
878}
879
880void MipsAssembler::LoadConst64(Register reg_hi, Register reg_lo, int64_t value) {
881 LoadConst32(reg_lo, Low32Bits(value));
882 LoadConst32(reg_hi, High32Bits(value));
883}
884
885void MipsAssembler::StoreConst32ToOffset(int32_t value,
886 Register base,
887 int32_t offset,
888 Register temp) {
889 if (!IsInt<16>(offset)) {
890 CHECK_NE(temp, AT); // Must not use AT as temp, as not to overwrite the loaded value.
891 LoadConst32(AT, offset);
892 Addu(AT, AT, base);
893 base = AT;
894 offset = 0;
895 }
896 LoadConst32(temp, value);
897 Sw(temp, base, offset);
898}
899
900void MipsAssembler::StoreConst64ToOffset(int64_t value,
901 Register base,
902 int32_t offset,
903 Register temp) {
904 // IsInt<16> must be passed a signed value.
905 if (!IsInt<16>(offset) || !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize))) {
906 CHECK_NE(temp, AT); // Must not use AT as temp, as not to overwrite the loaded value.
907 LoadConst32(AT, offset);
908 Addu(AT, AT, base);
909 base = AT;
910 offset = 0;
911 }
912 LoadConst32(temp, Low32Bits(value));
913 Sw(temp, base, offset);
914 LoadConst32(temp, High32Bits(value));
915 Sw(temp, base, offset + kMipsWordSize);
916}
917
918void MipsAssembler::LoadSConst32(FRegister r, int32_t value, Register temp) {
919 LoadConst32(temp, value);
920 Mtc1(temp, r);
921}
922
923void MipsAssembler::LoadDConst64(FRegister rd, int64_t value, Register temp) {
924 LoadConst32(temp, Low32Bits(value));
925 Mtc1(temp, rd);
926 LoadConst32(temp, High32Bits(value));
927 Mthc1(temp, rd);
928}
929
930void MipsAssembler::Addiu32(Register rt, Register rs, int32_t value, Register temp) {
931 if (IsInt<16>(value)) {
932 Addiu(rt, rs, value);
933 } else {
934 LoadConst32(temp, value);
935 Addu(rt, rs, temp);
936 }
937}
938
939void MipsAssembler::Branch::InitShortOrLong(MipsAssembler::Branch::OffsetBits offset_size,
940 MipsAssembler::Branch::Type short_type,
941 MipsAssembler::Branch::Type long_type) {
942 type_ = (offset_size <= branch_info_[short_type].offset_size) ? short_type : long_type;
943}
944
945void MipsAssembler::Branch::InitializeType(bool is_call, bool is_r6) {
946 OffsetBits offset_size = GetOffsetSizeNeeded(location_, target_);
947 if (is_r6) {
948 // R6
949 if (is_call) {
950 InitShortOrLong(offset_size, kR6Call, kR6LongCall);
951 } else if (condition_ == kUncond) {
952 InitShortOrLong(offset_size, kR6UncondBranch, kR6LongUncondBranch);
953 } else {
954 if (condition_ == kCondEQZ || condition_ == kCondNEZ) {
955 // Special case for beqzc/bnezc with longer offset than in other b<cond>c instructions.
956 type_ = (offset_size <= kOffset23) ? kR6CondBranch : kR6LongCondBranch;
957 } else {
958 InitShortOrLong(offset_size, kR6CondBranch, kR6LongCondBranch);
959 }
960 }
961 } else {
962 // R2
963 if (is_call) {
964 InitShortOrLong(offset_size, kCall, kLongCall);
965 } else if (condition_ == kUncond) {
966 InitShortOrLong(offset_size, kUncondBranch, kLongUncondBranch);
967 } else {
968 InitShortOrLong(offset_size, kCondBranch, kLongCondBranch);
969 }
970 }
971 old_type_ = type_;
972}
973
974bool MipsAssembler::Branch::IsNop(BranchCondition condition, Register lhs, Register rhs) {
975 switch (condition) {
976 case kCondLT:
977 case kCondGT:
978 case kCondNE:
979 case kCondLTU:
980 return lhs == rhs;
981 default:
982 return false;
983 }
984}
985
986bool MipsAssembler::Branch::IsUncond(BranchCondition condition, Register lhs, Register rhs) {
987 switch (condition) {
988 case kUncond:
989 return true;
990 case kCondGE:
991 case kCondLE:
992 case kCondEQ:
993 case kCondGEU:
994 return lhs == rhs;
995 default:
996 return false;
997 }
998}
999
1000MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target)
1001 : old_location_(location),
1002 location_(location),
1003 target_(target),
1004 lhs_reg_(0),
1005 rhs_reg_(0),
1006 condition_(kUncond) {
1007 InitializeType(false, is_r6);
1008}
1009
1010MipsAssembler::Branch::Branch(bool is_r6,
1011 uint32_t location,
1012 uint32_t target,
1013 MipsAssembler::BranchCondition condition,
1014 Register lhs_reg,
1015 Register rhs_reg)
1016 : old_location_(location),
1017 location_(location),
1018 target_(target),
1019 lhs_reg_(lhs_reg),
1020 rhs_reg_(rhs_reg),
1021 condition_(condition) {
1022 CHECK_NE(condition, kUncond);
1023 switch (condition) {
1024 case kCondLT:
1025 case kCondGE:
1026 case kCondLE:
1027 case kCondGT:
1028 case kCondLTU:
1029 case kCondGEU:
1030 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
1031 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
1032 // We leave this up to the caller.
1033 CHECK(is_r6);
1034 FALLTHROUGH_INTENDED;
1035 case kCondEQ:
1036 case kCondNE:
1037 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
1038 // To compare with 0, use dedicated kCond*Z conditions.
1039 CHECK_NE(lhs_reg, ZERO);
1040 CHECK_NE(rhs_reg, ZERO);
1041 break;
1042 case kCondLTZ:
1043 case kCondGEZ:
1044 case kCondLEZ:
1045 case kCondGTZ:
1046 case kCondEQZ:
1047 case kCondNEZ:
1048 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
1049 CHECK_NE(lhs_reg, ZERO);
1050 CHECK_EQ(rhs_reg, ZERO);
1051 break;
1052 case kUncond:
1053 UNREACHABLE();
1054 }
1055 CHECK(!IsNop(condition, lhs_reg, rhs_reg));
1056 if (IsUncond(condition, lhs_reg, rhs_reg)) {
1057 // Branch condition is always true, make the branch unconditional.
1058 condition_ = kUncond;
1059 }
1060 InitializeType(false, is_r6);
1061}
1062
1063MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target, Register indirect_reg)
1064 : old_location_(location),
1065 location_(location),
1066 target_(target),
1067 lhs_reg_(indirect_reg),
1068 rhs_reg_(0),
1069 condition_(kUncond) {
1070 CHECK_NE(indirect_reg, ZERO);
1071 CHECK_NE(indirect_reg, AT);
1072 InitializeType(true, is_r6);
1073}
1074
1075MipsAssembler::BranchCondition MipsAssembler::Branch::OppositeCondition(
1076 MipsAssembler::BranchCondition cond) {
1077 switch (cond) {
1078 case kCondLT:
1079 return kCondGE;
1080 case kCondGE:
1081 return kCondLT;
1082 case kCondLE:
1083 return kCondGT;
1084 case kCondGT:
1085 return kCondLE;
1086 case kCondLTZ:
1087 return kCondGEZ;
1088 case kCondGEZ:
1089 return kCondLTZ;
1090 case kCondLEZ:
1091 return kCondGTZ;
1092 case kCondGTZ:
1093 return kCondLEZ;
1094 case kCondEQ:
1095 return kCondNE;
1096 case kCondNE:
1097 return kCondEQ;
1098 case kCondEQZ:
1099 return kCondNEZ;
1100 case kCondNEZ:
1101 return kCondEQZ;
1102 case kCondLTU:
1103 return kCondGEU;
1104 case kCondGEU:
1105 return kCondLTU;
1106 case kUncond:
1107 LOG(FATAL) << "Unexpected branch condition " << cond;
1108 }
1109 UNREACHABLE();
1110}
1111
1112MipsAssembler::Branch::Type MipsAssembler::Branch::GetType() const {
1113 return type_;
1114}
1115
1116MipsAssembler::BranchCondition MipsAssembler::Branch::GetCondition() const {
1117 return condition_;
1118}
1119
1120Register MipsAssembler::Branch::GetLeftRegister() const {
1121 return static_cast<Register>(lhs_reg_);
1122}
1123
1124Register MipsAssembler::Branch::GetRightRegister() const {
1125 return static_cast<Register>(rhs_reg_);
1126}
1127
1128uint32_t MipsAssembler::Branch::GetTarget() const {
1129 return target_;
1130}
1131
1132uint32_t MipsAssembler::Branch::GetLocation() const {
1133 return location_;
1134}
1135
1136uint32_t MipsAssembler::Branch::GetOldLocation() const {
1137 return old_location_;
1138}
1139
1140uint32_t MipsAssembler::Branch::GetLength() const {
1141 return branch_info_[type_].length;
1142}
1143
1144uint32_t MipsAssembler::Branch::GetOldLength() const {
1145 return branch_info_[old_type_].length;
1146}
1147
1148uint32_t MipsAssembler::Branch::GetSize() const {
1149 return GetLength() * sizeof(uint32_t);
1150}
1151
1152uint32_t MipsAssembler::Branch::GetOldSize() const {
1153 return GetOldLength() * sizeof(uint32_t);
1154}
1155
1156uint32_t MipsAssembler::Branch::GetEndLocation() const {
1157 return GetLocation() + GetSize();
1158}
1159
1160uint32_t MipsAssembler::Branch::GetOldEndLocation() const {
1161 return GetOldLocation() + GetOldSize();
1162}
1163
1164bool MipsAssembler::Branch::IsLong() const {
1165 switch (type_) {
1166 // R2 short branches.
1167 case kUncondBranch:
1168 case kCondBranch:
1169 case kCall:
1170 // R6 short branches.
1171 case kR6UncondBranch:
1172 case kR6CondBranch:
1173 case kR6Call:
1174 return false;
1175 // R2 long branches.
1176 case kLongUncondBranch:
1177 case kLongCondBranch:
1178 case kLongCall:
1179 // R6 long branches.
1180 case kR6LongUncondBranch:
1181 case kR6LongCondBranch:
1182 case kR6LongCall:
1183 return true;
1184 }
1185 UNREACHABLE();
1186}
1187
1188bool MipsAssembler::Branch::IsResolved() const {
1189 return target_ != kUnresolved;
1190}
1191
1192MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSize() const {
1193 OffsetBits offset_size =
1194 (type_ == kR6CondBranch && (condition_ == kCondEQZ || condition_ == kCondNEZ))
1195 ? kOffset23
1196 : branch_info_[type_].offset_size;
1197 return offset_size;
1198}
1199
1200MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSizeNeeded(uint32_t location,
1201 uint32_t target) {
1202 // For unresolved targets assume the shortest encoding
1203 // (later it will be made longer if needed).
1204 if (target == kUnresolved)
1205 return kOffset16;
1206 int64_t distance = static_cast<int64_t>(target) - location;
1207 // To simplify calculations in composite branches consisting of multiple instructions
1208 // bump up the distance by a value larger than the max byte size of a composite branch.
1209 distance += (distance >= 0) ? kMaxBranchSize : -kMaxBranchSize;
1210 if (IsInt<kOffset16>(distance))
1211 return kOffset16;
1212 else if (IsInt<kOffset18>(distance))
1213 return kOffset18;
1214 else if (IsInt<kOffset21>(distance))
1215 return kOffset21;
1216 else if (IsInt<kOffset23>(distance))
1217 return kOffset23;
1218 else if (IsInt<kOffset28>(distance))
1219 return kOffset28;
1220 return kOffset32;
1221}
1222
1223void MipsAssembler::Branch::Resolve(uint32_t target) {
1224 target_ = target;
1225}
1226
1227void MipsAssembler::Branch::Relocate(uint32_t expand_location, uint32_t delta) {
1228 if (location_ > expand_location) {
1229 location_ += delta;
1230 }
1231 if (!IsResolved()) {
1232 return; // Don't know the target yet.
1233 }
1234 if (target_ > expand_location) {
1235 target_ += delta;
1236 }
1237}
1238
1239void MipsAssembler::Branch::PromoteToLong() {
1240 switch (type_) {
1241 // R2 short branches.
1242 case kUncondBranch:
1243 type_ = kLongUncondBranch;
1244 break;
1245 case kCondBranch:
1246 type_ = kLongCondBranch;
1247 break;
1248 case kCall:
1249 type_ = kLongCall;
1250 break;
1251 // R6 short branches.
1252 case kR6UncondBranch:
1253 type_ = kR6LongUncondBranch;
1254 break;
1255 case kR6CondBranch:
1256 type_ = kR6LongCondBranch;
1257 break;
1258 case kR6Call:
1259 type_ = kR6LongCall;
1260 break;
1261 default:
1262 // Note: 'type_' is already long.
1263 break;
1264 }
1265 CHECK(IsLong());
1266}
1267
1268uint32_t MipsAssembler::Branch::PromoteIfNeeded(uint32_t max_short_distance) {
1269 // If the branch is still unresolved or already long, nothing to do.
1270 if (IsLong() || !IsResolved()) {
1271 return 0;
1272 }
1273 // Promote the short branch to long if the offset size is too small
1274 // to hold the distance between location_ and target_.
1275 if (GetOffsetSizeNeeded(location_, target_) > GetOffsetSize()) {
1276 PromoteToLong();
1277 uint32_t old_size = GetOldSize();
1278 uint32_t new_size = GetSize();
1279 CHECK_GT(new_size, old_size);
1280 return new_size - old_size;
1281 }
1282 // The following logic is for debugging/testing purposes.
1283 // Promote some short branches to long when it's not really required.
1284 if (UNLIKELY(max_short_distance != std::numeric_limits<uint32_t>::max())) {
1285 int64_t distance = static_cast<int64_t>(target_) - location_;
1286 distance = (distance >= 0) ? distance : -distance;
1287 if (distance >= max_short_distance) {
1288 PromoteToLong();
1289 uint32_t old_size = GetOldSize();
1290 uint32_t new_size = GetSize();
1291 CHECK_GT(new_size, old_size);
1292 return new_size - old_size;
1293 }
1294 }
1295 return 0;
1296}
1297
1298uint32_t MipsAssembler::Branch::GetOffsetLocation() const {
1299 return location_ + branch_info_[type_].instr_offset * sizeof(uint32_t);
1300}
1301
1302uint32_t MipsAssembler::Branch::GetOffset() const {
1303 CHECK(IsResolved());
1304 uint32_t ofs_mask = 0xFFFFFFFF >> (32 - GetOffsetSize());
1305 // Calculate the byte distance between instructions and also account for
1306 // different PC-relative origins.
1307 uint32_t offset = target_ - GetOffsetLocation() - branch_info_[type_].pc_org * sizeof(uint32_t);
1308 // Prepare the offset for encoding into the instruction(s).
1309 offset = (offset & ofs_mask) >> branch_info_[type_].offset_shift;
1310 return offset;
1311}
1312
1313MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) {
1314 CHECK_LT(branch_id, branches_.size());
1315 return &branches_[branch_id];
1316}
1317
1318const MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) const {
1319 CHECK_LT(branch_id, branches_.size());
1320 return &branches_[branch_id];
1321}
1322
1323void MipsAssembler::Bind(MipsLabel* label) {
1324 CHECK(!label->IsBound());
1325 uint32_t bound_pc = buffer_.Size();
1326
1327 // Walk the list of branches referring to and preceding this label.
1328 // Store the previously unknown target addresses in them.
1329 while (label->IsLinked()) {
1330 uint32_t branch_id = label->Position();
1331 Branch* branch = GetBranch(branch_id);
1332 branch->Resolve(bound_pc);
1333
1334 uint32_t branch_location = branch->GetLocation();
1335 // Extract the location of the previous branch in the list (walking the list backwards;
1336 // the previous branch ID was stored in the space reserved for this branch).
1337 uint32_t prev = buffer_.Load<uint32_t>(branch_location);
1338
1339 // On to the previous branch in the list...
1340 label->position_ = prev;
1341 }
1342
1343 // Now make the label object contain its own location (relative to the end of the preceding
1344 // branch, if any; it will be used by the branches referring to and following this label).
1345 label->prev_branch_id_plus_one_ = branches_.size();
1346 if (label->prev_branch_id_plus_one_) {
1347 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1348 const Branch* branch = GetBranch(branch_id);
1349 bound_pc -= branch->GetEndLocation();
1350 }
1351 label->BindTo(bound_pc);
1352}
1353
1354uint32_t MipsAssembler::GetLabelLocation(MipsLabel* label) const {
1355 CHECK(label->IsBound());
1356 uint32_t target = label->Position();
1357 if (label->prev_branch_id_plus_one_) {
1358 // Get label location based on the branch preceding it.
1359 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1360 const Branch* branch = GetBranch(branch_id);
1361 target += branch->GetEndLocation();
1362 }
1363 return target;
1364}
1365
1366uint32_t MipsAssembler::GetAdjustedPosition(uint32_t old_position) {
1367 // We can reconstruct the adjustment by going through all the branches from the beginning
1368 // up to the old_position. Since we expect AdjustedPosition() to be called in a loop
1369 // with increasing old_position, we can use the data from last AdjustedPosition() to
1370 // continue where we left off and the whole loop should be O(m+n) where m is the number
1371 // of positions to adjust and n is the number of branches.
1372 if (old_position < last_old_position_) {
1373 last_position_adjustment_ = 0;
1374 last_old_position_ = 0;
1375 last_branch_id_ = 0;
1376 }
1377 while (last_branch_id_ != branches_.size()) {
1378 const Branch* branch = GetBranch(last_branch_id_);
1379 if (branch->GetLocation() >= old_position + last_position_adjustment_) {
1380 break;
1381 }
1382 last_position_adjustment_ += branch->GetSize() - branch->GetOldSize();
1383 ++last_branch_id_;
1384 }
1385 last_old_position_ = old_position;
1386 return old_position + last_position_adjustment_;
1387}
1388
1389void MipsAssembler::FinalizeLabeledBranch(MipsLabel* label) {
1390 uint32_t length = branches_.back().GetLength();
1391 if (!label->IsBound()) {
1392 // Branch forward (to a following label), distance is unknown.
1393 // The first branch forward will contain 0, serving as the terminator of
1394 // the list of forward-reaching branches.
1395 Emit(label->position_);
1396 length--;
1397 // Now make the label object point to this branch
1398 // (this forms a linked list of branches preceding this label).
1399 uint32_t branch_id = branches_.size() - 1;
1400 label->LinkTo(branch_id);
1401 }
1402 // Reserve space for the branch.
1403 while (length--) {
1404 Nop();
1405 }
1406}
1407
1408void MipsAssembler::Buncond(MipsLabel* label) {
1409 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1410 branches_.emplace_back(IsR6(), buffer_.Size(), target);
1411 FinalizeLabeledBranch(label);
1412}
1413
1414void MipsAssembler::Bcond(MipsLabel* label, BranchCondition condition, Register lhs, Register rhs) {
1415 // If lhs = rhs, this can be a NOP.
1416 if (Branch::IsNop(condition, lhs, rhs)) {
1417 return;
1418 }
1419 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1420 branches_.emplace_back(IsR6(), buffer_.Size(), target, condition, lhs, rhs);
1421 FinalizeLabeledBranch(label);
1422}
1423
1424void MipsAssembler::Call(MipsLabel* label, Register indirect_reg) {
1425 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1426 branches_.emplace_back(IsR6(), buffer_.Size(), target, indirect_reg);
1427 FinalizeLabeledBranch(label);
1428}
1429
1430void MipsAssembler::PromoteBranches() {
1431 // Promote short branches to long as necessary.
1432 bool changed;
1433 do {
1434 changed = false;
1435 for (auto& branch : branches_) {
1436 CHECK(branch.IsResolved());
1437 uint32_t delta = branch.PromoteIfNeeded();
1438 // If this branch has been promoted and needs to expand in size,
1439 // relocate all branches by the expansion size.
1440 if (delta) {
1441 changed = true;
1442 uint32_t expand_location = branch.GetLocation();
1443 for (auto& branch2 : branches_) {
1444 branch2.Relocate(expand_location, delta);
1445 }
1446 }
1447 }
1448 } while (changed);
1449
1450 // Account for branch expansion by resizing the code buffer
1451 // and moving the code in it to its final location.
1452 size_t branch_count = branches_.size();
1453 if (branch_count > 0) {
1454 // Resize.
1455 Branch& last_branch = branches_[branch_count - 1];
1456 uint32_t size_delta = last_branch.GetEndLocation() - last_branch.GetOldEndLocation();
1457 uint32_t old_size = buffer_.Size();
1458 buffer_.Resize(old_size + size_delta);
1459 // Move the code residing between branch placeholders.
1460 uint32_t end = old_size;
1461 for (size_t i = branch_count; i > 0; ) {
1462 Branch& branch = branches_[--i];
1463 uint32_t size = end - branch.GetOldEndLocation();
1464 buffer_.Move(branch.GetEndLocation(), branch.GetOldEndLocation(), size);
1465 end = branch.GetOldLocation();
1466 }
1467 }
1468}
1469
1470// Note: make sure branch_info_[] and EmitBranch() are kept synchronized.
1471const MipsAssembler::Branch::BranchInfo MipsAssembler::Branch::branch_info_[] = {
1472 // R2 short branches.
1473 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kUncondBranch
1474 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kCondBranch
1475 { 5, 2, 0, MipsAssembler::Branch::kOffset16, 0 }, // kCall
1476 // R2 long branches.
1477 { 9, 3, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongUncondBranch
1478 { 10, 4, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCondBranch
1479 { 6, 1, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCall
1480 // R6 short branches.
1481 { 1, 0, 1, MipsAssembler::Branch::kOffset28, 2 }, // kR6UncondBranch
1482 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kR6CondBranch
1483 // Exception: kOffset23 for beqzc/bnezc.
1484 { 2, 0, 0, MipsAssembler::Branch::kOffset21, 2 }, // kR6Call
1485 // R6 long branches.
1486 { 2, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongUncondBranch
1487 { 3, 1, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCondBranch
1488 { 3, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCall
1489};
1490
1491// Note: make sure branch_info_[] and mitBranch() are kept synchronized.
1492void MipsAssembler::EmitBranch(MipsAssembler::Branch* branch) {
1493 CHECK_EQ(overwriting_, true);
1494 overwrite_location_ = branch->GetLocation();
1495 uint32_t offset = branch->GetOffset();
1496 BranchCondition condition = branch->GetCondition();
1497 Register lhs = branch->GetLeftRegister();
1498 Register rhs = branch->GetRightRegister();
1499 switch (branch->GetType()) {
1500 // R2 short branches.
1501 case Branch::kUncondBranch:
1502 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1503 B(offset);
1504 Nop(); // TODO: improve by filling the delay slot.
1505 break;
1506 case Branch::kCondBranch:
1507 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1508 EmitBcond(condition, lhs, rhs, offset);
1509 Nop(); // TODO: improve by filling the delay slot.
1510 break;
1511 case Branch::kCall:
1512 Nal();
1513 Nop(); // TODO: is this NOP really needed here?
1514 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1515 Addiu(lhs, RA, offset);
1516 Jalr(lhs);
1517 Nop();
1518 break;
1519
1520 // R2 long branches.
1521 case Branch::kLongUncondBranch:
1522 // To get the value of the PC register we need to use the NAL instruction.
1523 // NAL clobbers the RA register. However, RA must be preserved if the
1524 // method is compiled without the entry/exit sequences that would take care
1525 // of preserving RA (typically, leaf methods don't preserve RA explicitly).
1526 // So, we need to preserve RA in some temporary storage ourselves. The AT
1527 // register can't be used for this because we need it to load a constant
1528 // which will be added to the value that NAL stores in RA. And we can't
1529 // use T9 for this in the context of the JNI compiler, which uses it
1530 // as a scratch register (see InterproceduralScratchRegister()).
1531 // If we were to add a 32-bit constant to RA using two ADDIU instructions,
1532 // we'd also need to use the ROTR instruction, which requires no less than
1533 // MIPSR2.
1534 // Perhaps, we could use T8 or one of R2's multiplier/divider registers
1535 // (LO or HI) or even a floating-point register, but that doesn't seem
1536 // like a nice solution. We may want this to work on both R6 and pre-R6.
1537 // For now simply use the stack for RA. This should be OK since for the
1538 // vast majority of code a short PC-relative branch is sufficient.
1539 // TODO: can this be improved?
1540 Push(RA);
1541 Nal();
1542 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1543 Lui(AT, High16Bits(offset));
1544 Ori(AT, AT, Low16Bits(offset));
1545 Addu(AT, AT, RA);
1546 Lw(RA, SP, 0);
1547 Jr(AT);
1548 DecreaseFrameSize(kMipsWordSize);
1549 break;
1550 case Branch::kLongCondBranch:
1551 // The comment on case 'Branch::kLongUncondBranch' applies here as well.
1552 // Note: the opposite condition branch encodes 8 as the distance, which is equal to the
1553 // number of instructions skipped:
1554 // (PUSH(IncreaseFrameSize(ADDIU) + SW) + NAL + LUI + ORI + ADDU + LW + JR).
1555 EmitBcond(Branch::OppositeCondition(condition), lhs, rhs, 8);
1556 Push(RA);
1557 Nal();
1558 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1559 Lui(AT, High16Bits(offset));
1560 Ori(AT, AT, Low16Bits(offset));
1561 Addu(AT, AT, RA);
1562 Lw(RA, SP, 0);
1563 Jr(AT);
1564 DecreaseFrameSize(kMipsWordSize);
1565 break;
1566 case Branch::kLongCall:
1567 Nal();
1568 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1569 Lui(AT, High16Bits(offset));
1570 Ori(AT, AT, Low16Bits(offset));
1571 Addu(lhs, AT, RA);
1572 Jalr(lhs);
1573 Nop();
1574 break;
1575
1576 // R6 short branches.
1577 case Branch::kR6UncondBranch:
1578 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1579 Bc(offset);
1580 break;
1581 case Branch::kR6CondBranch:
1582 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1583 EmitBcondc(condition, lhs, rhs, offset);
1584 Nop(); // TODO: improve by filling the forbidden slot.
1585 break;
1586 case Branch::kR6Call:
1587 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1588 Addiupc(lhs, offset);
1589 Jialc(lhs, 0);
1590 break;
1591
1592 // R6 long branches.
1593 case Branch::kR6LongUncondBranch:
1594 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
1595 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1596 Auipc(AT, High16Bits(offset));
1597 Jic(AT, Low16Bits(offset));
1598 break;
1599 case Branch::kR6LongCondBranch:
1600 EmitBcondc(Branch::OppositeCondition(condition), lhs, rhs, 2);
1601 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
1602 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1603 Auipc(AT, High16Bits(offset));
1604 Jic(AT, Low16Bits(offset));
1605 break;
1606 case Branch::kR6LongCall:
1607 offset += (offset & 0x8000) << 1; // Account for sign extension in addiu.
1608 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1609 Auipc(lhs, High16Bits(offset));
1610 Addiu(lhs, lhs, Low16Bits(offset));
1611 Jialc(lhs, 0);
1612 break;
1613 }
1614 CHECK_EQ(overwrite_location_, branch->GetEndLocation());
1615 CHECK_LT(branch->GetSize(), static_cast<uint32_t>(Branch::kMaxBranchSize));
1616}
1617
1618void MipsAssembler::B(MipsLabel* label) {
1619 Buncond(label);
1620}
1621
1622void MipsAssembler::Jalr(MipsLabel* label, Register indirect_reg) {
1623 Call(label, indirect_reg);
1624}
1625
1626void MipsAssembler::Beq(Register rs, Register rt, MipsLabel* label) {
1627 Bcond(label, kCondEQ, rs, rt);
1628}
1629
1630void MipsAssembler::Bne(Register rs, Register rt, MipsLabel* label) {
1631 Bcond(label, kCondNE, rs, rt);
1632}
1633
1634void MipsAssembler::Beqz(Register rt, MipsLabel* label) {
1635 Bcond(label, kCondEQZ, rt);
1636}
1637
1638void MipsAssembler::Bnez(Register rt, MipsLabel* label) {
1639 Bcond(label, kCondNEZ, rt);
1640}
1641
1642void MipsAssembler::Bltz(Register rt, MipsLabel* label) {
1643 Bcond(label, kCondLTZ, rt);
1644}
1645
1646void MipsAssembler::Bgez(Register rt, MipsLabel* label) {
1647 Bcond(label, kCondGEZ, rt);
1648}
1649
1650void MipsAssembler::Blez(Register rt, MipsLabel* label) {
1651 Bcond(label, kCondLEZ, rt);
1652}
1653
1654void MipsAssembler::Bgtz(Register rt, MipsLabel* label) {
1655 Bcond(label, kCondGTZ, rt);
1656}
1657
1658void MipsAssembler::Blt(Register rs, Register rt, MipsLabel* label) {
1659 if (IsR6()) {
1660 Bcond(label, kCondLT, rs, rt);
1661 } else if (!Branch::IsNop(kCondLT, rs, rt)) {
1662 // Synthesize the instruction (not available on R2).
1663 Slt(AT, rs, rt);
1664 Bnez(AT, label);
1665 }
1666}
1667
1668void MipsAssembler::Bge(Register rs, Register rt, MipsLabel* label) {
1669 if (IsR6()) {
1670 Bcond(label, kCondGE, rs, rt);
1671 } else if (Branch::IsUncond(kCondGE, rs, rt)) {
1672 B(label);
1673 } else {
1674 // Synthesize the instruction (not available on R2).
1675 Slt(AT, rs, rt);
1676 Beqz(AT, label);
1677 }
1678}
1679
1680void MipsAssembler::Bltu(Register rs, Register rt, MipsLabel* label) {
1681 if (IsR6()) {
1682 Bcond(label, kCondLTU, rs, rt);
1683 } else if (!Branch::IsNop(kCondLTU, rs, rt)) {
1684 // Synthesize the instruction (not available on R2).
1685 Sltu(AT, rs, rt);
1686 Bnez(AT, label);
1687 }
1688}
1689
1690void MipsAssembler::Bgeu(Register rs, Register rt, MipsLabel* label) {
1691 if (IsR6()) {
1692 Bcond(label, kCondGEU, rs, rt);
1693 } else if (Branch::IsUncond(kCondGEU, rs, rt)) {
1694 B(label);
1695 } else {
1696 // Synthesize the instruction (not available on R2).
1697 Sltu(AT, rs, rt);
1698 Beqz(AT, label);
jeffhao7fbee072012-08-24 17:56:54 -07001699 }
1700}
1701
1702void MipsAssembler::LoadFromOffset(LoadOperandType type, Register reg, Register base,
1703 int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001704 // IsInt<16> must be passed a signed value.
1705 if (!IsInt<16>(offset) ||
1706 (type == kLoadDoubleword && !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1707 LoadConst32(AT, offset);
1708 Addu(AT, AT, base);
1709 base = AT;
1710 offset = 0;
1711 }
1712
jeffhao7fbee072012-08-24 17:56:54 -07001713 switch (type) {
1714 case kLoadSignedByte:
1715 Lb(reg, base, offset);
1716 break;
1717 case kLoadUnsignedByte:
1718 Lbu(reg, base, offset);
1719 break;
1720 case kLoadSignedHalfword:
1721 Lh(reg, base, offset);
1722 break;
1723 case kLoadUnsignedHalfword:
1724 Lhu(reg, base, offset);
1725 break;
1726 case kLoadWord:
1727 Lw(reg, base, offset);
1728 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001729 case kLoadDoubleword:
1730 if (reg == base) {
1731 // This will clobber the base when loading the lower register. Since we have to load the
1732 // higher register as well, this will fail. Solution: reverse the order.
1733 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
1734 Lw(reg, base, offset);
1735 } else {
1736 Lw(reg, base, offset);
1737 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
1738 }
jeffhao7fbee072012-08-24 17:56:54 -07001739 break;
1740 default:
1741 LOG(FATAL) << "UNREACHABLE";
1742 }
1743}
1744
1745void MipsAssembler::LoadSFromOffset(FRegister reg, Register base, int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001746 if (!IsInt<16>(offset)) {
1747 LoadConst32(AT, offset);
1748 Addu(AT, AT, base);
1749 base = AT;
1750 offset = 0;
1751 }
1752
jeffhao7fbee072012-08-24 17:56:54 -07001753 Lwc1(reg, base, offset);
1754}
1755
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001756void MipsAssembler::LoadDFromOffset(FRegister reg, Register base, int32_t offset) {
1757 // IsInt<16> must be passed a signed value.
1758 if (!IsInt<16>(offset) ||
1759 (!IsAligned<kMipsDoublewordSize>(offset) &&
1760 !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1761 LoadConst32(AT, offset);
1762 Addu(AT, AT, base);
1763 base = AT;
1764 offset = 0;
1765 }
1766
1767 if (offset & 0x7) {
1768 if (Is32BitFPU()) {
1769 Lwc1(reg, base, offset);
1770 Lwc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
1771 } else {
1772 // 64-bit FPU.
1773 Lwc1(reg, base, offset);
1774 Lw(T8, base, offset + kMipsWordSize);
1775 Mthc1(T8, reg);
1776 }
1777 } else {
1778 Ldc1(reg, base, offset);
1779 }
1780}
1781
1782void MipsAssembler::EmitLoad(ManagedRegister m_dst, Register src_register, int32_t src_offset,
1783 size_t size) {
1784 MipsManagedRegister dst = m_dst.AsMips();
1785 if (dst.IsNoRegister()) {
1786 CHECK_EQ(0u, size) << dst;
1787 } else if (dst.IsCoreRegister()) {
1788 CHECK_EQ(kMipsWordSize, size) << dst;
1789 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
1790 } else if (dst.IsRegisterPair()) {
1791 CHECK_EQ(kMipsDoublewordSize, size) << dst;
1792 LoadFromOffset(kLoadDoubleword, dst.AsRegisterPairLow(), src_register, src_offset);
1793 } else if (dst.IsFRegister()) {
1794 if (size == kMipsWordSize) {
1795 LoadSFromOffset(dst.AsFRegister(), src_register, src_offset);
1796 } else {
1797 CHECK_EQ(kMipsDoublewordSize, size) << dst;
1798 LoadDFromOffset(dst.AsFRegister(), src_register, src_offset);
1799 }
1800 }
jeffhao7fbee072012-08-24 17:56:54 -07001801}
1802
1803void MipsAssembler::StoreToOffset(StoreOperandType type, Register reg, Register base,
1804 int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001805 // IsInt<16> must be passed a signed value.
1806 if (!IsInt<16>(offset) ||
1807 (type == kStoreDoubleword && !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1808 LoadConst32(AT, offset);
1809 Addu(AT, AT, base);
1810 base = AT;
1811 offset = 0;
1812 }
1813
jeffhao7fbee072012-08-24 17:56:54 -07001814 switch (type) {
1815 case kStoreByte:
1816 Sb(reg, base, offset);
1817 break;
1818 case kStoreHalfword:
1819 Sh(reg, base, offset);
1820 break;
1821 case kStoreWord:
1822 Sw(reg, base, offset);
1823 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001824 case kStoreDoubleword:
1825 CHECK_NE(reg, base);
1826 CHECK_NE(static_cast<Register>(reg + 1), base);
1827 Sw(reg, base, offset);
1828 Sw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001829 break;
1830 default:
1831 LOG(FATAL) << "UNREACHABLE";
1832 }
1833}
1834
Goran Jakovljevicff734982015-08-24 12:58:55 +00001835void MipsAssembler::StoreSToOffset(FRegister reg, Register base, int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001836 if (!IsInt<16>(offset)) {
1837 LoadConst32(AT, offset);
1838 Addu(AT, AT, base);
1839 base = AT;
1840 offset = 0;
1841 }
1842
jeffhao7fbee072012-08-24 17:56:54 -07001843 Swc1(reg, base, offset);
1844}
1845
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001846void MipsAssembler::StoreDToOffset(FRegister reg, Register base, int32_t offset) {
1847 // IsInt<16> must be passed a signed value.
1848 if (!IsInt<16>(offset) ||
1849 (!IsAligned<kMipsDoublewordSize>(offset) &&
1850 !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
1851 LoadConst32(AT, offset);
1852 Addu(AT, AT, base);
1853 base = AT;
1854 offset = 0;
1855 }
1856
1857 if (offset & 0x7) {
1858 if (Is32BitFPU()) {
1859 Swc1(reg, base, offset);
1860 Swc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
1861 } else {
1862 // 64-bit FPU.
1863 Mfhc1(T8, reg);
1864 Swc1(reg, base, offset);
1865 Sw(T8, base, offset + kMipsWordSize);
1866 }
1867 } else {
1868 Sdc1(reg, base, offset);
1869 }
jeffhao7fbee072012-08-24 17:56:54 -07001870}
1871
David Srbeckydd973932015-04-07 20:29:48 +01001872static dwarf::Reg DWARFReg(Register reg) {
1873 return dwarf::Reg::MipsCore(static_cast<int>(reg));
1874}
1875
Ian Rogers790a6b72014-04-01 10:36:00 -07001876constexpr size_t kFramePointerSize = 4;
1877
jeffhao7fbee072012-08-24 17:56:54 -07001878void MipsAssembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
1879 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +07001880 const ManagedRegisterEntrySpills& entry_spills) {
jeffhao7fbee072012-08-24 17:56:54 -07001881 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001882 DCHECK(!overwriting_);
jeffhao7fbee072012-08-24 17:56:54 -07001883
1884 // Increase frame to required size.
1885 IncreaseFrameSize(frame_size);
1886
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001887 // Push callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07001888 int stack_offset = frame_size - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001889 StoreToOffset(kStoreWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001890 cfi_.RelOffset(DWARFReg(RA), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07001891 for (int i = callee_save_regs.size() - 1; i >= 0; --i) {
Ian Rogers790a6b72014-04-01 10:36:00 -07001892 stack_offset -= kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001893 Register reg = callee_save_regs.at(i).AsMips().AsCoreRegister();
1894 StoreToOffset(kStoreWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001895 cfi_.RelOffset(DWARFReg(reg), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07001896 }
1897
1898 // Write out Method*.
1899 StoreToOffset(kStoreWord, method_reg.AsMips().AsCoreRegister(), SP, 0);
1900
1901 // Write out entry spills.
Goran Jakovljevicff734982015-08-24 12:58:55 +00001902 int32_t offset = frame_size + kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001903 for (size_t i = 0; i < entry_spills.size(); ++i) {
Goran Jakovljevicff734982015-08-24 12:58:55 +00001904 MipsManagedRegister reg = entry_spills.at(i).AsMips();
1905 if (reg.IsNoRegister()) {
1906 ManagedRegisterSpill spill = entry_spills.at(i);
1907 offset += spill.getSize();
1908 } else if (reg.IsCoreRegister()) {
1909 StoreToOffset(kStoreWord, reg.AsCoreRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001910 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00001911 } else if (reg.IsFRegister()) {
1912 StoreSToOffset(reg.AsFRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001913 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00001914 } else if (reg.IsDRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001915 StoreDToOffset(reg.AsOverlappingDRegisterLow(), SP, offset);
1916 offset += kMipsDoublewordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00001917 }
jeffhao7fbee072012-08-24 17:56:54 -07001918 }
1919}
1920
1921void MipsAssembler::RemoveFrame(size_t frame_size,
1922 const std::vector<ManagedRegister>& callee_save_regs) {
1923 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001924 DCHECK(!overwriting_);
David Srbeckydd973932015-04-07 20:29:48 +01001925 cfi_.RememberState();
jeffhao7fbee072012-08-24 17:56:54 -07001926
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001927 // Pop callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07001928 int stack_offset = frame_size - (callee_save_regs.size() * kFramePointerSize) - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001929 for (size_t i = 0; i < callee_save_regs.size(); ++i) {
1930 Register reg = callee_save_regs.at(i).AsMips().AsCoreRegister();
1931 LoadFromOffset(kLoadWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001932 cfi_.Restore(DWARFReg(reg));
Ian Rogers790a6b72014-04-01 10:36:00 -07001933 stack_offset += kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07001934 }
1935 LoadFromOffset(kLoadWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01001936 cfi_.Restore(DWARFReg(RA));
jeffhao7fbee072012-08-24 17:56:54 -07001937
1938 // Decrease frame to required size.
1939 DecreaseFrameSize(frame_size);
jeffhao07030602012-09-26 14:33:14 -07001940
1941 // Then jump to the return address.
1942 Jr(RA);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001943 Nop();
David Srbeckydd973932015-04-07 20:29:48 +01001944
1945 // The CFI should be restored for any code that follows the exit block.
1946 cfi_.RestoreState();
1947 cfi_.DefCFAOffset(frame_size);
jeffhao7fbee072012-08-24 17:56:54 -07001948}
1949
1950void MipsAssembler::IncreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001951 CHECK_ALIGNED(adjust, kFramePointerSize);
1952 Addiu32(SP, SP, -adjust);
David Srbeckydd973932015-04-07 20:29:48 +01001953 cfi_.AdjustCFAOffset(adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001954 if (overwriting_) {
1955 cfi_.OverrideDelayedPC(overwrite_location_);
1956 }
jeffhao7fbee072012-08-24 17:56:54 -07001957}
1958
1959void MipsAssembler::DecreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001960 CHECK_ALIGNED(adjust, kFramePointerSize);
1961 Addiu32(SP, SP, adjust);
David Srbeckydd973932015-04-07 20:29:48 +01001962 cfi_.AdjustCFAOffset(-adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01001963 if (overwriting_) {
1964 cfi_.OverrideDelayedPC(overwrite_location_);
1965 }
jeffhao7fbee072012-08-24 17:56:54 -07001966}
1967
1968void MipsAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
1969 MipsManagedRegister src = msrc.AsMips();
1970 if (src.IsNoRegister()) {
1971 CHECK_EQ(0u, size);
1972 } else if (src.IsCoreRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001973 CHECK_EQ(kMipsWordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07001974 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
1975 } else if (src.IsRegisterPair()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001976 CHECK_EQ(kMipsDoublewordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07001977 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
1978 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001979 SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001980 } else if (src.IsFRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001981 if (size == kMipsWordSize) {
1982 StoreSToOffset(src.AsFRegister(), SP, dest.Int32Value());
1983 } else {
1984 CHECK_EQ(kMipsDoublewordSize, size);
1985 StoreDToOffset(src.AsFRegister(), SP, dest.Int32Value());
1986 }
jeffhao7fbee072012-08-24 17:56:54 -07001987 }
1988}
1989
1990void MipsAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
1991 MipsManagedRegister src = msrc.AsMips();
1992 CHECK(src.IsCoreRegister());
1993 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
1994}
1995
1996void MipsAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
1997 MipsManagedRegister src = msrc.AsMips();
1998 CHECK(src.IsCoreRegister());
1999 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2000}
2001
2002void MipsAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
2003 ManagedRegister mscratch) {
2004 MipsManagedRegister scratch = mscratch.AsMips();
2005 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002006 LoadConst32(scratch.AsCoreRegister(), imm);
jeffhao7fbee072012-08-24 17:56:54 -07002007 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2008}
2009
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002010void MipsAssembler::StoreImmediateToThread32(ThreadOffset<kMipsWordSize> dest, uint32_t imm,
jeffhao7fbee072012-08-24 17:56:54 -07002011 ManagedRegister mscratch) {
2012 MipsManagedRegister scratch = mscratch.AsMips();
2013 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002014 // Is this function even referenced anywhere else in the code?
2015 LoadConst32(scratch.AsCoreRegister(), imm);
2016 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), S1, dest.Int32Value());
2017}
2018
2019void MipsAssembler::StoreStackOffsetToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2020 FrameOffset fr_offs,
2021 ManagedRegister mscratch) {
2022 MipsManagedRegister scratch = mscratch.AsMips();
2023 CHECK(scratch.IsCoreRegister()) << scratch;
2024 Addiu32(scratch.AsCoreRegister(), SP, fr_offs.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002025 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2026 S1, thr_offs.Int32Value());
2027}
2028
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002029void MipsAssembler::StoreStackPointerToThread32(ThreadOffset<kMipsWordSize> thr_offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002030 StoreToOffset(kStoreWord, SP, S1, thr_offs.Int32Value());
2031}
2032
2033void MipsAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
2034 FrameOffset in_off, ManagedRegister mscratch) {
2035 MipsManagedRegister src = msrc.AsMips();
2036 MipsManagedRegister scratch = mscratch.AsMips();
2037 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2038 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002039 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002040}
2041
2042void MipsAssembler::Load(ManagedRegister mdest, FrameOffset src, size_t size) {
2043 return EmitLoad(mdest, SP, src.Int32Value(), size);
2044}
2045
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002046void MipsAssembler::LoadFromThread32(ManagedRegister mdest,
2047 ThreadOffset<kMipsWordSize> src, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002048 return EmitLoad(mdest, S1, src.Int32Value(), size);
2049}
2050
2051void MipsAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
2052 MipsManagedRegister dest = mdest.AsMips();
2053 CHECK(dest.IsCoreRegister());
2054 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), SP, src.Int32Value());
2055}
2056
Mathieu Chartiere401d142015-04-22 13:56:20 -07002057void MipsAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +01002058 bool unpoison_reference) {
jeffhao7fbee072012-08-24 17:56:54 -07002059 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002060 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002061 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2062 base.AsMips().AsCoreRegister(), offs.Int32Value());
Roland Levillain4d027112015-07-01 15:41:14 +01002063 if (kPoisonHeapReferences && unpoison_reference) {
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -08002064 Subu(dest.AsCoreRegister(), ZERO, dest.AsCoreRegister());
2065 }
jeffhao7fbee072012-08-24 17:56:54 -07002066}
2067
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002068void MipsAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base, Offset offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002069 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002070 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002071 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2072 base.AsMips().AsCoreRegister(), offs.Int32Value());
2073}
2074
Ian Rogersdd7624d2014-03-14 17:43:00 -07002075void MipsAssembler::LoadRawPtrFromThread32(ManagedRegister mdest,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002076 ThreadOffset<kMipsWordSize> offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002077 MipsManagedRegister dest = mdest.AsMips();
2078 CHECK(dest.IsCoreRegister());
2079 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), S1, offs.Int32Value());
2080}
2081
2082void MipsAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2083 UNIMPLEMENTED(FATAL) << "no sign extension necessary for mips";
2084}
2085
2086void MipsAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2087 UNIMPLEMENTED(FATAL) << "no zero extension necessary for mips";
2088}
2089
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002090void MipsAssembler::Move(ManagedRegister mdest, ManagedRegister msrc, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002091 MipsManagedRegister dest = mdest.AsMips();
2092 MipsManagedRegister src = msrc.AsMips();
2093 if (!dest.Equals(src)) {
2094 if (dest.IsCoreRegister()) {
2095 CHECK(src.IsCoreRegister()) << src;
2096 Move(dest.AsCoreRegister(), src.AsCoreRegister());
2097 } else if (dest.IsFRegister()) {
2098 CHECK(src.IsFRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002099 if (size == kMipsWordSize) {
2100 MovS(dest.AsFRegister(), src.AsFRegister());
2101 } else {
2102 CHECK_EQ(kMipsDoublewordSize, size);
2103 MovD(dest.AsFRegister(), src.AsFRegister());
2104 }
jeffhao7fbee072012-08-24 17:56:54 -07002105 } else if (dest.IsDRegister()) {
2106 CHECK(src.IsDRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002107 MovD(dest.AsOverlappingDRegisterLow(), src.AsOverlappingDRegisterLow());
jeffhao7fbee072012-08-24 17:56:54 -07002108 } else {
2109 CHECK(dest.IsRegisterPair()) << dest;
2110 CHECK(src.IsRegisterPair()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002111 // Ensure that the first move doesn't clobber the input of the second.
jeffhao7fbee072012-08-24 17:56:54 -07002112 if (src.AsRegisterPairHigh() != dest.AsRegisterPairLow()) {
2113 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2114 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2115 } else {
2116 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2117 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2118 }
2119 }
2120 }
2121}
2122
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002123void MipsAssembler::CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002124 MipsManagedRegister scratch = mscratch.AsMips();
2125 CHECK(scratch.IsCoreRegister()) << scratch;
2126 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2127 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2128}
2129
Ian Rogersdd7624d2014-03-14 17:43:00 -07002130void MipsAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002131 ThreadOffset<kMipsWordSize> thr_offs,
2132 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002133 MipsManagedRegister scratch = mscratch.AsMips();
2134 CHECK(scratch.IsCoreRegister()) << scratch;
2135 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2136 S1, thr_offs.Int32Value());
2137 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2138 SP, fr_offs.Int32Value());
2139}
2140
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002141void MipsAssembler::CopyRawPtrToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2142 FrameOffset fr_offs,
2143 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002144 MipsManagedRegister scratch = mscratch.AsMips();
2145 CHECK(scratch.IsCoreRegister()) << scratch;
2146 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2147 SP, fr_offs.Int32Value());
2148 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2149 S1, thr_offs.Int32Value());
2150}
2151
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002152void MipsAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002153 MipsManagedRegister scratch = mscratch.AsMips();
2154 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002155 CHECK(size == kMipsWordSize || size == kMipsDoublewordSize) << size;
2156 if (size == kMipsWordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002157 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2158 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002159 } else if (size == kMipsDoublewordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002160 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2161 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002162 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + kMipsWordSize);
2163 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002164 }
2165}
2166
2167void MipsAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
2168 ManagedRegister mscratch, size_t size) {
2169 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002170 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002171 LoadFromOffset(kLoadWord, scratch, src_base.AsMips().AsCoreRegister(), src_offset.Int32Value());
2172 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
2173}
2174
2175void MipsAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
2176 ManagedRegister mscratch, size_t size) {
2177 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002178 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002179 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
2180 StoreToOffset(kStoreWord, scratch, dest_base.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2181}
2182
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002183void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2184 FrameOffset src_base ATTRIBUTE_UNUSED,
2185 Offset src_offset ATTRIBUTE_UNUSED,
2186 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2187 size_t size ATTRIBUTE_UNUSED) {
2188 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002189}
2190
2191void MipsAssembler::Copy(ManagedRegister dest, Offset dest_offset,
2192 ManagedRegister src, Offset src_offset,
2193 ManagedRegister mscratch, size_t size) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002194 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002195 Register scratch = mscratch.AsMips().AsCoreRegister();
2196 LoadFromOffset(kLoadWord, scratch, src.AsMips().AsCoreRegister(), src_offset.Int32Value());
2197 StoreToOffset(kStoreWord, scratch, dest.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2198}
2199
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002200void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2201 Offset dest_offset ATTRIBUTE_UNUSED,
2202 FrameOffset src ATTRIBUTE_UNUSED,
2203 Offset src_offset ATTRIBUTE_UNUSED,
2204 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2205 size_t size ATTRIBUTE_UNUSED) {
2206 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002207}
2208
2209void MipsAssembler::MemoryBarrier(ManagedRegister) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002210 // TODO: sync?
2211 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002212}
2213
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002214void MipsAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002215 FrameOffset handle_scope_offset,
2216 ManagedRegister min_reg,
2217 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002218 MipsManagedRegister out_reg = mout_reg.AsMips();
2219 MipsManagedRegister in_reg = min_reg.AsMips();
2220 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
2221 CHECK(out_reg.IsCoreRegister()) << out_reg;
2222 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002223 MipsLabel null_arg;
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002224 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2225 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002226 // E.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset).
jeffhao7fbee072012-08-24 17:56:54 -07002227 if (in_reg.IsNoRegister()) {
2228 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002229 SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002230 in_reg = out_reg;
2231 }
2232 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002233 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002234 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002235 Beqz(in_reg.AsCoreRegister(), &null_arg);
2236 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2237 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002238 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002239 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002240 }
2241}
2242
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002243void MipsAssembler::CreateHandleScopeEntry(FrameOffset out_off,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002244 FrameOffset handle_scope_offset,
2245 ManagedRegister mscratch,
2246 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002247 MipsManagedRegister scratch = mscratch.AsMips();
2248 CHECK(scratch.IsCoreRegister()) << scratch;
2249 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002250 MipsLabel null_arg;
2251 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002252 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2253 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002254 // E.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset).
2255 Beqz(scratch.AsCoreRegister(), &null_arg);
2256 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2257 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002258 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002259 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002260 }
2261 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
2262}
2263
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002264// Given a handle scope entry, load the associated reference.
2265void MipsAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002266 ManagedRegister min_reg) {
jeffhao7fbee072012-08-24 17:56:54 -07002267 MipsManagedRegister out_reg = mout_reg.AsMips();
2268 MipsManagedRegister in_reg = min_reg.AsMips();
2269 CHECK(out_reg.IsCoreRegister()) << out_reg;
2270 CHECK(in_reg.IsCoreRegister()) << in_reg;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002271 MipsLabel null_arg;
jeffhao7fbee072012-08-24 17:56:54 -07002272 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002273 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002274 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002275 Beqz(in_reg.AsCoreRegister(), &null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002276 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
2277 in_reg.AsCoreRegister(), 0);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002278 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002279}
2280
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002281void MipsAssembler::VerifyObject(ManagedRegister src ATTRIBUTE_UNUSED,
2282 bool could_be_null ATTRIBUTE_UNUSED) {
2283 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002284}
2285
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002286void MipsAssembler::VerifyObject(FrameOffset src ATTRIBUTE_UNUSED,
2287 bool could_be_null ATTRIBUTE_UNUSED) {
2288 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002289}
2290
2291void MipsAssembler::Call(ManagedRegister mbase, Offset offset, ManagedRegister mscratch) {
2292 MipsManagedRegister base = mbase.AsMips();
2293 MipsManagedRegister scratch = mscratch.AsMips();
2294 CHECK(base.IsCoreRegister()) << base;
2295 CHECK(scratch.IsCoreRegister()) << scratch;
2296 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2297 base.AsCoreRegister(), offset.Int32Value());
2298 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002299 Nop();
2300 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002301}
2302
2303void MipsAssembler::Call(FrameOffset base, Offset offset, ManagedRegister mscratch) {
2304 MipsManagedRegister scratch = mscratch.AsMips();
2305 CHECK(scratch.IsCoreRegister()) << scratch;
2306 // Call *(*(SP + base) + offset)
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002307 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, base.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002308 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2309 scratch.AsCoreRegister(), offset.Int32Value());
2310 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002311 Nop();
2312 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002313}
2314
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002315void MipsAssembler::CallFromThread32(ThreadOffset<kMipsWordSize> offset ATTRIBUTE_UNUSED,
2316 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
Ian Rogers468532e2013-08-05 10:56:33 -07002317 UNIMPLEMENTED(FATAL) << "no mips implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002318}
2319
2320void MipsAssembler::GetCurrentThread(ManagedRegister tr) {
2321 Move(tr.AsMips().AsCoreRegister(), S1);
2322}
2323
2324void MipsAssembler::GetCurrentThread(FrameOffset offset,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002325 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
jeffhao7fbee072012-08-24 17:56:54 -07002326 StoreToOffset(kStoreWord, S1, SP, offset.Int32Value());
2327}
2328
jeffhao7fbee072012-08-24 17:56:54 -07002329void MipsAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
2330 MipsManagedRegister scratch = mscratch.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002331 exception_blocks_.emplace_back(scratch, stack_adjust);
jeffhao7fbee072012-08-24 17:56:54 -07002332 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002333 S1, Thread::ExceptionOffset<kMipsWordSize>().Int32Value());
2334 // TODO: on MIPS32R6 prefer Bnezc(scratch.AsCoreRegister(), slow.Entry());
2335 // as the NAL instruction (occurring in long R2 branches) may become deprecated.
2336 // For now use common for R2 and R6 instructions as this code must execute on both.
2337 Bnez(scratch.AsCoreRegister(), exception_blocks_.back().Entry());
jeffhao7fbee072012-08-24 17:56:54 -07002338}
2339
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002340void MipsAssembler::EmitExceptionPoll(MipsExceptionSlowPath* exception) {
2341 Bind(exception->Entry());
2342 if (exception->stack_adjust_ != 0) { // Fix up the frame.
2343 DecreaseFrameSize(exception->stack_adjust_);
jeffhao7fbee072012-08-24 17:56:54 -07002344 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002345 // Pass exception object as argument.
2346 // Don't care about preserving A0 as this call won't return.
2347 CheckEntrypointTypes<kQuickDeliverException, void, mirror::Object*>();
2348 Move(A0, exception->scratch_.AsCoreRegister());
2349 // Set up call to Thread::Current()->pDeliverException.
2350 LoadFromOffset(kLoadWord, T9, S1,
2351 QUICK_ENTRYPOINT_OFFSET(kMipsWordSize, pDeliverException).Int32Value());
2352 Jr(T9);
2353 Nop();
2354
2355 // Call never returns.
2356 Break();
jeffhao7fbee072012-08-24 17:56:54 -07002357}
2358
2359} // namespace mips
2360} // namespace art