blob: a7179fd1dccb1924391f2e62fcc53414dd450439 [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
Ian Rogers166db042013-07-26 12:05:57 -070017#ifndef ART_COMPILER_UTILS_MIPS_ASSEMBLER_MIPS_H_
18#define ART_COMPILER_UTILS_MIPS_ASSEMBLER_MIPS_H_
jeffhao7fbee072012-08-24 17:56:54 -070019
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020020#include <utility>
jeffhao7fbee072012-08-24 17:56:54 -070021#include <vector>
Elliott Hughes76160052012-12-12 16:31:20 -080022
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020023#include "arch/mips/instruction_set_features_mips.h"
Elliott Hughes76160052012-12-12 16:31:20 -080024#include "base/macros.h"
jeffhao7fbee072012-08-24 17:56:54 -070025#include "constants_mips.h"
26#include "globals.h"
27#include "managed_register_mips.h"
jeffhao7fbee072012-08-24 17:56:54 -070028#include "offsets.h"
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020029#include "utils/assembler.h"
30#include "utils/label.h"
jeffhao7fbee072012-08-24 17:56:54 -070031
32namespace art {
33namespace mips {
jeffhao7fbee072012-08-24 17:56:54 -070034
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020035static constexpr size_t kMipsWordSize = 4;
36static constexpr size_t kMipsDoublewordSize = 8;
37
jeffhao7fbee072012-08-24 17:56:54 -070038enum LoadOperandType {
39 kLoadSignedByte,
40 kLoadUnsignedByte,
41 kLoadSignedHalfword,
42 kLoadUnsignedHalfword,
43 kLoadWord,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020044 kLoadDoubleword
jeffhao7fbee072012-08-24 17:56:54 -070045};
46
47enum StoreOperandType {
48 kStoreByte,
49 kStoreHalfword,
50 kStoreWord,
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020051 kStoreDoubleword
52};
53
Chris Larsenb74353a2015-11-20 09:07:09 -080054// Used to test the values returned by ClassS/ClassD.
55enum FPClassMaskType {
56 kSignalingNaN = 0x001,
57 kQuietNaN = 0x002,
58 kNegativeInfinity = 0x004,
59 kNegativeNormal = 0x008,
60 kNegativeSubnormal = 0x010,
61 kNegativeZero = 0x020,
62 kPositiveInfinity = 0x040,
63 kPositiveNormal = 0x080,
64 kPositiveSubnormal = 0x100,
65 kPositiveZero = 0x200,
66};
67
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020068class MipsLabel : public Label {
69 public:
70 MipsLabel() : prev_branch_id_plus_one_(0) {}
71
72 MipsLabel(MipsLabel&& src)
73 : Label(std::move(src)), prev_branch_id_plus_one_(src.prev_branch_id_plus_one_) {}
74
75 private:
76 uint32_t prev_branch_id_plus_one_; // To get distance from preceding branch, if any.
77
78 friend class MipsAssembler;
79 DISALLOW_COPY_AND_ASSIGN(MipsLabel);
80};
81
82// Slowpath entered when Thread::Current()->_exception is non-null.
83class MipsExceptionSlowPath {
84 public:
85 explicit MipsExceptionSlowPath(MipsManagedRegister scratch, size_t stack_adjust)
86 : scratch_(scratch), stack_adjust_(stack_adjust) {}
87
88 MipsExceptionSlowPath(MipsExceptionSlowPath&& src)
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -080089 : scratch_(src.scratch_),
90 stack_adjust_(src.stack_adjust_),
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020091 exception_entry_(std::move(src.exception_entry_)) {}
92
93 private:
94 MipsLabel* Entry() { return &exception_entry_; }
95 const MipsManagedRegister scratch_;
96 const size_t stack_adjust_;
97 MipsLabel exception_entry_;
98
99 friend class MipsAssembler;
100 DISALLOW_COPY_AND_ASSIGN(MipsExceptionSlowPath);
jeffhao7fbee072012-08-24 17:56:54 -0700101};
102
Ian Rogersdd7624d2014-03-14 17:43:00 -0700103class MipsAssembler FINAL : public Assembler {
jeffhao7fbee072012-08-24 17:56:54 -0700104 public:
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200105 explicit MipsAssembler(const MipsInstructionSetFeatures* instruction_set_features = nullptr)
106 : overwriting_(false),
107 overwrite_location_(0),
108 last_position_adjustment_(0),
109 last_old_position_(0),
110 last_branch_id_(0),
Vladimir Marko10ef6942015-10-22 15:25:54 +0100111 isa_features_(instruction_set_features) {
112 cfi().DelayEmittingAdvancePCs();
113 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200114
115 virtual ~MipsAssembler() {
116 for (auto& branch : branches_) {
117 CHECK(branch.IsResolved());
118 }
119 }
jeffhao7fbee072012-08-24 17:56:54 -0700120
121 // Emit Machine Instructions.
jeffhao7fbee072012-08-24 17:56:54 -0700122 void Addu(Register rd, Register rs, Register rt);
jeffhao7fbee072012-08-24 17:56:54 -0700123 void Addiu(Register rt, Register rs, uint16_t imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700124 void Subu(Register rd, Register rs, Register rt);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200125
126 void MultR2(Register rs, Register rt); // R2
127 void MultuR2(Register rs, Register rt); // R2
128 void DivR2(Register rs, Register rt); // R2
129 void DivuR2(Register rs, Register rt); // R2
130 void MulR2(Register rd, Register rs, Register rt); // R2
131 void DivR2(Register rd, Register rs, Register rt); // R2
132 void ModR2(Register rd, Register rs, Register rt); // R2
133 void DivuR2(Register rd, Register rs, Register rt); // R2
134 void ModuR2(Register rd, Register rs, Register rt); // R2
135 void MulR6(Register rd, Register rs, Register rt); // R6
Alexey Frunze7e99e052015-11-24 19:28:01 -0800136 void MuhR6(Register rd, Register rs, Register rt); // R6
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200137 void MuhuR6(Register rd, Register rs, Register rt); // R6
138 void DivR6(Register rd, Register rs, Register rt); // R6
139 void ModR6(Register rd, Register rs, Register rt); // R6
140 void DivuR6(Register rd, Register rs, Register rt); // R6
141 void ModuR6(Register rd, Register rs, Register rt); // R6
jeffhao7fbee072012-08-24 17:56:54 -0700142
143 void And(Register rd, Register rs, Register rt);
144 void Andi(Register rt, Register rs, uint16_t imm16);
145 void Or(Register rd, Register rs, Register rt);
146 void Ori(Register rt, Register rs, uint16_t imm16);
147 void Xor(Register rd, Register rs, Register rt);
148 void Xori(Register rt, Register rs, uint16_t imm16);
149 void Nor(Register rd, Register rs, Register rt);
150
Chris Larsene3845472015-11-18 12:27:15 -0800151 void Movz(Register rd, Register rs, Register rt); // R2
152 void Movn(Register rd, Register rs, Register rt); // R2
153 void Seleqz(Register rd, Register rs, Register rt); // R6
154 void Selnez(Register rd, Register rs, Register rt); // R6
155 void ClzR6(Register rd, Register rs);
156 void ClzR2(Register rd, Register rs);
157 void CloR6(Register rd, Register rs);
158 void CloR2(Register rd, Register rs);
159
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200160 void Seb(Register rd, Register rt); // R2+
161 void Seh(Register rd, Register rt); // R2+
Chris Larsen3f8bf652015-10-28 10:08:56 -0700162 void Wsbh(Register rd, Register rt); // R2+
Chris Larsen70014c82015-11-18 12:26:08 -0800163 void Bitswap(Register rd, Register rt); // R6
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200164
165 void Sll(Register rd, Register rt, int shamt);
166 void Srl(Register rd, Register rt, int shamt);
Chris Larsen3f8bf652015-10-28 10:08:56 -0700167 void Rotr(Register rd, Register rt, int shamt); // R2+
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200168 void Sra(Register rd, Register rt, int shamt);
169 void Sllv(Register rd, Register rt, Register rs);
170 void Srlv(Register rd, Register rt, Register rs);
Chris Larsene16ce5a2015-11-18 12:30:20 -0800171 void Rotrv(Register rd, Register rt, Register rs); // R2+
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200172 void Srav(Register rd, Register rt, Register rs);
Alexey Frunze5c7aed32015-11-25 19:41:54 -0800173 void Ext(Register rd, Register rt, int pos, int size); // R2+
174 void Ins(Register rd, Register rt, int pos, int size); // R2+
jeffhao7fbee072012-08-24 17:56:54 -0700175
176 void Lb(Register rt, Register rs, uint16_t imm16);
177 void Lh(Register rt, Register rs, uint16_t imm16);
178 void Lw(Register rt, Register rs, uint16_t imm16);
Chris Larsen3acee732015-11-18 13:31:08 -0800179 void Lwl(Register rt, Register rs, uint16_t imm16);
180 void Lwr(Register rt, Register rs, uint16_t imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700181 void Lbu(Register rt, Register rs, uint16_t imm16);
182 void Lhu(Register rt, Register rs, uint16_t imm16);
183 void Lui(Register rt, uint16_t imm16);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200184 void Sync(uint32_t stype);
185 void Mfhi(Register rd); // R2
186 void Mflo(Register rd); // R2
jeffhao7fbee072012-08-24 17:56:54 -0700187
188 void Sb(Register rt, Register rs, uint16_t imm16);
189 void Sh(Register rt, Register rs, uint16_t imm16);
190 void Sw(Register rt, Register rs, uint16_t imm16);
Chris Larsen3acee732015-11-18 13:31:08 -0800191 void Swl(Register rt, Register rs, uint16_t imm16);
192 void Swr(Register rt, Register rs, uint16_t imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700193
194 void Slt(Register rd, Register rs, Register rt);
195 void Sltu(Register rd, Register rs, Register rt);
196 void Slti(Register rt, Register rs, uint16_t imm16);
197 void Sltiu(Register rt, Register rs, uint16_t imm16);
198
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200199 void B(uint16_t imm16);
200 void Beq(Register rs, Register rt, uint16_t imm16);
201 void Bne(Register rs, Register rt, uint16_t imm16);
202 void Beqz(Register rt, uint16_t imm16);
203 void Bnez(Register rt, uint16_t imm16);
204 void Bltz(Register rt, uint16_t imm16);
205 void Bgez(Register rt, uint16_t imm16);
206 void Blez(Register rt, uint16_t imm16);
207 void Bgtz(Register rt, uint16_t imm16);
Chris Larsenb74353a2015-11-20 09:07:09 -0800208 void Bc1f(uint16_t imm16); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800209 void Bc1f(int cc, uint16_t imm16); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800210 void Bc1t(uint16_t imm16); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800211 void Bc1t(int cc, uint16_t imm16); // R2
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200212 void J(uint32_t addr26);
213 void Jal(uint32_t addr26);
214 void Jalr(Register rd, Register rs);
jeffhao7fbee072012-08-24 17:56:54 -0700215 void Jalr(Register rs);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200216 void Jr(Register rs);
217 void Nal();
218 void Auipc(Register rs, uint16_t imm16); // R6
219 void Addiupc(Register rs, uint32_t imm19); // R6
220 void Bc(uint32_t imm26); // R6
221 void Jic(Register rt, uint16_t imm16); // R6
222 void Jialc(Register rt, uint16_t imm16); // R6
223 void Bltc(Register rs, Register rt, uint16_t imm16); // R6
224 void Bltzc(Register rt, uint16_t imm16); // R6
225 void Bgtzc(Register rt, uint16_t imm16); // R6
226 void Bgec(Register rs, Register rt, uint16_t imm16); // R6
227 void Bgezc(Register rt, uint16_t imm16); // R6
228 void Blezc(Register rt, uint16_t imm16); // R6
229 void Bltuc(Register rs, Register rt, uint16_t imm16); // R6
230 void Bgeuc(Register rs, Register rt, uint16_t imm16); // R6
231 void Beqc(Register rs, Register rt, uint16_t imm16); // R6
232 void Bnec(Register rs, Register rt, uint16_t imm16); // R6
233 void Beqzc(Register rs, uint32_t imm21); // R6
234 void Bnezc(Register rs, uint32_t imm21); // R6
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800235 void Bc1eqz(FRegister ft, uint16_t imm16); // R6
236 void Bc1nez(FRegister ft, uint16_t imm16); // R6
jeffhao7fbee072012-08-24 17:56:54 -0700237
238 void AddS(FRegister fd, FRegister fs, FRegister ft);
239 void SubS(FRegister fd, FRegister fs, FRegister ft);
240 void MulS(FRegister fd, FRegister fs, FRegister ft);
241 void DivS(FRegister fd, FRegister fs, FRegister ft);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200242 void AddD(FRegister fd, FRegister fs, FRegister ft);
243 void SubD(FRegister fd, FRegister fs, FRegister ft);
244 void MulD(FRegister fd, FRegister fs, FRegister ft);
245 void DivD(FRegister fd, FRegister fs, FRegister ft);
Chris Larsenb74353a2015-11-20 09:07:09 -0800246 void SqrtS(FRegister fd, FRegister fs);
247 void SqrtD(FRegister fd, FRegister fs);
248 void AbsS(FRegister fd, FRegister fs);
249 void AbsD(FRegister fd, FRegister fs);
jeffhao7fbee072012-08-24 17:56:54 -0700250 void MovS(FRegister fd, FRegister fs);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200251 void MovD(FRegister fd, FRegister fs);
252 void NegS(FRegister fd, FRegister fs);
253 void NegD(FRegister fd, FRegister fs);
254
Chris Larsenb74353a2015-11-20 09:07:09 -0800255 void CunS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800256 void CunS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800257 void CeqS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800258 void CeqS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800259 void CueqS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800260 void CueqS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800261 void ColtS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800262 void ColtS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800263 void CultS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800264 void CultS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800265 void ColeS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800266 void ColeS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800267 void CuleS(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800268 void CuleS(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800269 void CunD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800270 void CunD(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800271 void CeqD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800272 void CeqD(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800273 void CueqD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800274 void CueqD(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800275 void ColtD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800276 void ColtD(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800277 void CultD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800278 void CultD(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800279 void ColeD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800280 void ColeD(int cc, FRegister fs, FRegister ft); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800281 void CuleD(FRegister fs, FRegister ft); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800282 void CuleD(int cc, FRegister fs, FRegister ft); // R2
283 void CmpUnS(FRegister fd, FRegister fs, FRegister ft); // R6
284 void CmpEqS(FRegister fd, FRegister fs, FRegister ft); // R6
285 void CmpUeqS(FRegister fd, FRegister fs, FRegister ft); // R6
286 void CmpLtS(FRegister fd, FRegister fs, FRegister ft); // R6
287 void CmpUltS(FRegister fd, FRegister fs, FRegister ft); // R6
288 void CmpLeS(FRegister fd, FRegister fs, FRegister ft); // R6
289 void CmpUleS(FRegister fd, FRegister fs, FRegister ft); // R6
290 void CmpOrS(FRegister fd, FRegister fs, FRegister ft); // R6
291 void CmpUneS(FRegister fd, FRegister fs, FRegister ft); // R6
292 void CmpNeS(FRegister fd, FRegister fs, FRegister ft); // R6
293 void CmpUnD(FRegister fd, FRegister fs, FRegister ft); // R6
294 void CmpEqD(FRegister fd, FRegister fs, FRegister ft); // R6
295 void CmpUeqD(FRegister fd, FRegister fs, FRegister ft); // R6
296 void CmpLtD(FRegister fd, FRegister fs, FRegister ft); // R6
297 void CmpUltD(FRegister fd, FRegister fs, FRegister ft); // R6
298 void CmpLeD(FRegister fd, FRegister fs, FRegister ft); // R6
299 void CmpUleD(FRegister fd, FRegister fs, FRegister ft); // R6
300 void CmpOrD(FRegister fd, FRegister fs, FRegister ft); // R6
301 void CmpUneD(FRegister fd, FRegister fs, FRegister ft); // R6
302 void CmpNeD(FRegister fd, FRegister fs, FRegister ft); // R6
Chris Larsenb74353a2015-11-20 09:07:09 -0800303 void Movf(Register rd, Register rs, int cc = 0); // R2
304 void Movt(Register rd, Register rs, int cc = 0); // R2
305 void MovfS(FRegister fd, FRegister fs, int cc = 0); // R2
306 void MovfD(FRegister fd, FRegister fs, int cc = 0); // R2
307 void MovtS(FRegister fd, FRegister fs, int cc = 0); // R2
308 void MovtD(FRegister fd, FRegister fs, int cc = 0); // R2
309 void SelS(FRegister fd, FRegister fs, FRegister ft); // R6
310 void SelD(FRegister fd, FRegister fs, FRegister ft); // R6
311 void ClassS(FRegister fd, FRegister fs); // R6
312 void ClassD(FRegister fd, FRegister fs); // R6
313 void MinS(FRegister fd, FRegister fs, FRegister ft); // R6
314 void MinD(FRegister fd, FRegister fs, FRegister ft); // R6
315 void MaxS(FRegister fd, FRegister fs, FRegister ft); // R6
316 void MaxD(FRegister fd, FRegister fs, FRegister ft); // R6
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800317
Alexey Frunzebaf60b72015-12-22 15:15:03 -0800318 void TruncLS(FRegister fd, FRegister fs); // R2+, FR=1
319 void TruncLD(FRegister fd, FRegister fs); // R2+, FR=1
320 void TruncWS(FRegister fd, FRegister fs);
321 void TruncWD(FRegister fd, FRegister fs);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200322 void Cvtsw(FRegister fd, FRegister fs);
323 void Cvtdw(FRegister fd, FRegister fs);
324 void Cvtsd(FRegister fd, FRegister fs);
325 void Cvtds(FRegister fd, FRegister fs);
Alexey Frunzebaf60b72015-12-22 15:15:03 -0800326 void Cvtsl(FRegister fd, FRegister fs); // R2+, FR=1
327 void Cvtdl(FRegister fd, FRegister fs); // R2+, FR=1
Chris Larsenb74353a2015-11-20 09:07:09 -0800328 void FloorWS(FRegister fd, FRegister fs);
329 void FloorWD(FRegister fd, FRegister fs);
jeffhao7fbee072012-08-24 17:56:54 -0700330
331 void Mfc1(Register rt, FRegister fs);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200332 void Mtc1(Register rt, FRegister fs);
333 void Mfhc1(Register rt, FRegister fs);
334 void Mthc1(Register rt, FRegister fs);
Alexey Frunzebb9863a2016-01-11 15:51:16 -0800335 void MoveFromFpuHigh(Register rt, FRegister fs);
336 void MoveToFpuHigh(Register rt, FRegister fs);
jeffhao7fbee072012-08-24 17:56:54 -0700337 void Lwc1(FRegister ft, Register rs, uint16_t imm16);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200338 void Ldc1(FRegister ft, Register rs, uint16_t imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700339 void Swc1(FRegister ft, Register rs, uint16_t imm16);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200340 void Sdc1(FRegister ft, Register rs, uint16_t imm16);
jeffhao7fbee072012-08-24 17:56:54 -0700341
342 void Break();
jeffhao07030602012-09-26 14:33:14 -0700343 void Nop();
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200344 void Move(Register rd, Register rs);
345 void Clear(Register rd);
346 void Not(Register rd, Register rs);
jeffhao7fbee072012-08-24 17:56:54 -0700347
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200348 // Higher level composite instructions.
349 void LoadConst32(Register rd, int32_t value);
350 void LoadConst64(Register reg_hi, Register reg_lo, int64_t value);
351 void LoadDConst64(FRegister rd, int64_t value, Register temp);
352 void LoadSConst32(FRegister r, int32_t value, Register temp);
353 void StoreConst32ToOffset(int32_t value, Register base, int32_t offset, Register temp);
354 void StoreConst64ToOffset(int64_t value, Register base, int32_t offset, Register temp);
355 void Addiu32(Register rt, Register rs, int32_t value, Register rtmp = AT);
356
357 // These will generate R2 branches or R6 branches as appropriate.
358 void Bind(MipsLabel* label);
359 void B(MipsLabel* label);
360 void Jalr(MipsLabel* label, Register indirect_reg);
361 void Beq(Register rs, Register rt, MipsLabel* label);
362 void Bne(Register rs, Register rt, MipsLabel* label);
363 void Beqz(Register rt, MipsLabel* label);
364 void Bnez(Register rt, MipsLabel* label);
365 void Bltz(Register rt, MipsLabel* label);
366 void Bgez(Register rt, MipsLabel* label);
367 void Blez(Register rt, MipsLabel* label);
368 void Bgtz(Register rt, MipsLabel* label);
369 void Blt(Register rs, Register rt, MipsLabel* label);
370 void Bge(Register rs, Register rt, MipsLabel* label);
371 void Bltu(Register rs, Register rt, MipsLabel* label);
372 void Bgeu(Register rs, Register rt, MipsLabel* label);
Chris Larsenb74353a2015-11-20 09:07:09 -0800373 void Bc1f(MipsLabel* label); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800374 void Bc1f(int cc, MipsLabel* label); // R2
Chris Larsenb74353a2015-11-20 09:07:09 -0800375 void Bc1t(MipsLabel* label); // R2
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800376 void Bc1t(int cc, MipsLabel* label); // R2
377 void Bc1eqz(FRegister ft, MipsLabel* label); // R6
378 void Bc1nez(FRegister ft, MipsLabel* label); // R6
jeffhao7fbee072012-08-24 17:56:54 -0700379
380 void EmitLoad(ManagedRegister m_dst, Register src_register, int32_t src_offset, size_t size);
381 void LoadFromOffset(LoadOperandType type, Register reg, Register base, int32_t offset);
382 void LoadSFromOffset(FRegister reg, Register base, int32_t offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200383 void LoadDFromOffset(FRegister reg, Register base, int32_t offset);
jeffhao7fbee072012-08-24 17:56:54 -0700384 void StoreToOffset(StoreOperandType type, Register reg, Register base, int32_t offset);
Goran Jakovljevicff734982015-08-24 12:58:55 +0000385 void StoreSToOffset(FRegister reg, Register base, int32_t offset);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200386 void StoreDToOffset(FRegister reg, Register base, int32_t offset);
jeffhao7fbee072012-08-24 17:56:54 -0700387
jeffhao7fbee072012-08-24 17:56:54 -0700388 // Emit data (e.g. encoded instruction or immediate) to the instruction stream.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200389 void Emit(uint32_t value);
390
391 // Push/pop composite routines.
392 void Push(Register rs);
393 void Pop(Register rd);
394 void PopAndReturn(Register rd, Register rt);
jeffhao7fbee072012-08-24 17:56:54 -0700395
Andreas Gampe85b62f22015-09-09 13:15:38 -0700396 void Bind(Label* label) OVERRIDE {
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200397 Bind(down_cast<MipsLabel*>(label));
Andreas Gampe85b62f22015-09-09 13:15:38 -0700398 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200399 void Jump(Label* label ATTRIBUTE_UNUSED) OVERRIDE {
400 UNIMPLEMENTED(FATAL) << "Do not use Jump for MIPS";
Andreas Gampe85b62f22015-09-09 13:15:38 -0700401 }
402
jeffhao7fbee072012-08-24 17:56:54 -0700403 //
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200404 // Overridden common assembler high-level functionality.
jeffhao7fbee072012-08-24 17:56:54 -0700405 //
406
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200407 // Emit code that will create an activation on the stack.
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800408 void BuildFrame(size_t frame_size,
409 ManagedRegister method_reg,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700410 const std::vector<ManagedRegister>& callee_save_regs,
411 const ManagedRegisterEntrySpills& entry_spills) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700412
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200413 // Emit code that will remove an activation from the stack.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700414 void RemoveFrame(size_t frame_size, const std::vector<ManagedRegister>& callee_save_regs)
415 OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700416
Ian Rogersdd7624d2014-03-14 17:43:00 -0700417 void IncreaseFrameSize(size_t adjust) OVERRIDE;
418 void DecreaseFrameSize(size_t adjust) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700419
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200420 // Store routines.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700421 void Store(FrameOffset offs, ManagedRegister msrc, size_t size) OVERRIDE;
422 void StoreRef(FrameOffset dest, ManagedRegister msrc) OVERRIDE;
423 void StoreRawPtr(FrameOffset dest, ManagedRegister msrc) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700424
Ian Rogersdd7624d2014-03-14 17:43:00 -0700425 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm, ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700426
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800427 void StoreImmediateToThread32(ThreadOffset<kMipsWordSize> dest,
428 uint32_t imm,
429 ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700430
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800431 void StoreStackOffsetToThread32(ThreadOffset<kMipsWordSize> thr_offs,
432 FrameOffset fr_offs,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700433 ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700434
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800435 void StoreStackPointerToThread32(ThreadOffset<kMipsWordSize> thr_offs) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700436
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800437 void StoreSpanning(FrameOffset dest,
438 ManagedRegister msrc,
439 FrameOffset in_off,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700440 ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700441
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200442 // Load routines.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700443 void Load(ManagedRegister mdest, FrameOffset src, size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700444
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800445 void LoadFromThread32(ManagedRegister mdest,
446 ThreadOffset<kMipsWordSize> src,
447 size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700448
Mathieu Chartiere401d142015-04-22 13:56:20 -0700449 void LoadRef(ManagedRegister dest, FrameOffset src) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700450
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800451 void LoadRef(ManagedRegister mdest,
452 ManagedRegister base,
453 MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +0100454 bool unpoison_reference) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700455
Ian Rogersdd7624d2014-03-14 17:43:00 -0700456 void LoadRawPtr(ManagedRegister mdest, ManagedRegister base, Offset offs) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700457
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800458 void LoadRawPtrFromThread32(ManagedRegister mdest, ThreadOffset<kMipsWordSize> offs) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700459
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200460 // Copying routines.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700461 void Move(ManagedRegister mdest, ManagedRegister msrc, size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700462
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800463 void CopyRawPtrFromThread32(FrameOffset fr_offs,
464 ThreadOffset<kMipsWordSize> thr_offs,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700465 ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700466
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800467 void CopyRawPtrToThread32(ThreadOffset<kMipsWordSize> thr_offs,
468 FrameOffset fr_offs,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700469 ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700470
Ian Rogersdd7624d2014-03-14 17:43:00 -0700471 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700472
Ian Rogersdd7624d2014-03-14 17:43:00 -0700473 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700474
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800475 void Copy(FrameOffset dest,
476 ManagedRegister src_base,
477 Offset src_offset,
478 ManagedRegister mscratch,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700479 size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700480
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800481 void Copy(ManagedRegister dest_base,
482 Offset dest_offset,
483 FrameOffset src,
484 ManagedRegister mscratch,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700485 size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700486
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800487 void Copy(FrameOffset dest,
488 FrameOffset src_base,
489 Offset src_offset,
490 ManagedRegister mscratch,
491 size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700492
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800493 void Copy(ManagedRegister dest,
494 Offset dest_offset,
495 ManagedRegister src,
496 Offset src_offset,
497 ManagedRegister mscratch,
498 size_t size) OVERRIDE;
499
500 void Copy(FrameOffset dest,
501 Offset dest_offset,
502 FrameOffset src,
503 Offset src_offset,
504 ManagedRegister mscratch,
505 size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700506
Ian Rogersdd7624d2014-03-14 17:43:00 -0700507 void MemoryBarrier(ManagedRegister) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700508
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200509 // Sign extension.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700510 void SignExtend(ManagedRegister mreg, size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700511
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200512 // Zero extension.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700513 void ZeroExtend(ManagedRegister mreg, size_t size) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700514
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200515 // Exploit fast access in managed code to Thread::Current().
Ian Rogersdd7624d2014-03-14 17:43:00 -0700516 void GetCurrentThread(ManagedRegister tr) OVERRIDE;
517 void GetCurrentThread(FrameOffset dest_offset, ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700518
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700519 // Set up out_reg to hold a Object** into the handle scope, or to be null if the
jeffhao7fbee072012-08-24 17:56:54 -0700520 // value is null and null_allowed. in_reg holds a possibly stale reference
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700521 // that can be used to avoid loading the handle scope entry to see if the value is
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700522 // null.
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800523 void CreateHandleScopeEntry(ManagedRegister out_reg,
524 FrameOffset handlescope_offset,
525 ManagedRegister in_reg,
526 bool null_allowed) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700527
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700528 // Set up out_off to hold a Object** into the handle scope, or to be null if the
jeffhao7fbee072012-08-24 17:56:54 -0700529 // value is null and null_allowed.
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800530 void CreateHandleScopeEntry(FrameOffset out_off,
531 FrameOffset handlescope_offset,
532 ManagedRegister mscratch,
533 bool null_allowed) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700534
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200535 // src holds a handle scope entry (Object**) load this into dst.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700536 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700537
538 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
539 // know that src may not be null.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700540 void VerifyObject(ManagedRegister src, bool could_be_null) OVERRIDE;
541 void VerifyObject(FrameOffset src, bool could_be_null) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700542
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200543 // Call to address held at [base+offset].
Ian Rogersdd7624d2014-03-14 17:43:00 -0700544 void Call(ManagedRegister base, Offset offset, ManagedRegister mscratch) OVERRIDE;
545 void Call(FrameOffset base, Offset offset, ManagedRegister mscratch) OVERRIDE;
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800546 void CallFromThread32(ThreadOffset<kMipsWordSize> offset, ManagedRegister mscratch) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700547
jeffhao7fbee072012-08-24 17:56:54 -0700548 // Generate code to check if Thread::Current()->exception_ is non-null
549 // and branch to a ExceptionSlowPath if it is.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700550 void ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) OVERRIDE;
jeffhao7fbee072012-08-24 17:56:54 -0700551
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200552 // Emit slow paths queued during assembly and promote short branches to long if needed.
553 void FinalizeCode() OVERRIDE;
554
555 // Emit branches and finalize all instructions.
556 void FinalizeInstructions(const MemoryRegion& region);
557
558 // Returns the (always-)current location of a label (can be used in class CodeGeneratorMIPS,
559 // must be used instead of MipsLabel::GetPosition()).
560 uint32_t GetLabelLocation(MipsLabel* label) const;
561
562 // Get the final position of a label after local fixup based on the old position
563 // recorded before FinalizeCode().
564 uint32_t GetAdjustedPosition(uint32_t old_position);
565
566 enum BranchCondition {
567 kCondLT,
568 kCondGE,
569 kCondLE,
570 kCondGT,
571 kCondLTZ,
572 kCondGEZ,
573 kCondLEZ,
574 kCondGTZ,
575 kCondEQ,
576 kCondNE,
577 kCondEQZ,
578 kCondNEZ,
579 kCondLTU,
580 kCondGEU,
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800581 kCondF, // Floating-point predicate false.
582 kCondT, // Floating-point predicate true.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200583 kUncond,
584 };
585 friend std::ostream& operator<<(std::ostream& os, const BranchCondition& rhs);
586
jeffhao7fbee072012-08-24 17:56:54 -0700587 private:
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200588 class Branch {
589 public:
590 enum Type {
591 // R2 short branches.
592 kUncondBranch,
593 kCondBranch,
594 kCall,
595 // R2 long branches.
596 kLongUncondBranch,
597 kLongCondBranch,
598 kLongCall,
599 // R6 short branches.
600 kR6UncondBranch,
601 kR6CondBranch,
602 kR6Call,
603 // R6 long branches.
604 kR6LongUncondBranch,
605 kR6LongCondBranch,
606 kR6LongCall,
607 };
608 // Bit sizes of offsets defined as enums to minimize chance of typos.
609 enum OffsetBits {
610 kOffset16 = 16,
611 kOffset18 = 18,
612 kOffset21 = 21,
613 kOffset23 = 23,
614 kOffset28 = 28,
615 kOffset32 = 32,
616 };
617
618 static constexpr uint32_t kUnresolved = 0xffffffff; // Unresolved target_
619 static constexpr int32_t kMaxBranchLength = 32;
620 static constexpr int32_t kMaxBranchSize = kMaxBranchLength * sizeof(uint32_t);
621
622 struct BranchInfo {
623 // Branch length as a number of 4-byte-long instructions.
624 uint32_t length;
625 // Ordinal number (0-based) of the first (or the only) instruction that contains the branch's
626 // PC-relative offset (or its most significant 16-bit half, which goes first).
627 uint32_t instr_offset;
628 // Different MIPS instructions with PC-relative offsets apply said offsets to slightly
629 // different origins, e.g. to PC or PC+4. Encode the origin distance (as a number of 4-byte
630 // instructions) from the instruction containing the offset.
631 uint32_t pc_org;
632 // How large (in bits) a PC-relative offset can be for a given type of branch (kR6CondBranch
633 // is an exception: use kOffset23 for beqzc/bnezc).
634 OffsetBits offset_size;
635 // Some MIPS instructions with PC-relative offsets shift the offset by 2. Encode the shift
636 // count.
637 int offset_shift;
638 };
639 static const BranchInfo branch_info_[/* Type */];
640
641 // Unconditional branch.
642 Branch(bool is_r6, uint32_t location, uint32_t target);
643 // Conditional branch.
644 Branch(bool is_r6,
645 uint32_t location,
646 uint32_t target,
647 BranchCondition condition,
648 Register lhs_reg,
649 Register rhs_reg = ZERO);
650 // Call (branch and link) that stores the target address in a given register (i.e. T9).
651 Branch(bool is_r6, uint32_t location, uint32_t target, Register indirect_reg);
652
653 // Some conditional branches with lhs = rhs are effectively NOPs, while some
654 // others are effectively unconditional. MIPSR6 conditional branches require lhs != rhs.
655 // So, we need a way to identify such branches in order to emit no instructions for them
656 // or change them to unconditional.
657 static bool IsNop(BranchCondition condition, Register lhs, Register rhs);
658 static bool IsUncond(BranchCondition condition, Register lhs, Register rhs);
659
660 static BranchCondition OppositeCondition(BranchCondition cond);
661
662 Type GetType() const;
663 BranchCondition GetCondition() const;
664 Register GetLeftRegister() const;
665 Register GetRightRegister() const;
666 uint32_t GetTarget() const;
667 uint32_t GetLocation() const;
668 uint32_t GetOldLocation() const;
669 uint32_t GetLength() const;
670 uint32_t GetOldLength() const;
671 uint32_t GetSize() const;
672 uint32_t GetOldSize() const;
673 uint32_t GetEndLocation() const;
674 uint32_t GetOldEndLocation() const;
675 bool IsLong() const;
676 bool IsResolved() const;
677
678 // Returns the bit size of the signed offset that the branch instruction can handle.
679 OffsetBits GetOffsetSize() const;
680
681 // Calculates the distance between two byte locations in the assembler buffer and
682 // returns the number of bits needed to represent the distance as a signed integer.
683 //
684 // Branch instructions have signed offsets of 16, 19 (addiupc), 21 (beqzc/bnezc),
685 // and 26 (bc) bits, which are additionally shifted left 2 positions at run time.
686 //
687 // Composite branches (made of several instructions) with longer reach have 32-bit
688 // offsets encoded as 2 16-bit "halves" in two instructions (high half goes first).
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800689 // The composite branches cover the range of PC + +/-2GB on MIPS32 CPUs. However,
690 // the range is not end-to-end on MIPS64 (unless addresses are forced to zero- or
691 // sign-extend from 32 to 64 bits by the appropriate CPU configuration).
692 // Consider the following implementation of a long unconditional branch, for
693 // example:
694 //
695 // auipc at, offset_31_16 // at = pc + sign_extend(offset_31_16) << 16
696 // jic at, offset_15_0 // pc = at + sign_extend(offset_15_0)
697 //
698 // Both of the above instructions take 16-bit signed offsets as immediate operands.
699 // When bit 15 of offset_15_0 is 1, it effectively causes subtraction of 0x10000
700 // due to sign extension. This must be compensated for by incrementing offset_31_16
701 // by 1. offset_31_16 can only be incremented by 1 if it's not 0x7FFF. If it is
702 // 0x7FFF, adding 1 will overflow the positive offset into the negative range.
703 // Therefore, the long branch range is something like from PC - 0x80000000 to
704 // PC + 0x7FFF7FFF, IOW, shorter by 32KB on one side.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200705 //
706 // The returned values are therefore: 18, 21, 23, 28 and 32. There's also a special
707 // case with the addiu instruction and a 16 bit offset.
708 static OffsetBits GetOffsetSizeNeeded(uint32_t location, uint32_t target);
709
710 // Resolve a branch when the target is known.
711 void Resolve(uint32_t target);
712
713 // Relocate a branch by a given delta if needed due to expansion of this or another
714 // branch at a given location by this delta (just changes location_ and target_).
715 void Relocate(uint32_t expand_location, uint32_t delta);
716
717 // If the branch is short, changes its type to long.
718 void PromoteToLong();
719
720 // If necessary, updates the type by promoting a short branch to a long branch
721 // based on the branch location and target. Returns the amount (in bytes) by
722 // which the branch size has increased.
723 // max_short_distance caps the maximum distance between location_ and target_
724 // that is allowed for short branches. This is for debugging/testing purposes.
725 // max_short_distance = 0 forces all short branches to become long.
726 // Use the implicit default argument when not debugging/testing.
727 uint32_t PromoteIfNeeded(uint32_t max_short_distance = std::numeric_limits<uint32_t>::max());
728
729 // Returns the location of the instruction(s) containing the offset.
730 uint32_t GetOffsetLocation() const;
731
732 // Calculates and returns the offset ready for encoding in the branch instruction(s).
733 uint32_t GetOffset() const;
734
735 private:
736 // Completes branch construction by determining and recording its type.
737 void InitializeType(bool is_call, bool is_r6);
738 // Helper for the above.
739 void InitShortOrLong(OffsetBits ofs_size, Type short_type, Type long_type);
740
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800741 uint32_t old_location_; // Offset into assembler buffer in bytes.
742 uint32_t location_; // Offset into assembler buffer in bytes.
743 uint32_t target_; // Offset into assembler buffer in bytes.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200744
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800745 uint32_t lhs_reg_; // Left-hand side register in conditional branches or
746 // indirect call register.
747 uint32_t rhs_reg_; // Right-hand side register in conditional branches.
748 BranchCondition condition_; // Condition for conditional branches.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200749
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800750 Type type_; // Current type of the branch.
751 Type old_type_; // Initial type of the branch.
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200752 };
753 friend std::ostream& operator<<(std::ostream& os, const Branch::Type& rhs);
754 friend std::ostream& operator<<(std::ostream& os, const Branch::OffsetBits& rhs);
755
jeffhao7fbee072012-08-24 17:56:54 -0700756 void EmitR(int opcode, Register rs, Register rt, Register rd, int shamt, int funct);
757 void EmitI(int opcode, Register rs, Register rt, uint16_t imm);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200758 void EmitI21(int opcode, Register rs, uint32_t imm21);
759 void EmitI26(int opcode, uint32_t imm26);
jeffhao7fbee072012-08-24 17:56:54 -0700760 void EmitFR(int opcode, int fmt, FRegister ft, FRegister fs, FRegister fd, int funct);
761 void EmitFI(int opcode, int fmt, FRegister rt, uint16_t imm);
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800762 void EmitBcondR2(BranchCondition cond, Register rs, Register rt, uint16_t imm16);
763 void EmitBcondR6(BranchCondition cond, Register rs, Register rt, uint32_t imm16_21);
jeffhao7fbee072012-08-24 17:56:54 -0700764
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200765 void Buncond(MipsLabel* label);
766 void Bcond(MipsLabel* label, BranchCondition condition, Register lhs, Register rhs = ZERO);
767 void Call(MipsLabel* label, Register indirect_reg);
768 void FinalizeLabeledBranch(MipsLabel* label);
jeffhao7fbee072012-08-24 17:56:54 -0700769
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200770 Branch* GetBranch(uint32_t branch_id);
771 const Branch* GetBranch(uint32_t branch_id) const;
772
773 void PromoteBranches();
774 void EmitBranch(Branch* branch);
775 void EmitBranches();
Vladimir Marko10ef6942015-10-22 15:25:54 +0100776 void PatchCFI(size_t number_of_delayed_adjust_pcs);
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200777
778 // Emits exception block.
779 void EmitExceptionPoll(MipsExceptionSlowPath* exception);
780
781 bool IsR6() const {
782 if (isa_features_ != nullptr) {
783 return isa_features_->IsR6();
784 } else {
785 return false;
786 }
Goran Jakovljevicff734982015-08-24 12:58:55 +0000787 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200788
789 bool Is32BitFPU() const {
790 if (isa_features_ != nullptr) {
791 return isa_features_->Is32BitFloatingPoint();
792 } else {
793 return true;
794 }
Goran Jakovljevicff734982015-08-24 12:58:55 +0000795 }
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200796
797 // List of exception blocks to generate at the end of the code cache.
798 std::vector<MipsExceptionSlowPath> exception_blocks_;
799
800 std::vector<Branch> branches_;
801
802 // Whether appending instructions at the end of the buffer or overwriting the existing ones.
803 bool overwriting_;
804 // The current overwrite location.
805 uint32_t overwrite_location_;
806
807 // Data for AdjustedPosition(), see the description there.
808 uint32_t last_position_adjustment_;
809 uint32_t last_old_position_;
810 uint32_t last_branch_id_;
811
812 const MipsInstructionSetFeatures* isa_features_;
Goran Jakovljevicff734982015-08-24 12:58:55 +0000813
jeffhao7fbee072012-08-24 17:56:54 -0700814 DISALLOW_COPY_AND_ASSIGN(MipsAssembler);
815};
816
jeffhao7fbee072012-08-24 17:56:54 -0700817} // namespace mips
818} // namespace art
819
Ian Rogers166db042013-07-26 12:05:57 -0700820#endif // ART_COMPILER_UTILS_MIPS_ASSEMBLER_MIPS_H_