blob: a114e78eb42de340c1b221f321a37b8920e874bd [file] [log] [blame]
Mark Mendell94991072015-10-06 14:58:32 -04001/*
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
Vladimir Marko0f7dca42015-11-02 14:36:43 +000017#include "pc_relative_fixups_x86.h"
Vladimir Markof3e0ee22015-12-17 15:23:13 +000018#include "code_generator_x86.h"
Aart Bikd1c40452016-03-02 16:06:13 -080019#include "intrinsics_x86.h"
Mark Mendell94991072015-10-06 14:58:32 -040020
21namespace art {
22namespace x86 {
23
24/**
25 * Finds instructions that need the constant area base as an input.
26 */
Vladimir Marko0f7dca42015-11-02 14:36:43 +000027class PCRelativeHandlerVisitor : public HGraphVisitor {
Mark Mendell94991072015-10-06 14:58:32 -040028 public:
Aart Bikd1c40452016-03-02 16:06:13 -080029 PCRelativeHandlerVisitor(HGraph* graph, CodeGenerator* codegen)
30 : HGraphVisitor(graph),
31 codegen_(down_cast<CodeGeneratorX86*>(codegen)),
32 base_(nullptr) {}
Mark Mendell94991072015-10-06 14:58:32 -040033
Vladimir Markofb337ea2015-11-25 15:25:10 +000034 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();
40 }
41 }
42
Mark Mendell94991072015-10-06 14:58:32 -040043 private:
44 void VisitAdd(HAdd* add) OVERRIDE {
45 BinaryFP(add);
46 }
47
48 void VisitSub(HSub* sub) OVERRIDE {
49 BinaryFP(sub);
50 }
51
52 void VisitMul(HMul* mul) OVERRIDE {
53 BinaryFP(mul);
54 }
55
56 void VisitDiv(HDiv* div) OVERRIDE {
57 BinaryFP(div);
58 }
59
Mark P Mendell2f10a5f2016-01-25 14:47:50 +000060 void VisitCompare(HCompare* compare) OVERRIDE {
61 BinaryFP(compare);
62 }
63
Mark Mendell94991072015-10-06 14:58:32 -040064 void VisitReturn(HReturn* ret) OVERRIDE {
65 HConstant* value = ret->InputAt(0)->AsConstant();
Vladimir Marko0ebe0d82017-09-21 22:50:39 +010066 if ((value != nullptr && DataType::IsFloatingPointType(value->GetType()))) {
Mark Mendell94991072015-10-06 14:58:32 -040067 ReplaceInput(ret, value, 0, true);
68 }
69 }
70
71 void VisitInvokeStaticOrDirect(HInvokeStaticOrDirect* invoke) OVERRIDE {
72 HandleInvoke(invoke);
73 }
74
75 void VisitInvokeVirtual(HInvokeVirtual* invoke) OVERRIDE {
76 HandleInvoke(invoke);
77 }
78
79 void VisitInvokeInterface(HInvokeInterface* invoke) OVERRIDE {
80 HandleInvoke(invoke);
81 }
82
Vladimir Markodbb7f5b2016-03-30 13:23:58 +010083 void VisitLoadClass(HLoadClass* load_class) OVERRIDE {
84 HLoadClass::LoadKind load_kind = load_class->GetLoadKind();
Vladimir Marko6bec91c2017-01-09 15:03:12 +000085 if (load_kind == HLoadClass::LoadKind::kBootImageLinkTimePcRelative ||
Vladimir Marko94ec2db2017-09-06 17:21:03 +010086 load_kind == HLoadClass::LoadKind::kBootImageClassTable ||
Vladimir Marko6bec91c2017-01-09 15:03:12 +000087 load_kind == HLoadClass::LoadKind::kBssEntry) {
Nicolas Geoffray133719e2017-01-22 15:44:39 +000088 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(load_class);
89 load_class->AddSpecialInput(method_address);
Vladimir Markodbb7f5b2016-03-30 13:23:58 +010090 }
91 }
92
Vladimir Markocac5a7e2016-02-22 10:39:50 +000093 void VisitLoadString(HLoadString* load_string) OVERRIDE {
94 HLoadString::LoadKind load_kind = load_string->GetLoadKind();
95 if (load_kind == HLoadString::LoadKind::kBootImageLinkTimePcRelative ||
Vladimir Marko6cfbdbc2017-07-25 13:26:39 +010096 load_kind == HLoadString::LoadKind::kBootImageInternTable ||
Vladimir Markoaad75c62016-10-03 08:46:48 +000097 load_kind == HLoadString::LoadKind::kBssEntry) {
Nicolas Geoffray133719e2017-01-22 15:44:39 +000098 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(load_string);
99 load_string->AddSpecialInput(method_address);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000100 }
101 }
102
Mark Mendell94991072015-10-06 14:58:32 -0400103 void BinaryFP(HBinaryOperation* bin) {
104 HConstant* rhs = bin->InputAt(1)->AsConstant();
Vladimir Marko0ebe0d82017-09-21 22:50:39 +0100105 if (rhs != nullptr && DataType::IsFloatingPointType(rhs->GetType())) {
Mark Mendell94991072015-10-06 14:58:32 -0400106 ReplaceInput(bin, rhs, 1, false);
107 }
108 }
109
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000110 void VisitEqual(HEqual* cond) OVERRIDE {
111 BinaryFP(cond);
112 }
113
114 void VisitNotEqual(HNotEqual* cond) OVERRIDE {
115 BinaryFP(cond);
116 }
117
118 void VisitLessThan(HLessThan* cond) OVERRIDE {
119 BinaryFP(cond);
120 }
121
122 void VisitLessThanOrEqual(HLessThanOrEqual* cond) OVERRIDE {
123 BinaryFP(cond);
124 }
125
126 void VisitGreaterThan(HGreaterThan* cond) OVERRIDE {
127 BinaryFP(cond);
128 }
129
130 void VisitGreaterThanOrEqual(HGreaterThanOrEqual* cond) OVERRIDE {
131 BinaryFP(cond);
132 }
133
134 void VisitNeg(HNeg* neg) OVERRIDE {
Vladimir Marko0ebe0d82017-09-21 22:50:39 +0100135 if (DataType::IsFloatingPointType(neg->GetType())) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000136 // We need to replace the HNeg with a HX86FPNeg in order to address the constant area.
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000137 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(neg);
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000138 HGraph* graph = GetGraph();
139 HBasicBlock* block = neg->GetBlock();
140 HX86FPNeg* x86_fp_neg = new (graph->GetArena()) HX86FPNeg(
141 neg->GetType(),
142 neg->InputAt(0),
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000143 method_address,
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000144 neg->GetDexPc());
145 block->ReplaceAndRemoveInstructionWith(neg, x86_fp_neg);
146 }
147 }
148
Mark Mendell94991072015-10-06 14:58:32 -0400149 void VisitPackedSwitch(HPackedSwitch* switch_insn) OVERRIDE {
Vladimir Markof3e0ee22015-12-17 15:23:13 +0000150 if (switch_insn->GetNumEntries() <=
151 InstructionCodeGeneratorX86::kPackedSwitchJumpTableThreshold) {
152 return;
153 }
Mark Mendell94991072015-10-06 14:58:32 -0400154 // We need to replace the HPackedSwitch with a HX86PackedSwitch in order to
155 // address the constant area.
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000156 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(switch_insn);
Mark Mendell94991072015-10-06 14:58:32 -0400157 HGraph* graph = GetGraph();
158 HBasicBlock* block = switch_insn->GetBlock();
159 HX86PackedSwitch* x86_switch = new (graph->GetArena()) HX86PackedSwitch(
160 switch_insn->GetStartValue(),
161 switch_insn->GetNumEntries(),
162 switch_insn->InputAt(0),
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000163 method_address,
Mark Mendell94991072015-10-06 14:58:32 -0400164 switch_insn->GetDexPc());
165 block->ReplaceAndRemoveInstructionWith(switch_insn, x86_switch);
166 }
167
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000168 HX86ComputeBaseMethodAddress* GetPCRelativeBasePointer(HInstruction* cursor) {
169 bool has_irreducible_loops = GetGraph()->HasIrreducibleLoops();
170 if (!has_irreducible_loops) {
171 // Ensure we only initialize the pointer once.
172 if (base_ != nullptr) {
173 return base_;
174 }
Mark Mendell94991072015-10-06 14:58:32 -0400175 }
Vladimir Markofb337ea2015-11-25 15:25:10 +0000176 // Insert the base at the start of the entry block, move it to a better
177 // position later in MoveBaseIfNeeded().
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000178 HX86ComputeBaseMethodAddress* method_address =
179 new (GetGraph()->GetArena()) HX86ComputeBaseMethodAddress();
180 if (has_irreducible_loops) {
181 cursor->GetBlock()->InsertInstructionBefore(method_address, cursor);
182 } else {
183 HBasicBlock* entry_block = GetGraph()->GetEntryBlock();
184 entry_block->InsertInstructionBefore(method_address, entry_block->GetFirstInstruction());
185 base_ = method_address;
186 }
187 return method_address;
Mark Mendell94991072015-10-06 14:58:32 -0400188 }
189
190 void ReplaceInput(HInstruction* insn, HConstant* value, int input_index, bool materialize) {
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000191 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(insn);
Mark Mendell94991072015-10-06 14:58:32 -0400192 HX86LoadFromConstantTable* load_constant =
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000193 new (GetGraph()->GetArena()) HX86LoadFromConstantTable(method_address, value);
David Brazdilb3e773e2016-01-26 11:28:37 +0000194 if (!materialize) {
195 load_constant->MarkEmittedAtUseSite();
196 }
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000197 insn->GetBlock()->InsertInstructionBefore(load_constant, insn);
Mark Mendell94991072015-10-06 14:58:32 -0400198 insn->ReplaceInput(load_constant, input_index);
199 }
200
201 void HandleInvoke(HInvoke* invoke) {
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000202 // If this is an invoke-static/-direct with PC-relative dex cache array
203 // addressing, we need the PC-relative address base.
204 HInvokeStaticOrDirect* invoke_static_or_direct = invoke->AsInvokeStaticOrDirect();
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000205 // We can't add a pointer to the constant area if we already have a current
206 // method pointer. This may arise when sharpening doesn't remove the current
207 // method pointer from the invoke.
208 if (invoke_static_or_direct != nullptr &&
209 invoke_static_or_direct->HasCurrentMethodInput()) {
Vladimir Marko65979462017-05-19 17:25:12 +0100210 DCHECK(!invoke_static_or_direct->HasPcRelativeMethodLoadKind());
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000211 return;
212 }
213
214 bool base_added = false;
Aart Bikd1c40452016-03-02 16:06:13 -0800215 if (invoke_static_or_direct != nullptr &&
Vladimir Marko65979462017-05-19 17:25:12 +0100216 invoke_static_or_direct->HasPcRelativeMethodLoadKind() &&
Vladimir Marko68c981f2016-08-26 13:13:33 +0100217 !IsCallFreeIntrinsic<IntrinsicLocationsBuilderX86>(invoke, codegen_)) {
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000218 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(invoke);
219 // Add the extra parameter.
220 invoke_static_or_direct->AddSpecialInput(method_address);
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000221 base_added = true;
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000222 }
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000223
Mark Mendell94991072015-10-06 14:58:32 -0400224 // Ensure that we can load FP arguments from the constant area.
Vladimir Markoe9004912016-06-16 16:50:52 +0100225 HInputsRef inputs = invoke->GetInputs();
Vladimir Marko372f10e2016-05-17 16:30:10 +0100226 for (size_t i = 0; i < inputs.size(); i++) {
227 HConstant* input = inputs[i]->AsConstant();
Vladimir Marko0ebe0d82017-09-21 22:50:39 +0100228 if (input != nullptr && DataType::IsFloatingPointType(input->GetType())) {
Mark Mendell94991072015-10-06 14:58:32 -0400229 ReplaceInput(invoke, input, i, true);
230 }
231 }
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000232
233 // These intrinsics need the constant area.
234 switch (invoke->GetIntrinsic()) {
235 case Intrinsics::kMathAbsDouble:
236 case Intrinsics::kMathAbsFloat:
237 case Intrinsics::kMathMaxDoubleDouble:
238 case Intrinsics::kMathMaxFloatFloat:
239 case Intrinsics::kMathMinDoubleDouble:
240 case Intrinsics::kMathMinFloatFloat:
Aart Bik2c9f4952016-08-01 16:52:27 -0700241 case Intrinsics::kMathRoundFloat:
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000242 if (!base_added) {
243 DCHECK(invoke_static_or_direct != nullptr);
244 DCHECK(!invoke_static_or_direct->HasCurrentMethodInput());
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000245 HX86ComputeBaseMethodAddress* method_address = GetPCRelativeBasePointer(invoke);
246 invoke_static_or_direct->AddSpecialInput(method_address);
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000247 }
248 break;
249 default:
250 break;
251 }
Mark Mendell94991072015-10-06 14:58:32 -0400252 }
253
Aart Bikd1c40452016-03-02 16:06:13 -0800254 CodeGeneratorX86* codegen_;
255
Mark Mendell94991072015-10-06 14:58:32 -0400256 // The generated HX86ComputeBaseMethodAddress in the entry block needed as an
Nicolas Geoffray133719e2017-01-22 15:44:39 +0000257 // input to the HX86LoadFromConstantTable instructions. Only set for
258 // graphs with reducible loops.
Mark Mendell94991072015-10-06 14:58:32 -0400259 HX86ComputeBaseMethodAddress* base_;
260};
261
Vladimir Marko0f7dca42015-11-02 14:36:43 +0000262void PcRelativeFixups::Run() {
Aart Bikd1c40452016-03-02 16:06:13 -0800263 PCRelativeHandlerVisitor visitor(graph_, codegen_);
Mark Mendell94991072015-10-06 14:58:32 -0400264 visitor.VisitInsertionOrder();
Vladimir Markofb337ea2015-11-25 15:25:10 +0000265 visitor.MoveBaseIfNeeded();
Mark Mendell94991072015-10-06 14:58:32 -0400266}
267
268} // namespace x86
269} // namespace art