blob: 8c462436a72aa9fced48a7c07cd68c01bf7c08f4 [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
Alexey Frunze7e99e052015-11-24 19:28:01 -0800252void MipsAssembler::MuhR6(Register rd, Register rs, Register rt) {
253 CHECK(IsR6());
254 EmitR(0, rs, rt, rd, 3, 0x18);
255}
256
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200257void MipsAssembler::MuhuR6(Register rd, Register rs, Register rt) {
258 CHECK(IsR6());
259 EmitR(0, rs, rt, rd, 3, 0x19);
260}
261
262void MipsAssembler::DivR6(Register rd, Register rs, Register rt) {
263 CHECK(IsR6());
264 EmitR(0, rs, rt, rd, 2, 0x1a);
265}
266
267void MipsAssembler::ModR6(Register rd, Register rs, Register rt) {
268 CHECK(IsR6());
269 EmitR(0, rs, rt, rd, 3, 0x1a);
270}
271
272void MipsAssembler::DivuR6(Register rd, Register rs, Register rt) {
273 CHECK(IsR6());
274 EmitR(0, rs, rt, rd, 2, 0x1b);
275}
276
277void MipsAssembler::ModuR6(Register rd, Register rs, Register rt) {
278 CHECK(IsR6());
279 EmitR(0, rs, rt, rd, 3, 0x1b);
280}
281
jeffhao7fbee072012-08-24 17:56:54 -0700282void MipsAssembler::And(Register rd, Register rs, Register rt) {
283 EmitR(0, rs, rt, rd, 0, 0x24);
284}
285
286void MipsAssembler::Andi(Register rt, Register rs, uint16_t imm16) {
287 EmitI(0xc, rs, rt, imm16);
288}
289
290void MipsAssembler::Or(Register rd, Register rs, Register rt) {
291 EmitR(0, rs, rt, rd, 0, 0x25);
292}
293
294void MipsAssembler::Ori(Register rt, Register rs, uint16_t imm16) {
295 EmitI(0xd, rs, rt, imm16);
296}
297
298void MipsAssembler::Xor(Register rd, Register rs, Register rt) {
299 EmitR(0, rs, rt, rd, 0, 0x26);
300}
301
302void MipsAssembler::Xori(Register rt, Register rs, uint16_t imm16) {
303 EmitI(0xe, rs, rt, imm16);
304}
305
306void MipsAssembler::Nor(Register rd, Register rs, Register rt) {
307 EmitR(0, rs, rt, rd, 0, 0x27);
308}
309
Chris Larsene3845472015-11-18 12:27:15 -0800310void MipsAssembler::Movz(Register rd, Register rs, Register rt) {
311 CHECK(!IsR6());
312 EmitR(0, rs, rt, rd, 0, 0x0A);
313}
314
315void MipsAssembler::Movn(Register rd, Register rs, Register rt) {
316 CHECK(!IsR6());
317 EmitR(0, rs, rt, rd, 0, 0x0B);
318}
319
320void MipsAssembler::Seleqz(Register rd, Register rs, Register rt) {
321 CHECK(IsR6());
322 EmitR(0, rs, rt, rd, 0, 0x35);
323}
324
325void MipsAssembler::Selnez(Register rd, Register rs, Register rt) {
326 CHECK(IsR6());
327 EmitR(0, rs, rt, rd, 0, 0x37);
328}
329
330void MipsAssembler::ClzR6(Register rd, Register rs) {
331 CHECK(IsR6());
332 EmitR(0, rs, static_cast<Register>(0), rd, 0x01, 0x10);
333}
334
335void MipsAssembler::ClzR2(Register rd, Register rs) {
336 CHECK(!IsR6());
337 EmitR(0x1C, rs, rd, rd, 0, 0x20);
338}
339
340void MipsAssembler::CloR6(Register rd, Register rs) {
341 CHECK(IsR6());
342 EmitR(0, rs, static_cast<Register>(0), rd, 0x01, 0x11);
343}
344
345void MipsAssembler::CloR2(Register rd, Register rs) {
346 CHECK(!IsR6());
347 EmitR(0x1C, rs, rd, rd, 0, 0x21);
348}
349
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200350void MipsAssembler::Seb(Register rd, Register rt) {
351 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x10, 0x20);
jeffhao7fbee072012-08-24 17:56:54 -0700352}
353
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200354void MipsAssembler::Seh(Register rd, Register rt) {
355 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x18, 0x20);
jeffhao7fbee072012-08-24 17:56:54 -0700356}
357
Chris Larsen3f8bf652015-10-28 10:08:56 -0700358void MipsAssembler::Wsbh(Register rd, Register rt) {
359 EmitR(0x1f, static_cast<Register>(0), rt, rd, 2, 0x20);
360}
361
Chris Larsen70014c82015-11-18 12:26:08 -0800362void MipsAssembler::Bitswap(Register rd, Register rt) {
363 CHECK(IsR6());
364 EmitR(0x1f, static_cast<Register>(0), rt, rd, 0x0, 0x20);
365}
366
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200367void MipsAssembler::Sll(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, 0x00);
jeffhao7fbee072012-08-24 17:56:54 -0700370}
371
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200372void MipsAssembler::Srl(Register rd, Register rt, int shamt) {
Chris Larsen3f8bf652015-10-28 10:08:56 -0700373 CHECK(IsUint<5>(shamt)) << shamt;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200374 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x02);
375}
376
Chris Larsen3f8bf652015-10-28 10:08:56 -0700377void MipsAssembler::Rotr(Register rd, Register rt, int shamt) {
378 CHECK(IsUint<5>(shamt)) << shamt;
379 EmitR(0, static_cast<Register>(1), rt, rd, shamt, 0x02);
380}
381
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200382void MipsAssembler::Sra(Register rd, Register rt, int shamt) {
Chris Larsen3f8bf652015-10-28 10:08:56 -0700383 CHECK(IsUint<5>(shamt)) << shamt;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200384 EmitR(0, static_cast<Register>(0), rt, rd, shamt, 0x03);
385}
386
387void MipsAssembler::Sllv(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700388 EmitR(0, rs, rt, rd, 0, 0x04);
389}
390
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200391void MipsAssembler::Srlv(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700392 EmitR(0, rs, rt, rd, 0, 0x06);
393}
394
Chris Larsene16ce5a2015-11-18 12:30:20 -0800395void MipsAssembler::Rotrv(Register rd, Register rt, Register rs) {
396 EmitR(0, rs, rt, rd, 1, 0x06);
397}
398
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200399void MipsAssembler::Srav(Register rd, Register rt, Register rs) {
jeffhao7fbee072012-08-24 17:56:54 -0700400 EmitR(0, rs, rt, rd, 0, 0x07);
401}
402
Alexey Frunze5c7aed32015-11-25 19:41:54 -0800403void MipsAssembler::Ext(Register rd, Register rt, int pos, int size) {
404 CHECK(IsUint<5>(pos)) << pos;
405 CHECK(0 < size && size <= 32) << size;
406 CHECK(0 < pos + size && pos + size <= 32) << pos << " + " << size;
407 EmitR(0x1f, rt, rd, static_cast<Register>(size - 1), pos, 0x00);
408}
409
410void MipsAssembler::Ins(Register rd, Register rt, int pos, int size) {
411 CHECK(IsUint<5>(pos)) << pos;
412 CHECK(0 < size && size <= 32) << size;
413 CHECK(0 < pos + size && pos + size <= 32) << pos << " + " << size;
414 EmitR(0x1f, rt, rd, static_cast<Register>(pos + size - 1), pos, 0x04);
415}
416
jeffhao7fbee072012-08-24 17:56:54 -0700417void MipsAssembler::Lb(Register rt, Register rs, uint16_t imm16) {
418 EmitI(0x20, rs, rt, imm16);
419}
420
421void MipsAssembler::Lh(Register rt, Register rs, uint16_t imm16) {
422 EmitI(0x21, rs, rt, imm16);
423}
424
425void MipsAssembler::Lw(Register rt, Register rs, uint16_t imm16) {
426 EmitI(0x23, rs, rt, imm16);
427}
428
429void MipsAssembler::Lbu(Register rt, Register rs, uint16_t imm16) {
430 EmitI(0x24, rs, rt, imm16);
431}
432
433void MipsAssembler::Lhu(Register rt, Register rs, uint16_t imm16) {
434 EmitI(0x25, rs, rt, imm16);
435}
436
437void MipsAssembler::Lui(Register rt, uint16_t imm16) {
438 EmitI(0xf, static_cast<Register>(0), rt, imm16);
439}
440
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200441void MipsAssembler::Sync(uint32_t stype) {
442 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0),
443 stype & 0x1f, 0xf);
444}
445
jeffhao7fbee072012-08-24 17:56:54 -0700446void MipsAssembler::Mfhi(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200447 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700448 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x10);
449}
450
451void MipsAssembler::Mflo(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200452 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700453 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x12);
454}
455
456void MipsAssembler::Sb(Register rt, Register rs, uint16_t imm16) {
457 EmitI(0x28, rs, rt, imm16);
458}
459
460void MipsAssembler::Sh(Register rt, Register rs, uint16_t imm16) {
461 EmitI(0x29, rs, rt, imm16);
462}
463
464void MipsAssembler::Sw(Register rt, Register rs, uint16_t imm16) {
465 EmitI(0x2b, rs, rt, imm16);
466}
467
468void MipsAssembler::Slt(Register rd, Register rs, Register rt) {
469 EmitR(0, rs, rt, rd, 0, 0x2a);
470}
471
472void MipsAssembler::Sltu(Register rd, Register rs, Register rt) {
473 EmitR(0, rs, rt, rd, 0, 0x2b);
474}
475
476void MipsAssembler::Slti(Register rt, Register rs, uint16_t imm16) {
477 EmitI(0xa, rs, rt, imm16);
478}
479
480void MipsAssembler::Sltiu(Register rt, Register rs, uint16_t imm16) {
481 EmitI(0xb, rs, rt, imm16);
482}
483
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200484void MipsAssembler::B(uint16_t imm16) {
485 EmitI(0x4, static_cast<Register>(0), static_cast<Register>(0), imm16);
486}
487
488void MipsAssembler::Beq(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700489 EmitI(0x4, rs, rt, imm16);
490}
491
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200492void MipsAssembler::Bne(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700493 EmitI(0x5, rs, rt, imm16);
494}
495
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200496void MipsAssembler::Beqz(Register rt, uint16_t imm16) {
497 Beq(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700498}
499
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200500void MipsAssembler::Bnez(Register rt, uint16_t imm16) {
501 Bne(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700502}
503
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200504void MipsAssembler::Bltz(Register rt, uint16_t imm16) {
505 EmitI(0x1, rt, static_cast<Register>(0), imm16);
506}
507
508void MipsAssembler::Bgez(Register rt, uint16_t imm16) {
509 EmitI(0x1, rt, static_cast<Register>(0x1), imm16);
510}
511
512void MipsAssembler::Blez(Register rt, uint16_t imm16) {
513 EmitI(0x6, rt, static_cast<Register>(0), imm16);
514}
515
516void MipsAssembler::Bgtz(Register rt, uint16_t imm16) {
517 EmitI(0x7, rt, static_cast<Register>(0), imm16);
518}
519
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800520void MipsAssembler::Bc1f(int cc, uint16_t imm16) {
521 CHECK(!IsR6());
522 CHECK(IsUint<3>(cc)) << cc;
523 EmitI(0x11, static_cast<Register>(0x8), static_cast<Register>(cc << 2), imm16);
524}
525
526void MipsAssembler::Bc1t(int cc, uint16_t imm16) {
527 CHECK(!IsR6());
528 CHECK(IsUint<3>(cc)) << cc;
529 EmitI(0x11, static_cast<Register>(0x8), static_cast<Register>((cc << 2) | 1), imm16);
530}
531
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200532void MipsAssembler::J(uint32_t addr26) {
533 EmitI26(0x2, addr26);
534}
535
536void MipsAssembler::Jal(uint32_t addr26) {
537 EmitI26(0x3, addr26);
538}
539
540void MipsAssembler::Jalr(Register rd, Register rs) {
541 EmitR(0, rs, static_cast<Register>(0), rd, 0, 0x09);
jeffhao7fbee072012-08-24 17:56:54 -0700542}
543
544void MipsAssembler::Jalr(Register rs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200545 Jalr(RA, rs);
546}
547
548void MipsAssembler::Jr(Register rs) {
549 Jalr(ZERO, rs);
550}
551
552void MipsAssembler::Nal() {
553 EmitI(0x1, static_cast<Register>(0), static_cast<Register>(0x10), 0);
554}
555
556void MipsAssembler::Auipc(Register rs, uint16_t imm16) {
557 CHECK(IsR6());
558 EmitI(0x3B, rs, static_cast<Register>(0x1E), imm16);
559}
560
561void MipsAssembler::Addiupc(Register rs, uint32_t imm19) {
562 CHECK(IsR6());
563 CHECK(IsUint<19>(imm19)) << imm19;
564 EmitI21(0x3B, rs, imm19);
565}
566
567void MipsAssembler::Bc(uint32_t imm26) {
568 CHECK(IsR6());
569 EmitI26(0x32, imm26);
570}
571
572void MipsAssembler::Jic(Register rt, uint16_t imm16) {
573 CHECK(IsR6());
574 EmitI(0x36, static_cast<Register>(0), rt, imm16);
575}
576
577void MipsAssembler::Jialc(Register rt, uint16_t imm16) {
578 CHECK(IsR6());
579 EmitI(0x3E, static_cast<Register>(0), rt, imm16);
580}
581
582void MipsAssembler::Bltc(Register rs, Register rt, uint16_t imm16) {
583 CHECK(IsR6());
584 CHECK_NE(rs, ZERO);
585 CHECK_NE(rt, ZERO);
586 CHECK_NE(rs, rt);
587 EmitI(0x17, rs, rt, imm16);
588}
589
590void MipsAssembler::Bltzc(Register rt, uint16_t imm16) {
591 CHECK(IsR6());
592 CHECK_NE(rt, ZERO);
593 EmitI(0x17, rt, rt, imm16);
594}
595
596void MipsAssembler::Bgtzc(Register rt, uint16_t imm16) {
597 CHECK(IsR6());
598 CHECK_NE(rt, ZERO);
599 EmitI(0x17, static_cast<Register>(0), rt, imm16);
600}
601
602void MipsAssembler::Bgec(Register rs, Register rt, uint16_t imm16) {
603 CHECK(IsR6());
604 CHECK_NE(rs, ZERO);
605 CHECK_NE(rt, ZERO);
606 CHECK_NE(rs, rt);
607 EmitI(0x16, rs, rt, imm16);
608}
609
610void MipsAssembler::Bgezc(Register rt, uint16_t imm16) {
611 CHECK(IsR6());
612 CHECK_NE(rt, ZERO);
613 EmitI(0x16, rt, rt, imm16);
614}
615
616void MipsAssembler::Blezc(Register rt, uint16_t imm16) {
617 CHECK(IsR6());
618 CHECK_NE(rt, ZERO);
619 EmitI(0x16, static_cast<Register>(0), rt, imm16);
620}
621
622void MipsAssembler::Bltuc(Register rs, Register rt, uint16_t imm16) {
623 CHECK(IsR6());
624 CHECK_NE(rs, ZERO);
625 CHECK_NE(rt, ZERO);
626 CHECK_NE(rs, rt);
627 EmitI(0x7, rs, rt, imm16);
628}
629
630void MipsAssembler::Bgeuc(Register rs, Register rt, uint16_t imm16) {
631 CHECK(IsR6());
632 CHECK_NE(rs, ZERO);
633 CHECK_NE(rt, ZERO);
634 CHECK_NE(rs, rt);
635 EmitI(0x6, rs, rt, imm16);
636}
637
638void MipsAssembler::Beqc(Register rs, Register rt, uint16_t imm16) {
639 CHECK(IsR6());
640 CHECK_NE(rs, ZERO);
641 CHECK_NE(rt, ZERO);
642 CHECK_NE(rs, rt);
643 EmitI(0x8, std::min(rs, rt), std::max(rs, rt), imm16);
644}
645
646void MipsAssembler::Bnec(Register rs, Register rt, uint16_t imm16) {
647 CHECK(IsR6());
648 CHECK_NE(rs, ZERO);
649 CHECK_NE(rt, ZERO);
650 CHECK_NE(rs, rt);
651 EmitI(0x18, std::min(rs, rt), std::max(rs, rt), imm16);
652}
653
654void MipsAssembler::Beqzc(Register rs, uint32_t imm21) {
655 CHECK(IsR6());
656 CHECK_NE(rs, ZERO);
657 EmitI21(0x36, rs, imm21);
658}
659
660void MipsAssembler::Bnezc(Register rs, uint32_t imm21) {
661 CHECK(IsR6());
662 CHECK_NE(rs, ZERO);
663 EmitI21(0x3E, rs, imm21);
664}
665
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800666void MipsAssembler::Bc1eqz(FRegister ft, uint16_t imm16) {
667 CHECK(IsR6());
668 EmitFI(0x11, 0x9, ft, imm16);
669}
670
671void MipsAssembler::Bc1nez(FRegister ft, uint16_t imm16) {
672 CHECK(IsR6());
673 EmitFI(0x11, 0xD, ft, imm16);
674}
675
676void MipsAssembler::EmitBcondR2(BranchCondition cond, Register rs, Register rt, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200677 switch (cond) {
678 case kCondLTZ:
679 CHECK_EQ(rt, ZERO);
680 Bltz(rs, imm16);
681 break;
682 case kCondGEZ:
683 CHECK_EQ(rt, ZERO);
684 Bgez(rs, imm16);
685 break;
686 case kCondLEZ:
687 CHECK_EQ(rt, ZERO);
688 Blez(rs, imm16);
689 break;
690 case kCondGTZ:
691 CHECK_EQ(rt, ZERO);
692 Bgtz(rs, imm16);
693 break;
694 case kCondEQ:
695 Beq(rs, rt, imm16);
696 break;
697 case kCondNE:
698 Bne(rs, rt, imm16);
699 break;
700 case kCondEQZ:
701 CHECK_EQ(rt, ZERO);
702 Beqz(rs, imm16);
703 break;
704 case kCondNEZ:
705 CHECK_EQ(rt, ZERO);
706 Bnez(rs, imm16);
707 break;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800708 case kCondF:
709 CHECK_EQ(rt, ZERO);
710 Bc1f(static_cast<int>(rs), imm16);
711 break;
712 case kCondT:
713 CHECK_EQ(rt, ZERO);
714 Bc1t(static_cast<int>(rs), imm16);
715 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200716 case kCondLT:
717 case kCondGE:
718 case kCondLE:
719 case kCondGT:
720 case kCondLTU:
721 case kCondGEU:
722 case kUncond:
723 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
724 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
725 LOG(FATAL) << "Unexpected branch condition " << cond;
726 UNREACHABLE();
727 }
728}
729
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800730void MipsAssembler::EmitBcondR6(BranchCondition cond, Register rs, Register rt, uint32_t imm16_21) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200731 switch (cond) {
732 case kCondLT:
733 Bltc(rs, rt, imm16_21);
734 break;
735 case kCondGE:
736 Bgec(rs, rt, imm16_21);
737 break;
738 case kCondLE:
739 Bgec(rt, rs, imm16_21);
740 break;
741 case kCondGT:
742 Bltc(rt, rs, imm16_21);
743 break;
744 case kCondLTZ:
745 CHECK_EQ(rt, ZERO);
746 Bltzc(rs, imm16_21);
747 break;
748 case kCondGEZ:
749 CHECK_EQ(rt, ZERO);
750 Bgezc(rs, imm16_21);
751 break;
752 case kCondLEZ:
753 CHECK_EQ(rt, ZERO);
754 Blezc(rs, imm16_21);
755 break;
756 case kCondGTZ:
757 CHECK_EQ(rt, ZERO);
758 Bgtzc(rs, imm16_21);
759 break;
760 case kCondEQ:
761 Beqc(rs, rt, imm16_21);
762 break;
763 case kCondNE:
764 Bnec(rs, rt, imm16_21);
765 break;
766 case kCondEQZ:
767 CHECK_EQ(rt, ZERO);
768 Beqzc(rs, imm16_21);
769 break;
770 case kCondNEZ:
771 CHECK_EQ(rt, ZERO);
772 Bnezc(rs, imm16_21);
773 break;
774 case kCondLTU:
775 Bltuc(rs, rt, imm16_21);
776 break;
777 case kCondGEU:
778 Bgeuc(rs, rt, imm16_21);
779 break;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800780 case kCondF:
781 CHECK_EQ(rt, ZERO);
782 Bc1eqz(static_cast<FRegister>(rs), imm16_21);
783 break;
784 case kCondT:
785 CHECK_EQ(rt, ZERO);
786 Bc1nez(static_cast<FRegister>(rs), imm16_21);
787 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200788 case kUncond:
789 LOG(FATAL) << "Unexpected branch condition " << cond;
790 UNREACHABLE();
791 }
jeffhao7fbee072012-08-24 17:56:54 -0700792}
793
794void MipsAssembler::AddS(FRegister fd, FRegister fs, FRegister ft) {
795 EmitFR(0x11, 0x10, ft, fs, fd, 0x0);
796}
797
798void MipsAssembler::SubS(FRegister fd, FRegister fs, FRegister ft) {
799 EmitFR(0x11, 0x10, ft, fs, fd, 0x1);
800}
801
802void MipsAssembler::MulS(FRegister fd, FRegister fs, FRegister ft) {
803 EmitFR(0x11, 0x10, ft, fs, fd, 0x2);
804}
805
806void MipsAssembler::DivS(FRegister fd, FRegister fs, FRegister ft) {
807 EmitFR(0x11, 0x10, ft, fs, fd, 0x3);
808}
809
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200810void MipsAssembler::AddD(FRegister fd, FRegister fs, FRegister ft) {
811 EmitFR(0x11, 0x11, ft, fs, fd, 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700812}
813
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200814void MipsAssembler::SubD(FRegister fd, FRegister fs, FRegister ft) {
815 EmitFR(0x11, 0x11, ft, fs, fd, 0x1);
jeffhao7fbee072012-08-24 17:56:54 -0700816}
817
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200818void MipsAssembler::MulD(FRegister fd, FRegister fs, FRegister ft) {
819 EmitFR(0x11, 0x11, ft, fs, fd, 0x2);
jeffhao7fbee072012-08-24 17:56:54 -0700820}
821
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200822void MipsAssembler::DivD(FRegister fd, FRegister fs, FRegister ft) {
823 EmitFR(0x11, 0x11, ft, fs, fd, 0x3);
jeffhao7fbee072012-08-24 17:56:54 -0700824}
825
826void MipsAssembler::MovS(FRegister fd, FRegister fs) {
827 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x6);
828}
829
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200830void MipsAssembler::MovD(FRegister fd, FRegister fs) {
831 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x6);
832}
833
834void MipsAssembler::NegS(FRegister fd, FRegister fs) {
835 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x7);
836}
837
838void MipsAssembler::NegD(FRegister fd, FRegister fs) {
839 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x7);
840}
841
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800842void MipsAssembler::CunS(int cc, FRegister fs, FRegister ft) {
843 CHECK(!IsR6());
844 CHECK(IsUint<3>(cc)) << cc;
845 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x31);
846}
847
848void MipsAssembler::CeqS(int cc, FRegister fs, FRegister ft) {
849 CHECK(!IsR6());
850 CHECK(IsUint<3>(cc)) << cc;
851 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x32);
852}
853
854void MipsAssembler::CueqS(int cc, FRegister fs, FRegister ft) {
855 CHECK(!IsR6());
856 CHECK(IsUint<3>(cc)) << cc;
857 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x33);
858}
859
860void MipsAssembler::ColtS(int cc, FRegister fs, FRegister ft) {
861 CHECK(!IsR6());
862 CHECK(IsUint<3>(cc)) << cc;
863 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x34);
864}
865
866void MipsAssembler::CultS(int cc, FRegister fs, FRegister ft) {
867 CHECK(!IsR6());
868 CHECK(IsUint<3>(cc)) << cc;
869 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x35);
870}
871
872void MipsAssembler::ColeS(int cc, FRegister fs, FRegister ft) {
873 CHECK(!IsR6());
874 CHECK(IsUint<3>(cc)) << cc;
875 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x36);
876}
877
878void MipsAssembler::CuleS(int cc, FRegister fs, FRegister ft) {
879 CHECK(!IsR6());
880 CHECK(IsUint<3>(cc)) << cc;
881 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x37);
882}
883
884void MipsAssembler::CunD(int cc, FRegister fs, FRegister ft) {
885 CHECK(!IsR6());
886 CHECK(IsUint<3>(cc)) << cc;
887 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x31);
888}
889
890void MipsAssembler::CeqD(int cc, FRegister fs, FRegister ft) {
891 CHECK(!IsR6());
892 CHECK(IsUint<3>(cc)) << cc;
893 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x32);
894}
895
896void MipsAssembler::CueqD(int cc, FRegister fs, FRegister ft) {
897 CHECK(!IsR6());
898 CHECK(IsUint<3>(cc)) << cc;
899 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x33);
900}
901
902void MipsAssembler::ColtD(int cc, FRegister fs, FRegister ft) {
903 CHECK(!IsR6());
904 CHECK(IsUint<3>(cc)) << cc;
905 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x34);
906}
907
908void MipsAssembler::CultD(int cc, FRegister fs, FRegister ft) {
909 CHECK(!IsR6());
910 CHECK(IsUint<3>(cc)) << cc;
911 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x35);
912}
913
914void MipsAssembler::ColeD(int cc, FRegister fs, FRegister ft) {
915 CHECK(!IsR6());
916 CHECK(IsUint<3>(cc)) << cc;
917 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x36);
918}
919
920void MipsAssembler::CuleD(int cc, FRegister fs, FRegister ft) {
921 CHECK(!IsR6());
922 CHECK(IsUint<3>(cc)) << cc;
923 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x37);
924}
925
926void MipsAssembler::CmpUnS(FRegister fd, FRegister fs, FRegister ft) {
927 CHECK(IsR6());
928 EmitFR(0x11, 0x14, ft, fs, fd, 0x01);
929}
930
931void MipsAssembler::CmpEqS(FRegister fd, FRegister fs, FRegister ft) {
932 CHECK(IsR6());
933 EmitFR(0x11, 0x14, ft, fs, fd, 0x02);
934}
935
936void MipsAssembler::CmpUeqS(FRegister fd, FRegister fs, FRegister ft) {
937 CHECK(IsR6());
938 EmitFR(0x11, 0x14, ft, fs, fd, 0x03);
939}
940
941void MipsAssembler::CmpLtS(FRegister fd, FRegister fs, FRegister ft) {
942 CHECK(IsR6());
943 EmitFR(0x11, 0x14, ft, fs, fd, 0x04);
944}
945
946void MipsAssembler::CmpUltS(FRegister fd, FRegister fs, FRegister ft) {
947 CHECK(IsR6());
948 EmitFR(0x11, 0x14, ft, fs, fd, 0x05);
949}
950
951void MipsAssembler::CmpLeS(FRegister fd, FRegister fs, FRegister ft) {
952 CHECK(IsR6());
953 EmitFR(0x11, 0x14, ft, fs, fd, 0x06);
954}
955
956void MipsAssembler::CmpUleS(FRegister fd, FRegister fs, FRegister ft) {
957 CHECK(IsR6());
958 EmitFR(0x11, 0x14, ft, fs, fd, 0x07);
959}
960
961void MipsAssembler::CmpOrS(FRegister fd, FRegister fs, FRegister ft) {
962 CHECK(IsR6());
963 EmitFR(0x11, 0x14, ft, fs, fd, 0x11);
964}
965
966void MipsAssembler::CmpUneS(FRegister fd, FRegister fs, FRegister ft) {
967 CHECK(IsR6());
968 EmitFR(0x11, 0x14, ft, fs, fd, 0x12);
969}
970
971void MipsAssembler::CmpNeS(FRegister fd, FRegister fs, FRegister ft) {
972 CHECK(IsR6());
973 EmitFR(0x11, 0x14, ft, fs, fd, 0x13);
974}
975
976void MipsAssembler::CmpUnD(FRegister fd, FRegister fs, FRegister ft) {
977 CHECK(IsR6());
978 EmitFR(0x11, 0x15, ft, fs, fd, 0x01);
979}
980
981void MipsAssembler::CmpEqD(FRegister fd, FRegister fs, FRegister ft) {
982 CHECK(IsR6());
983 EmitFR(0x11, 0x15, ft, fs, fd, 0x02);
984}
985
986void MipsAssembler::CmpUeqD(FRegister fd, FRegister fs, FRegister ft) {
987 CHECK(IsR6());
988 EmitFR(0x11, 0x15, ft, fs, fd, 0x03);
989}
990
991void MipsAssembler::CmpLtD(FRegister fd, FRegister fs, FRegister ft) {
992 CHECK(IsR6());
993 EmitFR(0x11, 0x15, ft, fs, fd, 0x04);
994}
995
996void MipsAssembler::CmpUltD(FRegister fd, FRegister fs, FRegister ft) {
997 CHECK(IsR6());
998 EmitFR(0x11, 0x15, ft, fs, fd, 0x05);
999}
1000
1001void MipsAssembler::CmpLeD(FRegister fd, FRegister fs, FRegister ft) {
1002 CHECK(IsR6());
1003 EmitFR(0x11, 0x15, ft, fs, fd, 0x06);
1004}
1005
1006void MipsAssembler::CmpUleD(FRegister fd, FRegister fs, FRegister ft) {
1007 CHECK(IsR6());
1008 EmitFR(0x11, 0x15, ft, fs, fd, 0x07);
1009}
1010
1011void MipsAssembler::CmpOrD(FRegister fd, FRegister fs, FRegister ft) {
1012 CHECK(IsR6());
1013 EmitFR(0x11, 0x15, ft, fs, fd, 0x11);
1014}
1015
1016void MipsAssembler::CmpUneD(FRegister fd, FRegister fs, FRegister ft) {
1017 CHECK(IsR6());
1018 EmitFR(0x11, 0x15, ft, fs, fd, 0x12);
1019}
1020
1021void MipsAssembler::CmpNeD(FRegister fd, FRegister fs, FRegister ft) {
1022 CHECK(IsR6());
1023 EmitFR(0x11, 0x15, ft, fs, fd, 0x13);
1024}
1025
1026void MipsAssembler::Movf(Register rd, Register rs, int cc) {
1027 CHECK(!IsR6());
1028 CHECK(IsUint<3>(cc)) << cc;
1029 EmitR(0, rs, static_cast<Register>(cc << 2), rd, 0, 0x01);
1030}
1031
1032void MipsAssembler::Movt(Register rd, Register rs, int cc) {
1033 CHECK(!IsR6());
1034 CHECK(IsUint<3>(cc)) << cc;
1035 EmitR(0, rs, static_cast<Register>((cc << 2) | 1), rd, 0, 0x01);
1036}
1037
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001038void MipsAssembler::Cvtsw(FRegister fd, FRegister fs) {
1039 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x20);
1040}
1041
1042void MipsAssembler::Cvtdw(FRegister fd, FRegister fs) {
1043 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x21);
1044}
1045
1046void MipsAssembler::Cvtsd(FRegister fd, FRegister fs) {
1047 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x20);
1048}
1049
1050void MipsAssembler::Cvtds(FRegister fd, FRegister fs) {
1051 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x21);
jeffhao7fbee072012-08-24 17:56:54 -07001052}
1053
1054void MipsAssembler::Mfc1(Register rt, FRegister fs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001055 EmitFR(0x11, 0x00, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -07001056}
1057
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001058void MipsAssembler::Mtc1(Register rt, FRegister fs) {
1059 EmitFR(0x11, 0x04, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
1060}
1061
1062void MipsAssembler::Mfhc1(Register rt, FRegister fs) {
1063 EmitFR(0x11, 0x03, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
1064}
1065
1066void MipsAssembler::Mthc1(Register rt, FRegister fs) {
1067 EmitFR(0x11, 0x07, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -07001068}
1069
Alexey Frunzebb9863a2016-01-11 15:51:16 -08001070void MipsAssembler::MoveFromFpuHigh(Register rt, FRegister fs) {
1071 if (Is32BitFPU()) {
1072 CHECK_EQ(fs % 2, 0) << fs;
1073 Mfc1(rt, static_cast<FRegister>(fs + 1));
1074 } else {
1075 Mfhc1(rt, fs);
1076 }
1077}
1078
1079void MipsAssembler::MoveToFpuHigh(Register rt, FRegister fs) {
1080 if (Is32BitFPU()) {
1081 CHECK_EQ(fs % 2, 0) << fs;
1082 Mtc1(rt, static_cast<FRegister>(fs + 1));
1083 } else {
1084 Mthc1(rt, fs);
1085 }
1086}
1087
jeffhao7fbee072012-08-24 17:56:54 -07001088void MipsAssembler::Lwc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001089 EmitI(0x31, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001090}
1091
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001092void MipsAssembler::Ldc1(FRegister ft, Register rs, uint16_t imm16) {
1093 EmitI(0x35, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001094}
1095
1096void MipsAssembler::Swc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001097 EmitI(0x39, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001098}
1099
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001100void MipsAssembler::Sdc1(FRegister ft, Register rs, uint16_t imm16) {
1101 EmitI(0x3d, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001102}
1103
1104void MipsAssembler::Break() {
1105 EmitR(0, static_cast<Register>(0), static_cast<Register>(0),
1106 static_cast<Register>(0), 0, 0xD);
1107}
1108
jeffhao07030602012-09-26 14:33:14 -07001109void MipsAssembler::Nop() {
1110 EmitR(0x0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0), 0, 0x0);
1111}
1112
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001113void MipsAssembler::Move(Register rd, Register rs) {
1114 Or(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -07001115}
1116
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001117void MipsAssembler::Clear(Register rd) {
1118 Move(rd, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -07001119}
1120
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001121void MipsAssembler::Not(Register rd, Register rs) {
1122 Nor(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -07001123}
1124
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001125void MipsAssembler::Push(Register rs) {
1126 IncreaseFrameSize(kMipsWordSize);
1127 Sw(rs, SP, 0);
jeffhao7fbee072012-08-24 17:56:54 -07001128}
1129
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001130void MipsAssembler::Pop(Register rd) {
1131 Lw(rd, SP, 0);
1132 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001133}
1134
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001135void MipsAssembler::PopAndReturn(Register rd, Register rt) {
1136 Lw(rd, SP, 0);
1137 Jr(rt);
1138 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001139}
1140
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001141void MipsAssembler::LoadConst32(Register rd, int32_t value) {
1142 if (IsUint<16>(value)) {
1143 // Use OR with (unsigned) immediate to encode 16b unsigned int.
1144 Ori(rd, ZERO, value);
1145 } else if (IsInt<16>(value)) {
1146 // Use ADD with (signed) immediate to encode 16b signed int.
1147 Addiu(rd, ZERO, value);
jeffhao7fbee072012-08-24 17:56:54 -07001148 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001149 Lui(rd, High16Bits(value));
1150 if (value & 0xFFFF)
1151 Ori(rd, rd, Low16Bits(value));
1152 }
1153}
1154
1155void MipsAssembler::LoadConst64(Register reg_hi, Register reg_lo, int64_t value) {
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001156 uint32_t low = Low32Bits(value);
1157 uint32_t high = High32Bits(value);
1158 LoadConst32(reg_lo, low);
1159 if (high != low) {
1160 LoadConst32(reg_hi, high);
1161 } else {
1162 Move(reg_hi, reg_lo);
1163 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001164}
1165
1166void MipsAssembler::StoreConst32ToOffset(int32_t value,
1167 Register base,
1168 int32_t offset,
1169 Register temp) {
1170 if (!IsInt<16>(offset)) {
1171 CHECK_NE(temp, AT); // Must not use AT as temp, as not to overwrite the loaded value.
1172 LoadConst32(AT, offset);
1173 Addu(AT, AT, base);
1174 base = AT;
1175 offset = 0;
1176 }
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001177 if (value == 0) {
1178 temp = ZERO;
1179 } else {
1180 LoadConst32(temp, value);
1181 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001182 Sw(temp, base, offset);
1183}
1184
1185void MipsAssembler::StoreConst64ToOffset(int64_t value,
1186 Register base,
1187 int32_t offset,
1188 Register temp) {
1189 // IsInt<16> must be passed a signed value.
1190 if (!IsInt<16>(offset) || !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize))) {
1191 CHECK_NE(temp, AT); // Must not use AT as temp, as not to overwrite the loaded value.
1192 LoadConst32(AT, offset);
1193 Addu(AT, AT, base);
1194 base = AT;
1195 offset = 0;
1196 }
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001197 uint32_t low = Low32Bits(value);
1198 uint32_t high = High32Bits(value);
1199 if (low == 0) {
1200 Sw(ZERO, base, offset);
1201 } else {
1202 LoadConst32(temp, low);
1203 Sw(temp, base, offset);
1204 }
1205 if (high == 0) {
1206 Sw(ZERO, base, offset + kMipsWordSize);
1207 } else {
1208 if (high != low) {
1209 LoadConst32(temp, high);
1210 }
1211 Sw(temp, base, offset + kMipsWordSize);
1212 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001213}
1214
1215void MipsAssembler::LoadSConst32(FRegister r, int32_t value, Register temp) {
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001216 if (value == 0) {
1217 temp = ZERO;
1218 } else {
1219 LoadConst32(temp, value);
1220 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001221 Mtc1(temp, r);
1222}
1223
1224void MipsAssembler::LoadDConst64(FRegister rd, int64_t value, Register temp) {
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001225 uint32_t low = Low32Bits(value);
1226 uint32_t high = High32Bits(value);
1227 if (low == 0) {
1228 Mtc1(ZERO, rd);
1229 } else {
1230 LoadConst32(temp, low);
1231 Mtc1(temp, rd);
1232 }
1233 if (high == 0) {
Alexey Frunzebb9863a2016-01-11 15:51:16 -08001234 MoveToFpuHigh(ZERO, rd);
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001235 } else {
1236 LoadConst32(temp, high);
Alexey Frunzebb9863a2016-01-11 15:51:16 -08001237 MoveToFpuHigh(temp, rd);
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001238 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001239}
1240
1241void MipsAssembler::Addiu32(Register rt, Register rs, int32_t value, Register temp) {
1242 if (IsInt<16>(value)) {
1243 Addiu(rt, rs, value);
1244 } else {
1245 LoadConst32(temp, value);
1246 Addu(rt, rs, temp);
1247 }
1248}
1249
1250void MipsAssembler::Branch::InitShortOrLong(MipsAssembler::Branch::OffsetBits offset_size,
1251 MipsAssembler::Branch::Type short_type,
1252 MipsAssembler::Branch::Type long_type) {
1253 type_ = (offset_size <= branch_info_[short_type].offset_size) ? short_type : long_type;
1254}
1255
1256void MipsAssembler::Branch::InitializeType(bool is_call, bool is_r6) {
1257 OffsetBits offset_size = GetOffsetSizeNeeded(location_, target_);
1258 if (is_r6) {
1259 // R6
1260 if (is_call) {
1261 InitShortOrLong(offset_size, kR6Call, kR6LongCall);
1262 } else if (condition_ == kUncond) {
1263 InitShortOrLong(offset_size, kR6UncondBranch, kR6LongUncondBranch);
1264 } else {
1265 if (condition_ == kCondEQZ || condition_ == kCondNEZ) {
1266 // Special case for beqzc/bnezc with longer offset than in other b<cond>c instructions.
1267 type_ = (offset_size <= kOffset23) ? kR6CondBranch : kR6LongCondBranch;
1268 } else {
1269 InitShortOrLong(offset_size, kR6CondBranch, kR6LongCondBranch);
1270 }
1271 }
1272 } else {
1273 // R2
1274 if (is_call) {
1275 InitShortOrLong(offset_size, kCall, kLongCall);
1276 } else if (condition_ == kUncond) {
1277 InitShortOrLong(offset_size, kUncondBranch, kLongUncondBranch);
1278 } else {
1279 InitShortOrLong(offset_size, kCondBranch, kLongCondBranch);
1280 }
1281 }
1282 old_type_ = type_;
1283}
1284
1285bool MipsAssembler::Branch::IsNop(BranchCondition condition, Register lhs, Register rhs) {
1286 switch (condition) {
1287 case kCondLT:
1288 case kCondGT:
1289 case kCondNE:
1290 case kCondLTU:
1291 return lhs == rhs;
1292 default:
1293 return false;
1294 }
1295}
1296
1297bool MipsAssembler::Branch::IsUncond(BranchCondition condition, Register lhs, Register rhs) {
1298 switch (condition) {
1299 case kUncond:
1300 return true;
1301 case kCondGE:
1302 case kCondLE:
1303 case kCondEQ:
1304 case kCondGEU:
1305 return lhs == rhs;
1306 default:
1307 return false;
1308 }
1309}
1310
1311MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target)
1312 : old_location_(location),
1313 location_(location),
1314 target_(target),
1315 lhs_reg_(0),
1316 rhs_reg_(0),
1317 condition_(kUncond) {
1318 InitializeType(false, is_r6);
1319}
1320
1321MipsAssembler::Branch::Branch(bool is_r6,
1322 uint32_t location,
1323 uint32_t target,
1324 MipsAssembler::BranchCondition condition,
1325 Register lhs_reg,
1326 Register rhs_reg)
1327 : old_location_(location),
1328 location_(location),
1329 target_(target),
1330 lhs_reg_(lhs_reg),
1331 rhs_reg_(rhs_reg),
1332 condition_(condition) {
1333 CHECK_NE(condition, kUncond);
1334 switch (condition) {
1335 case kCondLT:
1336 case kCondGE:
1337 case kCondLE:
1338 case kCondGT:
1339 case kCondLTU:
1340 case kCondGEU:
1341 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
1342 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
1343 // We leave this up to the caller.
1344 CHECK(is_r6);
1345 FALLTHROUGH_INTENDED;
1346 case kCondEQ:
1347 case kCondNE:
1348 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
1349 // To compare with 0, use dedicated kCond*Z conditions.
1350 CHECK_NE(lhs_reg, ZERO);
1351 CHECK_NE(rhs_reg, ZERO);
1352 break;
1353 case kCondLTZ:
1354 case kCondGEZ:
1355 case kCondLEZ:
1356 case kCondGTZ:
1357 case kCondEQZ:
1358 case kCondNEZ:
1359 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
1360 CHECK_NE(lhs_reg, ZERO);
1361 CHECK_EQ(rhs_reg, ZERO);
1362 break;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001363 case kCondF:
1364 case kCondT:
1365 CHECK_EQ(rhs_reg, ZERO);
1366 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001367 case kUncond:
1368 UNREACHABLE();
1369 }
1370 CHECK(!IsNop(condition, lhs_reg, rhs_reg));
1371 if (IsUncond(condition, lhs_reg, rhs_reg)) {
1372 // Branch condition is always true, make the branch unconditional.
1373 condition_ = kUncond;
1374 }
1375 InitializeType(false, is_r6);
1376}
1377
1378MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target, Register indirect_reg)
1379 : old_location_(location),
1380 location_(location),
1381 target_(target),
1382 lhs_reg_(indirect_reg),
1383 rhs_reg_(0),
1384 condition_(kUncond) {
1385 CHECK_NE(indirect_reg, ZERO);
1386 CHECK_NE(indirect_reg, AT);
1387 InitializeType(true, is_r6);
1388}
1389
1390MipsAssembler::BranchCondition MipsAssembler::Branch::OppositeCondition(
1391 MipsAssembler::BranchCondition cond) {
1392 switch (cond) {
1393 case kCondLT:
1394 return kCondGE;
1395 case kCondGE:
1396 return kCondLT;
1397 case kCondLE:
1398 return kCondGT;
1399 case kCondGT:
1400 return kCondLE;
1401 case kCondLTZ:
1402 return kCondGEZ;
1403 case kCondGEZ:
1404 return kCondLTZ;
1405 case kCondLEZ:
1406 return kCondGTZ;
1407 case kCondGTZ:
1408 return kCondLEZ;
1409 case kCondEQ:
1410 return kCondNE;
1411 case kCondNE:
1412 return kCondEQ;
1413 case kCondEQZ:
1414 return kCondNEZ;
1415 case kCondNEZ:
1416 return kCondEQZ;
1417 case kCondLTU:
1418 return kCondGEU;
1419 case kCondGEU:
1420 return kCondLTU;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001421 case kCondF:
1422 return kCondT;
1423 case kCondT:
1424 return kCondF;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001425 case kUncond:
1426 LOG(FATAL) << "Unexpected branch condition " << cond;
1427 }
1428 UNREACHABLE();
1429}
1430
1431MipsAssembler::Branch::Type MipsAssembler::Branch::GetType() const {
1432 return type_;
1433}
1434
1435MipsAssembler::BranchCondition MipsAssembler::Branch::GetCondition() const {
1436 return condition_;
1437}
1438
1439Register MipsAssembler::Branch::GetLeftRegister() const {
1440 return static_cast<Register>(lhs_reg_);
1441}
1442
1443Register MipsAssembler::Branch::GetRightRegister() const {
1444 return static_cast<Register>(rhs_reg_);
1445}
1446
1447uint32_t MipsAssembler::Branch::GetTarget() const {
1448 return target_;
1449}
1450
1451uint32_t MipsAssembler::Branch::GetLocation() const {
1452 return location_;
1453}
1454
1455uint32_t MipsAssembler::Branch::GetOldLocation() const {
1456 return old_location_;
1457}
1458
1459uint32_t MipsAssembler::Branch::GetLength() const {
1460 return branch_info_[type_].length;
1461}
1462
1463uint32_t MipsAssembler::Branch::GetOldLength() const {
1464 return branch_info_[old_type_].length;
1465}
1466
1467uint32_t MipsAssembler::Branch::GetSize() const {
1468 return GetLength() * sizeof(uint32_t);
1469}
1470
1471uint32_t MipsAssembler::Branch::GetOldSize() const {
1472 return GetOldLength() * sizeof(uint32_t);
1473}
1474
1475uint32_t MipsAssembler::Branch::GetEndLocation() const {
1476 return GetLocation() + GetSize();
1477}
1478
1479uint32_t MipsAssembler::Branch::GetOldEndLocation() const {
1480 return GetOldLocation() + GetOldSize();
1481}
1482
1483bool MipsAssembler::Branch::IsLong() const {
1484 switch (type_) {
1485 // R2 short branches.
1486 case kUncondBranch:
1487 case kCondBranch:
1488 case kCall:
1489 // R6 short branches.
1490 case kR6UncondBranch:
1491 case kR6CondBranch:
1492 case kR6Call:
1493 return false;
1494 // R2 long branches.
1495 case kLongUncondBranch:
1496 case kLongCondBranch:
1497 case kLongCall:
1498 // R6 long branches.
1499 case kR6LongUncondBranch:
1500 case kR6LongCondBranch:
1501 case kR6LongCall:
1502 return true;
1503 }
1504 UNREACHABLE();
1505}
1506
1507bool MipsAssembler::Branch::IsResolved() const {
1508 return target_ != kUnresolved;
1509}
1510
1511MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSize() const {
1512 OffsetBits offset_size =
1513 (type_ == kR6CondBranch && (condition_ == kCondEQZ || condition_ == kCondNEZ))
1514 ? kOffset23
1515 : branch_info_[type_].offset_size;
1516 return offset_size;
1517}
1518
1519MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSizeNeeded(uint32_t location,
1520 uint32_t target) {
1521 // For unresolved targets assume the shortest encoding
1522 // (later it will be made longer if needed).
1523 if (target == kUnresolved)
1524 return kOffset16;
1525 int64_t distance = static_cast<int64_t>(target) - location;
1526 // To simplify calculations in composite branches consisting of multiple instructions
1527 // bump up the distance by a value larger than the max byte size of a composite branch.
1528 distance += (distance >= 0) ? kMaxBranchSize : -kMaxBranchSize;
1529 if (IsInt<kOffset16>(distance))
1530 return kOffset16;
1531 else if (IsInt<kOffset18>(distance))
1532 return kOffset18;
1533 else if (IsInt<kOffset21>(distance))
1534 return kOffset21;
1535 else if (IsInt<kOffset23>(distance))
1536 return kOffset23;
1537 else if (IsInt<kOffset28>(distance))
1538 return kOffset28;
1539 return kOffset32;
1540}
1541
1542void MipsAssembler::Branch::Resolve(uint32_t target) {
1543 target_ = target;
1544}
1545
1546void MipsAssembler::Branch::Relocate(uint32_t expand_location, uint32_t delta) {
1547 if (location_ > expand_location) {
1548 location_ += delta;
1549 }
1550 if (!IsResolved()) {
1551 return; // Don't know the target yet.
1552 }
1553 if (target_ > expand_location) {
1554 target_ += delta;
1555 }
1556}
1557
1558void MipsAssembler::Branch::PromoteToLong() {
1559 switch (type_) {
1560 // R2 short branches.
1561 case kUncondBranch:
1562 type_ = kLongUncondBranch;
1563 break;
1564 case kCondBranch:
1565 type_ = kLongCondBranch;
1566 break;
1567 case kCall:
1568 type_ = kLongCall;
1569 break;
1570 // R6 short branches.
1571 case kR6UncondBranch:
1572 type_ = kR6LongUncondBranch;
1573 break;
1574 case kR6CondBranch:
1575 type_ = kR6LongCondBranch;
1576 break;
1577 case kR6Call:
1578 type_ = kR6LongCall;
1579 break;
1580 default:
1581 // Note: 'type_' is already long.
1582 break;
1583 }
1584 CHECK(IsLong());
1585}
1586
1587uint32_t MipsAssembler::Branch::PromoteIfNeeded(uint32_t max_short_distance) {
1588 // If the branch is still unresolved or already long, nothing to do.
1589 if (IsLong() || !IsResolved()) {
1590 return 0;
1591 }
1592 // Promote the short branch to long if the offset size is too small
1593 // to hold the distance between location_ and target_.
1594 if (GetOffsetSizeNeeded(location_, target_) > GetOffsetSize()) {
1595 PromoteToLong();
1596 uint32_t old_size = GetOldSize();
1597 uint32_t new_size = GetSize();
1598 CHECK_GT(new_size, old_size);
1599 return new_size - old_size;
1600 }
1601 // The following logic is for debugging/testing purposes.
1602 // Promote some short branches to long when it's not really required.
1603 if (UNLIKELY(max_short_distance != std::numeric_limits<uint32_t>::max())) {
1604 int64_t distance = static_cast<int64_t>(target_) - location_;
1605 distance = (distance >= 0) ? distance : -distance;
1606 if (distance >= max_short_distance) {
1607 PromoteToLong();
1608 uint32_t old_size = GetOldSize();
1609 uint32_t new_size = GetSize();
1610 CHECK_GT(new_size, old_size);
1611 return new_size - old_size;
1612 }
1613 }
1614 return 0;
1615}
1616
1617uint32_t MipsAssembler::Branch::GetOffsetLocation() const {
1618 return location_ + branch_info_[type_].instr_offset * sizeof(uint32_t);
1619}
1620
1621uint32_t MipsAssembler::Branch::GetOffset() const {
1622 CHECK(IsResolved());
1623 uint32_t ofs_mask = 0xFFFFFFFF >> (32 - GetOffsetSize());
1624 // Calculate the byte distance between instructions and also account for
1625 // different PC-relative origins.
1626 uint32_t offset = target_ - GetOffsetLocation() - branch_info_[type_].pc_org * sizeof(uint32_t);
1627 // Prepare the offset for encoding into the instruction(s).
1628 offset = (offset & ofs_mask) >> branch_info_[type_].offset_shift;
1629 return offset;
1630}
1631
1632MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) {
1633 CHECK_LT(branch_id, branches_.size());
1634 return &branches_[branch_id];
1635}
1636
1637const MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) const {
1638 CHECK_LT(branch_id, branches_.size());
1639 return &branches_[branch_id];
1640}
1641
1642void MipsAssembler::Bind(MipsLabel* label) {
1643 CHECK(!label->IsBound());
1644 uint32_t bound_pc = buffer_.Size();
1645
1646 // Walk the list of branches referring to and preceding this label.
1647 // Store the previously unknown target addresses in them.
1648 while (label->IsLinked()) {
1649 uint32_t branch_id = label->Position();
1650 Branch* branch = GetBranch(branch_id);
1651 branch->Resolve(bound_pc);
1652
1653 uint32_t branch_location = branch->GetLocation();
1654 // Extract the location of the previous branch in the list (walking the list backwards;
1655 // the previous branch ID was stored in the space reserved for this branch).
1656 uint32_t prev = buffer_.Load<uint32_t>(branch_location);
1657
1658 // On to the previous branch in the list...
1659 label->position_ = prev;
1660 }
1661
1662 // Now make the label object contain its own location (relative to the end of the preceding
1663 // branch, if any; it will be used by the branches referring to and following this label).
1664 label->prev_branch_id_plus_one_ = branches_.size();
1665 if (label->prev_branch_id_plus_one_) {
1666 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1667 const Branch* branch = GetBranch(branch_id);
1668 bound_pc -= branch->GetEndLocation();
1669 }
1670 label->BindTo(bound_pc);
1671}
1672
1673uint32_t MipsAssembler::GetLabelLocation(MipsLabel* label) const {
1674 CHECK(label->IsBound());
1675 uint32_t target = label->Position();
1676 if (label->prev_branch_id_plus_one_) {
1677 // Get label location based on the branch preceding it.
1678 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1679 const Branch* branch = GetBranch(branch_id);
1680 target += branch->GetEndLocation();
1681 }
1682 return target;
1683}
1684
1685uint32_t MipsAssembler::GetAdjustedPosition(uint32_t old_position) {
1686 // We can reconstruct the adjustment by going through all the branches from the beginning
1687 // up to the old_position. Since we expect AdjustedPosition() to be called in a loop
1688 // with increasing old_position, we can use the data from last AdjustedPosition() to
1689 // continue where we left off and the whole loop should be O(m+n) where m is the number
1690 // of positions to adjust and n is the number of branches.
1691 if (old_position < last_old_position_) {
1692 last_position_adjustment_ = 0;
1693 last_old_position_ = 0;
1694 last_branch_id_ = 0;
1695 }
1696 while (last_branch_id_ != branches_.size()) {
1697 const Branch* branch = GetBranch(last_branch_id_);
1698 if (branch->GetLocation() >= old_position + last_position_adjustment_) {
1699 break;
1700 }
1701 last_position_adjustment_ += branch->GetSize() - branch->GetOldSize();
1702 ++last_branch_id_;
1703 }
1704 last_old_position_ = old_position;
1705 return old_position + last_position_adjustment_;
1706}
1707
1708void MipsAssembler::FinalizeLabeledBranch(MipsLabel* label) {
1709 uint32_t length = branches_.back().GetLength();
1710 if (!label->IsBound()) {
1711 // Branch forward (to a following label), distance is unknown.
1712 // The first branch forward will contain 0, serving as the terminator of
1713 // the list of forward-reaching branches.
1714 Emit(label->position_);
1715 length--;
1716 // Now make the label object point to this branch
1717 // (this forms a linked list of branches preceding this label).
1718 uint32_t branch_id = branches_.size() - 1;
1719 label->LinkTo(branch_id);
1720 }
1721 // Reserve space for the branch.
1722 while (length--) {
1723 Nop();
1724 }
1725}
1726
1727void MipsAssembler::Buncond(MipsLabel* label) {
1728 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1729 branches_.emplace_back(IsR6(), buffer_.Size(), target);
1730 FinalizeLabeledBranch(label);
1731}
1732
1733void MipsAssembler::Bcond(MipsLabel* label, BranchCondition condition, Register lhs, Register rhs) {
1734 // If lhs = rhs, this can be a NOP.
1735 if (Branch::IsNop(condition, lhs, rhs)) {
1736 return;
1737 }
1738 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1739 branches_.emplace_back(IsR6(), buffer_.Size(), target, condition, lhs, rhs);
1740 FinalizeLabeledBranch(label);
1741}
1742
1743void MipsAssembler::Call(MipsLabel* label, Register indirect_reg) {
1744 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1745 branches_.emplace_back(IsR6(), buffer_.Size(), target, indirect_reg);
1746 FinalizeLabeledBranch(label);
1747}
1748
1749void MipsAssembler::PromoteBranches() {
1750 // Promote short branches to long as necessary.
1751 bool changed;
1752 do {
1753 changed = false;
1754 for (auto& branch : branches_) {
1755 CHECK(branch.IsResolved());
1756 uint32_t delta = branch.PromoteIfNeeded();
1757 // If this branch has been promoted and needs to expand in size,
1758 // relocate all branches by the expansion size.
1759 if (delta) {
1760 changed = true;
1761 uint32_t expand_location = branch.GetLocation();
1762 for (auto& branch2 : branches_) {
1763 branch2.Relocate(expand_location, delta);
1764 }
1765 }
1766 }
1767 } while (changed);
1768
1769 // Account for branch expansion by resizing the code buffer
1770 // and moving the code in it to its final location.
1771 size_t branch_count = branches_.size();
1772 if (branch_count > 0) {
1773 // Resize.
1774 Branch& last_branch = branches_[branch_count - 1];
1775 uint32_t size_delta = last_branch.GetEndLocation() - last_branch.GetOldEndLocation();
1776 uint32_t old_size = buffer_.Size();
1777 buffer_.Resize(old_size + size_delta);
1778 // Move the code residing between branch placeholders.
1779 uint32_t end = old_size;
1780 for (size_t i = branch_count; i > 0; ) {
1781 Branch& branch = branches_[--i];
1782 uint32_t size = end - branch.GetOldEndLocation();
1783 buffer_.Move(branch.GetEndLocation(), branch.GetOldEndLocation(), size);
1784 end = branch.GetOldLocation();
1785 }
1786 }
1787}
1788
1789// Note: make sure branch_info_[] and EmitBranch() are kept synchronized.
1790const MipsAssembler::Branch::BranchInfo MipsAssembler::Branch::branch_info_[] = {
1791 // R2 short branches.
1792 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kUncondBranch
1793 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kCondBranch
1794 { 5, 2, 0, MipsAssembler::Branch::kOffset16, 0 }, // kCall
1795 // R2 long branches.
1796 { 9, 3, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongUncondBranch
1797 { 10, 4, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCondBranch
1798 { 6, 1, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCall
1799 // R6 short branches.
1800 { 1, 0, 1, MipsAssembler::Branch::kOffset28, 2 }, // kR6UncondBranch
1801 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kR6CondBranch
1802 // Exception: kOffset23 for beqzc/bnezc.
1803 { 2, 0, 0, MipsAssembler::Branch::kOffset21, 2 }, // kR6Call
1804 // R6 long branches.
1805 { 2, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongUncondBranch
1806 { 3, 1, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCondBranch
1807 { 3, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCall
1808};
1809
1810// Note: make sure branch_info_[] and mitBranch() are kept synchronized.
1811void MipsAssembler::EmitBranch(MipsAssembler::Branch* branch) {
1812 CHECK_EQ(overwriting_, true);
1813 overwrite_location_ = branch->GetLocation();
1814 uint32_t offset = branch->GetOffset();
1815 BranchCondition condition = branch->GetCondition();
1816 Register lhs = branch->GetLeftRegister();
1817 Register rhs = branch->GetRightRegister();
1818 switch (branch->GetType()) {
1819 // R2 short branches.
1820 case Branch::kUncondBranch:
1821 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1822 B(offset);
1823 Nop(); // TODO: improve by filling the delay slot.
1824 break;
1825 case Branch::kCondBranch:
1826 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001827 EmitBcondR2(condition, lhs, rhs, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001828 Nop(); // TODO: improve by filling the delay slot.
1829 break;
1830 case Branch::kCall:
1831 Nal();
1832 Nop(); // TODO: is this NOP really needed here?
1833 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1834 Addiu(lhs, RA, offset);
1835 Jalr(lhs);
1836 Nop();
1837 break;
1838
1839 // R2 long branches.
1840 case Branch::kLongUncondBranch:
1841 // To get the value of the PC register we need to use the NAL instruction.
1842 // NAL clobbers the RA register. However, RA must be preserved if the
1843 // method is compiled without the entry/exit sequences that would take care
1844 // of preserving RA (typically, leaf methods don't preserve RA explicitly).
1845 // So, we need to preserve RA in some temporary storage ourselves. The AT
1846 // register can't be used for this because we need it to load a constant
1847 // which will be added to the value that NAL stores in RA. And we can't
1848 // use T9 for this in the context of the JNI compiler, which uses it
1849 // as a scratch register (see InterproceduralScratchRegister()).
1850 // If we were to add a 32-bit constant to RA using two ADDIU instructions,
1851 // we'd also need to use the ROTR instruction, which requires no less than
1852 // MIPSR2.
1853 // Perhaps, we could use T8 or one of R2's multiplier/divider registers
1854 // (LO or HI) or even a floating-point register, but that doesn't seem
1855 // like a nice solution. We may want this to work on both R6 and pre-R6.
1856 // For now simply use the stack for RA. This should be OK since for the
1857 // vast majority of code a short PC-relative branch is sufficient.
1858 // TODO: can this be improved?
1859 Push(RA);
1860 Nal();
1861 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1862 Lui(AT, High16Bits(offset));
1863 Ori(AT, AT, Low16Bits(offset));
1864 Addu(AT, AT, RA);
1865 Lw(RA, SP, 0);
1866 Jr(AT);
1867 DecreaseFrameSize(kMipsWordSize);
1868 break;
1869 case Branch::kLongCondBranch:
1870 // The comment on case 'Branch::kLongUncondBranch' applies here as well.
1871 // Note: the opposite condition branch encodes 8 as the distance, which is equal to the
1872 // number of instructions skipped:
1873 // (PUSH(IncreaseFrameSize(ADDIU) + SW) + NAL + LUI + ORI + ADDU + LW + JR).
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001874 EmitBcondR2(Branch::OppositeCondition(condition), lhs, rhs, 8);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001875 Push(RA);
1876 Nal();
1877 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1878 Lui(AT, High16Bits(offset));
1879 Ori(AT, AT, Low16Bits(offset));
1880 Addu(AT, AT, RA);
1881 Lw(RA, SP, 0);
1882 Jr(AT);
1883 DecreaseFrameSize(kMipsWordSize);
1884 break;
1885 case Branch::kLongCall:
1886 Nal();
1887 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1888 Lui(AT, High16Bits(offset));
1889 Ori(AT, AT, Low16Bits(offset));
1890 Addu(lhs, AT, RA);
1891 Jalr(lhs);
1892 Nop();
1893 break;
1894
1895 // R6 short branches.
1896 case Branch::kR6UncondBranch:
1897 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1898 Bc(offset);
1899 break;
1900 case Branch::kR6CondBranch:
1901 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001902 EmitBcondR6(condition, lhs, rhs, offset);
1903 Nop(); // TODO: improve by filling the forbidden/delay slot.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001904 break;
1905 case Branch::kR6Call:
1906 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1907 Addiupc(lhs, offset);
1908 Jialc(lhs, 0);
1909 break;
1910
1911 // R6 long branches.
1912 case Branch::kR6LongUncondBranch:
1913 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
1914 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1915 Auipc(AT, High16Bits(offset));
1916 Jic(AT, Low16Bits(offset));
1917 break;
1918 case Branch::kR6LongCondBranch:
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001919 EmitBcondR6(Branch::OppositeCondition(condition), lhs, rhs, 2);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001920 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
1921 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1922 Auipc(AT, High16Bits(offset));
1923 Jic(AT, Low16Bits(offset));
1924 break;
1925 case Branch::kR6LongCall:
1926 offset += (offset & 0x8000) << 1; // Account for sign extension in addiu.
1927 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
1928 Auipc(lhs, High16Bits(offset));
1929 Addiu(lhs, lhs, Low16Bits(offset));
1930 Jialc(lhs, 0);
1931 break;
1932 }
1933 CHECK_EQ(overwrite_location_, branch->GetEndLocation());
1934 CHECK_LT(branch->GetSize(), static_cast<uint32_t>(Branch::kMaxBranchSize));
1935}
1936
1937void MipsAssembler::B(MipsLabel* label) {
1938 Buncond(label);
1939}
1940
1941void MipsAssembler::Jalr(MipsLabel* label, Register indirect_reg) {
1942 Call(label, indirect_reg);
1943}
1944
1945void MipsAssembler::Beq(Register rs, Register rt, MipsLabel* label) {
1946 Bcond(label, kCondEQ, rs, rt);
1947}
1948
1949void MipsAssembler::Bne(Register rs, Register rt, MipsLabel* label) {
1950 Bcond(label, kCondNE, rs, rt);
1951}
1952
1953void MipsAssembler::Beqz(Register rt, MipsLabel* label) {
1954 Bcond(label, kCondEQZ, rt);
1955}
1956
1957void MipsAssembler::Bnez(Register rt, MipsLabel* label) {
1958 Bcond(label, kCondNEZ, rt);
1959}
1960
1961void MipsAssembler::Bltz(Register rt, MipsLabel* label) {
1962 Bcond(label, kCondLTZ, rt);
1963}
1964
1965void MipsAssembler::Bgez(Register rt, MipsLabel* label) {
1966 Bcond(label, kCondGEZ, rt);
1967}
1968
1969void MipsAssembler::Blez(Register rt, MipsLabel* label) {
1970 Bcond(label, kCondLEZ, rt);
1971}
1972
1973void MipsAssembler::Bgtz(Register rt, MipsLabel* label) {
1974 Bcond(label, kCondGTZ, rt);
1975}
1976
1977void MipsAssembler::Blt(Register rs, Register rt, MipsLabel* label) {
1978 if (IsR6()) {
1979 Bcond(label, kCondLT, rs, rt);
1980 } else if (!Branch::IsNop(kCondLT, rs, rt)) {
1981 // Synthesize the instruction (not available on R2).
1982 Slt(AT, rs, rt);
1983 Bnez(AT, label);
1984 }
1985}
1986
1987void MipsAssembler::Bge(Register rs, Register rt, MipsLabel* label) {
1988 if (IsR6()) {
1989 Bcond(label, kCondGE, rs, rt);
1990 } else if (Branch::IsUncond(kCondGE, rs, rt)) {
1991 B(label);
1992 } else {
1993 // Synthesize the instruction (not available on R2).
1994 Slt(AT, rs, rt);
1995 Beqz(AT, label);
1996 }
1997}
1998
1999void MipsAssembler::Bltu(Register rs, Register rt, MipsLabel* label) {
2000 if (IsR6()) {
2001 Bcond(label, kCondLTU, rs, rt);
2002 } else if (!Branch::IsNop(kCondLTU, rs, rt)) {
2003 // Synthesize the instruction (not available on R2).
2004 Sltu(AT, rs, rt);
2005 Bnez(AT, label);
2006 }
2007}
2008
2009void MipsAssembler::Bgeu(Register rs, Register rt, MipsLabel* label) {
2010 if (IsR6()) {
2011 Bcond(label, kCondGEU, rs, rt);
2012 } else if (Branch::IsUncond(kCondGEU, rs, rt)) {
2013 B(label);
2014 } else {
2015 // Synthesize the instruction (not available on R2).
2016 Sltu(AT, rs, rt);
2017 Beqz(AT, label);
jeffhao7fbee072012-08-24 17:56:54 -07002018 }
2019}
2020
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002021void MipsAssembler::Bc1f(int cc, MipsLabel* label) {
2022 CHECK(IsUint<3>(cc)) << cc;
2023 Bcond(label, kCondF, static_cast<Register>(cc), ZERO);
2024}
2025
2026void MipsAssembler::Bc1t(int cc, MipsLabel* label) {
2027 CHECK(IsUint<3>(cc)) << cc;
2028 Bcond(label, kCondT, static_cast<Register>(cc), ZERO);
2029}
2030
2031void MipsAssembler::Bc1eqz(FRegister ft, MipsLabel* label) {
2032 Bcond(label, kCondF, static_cast<Register>(ft), ZERO);
2033}
2034
2035void MipsAssembler::Bc1nez(FRegister ft, MipsLabel* label) {
2036 Bcond(label, kCondT, static_cast<Register>(ft), ZERO);
2037}
2038
jeffhao7fbee072012-08-24 17:56:54 -07002039void MipsAssembler::LoadFromOffset(LoadOperandType type, Register reg, Register base,
2040 int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002041 // IsInt<16> must be passed a signed value.
2042 if (!IsInt<16>(offset) ||
2043 (type == kLoadDoubleword && !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
2044 LoadConst32(AT, offset);
2045 Addu(AT, AT, base);
2046 base = AT;
2047 offset = 0;
2048 }
2049
jeffhao7fbee072012-08-24 17:56:54 -07002050 switch (type) {
2051 case kLoadSignedByte:
2052 Lb(reg, base, offset);
2053 break;
2054 case kLoadUnsignedByte:
2055 Lbu(reg, base, offset);
2056 break;
2057 case kLoadSignedHalfword:
2058 Lh(reg, base, offset);
2059 break;
2060 case kLoadUnsignedHalfword:
2061 Lhu(reg, base, offset);
2062 break;
2063 case kLoadWord:
2064 Lw(reg, base, offset);
2065 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002066 case kLoadDoubleword:
2067 if (reg == base) {
2068 // This will clobber the base when loading the lower register. Since we have to load the
2069 // higher register as well, this will fail. Solution: reverse the order.
2070 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
2071 Lw(reg, base, offset);
2072 } else {
2073 Lw(reg, base, offset);
2074 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
2075 }
jeffhao7fbee072012-08-24 17:56:54 -07002076 break;
2077 default:
2078 LOG(FATAL) << "UNREACHABLE";
2079 }
2080}
2081
2082void MipsAssembler::LoadSFromOffset(FRegister reg, Register base, int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002083 if (!IsInt<16>(offset)) {
2084 LoadConst32(AT, offset);
2085 Addu(AT, AT, base);
2086 base = AT;
2087 offset = 0;
2088 }
2089
jeffhao7fbee072012-08-24 17:56:54 -07002090 Lwc1(reg, base, offset);
2091}
2092
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002093void MipsAssembler::LoadDFromOffset(FRegister reg, Register base, int32_t offset) {
2094 // IsInt<16> must be passed a signed value.
2095 if (!IsInt<16>(offset) ||
2096 (!IsAligned<kMipsDoublewordSize>(offset) &&
2097 !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
2098 LoadConst32(AT, offset);
2099 Addu(AT, AT, base);
2100 base = AT;
2101 offset = 0;
2102 }
2103
2104 if (offset & 0x7) {
2105 if (Is32BitFPU()) {
2106 Lwc1(reg, base, offset);
2107 Lwc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
2108 } else {
2109 // 64-bit FPU.
2110 Lwc1(reg, base, offset);
2111 Lw(T8, base, offset + kMipsWordSize);
2112 Mthc1(T8, reg);
2113 }
2114 } else {
2115 Ldc1(reg, base, offset);
2116 }
2117}
2118
2119void MipsAssembler::EmitLoad(ManagedRegister m_dst, Register src_register, int32_t src_offset,
2120 size_t size) {
2121 MipsManagedRegister dst = m_dst.AsMips();
2122 if (dst.IsNoRegister()) {
2123 CHECK_EQ(0u, size) << dst;
2124 } else if (dst.IsCoreRegister()) {
2125 CHECK_EQ(kMipsWordSize, size) << dst;
2126 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
2127 } else if (dst.IsRegisterPair()) {
2128 CHECK_EQ(kMipsDoublewordSize, size) << dst;
2129 LoadFromOffset(kLoadDoubleword, dst.AsRegisterPairLow(), src_register, src_offset);
2130 } else if (dst.IsFRegister()) {
2131 if (size == kMipsWordSize) {
2132 LoadSFromOffset(dst.AsFRegister(), src_register, src_offset);
2133 } else {
2134 CHECK_EQ(kMipsDoublewordSize, size) << dst;
2135 LoadDFromOffset(dst.AsFRegister(), src_register, src_offset);
2136 }
2137 }
jeffhao7fbee072012-08-24 17:56:54 -07002138}
2139
2140void MipsAssembler::StoreToOffset(StoreOperandType type, Register reg, Register base,
2141 int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002142 // IsInt<16> must be passed a signed value.
2143 if (!IsInt<16>(offset) ||
2144 (type == kStoreDoubleword && !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
2145 LoadConst32(AT, offset);
2146 Addu(AT, AT, base);
2147 base = AT;
2148 offset = 0;
2149 }
2150
jeffhao7fbee072012-08-24 17:56:54 -07002151 switch (type) {
2152 case kStoreByte:
2153 Sb(reg, base, offset);
2154 break;
2155 case kStoreHalfword:
2156 Sh(reg, base, offset);
2157 break;
2158 case kStoreWord:
2159 Sw(reg, base, offset);
2160 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002161 case kStoreDoubleword:
2162 CHECK_NE(reg, base);
2163 CHECK_NE(static_cast<Register>(reg + 1), base);
2164 Sw(reg, base, offset);
2165 Sw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002166 break;
2167 default:
2168 LOG(FATAL) << "UNREACHABLE";
2169 }
2170}
2171
Goran Jakovljevicff734982015-08-24 12:58:55 +00002172void MipsAssembler::StoreSToOffset(FRegister reg, Register base, int32_t offset) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002173 if (!IsInt<16>(offset)) {
2174 LoadConst32(AT, offset);
2175 Addu(AT, AT, base);
2176 base = AT;
2177 offset = 0;
2178 }
2179
jeffhao7fbee072012-08-24 17:56:54 -07002180 Swc1(reg, base, offset);
2181}
2182
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002183void MipsAssembler::StoreDToOffset(FRegister reg, Register base, int32_t offset) {
2184 // IsInt<16> must be passed a signed value.
2185 if (!IsInt<16>(offset) ||
2186 (!IsAligned<kMipsDoublewordSize>(offset) &&
2187 !IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
2188 LoadConst32(AT, offset);
2189 Addu(AT, AT, base);
2190 base = AT;
2191 offset = 0;
2192 }
2193
2194 if (offset & 0x7) {
2195 if (Is32BitFPU()) {
2196 Swc1(reg, base, offset);
2197 Swc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
2198 } else {
2199 // 64-bit FPU.
2200 Mfhc1(T8, reg);
2201 Swc1(reg, base, offset);
2202 Sw(T8, base, offset + kMipsWordSize);
2203 }
2204 } else {
2205 Sdc1(reg, base, offset);
2206 }
jeffhao7fbee072012-08-24 17:56:54 -07002207}
2208
David Srbeckydd973932015-04-07 20:29:48 +01002209static dwarf::Reg DWARFReg(Register reg) {
2210 return dwarf::Reg::MipsCore(static_cast<int>(reg));
2211}
2212
Ian Rogers790a6b72014-04-01 10:36:00 -07002213constexpr size_t kFramePointerSize = 4;
2214
jeffhao7fbee072012-08-24 17:56:54 -07002215void MipsAssembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
2216 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +07002217 const ManagedRegisterEntrySpills& entry_spills) {
jeffhao7fbee072012-08-24 17:56:54 -07002218 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002219 DCHECK(!overwriting_);
jeffhao7fbee072012-08-24 17:56:54 -07002220
2221 // Increase frame to required size.
2222 IncreaseFrameSize(frame_size);
2223
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002224 // Push callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07002225 int stack_offset = frame_size - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002226 StoreToOffset(kStoreWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002227 cfi_.RelOffset(DWARFReg(RA), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07002228 for (int i = callee_save_regs.size() - 1; i >= 0; --i) {
Ian Rogers790a6b72014-04-01 10:36:00 -07002229 stack_offset -= kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002230 Register reg = callee_save_regs.at(i).AsMips().AsCoreRegister();
2231 StoreToOffset(kStoreWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002232 cfi_.RelOffset(DWARFReg(reg), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07002233 }
2234
2235 // Write out Method*.
2236 StoreToOffset(kStoreWord, method_reg.AsMips().AsCoreRegister(), SP, 0);
2237
2238 // Write out entry spills.
Goran Jakovljevicff734982015-08-24 12:58:55 +00002239 int32_t offset = frame_size + kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002240 for (size_t i = 0; i < entry_spills.size(); ++i) {
Goran Jakovljevicff734982015-08-24 12:58:55 +00002241 MipsManagedRegister reg = entry_spills.at(i).AsMips();
2242 if (reg.IsNoRegister()) {
2243 ManagedRegisterSpill spill = entry_spills.at(i);
2244 offset += spill.getSize();
2245 } else if (reg.IsCoreRegister()) {
2246 StoreToOffset(kStoreWord, reg.AsCoreRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002247 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00002248 } else if (reg.IsFRegister()) {
2249 StoreSToOffset(reg.AsFRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002250 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00002251 } else if (reg.IsDRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002252 StoreDToOffset(reg.AsOverlappingDRegisterLow(), SP, offset);
2253 offset += kMipsDoublewordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00002254 }
jeffhao7fbee072012-08-24 17:56:54 -07002255 }
2256}
2257
2258void MipsAssembler::RemoveFrame(size_t frame_size,
2259 const std::vector<ManagedRegister>& callee_save_regs) {
2260 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002261 DCHECK(!overwriting_);
David Srbeckydd973932015-04-07 20:29:48 +01002262 cfi_.RememberState();
jeffhao7fbee072012-08-24 17:56:54 -07002263
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002264 // Pop callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07002265 int stack_offset = frame_size - (callee_save_regs.size() * kFramePointerSize) - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002266 for (size_t i = 0; i < callee_save_regs.size(); ++i) {
2267 Register reg = callee_save_regs.at(i).AsMips().AsCoreRegister();
2268 LoadFromOffset(kLoadWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002269 cfi_.Restore(DWARFReg(reg));
Ian Rogers790a6b72014-04-01 10:36:00 -07002270 stack_offset += kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002271 }
2272 LoadFromOffset(kLoadWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002273 cfi_.Restore(DWARFReg(RA));
jeffhao7fbee072012-08-24 17:56:54 -07002274
2275 // Decrease frame to required size.
2276 DecreaseFrameSize(frame_size);
jeffhao07030602012-09-26 14:33:14 -07002277
2278 // Then jump to the return address.
2279 Jr(RA);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002280 Nop();
David Srbeckydd973932015-04-07 20:29:48 +01002281
2282 // The CFI should be restored for any code that follows the exit block.
2283 cfi_.RestoreState();
2284 cfi_.DefCFAOffset(frame_size);
jeffhao7fbee072012-08-24 17:56:54 -07002285}
2286
2287void MipsAssembler::IncreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002288 CHECK_ALIGNED(adjust, kFramePointerSize);
2289 Addiu32(SP, SP, -adjust);
David Srbeckydd973932015-04-07 20:29:48 +01002290 cfi_.AdjustCFAOffset(adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002291 if (overwriting_) {
2292 cfi_.OverrideDelayedPC(overwrite_location_);
2293 }
jeffhao7fbee072012-08-24 17:56:54 -07002294}
2295
2296void MipsAssembler::DecreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002297 CHECK_ALIGNED(adjust, kFramePointerSize);
2298 Addiu32(SP, SP, adjust);
David Srbeckydd973932015-04-07 20:29:48 +01002299 cfi_.AdjustCFAOffset(-adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002300 if (overwriting_) {
2301 cfi_.OverrideDelayedPC(overwrite_location_);
2302 }
jeffhao7fbee072012-08-24 17:56:54 -07002303}
2304
2305void MipsAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
2306 MipsManagedRegister src = msrc.AsMips();
2307 if (src.IsNoRegister()) {
2308 CHECK_EQ(0u, size);
2309 } else if (src.IsCoreRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002310 CHECK_EQ(kMipsWordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07002311 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2312 } else if (src.IsRegisterPair()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002313 CHECK_EQ(kMipsDoublewordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07002314 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
2315 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002316 SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002317 } else if (src.IsFRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002318 if (size == kMipsWordSize) {
2319 StoreSToOffset(src.AsFRegister(), SP, dest.Int32Value());
2320 } else {
2321 CHECK_EQ(kMipsDoublewordSize, size);
2322 StoreDToOffset(src.AsFRegister(), SP, dest.Int32Value());
2323 }
jeffhao7fbee072012-08-24 17:56:54 -07002324 }
2325}
2326
2327void MipsAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
2328 MipsManagedRegister src = msrc.AsMips();
2329 CHECK(src.IsCoreRegister());
2330 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2331}
2332
2333void MipsAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
2334 MipsManagedRegister src = msrc.AsMips();
2335 CHECK(src.IsCoreRegister());
2336 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2337}
2338
2339void MipsAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
2340 ManagedRegister mscratch) {
2341 MipsManagedRegister scratch = mscratch.AsMips();
2342 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002343 LoadConst32(scratch.AsCoreRegister(), imm);
jeffhao7fbee072012-08-24 17:56:54 -07002344 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2345}
2346
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002347void MipsAssembler::StoreImmediateToThread32(ThreadOffset<kMipsWordSize> dest, uint32_t imm,
jeffhao7fbee072012-08-24 17:56:54 -07002348 ManagedRegister mscratch) {
2349 MipsManagedRegister scratch = mscratch.AsMips();
2350 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002351 // Is this function even referenced anywhere else in the code?
2352 LoadConst32(scratch.AsCoreRegister(), imm);
2353 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), S1, dest.Int32Value());
2354}
2355
2356void MipsAssembler::StoreStackOffsetToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2357 FrameOffset fr_offs,
2358 ManagedRegister mscratch) {
2359 MipsManagedRegister scratch = mscratch.AsMips();
2360 CHECK(scratch.IsCoreRegister()) << scratch;
2361 Addiu32(scratch.AsCoreRegister(), SP, fr_offs.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002362 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2363 S1, thr_offs.Int32Value());
2364}
2365
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002366void MipsAssembler::StoreStackPointerToThread32(ThreadOffset<kMipsWordSize> thr_offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002367 StoreToOffset(kStoreWord, SP, S1, thr_offs.Int32Value());
2368}
2369
2370void MipsAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
2371 FrameOffset in_off, ManagedRegister mscratch) {
2372 MipsManagedRegister src = msrc.AsMips();
2373 MipsManagedRegister scratch = mscratch.AsMips();
2374 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2375 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002376 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002377}
2378
2379void MipsAssembler::Load(ManagedRegister mdest, FrameOffset src, size_t size) {
2380 return EmitLoad(mdest, SP, src.Int32Value(), size);
2381}
2382
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002383void MipsAssembler::LoadFromThread32(ManagedRegister mdest,
2384 ThreadOffset<kMipsWordSize> src, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002385 return EmitLoad(mdest, S1, src.Int32Value(), size);
2386}
2387
2388void MipsAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
2389 MipsManagedRegister dest = mdest.AsMips();
2390 CHECK(dest.IsCoreRegister());
2391 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), SP, src.Int32Value());
2392}
2393
Mathieu Chartiere401d142015-04-22 13:56:20 -07002394void MipsAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +01002395 bool unpoison_reference) {
jeffhao7fbee072012-08-24 17:56:54 -07002396 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002397 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002398 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2399 base.AsMips().AsCoreRegister(), offs.Int32Value());
Roland Levillain4d027112015-07-01 15:41:14 +01002400 if (kPoisonHeapReferences && unpoison_reference) {
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -08002401 Subu(dest.AsCoreRegister(), ZERO, dest.AsCoreRegister());
2402 }
jeffhao7fbee072012-08-24 17:56:54 -07002403}
2404
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002405void MipsAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base, Offset offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002406 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002407 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002408 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2409 base.AsMips().AsCoreRegister(), offs.Int32Value());
2410}
2411
Ian Rogersdd7624d2014-03-14 17:43:00 -07002412void MipsAssembler::LoadRawPtrFromThread32(ManagedRegister mdest,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002413 ThreadOffset<kMipsWordSize> offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002414 MipsManagedRegister dest = mdest.AsMips();
2415 CHECK(dest.IsCoreRegister());
2416 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), S1, offs.Int32Value());
2417}
2418
2419void MipsAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2420 UNIMPLEMENTED(FATAL) << "no sign extension necessary for mips";
2421}
2422
2423void MipsAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2424 UNIMPLEMENTED(FATAL) << "no zero extension necessary for mips";
2425}
2426
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002427void MipsAssembler::Move(ManagedRegister mdest, ManagedRegister msrc, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002428 MipsManagedRegister dest = mdest.AsMips();
2429 MipsManagedRegister src = msrc.AsMips();
2430 if (!dest.Equals(src)) {
2431 if (dest.IsCoreRegister()) {
2432 CHECK(src.IsCoreRegister()) << src;
2433 Move(dest.AsCoreRegister(), src.AsCoreRegister());
2434 } else if (dest.IsFRegister()) {
2435 CHECK(src.IsFRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002436 if (size == kMipsWordSize) {
2437 MovS(dest.AsFRegister(), src.AsFRegister());
2438 } else {
2439 CHECK_EQ(kMipsDoublewordSize, size);
2440 MovD(dest.AsFRegister(), src.AsFRegister());
2441 }
jeffhao7fbee072012-08-24 17:56:54 -07002442 } else if (dest.IsDRegister()) {
2443 CHECK(src.IsDRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002444 MovD(dest.AsOverlappingDRegisterLow(), src.AsOverlappingDRegisterLow());
jeffhao7fbee072012-08-24 17:56:54 -07002445 } else {
2446 CHECK(dest.IsRegisterPair()) << dest;
2447 CHECK(src.IsRegisterPair()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002448 // Ensure that the first move doesn't clobber the input of the second.
jeffhao7fbee072012-08-24 17:56:54 -07002449 if (src.AsRegisterPairHigh() != dest.AsRegisterPairLow()) {
2450 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2451 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2452 } else {
2453 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2454 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2455 }
2456 }
2457 }
2458}
2459
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002460void MipsAssembler::CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002461 MipsManagedRegister scratch = mscratch.AsMips();
2462 CHECK(scratch.IsCoreRegister()) << scratch;
2463 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2464 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2465}
2466
Ian Rogersdd7624d2014-03-14 17:43:00 -07002467void MipsAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002468 ThreadOffset<kMipsWordSize> thr_offs,
2469 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002470 MipsManagedRegister scratch = mscratch.AsMips();
2471 CHECK(scratch.IsCoreRegister()) << scratch;
2472 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2473 S1, thr_offs.Int32Value());
2474 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2475 SP, fr_offs.Int32Value());
2476}
2477
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002478void MipsAssembler::CopyRawPtrToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2479 FrameOffset fr_offs,
2480 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002481 MipsManagedRegister scratch = mscratch.AsMips();
2482 CHECK(scratch.IsCoreRegister()) << scratch;
2483 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2484 SP, fr_offs.Int32Value());
2485 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2486 S1, thr_offs.Int32Value());
2487}
2488
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002489void MipsAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002490 MipsManagedRegister scratch = mscratch.AsMips();
2491 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002492 CHECK(size == kMipsWordSize || size == kMipsDoublewordSize) << size;
2493 if (size == kMipsWordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002494 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2495 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002496 } else if (size == kMipsDoublewordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002497 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2498 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002499 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + kMipsWordSize);
2500 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002501 }
2502}
2503
2504void MipsAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
2505 ManagedRegister mscratch, size_t size) {
2506 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002507 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002508 LoadFromOffset(kLoadWord, scratch, src_base.AsMips().AsCoreRegister(), src_offset.Int32Value());
2509 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
2510}
2511
2512void MipsAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
2513 ManagedRegister mscratch, size_t size) {
2514 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002515 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002516 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
2517 StoreToOffset(kStoreWord, scratch, dest_base.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2518}
2519
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002520void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2521 FrameOffset src_base ATTRIBUTE_UNUSED,
2522 Offset src_offset ATTRIBUTE_UNUSED,
2523 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2524 size_t size ATTRIBUTE_UNUSED) {
2525 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002526}
2527
2528void MipsAssembler::Copy(ManagedRegister dest, Offset dest_offset,
2529 ManagedRegister src, Offset src_offset,
2530 ManagedRegister mscratch, size_t size) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002531 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002532 Register scratch = mscratch.AsMips().AsCoreRegister();
2533 LoadFromOffset(kLoadWord, scratch, src.AsMips().AsCoreRegister(), src_offset.Int32Value());
2534 StoreToOffset(kStoreWord, scratch, dest.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2535}
2536
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002537void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2538 Offset dest_offset ATTRIBUTE_UNUSED,
2539 FrameOffset src ATTRIBUTE_UNUSED,
2540 Offset src_offset ATTRIBUTE_UNUSED,
2541 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2542 size_t size ATTRIBUTE_UNUSED) {
2543 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002544}
2545
2546void MipsAssembler::MemoryBarrier(ManagedRegister) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002547 // TODO: sync?
2548 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002549}
2550
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002551void MipsAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002552 FrameOffset handle_scope_offset,
2553 ManagedRegister min_reg,
2554 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002555 MipsManagedRegister out_reg = mout_reg.AsMips();
2556 MipsManagedRegister in_reg = min_reg.AsMips();
2557 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
2558 CHECK(out_reg.IsCoreRegister()) << out_reg;
2559 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002560 MipsLabel null_arg;
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002561 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2562 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002563 // E.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset).
jeffhao7fbee072012-08-24 17:56:54 -07002564 if (in_reg.IsNoRegister()) {
2565 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002566 SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002567 in_reg = out_reg;
2568 }
2569 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002570 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002571 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002572 Beqz(in_reg.AsCoreRegister(), &null_arg);
2573 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2574 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002575 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002576 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002577 }
2578}
2579
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002580void MipsAssembler::CreateHandleScopeEntry(FrameOffset out_off,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002581 FrameOffset handle_scope_offset,
2582 ManagedRegister mscratch,
2583 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002584 MipsManagedRegister scratch = mscratch.AsMips();
2585 CHECK(scratch.IsCoreRegister()) << scratch;
2586 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002587 MipsLabel null_arg;
2588 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002589 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2590 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002591 // E.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset).
2592 Beqz(scratch.AsCoreRegister(), &null_arg);
2593 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2594 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002595 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002596 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002597 }
2598 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
2599}
2600
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002601// Given a handle scope entry, load the associated reference.
2602void MipsAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002603 ManagedRegister min_reg) {
jeffhao7fbee072012-08-24 17:56:54 -07002604 MipsManagedRegister out_reg = mout_reg.AsMips();
2605 MipsManagedRegister in_reg = min_reg.AsMips();
2606 CHECK(out_reg.IsCoreRegister()) << out_reg;
2607 CHECK(in_reg.IsCoreRegister()) << in_reg;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002608 MipsLabel null_arg;
jeffhao7fbee072012-08-24 17:56:54 -07002609 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002610 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002611 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002612 Beqz(in_reg.AsCoreRegister(), &null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002613 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
2614 in_reg.AsCoreRegister(), 0);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002615 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002616}
2617
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002618void MipsAssembler::VerifyObject(ManagedRegister src ATTRIBUTE_UNUSED,
2619 bool could_be_null ATTRIBUTE_UNUSED) {
2620 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002621}
2622
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002623void MipsAssembler::VerifyObject(FrameOffset src ATTRIBUTE_UNUSED,
2624 bool could_be_null ATTRIBUTE_UNUSED) {
2625 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002626}
2627
2628void MipsAssembler::Call(ManagedRegister mbase, Offset offset, ManagedRegister mscratch) {
2629 MipsManagedRegister base = mbase.AsMips();
2630 MipsManagedRegister scratch = mscratch.AsMips();
2631 CHECK(base.IsCoreRegister()) << base;
2632 CHECK(scratch.IsCoreRegister()) << scratch;
2633 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2634 base.AsCoreRegister(), offset.Int32Value());
2635 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002636 Nop();
2637 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002638}
2639
2640void MipsAssembler::Call(FrameOffset base, Offset offset, ManagedRegister mscratch) {
2641 MipsManagedRegister scratch = mscratch.AsMips();
2642 CHECK(scratch.IsCoreRegister()) << scratch;
2643 // Call *(*(SP + base) + offset)
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002644 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, base.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002645 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2646 scratch.AsCoreRegister(), offset.Int32Value());
2647 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002648 Nop();
2649 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002650}
2651
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002652void MipsAssembler::CallFromThread32(ThreadOffset<kMipsWordSize> offset ATTRIBUTE_UNUSED,
2653 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
Ian Rogers468532e2013-08-05 10:56:33 -07002654 UNIMPLEMENTED(FATAL) << "no mips implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002655}
2656
2657void MipsAssembler::GetCurrentThread(ManagedRegister tr) {
2658 Move(tr.AsMips().AsCoreRegister(), S1);
2659}
2660
2661void MipsAssembler::GetCurrentThread(FrameOffset offset,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002662 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
jeffhao7fbee072012-08-24 17:56:54 -07002663 StoreToOffset(kStoreWord, S1, SP, offset.Int32Value());
2664}
2665
jeffhao7fbee072012-08-24 17:56:54 -07002666void MipsAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
2667 MipsManagedRegister scratch = mscratch.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002668 exception_blocks_.emplace_back(scratch, stack_adjust);
jeffhao7fbee072012-08-24 17:56:54 -07002669 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002670 S1, Thread::ExceptionOffset<kMipsWordSize>().Int32Value());
2671 // TODO: on MIPS32R6 prefer Bnezc(scratch.AsCoreRegister(), slow.Entry());
2672 // as the NAL instruction (occurring in long R2 branches) may become deprecated.
2673 // For now use common for R2 and R6 instructions as this code must execute on both.
2674 Bnez(scratch.AsCoreRegister(), exception_blocks_.back().Entry());
jeffhao7fbee072012-08-24 17:56:54 -07002675}
2676
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002677void MipsAssembler::EmitExceptionPoll(MipsExceptionSlowPath* exception) {
2678 Bind(exception->Entry());
2679 if (exception->stack_adjust_ != 0) { // Fix up the frame.
2680 DecreaseFrameSize(exception->stack_adjust_);
jeffhao7fbee072012-08-24 17:56:54 -07002681 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002682 // Pass exception object as argument.
2683 // Don't care about preserving A0 as this call won't return.
2684 CheckEntrypointTypes<kQuickDeliverException, void, mirror::Object*>();
2685 Move(A0, exception->scratch_.AsCoreRegister());
2686 // Set up call to Thread::Current()->pDeliverException.
2687 LoadFromOffset(kLoadWord, T9, S1,
2688 QUICK_ENTRYPOINT_OFFSET(kMipsWordSize, pDeliverException).Int32Value());
2689 Jr(T9);
2690 Nop();
2691
2692 // Call never returns.
2693 Break();
jeffhao7fbee072012-08-24 17:56:54 -07002694}
2695
2696} // namespace mips
2697} // namespace art