blob: c6d297df4f8274b90fee208ed67d20f23e21a1ff [file] [log] [blame]
Alexey Frunzee3fb2452016-05-10 16:08:05 -07001/*
2 * Copyright (C) 2016 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 "pc_relative_fixups_mips.h"
18#include "code_generator_mips.h"
19#include "intrinsics_mips.h"
20
21namespace art {
22namespace mips {
23
24/**
25 * Finds instructions that need the constant area base as an input.
26 */
27class PCRelativeHandlerVisitor : public HGraphVisitor {
28 public:
29 PCRelativeHandlerVisitor(HGraph* graph, CodeGenerator* codegen)
30 : HGraphVisitor(graph),
31 codegen_(down_cast<CodeGeneratorMIPS*>(codegen)),
32 base_(nullptr) {}
33
34 void MoveBaseIfNeeded() {
35 if (base_ != nullptr) {
36 // Bring the base closer to the first use (previously, it was in the
37 // entry block) and relieve some pressure on the register allocator
38 // while avoiding recalculation of the base in a loop.
39 base_->MoveBeforeFirstUserAndOutOfLoops();
Alexey Frunze06a46c42016-07-19 15:00:40 -070040 // Computing the base for PC-relative literals will clobber RA with
41 // the NAL instruction on R2. Take a note of this before generating
42 // the method entry.
43 codegen_->ClobberRA();
Alexey Frunzee3fb2452016-05-10 16:08:05 -070044 }
45 }
46
47 private:
48 void VisitInvokeStaticOrDirect(HInvokeStaticOrDirect* invoke) OVERRIDE {
49 HandleInvoke(invoke);
50 }
51
52 void InitializePCRelativeBasePointer() {
53 // Ensure we only initialize the pointer once.
54 if (base_ != nullptr) {
55 return;
56 }
57 // Insert the base at the start of the entry block, move it to a better
58 // position later in MoveBaseIfNeeded().
59 base_ = new (GetGraph()->GetArena()) HMipsComputeBaseMethodAddress();
60 HBasicBlock* entry_block = GetGraph()->GetEntryBlock();
61 entry_block->InsertInstructionBefore(base_, entry_block->GetFirstInstruction());
62 DCHECK(base_ != nullptr);
63 }
64
Alexey Frunze06a46c42016-07-19 15:00:40 -070065 void VisitLoadClass(HLoadClass* load_class) OVERRIDE {
66 HLoadClass::LoadKind load_kind = load_class->GetLoadKind();
67 switch (load_kind) {
68 case HLoadClass::LoadKind::kBootImageLinkTimeAddress:
69 case HLoadClass::LoadKind::kBootImageAddress:
70 case HLoadClass::LoadKind::kBootImageLinkTimePcRelative:
71 // Add a base register for PC-relative literals on R2.
72 InitializePCRelativeBasePointer();
73 load_class->AddSpecialInput(base_);
74 break;
75 default:
76 break;
77 }
78 }
79
80 void VisitLoadString(HLoadString* load_string) OVERRIDE {
81 HLoadString::LoadKind load_kind = load_string->GetLoadKind();
82 switch (load_kind) {
83 case HLoadString::LoadKind::kBootImageLinkTimeAddress:
84 case HLoadString::LoadKind::kBootImageAddress:
85 case HLoadString::LoadKind::kBootImageLinkTimePcRelative:
86 // Add a base register for PC-relative literals on R2.
87 InitializePCRelativeBasePointer();
88 load_string->AddSpecialInput(base_);
89 break;
90 default:
91 break;
92 }
93 }
94
Alexey Frunzee3fb2452016-05-10 16:08:05 -070095 void HandleInvoke(HInvoke* invoke) {
96 // If this is an invoke-static/-direct with PC-relative dex cache array
97 // addressing, we need the PC-relative address base.
98 HInvokeStaticOrDirect* invoke_static_or_direct = invoke->AsInvokeStaticOrDirect();
99 if (invoke_static_or_direct != nullptr) {
100 HInvokeStaticOrDirect::MethodLoadKind method_load_kind =
101 invoke_static_or_direct->GetMethodLoadKind();
102 HInvokeStaticOrDirect::CodePtrLocation code_ptr_location =
103 invoke_static_or_direct->GetCodePtrLocation();
104
105 bool has_extra_input =
106 (method_load_kind == HInvokeStaticOrDirect::MethodLoadKind::kDirectAddressWithFixup) ||
107 (code_ptr_location == HInvokeStaticOrDirect::CodePtrLocation::kCallDirectWithFixup);
108
109 // We can't add a pointer to the constant area if we already have a current
110 // method pointer. This may arise when sharpening doesn't remove the current
111 // method pointer from the invoke.
112 if (invoke_static_or_direct->HasCurrentMethodInput()) {
113 DCHECK(!invoke_static_or_direct->HasPcRelativeDexCache());
Alexey Frunze06a46c42016-07-19 15:00:40 -0700114 CHECK(!has_extra_input);
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700115 return;
116 }
117
Vladimir Marko68c981f2016-08-26 13:13:33 +0100118 if (has_extra_input &&
119 !IsCallFreeIntrinsic<IntrinsicLocationsBuilderMIPS>(invoke, codegen_)) {
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700120 InitializePCRelativeBasePointer();
121 // Add the extra parameter base_.
122 invoke_static_or_direct->AddSpecialInput(base_);
123 }
124 }
125 }
126
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700127 CodeGeneratorMIPS* codegen_;
128
129 // The generated HMipsComputeBaseMethodAddress in the entry block needed as an
130 // input to the HMipsLoadFromConstantTable instructions.
131 HMipsComputeBaseMethodAddress* base_;
132};
133
134void PcRelativeFixups::Run() {
135 CodeGeneratorMIPS* mips_codegen = down_cast<CodeGeneratorMIPS*>(codegen_);
136 if (mips_codegen->GetInstructionSetFeatures().IsR6()) {
137 // Do nothing for R6 because it has PC-relative addressing.
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700138 return;
139 }
140 if (graph_->HasIrreducibleLoops()) {
141 // Do not run this optimization, as irreducible loops do not work with an instruction
142 // that can be live-in at the irreducible loop header.
143 return;
144 }
145 PCRelativeHandlerVisitor visitor(graph_, codegen_);
146 visitor.VisitInsertionOrder();
147 visitor.MoveBaseIfNeeded();
148}
149
150} // namespace mips
151} // namespace art