blob: 9785a2e8a81752e2df198967b3717ee3602345d8 [file] [log] [blame]
Alexey Frunze4dda3372015-06-01 18:31:49 -07001/*
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_MIPS64_H_
18#define ART_COMPILER_OPTIMIZING_CODE_GENERATOR_MIPS64_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/mips64/assembler_mips64.h"
26
27namespace art {
28namespace mips64 {
29
Alexey Frunze4dda3372015-06-01 18:31:49 -070030// InvokeDexCallingConvention registers
31
32static constexpr GpuRegister kParameterCoreRegisters[] =
33 { A1, A2, A3, A4, A5, A6, A7 };
34static constexpr size_t kParameterCoreRegistersLength = arraysize(kParameterCoreRegisters);
35
36static constexpr FpuRegister kParameterFpuRegisters[] =
37 { F13, F14, F15, F16, F17, F18, F19 };
38static constexpr size_t kParameterFpuRegistersLength = arraysize(kParameterFpuRegisters);
39
40
41// InvokeRuntimeCallingConvention registers
42
43static constexpr GpuRegister kRuntimeParameterCoreRegisters[] =
44 { A0, A1, A2, A3, A4, A5, A6, A7 };
45static constexpr size_t kRuntimeParameterCoreRegistersLength =
46 arraysize(kRuntimeParameterCoreRegisters);
47
48static constexpr FpuRegister kRuntimeParameterFpuRegisters[] =
49 { F12, F13, F14, F15, F16, F17, F18, F19 };
50static constexpr size_t kRuntimeParameterFpuRegistersLength =
51 arraysize(kRuntimeParameterFpuRegisters);
52
53
54static constexpr GpuRegister kCoreCalleeSaves[] =
55 { S0, S1, S2, S3, S4, S5, S6, S7, GP, S8, RA }; // TODO: review
56static constexpr FpuRegister kFpuCalleeSaves[] =
57 { F24, F25, F26, F27, F28, F29, F30, F31 };
58
59
60class CodeGeneratorMIPS64;
61
62class InvokeDexCallingConvention : public CallingConvention<GpuRegister, FpuRegister> {
63 public:
64 InvokeDexCallingConvention()
65 : CallingConvention(kParameterCoreRegisters,
66 kParameterCoreRegistersLength,
67 kParameterFpuRegisters,
68 kParameterFpuRegistersLength,
69 kMips64PointerSize) {}
70
71 private:
72 DISALLOW_COPY_AND_ASSIGN(InvokeDexCallingConvention);
73};
74
75class InvokeDexCallingConventionVisitorMIPS64 : public InvokeDexCallingConventionVisitor {
76 public:
77 InvokeDexCallingConventionVisitorMIPS64() {}
78 virtual ~InvokeDexCallingConventionVisitorMIPS64() {}
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(InvokeDexCallingConventionVisitorMIPS64);
88};
89
90class InvokeRuntimeCallingConvention : public CallingConvention<GpuRegister, FpuRegister> {
91 public:
92 InvokeRuntimeCallingConvention()
93 : CallingConvention(kRuntimeParameterCoreRegisters,
94 kRuntimeParameterCoreRegistersLength,
95 kRuntimeParameterFpuRegisters,
96 kRuntimeParameterFpuRegistersLength,
97 kMips64PointerSize) {}
98
99 Location GetReturnLocation(Primitive::Type return_type);
100
101 private:
102 DISALLOW_COPY_AND_ASSIGN(InvokeRuntimeCallingConvention);
103};
104
Calin Juravlee460d1d2015-09-29 04:52:17 +0100105class FieldAccessCallingConventionMIPS64 : public FieldAccessCallingConvention {
106 public:
107 FieldAccessCallingConventionMIPS64() {}
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 ATTRIBUTE_UNUSED) const OVERRIDE {
Goran Jakovljevic8c34ec12015-10-14 11:23:48 +0200116 return Location::RegisterLocation(V0);
Calin Juravlee460d1d2015-09-29 04:52:17 +0100117 }
Alexey Frunze00580bd2015-11-11 13:31:12 -0800118 Location GetSetValueLocation(Primitive::Type type, bool is_instance) const OVERRIDE {
119 return Primitive::Is64BitType(type)
120 ? Location::RegisterLocation(A2)
121 : (is_instance
122 ? Location::RegisterLocation(A2)
123 : Location::RegisterLocation(A1));
Calin Juravlee460d1d2015-09-29 04:52:17 +0100124 }
125 Location GetFpuLocation(Primitive::Type type ATTRIBUTE_UNUSED) const OVERRIDE {
126 return Location::FpuRegisterLocation(F0);
127 }
128
129 private:
130 DISALLOW_COPY_AND_ASSIGN(FieldAccessCallingConventionMIPS64);
131};
132
Alexey Frunze4dda3372015-06-01 18:31:49 -0700133class ParallelMoveResolverMIPS64 : public ParallelMoveResolverWithSwap {
134 public:
135 ParallelMoveResolverMIPS64(ArenaAllocator* allocator, CodeGeneratorMIPS64* 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 Mips64Assembler* GetAssembler() const;
146
147 private:
148 CodeGeneratorMIPS64* const codegen_;
149
150 DISALLOW_COPY_AND_ASSIGN(ParallelMoveResolverMIPS64);
151};
152
153class SlowPathCodeMIPS64 : public SlowPathCode {
154 public:
David Srbecky9cd6d372016-02-09 15:24:47 +0000155 explicit SlowPathCodeMIPS64(HInstruction* instruction)
156 : SlowPathCode(instruction), entry_label_(), exit_label_() {}
Alexey Frunze4dda3372015-06-01 18:31:49 -0700157
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700158 Mips64Label* GetEntryLabel() { return &entry_label_; }
159 Mips64Label* GetExitLabel() { return &exit_label_; }
Alexey Frunze4dda3372015-06-01 18:31:49 -0700160
161 private:
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700162 Mips64Label entry_label_;
163 Mips64Label exit_label_;
Alexey Frunze4dda3372015-06-01 18:31:49 -0700164
165 DISALLOW_COPY_AND_ASSIGN(SlowPathCodeMIPS64);
166};
167
168class LocationsBuilderMIPS64 : public HGraphVisitor {
169 public:
170 LocationsBuilderMIPS64(HGraph* graph, CodeGeneratorMIPS64* codegen)
171 : HGraphVisitor(graph), codegen_(codegen) {}
172
173#define DECLARE_VISIT_INSTRUCTION(name, super) \
Alexandre Ramesf39e0642015-06-23 11:33:45 +0100174 void Visit##name(H##name* instr) OVERRIDE;
Alexey Frunze4dda3372015-06-01 18:31:49 -0700175
Alexandre Ramesf39e0642015-06-23 11:33:45 +0100176 FOR_EACH_CONCRETE_INSTRUCTION_COMMON(DECLARE_VISIT_INSTRUCTION)
177 FOR_EACH_CONCRETE_INSTRUCTION_MIPS64(DECLARE_VISIT_INSTRUCTION)
Alexey Frunze4dda3372015-06-01 18:31:49 -0700178
179#undef DECLARE_VISIT_INSTRUCTION
180
Alexandre Ramesf39e0642015-06-23 11:33:45 +0100181 void VisitInstruction(HInstruction* instruction) OVERRIDE {
182 LOG(FATAL) << "Unreachable instruction " << instruction->DebugName()
183 << " (id " << instruction->GetId() << ")";
184 }
185
Alexey Frunze4dda3372015-06-01 18:31:49 -0700186 private:
187 void HandleInvoke(HInvoke* invoke);
188 void HandleBinaryOp(HBinaryOperation* operation);
Vladimir Marko5f7b58e2015-11-23 19:49:34 +0000189 void HandleCondition(HCondition* instruction);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700190 void HandleShift(HBinaryOperation* operation);
191 void HandleFieldSet(HInstruction* instruction, const FieldInfo& field_info);
192 void HandleFieldGet(HInstruction* instruction, const FieldInfo& field_info);
193
194 InvokeDexCallingConventionVisitorMIPS64 parameter_visitor_;
195
196 CodeGeneratorMIPS64* const codegen_;
197
198 DISALLOW_COPY_AND_ASSIGN(LocationsBuilderMIPS64);
199};
200
Aart Bik42249c32016-01-07 15:33:50 -0800201class InstructionCodeGeneratorMIPS64 : public InstructionCodeGenerator {
Alexey Frunze4dda3372015-06-01 18:31:49 -0700202 public:
203 InstructionCodeGeneratorMIPS64(HGraph* graph, CodeGeneratorMIPS64* codegen);
204
205#define DECLARE_VISIT_INSTRUCTION(name, super) \
Alexandre Ramesf39e0642015-06-23 11:33:45 +0100206 void Visit##name(H##name* instr) OVERRIDE;
Alexey Frunze4dda3372015-06-01 18:31:49 -0700207
Alexandre Ramesf39e0642015-06-23 11:33:45 +0100208 FOR_EACH_CONCRETE_INSTRUCTION_COMMON(DECLARE_VISIT_INSTRUCTION)
209 FOR_EACH_CONCRETE_INSTRUCTION_MIPS64(DECLARE_VISIT_INSTRUCTION)
Alexey Frunze4dda3372015-06-01 18:31:49 -0700210
211#undef DECLARE_VISIT_INSTRUCTION
212
Alexandre Ramesf39e0642015-06-23 11:33:45 +0100213 void VisitInstruction(HInstruction* instruction) OVERRIDE {
214 LOG(FATAL) << "Unreachable instruction " << instruction->DebugName()
215 << " (id " << instruction->GetId() << ")";
216 }
217
Alexey Frunze4dda3372015-06-01 18:31:49 -0700218 Mips64Assembler* GetAssembler() const { return assembler_; }
219
220 private:
Alexey Frunze4dda3372015-06-01 18:31:49 -0700221 void GenerateClassInitializationCheck(SlowPathCodeMIPS64* slow_path, GpuRegister 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);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700226 void HandleShift(HBinaryOperation* operation);
Goran Jakovljevic8ed18262016-01-22 13:01:00 +0100227 void HandleFieldSet(HInstruction* instruction,
228 const FieldInfo& field_info,
229 bool value_can_be_null);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700230 void HandleFieldGet(HInstruction* instruction, const FieldInfo& field_info);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700231 void GenerateTestAndBranch(HInstruction* instruction,
David Brazdil0debae72015-11-12 18:37:00 +0000232 size_t condition_input_index,
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700233 Mips64Label* true_target,
234 Mips64Label* false_target);
Alexey Frunzec857c742015-09-23 15:12:39 -0700235 void DivRemOneOrMinusOne(HBinaryOperation* instruction);
236 void DivRemByPowerOfTwo(HBinaryOperation* instruction);
237 void GenerateDivRemWithAnyConstant(HBinaryOperation* instruction);
238 void GenerateDivRemIntegral(HBinaryOperation* instruction);
Alexey Frunze299a9392015-12-08 16:08:02 -0800239 void GenerateIntLongCompare(IfCondition cond, bool is64bit, LocationSummary* locations);
240 void GenerateIntLongCompareAndBranch(IfCondition cond,
241 bool is64bit,
242 LocationSummary* locations,
243 Mips64Label* label);
244 void GenerateFpCompareAndBranch(IfCondition cond,
245 bool gt_bias,
246 Primitive::Type type,
247 LocationSummary* locations,
248 Mips64Label* label);
David Brazdilfc6a86a2015-06-26 10:33:45 +0000249 void HandleGoto(HInstruction* got, HBasicBlock* successor);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700250
251 Mips64Assembler* const assembler_;
252 CodeGeneratorMIPS64* const codegen_;
253
254 DISALLOW_COPY_AND_ASSIGN(InstructionCodeGeneratorMIPS64);
255};
256
257class CodeGeneratorMIPS64 : public CodeGenerator {
258 public:
259 CodeGeneratorMIPS64(HGraph* graph,
260 const Mips64InstructionSetFeatures& isa_features,
Serban Constantinescuecc43662015-08-13 13:33:12 +0100261 const CompilerOptions& compiler_options,
262 OptimizingCompilerStats* stats = nullptr);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700263 virtual ~CodeGeneratorMIPS64() {}
264
265 void GenerateFrameEntry() OVERRIDE;
266 void GenerateFrameExit() OVERRIDE;
267
268 void Bind(HBasicBlock* block) OVERRIDE;
269
Lazar Trsicd9672662015-09-03 17:33:01 +0200270 size_t GetWordSize() const OVERRIDE { return kMips64DoublewordSize; }
Alexey Frunze4dda3372015-06-01 18:31:49 -0700271
Lazar Trsicd9672662015-09-03 17:33:01 +0200272 size_t GetFloatingPointSpillSlotSize() const OVERRIDE { return kMips64DoublewordSize; }
Alexey Frunze4dda3372015-06-01 18:31:49 -0700273
Alexandre Ramesc393d632016-04-15 11:54:06 +0100274 uintptr_t GetAddressOf(HBasicBlock* block) OVERRIDE {
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700275 return assembler_.GetLabelLocation(GetLabelOf(block));
Alexey Frunze4dda3372015-06-01 18:31:49 -0700276 }
277
278 HGraphVisitor* GetLocationBuilder() OVERRIDE { return &location_builder_; }
279 HGraphVisitor* GetInstructionVisitor() OVERRIDE { return &instruction_visitor_; }
280 Mips64Assembler* GetAssembler() OVERRIDE { return &assembler_; }
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100281 const Mips64Assembler& GetAssembler() const OVERRIDE { return assembler_; }
Alexey Frunze4dda3372015-06-01 18:31:49 -0700282
Goran Jakovljevic8ed18262016-01-22 13:01:00 +0100283 void MarkGCCard(GpuRegister object, GpuRegister value, bool value_can_be_null);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700284
285 // Register allocation.
286
David Brazdil58282f42016-01-14 12:45:10 +0000287 void SetupBlockedRegisters() const OVERRIDE;
Alexey Frunze4dda3372015-06-01 18:31:49 -0700288
Alexey Frunze4dda3372015-06-01 18:31:49 -0700289 size_t SaveCoreRegister(size_t stack_index, uint32_t reg_id);
290 size_t RestoreCoreRegister(size_t stack_index, uint32_t reg_id);
291 size_t SaveFloatingPointRegister(size_t stack_index, uint32_t reg_id);
292 size_t RestoreFloatingPointRegister(size_t stack_index, uint32_t reg_id);
293
294 void DumpCoreRegister(std::ostream& stream, int reg) const OVERRIDE;
295 void DumpFloatingPointRegister(std::ostream& stream, int reg) const OVERRIDE;
296
297 InstructionSet GetInstructionSet() const OVERRIDE { return InstructionSet::kMips64; }
298
299 const Mips64InstructionSetFeatures& GetInstructionSetFeatures() const {
300 return isa_features_;
301 }
302
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700303 Mips64Label* GetLabelOf(HBasicBlock* block) const {
304 return CommonGetLabelOf<Mips64Label>(block_labels_, block);
Alexey Frunze4dda3372015-06-01 18:31:49 -0700305 }
306
307 void Initialize() OVERRIDE {
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700308 block_labels_ = CommonInitializeLabels<Mips64Label>();
Alexey Frunze4dda3372015-06-01 18:31:49 -0700309 }
310
311 void Finalize(CodeAllocator* allocator) OVERRIDE;
312
313 // Code generation helpers.
Calin Juravlee460d1d2015-09-29 04:52:17 +0100314 void MoveLocation(Location dst, Location src, Primitive::Type dst_type) OVERRIDE;
Alexey Frunze4dda3372015-06-01 18:31:49 -0700315
Calin Juravle175dc732015-08-25 15:42:32 +0100316 void MoveConstant(Location destination, int32_t value) OVERRIDE;
317
Calin Juravlee460d1d2015-09-29 04:52:17 +0100318 void AddLocationAsTemp(Location location, LocationSummary* locations) OVERRIDE;
319
320
Alexey Frunze4dda3372015-06-01 18:31:49 -0700321 void SwapLocations(Location loc1, Location loc2, Primitive::Type type);
322
323 // Generate code to invoke a runtime entry point.
Calin Juravle175dc732015-08-25 15:42:32 +0100324 void InvokeRuntime(QuickEntrypointEnum entrypoint,
325 HInstruction* instruction,
326 uint32_t dex_pc,
327 SlowPathCode* slow_path) OVERRIDE;
328
Alexey Frunze4dda3372015-06-01 18:31:49 -0700329 void InvokeRuntime(int32_t offset,
330 HInstruction* instruction,
331 uint32_t dex_pc,
332 SlowPathCode* slow_path);
333
334 ParallelMoveResolver* GetMoveResolver() OVERRIDE { return &move_resolver_; }
335
336 bool NeedsTwoRegisters(Primitive::Type type ATTRIBUTE_UNUSED) const { return false; }
337
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000338 // Check if the desired_string_load_kind is supported. If it is, return it,
339 // otherwise return a fall-back kind that should be used instead.
340 HLoadString::LoadKind GetSupportedLoadStringKind(
341 HLoadString::LoadKind desired_string_load_kind) OVERRIDE;
342
Vladimir Markodc151b22015-10-15 18:02:30 +0100343 // Check if the desired_dispatch_info is supported. If it is, return it,
344 // otherwise return a fall-back info that should be used instead.
345 HInvokeStaticOrDirect::DispatchInfo GetSupportedInvokeStaticOrDirectDispatch(
346 const HInvokeStaticOrDirect::DispatchInfo& desired_dispatch_info,
347 MethodReference target_method) OVERRIDE;
348
Andreas Gampe85b62f22015-09-09 13:15:38 -0700349 void GenerateStaticOrDirectCall(HInvokeStaticOrDirect* invoke, Location temp) OVERRIDE;
Alexey Frunze53afca12015-11-05 16:34:23 -0800350 void GenerateVirtualCall(HInvokeVirtual* invoke, Location temp) OVERRIDE;
Andreas Gampe85b62f22015-09-09 13:15:38 -0700351
352 void MoveFromReturnRegister(Location trg ATTRIBUTE_UNUSED,
353 Primitive::Type type ATTRIBUTE_UNUSED) OVERRIDE {
Chris Larsen3acee732015-11-18 13:31:08 -0800354 UNIMPLEMENTED(FATAL) << "Not implemented on MIPS64";
Andreas Gampe85b62f22015-09-09 13:15:38 -0700355 }
Alexey Frunze4dda3372015-06-01 18:31:49 -0700356
David Srbeckyc7098ff2016-02-09 14:30:11 +0000357 void GenerateNop();
Calin Juravle2ae48182016-03-16 14:05:09 +0000358 void GenerateImplicitNullCheck(HNullCheck* instruction);
359 void GenerateExplicitNullCheck(HNullCheck* instruction);
David Srbeckyc7098ff2016-02-09 14:30:11 +0000360
Alexey Frunze4dda3372015-06-01 18:31:49 -0700361 private:
362 // Labels for each block that will be compiled.
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700363 Mips64Label* block_labels_; // Indexed by block id.
364 Mips64Label frame_entry_label_;
Alexey Frunze4dda3372015-06-01 18:31:49 -0700365 LocationsBuilderMIPS64 location_builder_;
366 InstructionCodeGeneratorMIPS64 instruction_visitor_;
367 ParallelMoveResolverMIPS64 move_resolver_;
368 Mips64Assembler assembler_;
369 const Mips64InstructionSetFeatures& isa_features_;
370
371 DISALLOW_COPY_AND_ASSIGN(CodeGeneratorMIPS64);
372};
373
374} // namespace mips64
375} // namespace art
376
377#endif // ART_COMPILER_OPTIMIZING_CODE_GENERATOR_MIPS64_H_