blob: 08f74c04d1c7417d5d350a64af4404cf2e835a10 [file] [log] [blame]
Goran Jakovljevicf652cec2015-08-25 16:11:42 +02001/*
2 * Copyright (C) 2015 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#ifndef ART_COMPILER_OPTIMIZING_CODE_GENERATOR_MIPS_H_
18#define ART_COMPILER_OPTIMIZING_CODE_GENERATOR_MIPS_H_
19
20#include "code_generator.h"
21#include "dex/compiler_enums.h"
22#include "driver/compiler_options.h"
23#include "nodes.h"
24#include "parallel_move_resolver.h"
25#include "utils/mips/assembler_mips.h"
26
27namespace art {
28namespace mips {
29
30// InvokeDexCallingConvention registers
31
32static constexpr Register kParameterCoreRegisters[] =
33 { A1, A2, A3 };
34static constexpr size_t kParameterCoreRegistersLength = arraysize(kParameterCoreRegisters);
35
36static constexpr FRegister kParameterFpuRegisters[] =
37 { F12, F14 };
38static constexpr size_t kParameterFpuRegistersLength = arraysize(kParameterFpuRegisters);
39
40
41// InvokeRuntimeCallingConvention registers
42
43static constexpr Register kRuntimeParameterCoreRegisters[] =
44 { A0, A1, A2, A3 };
45static constexpr size_t kRuntimeParameterCoreRegistersLength =
46 arraysize(kRuntimeParameterCoreRegisters);
47
48static constexpr FRegister kRuntimeParameterFpuRegisters[] =
49 { F12, F14};
50static constexpr size_t kRuntimeParameterFpuRegistersLength =
51 arraysize(kRuntimeParameterFpuRegisters);
52
53
54static constexpr Register kCoreCalleeSaves[] =
55 { S0, S1, S2, S3, S4, S5, S6, S7, FP, RA };
56static constexpr FRegister kFpuCalleeSaves[] =
57 { F20, F22, F24, F26, F28, F30 };
58
59
60class CodeGeneratorMIPS;
61
62class InvokeDexCallingConvention : public CallingConvention<Register, FRegister> {
63 public:
64 InvokeDexCallingConvention()
65 : CallingConvention(kParameterCoreRegisters,
66 kParameterCoreRegistersLength,
67 kParameterFpuRegisters,
68 kParameterFpuRegistersLength,
69 kMipsPointerSize) {}
70
71 private:
72 DISALLOW_COPY_AND_ASSIGN(InvokeDexCallingConvention);
73};
74
75class InvokeDexCallingConventionVisitorMIPS : public InvokeDexCallingConventionVisitor {
76 public:
77 InvokeDexCallingConventionVisitorMIPS() {}
78 virtual ~InvokeDexCallingConventionVisitorMIPS() {}
79
80 Location GetNextLocation(Primitive::Type type) OVERRIDE;
81 Location GetReturnLocation(Primitive::Type type) const OVERRIDE;
82 Location GetMethodLocation() const OVERRIDE;
83
84 private:
85 InvokeDexCallingConvention calling_convention;
86
87 DISALLOW_COPY_AND_ASSIGN(InvokeDexCallingConventionVisitorMIPS);
88};
89
90class InvokeRuntimeCallingConvention : public CallingConvention<Register, FRegister> {
91 public:
92 InvokeRuntimeCallingConvention()
93 : CallingConvention(kRuntimeParameterCoreRegisters,
94 kRuntimeParameterCoreRegistersLength,
95 kRuntimeParameterFpuRegisters,
96 kRuntimeParameterFpuRegistersLength,
97 kMipsPointerSize) {}
98
99 Location GetReturnLocation(Primitive::Type return_type);
100
101 private:
102 DISALLOW_COPY_AND_ASSIGN(InvokeRuntimeCallingConvention);
103};
104
105class FieldAccessCallingConventionMIPS : public FieldAccessCallingConvention {
106 public:
107 FieldAccessCallingConventionMIPS() {}
108
109 Location GetObjectLocation() const OVERRIDE {
110 return Location::RegisterLocation(A1);
111 }
112 Location GetFieldIndexLocation() const OVERRIDE {
113 return Location::RegisterLocation(A0);
114 }
115 Location GetReturnLocation(Primitive::Type type) const OVERRIDE {
116 return Primitive::Is64BitType(type)
117 ? Location::RegisterPairLocation(V0, V1)
118 : Location::RegisterLocation(V0);
119 }
120 Location GetSetValueLocation(Primitive::Type type, bool is_instance) const OVERRIDE {
121 return Primitive::Is64BitType(type)
122 ? Location::RegisterPairLocation(A2, A3)
123 : (is_instance ? Location::RegisterLocation(A2) : Location::RegisterLocation(A1));
124 }
125 Location GetFpuLocation(Primitive::Type type ATTRIBUTE_UNUSED) const OVERRIDE {
126 return Location::FpuRegisterLocation(F0);
127 }
128
129 private:
130 DISALLOW_COPY_AND_ASSIGN(FieldAccessCallingConventionMIPS);
131};
132
133class ParallelMoveResolverMIPS : public ParallelMoveResolverWithSwap {
134 public:
135 ParallelMoveResolverMIPS(ArenaAllocator* allocator, CodeGeneratorMIPS* codegen)
136 : ParallelMoveResolverWithSwap(allocator), codegen_(codegen) {}
137
138 void EmitMove(size_t index) OVERRIDE;
139 void EmitSwap(size_t index) OVERRIDE;
140 void SpillScratch(int reg) OVERRIDE;
141 void RestoreScratch(int reg) OVERRIDE;
142
143 void Exchange(int index1, int index2, bool double_slot);
144
145 MipsAssembler* GetAssembler() const;
146
147 private:
148 CodeGeneratorMIPS* const codegen_;
149
150 DISALLOW_COPY_AND_ASSIGN(ParallelMoveResolverMIPS);
151};
152
153class SlowPathCodeMIPS : public SlowPathCode {
154 public:
David Srbecky9cd6d372016-02-09 15:24:47 +0000155 explicit SlowPathCodeMIPS(HInstruction* instruction)
156 : SlowPathCode(instruction), entry_label_(), exit_label_() {}
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200157
158 MipsLabel* GetEntryLabel() { return &entry_label_; }
159 MipsLabel* GetExitLabel() { return &exit_label_; }
160
161 private:
162 MipsLabel entry_label_;
163 MipsLabel exit_label_;
164
165 DISALLOW_COPY_AND_ASSIGN(SlowPathCodeMIPS);
166};
167
168class LocationsBuilderMIPS : public HGraphVisitor {
169 public:
170 LocationsBuilderMIPS(HGraph* graph, CodeGeneratorMIPS* codegen)
171 : HGraphVisitor(graph), codegen_(codegen) {}
172
173#define DECLARE_VISIT_INSTRUCTION(name, super) \
174 void Visit##name(H##name* instr) OVERRIDE;
175
176 FOR_EACH_CONCRETE_INSTRUCTION_COMMON(DECLARE_VISIT_INSTRUCTION)
177 FOR_EACH_CONCRETE_INSTRUCTION_MIPS(DECLARE_VISIT_INSTRUCTION)
178
179#undef DECLARE_VISIT_INSTRUCTION
180
181 void VisitInstruction(HInstruction* instruction) OVERRIDE {
182 LOG(FATAL) << "Unreachable instruction " << instruction->DebugName()
183 << " (id " << instruction->GetId() << ")";
184 }
185
186 private:
187 void HandleInvoke(HInvoke* invoke);
188 void HandleBinaryOp(HBinaryOperation* operation);
Vladimir Marko5f7b58e2015-11-23 19:49:34 +0000189 void HandleCondition(HCondition* instruction);
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200190 void HandleShift(HBinaryOperation* operation);
191 void HandleFieldSet(HInstruction* instruction, const FieldInfo& field_info);
192 void HandleFieldGet(HInstruction* instruction, const FieldInfo& field_info);
193
194 InvokeDexCallingConventionVisitorMIPS parameter_visitor_;
195
196 CodeGeneratorMIPS* const codegen_;
197
198 DISALLOW_COPY_AND_ASSIGN(LocationsBuilderMIPS);
199};
200
Aart Bik42249c32016-01-07 15:33:50 -0800201class InstructionCodeGeneratorMIPS : public InstructionCodeGenerator {
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200202 public:
203 InstructionCodeGeneratorMIPS(HGraph* graph, CodeGeneratorMIPS* codegen);
204
205#define DECLARE_VISIT_INSTRUCTION(name, super) \
206 void Visit##name(H##name* instr) OVERRIDE;
207
208 FOR_EACH_CONCRETE_INSTRUCTION_COMMON(DECLARE_VISIT_INSTRUCTION)
209 FOR_EACH_CONCRETE_INSTRUCTION_MIPS(DECLARE_VISIT_INSTRUCTION)
210
211#undef DECLARE_VISIT_INSTRUCTION
212
213 void VisitInstruction(HInstruction* instruction) OVERRIDE {
214 LOG(FATAL) << "Unreachable instruction " << instruction->DebugName()
215 << " (id " << instruction->GetId() << ")";
216 }
217
218 MipsAssembler* GetAssembler() const { return assembler_; }
219
220 private:
221 void GenerateClassInitializationCheck(SlowPathCodeMIPS* slow_path, Register class_reg);
222 void GenerateMemoryBarrier(MemBarrierKind kind);
223 void GenerateSuspendCheck(HSuspendCheck* check, HBasicBlock* successor);
224 void HandleBinaryOp(HBinaryOperation* operation);
Vladimir Marko5f7b58e2015-11-23 19:49:34 +0000225 void HandleCondition(HCondition* instruction);
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200226 void HandleShift(HBinaryOperation* operation);
227 void HandleFieldSet(HInstruction* instruction, const FieldInfo& field_info, uint32_t dex_pc);
228 void HandleFieldGet(HInstruction* instruction, const FieldInfo& field_info, uint32_t dex_pc);
Alexey Frunzecd7b0ee2015-12-03 16:46:38 -0800229 void GenerateIntCompare(IfCondition cond, LocationSummary* locations);
230 void GenerateIntCompareAndBranch(IfCondition cond,
231 LocationSummary* locations,
232 MipsLabel* label);
233 void GenerateLongCompareAndBranch(IfCondition cond,
234 LocationSummary* locations,
235 MipsLabel* label);
236 void GenerateFpCompareAndBranch(IfCondition cond,
237 bool gt_bias,
238 Primitive::Type type,
239 LocationSummary* locations,
240 MipsLabel* label);
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200241 void GenerateTestAndBranch(HInstruction* instruction,
David Brazdil0debae72015-11-12 18:37:00 +0000242 size_t condition_input_index,
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200243 MipsLabel* true_target,
David Brazdil0debae72015-11-12 18:37:00 +0000244 MipsLabel* false_target);
Alexey Frunze7e99e052015-11-24 19:28:01 -0800245 void DivRemOneOrMinusOne(HBinaryOperation* instruction);
246 void DivRemByPowerOfTwo(HBinaryOperation* instruction);
247 void GenerateDivRemWithAnyConstant(HBinaryOperation* instruction);
248 void GenerateDivRemIntegral(HBinaryOperation* instruction);
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200249 void HandleGoto(HInstruction* got, HBasicBlock* successor);
250
251 MipsAssembler* const assembler_;
252 CodeGeneratorMIPS* const codegen_;
253
254 DISALLOW_COPY_AND_ASSIGN(InstructionCodeGeneratorMIPS);
255};
256
257class CodeGeneratorMIPS : public CodeGenerator {
258 public:
259 CodeGeneratorMIPS(HGraph* graph,
260 const MipsInstructionSetFeatures& isa_features,
261 const CompilerOptions& compiler_options,
262 OptimizingCompilerStats* stats = nullptr);
263 virtual ~CodeGeneratorMIPS() {}
264
Alexey Frunze73296a72016-06-03 22:51:46 -0700265 void ComputeSpillMask() OVERRIDE;
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200266 void GenerateFrameEntry() OVERRIDE;
267 void GenerateFrameExit() OVERRIDE;
268
269 void Bind(HBasicBlock* block) OVERRIDE;
270
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200271 void Move32(Location destination, Location source);
272 void Move64(Location destination, Location source);
273 void MoveConstant(Location location, HConstant* c);
274
275 size_t GetWordSize() const OVERRIDE { return kMipsWordSize; }
276
277 size_t GetFloatingPointSpillSlotSize() const OVERRIDE { return kMipsDoublewordSize; }
278
Alexandre Ramesc01a6642016-04-15 11:54:06 +0100279 uintptr_t GetAddressOf(HBasicBlock* block) OVERRIDE {
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200280 return assembler_.GetLabelLocation(GetLabelOf(block));
281 }
282
283 HGraphVisitor* GetLocationBuilder() OVERRIDE { return &location_builder_; }
284 HGraphVisitor* GetInstructionVisitor() OVERRIDE { return &instruction_visitor_; }
285 MipsAssembler* GetAssembler() OVERRIDE { return &assembler_; }
286 const MipsAssembler& GetAssembler() const OVERRIDE { return assembler_; }
287
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700288 // Emit linker patches.
289 void EmitLinkerPatches(ArenaVector<LinkerPatch>* linker_patches) OVERRIDE;
290
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200291 void MarkGCCard(Register object, Register value);
292
293 // Register allocation.
294
David Brazdil58282f42016-01-14 12:45:10 +0000295 void SetupBlockedRegisters() const OVERRIDE;
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200296
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200297 size_t SaveCoreRegister(size_t stack_index, uint32_t reg_id);
298 size_t RestoreCoreRegister(size_t stack_index, uint32_t reg_id);
299 size_t SaveFloatingPointRegister(size_t stack_index, uint32_t reg_id);
300 size_t RestoreFloatingPointRegister(size_t stack_index, uint32_t reg_id);
301
302 void DumpCoreRegister(std::ostream& stream, int reg) const OVERRIDE;
303 void DumpFloatingPointRegister(std::ostream& stream, int reg) const OVERRIDE;
304
305 // Blocks all register pairs made out of blocked core registers.
306 void UpdateBlockedPairRegisters() const;
307
308 InstructionSet GetInstructionSet() const OVERRIDE { return InstructionSet::kMips; }
309
310 const MipsInstructionSetFeatures& GetInstructionSetFeatures() const {
311 return isa_features_;
312 }
313
314 MipsLabel* GetLabelOf(HBasicBlock* block) const {
315 return CommonGetLabelOf<MipsLabel>(block_labels_, block);
316 }
317
318 void Initialize() OVERRIDE {
319 block_labels_ = CommonInitializeLabels<MipsLabel>();
320 }
321
322 void Finalize(CodeAllocator* allocator) OVERRIDE;
323
324 // Code generation helpers.
325
326 void MoveLocation(Location dst, Location src, Primitive::Type dst_type) OVERRIDE;
327
328 void MoveConstant(Location destination, int32_t value);
329
330 void AddLocationAsTemp(Location location, LocationSummary* locations) OVERRIDE;
331
332 // Generate code to invoke a runtime entry point.
333 void InvokeRuntime(QuickEntrypointEnum entrypoint,
334 HInstruction* instruction,
335 uint32_t dex_pc,
336 SlowPathCode* slow_path) OVERRIDE;
337
338 void InvokeRuntime(int32_t offset,
339 HInstruction* instruction,
340 uint32_t dex_pc,
341 SlowPathCode* slow_path,
342 bool is_direct_entrypoint);
343
344 ParallelMoveResolver* GetMoveResolver() OVERRIDE { return &move_resolver_; }
345
346 bool NeedsTwoRegisters(Primitive::Type type) const {
347 return type == Primitive::kPrimLong;
348 }
349
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000350 // Check if the desired_string_load_kind is supported. If it is, return it,
351 // otherwise return a fall-back kind that should be used instead.
352 HLoadString::LoadKind GetSupportedLoadStringKind(
353 HLoadString::LoadKind desired_string_load_kind) OVERRIDE;
354
Vladimir Markodbb7f5b2016-03-30 13:23:58 +0100355 // Check if the desired_class_load_kind is supported. If it is, return it,
356 // otherwise return a fall-back kind that should be used instead.
357 HLoadClass::LoadKind GetSupportedLoadClassKind(
358 HLoadClass::LoadKind desired_class_load_kind) OVERRIDE;
359
Vladimir Markodc151b22015-10-15 18:02:30 +0100360 // Check if the desired_dispatch_info is supported. If it is, return it,
361 // otherwise return a fall-back info that should be used instead.
362 HInvokeStaticOrDirect::DispatchInfo GetSupportedInvokeStaticOrDirectDispatch(
363 const HInvokeStaticOrDirect::DispatchInfo& desired_dispatch_info,
364 MethodReference target_method) OVERRIDE;
365
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200366 void GenerateStaticOrDirectCall(HInvokeStaticOrDirect* invoke, Location temp);
Chris Larsen3acee732015-11-18 13:31:08 -0800367 void GenerateVirtualCall(HInvokeVirtual* invoke, Location temp) OVERRIDE;
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200368
369 void MoveFromReturnRegister(Location trg ATTRIBUTE_UNUSED,
370 Primitive::Type type ATTRIBUTE_UNUSED) OVERRIDE {
371 UNIMPLEMENTED(FATAL) << "Not implemented on MIPS";
372 }
373
David Srbeckyc7098ff2016-02-09 14:30:11 +0000374 void GenerateNop();
Calin Juravle2ae48182016-03-16 14:05:09 +0000375 void GenerateImplicitNullCheck(HNullCheck* instruction);
376 void GenerateExplicitNullCheck(HNullCheck* instruction);
David Srbeckyc7098ff2016-02-09 14:30:11 +0000377
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700378 // The PcRelativePatchInfo is used for PC-relative addressing of dex cache arrays
379 // and boot image strings. The only difference is the interpretation of the offset_or_index.
380 struct PcRelativePatchInfo {
381 PcRelativePatchInfo(const DexFile& dex_file, uint32_t off_or_idx)
382 : target_dex_file(dex_file), offset_or_index(off_or_idx) { }
383 PcRelativePatchInfo(PcRelativePatchInfo&& other) = default;
384
385 const DexFile& target_dex_file;
386 // Either the dex cache array element offset or the string index.
387 uint32_t offset_or_index;
388 // Label for the instruction loading the most significant half of the offset that's added to PC
389 // to form the base address (the least significant half is loaded with the instruction that
390 // follows).
391 MipsLabel high_label;
392 // Label for the instruction corresponding to PC+0.
393 MipsLabel pc_rel_label;
394 };
395
396 PcRelativePatchInfo* NewPcRelativeDexCacheArrayPatch(const DexFile& dex_file,
397 uint32_t element_offset);
398
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200399 private:
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700400 Register GetInvokeStaticOrDirectExtraParameter(HInvokeStaticOrDirect* invoke, Register temp);
401
402 using MethodToLiteralMap = ArenaSafeMap<MethodReference, Literal*, MethodReferenceComparator>;
403
404 Literal* DeduplicateMethodLiteral(MethodReference target_method, MethodToLiteralMap* map);
405 Literal* DeduplicateMethodAddressLiteral(MethodReference target_method);
406 Literal* DeduplicateMethodCodeLiteral(MethodReference target_method);
407 PcRelativePatchInfo* NewPcRelativePatch(const DexFile& dex_file,
408 uint32_t offset_or_index,
409 ArenaDeque<PcRelativePatchInfo>* patches);
410
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200411 // Labels for each block that will be compiled.
412 MipsLabel* block_labels_;
413 MipsLabel frame_entry_label_;
414 LocationsBuilderMIPS location_builder_;
415 InstructionCodeGeneratorMIPS instruction_visitor_;
416 ParallelMoveResolverMIPS move_resolver_;
417 MipsAssembler assembler_;
418 const MipsInstructionSetFeatures& isa_features_;
419
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700420 // Method patch info, map MethodReference to a literal for method address and method code.
421 MethodToLiteralMap method_patches_;
422 MethodToLiteralMap call_patches_;
423 // PC-relative patch info for each HMipsDexCacheArraysBase.
424 ArenaDeque<PcRelativePatchInfo> pc_relative_dex_cache_patches_;
425
Goran Jakovljevicf652cec2015-08-25 16:11:42 +0200426 DISALLOW_COPY_AND_ASSIGN(CodeGeneratorMIPS);
427};
428
429} // namespace mips
430} // namespace art
431
432#endif // ART_COMPILER_OPTIMIZING_CODE_GENERATOR_MIPS_H_