blob: ac930833f259bf716a6fa4dc8e13628a9b805334 [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
Chris Larsen3acee732015-11-18 13:31:08 -0800429void MipsAssembler::Lwl(Register rt, Register rs, uint16_t imm16) {
430 CHECK(!IsR6());
431 EmitI(0x22, rs, rt, imm16);
432}
433
434void MipsAssembler::Lwr(Register rt, Register rs, uint16_t imm16) {
435 CHECK(!IsR6());
436 EmitI(0x26, rs, rt, imm16);
437}
438
jeffhao7fbee072012-08-24 17:56:54 -0700439void MipsAssembler::Lbu(Register rt, Register rs, uint16_t imm16) {
440 EmitI(0x24, rs, rt, imm16);
441}
442
443void MipsAssembler::Lhu(Register rt, Register rs, uint16_t imm16) {
444 EmitI(0x25, rs, rt, imm16);
445}
446
447void MipsAssembler::Lui(Register rt, uint16_t imm16) {
448 EmitI(0xf, static_cast<Register>(0), rt, imm16);
449}
450
Alexey Frunzecad3a4c2016-06-07 23:40:37 -0700451void MipsAssembler::Aui(Register rt, Register rs, uint16_t imm16) {
452 CHECK(IsR6());
453 EmitI(0xf, rs, rt, imm16);
454}
455
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200456void MipsAssembler::Sync(uint32_t stype) {
457 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0),
458 stype & 0x1f, 0xf);
459}
460
jeffhao7fbee072012-08-24 17:56:54 -0700461void MipsAssembler::Mfhi(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200462 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700463 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x10);
464}
465
466void MipsAssembler::Mflo(Register rd) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200467 CHECK(!IsR6());
jeffhao7fbee072012-08-24 17:56:54 -0700468 EmitR(0, static_cast<Register>(0), static_cast<Register>(0), rd, 0, 0x12);
469}
470
471void MipsAssembler::Sb(Register rt, Register rs, uint16_t imm16) {
472 EmitI(0x28, rs, rt, imm16);
473}
474
475void MipsAssembler::Sh(Register rt, Register rs, uint16_t imm16) {
476 EmitI(0x29, rs, rt, imm16);
477}
478
479void MipsAssembler::Sw(Register rt, Register rs, uint16_t imm16) {
480 EmitI(0x2b, rs, rt, imm16);
481}
482
Chris Larsen3acee732015-11-18 13:31:08 -0800483void MipsAssembler::Swl(Register rt, Register rs, uint16_t imm16) {
484 CHECK(!IsR6());
485 EmitI(0x2a, rs, rt, imm16);
486}
487
488void MipsAssembler::Swr(Register rt, Register rs, uint16_t imm16) {
489 CHECK(!IsR6());
490 EmitI(0x2e, rs, rt, imm16);
491}
492
Alexey Frunze51aff3a2016-03-17 17:21:45 -0700493void MipsAssembler::LlR2(Register rt, Register base, int16_t imm16) {
494 CHECK(!IsR6());
495 EmitI(0x30, base, rt, imm16);
496}
497
498void MipsAssembler::ScR2(Register rt, Register base, int16_t imm16) {
499 CHECK(!IsR6());
500 EmitI(0x38, base, rt, imm16);
501}
502
503void MipsAssembler::LlR6(Register rt, Register base, int16_t imm9) {
504 CHECK(IsR6());
505 CHECK(IsInt<9>(imm9));
506 EmitI(0x1f, base, rt, ((imm9 & 0x1ff) << 7) | 0x36);
507}
508
509void MipsAssembler::ScR6(Register rt, Register base, int16_t imm9) {
510 CHECK(IsR6());
511 CHECK(IsInt<9>(imm9));
512 EmitI(0x1f, base, rt, ((imm9 & 0x1ff) << 7) | 0x26);
513}
514
jeffhao7fbee072012-08-24 17:56:54 -0700515void MipsAssembler::Slt(Register rd, Register rs, Register rt) {
516 EmitR(0, rs, rt, rd, 0, 0x2a);
517}
518
519void MipsAssembler::Sltu(Register rd, Register rs, Register rt) {
520 EmitR(0, rs, rt, rd, 0, 0x2b);
521}
522
523void MipsAssembler::Slti(Register rt, Register rs, uint16_t imm16) {
524 EmitI(0xa, rs, rt, imm16);
525}
526
527void MipsAssembler::Sltiu(Register rt, Register rs, uint16_t imm16) {
528 EmitI(0xb, rs, rt, imm16);
529}
530
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200531void MipsAssembler::B(uint16_t imm16) {
532 EmitI(0x4, static_cast<Register>(0), static_cast<Register>(0), imm16);
533}
534
535void MipsAssembler::Beq(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700536 EmitI(0x4, rs, rt, imm16);
537}
538
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200539void MipsAssembler::Bne(Register rs, Register rt, uint16_t imm16) {
jeffhao7fbee072012-08-24 17:56:54 -0700540 EmitI(0x5, rs, rt, imm16);
541}
542
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200543void MipsAssembler::Beqz(Register rt, uint16_t imm16) {
544 Beq(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700545}
546
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200547void MipsAssembler::Bnez(Register rt, uint16_t imm16) {
548 Bne(ZERO, rt, imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700549}
550
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200551void MipsAssembler::Bltz(Register rt, uint16_t imm16) {
552 EmitI(0x1, rt, static_cast<Register>(0), imm16);
553}
554
555void MipsAssembler::Bgez(Register rt, uint16_t imm16) {
556 EmitI(0x1, rt, static_cast<Register>(0x1), imm16);
557}
558
559void MipsAssembler::Blez(Register rt, uint16_t imm16) {
560 EmitI(0x6, rt, static_cast<Register>(0), imm16);
561}
562
563void MipsAssembler::Bgtz(Register rt, uint16_t imm16) {
564 EmitI(0x7, rt, static_cast<Register>(0), imm16);
565}
566
Chris Larsenb74353a2015-11-20 09:07:09 -0800567void MipsAssembler::Bc1f(uint16_t imm16) {
568 Bc1f(0, imm16);
569}
570
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800571void MipsAssembler::Bc1f(int cc, uint16_t imm16) {
572 CHECK(!IsR6());
573 CHECK(IsUint<3>(cc)) << cc;
574 EmitI(0x11, static_cast<Register>(0x8), static_cast<Register>(cc << 2), imm16);
575}
576
Chris Larsenb74353a2015-11-20 09:07:09 -0800577void MipsAssembler::Bc1t(uint16_t imm16) {
578 Bc1t(0, imm16);
579}
580
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800581void MipsAssembler::Bc1t(int cc, uint16_t imm16) {
582 CHECK(!IsR6());
583 CHECK(IsUint<3>(cc)) << cc;
584 EmitI(0x11, static_cast<Register>(0x8), static_cast<Register>((cc << 2) | 1), imm16);
585}
586
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200587void MipsAssembler::J(uint32_t addr26) {
588 EmitI26(0x2, addr26);
589}
590
591void MipsAssembler::Jal(uint32_t addr26) {
592 EmitI26(0x3, addr26);
593}
594
595void MipsAssembler::Jalr(Register rd, Register rs) {
596 EmitR(0, rs, static_cast<Register>(0), rd, 0, 0x09);
jeffhao7fbee072012-08-24 17:56:54 -0700597}
598
599void MipsAssembler::Jalr(Register rs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200600 Jalr(RA, rs);
601}
602
603void MipsAssembler::Jr(Register rs) {
604 Jalr(ZERO, rs);
605}
606
607void MipsAssembler::Nal() {
608 EmitI(0x1, static_cast<Register>(0), static_cast<Register>(0x10), 0);
609}
610
611void MipsAssembler::Auipc(Register rs, uint16_t imm16) {
612 CHECK(IsR6());
613 EmitI(0x3B, rs, static_cast<Register>(0x1E), imm16);
614}
615
616void MipsAssembler::Addiupc(Register rs, uint32_t imm19) {
617 CHECK(IsR6());
618 CHECK(IsUint<19>(imm19)) << imm19;
619 EmitI21(0x3B, rs, imm19);
620}
621
622void MipsAssembler::Bc(uint32_t imm26) {
623 CHECK(IsR6());
624 EmitI26(0x32, imm26);
625}
626
627void MipsAssembler::Jic(Register rt, uint16_t imm16) {
628 CHECK(IsR6());
629 EmitI(0x36, static_cast<Register>(0), rt, imm16);
630}
631
632void MipsAssembler::Jialc(Register rt, uint16_t imm16) {
633 CHECK(IsR6());
634 EmitI(0x3E, static_cast<Register>(0), rt, imm16);
635}
636
637void MipsAssembler::Bltc(Register rs, Register rt, uint16_t imm16) {
638 CHECK(IsR6());
639 CHECK_NE(rs, ZERO);
640 CHECK_NE(rt, ZERO);
641 CHECK_NE(rs, rt);
642 EmitI(0x17, rs, rt, imm16);
643}
644
645void MipsAssembler::Bltzc(Register rt, uint16_t imm16) {
646 CHECK(IsR6());
647 CHECK_NE(rt, ZERO);
648 EmitI(0x17, rt, rt, imm16);
649}
650
651void MipsAssembler::Bgtzc(Register rt, uint16_t imm16) {
652 CHECK(IsR6());
653 CHECK_NE(rt, ZERO);
654 EmitI(0x17, static_cast<Register>(0), rt, imm16);
655}
656
657void MipsAssembler::Bgec(Register rs, Register rt, uint16_t imm16) {
658 CHECK(IsR6());
659 CHECK_NE(rs, ZERO);
660 CHECK_NE(rt, ZERO);
661 CHECK_NE(rs, rt);
662 EmitI(0x16, rs, rt, imm16);
663}
664
665void MipsAssembler::Bgezc(Register rt, uint16_t imm16) {
666 CHECK(IsR6());
667 CHECK_NE(rt, ZERO);
668 EmitI(0x16, rt, rt, imm16);
669}
670
671void MipsAssembler::Blezc(Register rt, uint16_t imm16) {
672 CHECK(IsR6());
673 CHECK_NE(rt, ZERO);
674 EmitI(0x16, static_cast<Register>(0), rt, imm16);
675}
676
677void MipsAssembler::Bltuc(Register rs, Register rt, uint16_t imm16) {
678 CHECK(IsR6());
679 CHECK_NE(rs, ZERO);
680 CHECK_NE(rt, ZERO);
681 CHECK_NE(rs, rt);
682 EmitI(0x7, rs, rt, imm16);
683}
684
685void MipsAssembler::Bgeuc(Register rs, Register rt, uint16_t imm16) {
686 CHECK(IsR6());
687 CHECK_NE(rs, ZERO);
688 CHECK_NE(rt, ZERO);
689 CHECK_NE(rs, rt);
690 EmitI(0x6, rs, rt, imm16);
691}
692
693void MipsAssembler::Beqc(Register rs, Register rt, uint16_t imm16) {
694 CHECK(IsR6());
695 CHECK_NE(rs, ZERO);
696 CHECK_NE(rt, ZERO);
697 CHECK_NE(rs, rt);
698 EmitI(0x8, std::min(rs, rt), std::max(rs, rt), imm16);
699}
700
701void MipsAssembler::Bnec(Register rs, Register rt, uint16_t imm16) {
702 CHECK(IsR6());
703 CHECK_NE(rs, ZERO);
704 CHECK_NE(rt, ZERO);
705 CHECK_NE(rs, rt);
706 EmitI(0x18, std::min(rs, rt), std::max(rs, rt), imm16);
707}
708
709void MipsAssembler::Beqzc(Register rs, uint32_t imm21) {
710 CHECK(IsR6());
711 CHECK_NE(rs, ZERO);
712 EmitI21(0x36, rs, imm21);
713}
714
715void MipsAssembler::Bnezc(Register rs, uint32_t imm21) {
716 CHECK(IsR6());
717 CHECK_NE(rs, ZERO);
718 EmitI21(0x3E, rs, imm21);
719}
720
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800721void MipsAssembler::Bc1eqz(FRegister ft, uint16_t imm16) {
722 CHECK(IsR6());
723 EmitFI(0x11, 0x9, ft, imm16);
724}
725
726void MipsAssembler::Bc1nez(FRegister ft, uint16_t imm16) {
727 CHECK(IsR6());
728 EmitFI(0x11, 0xD, ft, imm16);
729}
730
731void MipsAssembler::EmitBcondR2(BranchCondition cond, Register rs, Register rt, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200732 switch (cond) {
733 case kCondLTZ:
734 CHECK_EQ(rt, ZERO);
735 Bltz(rs, imm16);
736 break;
737 case kCondGEZ:
738 CHECK_EQ(rt, ZERO);
739 Bgez(rs, imm16);
740 break;
741 case kCondLEZ:
742 CHECK_EQ(rt, ZERO);
743 Blez(rs, imm16);
744 break;
745 case kCondGTZ:
746 CHECK_EQ(rt, ZERO);
747 Bgtz(rs, imm16);
748 break;
749 case kCondEQ:
750 Beq(rs, rt, imm16);
751 break;
752 case kCondNE:
753 Bne(rs, rt, imm16);
754 break;
755 case kCondEQZ:
756 CHECK_EQ(rt, ZERO);
757 Beqz(rs, imm16);
758 break;
759 case kCondNEZ:
760 CHECK_EQ(rt, ZERO);
761 Bnez(rs, imm16);
762 break;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800763 case kCondF:
764 CHECK_EQ(rt, ZERO);
765 Bc1f(static_cast<int>(rs), imm16);
766 break;
767 case kCondT:
768 CHECK_EQ(rt, ZERO);
769 Bc1t(static_cast<int>(rs), imm16);
770 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200771 case kCondLT:
772 case kCondGE:
773 case kCondLE:
774 case kCondGT:
775 case kCondLTU:
776 case kCondGEU:
777 case kUncond:
778 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
779 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
780 LOG(FATAL) << "Unexpected branch condition " << cond;
781 UNREACHABLE();
782 }
783}
784
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800785void MipsAssembler::EmitBcondR6(BranchCondition cond, Register rs, Register rt, uint32_t imm16_21) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200786 switch (cond) {
787 case kCondLT:
788 Bltc(rs, rt, imm16_21);
789 break;
790 case kCondGE:
791 Bgec(rs, rt, imm16_21);
792 break;
793 case kCondLE:
794 Bgec(rt, rs, imm16_21);
795 break;
796 case kCondGT:
797 Bltc(rt, rs, imm16_21);
798 break;
799 case kCondLTZ:
800 CHECK_EQ(rt, ZERO);
801 Bltzc(rs, imm16_21);
802 break;
803 case kCondGEZ:
804 CHECK_EQ(rt, ZERO);
805 Bgezc(rs, imm16_21);
806 break;
807 case kCondLEZ:
808 CHECK_EQ(rt, ZERO);
809 Blezc(rs, imm16_21);
810 break;
811 case kCondGTZ:
812 CHECK_EQ(rt, ZERO);
813 Bgtzc(rs, imm16_21);
814 break;
815 case kCondEQ:
816 Beqc(rs, rt, imm16_21);
817 break;
818 case kCondNE:
819 Bnec(rs, rt, imm16_21);
820 break;
821 case kCondEQZ:
822 CHECK_EQ(rt, ZERO);
823 Beqzc(rs, imm16_21);
824 break;
825 case kCondNEZ:
826 CHECK_EQ(rt, ZERO);
827 Bnezc(rs, imm16_21);
828 break;
829 case kCondLTU:
830 Bltuc(rs, rt, imm16_21);
831 break;
832 case kCondGEU:
833 Bgeuc(rs, rt, imm16_21);
834 break;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800835 case kCondF:
836 CHECK_EQ(rt, ZERO);
837 Bc1eqz(static_cast<FRegister>(rs), imm16_21);
838 break;
839 case kCondT:
840 CHECK_EQ(rt, ZERO);
841 Bc1nez(static_cast<FRegister>(rs), imm16_21);
842 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200843 case kUncond:
844 LOG(FATAL) << "Unexpected branch condition " << cond;
845 UNREACHABLE();
846 }
jeffhao7fbee072012-08-24 17:56:54 -0700847}
848
849void MipsAssembler::AddS(FRegister fd, FRegister fs, FRegister ft) {
850 EmitFR(0x11, 0x10, ft, fs, fd, 0x0);
851}
852
853void MipsAssembler::SubS(FRegister fd, FRegister fs, FRegister ft) {
854 EmitFR(0x11, 0x10, ft, fs, fd, 0x1);
855}
856
857void MipsAssembler::MulS(FRegister fd, FRegister fs, FRegister ft) {
858 EmitFR(0x11, 0x10, ft, fs, fd, 0x2);
859}
860
861void MipsAssembler::DivS(FRegister fd, FRegister fs, FRegister ft) {
862 EmitFR(0x11, 0x10, ft, fs, fd, 0x3);
863}
864
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200865void MipsAssembler::AddD(FRegister fd, FRegister fs, FRegister ft) {
866 EmitFR(0x11, 0x11, ft, fs, fd, 0x0);
jeffhao7fbee072012-08-24 17:56:54 -0700867}
868
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200869void MipsAssembler::SubD(FRegister fd, FRegister fs, FRegister ft) {
870 EmitFR(0x11, 0x11, ft, fs, fd, 0x1);
jeffhao7fbee072012-08-24 17:56:54 -0700871}
872
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200873void MipsAssembler::MulD(FRegister fd, FRegister fs, FRegister ft) {
874 EmitFR(0x11, 0x11, ft, fs, fd, 0x2);
jeffhao7fbee072012-08-24 17:56:54 -0700875}
876
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200877void MipsAssembler::DivD(FRegister fd, FRegister fs, FRegister ft) {
878 EmitFR(0x11, 0x11, ft, fs, fd, 0x3);
jeffhao7fbee072012-08-24 17:56:54 -0700879}
880
Chris Larsenb74353a2015-11-20 09:07:09 -0800881void MipsAssembler::SqrtS(FRegister fd, FRegister fs) {
882 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x4);
883}
884
885void MipsAssembler::SqrtD(FRegister fd, FRegister fs) {
886 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x4);
887}
888
889void MipsAssembler::AbsS(FRegister fd, FRegister fs) {
890 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x5);
891}
892
893void MipsAssembler::AbsD(FRegister fd, FRegister fs) {
894 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x5);
895}
896
jeffhao7fbee072012-08-24 17:56:54 -0700897void MipsAssembler::MovS(FRegister fd, FRegister fs) {
898 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x6);
899}
900
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200901void MipsAssembler::MovD(FRegister fd, FRegister fs) {
902 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x6);
903}
904
905void MipsAssembler::NegS(FRegister fd, FRegister fs) {
906 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x7);
907}
908
909void MipsAssembler::NegD(FRegister fd, FRegister fs) {
910 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x7);
911}
912
Chris Larsenb74353a2015-11-20 09:07:09 -0800913void MipsAssembler::CunS(FRegister fs, FRegister ft) {
914 CunS(0, fs, ft);
915}
916
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800917void MipsAssembler::CunS(int cc, FRegister fs, FRegister ft) {
918 CHECK(!IsR6());
919 CHECK(IsUint<3>(cc)) << cc;
920 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x31);
921}
922
Chris Larsenb74353a2015-11-20 09:07:09 -0800923void MipsAssembler::CeqS(FRegister fs, FRegister ft) {
924 CeqS(0, fs, ft);
925}
926
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800927void MipsAssembler::CeqS(int cc, FRegister fs, FRegister ft) {
928 CHECK(!IsR6());
929 CHECK(IsUint<3>(cc)) << cc;
930 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x32);
931}
932
Chris Larsenb74353a2015-11-20 09:07:09 -0800933void MipsAssembler::CueqS(FRegister fs, FRegister ft) {
934 CueqS(0, fs, ft);
935}
936
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800937void MipsAssembler::CueqS(int cc, FRegister fs, FRegister ft) {
938 CHECK(!IsR6());
939 CHECK(IsUint<3>(cc)) << cc;
940 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x33);
941}
942
Chris Larsenb74353a2015-11-20 09:07:09 -0800943void MipsAssembler::ColtS(FRegister fs, FRegister ft) {
944 ColtS(0, fs, ft);
945}
946
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800947void MipsAssembler::ColtS(int cc, FRegister fs, FRegister ft) {
948 CHECK(!IsR6());
949 CHECK(IsUint<3>(cc)) << cc;
950 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x34);
951}
952
Chris Larsenb74353a2015-11-20 09:07:09 -0800953void MipsAssembler::CultS(FRegister fs, FRegister ft) {
954 CultS(0, fs, ft);
955}
956
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800957void MipsAssembler::CultS(int cc, FRegister fs, FRegister ft) {
958 CHECK(!IsR6());
959 CHECK(IsUint<3>(cc)) << cc;
960 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x35);
961}
962
Chris Larsenb74353a2015-11-20 09:07:09 -0800963void MipsAssembler::ColeS(FRegister fs, FRegister ft) {
964 ColeS(0, fs, ft);
965}
966
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800967void MipsAssembler::ColeS(int cc, FRegister fs, FRegister ft) {
968 CHECK(!IsR6());
969 CHECK(IsUint<3>(cc)) << cc;
970 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x36);
971}
972
Chris Larsenb74353a2015-11-20 09:07:09 -0800973void MipsAssembler::CuleS(FRegister fs, FRegister ft) {
974 CuleS(0, fs, ft);
975}
976
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800977void MipsAssembler::CuleS(int cc, FRegister fs, FRegister ft) {
978 CHECK(!IsR6());
979 CHECK(IsUint<3>(cc)) << cc;
980 EmitFR(0x11, 0x10, ft, fs, static_cast<FRegister>(cc << 2), 0x37);
981}
982
Chris Larsenb74353a2015-11-20 09:07:09 -0800983void MipsAssembler::CunD(FRegister fs, FRegister ft) {
984 CunD(0, fs, ft);
985}
986
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800987void MipsAssembler::CunD(int cc, FRegister fs, FRegister ft) {
988 CHECK(!IsR6());
989 CHECK(IsUint<3>(cc)) << cc;
990 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x31);
991}
992
Chris Larsenb74353a2015-11-20 09:07:09 -0800993void MipsAssembler::CeqD(FRegister fs, FRegister ft) {
994 CeqD(0, fs, ft);
995}
996
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800997void MipsAssembler::CeqD(int cc, FRegister fs, FRegister ft) {
998 CHECK(!IsR6());
999 CHECK(IsUint<3>(cc)) << cc;
1000 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x32);
1001}
1002
Chris Larsenb74353a2015-11-20 09:07:09 -08001003void MipsAssembler::CueqD(FRegister fs, FRegister ft) {
1004 CueqD(0, fs, ft);
1005}
1006
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001007void MipsAssembler::CueqD(int cc, FRegister fs, FRegister ft) {
1008 CHECK(!IsR6());
1009 CHECK(IsUint<3>(cc)) << cc;
1010 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x33);
1011}
1012
Chris Larsenb74353a2015-11-20 09:07:09 -08001013void MipsAssembler::ColtD(FRegister fs, FRegister ft) {
1014 ColtD(0, fs, ft);
1015}
1016
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001017void MipsAssembler::ColtD(int cc, FRegister fs, FRegister ft) {
1018 CHECK(!IsR6());
1019 CHECK(IsUint<3>(cc)) << cc;
1020 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x34);
1021}
1022
Chris Larsenb74353a2015-11-20 09:07:09 -08001023void MipsAssembler::CultD(FRegister fs, FRegister ft) {
1024 CultD(0, fs, ft);
1025}
1026
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001027void MipsAssembler::CultD(int cc, FRegister fs, FRegister ft) {
1028 CHECK(!IsR6());
1029 CHECK(IsUint<3>(cc)) << cc;
1030 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x35);
1031}
1032
Chris Larsenb74353a2015-11-20 09:07:09 -08001033void MipsAssembler::ColeD(FRegister fs, FRegister ft) {
1034 ColeD(0, fs, ft);
1035}
1036
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001037void MipsAssembler::ColeD(int cc, FRegister fs, FRegister ft) {
1038 CHECK(!IsR6());
1039 CHECK(IsUint<3>(cc)) << cc;
1040 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x36);
1041}
1042
Chris Larsenb74353a2015-11-20 09:07:09 -08001043void MipsAssembler::CuleD(FRegister fs, FRegister ft) {
1044 CuleD(0, fs, ft);
1045}
1046
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001047void MipsAssembler::CuleD(int cc, FRegister fs, FRegister ft) {
1048 CHECK(!IsR6());
1049 CHECK(IsUint<3>(cc)) << cc;
1050 EmitFR(0x11, 0x11, ft, fs, static_cast<FRegister>(cc << 2), 0x37);
1051}
1052
1053void MipsAssembler::CmpUnS(FRegister fd, FRegister fs, FRegister ft) {
1054 CHECK(IsR6());
1055 EmitFR(0x11, 0x14, ft, fs, fd, 0x01);
1056}
1057
1058void MipsAssembler::CmpEqS(FRegister fd, FRegister fs, FRegister ft) {
1059 CHECK(IsR6());
1060 EmitFR(0x11, 0x14, ft, fs, fd, 0x02);
1061}
1062
1063void MipsAssembler::CmpUeqS(FRegister fd, FRegister fs, FRegister ft) {
1064 CHECK(IsR6());
1065 EmitFR(0x11, 0x14, ft, fs, fd, 0x03);
1066}
1067
1068void MipsAssembler::CmpLtS(FRegister fd, FRegister fs, FRegister ft) {
1069 CHECK(IsR6());
1070 EmitFR(0x11, 0x14, ft, fs, fd, 0x04);
1071}
1072
1073void MipsAssembler::CmpUltS(FRegister fd, FRegister fs, FRegister ft) {
1074 CHECK(IsR6());
1075 EmitFR(0x11, 0x14, ft, fs, fd, 0x05);
1076}
1077
1078void MipsAssembler::CmpLeS(FRegister fd, FRegister fs, FRegister ft) {
1079 CHECK(IsR6());
1080 EmitFR(0x11, 0x14, ft, fs, fd, 0x06);
1081}
1082
1083void MipsAssembler::CmpUleS(FRegister fd, FRegister fs, FRegister ft) {
1084 CHECK(IsR6());
1085 EmitFR(0x11, 0x14, ft, fs, fd, 0x07);
1086}
1087
1088void MipsAssembler::CmpOrS(FRegister fd, FRegister fs, FRegister ft) {
1089 CHECK(IsR6());
1090 EmitFR(0x11, 0x14, ft, fs, fd, 0x11);
1091}
1092
1093void MipsAssembler::CmpUneS(FRegister fd, FRegister fs, FRegister ft) {
1094 CHECK(IsR6());
1095 EmitFR(0x11, 0x14, ft, fs, fd, 0x12);
1096}
1097
1098void MipsAssembler::CmpNeS(FRegister fd, FRegister fs, FRegister ft) {
1099 CHECK(IsR6());
1100 EmitFR(0x11, 0x14, ft, fs, fd, 0x13);
1101}
1102
1103void MipsAssembler::CmpUnD(FRegister fd, FRegister fs, FRegister ft) {
1104 CHECK(IsR6());
1105 EmitFR(0x11, 0x15, ft, fs, fd, 0x01);
1106}
1107
1108void MipsAssembler::CmpEqD(FRegister fd, FRegister fs, FRegister ft) {
1109 CHECK(IsR6());
1110 EmitFR(0x11, 0x15, ft, fs, fd, 0x02);
1111}
1112
1113void MipsAssembler::CmpUeqD(FRegister fd, FRegister fs, FRegister ft) {
1114 CHECK(IsR6());
1115 EmitFR(0x11, 0x15, ft, fs, fd, 0x03);
1116}
1117
1118void MipsAssembler::CmpLtD(FRegister fd, FRegister fs, FRegister ft) {
1119 CHECK(IsR6());
1120 EmitFR(0x11, 0x15, ft, fs, fd, 0x04);
1121}
1122
1123void MipsAssembler::CmpUltD(FRegister fd, FRegister fs, FRegister ft) {
1124 CHECK(IsR6());
1125 EmitFR(0x11, 0x15, ft, fs, fd, 0x05);
1126}
1127
1128void MipsAssembler::CmpLeD(FRegister fd, FRegister fs, FRegister ft) {
1129 CHECK(IsR6());
1130 EmitFR(0x11, 0x15, ft, fs, fd, 0x06);
1131}
1132
1133void MipsAssembler::CmpUleD(FRegister fd, FRegister fs, FRegister ft) {
1134 CHECK(IsR6());
1135 EmitFR(0x11, 0x15, ft, fs, fd, 0x07);
1136}
1137
1138void MipsAssembler::CmpOrD(FRegister fd, FRegister fs, FRegister ft) {
1139 CHECK(IsR6());
1140 EmitFR(0x11, 0x15, ft, fs, fd, 0x11);
1141}
1142
1143void MipsAssembler::CmpUneD(FRegister fd, FRegister fs, FRegister ft) {
1144 CHECK(IsR6());
1145 EmitFR(0x11, 0x15, ft, fs, fd, 0x12);
1146}
1147
1148void MipsAssembler::CmpNeD(FRegister fd, FRegister fs, FRegister ft) {
1149 CHECK(IsR6());
1150 EmitFR(0x11, 0x15, ft, fs, fd, 0x13);
1151}
1152
1153void MipsAssembler::Movf(Register rd, Register rs, int cc) {
1154 CHECK(!IsR6());
1155 CHECK(IsUint<3>(cc)) << cc;
1156 EmitR(0, rs, static_cast<Register>(cc << 2), rd, 0, 0x01);
1157}
1158
1159void MipsAssembler::Movt(Register rd, Register rs, int cc) {
1160 CHECK(!IsR6());
1161 CHECK(IsUint<3>(cc)) << cc;
1162 EmitR(0, rs, static_cast<Register>((cc << 2) | 1), rd, 0, 0x01);
1163}
1164
Chris Larsenb74353a2015-11-20 09:07:09 -08001165void MipsAssembler::MovfS(FRegister fd, FRegister fs, int cc) {
1166 CHECK(!IsR6());
1167 CHECK(IsUint<3>(cc)) << cc;
1168 EmitFR(0x11, 0x10, static_cast<FRegister>(cc << 2), fs, fd, 0x11);
1169}
1170
1171void MipsAssembler::MovfD(FRegister fd, FRegister fs, int cc) {
1172 CHECK(!IsR6());
1173 CHECK(IsUint<3>(cc)) << cc;
1174 EmitFR(0x11, 0x11, static_cast<FRegister>(cc << 2), fs, fd, 0x11);
1175}
1176
1177void MipsAssembler::MovtS(FRegister fd, FRegister fs, int cc) {
1178 CHECK(!IsR6());
1179 CHECK(IsUint<3>(cc)) << cc;
1180 EmitFR(0x11, 0x10, static_cast<FRegister>((cc << 2) | 1), fs, fd, 0x11);
1181}
1182
1183void MipsAssembler::MovtD(FRegister fd, FRegister fs, int cc) {
1184 CHECK(!IsR6());
1185 CHECK(IsUint<3>(cc)) << cc;
1186 EmitFR(0x11, 0x11, static_cast<FRegister>((cc << 2) | 1), fs, fd, 0x11);
1187}
1188
1189void MipsAssembler::SelS(FRegister fd, FRegister fs, FRegister ft) {
1190 CHECK(IsR6());
1191 EmitFR(0x11, 0x10, ft, fs, fd, 0x10);
1192}
1193
1194void MipsAssembler::SelD(FRegister fd, FRegister fs, FRegister ft) {
1195 CHECK(IsR6());
1196 EmitFR(0x11, 0x11, ft, fs, fd, 0x10);
1197}
1198
1199void MipsAssembler::ClassS(FRegister fd, FRegister fs) {
1200 CHECK(IsR6());
1201 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x1b);
1202}
1203
1204void MipsAssembler::ClassD(FRegister fd, FRegister fs) {
1205 CHECK(IsR6());
1206 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x1b);
1207}
1208
1209void MipsAssembler::MinS(FRegister fd, FRegister fs, FRegister ft) {
1210 CHECK(IsR6());
1211 EmitFR(0x11, 0x10, ft, fs, fd, 0x1c);
1212}
1213
1214void MipsAssembler::MinD(FRegister fd, FRegister fs, FRegister ft) {
1215 CHECK(IsR6());
1216 EmitFR(0x11, 0x11, ft, fs, fd, 0x1c);
1217}
1218
1219void MipsAssembler::MaxS(FRegister fd, FRegister fs, FRegister ft) {
1220 CHECK(IsR6());
1221 EmitFR(0x11, 0x10, ft, fs, fd, 0x1e);
1222}
1223
1224void MipsAssembler::MaxD(FRegister fd, FRegister fs, FRegister ft) {
1225 CHECK(IsR6());
1226 EmitFR(0x11, 0x11, ft, fs, fd, 0x1e);
1227}
1228
Alexey Frunzebaf60b72015-12-22 15:15:03 -08001229void MipsAssembler::TruncLS(FRegister fd, FRegister fs) {
1230 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x09);
1231}
1232
1233void MipsAssembler::TruncLD(FRegister fd, FRegister fs) {
1234 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x09);
1235}
1236
1237void MipsAssembler::TruncWS(FRegister fd, FRegister fs) {
1238 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x0D);
1239}
1240
1241void MipsAssembler::TruncWD(FRegister fd, FRegister fs) {
1242 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x0D);
1243}
1244
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001245void MipsAssembler::Cvtsw(FRegister fd, FRegister fs) {
1246 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x20);
1247}
1248
1249void MipsAssembler::Cvtdw(FRegister fd, FRegister fs) {
1250 EmitFR(0x11, 0x14, static_cast<FRegister>(0), fs, fd, 0x21);
1251}
1252
1253void MipsAssembler::Cvtsd(FRegister fd, FRegister fs) {
1254 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0x20);
1255}
1256
1257void MipsAssembler::Cvtds(FRegister fd, FRegister fs) {
1258 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0x21);
jeffhao7fbee072012-08-24 17:56:54 -07001259}
1260
Alexey Frunzebaf60b72015-12-22 15:15:03 -08001261void MipsAssembler::Cvtsl(FRegister fd, FRegister fs) {
1262 EmitFR(0x11, 0x15, static_cast<FRegister>(0), fs, fd, 0x20);
1263}
1264
1265void MipsAssembler::Cvtdl(FRegister fd, FRegister fs) {
1266 EmitFR(0x11, 0x15, static_cast<FRegister>(0), fs, fd, 0x21);
1267}
1268
Chris Larsenb74353a2015-11-20 09:07:09 -08001269void MipsAssembler::FloorWS(FRegister fd, FRegister fs) {
1270 EmitFR(0x11, 0x10, static_cast<FRegister>(0), fs, fd, 0xf);
1271}
1272
1273void MipsAssembler::FloorWD(FRegister fd, FRegister fs) {
1274 EmitFR(0x11, 0x11, static_cast<FRegister>(0), fs, fd, 0xf);
1275}
1276
jeffhao7fbee072012-08-24 17:56:54 -07001277void MipsAssembler::Mfc1(Register rt, FRegister fs) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001278 EmitFR(0x11, 0x00, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -07001279}
1280
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001281void MipsAssembler::Mtc1(Register rt, FRegister fs) {
1282 EmitFR(0x11, 0x04, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
1283}
1284
1285void MipsAssembler::Mfhc1(Register rt, FRegister fs) {
1286 EmitFR(0x11, 0x03, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
1287}
1288
1289void MipsAssembler::Mthc1(Register rt, FRegister fs) {
1290 EmitFR(0x11, 0x07, static_cast<FRegister>(rt), fs, static_cast<FRegister>(0), 0x0);
jeffhao7fbee072012-08-24 17:56:54 -07001291}
1292
Alexey Frunzebb9863a2016-01-11 15:51:16 -08001293void MipsAssembler::MoveFromFpuHigh(Register rt, FRegister fs) {
1294 if (Is32BitFPU()) {
1295 CHECK_EQ(fs % 2, 0) << fs;
1296 Mfc1(rt, static_cast<FRegister>(fs + 1));
1297 } else {
1298 Mfhc1(rt, fs);
1299 }
1300}
1301
1302void MipsAssembler::MoveToFpuHigh(Register rt, FRegister fs) {
1303 if (Is32BitFPU()) {
1304 CHECK_EQ(fs % 2, 0) << fs;
1305 Mtc1(rt, static_cast<FRegister>(fs + 1));
1306 } else {
1307 Mthc1(rt, fs);
1308 }
1309}
1310
jeffhao7fbee072012-08-24 17:56:54 -07001311void MipsAssembler::Lwc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001312 EmitI(0x31, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001313}
1314
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001315void MipsAssembler::Ldc1(FRegister ft, Register rs, uint16_t imm16) {
1316 EmitI(0x35, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001317}
1318
1319void MipsAssembler::Swc1(FRegister ft, Register rs, uint16_t imm16) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001320 EmitI(0x39, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001321}
1322
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001323void MipsAssembler::Sdc1(FRegister ft, Register rs, uint16_t imm16) {
1324 EmitI(0x3d, rs, static_cast<Register>(ft), imm16);
jeffhao7fbee072012-08-24 17:56:54 -07001325}
1326
1327void MipsAssembler::Break() {
1328 EmitR(0, static_cast<Register>(0), static_cast<Register>(0),
1329 static_cast<Register>(0), 0, 0xD);
1330}
1331
jeffhao07030602012-09-26 14:33:14 -07001332void MipsAssembler::Nop() {
1333 EmitR(0x0, static_cast<Register>(0), static_cast<Register>(0), static_cast<Register>(0), 0, 0x0);
1334}
1335
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001336void MipsAssembler::Move(Register rd, Register rs) {
1337 Or(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -07001338}
1339
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001340void MipsAssembler::Clear(Register rd) {
1341 Move(rd, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -07001342}
1343
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001344void MipsAssembler::Not(Register rd, Register rs) {
1345 Nor(rd, rs, ZERO);
jeffhao7fbee072012-08-24 17:56:54 -07001346}
1347
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001348void MipsAssembler::Push(Register rs) {
1349 IncreaseFrameSize(kMipsWordSize);
1350 Sw(rs, SP, 0);
jeffhao7fbee072012-08-24 17:56:54 -07001351}
1352
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001353void MipsAssembler::Pop(Register rd) {
1354 Lw(rd, SP, 0);
1355 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001356}
1357
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001358void MipsAssembler::PopAndReturn(Register rd, Register rt) {
1359 Lw(rd, SP, 0);
1360 Jr(rt);
1361 DecreaseFrameSize(kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07001362}
1363
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001364void MipsAssembler::LoadConst32(Register rd, int32_t value) {
1365 if (IsUint<16>(value)) {
1366 // Use OR with (unsigned) immediate to encode 16b unsigned int.
1367 Ori(rd, ZERO, value);
1368 } else if (IsInt<16>(value)) {
1369 // Use ADD with (signed) immediate to encode 16b signed int.
1370 Addiu(rd, ZERO, value);
jeffhao7fbee072012-08-24 17:56:54 -07001371 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001372 Lui(rd, High16Bits(value));
1373 if (value & 0xFFFF)
1374 Ori(rd, rd, Low16Bits(value));
1375 }
1376}
1377
1378void MipsAssembler::LoadConst64(Register reg_hi, Register reg_lo, int64_t value) {
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001379 uint32_t low = Low32Bits(value);
1380 uint32_t high = High32Bits(value);
1381 LoadConst32(reg_lo, low);
1382 if (high != low) {
1383 LoadConst32(reg_hi, high);
1384 } else {
1385 Move(reg_hi, reg_lo);
1386 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001387}
1388
1389void MipsAssembler::StoreConst32ToOffset(int32_t value,
1390 Register base,
1391 int32_t offset,
1392 Register temp) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07001393 CHECK_NE(temp, AT); // Must not use AT as temp, so as not to overwrite the adjusted base.
1394 AdjustBaseAndOffset(base, offset, /* is_doubleword */ false);
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001395 if (value == 0) {
1396 temp = ZERO;
1397 } else {
1398 LoadConst32(temp, value);
1399 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001400 Sw(temp, base, offset);
1401}
1402
1403void MipsAssembler::StoreConst64ToOffset(int64_t value,
1404 Register base,
1405 int32_t offset,
1406 Register temp) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07001407 CHECK_NE(temp, AT); // Must not use AT as temp, so as not to overwrite the adjusted base.
1408 AdjustBaseAndOffset(base, offset, /* is_doubleword */ true);
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001409 uint32_t low = Low32Bits(value);
1410 uint32_t high = High32Bits(value);
1411 if (low == 0) {
1412 Sw(ZERO, base, offset);
1413 } else {
1414 LoadConst32(temp, low);
1415 Sw(temp, base, offset);
1416 }
1417 if (high == 0) {
1418 Sw(ZERO, base, offset + kMipsWordSize);
1419 } else {
1420 if (high != low) {
1421 LoadConst32(temp, high);
1422 }
1423 Sw(temp, base, offset + kMipsWordSize);
1424 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001425}
1426
1427void MipsAssembler::LoadSConst32(FRegister r, int32_t value, Register temp) {
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001428 if (value == 0) {
1429 temp = ZERO;
1430 } else {
1431 LoadConst32(temp, value);
1432 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001433 Mtc1(temp, r);
1434}
1435
1436void MipsAssembler::LoadDConst64(FRegister rd, int64_t value, Register temp) {
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001437 uint32_t low = Low32Bits(value);
1438 uint32_t high = High32Bits(value);
1439 if (low == 0) {
1440 Mtc1(ZERO, rd);
1441 } else {
1442 LoadConst32(temp, low);
1443 Mtc1(temp, rd);
1444 }
1445 if (high == 0) {
Alexey Frunzebb9863a2016-01-11 15:51:16 -08001446 MoveToFpuHigh(ZERO, rd);
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001447 } else {
1448 LoadConst32(temp, high);
Alexey Frunzebb9863a2016-01-11 15:51:16 -08001449 MoveToFpuHigh(temp, rd);
Alexey Frunze5c7aed32015-11-25 19:41:54 -08001450 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001451}
1452
1453void MipsAssembler::Addiu32(Register rt, Register rs, int32_t value, Register temp) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07001454 CHECK_NE(rs, temp); // Must not overwrite the register `rs` while loading `value`.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001455 if (IsInt<16>(value)) {
1456 Addiu(rt, rs, value);
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07001457 } else if (IsR6()) {
1458 int16_t high = High16Bits(value);
1459 int16_t low = Low16Bits(value);
1460 high += (low < 0) ? 1 : 0; // Account for sign extension in addiu.
1461 if (low != 0) {
1462 Aui(temp, rs, high);
1463 Addiu(rt, temp, low);
1464 } else {
1465 Aui(rt, rs, high);
1466 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001467 } else {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07001468 // Do not load the whole 32-bit `value` if it can be represented as
1469 // a sum of two 16-bit signed values. This can save an instruction.
1470 constexpr int32_t kMinValueForSimpleAdjustment = std::numeric_limits<int16_t>::min() * 2;
1471 constexpr int32_t kMaxValueForSimpleAdjustment = std::numeric_limits<int16_t>::max() * 2;
1472 if (0 <= value && value <= kMaxValueForSimpleAdjustment) {
1473 Addiu(temp, rs, kMaxValueForSimpleAdjustment / 2);
1474 Addiu(rt, temp, value - kMaxValueForSimpleAdjustment / 2);
1475 } else if (kMinValueForSimpleAdjustment <= value && value < 0) {
1476 Addiu(temp, rs, kMinValueForSimpleAdjustment / 2);
1477 Addiu(rt, temp, value - kMinValueForSimpleAdjustment / 2);
1478 } else {
1479 // Now that all shorter options have been exhausted, load the full 32-bit value.
1480 LoadConst32(temp, value);
1481 Addu(rt, rs, temp);
1482 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001483 }
1484}
1485
1486void MipsAssembler::Branch::InitShortOrLong(MipsAssembler::Branch::OffsetBits offset_size,
1487 MipsAssembler::Branch::Type short_type,
1488 MipsAssembler::Branch::Type long_type) {
1489 type_ = (offset_size <= branch_info_[short_type].offset_size) ? short_type : long_type;
1490}
1491
1492void MipsAssembler::Branch::InitializeType(bool is_call, bool is_r6) {
1493 OffsetBits offset_size = GetOffsetSizeNeeded(location_, target_);
1494 if (is_r6) {
1495 // R6
1496 if (is_call) {
1497 InitShortOrLong(offset_size, kR6Call, kR6LongCall);
1498 } else if (condition_ == kUncond) {
1499 InitShortOrLong(offset_size, kR6UncondBranch, kR6LongUncondBranch);
1500 } else {
1501 if (condition_ == kCondEQZ || condition_ == kCondNEZ) {
1502 // Special case for beqzc/bnezc with longer offset than in other b<cond>c instructions.
1503 type_ = (offset_size <= kOffset23) ? kR6CondBranch : kR6LongCondBranch;
1504 } else {
1505 InitShortOrLong(offset_size, kR6CondBranch, kR6LongCondBranch);
1506 }
1507 }
1508 } else {
1509 // R2
1510 if (is_call) {
1511 InitShortOrLong(offset_size, kCall, kLongCall);
1512 } else if (condition_ == kUncond) {
1513 InitShortOrLong(offset_size, kUncondBranch, kLongUncondBranch);
1514 } else {
1515 InitShortOrLong(offset_size, kCondBranch, kLongCondBranch);
1516 }
1517 }
1518 old_type_ = type_;
1519}
1520
1521bool MipsAssembler::Branch::IsNop(BranchCondition condition, Register lhs, Register rhs) {
1522 switch (condition) {
1523 case kCondLT:
1524 case kCondGT:
1525 case kCondNE:
1526 case kCondLTU:
1527 return lhs == rhs;
1528 default:
1529 return false;
1530 }
1531}
1532
1533bool MipsAssembler::Branch::IsUncond(BranchCondition condition, Register lhs, Register rhs) {
1534 switch (condition) {
1535 case kUncond:
1536 return true;
1537 case kCondGE:
1538 case kCondLE:
1539 case kCondEQ:
1540 case kCondGEU:
1541 return lhs == rhs;
1542 default:
1543 return false;
1544 }
1545}
1546
1547MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target)
1548 : old_location_(location),
1549 location_(location),
1550 target_(target),
1551 lhs_reg_(0),
1552 rhs_reg_(0),
1553 condition_(kUncond) {
1554 InitializeType(false, is_r6);
1555}
1556
1557MipsAssembler::Branch::Branch(bool is_r6,
1558 uint32_t location,
1559 uint32_t target,
1560 MipsAssembler::BranchCondition condition,
1561 Register lhs_reg,
1562 Register rhs_reg)
1563 : old_location_(location),
1564 location_(location),
1565 target_(target),
1566 lhs_reg_(lhs_reg),
1567 rhs_reg_(rhs_reg),
1568 condition_(condition) {
1569 CHECK_NE(condition, kUncond);
1570 switch (condition) {
1571 case kCondLT:
1572 case kCondGE:
1573 case kCondLE:
1574 case kCondGT:
1575 case kCondLTU:
1576 case kCondGEU:
1577 // We don't support synthetic R2 branches (preceded with slt[u]) at this level
1578 // (R2 doesn't have branches to compare 2 registers using <, <=, >=, >).
1579 // We leave this up to the caller.
1580 CHECK(is_r6);
1581 FALLTHROUGH_INTENDED;
1582 case kCondEQ:
1583 case kCondNE:
1584 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
1585 // To compare with 0, use dedicated kCond*Z conditions.
1586 CHECK_NE(lhs_reg, ZERO);
1587 CHECK_NE(rhs_reg, ZERO);
1588 break;
1589 case kCondLTZ:
1590 case kCondGEZ:
1591 case kCondLEZ:
1592 case kCondGTZ:
1593 case kCondEQZ:
1594 case kCondNEZ:
1595 // Require registers other than 0 not only for R6, but also for R2 to catch errors.
1596 CHECK_NE(lhs_reg, ZERO);
1597 CHECK_EQ(rhs_reg, ZERO);
1598 break;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001599 case kCondF:
1600 case kCondT:
1601 CHECK_EQ(rhs_reg, ZERO);
1602 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001603 case kUncond:
1604 UNREACHABLE();
1605 }
1606 CHECK(!IsNop(condition, lhs_reg, rhs_reg));
1607 if (IsUncond(condition, lhs_reg, rhs_reg)) {
1608 // Branch condition is always true, make the branch unconditional.
1609 condition_ = kUncond;
1610 }
1611 InitializeType(false, is_r6);
1612}
1613
1614MipsAssembler::Branch::Branch(bool is_r6, uint32_t location, uint32_t target, Register indirect_reg)
1615 : old_location_(location),
1616 location_(location),
1617 target_(target),
1618 lhs_reg_(indirect_reg),
1619 rhs_reg_(0),
1620 condition_(kUncond) {
1621 CHECK_NE(indirect_reg, ZERO);
1622 CHECK_NE(indirect_reg, AT);
1623 InitializeType(true, is_r6);
1624}
1625
1626MipsAssembler::BranchCondition MipsAssembler::Branch::OppositeCondition(
1627 MipsAssembler::BranchCondition cond) {
1628 switch (cond) {
1629 case kCondLT:
1630 return kCondGE;
1631 case kCondGE:
1632 return kCondLT;
1633 case kCondLE:
1634 return kCondGT;
1635 case kCondGT:
1636 return kCondLE;
1637 case kCondLTZ:
1638 return kCondGEZ;
1639 case kCondGEZ:
1640 return kCondLTZ;
1641 case kCondLEZ:
1642 return kCondGTZ;
1643 case kCondGTZ:
1644 return kCondLEZ;
1645 case kCondEQ:
1646 return kCondNE;
1647 case kCondNE:
1648 return kCondEQ;
1649 case kCondEQZ:
1650 return kCondNEZ;
1651 case kCondNEZ:
1652 return kCondEQZ;
1653 case kCondLTU:
1654 return kCondGEU;
1655 case kCondGEU:
1656 return kCondLTU;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08001657 case kCondF:
1658 return kCondT;
1659 case kCondT:
1660 return kCondF;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02001661 case kUncond:
1662 LOG(FATAL) << "Unexpected branch condition " << cond;
1663 }
1664 UNREACHABLE();
1665}
1666
1667MipsAssembler::Branch::Type MipsAssembler::Branch::GetType() const {
1668 return type_;
1669}
1670
1671MipsAssembler::BranchCondition MipsAssembler::Branch::GetCondition() const {
1672 return condition_;
1673}
1674
1675Register MipsAssembler::Branch::GetLeftRegister() const {
1676 return static_cast<Register>(lhs_reg_);
1677}
1678
1679Register MipsAssembler::Branch::GetRightRegister() const {
1680 return static_cast<Register>(rhs_reg_);
1681}
1682
1683uint32_t MipsAssembler::Branch::GetTarget() const {
1684 return target_;
1685}
1686
1687uint32_t MipsAssembler::Branch::GetLocation() const {
1688 return location_;
1689}
1690
1691uint32_t MipsAssembler::Branch::GetOldLocation() const {
1692 return old_location_;
1693}
1694
1695uint32_t MipsAssembler::Branch::GetLength() const {
1696 return branch_info_[type_].length;
1697}
1698
1699uint32_t MipsAssembler::Branch::GetOldLength() const {
1700 return branch_info_[old_type_].length;
1701}
1702
1703uint32_t MipsAssembler::Branch::GetSize() const {
1704 return GetLength() * sizeof(uint32_t);
1705}
1706
1707uint32_t MipsAssembler::Branch::GetOldSize() const {
1708 return GetOldLength() * sizeof(uint32_t);
1709}
1710
1711uint32_t MipsAssembler::Branch::GetEndLocation() const {
1712 return GetLocation() + GetSize();
1713}
1714
1715uint32_t MipsAssembler::Branch::GetOldEndLocation() const {
1716 return GetOldLocation() + GetOldSize();
1717}
1718
1719bool MipsAssembler::Branch::IsLong() const {
1720 switch (type_) {
1721 // R2 short branches.
1722 case kUncondBranch:
1723 case kCondBranch:
1724 case kCall:
1725 // R6 short branches.
1726 case kR6UncondBranch:
1727 case kR6CondBranch:
1728 case kR6Call:
1729 return false;
1730 // R2 long branches.
1731 case kLongUncondBranch:
1732 case kLongCondBranch:
1733 case kLongCall:
1734 // R6 long branches.
1735 case kR6LongUncondBranch:
1736 case kR6LongCondBranch:
1737 case kR6LongCall:
1738 return true;
1739 }
1740 UNREACHABLE();
1741}
1742
1743bool MipsAssembler::Branch::IsResolved() const {
1744 return target_ != kUnresolved;
1745}
1746
1747MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSize() const {
1748 OffsetBits offset_size =
1749 (type_ == kR6CondBranch && (condition_ == kCondEQZ || condition_ == kCondNEZ))
1750 ? kOffset23
1751 : branch_info_[type_].offset_size;
1752 return offset_size;
1753}
1754
1755MipsAssembler::Branch::OffsetBits MipsAssembler::Branch::GetOffsetSizeNeeded(uint32_t location,
1756 uint32_t target) {
1757 // For unresolved targets assume the shortest encoding
1758 // (later it will be made longer if needed).
1759 if (target == kUnresolved)
1760 return kOffset16;
1761 int64_t distance = static_cast<int64_t>(target) - location;
1762 // To simplify calculations in composite branches consisting of multiple instructions
1763 // bump up the distance by a value larger than the max byte size of a composite branch.
1764 distance += (distance >= 0) ? kMaxBranchSize : -kMaxBranchSize;
1765 if (IsInt<kOffset16>(distance))
1766 return kOffset16;
1767 else if (IsInt<kOffset18>(distance))
1768 return kOffset18;
1769 else if (IsInt<kOffset21>(distance))
1770 return kOffset21;
1771 else if (IsInt<kOffset23>(distance))
1772 return kOffset23;
1773 else if (IsInt<kOffset28>(distance))
1774 return kOffset28;
1775 return kOffset32;
1776}
1777
1778void MipsAssembler::Branch::Resolve(uint32_t target) {
1779 target_ = target;
1780}
1781
1782void MipsAssembler::Branch::Relocate(uint32_t expand_location, uint32_t delta) {
1783 if (location_ > expand_location) {
1784 location_ += delta;
1785 }
1786 if (!IsResolved()) {
1787 return; // Don't know the target yet.
1788 }
1789 if (target_ > expand_location) {
1790 target_ += delta;
1791 }
1792}
1793
1794void MipsAssembler::Branch::PromoteToLong() {
1795 switch (type_) {
1796 // R2 short branches.
1797 case kUncondBranch:
1798 type_ = kLongUncondBranch;
1799 break;
1800 case kCondBranch:
1801 type_ = kLongCondBranch;
1802 break;
1803 case kCall:
1804 type_ = kLongCall;
1805 break;
1806 // R6 short branches.
1807 case kR6UncondBranch:
1808 type_ = kR6LongUncondBranch;
1809 break;
1810 case kR6CondBranch:
1811 type_ = kR6LongCondBranch;
1812 break;
1813 case kR6Call:
1814 type_ = kR6LongCall;
1815 break;
1816 default:
1817 // Note: 'type_' is already long.
1818 break;
1819 }
1820 CHECK(IsLong());
1821}
1822
1823uint32_t MipsAssembler::Branch::PromoteIfNeeded(uint32_t max_short_distance) {
1824 // If the branch is still unresolved or already long, nothing to do.
1825 if (IsLong() || !IsResolved()) {
1826 return 0;
1827 }
1828 // Promote the short branch to long if the offset size is too small
1829 // to hold the distance between location_ and target_.
1830 if (GetOffsetSizeNeeded(location_, target_) > GetOffsetSize()) {
1831 PromoteToLong();
1832 uint32_t old_size = GetOldSize();
1833 uint32_t new_size = GetSize();
1834 CHECK_GT(new_size, old_size);
1835 return new_size - old_size;
1836 }
1837 // The following logic is for debugging/testing purposes.
1838 // Promote some short branches to long when it's not really required.
1839 if (UNLIKELY(max_short_distance != std::numeric_limits<uint32_t>::max())) {
1840 int64_t distance = static_cast<int64_t>(target_) - location_;
1841 distance = (distance >= 0) ? distance : -distance;
1842 if (distance >= max_short_distance) {
1843 PromoteToLong();
1844 uint32_t old_size = GetOldSize();
1845 uint32_t new_size = GetSize();
1846 CHECK_GT(new_size, old_size);
1847 return new_size - old_size;
1848 }
1849 }
1850 return 0;
1851}
1852
1853uint32_t MipsAssembler::Branch::GetOffsetLocation() const {
1854 return location_ + branch_info_[type_].instr_offset * sizeof(uint32_t);
1855}
1856
1857uint32_t MipsAssembler::Branch::GetOffset() const {
1858 CHECK(IsResolved());
1859 uint32_t ofs_mask = 0xFFFFFFFF >> (32 - GetOffsetSize());
1860 // Calculate the byte distance between instructions and also account for
1861 // different PC-relative origins.
1862 uint32_t offset = target_ - GetOffsetLocation() - branch_info_[type_].pc_org * sizeof(uint32_t);
1863 // Prepare the offset for encoding into the instruction(s).
1864 offset = (offset & ofs_mask) >> branch_info_[type_].offset_shift;
1865 return offset;
1866}
1867
1868MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) {
1869 CHECK_LT(branch_id, branches_.size());
1870 return &branches_[branch_id];
1871}
1872
1873const MipsAssembler::Branch* MipsAssembler::GetBranch(uint32_t branch_id) const {
1874 CHECK_LT(branch_id, branches_.size());
1875 return &branches_[branch_id];
1876}
1877
1878void MipsAssembler::Bind(MipsLabel* label) {
1879 CHECK(!label->IsBound());
1880 uint32_t bound_pc = buffer_.Size();
1881
1882 // Walk the list of branches referring to and preceding this label.
1883 // Store the previously unknown target addresses in them.
1884 while (label->IsLinked()) {
1885 uint32_t branch_id = label->Position();
1886 Branch* branch = GetBranch(branch_id);
1887 branch->Resolve(bound_pc);
1888
1889 uint32_t branch_location = branch->GetLocation();
1890 // Extract the location of the previous branch in the list (walking the list backwards;
1891 // the previous branch ID was stored in the space reserved for this branch).
1892 uint32_t prev = buffer_.Load<uint32_t>(branch_location);
1893
1894 // On to the previous branch in the list...
1895 label->position_ = prev;
1896 }
1897
1898 // Now make the label object contain its own location (relative to the end of the preceding
1899 // branch, if any; it will be used by the branches referring to and following this label).
1900 label->prev_branch_id_plus_one_ = branches_.size();
1901 if (label->prev_branch_id_plus_one_) {
1902 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1903 const Branch* branch = GetBranch(branch_id);
1904 bound_pc -= branch->GetEndLocation();
1905 }
1906 label->BindTo(bound_pc);
1907}
1908
1909uint32_t MipsAssembler::GetLabelLocation(MipsLabel* label) const {
1910 CHECK(label->IsBound());
1911 uint32_t target = label->Position();
1912 if (label->prev_branch_id_plus_one_) {
1913 // Get label location based on the branch preceding it.
1914 uint32_t branch_id = label->prev_branch_id_plus_one_ - 1;
1915 const Branch* branch = GetBranch(branch_id);
1916 target += branch->GetEndLocation();
1917 }
1918 return target;
1919}
1920
1921uint32_t MipsAssembler::GetAdjustedPosition(uint32_t old_position) {
1922 // We can reconstruct the adjustment by going through all the branches from the beginning
1923 // up to the old_position. Since we expect AdjustedPosition() to be called in a loop
1924 // with increasing old_position, we can use the data from last AdjustedPosition() to
1925 // continue where we left off and the whole loop should be O(m+n) where m is the number
1926 // of positions to adjust and n is the number of branches.
1927 if (old_position < last_old_position_) {
1928 last_position_adjustment_ = 0;
1929 last_old_position_ = 0;
1930 last_branch_id_ = 0;
1931 }
1932 while (last_branch_id_ != branches_.size()) {
1933 const Branch* branch = GetBranch(last_branch_id_);
1934 if (branch->GetLocation() >= old_position + last_position_adjustment_) {
1935 break;
1936 }
1937 last_position_adjustment_ += branch->GetSize() - branch->GetOldSize();
1938 ++last_branch_id_;
1939 }
1940 last_old_position_ = old_position;
1941 return old_position + last_position_adjustment_;
1942}
1943
1944void MipsAssembler::FinalizeLabeledBranch(MipsLabel* label) {
1945 uint32_t length = branches_.back().GetLength();
1946 if (!label->IsBound()) {
1947 // Branch forward (to a following label), distance is unknown.
1948 // The first branch forward will contain 0, serving as the terminator of
1949 // the list of forward-reaching branches.
1950 Emit(label->position_);
1951 length--;
1952 // Now make the label object point to this branch
1953 // (this forms a linked list of branches preceding this label).
1954 uint32_t branch_id = branches_.size() - 1;
1955 label->LinkTo(branch_id);
1956 }
1957 // Reserve space for the branch.
1958 while (length--) {
1959 Nop();
1960 }
1961}
1962
1963void MipsAssembler::Buncond(MipsLabel* label) {
1964 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1965 branches_.emplace_back(IsR6(), buffer_.Size(), target);
1966 FinalizeLabeledBranch(label);
1967}
1968
1969void MipsAssembler::Bcond(MipsLabel* label, BranchCondition condition, Register lhs, Register rhs) {
1970 // If lhs = rhs, this can be a NOP.
1971 if (Branch::IsNop(condition, lhs, rhs)) {
1972 return;
1973 }
1974 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1975 branches_.emplace_back(IsR6(), buffer_.Size(), target, condition, lhs, rhs);
1976 FinalizeLabeledBranch(label);
1977}
1978
1979void MipsAssembler::Call(MipsLabel* label, Register indirect_reg) {
1980 uint32_t target = label->IsBound() ? GetLabelLocation(label) : Branch::kUnresolved;
1981 branches_.emplace_back(IsR6(), buffer_.Size(), target, indirect_reg);
1982 FinalizeLabeledBranch(label);
1983}
1984
1985void MipsAssembler::PromoteBranches() {
1986 // Promote short branches to long as necessary.
1987 bool changed;
1988 do {
1989 changed = false;
1990 for (auto& branch : branches_) {
1991 CHECK(branch.IsResolved());
1992 uint32_t delta = branch.PromoteIfNeeded();
1993 // If this branch has been promoted and needs to expand in size,
1994 // relocate all branches by the expansion size.
1995 if (delta) {
1996 changed = true;
1997 uint32_t expand_location = branch.GetLocation();
1998 for (auto& branch2 : branches_) {
1999 branch2.Relocate(expand_location, delta);
2000 }
2001 }
2002 }
2003 } while (changed);
2004
2005 // Account for branch expansion by resizing the code buffer
2006 // and moving the code in it to its final location.
2007 size_t branch_count = branches_.size();
2008 if (branch_count > 0) {
2009 // Resize.
2010 Branch& last_branch = branches_[branch_count - 1];
2011 uint32_t size_delta = last_branch.GetEndLocation() - last_branch.GetOldEndLocation();
2012 uint32_t old_size = buffer_.Size();
2013 buffer_.Resize(old_size + size_delta);
2014 // Move the code residing between branch placeholders.
2015 uint32_t end = old_size;
2016 for (size_t i = branch_count; i > 0; ) {
2017 Branch& branch = branches_[--i];
2018 uint32_t size = end - branch.GetOldEndLocation();
2019 buffer_.Move(branch.GetEndLocation(), branch.GetOldEndLocation(), size);
2020 end = branch.GetOldLocation();
2021 }
2022 }
2023}
2024
2025// Note: make sure branch_info_[] and EmitBranch() are kept synchronized.
2026const MipsAssembler::Branch::BranchInfo MipsAssembler::Branch::branch_info_[] = {
2027 // R2 short branches.
2028 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kUncondBranch
2029 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kCondBranch
2030 { 5, 2, 0, MipsAssembler::Branch::kOffset16, 0 }, // kCall
2031 // R2 long branches.
2032 { 9, 3, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongUncondBranch
2033 { 10, 4, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCondBranch
2034 { 6, 1, 1, MipsAssembler::Branch::kOffset32, 0 }, // kLongCall
2035 // R6 short branches.
2036 { 1, 0, 1, MipsAssembler::Branch::kOffset28, 2 }, // kR6UncondBranch
2037 { 2, 0, 1, MipsAssembler::Branch::kOffset18, 2 }, // kR6CondBranch
2038 // Exception: kOffset23 for beqzc/bnezc.
2039 { 2, 0, 0, MipsAssembler::Branch::kOffset21, 2 }, // kR6Call
2040 // R6 long branches.
2041 { 2, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongUncondBranch
2042 { 3, 1, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCondBranch
2043 { 3, 0, 0, MipsAssembler::Branch::kOffset32, 0 }, // kR6LongCall
2044};
2045
2046// Note: make sure branch_info_[] and mitBranch() are kept synchronized.
2047void MipsAssembler::EmitBranch(MipsAssembler::Branch* branch) {
2048 CHECK_EQ(overwriting_, true);
2049 overwrite_location_ = branch->GetLocation();
2050 uint32_t offset = branch->GetOffset();
2051 BranchCondition condition = branch->GetCondition();
2052 Register lhs = branch->GetLeftRegister();
2053 Register rhs = branch->GetRightRegister();
2054 switch (branch->GetType()) {
2055 // R2 short branches.
2056 case Branch::kUncondBranch:
2057 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2058 B(offset);
2059 Nop(); // TODO: improve by filling the delay slot.
2060 break;
2061 case Branch::kCondBranch:
2062 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002063 EmitBcondR2(condition, lhs, rhs, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002064 Nop(); // TODO: improve by filling the delay slot.
2065 break;
2066 case Branch::kCall:
2067 Nal();
2068 Nop(); // TODO: is this NOP really needed here?
2069 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2070 Addiu(lhs, RA, offset);
2071 Jalr(lhs);
2072 Nop();
2073 break;
2074
2075 // R2 long branches.
2076 case Branch::kLongUncondBranch:
2077 // To get the value of the PC register we need to use the NAL instruction.
2078 // NAL clobbers the RA register. However, RA must be preserved if the
2079 // method is compiled without the entry/exit sequences that would take care
2080 // of preserving RA (typically, leaf methods don't preserve RA explicitly).
2081 // So, we need to preserve RA in some temporary storage ourselves. The AT
2082 // register can't be used for this because we need it to load a constant
2083 // which will be added to the value that NAL stores in RA. And we can't
2084 // use T9 for this in the context of the JNI compiler, which uses it
2085 // as a scratch register (see InterproceduralScratchRegister()).
2086 // If we were to add a 32-bit constant to RA using two ADDIU instructions,
2087 // we'd also need to use the ROTR instruction, which requires no less than
2088 // MIPSR2.
2089 // Perhaps, we could use T8 or one of R2's multiplier/divider registers
2090 // (LO or HI) or even a floating-point register, but that doesn't seem
2091 // like a nice solution. We may want this to work on both R6 and pre-R6.
2092 // For now simply use the stack for RA. This should be OK since for the
2093 // vast majority of code a short PC-relative branch is sufficient.
2094 // TODO: can this be improved?
2095 Push(RA);
2096 Nal();
2097 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2098 Lui(AT, High16Bits(offset));
2099 Ori(AT, AT, Low16Bits(offset));
2100 Addu(AT, AT, RA);
2101 Lw(RA, SP, 0);
2102 Jr(AT);
2103 DecreaseFrameSize(kMipsWordSize);
2104 break;
2105 case Branch::kLongCondBranch:
2106 // The comment on case 'Branch::kLongUncondBranch' applies here as well.
2107 // Note: the opposite condition branch encodes 8 as the distance, which is equal to the
2108 // number of instructions skipped:
2109 // (PUSH(IncreaseFrameSize(ADDIU) + SW) + NAL + LUI + ORI + ADDU + LW + JR).
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002110 EmitBcondR2(Branch::OppositeCondition(condition), lhs, rhs, 8);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002111 Push(RA);
2112 Nal();
2113 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2114 Lui(AT, High16Bits(offset));
2115 Ori(AT, AT, Low16Bits(offset));
2116 Addu(AT, AT, RA);
2117 Lw(RA, SP, 0);
2118 Jr(AT);
2119 DecreaseFrameSize(kMipsWordSize);
2120 break;
2121 case Branch::kLongCall:
2122 Nal();
2123 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2124 Lui(AT, High16Bits(offset));
2125 Ori(AT, AT, Low16Bits(offset));
2126 Addu(lhs, AT, RA);
2127 Jalr(lhs);
2128 Nop();
2129 break;
2130
2131 // R6 short branches.
2132 case Branch::kR6UncondBranch:
2133 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2134 Bc(offset);
2135 break;
2136 case Branch::kR6CondBranch:
2137 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002138 EmitBcondR6(condition, lhs, rhs, offset);
2139 Nop(); // TODO: improve by filling the forbidden/delay slot.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002140 break;
2141 case Branch::kR6Call:
2142 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2143 Addiupc(lhs, offset);
2144 Jialc(lhs, 0);
2145 break;
2146
2147 // R6 long branches.
2148 case Branch::kR6LongUncondBranch:
2149 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
2150 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2151 Auipc(AT, High16Bits(offset));
2152 Jic(AT, Low16Bits(offset));
2153 break;
2154 case Branch::kR6LongCondBranch:
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002155 EmitBcondR6(Branch::OppositeCondition(condition), lhs, rhs, 2);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002156 offset += (offset & 0x8000) << 1; // Account for sign extension in jic.
2157 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2158 Auipc(AT, High16Bits(offset));
2159 Jic(AT, Low16Bits(offset));
2160 break;
2161 case Branch::kR6LongCall:
2162 offset += (offset & 0x8000) << 1; // Account for sign extension in addiu.
2163 CHECK_EQ(overwrite_location_, branch->GetOffsetLocation());
2164 Auipc(lhs, High16Bits(offset));
2165 Addiu(lhs, lhs, Low16Bits(offset));
2166 Jialc(lhs, 0);
2167 break;
2168 }
2169 CHECK_EQ(overwrite_location_, branch->GetEndLocation());
2170 CHECK_LT(branch->GetSize(), static_cast<uint32_t>(Branch::kMaxBranchSize));
2171}
2172
2173void MipsAssembler::B(MipsLabel* label) {
2174 Buncond(label);
2175}
2176
2177void MipsAssembler::Jalr(MipsLabel* label, Register indirect_reg) {
2178 Call(label, indirect_reg);
2179}
2180
2181void MipsAssembler::Beq(Register rs, Register rt, MipsLabel* label) {
2182 Bcond(label, kCondEQ, rs, rt);
2183}
2184
2185void MipsAssembler::Bne(Register rs, Register rt, MipsLabel* label) {
2186 Bcond(label, kCondNE, rs, rt);
2187}
2188
2189void MipsAssembler::Beqz(Register rt, MipsLabel* label) {
2190 Bcond(label, kCondEQZ, rt);
2191}
2192
2193void MipsAssembler::Bnez(Register rt, MipsLabel* label) {
2194 Bcond(label, kCondNEZ, rt);
2195}
2196
2197void MipsAssembler::Bltz(Register rt, MipsLabel* label) {
2198 Bcond(label, kCondLTZ, rt);
2199}
2200
2201void MipsAssembler::Bgez(Register rt, MipsLabel* label) {
2202 Bcond(label, kCondGEZ, rt);
2203}
2204
2205void MipsAssembler::Blez(Register rt, MipsLabel* label) {
2206 Bcond(label, kCondLEZ, rt);
2207}
2208
2209void MipsAssembler::Bgtz(Register rt, MipsLabel* label) {
2210 Bcond(label, kCondGTZ, rt);
2211}
2212
2213void MipsAssembler::Blt(Register rs, Register rt, MipsLabel* label) {
2214 if (IsR6()) {
2215 Bcond(label, kCondLT, rs, rt);
2216 } else if (!Branch::IsNop(kCondLT, rs, rt)) {
2217 // Synthesize the instruction (not available on R2).
2218 Slt(AT, rs, rt);
2219 Bnez(AT, label);
2220 }
2221}
2222
2223void MipsAssembler::Bge(Register rs, Register rt, MipsLabel* label) {
2224 if (IsR6()) {
2225 Bcond(label, kCondGE, rs, rt);
2226 } else if (Branch::IsUncond(kCondGE, rs, rt)) {
2227 B(label);
2228 } else {
2229 // Synthesize the instruction (not available on R2).
2230 Slt(AT, rs, rt);
2231 Beqz(AT, label);
2232 }
2233}
2234
2235void MipsAssembler::Bltu(Register rs, Register rt, MipsLabel* label) {
2236 if (IsR6()) {
2237 Bcond(label, kCondLTU, rs, rt);
2238 } else if (!Branch::IsNop(kCondLTU, rs, rt)) {
2239 // Synthesize the instruction (not available on R2).
2240 Sltu(AT, rs, rt);
2241 Bnez(AT, label);
2242 }
2243}
2244
2245void MipsAssembler::Bgeu(Register rs, Register rt, MipsLabel* label) {
2246 if (IsR6()) {
2247 Bcond(label, kCondGEU, rs, rt);
2248 } else if (Branch::IsUncond(kCondGEU, rs, rt)) {
2249 B(label);
2250 } else {
2251 // Synthesize the instruction (not available on R2).
2252 Sltu(AT, rs, rt);
2253 Beqz(AT, label);
jeffhao7fbee072012-08-24 17:56:54 -07002254 }
2255}
2256
Chris Larsenb74353a2015-11-20 09:07:09 -08002257void MipsAssembler::Bc1f(MipsLabel* label) {
2258 Bc1f(0, label);
2259}
2260
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002261void MipsAssembler::Bc1f(int cc, MipsLabel* label) {
2262 CHECK(IsUint<3>(cc)) << cc;
2263 Bcond(label, kCondF, static_cast<Register>(cc), ZERO);
2264}
2265
Chris Larsenb74353a2015-11-20 09:07:09 -08002266void MipsAssembler::Bc1t(MipsLabel* label) {
2267 Bc1t(0, label);
2268}
2269
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -08002270void MipsAssembler::Bc1t(int cc, MipsLabel* label) {
2271 CHECK(IsUint<3>(cc)) << cc;
2272 Bcond(label, kCondT, static_cast<Register>(cc), ZERO);
2273}
2274
2275void MipsAssembler::Bc1eqz(FRegister ft, MipsLabel* label) {
2276 Bcond(label, kCondF, static_cast<Register>(ft), ZERO);
2277}
2278
2279void MipsAssembler::Bc1nez(FRegister ft, MipsLabel* label) {
2280 Bcond(label, kCondT, static_cast<Register>(ft), ZERO);
2281}
2282
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002283void MipsAssembler::AdjustBaseAndOffset(Register& base,
2284 int32_t& offset,
2285 bool is_doubleword,
2286 bool is_float) {
2287 // This method is used to adjust the base register and offset pair
2288 // for a load/store when the offset doesn't fit into int16_t.
2289 // It is assumed that `base + offset` is sufficiently aligned for memory
2290 // operands that are machine word in size or smaller. For doubleword-sized
2291 // operands it's assumed that `base` is a multiple of 8, while `offset`
2292 // may be a multiple of 4 (e.g. 4-byte-aligned long and double arguments
2293 // and spilled variables on the stack accessed relative to the stack
2294 // pointer register).
2295 // We preserve the "alignment" of `offset` by adjusting it by a multiple of 8.
2296 CHECK_NE(base, AT); // Must not overwrite the register `base` while loading `offset`.
2297
2298 bool doubleword_aligned = IsAligned<kMipsDoublewordSize>(offset);
2299 bool two_accesses = is_doubleword && (!is_float || !doubleword_aligned);
2300
2301 // IsInt<16> must be passed a signed value, hence the static cast below.
2302 if (IsInt<16>(offset) &&
2303 (!two_accesses || IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)))) {
2304 // Nothing to do: `offset` (and, if needed, `offset + 4`) fits into int16_t.
2305 return;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002306 }
2307
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002308 // Remember the "(mis)alignment" of `offset`, it will be checked at the end.
2309 uint32_t misalignment = offset & (kMipsDoublewordSize - 1);
2310
2311 // Do not load the whole 32-bit `offset` if it can be represented as
2312 // a sum of two 16-bit signed offsets. This can save an instruction or two.
2313 // To simplify matters, only do this for a symmetric range of offsets from
2314 // about -64KB to about +64KB, allowing further addition of 4 when accessing
2315 // 64-bit variables with two 32-bit accesses.
2316 constexpr int32_t kMinOffsetForSimpleAdjustment = 0x7ff8; // Max int16_t that's a multiple of 8.
2317 constexpr int32_t kMaxOffsetForSimpleAdjustment = 2 * kMinOffsetForSimpleAdjustment;
2318 if (0 <= offset && offset <= kMaxOffsetForSimpleAdjustment) {
2319 Addiu(AT, base, kMinOffsetForSimpleAdjustment);
2320 offset -= kMinOffsetForSimpleAdjustment;
2321 } else if (-kMaxOffsetForSimpleAdjustment <= offset && offset < 0) {
2322 Addiu(AT, base, -kMinOffsetForSimpleAdjustment);
2323 offset += kMinOffsetForSimpleAdjustment;
2324 } else if (IsR6()) {
2325 // On R6 take advantage of the aui instruction, e.g.:
2326 // aui AT, base, offset_high
2327 // lw reg_lo, offset_low(AT)
2328 // lw reg_hi, (offset_low+4)(AT)
2329 // or when offset_low+4 overflows int16_t:
2330 // aui AT, base, offset_high
2331 // addiu AT, AT, 8
2332 // lw reg_lo, (offset_low-8)(AT)
2333 // lw reg_hi, (offset_low-4)(AT)
2334 int16_t offset_high = High16Bits(offset);
2335 int16_t offset_low = Low16Bits(offset);
2336 offset_high += (offset_low < 0) ? 1 : 0; // Account for offset sign extension in load/store.
2337 Aui(AT, base, offset_high);
2338 if (two_accesses && !IsInt<16>(static_cast<int32_t>(offset_low + kMipsWordSize))) {
2339 // Avoid overflow in the 16-bit offset of the load/store instruction when adding 4.
2340 Addiu(AT, AT, kMipsDoublewordSize);
2341 offset_low -= kMipsDoublewordSize;
2342 }
2343 offset = offset_low;
2344 } else {
2345 // Do not load the whole 32-bit `offset` if it can be represented as
2346 // a sum of three 16-bit signed offsets. This can save an instruction.
2347 // To simplify matters, only do this for a symmetric range of offsets from
2348 // about -96KB to about +96KB, allowing further addition of 4 when accessing
2349 // 64-bit variables with two 32-bit accesses.
2350 constexpr int32_t kMinOffsetForMediumAdjustment = 2 * kMinOffsetForSimpleAdjustment;
2351 constexpr int32_t kMaxOffsetForMediumAdjustment = 3 * kMinOffsetForSimpleAdjustment;
2352 if (0 <= offset && offset <= kMaxOffsetForMediumAdjustment) {
2353 Addiu(AT, base, kMinOffsetForMediumAdjustment / 2);
2354 Addiu(AT, AT, kMinOffsetForMediumAdjustment / 2);
2355 offset -= kMinOffsetForMediumAdjustment;
2356 } else if (-kMaxOffsetForMediumAdjustment <= offset && offset < 0) {
2357 Addiu(AT, base, -kMinOffsetForMediumAdjustment / 2);
2358 Addiu(AT, AT, -kMinOffsetForMediumAdjustment / 2);
2359 offset += kMinOffsetForMediumAdjustment;
2360 } else {
2361 // Now that all shorter options have been exhausted, load the full 32-bit offset.
2362 int32_t loaded_offset = RoundDown(offset, kMipsDoublewordSize);
2363 LoadConst32(AT, loaded_offset);
2364 Addu(AT, AT, base);
2365 offset -= loaded_offset;
2366 }
2367 }
2368 base = AT;
2369
2370 CHECK(IsInt<16>(offset));
2371 if (two_accesses) {
2372 CHECK(IsInt<16>(static_cast<int32_t>(offset + kMipsWordSize)));
2373 }
2374 CHECK_EQ(misalignment, offset & (kMipsDoublewordSize - 1));
2375}
2376
2377void MipsAssembler::LoadFromOffset(LoadOperandType type, Register reg, Register base,
2378 int32_t offset) {
2379 AdjustBaseAndOffset(base, offset, /* is_doubleword */ (type == kLoadDoubleword));
jeffhao7fbee072012-08-24 17:56:54 -07002380 switch (type) {
2381 case kLoadSignedByte:
2382 Lb(reg, base, offset);
2383 break;
2384 case kLoadUnsignedByte:
2385 Lbu(reg, base, offset);
2386 break;
2387 case kLoadSignedHalfword:
2388 Lh(reg, base, offset);
2389 break;
2390 case kLoadUnsignedHalfword:
2391 Lhu(reg, base, offset);
2392 break;
2393 case kLoadWord:
2394 Lw(reg, base, offset);
2395 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002396 case kLoadDoubleword:
2397 if (reg == base) {
2398 // This will clobber the base when loading the lower register. Since we have to load the
2399 // higher register as well, this will fail. Solution: reverse the order.
2400 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
2401 Lw(reg, base, offset);
2402 } else {
2403 Lw(reg, base, offset);
2404 Lw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
2405 }
jeffhao7fbee072012-08-24 17:56:54 -07002406 break;
2407 default:
2408 LOG(FATAL) << "UNREACHABLE";
2409 }
2410}
2411
2412void MipsAssembler::LoadSFromOffset(FRegister reg, Register base, int32_t offset) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002413 AdjustBaseAndOffset(base, offset, /* is_doubleword */ false, /* is_float */ true);
jeffhao7fbee072012-08-24 17:56:54 -07002414 Lwc1(reg, base, offset);
2415}
2416
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002417void MipsAssembler::LoadDFromOffset(FRegister reg, Register base, int32_t offset) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002418 AdjustBaseAndOffset(base, offset, /* is_doubleword */ true, /* is_float */ true);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002419 if (offset & 0x7) {
2420 if (Is32BitFPU()) {
2421 Lwc1(reg, base, offset);
2422 Lwc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
2423 } else {
2424 // 64-bit FPU.
2425 Lwc1(reg, base, offset);
2426 Lw(T8, base, offset + kMipsWordSize);
2427 Mthc1(T8, reg);
2428 }
2429 } else {
2430 Ldc1(reg, base, offset);
2431 }
2432}
2433
2434void MipsAssembler::EmitLoad(ManagedRegister m_dst, Register src_register, int32_t src_offset,
2435 size_t size) {
2436 MipsManagedRegister dst = m_dst.AsMips();
2437 if (dst.IsNoRegister()) {
2438 CHECK_EQ(0u, size) << dst;
2439 } else if (dst.IsCoreRegister()) {
2440 CHECK_EQ(kMipsWordSize, size) << dst;
2441 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
2442 } else if (dst.IsRegisterPair()) {
2443 CHECK_EQ(kMipsDoublewordSize, size) << dst;
2444 LoadFromOffset(kLoadDoubleword, dst.AsRegisterPairLow(), src_register, src_offset);
2445 } else if (dst.IsFRegister()) {
2446 if (size == kMipsWordSize) {
2447 LoadSFromOffset(dst.AsFRegister(), src_register, src_offset);
2448 } else {
2449 CHECK_EQ(kMipsDoublewordSize, size) << dst;
2450 LoadDFromOffset(dst.AsFRegister(), src_register, src_offset);
2451 }
2452 }
jeffhao7fbee072012-08-24 17:56:54 -07002453}
2454
2455void MipsAssembler::StoreToOffset(StoreOperandType type, Register reg, Register base,
2456 int32_t offset) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002457 // Must not use AT as `reg`, so as not to overwrite the value being stored
2458 // with the adjusted `base`.
2459 CHECK_NE(reg, AT);
2460 AdjustBaseAndOffset(base, offset, /* is_doubleword */ (type == kStoreDoubleword));
jeffhao7fbee072012-08-24 17:56:54 -07002461 switch (type) {
2462 case kStoreByte:
2463 Sb(reg, base, offset);
2464 break;
2465 case kStoreHalfword:
2466 Sh(reg, base, offset);
2467 break;
2468 case kStoreWord:
2469 Sw(reg, base, offset);
2470 break;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002471 case kStoreDoubleword:
2472 CHECK_NE(reg, base);
2473 CHECK_NE(static_cast<Register>(reg + 1), base);
2474 Sw(reg, base, offset);
2475 Sw(static_cast<Register>(reg + 1), base, offset + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002476 break;
2477 default:
2478 LOG(FATAL) << "UNREACHABLE";
2479 }
2480}
2481
Goran Jakovljevicff734982015-08-24 12:58:55 +00002482void MipsAssembler::StoreSToOffset(FRegister reg, Register base, int32_t offset) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002483 AdjustBaseAndOffset(base, offset, /* is_doubleword */ false, /* is_float */ true);
jeffhao7fbee072012-08-24 17:56:54 -07002484 Swc1(reg, base, offset);
2485}
2486
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002487void MipsAssembler::StoreDToOffset(FRegister reg, Register base, int32_t offset) {
Alexey Frunzecad3a4c2016-06-07 23:40:37 -07002488 AdjustBaseAndOffset(base, offset, /* is_doubleword */ true, /* is_float */ true);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002489 if (offset & 0x7) {
2490 if (Is32BitFPU()) {
2491 Swc1(reg, base, offset);
2492 Swc1(static_cast<FRegister>(reg + 1), base, offset + kMipsWordSize);
2493 } else {
2494 // 64-bit FPU.
2495 Mfhc1(T8, reg);
2496 Swc1(reg, base, offset);
2497 Sw(T8, base, offset + kMipsWordSize);
2498 }
2499 } else {
2500 Sdc1(reg, base, offset);
2501 }
jeffhao7fbee072012-08-24 17:56:54 -07002502}
2503
David Srbeckydd973932015-04-07 20:29:48 +01002504static dwarf::Reg DWARFReg(Register reg) {
2505 return dwarf::Reg::MipsCore(static_cast<int>(reg));
2506}
2507
Ian Rogers790a6b72014-04-01 10:36:00 -07002508constexpr size_t kFramePointerSize = 4;
2509
Vladimir Marko32248382016-05-19 10:37:24 +01002510void MipsAssembler::BuildFrame(size_t frame_size,
2511 ManagedRegister method_reg,
2512 ArrayRef<const ManagedRegister> callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +07002513 const ManagedRegisterEntrySpills& entry_spills) {
jeffhao7fbee072012-08-24 17:56:54 -07002514 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002515 DCHECK(!overwriting_);
jeffhao7fbee072012-08-24 17:56:54 -07002516
2517 // Increase frame to required size.
2518 IncreaseFrameSize(frame_size);
2519
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002520 // Push callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07002521 int stack_offset = frame_size - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002522 StoreToOffset(kStoreWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002523 cfi_.RelOffset(DWARFReg(RA), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07002524 for (int i = callee_save_regs.size() - 1; i >= 0; --i) {
Ian Rogers790a6b72014-04-01 10:36:00 -07002525 stack_offset -= kFramePointerSize;
Vladimir Marko32248382016-05-19 10:37:24 +01002526 Register reg = callee_save_regs[i].AsMips().AsCoreRegister();
jeffhao7fbee072012-08-24 17:56:54 -07002527 StoreToOffset(kStoreWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002528 cfi_.RelOffset(DWARFReg(reg), stack_offset);
jeffhao7fbee072012-08-24 17:56:54 -07002529 }
2530
2531 // Write out Method*.
2532 StoreToOffset(kStoreWord, method_reg.AsMips().AsCoreRegister(), SP, 0);
2533
2534 // Write out entry spills.
Goran Jakovljevicff734982015-08-24 12:58:55 +00002535 int32_t offset = frame_size + kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002536 for (size_t i = 0; i < entry_spills.size(); ++i) {
Goran Jakovljevicff734982015-08-24 12:58:55 +00002537 MipsManagedRegister reg = entry_spills.at(i).AsMips();
2538 if (reg.IsNoRegister()) {
2539 ManagedRegisterSpill spill = entry_spills.at(i);
2540 offset += spill.getSize();
2541 } else if (reg.IsCoreRegister()) {
2542 StoreToOffset(kStoreWord, reg.AsCoreRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002543 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00002544 } else if (reg.IsFRegister()) {
2545 StoreSToOffset(reg.AsFRegister(), SP, offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002546 offset += kMipsWordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00002547 } else if (reg.IsDRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002548 StoreDToOffset(reg.AsOverlappingDRegisterLow(), SP, offset);
2549 offset += kMipsDoublewordSize;
Goran Jakovljevicff734982015-08-24 12:58:55 +00002550 }
jeffhao7fbee072012-08-24 17:56:54 -07002551 }
2552}
2553
2554void MipsAssembler::RemoveFrame(size_t frame_size,
Vladimir Marko32248382016-05-19 10:37:24 +01002555 ArrayRef<const ManagedRegister> callee_save_regs) {
jeffhao7fbee072012-08-24 17:56:54 -07002556 CHECK_ALIGNED(frame_size, kStackAlignment);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002557 DCHECK(!overwriting_);
David Srbeckydd973932015-04-07 20:29:48 +01002558 cfi_.RememberState();
jeffhao7fbee072012-08-24 17:56:54 -07002559
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002560 // Pop callee saves and return address.
Ian Rogers790a6b72014-04-01 10:36:00 -07002561 int stack_offset = frame_size - (callee_save_regs.size() * kFramePointerSize) - kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002562 for (size_t i = 0; i < callee_save_regs.size(); ++i) {
Vladimir Marko32248382016-05-19 10:37:24 +01002563 Register reg = callee_save_regs[i].AsMips().AsCoreRegister();
jeffhao7fbee072012-08-24 17:56:54 -07002564 LoadFromOffset(kLoadWord, reg, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002565 cfi_.Restore(DWARFReg(reg));
Ian Rogers790a6b72014-04-01 10:36:00 -07002566 stack_offset += kFramePointerSize;
jeffhao7fbee072012-08-24 17:56:54 -07002567 }
2568 LoadFromOffset(kLoadWord, RA, SP, stack_offset);
David Srbeckydd973932015-04-07 20:29:48 +01002569 cfi_.Restore(DWARFReg(RA));
jeffhao7fbee072012-08-24 17:56:54 -07002570
2571 // Decrease frame to required size.
2572 DecreaseFrameSize(frame_size);
jeffhao07030602012-09-26 14:33:14 -07002573
2574 // Then jump to the return address.
2575 Jr(RA);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002576 Nop();
David Srbeckydd973932015-04-07 20:29:48 +01002577
2578 // The CFI should be restored for any code that follows the exit block.
2579 cfi_.RestoreState();
2580 cfi_.DefCFAOffset(frame_size);
jeffhao7fbee072012-08-24 17:56:54 -07002581}
2582
2583void MipsAssembler::IncreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002584 CHECK_ALIGNED(adjust, kFramePointerSize);
2585 Addiu32(SP, SP, -adjust);
David Srbeckydd973932015-04-07 20:29:48 +01002586 cfi_.AdjustCFAOffset(adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002587 if (overwriting_) {
2588 cfi_.OverrideDelayedPC(overwrite_location_);
2589 }
jeffhao7fbee072012-08-24 17:56:54 -07002590}
2591
2592void MipsAssembler::DecreaseFrameSize(size_t adjust) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002593 CHECK_ALIGNED(adjust, kFramePointerSize);
2594 Addiu32(SP, SP, adjust);
David Srbeckydd973932015-04-07 20:29:48 +01002595 cfi_.AdjustCFAOffset(-adjust);
Vladimir Marko10ef6942015-10-22 15:25:54 +01002596 if (overwriting_) {
2597 cfi_.OverrideDelayedPC(overwrite_location_);
2598 }
jeffhao7fbee072012-08-24 17:56:54 -07002599}
2600
2601void MipsAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
2602 MipsManagedRegister src = msrc.AsMips();
2603 if (src.IsNoRegister()) {
2604 CHECK_EQ(0u, size);
2605 } else if (src.IsCoreRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002606 CHECK_EQ(kMipsWordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07002607 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2608 } else if (src.IsRegisterPair()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002609 CHECK_EQ(kMipsDoublewordSize, size);
jeffhao7fbee072012-08-24 17:56:54 -07002610 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
2611 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002612 SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002613 } else if (src.IsFRegister()) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002614 if (size == kMipsWordSize) {
2615 StoreSToOffset(src.AsFRegister(), SP, dest.Int32Value());
2616 } else {
2617 CHECK_EQ(kMipsDoublewordSize, size);
2618 StoreDToOffset(src.AsFRegister(), SP, dest.Int32Value());
2619 }
jeffhao7fbee072012-08-24 17:56:54 -07002620 }
2621}
2622
2623void MipsAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
2624 MipsManagedRegister src = msrc.AsMips();
2625 CHECK(src.IsCoreRegister());
2626 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2627}
2628
2629void MipsAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
2630 MipsManagedRegister src = msrc.AsMips();
2631 CHECK(src.IsCoreRegister());
2632 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2633}
2634
2635void MipsAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
2636 ManagedRegister mscratch) {
2637 MipsManagedRegister scratch = mscratch.AsMips();
2638 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002639 LoadConst32(scratch.AsCoreRegister(), imm);
jeffhao7fbee072012-08-24 17:56:54 -07002640 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2641}
2642
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002643void MipsAssembler::StoreImmediateToThread32(ThreadOffset<kMipsWordSize> dest, uint32_t imm,
jeffhao7fbee072012-08-24 17:56:54 -07002644 ManagedRegister mscratch) {
2645 MipsManagedRegister scratch = mscratch.AsMips();
2646 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002647 // Is this function even referenced anywhere else in the code?
2648 LoadConst32(scratch.AsCoreRegister(), imm);
2649 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), S1, dest.Int32Value());
2650}
2651
2652void MipsAssembler::StoreStackOffsetToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2653 FrameOffset fr_offs,
2654 ManagedRegister mscratch) {
2655 MipsManagedRegister scratch = mscratch.AsMips();
2656 CHECK(scratch.IsCoreRegister()) << scratch;
2657 Addiu32(scratch.AsCoreRegister(), SP, fr_offs.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002658 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2659 S1, thr_offs.Int32Value());
2660}
2661
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002662void MipsAssembler::StoreStackPointerToThread32(ThreadOffset<kMipsWordSize> thr_offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002663 StoreToOffset(kStoreWord, SP, S1, thr_offs.Int32Value());
2664}
2665
2666void MipsAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
2667 FrameOffset in_off, ManagedRegister mscratch) {
2668 MipsManagedRegister src = msrc.AsMips();
2669 MipsManagedRegister scratch = mscratch.AsMips();
2670 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
2671 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002672 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002673}
2674
2675void MipsAssembler::Load(ManagedRegister mdest, FrameOffset src, size_t size) {
2676 return EmitLoad(mdest, SP, src.Int32Value(), size);
2677}
2678
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002679void MipsAssembler::LoadFromThread32(ManagedRegister mdest,
2680 ThreadOffset<kMipsWordSize> src, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002681 return EmitLoad(mdest, S1, src.Int32Value(), size);
2682}
2683
2684void MipsAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
2685 MipsManagedRegister dest = mdest.AsMips();
2686 CHECK(dest.IsCoreRegister());
2687 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), SP, src.Int32Value());
2688}
2689
Mathieu Chartiere401d142015-04-22 13:56:20 -07002690void MipsAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +01002691 bool unpoison_reference) {
jeffhao7fbee072012-08-24 17:56:54 -07002692 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002693 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002694 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2695 base.AsMips().AsCoreRegister(), offs.Int32Value());
Roland Levillain4d027112015-07-01 15:41:14 +01002696 if (kPoisonHeapReferences && unpoison_reference) {
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -08002697 Subu(dest.AsCoreRegister(), ZERO, dest.AsCoreRegister());
2698 }
jeffhao7fbee072012-08-24 17:56:54 -07002699}
2700
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002701void MipsAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base, Offset offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002702 MipsManagedRegister dest = mdest.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002703 CHECK(dest.IsCoreRegister() && base.AsMips().IsCoreRegister());
jeffhao7fbee072012-08-24 17:56:54 -07002704 LoadFromOffset(kLoadWord, dest.AsCoreRegister(),
2705 base.AsMips().AsCoreRegister(), offs.Int32Value());
2706}
2707
Ian Rogersdd7624d2014-03-14 17:43:00 -07002708void MipsAssembler::LoadRawPtrFromThread32(ManagedRegister mdest,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002709 ThreadOffset<kMipsWordSize> offs) {
jeffhao7fbee072012-08-24 17:56:54 -07002710 MipsManagedRegister dest = mdest.AsMips();
2711 CHECK(dest.IsCoreRegister());
2712 LoadFromOffset(kLoadWord, dest.AsCoreRegister(), S1, offs.Int32Value());
2713}
2714
2715void MipsAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2716 UNIMPLEMENTED(FATAL) << "no sign extension necessary for mips";
2717}
2718
2719void MipsAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
2720 UNIMPLEMENTED(FATAL) << "no zero extension necessary for mips";
2721}
2722
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002723void MipsAssembler::Move(ManagedRegister mdest, ManagedRegister msrc, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002724 MipsManagedRegister dest = mdest.AsMips();
2725 MipsManagedRegister src = msrc.AsMips();
2726 if (!dest.Equals(src)) {
2727 if (dest.IsCoreRegister()) {
2728 CHECK(src.IsCoreRegister()) << src;
2729 Move(dest.AsCoreRegister(), src.AsCoreRegister());
2730 } else if (dest.IsFRegister()) {
2731 CHECK(src.IsFRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002732 if (size == kMipsWordSize) {
2733 MovS(dest.AsFRegister(), src.AsFRegister());
2734 } else {
2735 CHECK_EQ(kMipsDoublewordSize, size);
2736 MovD(dest.AsFRegister(), src.AsFRegister());
2737 }
jeffhao7fbee072012-08-24 17:56:54 -07002738 } else if (dest.IsDRegister()) {
2739 CHECK(src.IsDRegister()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002740 MovD(dest.AsOverlappingDRegisterLow(), src.AsOverlappingDRegisterLow());
jeffhao7fbee072012-08-24 17:56:54 -07002741 } else {
2742 CHECK(dest.IsRegisterPair()) << dest;
2743 CHECK(src.IsRegisterPair()) << src;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002744 // Ensure that the first move doesn't clobber the input of the second.
jeffhao7fbee072012-08-24 17:56:54 -07002745 if (src.AsRegisterPairHigh() != dest.AsRegisterPairLow()) {
2746 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2747 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2748 } else {
2749 Move(dest.AsRegisterPairHigh(), src.AsRegisterPairHigh());
2750 Move(dest.AsRegisterPairLow(), src.AsRegisterPairLow());
2751 }
2752 }
2753 }
2754}
2755
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002756void MipsAssembler::CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002757 MipsManagedRegister scratch = mscratch.AsMips();
2758 CHECK(scratch.IsCoreRegister()) << scratch;
2759 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2760 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
2761}
2762
Ian Rogersdd7624d2014-03-14 17:43:00 -07002763void MipsAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002764 ThreadOffset<kMipsWordSize> thr_offs,
2765 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002766 MipsManagedRegister scratch = mscratch.AsMips();
2767 CHECK(scratch.IsCoreRegister()) << scratch;
2768 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2769 S1, thr_offs.Int32Value());
2770 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2771 SP, fr_offs.Int32Value());
2772}
2773
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002774void MipsAssembler::CopyRawPtrToThread32(ThreadOffset<kMipsWordSize> thr_offs,
2775 FrameOffset fr_offs,
2776 ManagedRegister mscratch) {
jeffhao7fbee072012-08-24 17:56:54 -07002777 MipsManagedRegister scratch = mscratch.AsMips();
2778 CHECK(scratch.IsCoreRegister()) << scratch;
2779 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2780 SP, fr_offs.Int32Value());
2781 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
2782 S1, thr_offs.Int32Value());
2783}
2784
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002785void MipsAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
jeffhao7fbee072012-08-24 17:56:54 -07002786 MipsManagedRegister scratch = mscratch.AsMips();
2787 CHECK(scratch.IsCoreRegister()) << scratch;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002788 CHECK(size == kMipsWordSize || size == kMipsDoublewordSize) << size;
2789 if (size == kMipsWordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002790 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2791 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002792 } else if (size == kMipsDoublewordSize) {
jeffhao7fbee072012-08-24 17:56:54 -07002793 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
2794 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002795 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + kMipsWordSize);
2796 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002797 }
2798}
2799
2800void MipsAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
2801 ManagedRegister mscratch, size_t size) {
2802 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002803 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002804 LoadFromOffset(kLoadWord, scratch, src_base.AsMips().AsCoreRegister(), src_offset.Int32Value());
2805 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
2806}
2807
2808void MipsAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
2809 ManagedRegister mscratch, size_t size) {
2810 Register scratch = mscratch.AsMips().AsCoreRegister();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002811 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002812 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
2813 StoreToOffset(kStoreWord, scratch, dest_base.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2814}
2815
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002816void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2817 FrameOffset src_base ATTRIBUTE_UNUSED,
2818 Offset src_offset ATTRIBUTE_UNUSED,
2819 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2820 size_t size ATTRIBUTE_UNUSED) {
2821 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002822}
2823
2824void MipsAssembler::Copy(ManagedRegister dest, Offset dest_offset,
2825 ManagedRegister src, Offset src_offset,
2826 ManagedRegister mscratch, size_t size) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002827 CHECK_EQ(size, kMipsWordSize);
jeffhao7fbee072012-08-24 17:56:54 -07002828 Register scratch = mscratch.AsMips().AsCoreRegister();
2829 LoadFromOffset(kLoadWord, scratch, src.AsMips().AsCoreRegister(), src_offset.Int32Value());
2830 StoreToOffset(kStoreWord, scratch, dest.AsMips().AsCoreRegister(), dest_offset.Int32Value());
2831}
2832
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002833void MipsAssembler::Copy(FrameOffset dest ATTRIBUTE_UNUSED,
2834 Offset dest_offset ATTRIBUTE_UNUSED,
2835 FrameOffset src ATTRIBUTE_UNUSED,
2836 Offset src_offset ATTRIBUTE_UNUSED,
2837 ManagedRegister mscratch ATTRIBUTE_UNUSED,
2838 size_t size ATTRIBUTE_UNUSED) {
2839 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002840}
2841
2842void MipsAssembler::MemoryBarrier(ManagedRegister) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002843 // TODO: sync?
2844 UNIMPLEMENTED(FATAL) << "no MIPS implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002845}
2846
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002847void MipsAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002848 FrameOffset handle_scope_offset,
2849 ManagedRegister min_reg,
2850 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002851 MipsManagedRegister out_reg = mout_reg.AsMips();
2852 MipsManagedRegister in_reg = min_reg.AsMips();
2853 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
2854 CHECK(out_reg.IsCoreRegister()) << out_reg;
2855 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002856 MipsLabel null_arg;
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002857 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2858 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002859 // E.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset).
jeffhao7fbee072012-08-24 17:56:54 -07002860 if (in_reg.IsNoRegister()) {
2861 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002862 SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002863 in_reg = out_reg;
2864 }
2865 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002866 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002867 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002868 Beqz(in_reg.AsCoreRegister(), &null_arg);
2869 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2870 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002871 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002872 Addiu32(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002873 }
2874}
2875
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002876void MipsAssembler::CreateHandleScopeEntry(FrameOffset out_off,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002877 FrameOffset handle_scope_offset,
2878 ManagedRegister mscratch,
2879 bool null_allowed) {
jeffhao7fbee072012-08-24 17:56:54 -07002880 MipsManagedRegister scratch = mscratch.AsMips();
2881 CHECK(scratch.IsCoreRegister()) << scratch;
2882 if (null_allowed) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002883 MipsLabel null_arg;
2884 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002885 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
2886 // the address in the handle scope holding the reference.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002887 // E.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset).
2888 Beqz(scratch.AsCoreRegister(), &null_arg);
2889 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
2890 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002891 } else {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002892 Addiu32(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002893 }
2894 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
2895}
2896
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002897// Given a handle scope entry, load the associated reference.
2898void MipsAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002899 ManagedRegister min_reg) {
jeffhao7fbee072012-08-24 17:56:54 -07002900 MipsManagedRegister out_reg = mout_reg.AsMips();
2901 MipsManagedRegister in_reg = min_reg.AsMips();
2902 CHECK(out_reg.IsCoreRegister()) << out_reg;
2903 CHECK(in_reg.IsCoreRegister()) << in_reg;
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002904 MipsLabel null_arg;
jeffhao7fbee072012-08-24 17:56:54 -07002905 if (!out_reg.Equals(in_reg)) {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002906 LoadConst32(out_reg.AsCoreRegister(), 0);
jeffhao7fbee072012-08-24 17:56:54 -07002907 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002908 Beqz(in_reg.AsCoreRegister(), &null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002909 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
2910 in_reg.AsCoreRegister(), 0);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002911 Bind(&null_arg);
jeffhao7fbee072012-08-24 17:56:54 -07002912}
2913
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002914void MipsAssembler::VerifyObject(ManagedRegister src ATTRIBUTE_UNUSED,
2915 bool could_be_null ATTRIBUTE_UNUSED) {
2916 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002917}
2918
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002919void MipsAssembler::VerifyObject(FrameOffset src ATTRIBUTE_UNUSED,
2920 bool could_be_null ATTRIBUTE_UNUSED) {
2921 // TODO: not validating references.
jeffhao7fbee072012-08-24 17:56:54 -07002922}
2923
2924void MipsAssembler::Call(ManagedRegister mbase, Offset offset, ManagedRegister mscratch) {
2925 MipsManagedRegister base = mbase.AsMips();
2926 MipsManagedRegister scratch = mscratch.AsMips();
2927 CHECK(base.IsCoreRegister()) << base;
2928 CHECK(scratch.IsCoreRegister()) << scratch;
2929 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2930 base.AsCoreRegister(), offset.Int32Value());
2931 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002932 Nop();
2933 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002934}
2935
2936void MipsAssembler::Call(FrameOffset base, Offset offset, ManagedRegister mscratch) {
2937 MipsManagedRegister scratch = mscratch.AsMips();
2938 CHECK(scratch.IsCoreRegister()) << scratch;
2939 // Call *(*(SP + base) + offset)
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002940 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, base.Int32Value());
jeffhao7fbee072012-08-24 17:56:54 -07002941 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
2942 scratch.AsCoreRegister(), offset.Int32Value());
2943 Jalr(scratch.AsCoreRegister());
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002944 Nop();
2945 // TODO: place reference map on call.
jeffhao7fbee072012-08-24 17:56:54 -07002946}
2947
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002948void MipsAssembler::CallFromThread32(ThreadOffset<kMipsWordSize> offset ATTRIBUTE_UNUSED,
2949 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
Ian Rogers468532e2013-08-05 10:56:33 -07002950 UNIMPLEMENTED(FATAL) << "no mips implementation";
jeffhao7fbee072012-08-24 17:56:54 -07002951}
2952
2953void MipsAssembler::GetCurrentThread(ManagedRegister tr) {
2954 Move(tr.AsMips().AsCoreRegister(), S1);
2955}
2956
2957void MipsAssembler::GetCurrentThread(FrameOffset offset,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002958 ManagedRegister mscratch ATTRIBUTE_UNUSED) {
jeffhao7fbee072012-08-24 17:56:54 -07002959 StoreToOffset(kStoreWord, S1, SP, offset.Int32Value());
2960}
2961
jeffhao7fbee072012-08-24 17:56:54 -07002962void MipsAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
2963 MipsManagedRegister scratch = mscratch.AsMips();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002964 exception_blocks_.emplace_back(scratch, stack_adjust);
jeffhao7fbee072012-08-24 17:56:54 -07002965 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002966 S1, Thread::ExceptionOffset<kMipsWordSize>().Int32Value());
2967 // TODO: on MIPS32R6 prefer Bnezc(scratch.AsCoreRegister(), slow.Entry());
2968 // as the NAL instruction (occurring in long R2 branches) may become deprecated.
2969 // For now use common for R2 and R6 instructions as this code must execute on both.
2970 Bnez(scratch.AsCoreRegister(), exception_blocks_.back().Entry());
jeffhao7fbee072012-08-24 17:56:54 -07002971}
2972
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002973void MipsAssembler::EmitExceptionPoll(MipsExceptionSlowPath* exception) {
2974 Bind(exception->Entry());
2975 if (exception->stack_adjust_ != 0) { // Fix up the frame.
2976 DecreaseFrameSize(exception->stack_adjust_);
jeffhao7fbee072012-08-24 17:56:54 -07002977 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +02002978 // Pass exception object as argument.
2979 // Don't care about preserving A0 as this call won't return.
2980 CheckEntrypointTypes<kQuickDeliverException, void, mirror::Object*>();
2981 Move(A0, exception->scratch_.AsCoreRegister());
2982 // Set up call to Thread::Current()->pDeliverException.
2983 LoadFromOffset(kLoadWord, T9, S1,
2984 QUICK_ENTRYPOINT_OFFSET(kMipsWordSize, pDeliverException).Int32Value());
2985 Jr(T9);
2986 Nop();
2987
2988 // Call never returns.
2989 Break();
jeffhao7fbee072012-08-24 17:56:54 -07002990}
2991
2992} // namespace mips
2993} // namespace art