blob: 31911aa9d01aa0bb573dd049f98d34ee07b55d04 [file] [log] [blame]
Mark Mendell09ed1a32015-03-25 08:30:06 -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
17#include "intrinsics_x86.h"
18
Andreas Gampe21030dd2015-05-07 14:46:15 -070019#include <limits>
20
Mark Mendellfb8d2792015-03-31 22:16:59 -040021#include "arch/x86/instruction_set_features_x86.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070022#include "art_method.h"
Mark Mendelld5897672015-08-12 21:16:41 -040023#include "base/bit_utils.h"
Mark Mendell09ed1a32015-03-25 08:30:06 -040024#include "code_generator_x86.h"
25#include "entrypoints/quick/quick_entrypoints.h"
26#include "intrinsics.h"
Andreas Gampe85b62f22015-09-09 13:15:38 -070027#include "intrinsics_utils.h"
Mark Mendell09ed1a32015-03-25 08:30:06 -040028#include "mirror/array-inl.h"
Mark Mendell09ed1a32015-03-25 08:30:06 -040029#include "mirror/string.h"
30#include "thread.h"
31#include "utils/x86/assembler_x86.h"
32#include "utils/x86/constants_x86.h"
33
34namespace art {
35
36namespace x86 {
37
38static constexpr int kDoubleNaNHigh = 0x7FF80000;
39static constexpr int kDoubleNaNLow = 0x00000000;
Mark P Mendell2f10a5f2016-01-25 14:47:50 +000040static constexpr int64_t kDoubleNaN = INT64_C(0x7FF8000000000000);
41static constexpr int32_t kFloatNaN = INT32_C(0x7FC00000);
Mark Mendell09ed1a32015-03-25 08:30:06 -040042
Mark Mendellfb8d2792015-03-31 22:16:59 -040043IntrinsicLocationsBuilderX86::IntrinsicLocationsBuilderX86(CodeGeneratorX86* codegen)
Mark P Mendell2f10a5f2016-01-25 14:47:50 +000044 : arena_(codegen->GetGraph()->GetArena()),
45 codegen_(codegen) {
Mark Mendellfb8d2792015-03-31 22:16:59 -040046}
47
48
Mark Mendell09ed1a32015-03-25 08:30:06 -040049X86Assembler* IntrinsicCodeGeneratorX86::GetAssembler() {
Roland Levillainb488b782015-10-22 11:38:49 +010050 return down_cast<X86Assembler*>(codegen_->GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -040051}
52
53ArenaAllocator* IntrinsicCodeGeneratorX86::GetAllocator() {
54 return codegen_->GetGraph()->GetArena();
55}
56
57bool IntrinsicLocationsBuilderX86::TryDispatch(HInvoke* invoke) {
58 Dispatch(invoke);
59 LocationSummary* res = invoke->GetLocations();
Roland Levillain0d5a2812015-11-13 10:07:31 +000060 if (res == nullptr) {
61 return false;
62 }
63 if (kEmitCompilerReadBarrier && res->CanCall()) {
64 // Generating an intrinsic for this HInvoke may produce an
65 // IntrinsicSlowPathX86 slow path. Currently this approach
66 // does not work when using read barriers, as the emitted
67 // calling sequence will make use of another slow path
68 // (ReadBarrierForRootSlowPathX86 for HInvokeStaticOrDirect,
69 // ReadBarrierSlowPathX86 for HInvokeVirtual). So we bail
70 // out in this case.
71 //
72 // TODO: Find a way to have intrinsics work with read barriers.
73 invoke->SetLocations(nullptr);
74 return false;
75 }
76 return res->Intrinsified();
Mark Mendell09ed1a32015-03-25 08:30:06 -040077}
78
Roland Levillainec525fc2015-04-28 15:50:20 +010079static void MoveArguments(HInvoke* invoke, CodeGeneratorX86* codegen) {
Roland Levillain2d27c8e2015-04-28 15:48:45 +010080 InvokeDexCallingConventionVisitorX86 calling_convention_visitor;
Roland Levillainec525fc2015-04-28 15:50:20 +010081 IntrinsicVisitor::MoveArguments(invoke, codegen, &calling_convention_visitor);
Mark Mendell09ed1a32015-03-25 08:30:06 -040082}
83
Andreas Gampe85b62f22015-09-09 13:15:38 -070084using IntrinsicSlowPathX86 = IntrinsicSlowPath<InvokeDexCallingConventionVisitorX86>;
Mark Mendell09ed1a32015-03-25 08:30:06 -040085
Mark Mendell09ed1a32015-03-25 08:30:06 -040086#define __ assembler->
87
88static void CreateFPToIntLocations(ArenaAllocator* arena, HInvoke* invoke, bool is64bit) {
89 LocationSummary* locations = new (arena) LocationSummary(invoke,
90 LocationSummary::kNoCall,
91 kIntrinsified);
92 locations->SetInAt(0, Location::RequiresFpuRegister());
93 locations->SetOut(Location::RequiresRegister());
94 if (is64bit) {
95 locations->AddTemp(Location::RequiresFpuRegister());
96 }
97}
98
99static void CreateIntToFPLocations(ArenaAllocator* arena, HInvoke* invoke, bool is64bit) {
100 LocationSummary* locations = new (arena) LocationSummary(invoke,
101 LocationSummary::kNoCall,
102 kIntrinsified);
103 locations->SetInAt(0, Location::RequiresRegister());
104 locations->SetOut(Location::RequiresFpuRegister());
105 if (is64bit) {
106 locations->AddTemp(Location::RequiresFpuRegister());
107 locations->AddTemp(Location::RequiresFpuRegister());
108 }
109}
110
111static void MoveFPToInt(LocationSummary* locations, bool is64bit, X86Assembler* assembler) {
112 Location input = locations->InAt(0);
113 Location output = locations->Out();
114 if (is64bit) {
115 // Need to use the temporary.
116 XmmRegister temp = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
117 __ movsd(temp, input.AsFpuRegister<XmmRegister>());
118 __ movd(output.AsRegisterPairLow<Register>(), temp);
119 __ psrlq(temp, Immediate(32));
120 __ movd(output.AsRegisterPairHigh<Register>(), temp);
121 } else {
122 __ movd(output.AsRegister<Register>(), input.AsFpuRegister<XmmRegister>());
123 }
124}
125
126static void MoveIntToFP(LocationSummary* locations, bool is64bit, X86Assembler* assembler) {
127 Location input = locations->InAt(0);
128 Location output = locations->Out();
129 if (is64bit) {
130 // Need to use the temporary.
131 XmmRegister temp1 = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
132 XmmRegister temp2 = locations->GetTemp(1).AsFpuRegister<XmmRegister>();
133 __ movd(temp1, input.AsRegisterPairLow<Register>());
134 __ movd(temp2, input.AsRegisterPairHigh<Register>());
135 __ punpckldq(temp1, temp2);
136 __ movsd(output.AsFpuRegister<XmmRegister>(), temp1);
137 } else {
138 __ movd(output.AsFpuRegister<XmmRegister>(), input.AsRegister<Register>());
139 }
140}
141
142void IntrinsicLocationsBuilderX86::VisitDoubleDoubleToRawLongBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000143 CreateFPToIntLocations(arena_, invoke, /* is64bit */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400144}
145void IntrinsicLocationsBuilderX86::VisitDoubleLongBitsToDouble(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000146 CreateIntToFPLocations(arena_, invoke, /* is64bit */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400147}
148
149void IntrinsicCodeGeneratorX86::VisitDoubleDoubleToRawLongBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000150 MoveFPToInt(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400151}
152void IntrinsicCodeGeneratorX86::VisitDoubleLongBitsToDouble(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000153 MoveIntToFP(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400154}
155
156void IntrinsicLocationsBuilderX86::VisitFloatFloatToRawIntBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000157 CreateFPToIntLocations(arena_, invoke, /* is64bit */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400158}
159void IntrinsicLocationsBuilderX86::VisitFloatIntBitsToFloat(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000160 CreateIntToFPLocations(arena_, invoke, /* is64bit */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400161}
162
163void IntrinsicCodeGeneratorX86::VisitFloatFloatToRawIntBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000164 MoveFPToInt(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400165}
166void IntrinsicCodeGeneratorX86::VisitFloatIntBitsToFloat(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000167 MoveIntToFP(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400168}
169
170static void CreateIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
171 LocationSummary* locations = new (arena) LocationSummary(invoke,
172 LocationSummary::kNoCall,
173 kIntrinsified);
174 locations->SetInAt(0, Location::RequiresRegister());
175 locations->SetOut(Location::SameAsFirstInput());
176}
177
178static void CreateLongToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
179 LocationSummary* locations = new (arena) LocationSummary(invoke,
180 LocationSummary::kNoCall,
181 kIntrinsified);
182 locations->SetInAt(0, Location::RequiresRegister());
183 locations->SetOut(Location::RequiresRegister());
184}
185
186static void CreateLongToLongLocations(ArenaAllocator* arena, HInvoke* invoke) {
187 LocationSummary* locations = new (arena) LocationSummary(invoke,
188 LocationSummary::kNoCall,
189 kIntrinsified);
190 locations->SetInAt(0, Location::RequiresRegister());
191 locations->SetOut(Location::RequiresRegister(), Location::kOutputOverlap);
192}
193
194static void GenReverseBytes(LocationSummary* locations,
195 Primitive::Type size,
196 X86Assembler* assembler) {
197 Register out = locations->Out().AsRegister<Register>();
198
199 switch (size) {
200 case Primitive::kPrimShort:
201 // TODO: Can be done with an xchg of 8b registers. This is straight from Quick.
202 __ bswapl(out);
203 __ sarl(out, Immediate(16));
204 break;
205 case Primitive::kPrimInt:
206 __ bswapl(out);
207 break;
208 default:
209 LOG(FATAL) << "Unexpected size for reverse-bytes: " << size;
210 UNREACHABLE();
211 }
212}
213
214void IntrinsicLocationsBuilderX86::VisitIntegerReverseBytes(HInvoke* invoke) {
215 CreateIntToIntLocations(arena_, invoke);
216}
217
218void IntrinsicCodeGeneratorX86::VisitIntegerReverseBytes(HInvoke* invoke) {
219 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
220}
221
Mark Mendell58d25fd2015-04-03 14:52:31 -0400222void IntrinsicLocationsBuilderX86::VisitLongReverseBytes(HInvoke* invoke) {
223 CreateLongToLongLocations(arena_, invoke);
224}
225
226void IntrinsicCodeGeneratorX86::VisitLongReverseBytes(HInvoke* invoke) {
227 LocationSummary* locations = invoke->GetLocations();
228 Location input = locations->InAt(0);
229 Register input_lo = input.AsRegisterPairLow<Register>();
230 Register input_hi = input.AsRegisterPairHigh<Register>();
231 Location output = locations->Out();
232 Register output_lo = output.AsRegisterPairLow<Register>();
233 Register output_hi = output.AsRegisterPairHigh<Register>();
234
235 X86Assembler* assembler = GetAssembler();
236 // Assign the inputs to the outputs, mixing low/high.
237 __ movl(output_lo, input_hi);
238 __ movl(output_hi, input_lo);
239 __ bswapl(output_lo);
240 __ bswapl(output_hi);
241}
242
Mark Mendell09ed1a32015-03-25 08:30:06 -0400243void IntrinsicLocationsBuilderX86::VisitShortReverseBytes(HInvoke* invoke) {
244 CreateIntToIntLocations(arena_, invoke);
245}
246
247void IntrinsicCodeGeneratorX86::VisitShortReverseBytes(HInvoke* invoke) {
248 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
249}
250
251
252// TODO: Consider Quick's way of doing Double abs through integer operations, as the immediate we
253// need is 64b.
254
255static void CreateFloatToFloat(ArenaAllocator* arena, HInvoke* invoke) {
256 // TODO: Enable memory operations when the assembler supports them.
257 LocationSummary* locations = new (arena) LocationSummary(invoke,
258 LocationSummary::kNoCall,
259 kIntrinsified);
260 locations->SetInAt(0, Location::RequiresFpuRegister());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400261 locations->SetOut(Location::SameAsFirstInput());
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000262 HInvokeStaticOrDirect* static_or_direct = invoke->AsInvokeStaticOrDirect();
263 DCHECK(static_or_direct != nullptr);
Nicolas Geoffray97793072016-02-16 15:33:54 +0000264 if (static_or_direct->HasSpecialInput() &&
265 invoke->InputAt(static_or_direct->GetSpecialInputIndex())->IsX86ComputeBaseMethodAddress()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000266 // We need addressibility for the constant area.
267 locations->SetInAt(1, Location::RequiresRegister());
268 // We need a temporary to hold the constant.
269 locations->AddTemp(Location::RequiresFpuRegister());
270 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400271}
272
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000273static void MathAbsFP(LocationSummary* locations,
274 bool is64bit,
275 X86Assembler* assembler,
276 CodeGeneratorX86* codegen) {
Mark Mendell09ed1a32015-03-25 08:30:06 -0400277 Location output = locations->Out();
278
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000279 DCHECK(output.IsFpuRegister());
Nicolas Geoffray97793072016-02-16 15:33:54 +0000280 if (locations->GetInputCount() == 2 && locations->InAt(1).IsValid()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000281 DCHECK(locations->InAt(1).IsRegister());
282 // We also have a constant area pointer.
283 Register constant_area = locations->InAt(1).AsRegister<Register>();
284 XmmRegister temp = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
285 if (is64bit) {
286 __ movsd(temp, codegen->LiteralInt64Address(INT64_C(0x7FFFFFFFFFFFFFFF), constant_area));
287 __ andpd(output.AsFpuRegister<XmmRegister>(), temp);
288 } else {
289 __ movss(temp, codegen->LiteralInt32Address(INT32_C(0x7FFFFFFF), constant_area));
290 __ andps(output.AsFpuRegister<XmmRegister>(), temp);
291 }
292 } else {
Mark Mendell09ed1a32015-03-25 08:30:06 -0400293 // Create the right constant on an aligned stack.
294 if (is64bit) {
295 __ subl(ESP, Immediate(8));
296 __ pushl(Immediate(0x7FFFFFFF));
297 __ pushl(Immediate(0xFFFFFFFF));
298 __ andpd(output.AsFpuRegister<XmmRegister>(), Address(ESP, 0));
299 } else {
300 __ subl(ESP, Immediate(12));
301 __ pushl(Immediate(0x7FFFFFFF));
302 __ andps(output.AsFpuRegister<XmmRegister>(), Address(ESP, 0));
303 }
304 __ addl(ESP, Immediate(16));
Mark Mendell09ed1a32015-03-25 08:30:06 -0400305 }
306}
307
308void IntrinsicLocationsBuilderX86::VisitMathAbsDouble(HInvoke* invoke) {
309 CreateFloatToFloat(arena_, invoke);
310}
311
312void IntrinsicCodeGeneratorX86::VisitMathAbsDouble(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000313 MathAbsFP(invoke->GetLocations(), /* is64bit */ true, GetAssembler(), codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400314}
315
316void IntrinsicLocationsBuilderX86::VisitMathAbsFloat(HInvoke* invoke) {
317 CreateFloatToFloat(arena_, invoke);
318}
319
320void IntrinsicCodeGeneratorX86::VisitMathAbsFloat(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000321 MathAbsFP(invoke->GetLocations(), /* is64bit */ false, GetAssembler(), codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400322}
323
324static void CreateAbsIntLocation(ArenaAllocator* arena, HInvoke* invoke) {
325 LocationSummary* locations = new (arena) LocationSummary(invoke,
326 LocationSummary::kNoCall,
327 kIntrinsified);
328 locations->SetInAt(0, Location::RegisterLocation(EAX));
329 locations->SetOut(Location::SameAsFirstInput());
330 locations->AddTemp(Location::RegisterLocation(EDX));
331}
332
333static void GenAbsInteger(LocationSummary* locations, X86Assembler* assembler) {
334 Location output = locations->Out();
335 Register out = output.AsRegister<Register>();
336 DCHECK_EQ(out, EAX);
337 Register temp = locations->GetTemp(0).AsRegister<Register>();
338 DCHECK_EQ(temp, EDX);
339
340 // Sign extend EAX into EDX.
341 __ cdq();
342
343 // XOR EAX with sign.
344 __ xorl(EAX, EDX);
345
346 // Subtract out sign to correct.
347 __ subl(EAX, EDX);
348
349 // The result is in EAX.
350}
351
352static void CreateAbsLongLocation(ArenaAllocator* arena, HInvoke* invoke) {
353 LocationSummary* locations = new (arena) LocationSummary(invoke,
354 LocationSummary::kNoCall,
355 kIntrinsified);
356 locations->SetInAt(0, Location::RequiresRegister());
357 locations->SetOut(Location::RequiresRegister(), Location::kOutputOverlap);
358 locations->AddTemp(Location::RequiresRegister());
359}
360
361static void GenAbsLong(LocationSummary* locations, X86Assembler* assembler) {
362 Location input = locations->InAt(0);
363 Register input_lo = input.AsRegisterPairLow<Register>();
364 Register input_hi = input.AsRegisterPairHigh<Register>();
365 Location output = locations->Out();
366 Register output_lo = output.AsRegisterPairLow<Register>();
367 Register output_hi = output.AsRegisterPairHigh<Register>();
368 Register temp = locations->GetTemp(0).AsRegister<Register>();
369
370 // Compute the sign into the temporary.
371 __ movl(temp, input_hi);
372 __ sarl(temp, Immediate(31));
373
374 // Store the sign into the output.
375 __ movl(output_lo, temp);
376 __ movl(output_hi, temp);
377
378 // XOR the input to the output.
379 __ xorl(output_lo, input_lo);
380 __ xorl(output_hi, input_hi);
381
382 // Subtract the sign.
383 __ subl(output_lo, temp);
384 __ sbbl(output_hi, temp);
385}
386
387void IntrinsicLocationsBuilderX86::VisitMathAbsInt(HInvoke* invoke) {
388 CreateAbsIntLocation(arena_, invoke);
389}
390
391void IntrinsicCodeGeneratorX86::VisitMathAbsInt(HInvoke* invoke) {
392 GenAbsInteger(invoke->GetLocations(), GetAssembler());
393}
394
395void IntrinsicLocationsBuilderX86::VisitMathAbsLong(HInvoke* invoke) {
396 CreateAbsLongLocation(arena_, invoke);
397}
398
399void IntrinsicCodeGeneratorX86::VisitMathAbsLong(HInvoke* invoke) {
400 GenAbsLong(invoke->GetLocations(), GetAssembler());
401}
402
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000403static void GenMinMaxFP(LocationSummary* locations,
404 bool is_min,
405 bool is_double,
406 X86Assembler* assembler,
407 CodeGeneratorX86* codegen) {
Mark Mendell09ed1a32015-03-25 08:30:06 -0400408 Location op1_loc = locations->InAt(0);
409 Location op2_loc = locations->InAt(1);
410 Location out_loc = locations->Out();
411 XmmRegister out = out_loc.AsFpuRegister<XmmRegister>();
412
413 // Shortcut for same input locations.
414 if (op1_loc.Equals(op2_loc)) {
415 DCHECK(out_loc.Equals(op1_loc));
416 return;
417 }
418
419 // (out := op1)
420 // out <=? op2
421 // if Nan jmp Nan_label
422 // if out is min jmp done
423 // if op2 is min jmp op2_label
424 // handle -0/+0
425 // jmp done
426 // Nan_label:
427 // out := NaN
428 // op2_label:
429 // out := op2
430 // done:
431 //
432 // This removes one jmp, but needs to copy one input (op1) to out.
433 //
434 // TODO: This is straight from Quick (except literal pool). Make NaN an out-of-line slowpath?
435
436 XmmRegister op2 = op2_loc.AsFpuRegister<XmmRegister>();
437
Mark Mendell0c9497d2015-08-21 09:30:05 -0400438 NearLabel nan, done, op2_label;
Mark Mendell09ed1a32015-03-25 08:30:06 -0400439 if (is_double) {
440 __ ucomisd(out, op2);
441 } else {
442 __ ucomiss(out, op2);
443 }
444
445 __ j(Condition::kParityEven, &nan);
446
447 __ j(is_min ? Condition::kAbove : Condition::kBelow, &op2_label);
448 __ j(is_min ? Condition::kBelow : Condition::kAbove, &done);
449
450 // Handle 0.0/-0.0.
451 if (is_min) {
452 if (is_double) {
453 __ orpd(out, op2);
454 } else {
455 __ orps(out, op2);
456 }
457 } else {
458 if (is_double) {
459 __ andpd(out, op2);
460 } else {
461 __ andps(out, op2);
462 }
463 }
464 __ jmp(&done);
465
466 // NaN handling.
467 __ Bind(&nan);
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000468 // Do we have a constant area pointer?
Nicolas Geoffray97793072016-02-16 15:33:54 +0000469 if (locations->GetInputCount() == 3 && locations->InAt(2).IsValid()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000470 DCHECK(locations->InAt(2).IsRegister());
471 Register constant_area = locations->InAt(2).AsRegister<Register>();
472 if (is_double) {
473 __ movsd(out, codegen->LiteralInt64Address(kDoubleNaN, constant_area));
474 } else {
475 __ movss(out, codegen->LiteralInt32Address(kFloatNaN, constant_area));
476 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400477 } else {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000478 if (is_double) {
479 __ pushl(Immediate(kDoubleNaNHigh));
480 __ pushl(Immediate(kDoubleNaNLow));
481 __ movsd(out, Address(ESP, 0));
482 __ addl(ESP, Immediate(8));
483 } else {
484 __ pushl(Immediate(kFloatNaN));
485 __ movss(out, Address(ESP, 0));
486 __ addl(ESP, Immediate(4));
487 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400488 }
489 __ jmp(&done);
490
491 // out := op2;
492 __ Bind(&op2_label);
493 if (is_double) {
494 __ movsd(out, op2);
495 } else {
496 __ movss(out, op2);
497 }
498
499 // Done.
500 __ Bind(&done);
501}
502
503static void CreateFPFPToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
504 LocationSummary* locations = new (arena) LocationSummary(invoke,
505 LocationSummary::kNoCall,
506 kIntrinsified);
507 locations->SetInAt(0, Location::RequiresFpuRegister());
508 locations->SetInAt(1, Location::RequiresFpuRegister());
509 // The following is sub-optimal, but all we can do for now. It would be fine to also accept
510 // the second input to be the output (we can simply swap inputs).
511 locations->SetOut(Location::SameAsFirstInput());
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000512 HInvokeStaticOrDirect* static_or_direct = invoke->AsInvokeStaticOrDirect();
513 DCHECK(static_or_direct != nullptr);
Nicolas Geoffray97793072016-02-16 15:33:54 +0000514 if (static_or_direct->HasSpecialInput() &&
515 invoke->InputAt(static_or_direct->GetSpecialInputIndex())->IsX86ComputeBaseMethodAddress()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000516 locations->SetInAt(2, Location::RequiresRegister());
517 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400518}
519
520void IntrinsicLocationsBuilderX86::VisitMathMinDoubleDouble(HInvoke* invoke) {
521 CreateFPFPToFPLocations(arena_, invoke);
522}
523
524void IntrinsicCodeGeneratorX86::VisitMathMinDoubleDouble(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000525 GenMinMaxFP(invoke->GetLocations(),
526 /* is_min */ true,
527 /* is_double */ true,
528 GetAssembler(),
529 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400530}
531
532void IntrinsicLocationsBuilderX86::VisitMathMinFloatFloat(HInvoke* invoke) {
533 CreateFPFPToFPLocations(arena_, invoke);
534}
535
536void IntrinsicCodeGeneratorX86::VisitMathMinFloatFloat(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000537 GenMinMaxFP(invoke->GetLocations(),
538 /* is_min */ true,
539 /* is_double */ false,
540 GetAssembler(),
541 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400542}
543
544void IntrinsicLocationsBuilderX86::VisitMathMaxDoubleDouble(HInvoke* invoke) {
545 CreateFPFPToFPLocations(arena_, invoke);
546}
547
548void IntrinsicCodeGeneratorX86::VisitMathMaxDoubleDouble(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000549 GenMinMaxFP(invoke->GetLocations(),
550 /* is_min */ false,
551 /* is_double */ true,
552 GetAssembler(),
553 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400554}
555
556void IntrinsicLocationsBuilderX86::VisitMathMaxFloatFloat(HInvoke* invoke) {
557 CreateFPFPToFPLocations(arena_, invoke);
558}
559
560void IntrinsicCodeGeneratorX86::VisitMathMaxFloatFloat(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000561 GenMinMaxFP(invoke->GetLocations(),
562 /* is_min */ false,
563 /* is_double */ false,
564 GetAssembler(),
565 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400566}
567
568static void GenMinMax(LocationSummary* locations, bool is_min, bool is_long,
569 X86Assembler* assembler) {
570 Location op1_loc = locations->InAt(0);
571 Location op2_loc = locations->InAt(1);
572
573 // Shortcut for same input locations.
574 if (op1_loc.Equals(op2_loc)) {
575 // Can return immediately, as op1_loc == out_loc.
576 // Note: if we ever support separate registers, e.g., output into memory, we need to check for
577 // a copy here.
578 DCHECK(locations->Out().Equals(op1_loc));
579 return;
580 }
581
582 if (is_long) {
583 // Need to perform a subtract to get the sign right.
584 // op1 is already in the same location as the output.
585 Location output = locations->Out();
586 Register output_lo = output.AsRegisterPairLow<Register>();
587 Register output_hi = output.AsRegisterPairHigh<Register>();
588
589 Register op2_lo = op2_loc.AsRegisterPairLow<Register>();
590 Register op2_hi = op2_loc.AsRegisterPairHigh<Register>();
591
592 // Spare register to compute the subtraction to set condition code.
593 Register temp = locations->GetTemp(0).AsRegister<Register>();
594
595 // Subtract off op2_low.
596 __ movl(temp, output_lo);
597 __ subl(temp, op2_lo);
598
599 // Now use the same tempo and the borrow to finish the subtraction of op2_hi.
600 __ movl(temp, output_hi);
601 __ sbbl(temp, op2_hi);
602
603 // Now the condition code is correct.
604 Condition cond = is_min ? Condition::kGreaterEqual : Condition::kLess;
605 __ cmovl(cond, output_lo, op2_lo);
606 __ cmovl(cond, output_hi, op2_hi);
607 } else {
608 Register out = locations->Out().AsRegister<Register>();
609 Register op2 = op2_loc.AsRegister<Register>();
610
611 // (out := op1)
612 // out <=? op2
613 // if out is min jmp done
614 // out := op2
615 // done:
616
617 __ cmpl(out, op2);
618 Condition cond = is_min ? Condition::kGreater : Condition::kLess;
619 __ cmovl(cond, out, op2);
620 }
621}
622
623static void CreateIntIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
624 LocationSummary* locations = new (arena) LocationSummary(invoke,
625 LocationSummary::kNoCall,
626 kIntrinsified);
627 locations->SetInAt(0, Location::RequiresRegister());
628 locations->SetInAt(1, Location::RequiresRegister());
629 locations->SetOut(Location::SameAsFirstInput());
630}
631
632static void CreateLongLongToLongLocations(ArenaAllocator* arena, HInvoke* invoke) {
633 LocationSummary* locations = new (arena) LocationSummary(invoke,
634 LocationSummary::kNoCall,
635 kIntrinsified);
636 locations->SetInAt(0, Location::RequiresRegister());
637 locations->SetInAt(1, Location::RequiresRegister());
638 locations->SetOut(Location::SameAsFirstInput());
639 // Register to use to perform a long subtract to set cc.
640 locations->AddTemp(Location::RequiresRegister());
641}
642
643void IntrinsicLocationsBuilderX86::VisitMathMinIntInt(HInvoke* invoke) {
644 CreateIntIntToIntLocations(arena_, invoke);
645}
646
647void IntrinsicCodeGeneratorX86::VisitMathMinIntInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000648 GenMinMax(invoke->GetLocations(), /* is_min */ true, /* is_long */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400649}
650
651void IntrinsicLocationsBuilderX86::VisitMathMinLongLong(HInvoke* invoke) {
652 CreateLongLongToLongLocations(arena_, invoke);
653}
654
655void IntrinsicCodeGeneratorX86::VisitMathMinLongLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000656 GenMinMax(invoke->GetLocations(), /* is_min */ true, /* is_long */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400657}
658
659void IntrinsicLocationsBuilderX86::VisitMathMaxIntInt(HInvoke* invoke) {
660 CreateIntIntToIntLocations(arena_, invoke);
661}
662
663void IntrinsicCodeGeneratorX86::VisitMathMaxIntInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000664 GenMinMax(invoke->GetLocations(), /* is_min */ false, /* is_long */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400665}
666
667void IntrinsicLocationsBuilderX86::VisitMathMaxLongLong(HInvoke* invoke) {
668 CreateLongLongToLongLocations(arena_, invoke);
669}
670
671void IntrinsicCodeGeneratorX86::VisitMathMaxLongLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000672 GenMinMax(invoke->GetLocations(), /* is_min */ false, /* is_long */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400673}
674
675static void CreateFPToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
676 LocationSummary* locations = new (arena) LocationSummary(invoke,
677 LocationSummary::kNoCall,
678 kIntrinsified);
679 locations->SetInAt(0, Location::RequiresFpuRegister());
680 locations->SetOut(Location::RequiresFpuRegister());
681}
682
683void IntrinsicLocationsBuilderX86::VisitMathSqrt(HInvoke* invoke) {
684 CreateFPToFPLocations(arena_, invoke);
685}
686
687void IntrinsicCodeGeneratorX86::VisitMathSqrt(HInvoke* invoke) {
688 LocationSummary* locations = invoke->GetLocations();
689 XmmRegister in = locations->InAt(0).AsFpuRegister<XmmRegister>();
690 XmmRegister out = locations->Out().AsFpuRegister<XmmRegister>();
691
692 GetAssembler()->sqrtsd(out, in);
693}
694
Mark Mendellfb8d2792015-03-31 22:16:59 -0400695static void InvokeOutOfLineIntrinsic(CodeGeneratorX86* codegen, HInvoke* invoke) {
Roland Levillainec525fc2015-04-28 15:50:20 +0100696 MoveArguments(invoke, codegen);
Mark Mendellfb8d2792015-03-31 22:16:59 -0400697
698 DCHECK(invoke->IsInvokeStaticOrDirect());
Nicolas Geoffray94015b92015-06-04 18:21:04 +0100699 codegen->GenerateStaticOrDirectCall(invoke->AsInvokeStaticOrDirect(),
700 Location::RegisterLocation(EAX));
Mingyao Yange90db122015-04-03 17:56:54 -0700701 codegen->RecordPcInfo(invoke, invoke->GetDexPc());
Mark Mendellfb8d2792015-03-31 22:16:59 -0400702
703 // Copy the result back to the expected output.
704 Location out = invoke->GetLocations()->Out();
705 if (out.IsValid()) {
706 DCHECK(out.IsRegister());
Andreas Gampe85b62f22015-09-09 13:15:38 -0700707 codegen->MoveFromReturnRegister(out, invoke->GetType());
Mark Mendellfb8d2792015-03-31 22:16:59 -0400708 }
709}
710
711static void CreateSSE41FPToFPLocations(ArenaAllocator* arena,
712 HInvoke* invoke,
713 CodeGeneratorX86* codegen) {
714 // Do we have instruction support?
715 if (codegen->GetInstructionSetFeatures().HasSSE4_1()) {
716 CreateFPToFPLocations(arena, invoke);
717 return;
718 }
719
720 // We have to fall back to a call to the intrinsic.
721 LocationSummary* locations = new (arena) LocationSummary(invoke,
722 LocationSummary::kCall);
723 InvokeRuntimeCallingConvention calling_convention;
724 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetFpuRegisterAt(0)));
725 locations->SetOut(Location::FpuRegisterLocation(XMM0));
726 // Needs to be EAX for the invoke.
727 locations->AddTemp(Location::RegisterLocation(EAX));
728}
729
730static void GenSSE41FPToFPIntrinsic(CodeGeneratorX86* codegen,
731 HInvoke* invoke,
732 X86Assembler* assembler,
733 int round_mode) {
734 LocationSummary* locations = invoke->GetLocations();
735 if (locations->WillCall()) {
736 InvokeOutOfLineIntrinsic(codegen, invoke);
737 } else {
738 XmmRegister in = locations->InAt(0).AsFpuRegister<XmmRegister>();
739 XmmRegister out = locations->Out().AsFpuRegister<XmmRegister>();
740 __ roundsd(out, in, Immediate(round_mode));
741 }
742}
743
744void IntrinsicLocationsBuilderX86::VisitMathCeil(HInvoke* invoke) {
745 CreateSSE41FPToFPLocations(arena_, invoke, codegen_);
746}
747
748void IntrinsicCodeGeneratorX86::VisitMathCeil(HInvoke* invoke) {
749 GenSSE41FPToFPIntrinsic(codegen_, invoke, GetAssembler(), 2);
750}
751
752void IntrinsicLocationsBuilderX86::VisitMathFloor(HInvoke* invoke) {
753 CreateSSE41FPToFPLocations(arena_, invoke, codegen_);
754}
755
756void IntrinsicCodeGeneratorX86::VisitMathFloor(HInvoke* invoke) {
757 GenSSE41FPToFPIntrinsic(codegen_, invoke, GetAssembler(), 1);
758}
759
760void IntrinsicLocationsBuilderX86::VisitMathRint(HInvoke* invoke) {
761 CreateSSE41FPToFPLocations(arena_, invoke, codegen_);
762}
763
764void IntrinsicCodeGeneratorX86::VisitMathRint(HInvoke* invoke) {
765 GenSSE41FPToFPIntrinsic(codegen_, invoke, GetAssembler(), 0);
766}
767
768// Note that 32 bit x86 doesn't have the capability to inline MathRoundDouble,
769// as it needs 64 bit instructions.
770void IntrinsicLocationsBuilderX86::VisitMathRoundFloat(HInvoke* invoke) {
Andreas Gampee6d0d8d2015-12-28 09:54:29 -0800771 // See intrinsics.h.
772 if (!kRoundIsPlusPointFive) {
773 return;
774 }
775
Mark Mendellfb8d2792015-03-31 22:16:59 -0400776 // Do we have instruction support?
777 if (codegen_->GetInstructionSetFeatures().HasSSE4_1()) {
778 LocationSummary* locations = new (arena_) LocationSummary(invoke,
779 LocationSummary::kNoCall,
780 kIntrinsified);
781 locations->SetInAt(0, Location::RequiresFpuRegister());
Nicolas Geoffrayd9b92402015-04-21 10:02:22 +0100782 locations->SetOut(Location::RequiresRegister());
Mark Mendellfb8d2792015-03-31 22:16:59 -0400783 locations->AddTemp(Location::RequiresFpuRegister());
784 locations->AddTemp(Location::RequiresFpuRegister());
785 return;
786 }
787
788 // We have to fall back to a call to the intrinsic.
789 LocationSummary* locations = new (arena_) LocationSummary(invoke,
790 LocationSummary::kCall);
791 InvokeRuntimeCallingConvention calling_convention;
792 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetFpuRegisterAt(0)));
793 locations->SetOut(Location::RegisterLocation(EAX));
794 // Needs to be EAX for the invoke.
795 locations->AddTemp(Location::RegisterLocation(EAX));
796}
797
798void IntrinsicCodeGeneratorX86::VisitMathRoundFloat(HInvoke* invoke) {
799 LocationSummary* locations = invoke->GetLocations();
800 if (locations->WillCall()) {
801 InvokeOutOfLineIntrinsic(codegen_, invoke);
802 return;
803 }
804
805 // Implement RoundFloat as t1 = floor(input + 0.5f); convert to int.
806 XmmRegister in = locations->InAt(0).AsFpuRegister<XmmRegister>();
807 Register out = locations->Out().AsRegister<Register>();
808 XmmRegister maxInt = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
809 XmmRegister inPlusPointFive = locations->GetTemp(1).AsFpuRegister<XmmRegister>();
Mark Mendell0c9497d2015-08-21 09:30:05 -0400810 NearLabel done, nan;
Mark Mendellfb8d2792015-03-31 22:16:59 -0400811 X86Assembler* assembler = GetAssembler();
812
813 // Generate 0.5 into inPlusPointFive.
814 __ movl(out, Immediate(bit_cast<int32_t, float>(0.5f)));
815 __ movd(inPlusPointFive, out);
816
817 // Add in the input.
818 __ addss(inPlusPointFive, in);
819
820 // And truncate to an integer.
821 __ roundss(inPlusPointFive, inPlusPointFive, Immediate(1));
822
823 __ movl(out, Immediate(kPrimIntMax));
824 // maxInt = int-to-float(out)
825 __ cvtsi2ss(maxInt, out);
826
827 // if inPlusPointFive >= maxInt goto done
828 __ comiss(inPlusPointFive, maxInt);
829 __ j(kAboveEqual, &done);
830
831 // if input == NaN goto nan
832 __ j(kUnordered, &nan);
833
834 // output = float-to-int-truncate(input)
835 __ cvttss2si(out, inPlusPointFive);
836 __ jmp(&done);
837 __ Bind(&nan);
838
839 // output = 0
840 __ xorl(out, out);
841 __ Bind(&done);
842}
843
Mark Mendella4f12202015-08-06 15:23:34 -0400844static void CreateFPToFPCallLocations(ArenaAllocator* arena,
845 HInvoke* invoke) {
846 LocationSummary* locations = new (arena) LocationSummary(invoke,
847 LocationSummary::kCall,
848 kIntrinsified);
849 InvokeRuntimeCallingConvention calling_convention;
850 locations->SetInAt(0, Location::FpuRegisterLocation(calling_convention.GetFpuRegisterAt(0)));
851 locations->SetOut(Location::FpuRegisterLocation(XMM0));
852}
853
854static void GenFPToFPCall(HInvoke* invoke, CodeGeneratorX86* codegen, QuickEntrypointEnum entry) {
855 LocationSummary* locations = invoke->GetLocations();
856 DCHECK(locations->WillCall());
857 DCHECK(invoke->IsInvokeStaticOrDirect());
858 X86Assembler* assembler = codegen->GetAssembler();
859
860 // We need some place to pass the parameters.
861 __ subl(ESP, Immediate(16));
862 __ cfi().AdjustCFAOffset(16);
863
864 // Pass the parameters at the bottom of the stack.
865 __ movsd(Address(ESP, 0), XMM0);
866
867 // If we have a second parameter, pass it next.
868 if (invoke->GetNumberOfArguments() == 2) {
869 __ movsd(Address(ESP, 8), XMM1);
870 }
871
872 // Now do the actual call.
873 __ fs()->call(Address::Absolute(GetThreadOffset<kX86WordSize>(entry)));
874
875 // Extract the return value from the FP stack.
876 __ fstpl(Address(ESP, 0));
877 __ movsd(XMM0, Address(ESP, 0));
878
879 // And clean up the stack.
880 __ addl(ESP, Immediate(16));
881 __ cfi().AdjustCFAOffset(-16);
882
883 codegen->RecordPcInfo(invoke, invoke->GetDexPc());
884}
885
886void IntrinsicLocationsBuilderX86::VisitMathCos(HInvoke* invoke) {
887 CreateFPToFPCallLocations(arena_, invoke);
888}
889
890void IntrinsicCodeGeneratorX86::VisitMathCos(HInvoke* invoke) {
891 GenFPToFPCall(invoke, codegen_, kQuickCos);
892}
893
894void IntrinsicLocationsBuilderX86::VisitMathSin(HInvoke* invoke) {
895 CreateFPToFPCallLocations(arena_, invoke);
896}
897
898void IntrinsicCodeGeneratorX86::VisitMathSin(HInvoke* invoke) {
899 GenFPToFPCall(invoke, codegen_, kQuickSin);
900}
901
902void IntrinsicLocationsBuilderX86::VisitMathAcos(HInvoke* invoke) {
903 CreateFPToFPCallLocations(arena_, invoke);
904}
905
906void IntrinsicCodeGeneratorX86::VisitMathAcos(HInvoke* invoke) {
907 GenFPToFPCall(invoke, codegen_, kQuickAcos);
908}
909
910void IntrinsicLocationsBuilderX86::VisitMathAsin(HInvoke* invoke) {
911 CreateFPToFPCallLocations(arena_, invoke);
912}
913
914void IntrinsicCodeGeneratorX86::VisitMathAsin(HInvoke* invoke) {
915 GenFPToFPCall(invoke, codegen_, kQuickAsin);
916}
917
918void IntrinsicLocationsBuilderX86::VisitMathAtan(HInvoke* invoke) {
919 CreateFPToFPCallLocations(arena_, invoke);
920}
921
922void IntrinsicCodeGeneratorX86::VisitMathAtan(HInvoke* invoke) {
923 GenFPToFPCall(invoke, codegen_, kQuickAtan);
924}
925
926void IntrinsicLocationsBuilderX86::VisitMathCbrt(HInvoke* invoke) {
927 CreateFPToFPCallLocations(arena_, invoke);
928}
929
930void IntrinsicCodeGeneratorX86::VisitMathCbrt(HInvoke* invoke) {
931 GenFPToFPCall(invoke, codegen_, kQuickCbrt);
932}
933
934void IntrinsicLocationsBuilderX86::VisitMathCosh(HInvoke* invoke) {
935 CreateFPToFPCallLocations(arena_, invoke);
936}
937
938void IntrinsicCodeGeneratorX86::VisitMathCosh(HInvoke* invoke) {
939 GenFPToFPCall(invoke, codegen_, kQuickCosh);
940}
941
942void IntrinsicLocationsBuilderX86::VisitMathExp(HInvoke* invoke) {
943 CreateFPToFPCallLocations(arena_, invoke);
944}
945
946void IntrinsicCodeGeneratorX86::VisitMathExp(HInvoke* invoke) {
947 GenFPToFPCall(invoke, codegen_, kQuickExp);
948}
949
950void IntrinsicLocationsBuilderX86::VisitMathExpm1(HInvoke* invoke) {
951 CreateFPToFPCallLocations(arena_, invoke);
952}
953
954void IntrinsicCodeGeneratorX86::VisitMathExpm1(HInvoke* invoke) {
955 GenFPToFPCall(invoke, codegen_, kQuickExpm1);
956}
957
958void IntrinsicLocationsBuilderX86::VisitMathLog(HInvoke* invoke) {
959 CreateFPToFPCallLocations(arena_, invoke);
960}
961
962void IntrinsicCodeGeneratorX86::VisitMathLog(HInvoke* invoke) {
963 GenFPToFPCall(invoke, codegen_, kQuickLog);
964}
965
966void IntrinsicLocationsBuilderX86::VisitMathLog10(HInvoke* invoke) {
967 CreateFPToFPCallLocations(arena_, invoke);
968}
969
970void IntrinsicCodeGeneratorX86::VisitMathLog10(HInvoke* invoke) {
971 GenFPToFPCall(invoke, codegen_, kQuickLog10);
972}
973
974void IntrinsicLocationsBuilderX86::VisitMathSinh(HInvoke* invoke) {
975 CreateFPToFPCallLocations(arena_, invoke);
976}
977
978void IntrinsicCodeGeneratorX86::VisitMathSinh(HInvoke* invoke) {
979 GenFPToFPCall(invoke, codegen_, kQuickSinh);
980}
981
982void IntrinsicLocationsBuilderX86::VisitMathTan(HInvoke* invoke) {
983 CreateFPToFPCallLocations(arena_, invoke);
984}
985
986void IntrinsicCodeGeneratorX86::VisitMathTan(HInvoke* invoke) {
987 GenFPToFPCall(invoke, codegen_, kQuickTan);
988}
989
990void IntrinsicLocationsBuilderX86::VisitMathTanh(HInvoke* invoke) {
991 CreateFPToFPCallLocations(arena_, invoke);
992}
993
994void IntrinsicCodeGeneratorX86::VisitMathTanh(HInvoke* invoke) {
995 GenFPToFPCall(invoke, codegen_, kQuickTanh);
996}
997
998static void CreateFPFPToFPCallLocations(ArenaAllocator* arena,
999 HInvoke* invoke) {
1000 LocationSummary* locations = new (arena) LocationSummary(invoke,
1001 LocationSummary::kCall,
1002 kIntrinsified);
1003 InvokeRuntimeCallingConvention calling_convention;
1004 locations->SetInAt(0, Location::FpuRegisterLocation(calling_convention.GetFpuRegisterAt(0)));
1005 locations->SetInAt(1, Location::FpuRegisterLocation(calling_convention.GetFpuRegisterAt(1)));
1006 locations->SetOut(Location::FpuRegisterLocation(XMM0));
1007}
1008
1009void IntrinsicLocationsBuilderX86::VisitMathAtan2(HInvoke* invoke) {
1010 CreateFPFPToFPCallLocations(arena_, invoke);
1011}
1012
1013void IntrinsicCodeGeneratorX86::VisitMathAtan2(HInvoke* invoke) {
1014 GenFPToFPCall(invoke, codegen_, kQuickAtan2);
1015}
1016
1017void IntrinsicLocationsBuilderX86::VisitMathHypot(HInvoke* invoke) {
1018 CreateFPFPToFPCallLocations(arena_, invoke);
1019}
1020
1021void IntrinsicCodeGeneratorX86::VisitMathHypot(HInvoke* invoke) {
1022 GenFPToFPCall(invoke, codegen_, kQuickHypot);
1023}
1024
1025void IntrinsicLocationsBuilderX86::VisitMathNextAfter(HInvoke* invoke) {
1026 CreateFPFPToFPCallLocations(arena_, invoke);
1027}
1028
1029void IntrinsicCodeGeneratorX86::VisitMathNextAfter(HInvoke* invoke) {
1030 GenFPToFPCall(invoke, codegen_, kQuickNextAfter);
1031}
1032
Mark Mendell09ed1a32015-03-25 08:30:06 -04001033void IntrinsicLocationsBuilderX86::VisitStringCharAt(HInvoke* invoke) {
1034 // The inputs plus one temp.
1035 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1036 LocationSummary::kCallOnSlowPath,
1037 kIntrinsified);
1038 locations->SetInAt(0, Location::RequiresRegister());
1039 locations->SetInAt(1, Location::RequiresRegister());
1040 locations->SetOut(Location::SameAsFirstInput());
Mark Mendell09ed1a32015-03-25 08:30:06 -04001041}
1042
1043void IntrinsicCodeGeneratorX86::VisitStringCharAt(HInvoke* invoke) {
1044 LocationSummary* locations = invoke->GetLocations();
1045
Mark Mendell6bc53a92015-07-01 14:26:52 -04001046 // Location of reference to data array.
Mark Mendell09ed1a32015-03-25 08:30:06 -04001047 const int32_t value_offset = mirror::String::ValueOffset().Int32Value();
Mark Mendell6bc53a92015-07-01 14:26:52 -04001048 // Location of count.
Mark Mendell09ed1a32015-03-25 08:30:06 -04001049 const int32_t count_offset = mirror::String::CountOffset().Int32Value();
Mark Mendell09ed1a32015-03-25 08:30:06 -04001050
1051 Register obj = locations->InAt(0).AsRegister<Register>();
1052 Register idx = locations->InAt(1).AsRegister<Register>();
1053 Register out = locations->Out().AsRegister<Register>();
Mark Mendell09ed1a32015-03-25 08:30:06 -04001054
1055 // TODO: Maybe we can support range check elimination. Overall, though, I think it's not worth
1056 // the cost.
1057 // TODO: For simplicity, the index parameter is requested in a register, so different from Quick
1058 // we will not optimize the code for constants (which would save a register).
1059
Andreas Gampe85b62f22015-09-09 13:15:38 -07001060 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001061 codegen_->AddSlowPath(slow_path);
1062
1063 X86Assembler* assembler = GetAssembler();
1064
1065 __ cmpl(idx, Address(obj, count_offset));
1066 codegen_->MaybeRecordImplicitNullCheck(invoke);
1067 __ j(kAboveEqual, slow_path->GetEntryLabel());
1068
Jeff Hao848f70a2014-01-15 13:49:50 -08001069 // out = out[2*idx].
1070 __ movzxw(out, Address(out, idx, ScaleFactor::TIMES_2, value_offset));
Mark Mendell09ed1a32015-03-25 08:30:06 -04001071
1072 __ Bind(slow_path->GetExitLabel());
1073}
1074
Mark Mendell6bc53a92015-07-01 14:26:52 -04001075void IntrinsicLocationsBuilderX86::VisitSystemArrayCopyChar(HInvoke* invoke) {
1076 // We need at least two of the positions or length to be an integer constant,
1077 // or else we won't have enough free registers.
1078 HIntConstant* src_pos = invoke->InputAt(1)->AsIntConstant();
1079 HIntConstant* dest_pos = invoke->InputAt(3)->AsIntConstant();
1080 HIntConstant* length = invoke->InputAt(4)->AsIntConstant();
1081
1082 int num_constants =
1083 ((src_pos != nullptr) ? 1 : 0)
1084 + ((dest_pos != nullptr) ? 1 : 0)
1085 + ((length != nullptr) ? 1 : 0);
1086
1087 if (num_constants < 2) {
1088 // Not enough free registers.
1089 return;
1090 }
1091
1092 // As long as we are checking, we might as well check to see if the src and dest
1093 // positions are >= 0.
1094 if ((src_pos != nullptr && src_pos->GetValue() < 0) ||
1095 (dest_pos != nullptr && dest_pos->GetValue() < 0)) {
1096 // We will have to fail anyways.
1097 return;
1098 }
1099
1100 // And since we are already checking, check the length too.
1101 if (length != nullptr) {
1102 int32_t len = length->GetValue();
1103 if (len < 0) {
1104 // Just call as normal.
1105 return;
1106 }
1107 }
1108
1109 // Okay, it is safe to generate inline code.
1110 LocationSummary* locations =
1111 new (arena_) LocationSummary(invoke, LocationSummary::kCallOnSlowPath, kIntrinsified);
1112 // arraycopy(Object src, int srcPos, Object dest, int destPos, int length).
1113 locations->SetInAt(0, Location::RequiresRegister());
1114 locations->SetInAt(1, Location::RegisterOrConstant(invoke->InputAt(1)));
1115 locations->SetInAt(2, Location::RequiresRegister());
1116 locations->SetInAt(3, Location::RegisterOrConstant(invoke->InputAt(3)));
1117 locations->SetInAt(4, Location::RegisterOrConstant(invoke->InputAt(4)));
1118
1119 // And we need some temporaries. We will use REP MOVSW, so we need fixed registers.
1120 locations->AddTemp(Location::RegisterLocation(ESI));
1121 locations->AddTemp(Location::RegisterLocation(EDI));
1122 locations->AddTemp(Location::RegisterLocation(ECX));
1123}
1124
1125static void CheckPosition(X86Assembler* assembler,
1126 Location pos,
1127 Register input,
1128 Register length,
Andreas Gampe85b62f22015-09-09 13:15:38 -07001129 SlowPathCode* slow_path,
Mark Mendell6bc53a92015-07-01 14:26:52 -04001130 Register input_len,
1131 Register temp) {
1132 // Where is the length in the String?
1133 const uint32_t length_offset = mirror::Array::LengthOffset().Uint32Value();
1134
1135 if (pos.IsConstant()) {
1136 int32_t pos_const = pos.GetConstant()->AsIntConstant()->GetValue();
1137 if (pos_const == 0) {
1138 // Check that length(input) >= length.
1139 __ cmpl(Address(input, length_offset), length);
1140 __ j(kLess, slow_path->GetEntryLabel());
1141 } else {
1142 // Check that length(input) >= pos.
1143 __ movl(input_len, Address(input, length_offset));
1144 __ cmpl(input_len, Immediate(pos_const));
1145 __ j(kLess, slow_path->GetEntryLabel());
1146
1147 // Check that (length(input) - pos) >= length.
1148 __ leal(temp, Address(input_len, -pos_const));
1149 __ cmpl(temp, length);
1150 __ j(kLess, slow_path->GetEntryLabel());
1151 }
1152 } else {
1153 // Check that pos >= 0.
1154 Register pos_reg = pos.AsRegister<Register>();
1155 __ testl(pos_reg, pos_reg);
1156 __ j(kLess, slow_path->GetEntryLabel());
1157
1158 // Check that pos <= length(input).
1159 __ cmpl(Address(input, length_offset), pos_reg);
1160 __ j(kLess, slow_path->GetEntryLabel());
1161
1162 // Check that (length(input) - pos) >= length.
1163 __ movl(temp, Address(input, length_offset));
1164 __ subl(temp, pos_reg);
1165 __ cmpl(temp, length);
1166 __ j(kLess, slow_path->GetEntryLabel());
1167 }
1168}
1169
1170void IntrinsicCodeGeneratorX86::VisitSystemArrayCopyChar(HInvoke* invoke) {
1171 X86Assembler* assembler = GetAssembler();
1172 LocationSummary* locations = invoke->GetLocations();
1173
1174 Register src = locations->InAt(0).AsRegister<Register>();
1175 Location srcPos = locations->InAt(1);
1176 Register dest = locations->InAt(2).AsRegister<Register>();
1177 Location destPos = locations->InAt(3);
1178 Location length = locations->InAt(4);
1179
1180 // Temporaries that we need for MOVSW.
1181 Register src_base = locations->GetTemp(0).AsRegister<Register>();
1182 DCHECK_EQ(src_base, ESI);
1183 Register dest_base = locations->GetTemp(1).AsRegister<Register>();
1184 DCHECK_EQ(dest_base, EDI);
1185 Register count = locations->GetTemp(2).AsRegister<Register>();
1186 DCHECK_EQ(count, ECX);
1187
Andreas Gampe85b62f22015-09-09 13:15:38 -07001188 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Mark Mendell6bc53a92015-07-01 14:26:52 -04001189 codegen_->AddSlowPath(slow_path);
1190
1191 // Bail out if the source and destination are the same (to handle overlap).
1192 __ cmpl(src, dest);
1193 __ j(kEqual, slow_path->GetEntryLabel());
1194
1195 // Bail out if the source is null.
1196 __ testl(src, src);
1197 __ j(kEqual, slow_path->GetEntryLabel());
1198
1199 // Bail out if the destination is null.
1200 __ testl(dest, dest);
1201 __ j(kEqual, slow_path->GetEntryLabel());
1202
1203 // If the length is negative, bail out.
1204 // We have already checked in the LocationsBuilder for the constant case.
1205 if (!length.IsConstant()) {
1206 __ cmpl(length.AsRegister<Register>(), length.AsRegister<Register>());
1207 __ j(kLess, slow_path->GetEntryLabel());
1208 }
1209
1210 // We need the count in ECX.
1211 if (length.IsConstant()) {
1212 __ movl(count, Immediate(length.GetConstant()->AsIntConstant()->GetValue()));
1213 } else {
1214 __ movl(count, length.AsRegister<Register>());
1215 }
1216
1217 // Validity checks: source.
1218 CheckPosition(assembler, srcPos, src, count, slow_path, src_base, dest_base);
1219
1220 // Validity checks: dest.
1221 CheckPosition(assembler, destPos, dest, count, slow_path, src_base, dest_base);
1222
1223 // Okay, everything checks out. Finally time to do the copy.
1224 // Check assumption that sizeof(Char) is 2 (used in scaling below).
1225 const size_t char_size = Primitive::ComponentSize(Primitive::kPrimChar);
1226 DCHECK_EQ(char_size, 2u);
1227
1228 const uint32_t data_offset = mirror::Array::DataOffset(char_size).Uint32Value();
1229
1230 if (srcPos.IsConstant()) {
1231 int32_t srcPos_const = srcPos.GetConstant()->AsIntConstant()->GetValue();
1232 __ leal(src_base, Address(src, char_size * srcPos_const + data_offset));
1233 } else {
1234 __ leal(src_base, Address(src, srcPos.AsRegister<Register>(),
1235 ScaleFactor::TIMES_2, data_offset));
1236 }
1237 if (destPos.IsConstant()) {
1238 int32_t destPos_const = destPos.GetConstant()->AsIntConstant()->GetValue();
1239
1240 __ leal(dest_base, Address(dest, char_size * destPos_const + data_offset));
1241 } else {
1242 __ leal(dest_base, Address(dest, destPos.AsRegister<Register>(),
1243 ScaleFactor::TIMES_2, data_offset));
1244 }
1245
1246 // Do the move.
1247 __ rep_movsw();
1248
1249 __ Bind(slow_path->GetExitLabel());
1250}
1251
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001252void IntrinsicLocationsBuilderX86::VisitStringCompareTo(HInvoke* invoke) {
1253 // The inputs plus one temp.
1254 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1255 LocationSummary::kCall,
1256 kIntrinsified);
1257 InvokeRuntimeCallingConvention calling_convention;
1258 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1259 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1260 locations->SetOut(Location::RegisterLocation(EAX));
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001261}
1262
1263void IntrinsicCodeGeneratorX86::VisitStringCompareTo(HInvoke* invoke) {
1264 X86Assembler* assembler = GetAssembler();
1265 LocationSummary* locations = invoke->GetLocations();
1266
Nicolas Geoffray512e04d2015-03-27 17:21:24 +00001267 // Note that the null check must have been done earlier.
Calin Juravle641547a2015-04-21 22:08:51 +01001268 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001269
1270 Register argument = locations->InAt(1).AsRegister<Register>();
1271 __ testl(argument, argument);
Andreas Gampe85b62f22015-09-09 13:15:38 -07001272 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001273 codegen_->AddSlowPath(slow_path);
1274 __ j(kEqual, slow_path->GetEntryLabel());
1275
1276 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pStringCompareTo)));
1277 __ Bind(slow_path->GetExitLabel());
1278}
1279
Agi Csakid7138c82015-08-13 17:46:44 -07001280void IntrinsicLocationsBuilderX86::VisitStringEquals(HInvoke* invoke) {
1281 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1282 LocationSummary::kNoCall,
1283 kIntrinsified);
1284 locations->SetInAt(0, Location::RequiresRegister());
1285 locations->SetInAt(1, Location::RequiresRegister());
1286
1287 // Request temporary registers, ECX and EDI needed for repe_cmpsl instruction.
1288 locations->AddTemp(Location::RegisterLocation(ECX));
1289 locations->AddTemp(Location::RegisterLocation(EDI));
1290
1291 // Set output, ESI needed for repe_cmpsl instruction anyways.
1292 locations->SetOut(Location::RegisterLocation(ESI), Location::kOutputOverlap);
1293}
1294
1295void IntrinsicCodeGeneratorX86::VisitStringEquals(HInvoke* invoke) {
1296 X86Assembler* assembler = GetAssembler();
1297 LocationSummary* locations = invoke->GetLocations();
1298
1299 Register str = locations->InAt(0).AsRegister<Register>();
1300 Register arg = locations->InAt(1).AsRegister<Register>();
1301 Register ecx = locations->GetTemp(0).AsRegister<Register>();
1302 Register edi = locations->GetTemp(1).AsRegister<Register>();
1303 Register esi = locations->Out().AsRegister<Register>();
1304
Mark Mendell0c9497d2015-08-21 09:30:05 -04001305 NearLabel end, return_true, return_false;
Agi Csakid7138c82015-08-13 17:46:44 -07001306
1307 // Get offsets of count, value, and class fields within a string object.
1308 const uint32_t count_offset = mirror::String::CountOffset().Uint32Value();
1309 const uint32_t value_offset = mirror::String::ValueOffset().Uint32Value();
1310 const uint32_t class_offset = mirror::Object::ClassOffset().Uint32Value();
1311
1312 // Note that the null check must have been done earlier.
1313 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1314
Nicolas Geoffraya83a54d2015-10-02 17:30:26 +01001315 StringEqualsOptimizations optimizations(invoke);
1316 if (!optimizations.GetArgumentNotNull()) {
1317 // Check if input is null, return false if it is.
1318 __ testl(arg, arg);
1319 __ j(kEqual, &return_false);
1320 }
Agi Csakid7138c82015-08-13 17:46:44 -07001321
Nicolas Geoffraya83a54d2015-10-02 17:30:26 +01001322 if (!optimizations.GetArgumentIsString()) {
Vladimir Marko53b52002016-05-24 19:30:45 +01001323 // Instanceof check for the argument by comparing class fields.
1324 // All string objects must have the same type since String cannot be subclassed.
1325 // Receiver must be a string object, so its class field is equal to all strings' class fields.
1326 // If the argument is a string object, its class field must be equal to receiver's class field.
Nicolas Geoffraya83a54d2015-10-02 17:30:26 +01001327 __ movl(ecx, Address(str, class_offset));
1328 __ cmpl(ecx, Address(arg, class_offset));
1329 __ j(kNotEqual, &return_false);
1330 }
Agi Csakid7138c82015-08-13 17:46:44 -07001331
1332 // Reference equality check, return true if same reference.
1333 __ cmpl(str, arg);
1334 __ j(kEqual, &return_true);
1335
1336 // Load length of receiver string.
1337 __ movl(ecx, Address(str, count_offset));
1338 // Check if lengths are equal, return false if they're not.
1339 __ cmpl(ecx, Address(arg, count_offset));
1340 __ j(kNotEqual, &return_false);
1341 // Return true if both strings are empty.
Mark Mendell0c9497d2015-08-21 09:30:05 -04001342 __ jecxz(&return_true);
Agi Csakid7138c82015-08-13 17:46:44 -07001343
1344 // Load starting addresses of string values into ESI/EDI as required for repe_cmpsl instruction.
1345 __ leal(esi, Address(str, value_offset));
1346 __ leal(edi, Address(arg, value_offset));
1347
1348 // Divide string length by 2 to compare characters 2 at a time and adjust for odd lengths.
1349 __ addl(ecx, Immediate(1));
1350 __ shrl(ecx, Immediate(1));
1351
1352 // Assertions that must hold in order to compare strings 2 characters at a time.
1353 DCHECK_ALIGNED(value_offset, 4);
1354 static_assert(IsAligned<4>(kObjectAlignment), "String of odd length is not zero padded");
1355
1356 // Loop to compare strings two characters at a time starting at the beginning of the string.
1357 __ repe_cmpsl();
1358 // If strings are not equal, zero flag will be cleared.
1359 __ j(kNotEqual, &return_false);
1360
1361 // Return true and exit the function.
1362 // If loop does not result in returning false, we return true.
1363 __ Bind(&return_true);
1364 __ movl(esi, Immediate(1));
1365 __ jmp(&end);
1366
1367 // Return false and exit the function.
1368 __ Bind(&return_false);
1369 __ xorl(esi, esi);
1370 __ Bind(&end);
1371}
1372
Andreas Gampe21030dd2015-05-07 14:46:15 -07001373static void CreateStringIndexOfLocations(HInvoke* invoke,
1374 ArenaAllocator* allocator,
1375 bool start_at_zero) {
1376 LocationSummary* locations = new (allocator) LocationSummary(invoke,
1377 LocationSummary::kCallOnSlowPath,
1378 kIntrinsified);
1379 // The data needs to be in EDI for scasw. So request that the string is there, anyways.
1380 locations->SetInAt(0, Location::RegisterLocation(EDI));
1381 // If we look for a constant char, we'll still have to copy it into EAX. So just request the
1382 // allocator to do that, anyways. We can still do the constant check by checking the parameter
1383 // of the instruction explicitly.
1384 // Note: This works as we don't clobber EAX anywhere.
1385 locations->SetInAt(1, Location::RegisterLocation(EAX));
1386 if (!start_at_zero) {
1387 locations->SetInAt(2, Location::RequiresRegister()); // The starting index.
1388 }
1389 // As we clobber EDI during execution anyways, also use it as the output.
1390 locations->SetOut(Location::SameAsFirstInput());
1391
1392 // repne scasw uses ECX as the counter.
1393 locations->AddTemp(Location::RegisterLocation(ECX));
1394 // Need another temporary to be able to compute the result.
1395 locations->AddTemp(Location::RequiresRegister());
1396}
1397
1398static void GenerateStringIndexOf(HInvoke* invoke,
1399 X86Assembler* assembler,
1400 CodeGeneratorX86* codegen,
1401 ArenaAllocator* allocator,
1402 bool start_at_zero) {
1403 LocationSummary* locations = invoke->GetLocations();
1404
1405 // Note that the null check must have been done earlier.
1406 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1407
1408 Register string_obj = locations->InAt(0).AsRegister<Register>();
1409 Register search_value = locations->InAt(1).AsRegister<Register>();
1410 Register counter = locations->GetTemp(0).AsRegister<Register>();
1411 Register string_length = locations->GetTemp(1).AsRegister<Register>();
1412 Register out = locations->Out().AsRegister<Register>();
1413
1414 // Check our assumptions for registers.
1415 DCHECK_EQ(string_obj, EDI);
1416 DCHECK_EQ(search_value, EAX);
1417 DCHECK_EQ(counter, ECX);
1418 DCHECK_EQ(out, EDI);
1419
1420 // Check for code points > 0xFFFF. Either a slow-path check when we don't know statically,
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001421 // or directly dispatch for a large constant, or omit slow-path for a small constant or a char.
Andreas Gampe85b62f22015-09-09 13:15:38 -07001422 SlowPathCode* slow_path = nullptr;
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001423 HInstruction* code_point = invoke->InputAt(1);
1424 if (code_point->IsIntConstant()) {
Vladimir Markoda051082016-05-17 16:10:20 +01001425 if (static_cast<uint32_t>(code_point->AsIntConstant()->GetValue()) >
Andreas Gampe21030dd2015-05-07 14:46:15 -07001426 std::numeric_limits<uint16_t>::max()) {
1427 // Always needs the slow-path. We could directly dispatch to it, but this case should be
1428 // rare, so for simplicity just put the full slow-path down and branch unconditionally.
1429 slow_path = new (allocator) IntrinsicSlowPathX86(invoke);
1430 codegen->AddSlowPath(slow_path);
1431 __ jmp(slow_path->GetEntryLabel());
1432 __ Bind(slow_path->GetExitLabel());
1433 return;
1434 }
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001435 } else if (code_point->GetType() != Primitive::kPrimChar) {
Andreas Gampe21030dd2015-05-07 14:46:15 -07001436 __ cmpl(search_value, Immediate(std::numeric_limits<uint16_t>::max()));
1437 slow_path = new (allocator) IntrinsicSlowPathX86(invoke);
1438 codegen->AddSlowPath(slow_path);
1439 __ j(kAbove, slow_path->GetEntryLabel());
1440 }
1441
1442 // From here down, we know that we are looking for a char that fits in 16 bits.
1443 // Location of reference to data array within the String object.
1444 int32_t value_offset = mirror::String::ValueOffset().Int32Value();
1445 // Location of count within the String object.
1446 int32_t count_offset = mirror::String::CountOffset().Int32Value();
1447
1448 // Load string length, i.e., the count field of the string.
1449 __ movl(string_length, Address(string_obj, count_offset));
1450
1451 // Do a zero-length check.
1452 // TODO: Support jecxz.
Mark Mendell0c9497d2015-08-21 09:30:05 -04001453 NearLabel not_found_label;
Andreas Gampe21030dd2015-05-07 14:46:15 -07001454 __ testl(string_length, string_length);
1455 __ j(kEqual, &not_found_label);
1456
1457 if (start_at_zero) {
1458 // Number of chars to scan is the same as the string length.
1459 __ movl(counter, string_length);
1460
1461 // Move to the start of the string.
1462 __ addl(string_obj, Immediate(value_offset));
1463 } else {
1464 Register start_index = locations->InAt(2).AsRegister<Register>();
1465
1466 // Do a start_index check.
1467 __ cmpl(start_index, string_length);
1468 __ j(kGreaterEqual, &not_found_label);
1469
1470 // Ensure we have a start index >= 0;
1471 __ xorl(counter, counter);
1472 __ cmpl(start_index, Immediate(0));
1473 __ cmovl(kGreater, counter, start_index);
1474
1475 // Move to the start of the string: string_obj + value_offset + 2 * start_index.
1476 __ leal(string_obj, Address(string_obj, counter, ScaleFactor::TIMES_2, value_offset));
1477
1478 // Now update ecx (the repne scasw work counter). We have string.length - start_index left to
1479 // compare.
1480 __ negl(counter);
1481 __ leal(counter, Address(string_length, counter, ScaleFactor::TIMES_1, 0));
1482 }
1483
1484 // Everything is set up for repne scasw:
1485 // * Comparison address in EDI.
1486 // * Counter in ECX.
1487 __ repne_scasw();
1488
1489 // Did we find a match?
1490 __ j(kNotEqual, &not_found_label);
1491
1492 // Yes, we matched. Compute the index of the result.
1493 __ subl(string_length, counter);
1494 __ leal(out, Address(string_length, -1));
1495
Mark Mendell0c9497d2015-08-21 09:30:05 -04001496 NearLabel done;
Andreas Gampe21030dd2015-05-07 14:46:15 -07001497 __ jmp(&done);
1498
1499 // Failed to match; return -1.
1500 __ Bind(&not_found_label);
1501 __ movl(out, Immediate(-1));
1502
1503 // And join up at the end.
1504 __ Bind(&done);
1505 if (slow_path != nullptr) {
1506 __ Bind(slow_path->GetExitLabel());
1507 }
1508}
1509
1510void IntrinsicLocationsBuilderX86::VisitStringIndexOf(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001511 CreateStringIndexOfLocations(invoke, arena_, /* start_at_zero */ true);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001512}
1513
1514void IntrinsicCodeGeneratorX86::VisitStringIndexOf(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001515 GenerateStringIndexOf(invoke, GetAssembler(), codegen_, GetAllocator(), /* start_at_zero */ true);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001516}
1517
1518void IntrinsicLocationsBuilderX86::VisitStringIndexOfAfter(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001519 CreateStringIndexOfLocations(invoke, arena_, /* start_at_zero */ false);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001520}
1521
1522void IntrinsicCodeGeneratorX86::VisitStringIndexOfAfter(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001523 GenerateStringIndexOf(
1524 invoke, GetAssembler(), codegen_, GetAllocator(), /* start_at_zero */ false);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001525}
1526
Jeff Hao848f70a2014-01-15 13:49:50 -08001527void IntrinsicLocationsBuilderX86::VisitStringNewStringFromBytes(HInvoke* invoke) {
1528 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1529 LocationSummary::kCall,
1530 kIntrinsified);
1531 InvokeRuntimeCallingConvention calling_convention;
1532 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1533 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1534 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1535 locations->SetInAt(3, Location::RegisterLocation(calling_convention.GetRegisterAt(3)));
1536 locations->SetOut(Location::RegisterLocation(EAX));
Jeff Hao848f70a2014-01-15 13:49:50 -08001537}
1538
1539void IntrinsicCodeGeneratorX86::VisitStringNewStringFromBytes(HInvoke* invoke) {
1540 X86Assembler* assembler = GetAssembler();
1541 LocationSummary* locations = invoke->GetLocations();
1542
1543 Register byte_array = locations->InAt(0).AsRegister<Register>();
1544 __ testl(byte_array, byte_array);
Andreas Gampe85b62f22015-09-09 13:15:38 -07001545 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Jeff Hao848f70a2014-01-15 13:49:50 -08001546 codegen_->AddSlowPath(slow_path);
1547 __ j(kEqual, slow_path->GetEntryLabel());
1548
1549 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pAllocStringFromBytes)));
Roland Levillainf969a202016-03-09 16:14:00 +00001550 CheckEntrypointTypes<kQuickAllocStringFromBytes, void*, void*, int32_t, int32_t, int32_t>();
Jeff Hao848f70a2014-01-15 13:49:50 -08001551 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1552 __ Bind(slow_path->GetExitLabel());
1553}
1554
1555void IntrinsicLocationsBuilderX86::VisitStringNewStringFromChars(HInvoke* invoke) {
1556 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1557 LocationSummary::kCall,
1558 kIntrinsified);
1559 InvokeRuntimeCallingConvention calling_convention;
1560 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1561 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1562 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1563 locations->SetOut(Location::RegisterLocation(EAX));
1564}
1565
1566void IntrinsicCodeGeneratorX86::VisitStringNewStringFromChars(HInvoke* invoke) {
1567 X86Assembler* assembler = GetAssembler();
1568
Roland Levillaincc3839c2016-02-29 16:23:48 +00001569 // No need to emit code checking whether `locations->InAt(2)` is a null
1570 // pointer, as callers of the native method
1571 //
1572 // java.lang.StringFactory.newStringFromChars(int offset, int charCount, char[] data)
1573 //
1574 // all include a null check on `data` before calling that method.
Jeff Hao848f70a2014-01-15 13:49:50 -08001575 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pAllocStringFromChars)));
Roland Levillainf969a202016-03-09 16:14:00 +00001576 CheckEntrypointTypes<kQuickAllocStringFromChars, void*, int32_t, int32_t, void*>();
Jeff Hao848f70a2014-01-15 13:49:50 -08001577 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1578}
1579
1580void IntrinsicLocationsBuilderX86::VisitStringNewStringFromString(HInvoke* invoke) {
1581 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1582 LocationSummary::kCall,
1583 kIntrinsified);
1584 InvokeRuntimeCallingConvention calling_convention;
1585 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1586 locations->SetOut(Location::RegisterLocation(EAX));
Jeff Hao848f70a2014-01-15 13:49:50 -08001587}
1588
1589void IntrinsicCodeGeneratorX86::VisitStringNewStringFromString(HInvoke* invoke) {
1590 X86Assembler* assembler = GetAssembler();
1591 LocationSummary* locations = invoke->GetLocations();
1592
1593 Register string_to_copy = locations->InAt(0).AsRegister<Register>();
1594 __ testl(string_to_copy, string_to_copy);
Andreas Gampe85b62f22015-09-09 13:15:38 -07001595 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Jeff Hao848f70a2014-01-15 13:49:50 -08001596 codegen_->AddSlowPath(slow_path);
1597 __ j(kEqual, slow_path->GetEntryLabel());
1598
1599 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pAllocStringFromString)));
Roland Levillainf969a202016-03-09 16:14:00 +00001600 CheckEntrypointTypes<kQuickAllocStringFromString, void*, void*>();
Jeff Hao848f70a2014-01-15 13:49:50 -08001601 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1602 __ Bind(slow_path->GetExitLabel());
1603}
1604
Mark Mendell8f8926a2015-08-17 11:39:06 -04001605void IntrinsicLocationsBuilderX86::VisitStringGetCharsNoCheck(HInvoke* invoke) {
1606 // public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin);
1607 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1608 LocationSummary::kNoCall,
1609 kIntrinsified);
1610 locations->SetInAt(0, Location::RequiresRegister());
1611 locations->SetInAt(1, Location::RegisterOrConstant(invoke->InputAt(1)));
1612 // Place srcEnd in ECX to save a move below.
1613 locations->SetInAt(2, Location::RegisterLocation(ECX));
1614 locations->SetInAt(3, Location::RequiresRegister());
1615 locations->SetInAt(4, Location::RequiresRegister());
1616
1617 // And we need some temporaries. We will use REP MOVSW, so we need fixed registers.
1618 // We don't have enough registers to also grab ECX, so handle below.
1619 locations->AddTemp(Location::RegisterLocation(ESI));
1620 locations->AddTemp(Location::RegisterLocation(EDI));
1621}
1622
1623void IntrinsicCodeGeneratorX86::VisitStringGetCharsNoCheck(HInvoke* invoke) {
1624 X86Assembler* assembler = GetAssembler();
1625 LocationSummary* locations = invoke->GetLocations();
1626
1627 size_t char_component_size = Primitive::ComponentSize(Primitive::kPrimChar);
1628 // Location of data in char array buffer.
1629 const uint32_t data_offset = mirror::Array::DataOffset(char_component_size).Uint32Value();
1630 // Location of char array data in string.
1631 const uint32_t value_offset = mirror::String::ValueOffset().Uint32Value();
1632
1633 // public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin);
1634 Register obj = locations->InAt(0).AsRegister<Register>();
1635 Location srcBegin = locations->InAt(1);
1636 int srcBegin_value =
1637 srcBegin.IsConstant() ? srcBegin.GetConstant()->AsIntConstant()->GetValue() : 0;
1638 Register srcEnd = locations->InAt(2).AsRegister<Register>();
1639 Register dst = locations->InAt(3).AsRegister<Register>();
1640 Register dstBegin = locations->InAt(4).AsRegister<Register>();
1641
1642 // Check assumption that sizeof(Char) is 2 (used in scaling below).
1643 const size_t char_size = Primitive::ComponentSize(Primitive::kPrimChar);
1644 DCHECK_EQ(char_size, 2u);
1645
1646 // Compute the address of the destination buffer.
1647 __ leal(EDI, Address(dst, dstBegin, ScaleFactor::TIMES_2, data_offset));
1648
1649 // Compute the address of the source string.
1650 if (srcBegin.IsConstant()) {
1651 // Compute the address of the source string by adding the number of chars from
1652 // the source beginning to the value offset of a string.
1653 __ leal(ESI, Address(obj, srcBegin_value * char_size + value_offset));
1654 } else {
1655 __ leal(ESI, Address(obj, srcBegin.AsRegister<Register>(),
1656 ScaleFactor::TIMES_2, value_offset));
1657 }
1658
1659 // Compute the number of chars (words) to move.
1660 // Now is the time to save ECX, since we don't know if it will be used later.
1661 __ pushl(ECX);
1662 int stack_adjust = kX86WordSize;
1663 __ cfi().AdjustCFAOffset(stack_adjust);
1664 DCHECK_EQ(srcEnd, ECX);
1665 if (srcBegin.IsConstant()) {
1666 if (srcBegin_value != 0) {
1667 __ subl(ECX, Immediate(srcBegin_value));
1668 }
1669 } else {
1670 DCHECK(srcBegin.IsRegister());
1671 __ subl(ECX, srcBegin.AsRegister<Register>());
1672 }
1673
1674 // Do the move.
1675 __ rep_movsw();
1676
1677 // And restore ECX.
1678 __ popl(ECX);
1679 __ cfi().AdjustCFAOffset(-stack_adjust);
1680}
1681
Mark Mendell09ed1a32015-03-25 08:30:06 -04001682static void GenPeek(LocationSummary* locations, Primitive::Type size, X86Assembler* assembler) {
1683 Register address = locations->InAt(0).AsRegisterPairLow<Register>();
1684 Location out_loc = locations->Out();
1685 // x86 allows unaligned access. We do not have to check the input or use specific instructions
1686 // to avoid a SIGBUS.
1687 switch (size) {
1688 case Primitive::kPrimByte:
1689 __ movsxb(out_loc.AsRegister<Register>(), Address(address, 0));
1690 break;
1691 case Primitive::kPrimShort:
1692 __ movsxw(out_loc.AsRegister<Register>(), Address(address, 0));
1693 break;
1694 case Primitive::kPrimInt:
1695 __ movl(out_loc.AsRegister<Register>(), Address(address, 0));
1696 break;
1697 case Primitive::kPrimLong:
1698 __ movl(out_loc.AsRegisterPairLow<Register>(), Address(address, 0));
1699 __ movl(out_loc.AsRegisterPairHigh<Register>(), Address(address, 4));
1700 break;
1701 default:
1702 LOG(FATAL) << "Type not recognized for peek: " << size;
1703 UNREACHABLE();
1704 }
1705}
1706
1707void IntrinsicLocationsBuilderX86::VisitMemoryPeekByte(HInvoke* invoke) {
1708 CreateLongToIntLocations(arena_, invoke);
1709}
1710
1711void IntrinsicCodeGeneratorX86::VisitMemoryPeekByte(HInvoke* invoke) {
1712 GenPeek(invoke->GetLocations(), Primitive::kPrimByte, GetAssembler());
1713}
1714
1715void IntrinsicLocationsBuilderX86::VisitMemoryPeekIntNative(HInvoke* invoke) {
1716 CreateLongToIntLocations(arena_, invoke);
1717}
1718
1719void IntrinsicCodeGeneratorX86::VisitMemoryPeekIntNative(HInvoke* invoke) {
1720 GenPeek(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
1721}
1722
1723void IntrinsicLocationsBuilderX86::VisitMemoryPeekLongNative(HInvoke* invoke) {
1724 CreateLongToLongLocations(arena_, invoke);
1725}
1726
1727void IntrinsicCodeGeneratorX86::VisitMemoryPeekLongNative(HInvoke* invoke) {
1728 GenPeek(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
1729}
1730
1731void IntrinsicLocationsBuilderX86::VisitMemoryPeekShortNative(HInvoke* invoke) {
1732 CreateLongToIntLocations(arena_, invoke);
1733}
1734
1735void IntrinsicCodeGeneratorX86::VisitMemoryPeekShortNative(HInvoke* invoke) {
1736 GenPeek(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
1737}
1738
1739static void CreateLongIntToVoidLocations(ArenaAllocator* arena, Primitive::Type size,
1740 HInvoke* invoke) {
1741 LocationSummary* locations = new (arena) LocationSummary(invoke,
1742 LocationSummary::kNoCall,
1743 kIntrinsified);
1744 locations->SetInAt(0, Location::RequiresRegister());
Roland Levillain4c0eb422015-04-24 16:43:49 +01001745 HInstruction* value = invoke->InputAt(1);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001746 if (size == Primitive::kPrimByte) {
1747 locations->SetInAt(1, Location::ByteRegisterOrConstant(EDX, value));
1748 } else {
1749 locations->SetInAt(1, Location::RegisterOrConstant(value));
1750 }
1751}
1752
1753static void GenPoke(LocationSummary* locations, Primitive::Type size, X86Assembler* assembler) {
1754 Register address = locations->InAt(0).AsRegisterPairLow<Register>();
1755 Location value_loc = locations->InAt(1);
1756 // x86 allows unaligned access. We do not have to check the input or use specific instructions
1757 // to avoid a SIGBUS.
1758 switch (size) {
1759 case Primitive::kPrimByte:
1760 if (value_loc.IsConstant()) {
1761 __ movb(Address(address, 0),
1762 Immediate(value_loc.GetConstant()->AsIntConstant()->GetValue()));
1763 } else {
1764 __ movb(Address(address, 0), value_loc.AsRegister<ByteRegister>());
1765 }
1766 break;
1767 case Primitive::kPrimShort:
1768 if (value_loc.IsConstant()) {
1769 __ movw(Address(address, 0),
1770 Immediate(value_loc.GetConstant()->AsIntConstant()->GetValue()));
1771 } else {
1772 __ movw(Address(address, 0), value_loc.AsRegister<Register>());
1773 }
1774 break;
1775 case Primitive::kPrimInt:
1776 if (value_loc.IsConstant()) {
1777 __ movl(Address(address, 0),
1778 Immediate(value_loc.GetConstant()->AsIntConstant()->GetValue()));
1779 } else {
1780 __ movl(Address(address, 0), value_loc.AsRegister<Register>());
1781 }
1782 break;
1783 case Primitive::kPrimLong:
1784 if (value_loc.IsConstant()) {
1785 int64_t value = value_loc.GetConstant()->AsLongConstant()->GetValue();
1786 __ movl(Address(address, 0), Immediate(Low32Bits(value)));
1787 __ movl(Address(address, 4), Immediate(High32Bits(value)));
1788 } else {
1789 __ movl(Address(address, 0), value_loc.AsRegisterPairLow<Register>());
1790 __ movl(Address(address, 4), value_loc.AsRegisterPairHigh<Register>());
1791 }
1792 break;
1793 default:
1794 LOG(FATAL) << "Type not recognized for poke: " << size;
1795 UNREACHABLE();
1796 }
1797}
1798
1799void IntrinsicLocationsBuilderX86::VisitMemoryPokeByte(HInvoke* invoke) {
1800 CreateLongIntToVoidLocations(arena_, Primitive::kPrimByte, invoke);
1801}
1802
1803void IntrinsicCodeGeneratorX86::VisitMemoryPokeByte(HInvoke* invoke) {
1804 GenPoke(invoke->GetLocations(), Primitive::kPrimByte, GetAssembler());
1805}
1806
1807void IntrinsicLocationsBuilderX86::VisitMemoryPokeIntNative(HInvoke* invoke) {
1808 CreateLongIntToVoidLocations(arena_, Primitive::kPrimInt, invoke);
1809}
1810
1811void IntrinsicCodeGeneratorX86::VisitMemoryPokeIntNative(HInvoke* invoke) {
1812 GenPoke(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
1813}
1814
1815void IntrinsicLocationsBuilderX86::VisitMemoryPokeLongNative(HInvoke* invoke) {
1816 CreateLongIntToVoidLocations(arena_, Primitive::kPrimLong, invoke);
1817}
1818
1819void IntrinsicCodeGeneratorX86::VisitMemoryPokeLongNative(HInvoke* invoke) {
1820 GenPoke(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
1821}
1822
1823void IntrinsicLocationsBuilderX86::VisitMemoryPokeShortNative(HInvoke* invoke) {
1824 CreateLongIntToVoidLocations(arena_, Primitive::kPrimShort, invoke);
1825}
1826
1827void IntrinsicCodeGeneratorX86::VisitMemoryPokeShortNative(HInvoke* invoke) {
1828 GenPoke(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
1829}
1830
1831void IntrinsicLocationsBuilderX86::VisitThreadCurrentThread(HInvoke* invoke) {
1832 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1833 LocationSummary::kNoCall,
1834 kIntrinsified);
1835 locations->SetOut(Location::RequiresRegister());
1836}
1837
1838void IntrinsicCodeGeneratorX86::VisitThreadCurrentThread(HInvoke* invoke) {
1839 Register out = invoke->GetLocations()->Out().AsRegister<Register>();
1840 GetAssembler()->fs()->movl(out, Address::Absolute(Thread::PeerOffset<kX86WordSize>()));
1841}
1842
Roland Levillain0d5a2812015-11-13 10:07:31 +00001843static void GenUnsafeGet(HInvoke* invoke,
1844 Primitive::Type type,
1845 bool is_volatile,
1846 CodeGeneratorX86* codegen) {
1847 X86Assembler* assembler = down_cast<X86Assembler*>(codegen->GetAssembler());
1848 LocationSummary* locations = invoke->GetLocations();
1849 Location base_loc = locations->InAt(1);
1850 Register base = base_loc.AsRegister<Register>();
1851 Location offset_loc = locations->InAt(2);
1852 Register offset = offset_loc.AsRegisterPairLow<Register>();
1853 Location output_loc = locations->Out();
Mark Mendell09ed1a32015-03-25 08:30:06 -04001854
1855 switch (type) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001856 case Primitive::kPrimInt: {
Roland Levillain0d5a2812015-11-13 10:07:31 +00001857 Register output = output_loc.AsRegister<Register>();
1858 __ movl(output, Address(base, offset, ScaleFactor::TIMES_1, 0));
Roland Levillain7c1559a2015-12-15 10:55:36 +00001859 break;
1860 }
1861
1862 case Primitive::kPrimNot: {
1863 Register output = output_loc.AsRegister<Register>();
1864 if (kEmitCompilerReadBarrier) {
1865 if (kUseBakerReadBarrier) {
1866 Location temp = locations->GetTemp(0);
Sang, Chunlei0fcd2b82016-04-05 17:12:59 +08001867 Address src(base, offset, ScaleFactor::TIMES_1, 0);
1868 codegen->GenerateReferenceLoadWithBakerReadBarrier(
1869 invoke, output_loc, base, src, temp, /* needs_null_check */ false);
Roland Levillain7c1559a2015-12-15 10:55:36 +00001870 } else {
1871 __ movl(output, Address(base, offset, ScaleFactor::TIMES_1, 0));
1872 codegen->GenerateReadBarrierSlow(
1873 invoke, output_loc, output_loc, base_loc, 0U, offset_loc);
1874 }
1875 } else {
1876 __ movl(output, Address(base, offset, ScaleFactor::TIMES_1, 0));
1877 __ MaybeUnpoisonHeapReference(output);
Roland Levillain4d027112015-07-01 15:41:14 +01001878 }
Mark Mendell09ed1a32015-03-25 08:30:06 -04001879 break;
Roland Levillain4d027112015-07-01 15:41:14 +01001880 }
Mark Mendell09ed1a32015-03-25 08:30:06 -04001881
1882 case Primitive::kPrimLong: {
Roland Levillain0d5a2812015-11-13 10:07:31 +00001883 Register output_lo = output_loc.AsRegisterPairLow<Register>();
1884 Register output_hi = output_loc.AsRegisterPairHigh<Register>();
Mark Mendell09ed1a32015-03-25 08:30:06 -04001885 if (is_volatile) {
1886 // Need to use a XMM to read atomically.
1887 XmmRegister temp = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
1888 __ movsd(temp, Address(base, offset, ScaleFactor::TIMES_1, 0));
1889 __ movd(output_lo, temp);
1890 __ psrlq(temp, Immediate(32));
1891 __ movd(output_hi, temp);
1892 } else {
1893 __ movl(output_lo, Address(base, offset, ScaleFactor::TIMES_1, 0));
1894 __ movl(output_hi, Address(base, offset, ScaleFactor::TIMES_1, 4));
1895 }
1896 }
1897 break;
1898
1899 default:
1900 LOG(FATAL) << "Unsupported op size " << type;
1901 UNREACHABLE();
1902 }
1903}
1904
Roland Levillain7c1559a2015-12-15 10:55:36 +00001905static void CreateIntIntIntToIntLocations(ArenaAllocator* arena,
1906 HInvoke* invoke,
1907 Primitive::Type type,
1908 bool is_volatile) {
Roland Levillain0d5a2812015-11-13 10:07:31 +00001909 bool can_call = kEmitCompilerReadBarrier &&
1910 (invoke->GetIntrinsic() == Intrinsics::kUnsafeGetObject ||
1911 invoke->GetIntrinsic() == Intrinsics::kUnsafeGetObjectVolatile);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001912 LocationSummary* locations = new (arena) LocationSummary(invoke,
Roland Levillain0d5a2812015-11-13 10:07:31 +00001913 can_call ?
1914 LocationSummary::kCallOnSlowPath :
1915 LocationSummary::kNoCall,
Mark Mendell09ed1a32015-03-25 08:30:06 -04001916 kIntrinsified);
1917 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1918 locations->SetInAt(1, Location::RequiresRegister());
1919 locations->SetInAt(2, Location::RequiresRegister());
Roland Levillain7c1559a2015-12-15 10:55:36 +00001920 if (type == Primitive::kPrimLong) {
Mark Mendell09ed1a32015-03-25 08:30:06 -04001921 if (is_volatile) {
1922 // Need to use XMM to read volatile.
1923 locations->AddTemp(Location::RequiresFpuRegister());
1924 locations->SetOut(Location::RequiresRegister());
1925 } else {
1926 locations->SetOut(Location::RequiresRegister(), Location::kOutputOverlap);
1927 }
1928 } else {
1929 locations->SetOut(Location::RequiresRegister());
1930 }
Roland Levillain7c1559a2015-12-15 10:55:36 +00001931 if (type == Primitive::kPrimNot && kEmitCompilerReadBarrier && kUseBakerReadBarrier) {
1932 // We need a temporary register for the read barrier marking slow
Sang, Chunlei0fcd2b82016-04-05 17:12:59 +08001933 // path in InstructionCodeGeneratorX86::GenerateReferenceLoadWithBakerReadBarrier.
Roland Levillain7c1559a2015-12-15 10:55:36 +00001934 locations->AddTemp(Location::RequiresRegister());
1935 }
Mark Mendell09ed1a32015-03-25 08:30:06 -04001936}
1937
1938void IntrinsicLocationsBuilderX86::VisitUnsafeGet(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001939 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimInt, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001940}
1941void IntrinsicLocationsBuilderX86::VisitUnsafeGetVolatile(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001942 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimInt, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001943}
1944void IntrinsicLocationsBuilderX86::VisitUnsafeGetLong(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001945 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimLong, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001946}
1947void IntrinsicLocationsBuilderX86::VisitUnsafeGetLongVolatile(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001948 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimLong, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001949}
1950void IntrinsicLocationsBuilderX86::VisitUnsafeGetObject(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001951 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimNot, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001952}
1953void IntrinsicLocationsBuilderX86::VisitUnsafeGetObjectVolatile(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001954 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimNot, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001955}
1956
1957
1958void IntrinsicCodeGeneratorX86::VisitUnsafeGet(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001959 GenUnsafeGet(invoke, Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001960}
1961void IntrinsicCodeGeneratorX86::VisitUnsafeGetVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001962 GenUnsafeGet(invoke, Primitive::kPrimInt, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001963}
1964void IntrinsicCodeGeneratorX86::VisitUnsafeGetLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001965 GenUnsafeGet(invoke, Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001966}
1967void IntrinsicCodeGeneratorX86::VisitUnsafeGetLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001968 GenUnsafeGet(invoke, Primitive::kPrimLong, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001969}
1970void IntrinsicCodeGeneratorX86::VisitUnsafeGetObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001971 GenUnsafeGet(invoke, Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001972}
1973void IntrinsicCodeGeneratorX86::VisitUnsafeGetObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001974 GenUnsafeGet(invoke, Primitive::kPrimNot, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001975}
1976
1977
1978static void CreateIntIntIntIntToVoidPlusTempsLocations(ArenaAllocator* arena,
1979 Primitive::Type type,
1980 HInvoke* invoke,
1981 bool is_volatile) {
1982 LocationSummary* locations = new (arena) LocationSummary(invoke,
1983 LocationSummary::kNoCall,
1984 kIntrinsified);
1985 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1986 locations->SetInAt(1, Location::RequiresRegister());
1987 locations->SetInAt(2, Location::RequiresRegister());
1988 locations->SetInAt(3, Location::RequiresRegister());
1989 if (type == Primitive::kPrimNot) {
1990 // Need temp registers for card-marking.
Roland Levillain4d027112015-07-01 15:41:14 +01001991 locations->AddTemp(Location::RequiresRegister()); // Possibly used for reference poisoning too.
Mark Mendell09ed1a32015-03-25 08:30:06 -04001992 // Ensure the value is in a byte register.
1993 locations->AddTemp(Location::RegisterLocation(ECX));
1994 } else if (type == Primitive::kPrimLong && is_volatile) {
1995 locations->AddTemp(Location::RequiresFpuRegister());
1996 locations->AddTemp(Location::RequiresFpuRegister());
1997 }
1998}
1999
2000void IntrinsicLocationsBuilderX86::VisitUnsafePut(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002001 CreateIntIntIntIntToVoidPlusTempsLocations(
2002 arena_, Primitive::kPrimInt, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002003}
2004void IntrinsicLocationsBuilderX86::VisitUnsafePutOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002005 CreateIntIntIntIntToVoidPlusTempsLocations(
2006 arena_, Primitive::kPrimInt, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002007}
2008void IntrinsicLocationsBuilderX86::VisitUnsafePutVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002009 CreateIntIntIntIntToVoidPlusTempsLocations(
2010 arena_, Primitive::kPrimInt, invoke, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002011}
2012void IntrinsicLocationsBuilderX86::VisitUnsafePutObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002013 CreateIntIntIntIntToVoidPlusTempsLocations(
2014 arena_, Primitive::kPrimNot, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002015}
2016void IntrinsicLocationsBuilderX86::VisitUnsafePutObjectOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002017 CreateIntIntIntIntToVoidPlusTempsLocations(
2018 arena_, Primitive::kPrimNot, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002019}
2020void IntrinsicLocationsBuilderX86::VisitUnsafePutObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002021 CreateIntIntIntIntToVoidPlusTempsLocations(
2022 arena_, Primitive::kPrimNot, invoke, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002023}
2024void IntrinsicLocationsBuilderX86::VisitUnsafePutLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002025 CreateIntIntIntIntToVoidPlusTempsLocations(
2026 arena_, Primitive::kPrimLong, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002027}
2028void IntrinsicLocationsBuilderX86::VisitUnsafePutLongOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002029 CreateIntIntIntIntToVoidPlusTempsLocations(
2030 arena_, Primitive::kPrimLong, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002031}
2032void IntrinsicLocationsBuilderX86::VisitUnsafePutLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002033 CreateIntIntIntIntToVoidPlusTempsLocations(
2034 arena_, Primitive::kPrimLong, invoke, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002035}
2036
2037// We don't care for ordered: it requires an AnyStore barrier, which is already given by the x86
2038// memory model.
2039static void GenUnsafePut(LocationSummary* locations,
2040 Primitive::Type type,
2041 bool is_volatile,
2042 CodeGeneratorX86* codegen) {
Roland Levillainb488b782015-10-22 11:38:49 +01002043 X86Assembler* assembler = down_cast<X86Assembler*>(codegen->GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -04002044 Register base = locations->InAt(1).AsRegister<Register>();
2045 Register offset = locations->InAt(2).AsRegisterPairLow<Register>();
2046 Location value_loc = locations->InAt(3);
2047
2048 if (type == Primitive::kPrimLong) {
2049 Register value_lo = value_loc.AsRegisterPairLow<Register>();
2050 Register value_hi = value_loc.AsRegisterPairHigh<Register>();
2051 if (is_volatile) {
2052 XmmRegister temp1 = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
2053 XmmRegister temp2 = locations->GetTemp(1).AsFpuRegister<XmmRegister>();
2054 __ movd(temp1, value_lo);
2055 __ movd(temp2, value_hi);
2056 __ punpckldq(temp1, temp2);
2057 __ movsd(Address(base, offset, ScaleFactor::TIMES_1, 0), temp1);
2058 } else {
2059 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 0), value_lo);
2060 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 4), value_hi);
2061 }
Roland Levillain4d027112015-07-01 15:41:14 +01002062 } else if (kPoisonHeapReferences && type == Primitive::kPrimNot) {
2063 Register temp = locations->GetTemp(0).AsRegister<Register>();
2064 __ movl(temp, value_loc.AsRegister<Register>());
2065 __ PoisonHeapReference(temp);
2066 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 0), temp);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002067 } else {
2068 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 0), value_loc.AsRegister<Register>());
2069 }
2070
2071 if (is_volatile) {
Mark P Mendell17077d82015-12-16 19:15:59 +00002072 codegen->MemoryFence();
Mark Mendell09ed1a32015-03-25 08:30:06 -04002073 }
2074
2075 if (type == Primitive::kPrimNot) {
Nicolas Geoffray07276db2015-05-18 14:22:09 +01002076 bool value_can_be_null = true; // TODO: Worth finding out this information?
Mark Mendell09ed1a32015-03-25 08:30:06 -04002077 codegen->MarkGCCard(locations->GetTemp(0).AsRegister<Register>(),
2078 locations->GetTemp(1).AsRegister<Register>(),
2079 base,
Nicolas Geoffray07276db2015-05-18 14:22:09 +01002080 value_loc.AsRegister<Register>(),
2081 value_can_be_null);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002082 }
2083}
2084
2085void IntrinsicCodeGeneratorX86::VisitUnsafePut(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002086 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002087}
2088void IntrinsicCodeGeneratorX86::VisitUnsafePutOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002089 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002090}
2091void IntrinsicCodeGeneratorX86::VisitUnsafePutVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002092 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimInt, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002093}
2094void IntrinsicCodeGeneratorX86::VisitUnsafePutObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002095 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002096}
2097void IntrinsicCodeGeneratorX86::VisitUnsafePutObjectOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002098 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002099}
2100void IntrinsicCodeGeneratorX86::VisitUnsafePutObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002101 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimNot, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002102}
2103void IntrinsicCodeGeneratorX86::VisitUnsafePutLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002104 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002105}
2106void IntrinsicCodeGeneratorX86::VisitUnsafePutLongOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002107 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002108}
2109void IntrinsicCodeGeneratorX86::VisitUnsafePutLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002110 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimLong, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002111}
2112
Mark Mendell58d25fd2015-04-03 14:52:31 -04002113static void CreateIntIntIntIntIntToInt(ArenaAllocator* arena, Primitive::Type type,
2114 HInvoke* invoke) {
2115 LocationSummary* locations = new (arena) LocationSummary(invoke,
2116 LocationSummary::kNoCall,
2117 kIntrinsified);
2118 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
2119 locations->SetInAt(1, Location::RequiresRegister());
2120 // Offset is a long, but in 32 bit mode, we only need the low word.
2121 // Can we update the invoke here to remove a TypeConvert to Long?
2122 locations->SetInAt(2, Location::RequiresRegister());
2123 // Expected value must be in EAX or EDX:EAX.
2124 // For long, new value must be in ECX:EBX.
2125 if (type == Primitive::kPrimLong) {
2126 locations->SetInAt(3, Location::RegisterPairLocation(EAX, EDX));
2127 locations->SetInAt(4, Location::RegisterPairLocation(EBX, ECX));
2128 } else {
2129 locations->SetInAt(3, Location::RegisterLocation(EAX));
2130 locations->SetInAt(4, Location::RequiresRegister());
2131 }
2132
2133 // Force a byte register for the output.
2134 locations->SetOut(Location::RegisterLocation(EAX));
2135 if (type == Primitive::kPrimNot) {
2136 // Need temp registers for card-marking.
Roland Levillainb488b782015-10-22 11:38:49 +01002137 locations->AddTemp(Location::RequiresRegister()); // Possibly used for reference poisoning too.
Mark Mendell58d25fd2015-04-03 14:52:31 -04002138 // Need a byte register for marking.
2139 locations->AddTemp(Location::RegisterLocation(ECX));
2140 }
2141}
2142
2143void IntrinsicLocationsBuilderX86::VisitUnsafeCASInt(HInvoke* invoke) {
2144 CreateIntIntIntIntIntToInt(arena_, Primitive::kPrimInt, invoke);
2145}
2146
2147void IntrinsicLocationsBuilderX86::VisitUnsafeCASLong(HInvoke* invoke) {
2148 CreateIntIntIntIntIntToInt(arena_, Primitive::kPrimLong, invoke);
2149}
2150
2151void IntrinsicLocationsBuilderX86::VisitUnsafeCASObject(HInvoke* invoke) {
Roland Levillain391b8662015-12-18 11:43:38 +00002152 // The UnsafeCASObject intrinsic is missing a read barrier, and
2153 // therefore sometimes does not work as expected (b/25883050).
2154 // Turn it off temporarily as a quick fix, until the read barrier is
2155 // implemented.
2156 //
2157 // TODO(rpl): Implement a read barrier in GenCAS below and re-enable
2158 // this intrinsic.
2159 if (kEmitCompilerReadBarrier) {
2160 return;
2161 }
2162
Mark Mendell58d25fd2015-04-03 14:52:31 -04002163 CreateIntIntIntIntIntToInt(arena_, Primitive::kPrimNot, invoke);
2164}
2165
2166static void GenCAS(Primitive::Type type, HInvoke* invoke, CodeGeneratorX86* codegen) {
Roland Levillainb488b782015-10-22 11:38:49 +01002167 X86Assembler* assembler = down_cast<X86Assembler*>(codegen->GetAssembler());
Mark Mendell58d25fd2015-04-03 14:52:31 -04002168 LocationSummary* locations = invoke->GetLocations();
2169
2170 Register base = locations->InAt(1).AsRegister<Register>();
2171 Register offset = locations->InAt(2).AsRegisterPairLow<Register>();
2172 Location out = locations->Out();
2173 DCHECK_EQ(out.AsRegister<Register>(), EAX);
2174
Roland Levillainb488b782015-10-22 11:38:49 +01002175 if (type == Primitive::kPrimNot) {
Roland Levillain4d027112015-07-01 15:41:14 +01002176 Register expected = locations->InAt(3).AsRegister<Register>();
Roland Levillainb488b782015-10-22 11:38:49 +01002177 // Ensure `expected` is in EAX (required by the CMPXCHG instruction).
Roland Levillain4d027112015-07-01 15:41:14 +01002178 DCHECK_EQ(expected, EAX);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002179 Register value = locations->InAt(4).AsRegister<Register>();
Roland Levillain4d027112015-07-01 15:41:14 +01002180
Roland Levillainb488b782015-10-22 11:38:49 +01002181 // Mark card for object assuming new value is stored.
2182 bool value_can_be_null = true; // TODO: Worth finding out this information?
2183 codegen->MarkGCCard(locations->GetTemp(0).AsRegister<Register>(),
2184 locations->GetTemp(1).AsRegister<Register>(),
2185 base,
2186 value,
2187 value_can_be_null);
2188
2189 bool base_equals_value = (base == value);
2190 if (kPoisonHeapReferences) {
2191 if (base_equals_value) {
2192 // If `base` and `value` are the same register location, move
2193 // `value` to a temporary register. This way, poisoning
2194 // `value` won't invalidate `base`.
2195 value = locations->GetTemp(0).AsRegister<Register>();
2196 __ movl(value, base);
Roland Levillain4d027112015-07-01 15:41:14 +01002197 }
Roland Levillainb488b782015-10-22 11:38:49 +01002198
2199 // Check that the register allocator did not assign the location
2200 // of `expected` (EAX) to `value` nor to `base`, so that heap
2201 // poisoning (when enabled) works as intended below.
2202 // - If `value` were equal to `expected`, both references would
2203 // be poisoned twice, meaning they would not be poisoned at
2204 // all, as heap poisoning uses address negation.
2205 // - If `base` were equal to `expected`, poisoning `expected`
2206 // would invalidate `base`.
2207 DCHECK_NE(value, expected);
2208 DCHECK_NE(base, expected);
2209
2210 __ PoisonHeapReference(expected);
2211 __ PoisonHeapReference(value);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002212 }
2213
Roland Levillain391b8662015-12-18 11:43:38 +00002214 // TODO: Add a read barrier for the reference stored in the object
2215 // before attempting the CAS, similar to the one in the
2216 // art::Unsafe_compareAndSwapObject JNI implementation.
2217 //
2218 // Note that this code is not (yet) used when read barriers are
2219 // enabled (see IntrinsicLocationsBuilderX86::VisitUnsafeCASObject).
2220 DCHECK(!kEmitCompilerReadBarrier);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002221 __ LockCmpxchgl(Address(base, offset, TIMES_1, 0), value);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002222
Roland Levillain0d5a2812015-11-13 10:07:31 +00002223 // LOCK CMPXCHG has full barrier semantics, and we don't need
Roland Levillainb488b782015-10-22 11:38:49 +01002224 // scheduling barriers at this time.
Mark Mendell58d25fd2015-04-03 14:52:31 -04002225
Roland Levillainb488b782015-10-22 11:38:49 +01002226 // Convert ZF into the boolean result.
2227 __ setb(kZero, out.AsRegister<Register>());
2228 __ movzxb(out.AsRegister<Register>(), out.AsRegister<ByteRegister>());
Roland Levillain4d027112015-07-01 15:41:14 +01002229
Roland Levillain391b8662015-12-18 11:43:38 +00002230 // If heap poisoning is enabled, we need to unpoison the values
2231 // that were poisoned earlier.
Roland Levillainb488b782015-10-22 11:38:49 +01002232 if (kPoisonHeapReferences) {
2233 if (base_equals_value) {
2234 // `value` has been moved to a temporary register, no need to
2235 // unpoison it.
2236 } else {
2237 // Ensure `value` is different from `out`, so that unpoisoning
2238 // the former does not invalidate the latter.
2239 DCHECK_NE(value, out.AsRegister<Register>());
2240 __ UnpoisonHeapReference(value);
2241 }
2242 // Do not unpoison the reference contained in register
2243 // `expected`, as it is the same as register `out` (EAX).
2244 }
2245 } else {
2246 if (type == Primitive::kPrimInt) {
2247 // Ensure the expected value is in EAX (required by the CMPXCHG
2248 // instruction).
2249 DCHECK_EQ(locations->InAt(3).AsRegister<Register>(), EAX);
2250 __ LockCmpxchgl(Address(base, offset, TIMES_1, 0),
2251 locations->InAt(4).AsRegister<Register>());
2252 } else if (type == Primitive::kPrimLong) {
2253 // Ensure the expected value is in EAX:EDX and that the new
2254 // value is in EBX:ECX (required by the CMPXCHG8B instruction).
2255 DCHECK_EQ(locations->InAt(3).AsRegisterPairLow<Register>(), EAX);
2256 DCHECK_EQ(locations->InAt(3).AsRegisterPairHigh<Register>(), EDX);
2257 DCHECK_EQ(locations->InAt(4).AsRegisterPairLow<Register>(), EBX);
2258 DCHECK_EQ(locations->InAt(4).AsRegisterPairHigh<Register>(), ECX);
2259 __ LockCmpxchg8b(Address(base, offset, TIMES_1, 0));
2260 } else {
2261 LOG(FATAL) << "Unexpected CAS type " << type;
2262 }
2263
Roland Levillain0d5a2812015-11-13 10:07:31 +00002264 // LOCK CMPXCHG/LOCK CMPXCHG8B have full barrier semantics, and we
2265 // don't need scheduling barriers at this time.
Roland Levillainb488b782015-10-22 11:38:49 +01002266
2267 // Convert ZF into the boolean result.
2268 __ setb(kZero, out.AsRegister<Register>());
2269 __ movzxb(out.AsRegister<Register>(), out.AsRegister<ByteRegister>());
Roland Levillain4d027112015-07-01 15:41:14 +01002270 }
Mark Mendell58d25fd2015-04-03 14:52:31 -04002271}
2272
2273void IntrinsicCodeGeneratorX86::VisitUnsafeCASInt(HInvoke* invoke) {
2274 GenCAS(Primitive::kPrimInt, invoke, codegen_);
2275}
2276
2277void IntrinsicCodeGeneratorX86::VisitUnsafeCASLong(HInvoke* invoke) {
2278 GenCAS(Primitive::kPrimLong, invoke, codegen_);
2279}
2280
2281void IntrinsicCodeGeneratorX86::VisitUnsafeCASObject(HInvoke* invoke) {
2282 GenCAS(Primitive::kPrimNot, invoke, codegen_);
2283}
2284
2285void IntrinsicLocationsBuilderX86::VisitIntegerReverse(HInvoke* invoke) {
2286 LocationSummary* locations = new (arena_) LocationSummary(invoke,
2287 LocationSummary::kNoCall,
2288 kIntrinsified);
2289 locations->SetInAt(0, Location::RequiresRegister());
2290 locations->SetOut(Location::SameAsFirstInput());
2291 locations->AddTemp(Location::RequiresRegister());
2292}
2293
2294static void SwapBits(Register reg, Register temp, int32_t shift, int32_t mask,
2295 X86Assembler* assembler) {
2296 Immediate imm_shift(shift);
2297 Immediate imm_mask(mask);
2298 __ movl(temp, reg);
2299 __ shrl(reg, imm_shift);
2300 __ andl(temp, imm_mask);
2301 __ andl(reg, imm_mask);
2302 __ shll(temp, imm_shift);
2303 __ orl(reg, temp);
2304}
2305
2306void IntrinsicCodeGeneratorX86::VisitIntegerReverse(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002307 X86Assembler* assembler = GetAssembler();
Mark Mendell58d25fd2015-04-03 14:52:31 -04002308 LocationSummary* locations = invoke->GetLocations();
2309
2310 Register reg = locations->InAt(0).AsRegister<Register>();
2311 Register temp = locations->GetTemp(0).AsRegister<Register>();
2312
2313 /*
2314 * Use one bswap instruction to reverse byte order first and then use 3 rounds of
2315 * swapping bits to reverse bits in a number x. Using bswap to save instructions
2316 * compared to generic luni implementation which has 5 rounds of swapping bits.
2317 * x = bswap x
2318 * x = (x & 0x55555555) << 1 | (x >> 1) & 0x55555555;
2319 * x = (x & 0x33333333) << 2 | (x >> 2) & 0x33333333;
2320 * x = (x & 0x0F0F0F0F) << 4 | (x >> 4) & 0x0F0F0F0F;
2321 */
2322 __ bswapl(reg);
2323 SwapBits(reg, temp, 1, 0x55555555, assembler);
2324 SwapBits(reg, temp, 2, 0x33333333, assembler);
2325 SwapBits(reg, temp, 4, 0x0f0f0f0f, assembler);
2326}
2327
2328void IntrinsicLocationsBuilderX86::VisitLongReverse(HInvoke* invoke) {
2329 LocationSummary* locations = new (arena_) LocationSummary(invoke,
2330 LocationSummary::kNoCall,
2331 kIntrinsified);
2332 locations->SetInAt(0, Location::RequiresRegister());
2333 locations->SetOut(Location::SameAsFirstInput());
2334 locations->AddTemp(Location::RequiresRegister());
2335}
2336
2337void IntrinsicCodeGeneratorX86::VisitLongReverse(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002338 X86Assembler* assembler = GetAssembler();
Mark Mendell58d25fd2015-04-03 14:52:31 -04002339 LocationSummary* locations = invoke->GetLocations();
2340
2341 Register reg_low = locations->InAt(0).AsRegisterPairLow<Register>();
2342 Register reg_high = locations->InAt(0).AsRegisterPairHigh<Register>();
2343 Register temp = locations->GetTemp(0).AsRegister<Register>();
2344
2345 // We want to swap high/low, then bswap each one, and then do the same
2346 // as a 32 bit reverse.
2347 // Exchange high and low.
2348 __ movl(temp, reg_low);
2349 __ movl(reg_low, reg_high);
2350 __ movl(reg_high, temp);
2351
2352 // bit-reverse low
2353 __ bswapl(reg_low);
2354 SwapBits(reg_low, temp, 1, 0x55555555, assembler);
2355 SwapBits(reg_low, temp, 2, 0x33333333, assembler);
2356 SwapBits(reg_low, temp, 4, 0x0f0f0f0f, assembler);
2357
2358 // bit-reverse high
2359 __ bswapl(reg_high);
2360 SwapBits(reg_high, temp, 1, 0x55555555, assembler);
2361 SwapBits(reg_high, temp, 2, 0x33333333, assembler);
2362 SwapBits(reg_high, temp, 4, 0x0f0f0f0f, assembler);
2363}
2364
Aart Bikc39dac12016-01-21 08:59:48 -08002365static void CreateBitCountLocations(
2366 ArenaAllocator* arena, CodeGeneratorX86* codegen, HInvoke* invoke, bool is_long) {
2367 if (!codegen->GetInstructionSetFeatures().HasPopCnt()) {
2368 // Do nothing if there is no popcnt support. This results in generating
2369 // a call for the intrinsic rather than direct code.
2370 return;
2371 }
2372 LocationSummary* locations = new (arena) LocationSummary(invoke,
2373 LocationSummary::kNoCall,
2374 kIntrinsified);
2375 if (is_long) {
Aart Bikc39dac12016-01-21 08:59:48 -08002376 locations->AddTemp(Location::RequiresRegister());
Aart Bikc39dac12016-01-21 08:59:48 -08002377 }
Aart Bik2a946072016-01-21 12:49:00 -08002378 locations->SetInAt(0, Location::Any());
Aart Bikc39dac12016-01-21 08:59:48 -08002379 locations->SetOut(Location::RequiresRegister());
2380}
2381
Aart Bika19616e2016-02-01 18:57:58 -08002382static void GenBitCount(X86Assembler* assembler,
2383 CodeGeneratorX86* codegen,
2384 HInvoke* invoke, bool is_long) {
Aart Bikc39dac12016-01-21 08:59:48 -08002385 LocationSummary* locations = invoke->GetLocations();
2386 Location src = locations->InAt(0);
2387 Register out = locations->Out().AsRegister<Register>();
2388
2389 if (invoke->InputAt(0)->IsConstant()) {
2390 // Evaluate this at compile time.
2391 int64_t value = Int64FromConstant(invoke->InputAt(0)->AsConstant());
Roland Levillainfa3912e2016-04-01 18:21:55 +01002392 int32_t result = is_long
Aart Bikc39dac12016-01-21 08:59:48 -08002393 ? POPCOUNT(static_cast<uint64_t>(value))
2394 : POPCOUNT(static_cast<uint32_t>(value));
Roland Levillainfa3912e2016-04-01 18:21:55 +01002395 codegen->Load32BitValue(out, result);
Aart Bikc39dac12016-01-21 08:59:48 -08002396 return;
2397 }
2398
2399 // Handle the non-constant cases.
2400 if (!is_long) {
2401 if (src.IsRegister()) {
2402 __ popcntl(out, src.AsRegister<Register>());
2403 } else {
2404 DCHECK(src.IsStackSlot());
2405 __ popcntl(out, Address(ESP, src.GetStackIndex()));
2406 }
Aart Bik2a946072016-01-21 12:49:00 -08002407 } else {
2408 // The 64-bit case needs to worry about two parts.
2409 Register temp = locations->GetTemp(0).AsRegister<Register>();
2410 if (src.IsRegisterPair()) {
2411 __ popcntl(temp, src.AsRegisterPairLow<Register>());
2412 __ popcntl(out, src.AsRegisterPairHigh<Register>());
2413 } else {
2414 DCHECK(src.IsDoubleStackSlot());
2415 __ popcntl(temp, Address(ESP, src.GetStackIndex()));
2416 __ popcntl(out, Address(ESP, src.GetHighStackIndex(kX86WordSize)));
2417 }
2418 __ addl(out, temp);
Aart Bikc39dac12016-01-21 08:59:48 -08002419 }
Aart Bikc39dac12016-01-21 08:59:48 -08002420}
2421
2422void IntrinsicLocationsBuilderX86::VisitIntegerBitCount(HInvoke* invoke) {
2423 CreateBitCountLocations(arena_, codegen_, invoke, /* is_long */ false);
2424}
2425
2426void IntrinsicCodeGeneratorX86::VisitIntegerBitCount(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002427 GenBitCount(GetAssembler(), codegen_, invoke, /* is_long */ false);
Aart Bikc39dac12016-01-21 08:59:48 -08002428}
2429
2430void IntrinsicLocationsBuilderX86::VisitLongBitCount(HInvoke* invoke) {
2431 CreateBitCountLocations(arena_, codegen_, invoke, /* is_long */ true);
2432}
2433
2434void IntrinsicCodeGeneratorX86::VisitLongBitCount(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002435 GenBitCount(GetAssembler(), codegen_, invoke, /* is_long */ true);
Aart Bikc39dac12016-01-21 08:59:48 -08002436}
2437
Mark Mendelld5897672015-08-12 21:16:41 -04002438static void CreateLeadingZeroLocations(ArenaAllocator* arena, HInvoke* invoke, bool is_long) {
2439 LocationSummary* locations = new (arena) LocationSummary(invoke,
2440 LocationSummary::kNoCall,
2441 kIntrinsified);
2442 if (is_long) {
2443 locations->SetInAt(0, Location::RequiresRegister());
2444 } else {
2445 locations->SetInAt(0, Location::Any());
2446 }
2447 locations->SetOut(Location::RequiresRegister());
2448}
2449
Aart Bika19616e2016-02-01 18:57:58 -08002450static void GenLeadingZeros(X86Assembler* assembler,
2451 CodeGeneratorX86* codegen,
2452 HInvoke* invoke, bool is_long) {
Mark Mendelld5897672015-08-12 21:16:41 -04002453 LocationSummary* locations = invoke->GetLocations();
2454 Location src = locations->InAt(0);
2455 Register out = locations->Out().AsRegister<Register>();
2456
2457 if (invoke->InputAt(0)->IsConstant()) {
2458 // Evaluate this at compile time.
2459 int64_t value = Int64FromConstant(invoke->InputAt(0)->AsConstant());
2460 if (value == 0) {
2461 value = is_long ? 64 : 32;
2462 } else {
2463 value = is_long ? CLZ(static_cast<uint64_t>(value)) : CLZ(static_cast<uint32_t>(value));
2464 }
Aart Bika19616e2016-02-01 18:57:58 -08002465 codegen->Load32BitValue(out, value);
Mark Mendelld5897672015-08-12 21:16:41 -04002466 return;
2467 }
2468
2469 // Handle the non-constant cases.
2470 if (!is_long) {
2471 if (src.IsRegister()) {
2472 __ bsrl(out, src.AsRegister<Register>());
2473 } else {
2474 DCHECK(src.IsStackSlot());
2475 __ bsrl(out, Address(ESP, src.GetStackIndex()));
2476 }
2477
2478 // BSR sets ZF if the input was zero, and the output is undefined.
Mark Mendell0c9497d2015-08-21 09:30:05 -04002479 NearLabel all_zeroes, done;
Mark Mendelld5897672015-08-12 21:16:41 -04002480 __ j(kEqual, &all_zeroes);
2481
2482 // Correct the result from BSR to get the final CLZ result.
2483 __ xorl(out, Immediate(31));
2484 __ jmp(&done);
2485
2486 // Fix the zero case with the expected result.
2487 __ Bind(&all_zeroes);
2488 __ movl(out, Immediate(32));
2489
2490 __ Bind(&done);
2491 return;
2492 }
2493
2494 // 64 bit case needs to worry about both parts of the register.
2495 DCHECK(src.IsRegisterPair());
2496 Register src_lo = src.AsRegisterPairLow<Register>();
2497 Register src_hi = src.AsRegisterPairHigh<Register>();
Mark Mendell0c9497d2015-08-21 09:30:05 -04002498 NearLabel handle_low, done, all_zeroes;
Mark Mendelld5897672015-08-12 21:16:41 -04002499
2500 // Is the high word zero?
2501 __ testl(src_hi, src_hi);
2502 __ j(kEqual, &handle_low);
2503
2504 // High word is not zero. We know that the BSR result is defined in this case.
2505 __ bsrl(out, src_hi);
2506
2507 // Correct the result from BSR to get the final CLZ result.
2508 __ xorl(out, Immediate(31));
2509 __ jmp(&done);
2510
2511 // High word was zero. We have to compute the low word count and add 32.
2512 __ Bind(&handle_low);
2513 __ bsrl(out, src_lo);
2514 __ j(kEqual, &all_zeroes);
2515
2516 // We had a valid result. Use an XOR to both correct the result and add 32.
2517 __ xorl(out, Immediate(63));
2518 __ jmp(&done);
2519
2520 // All zero case.
2521 __ Bind(&all_zeroes);
2522 __ movl(out, Immediate(64));
2523
2524 __ Bind(&done);
2525}
2526
2527void IntrinsicLocationsBuilderX86::VisitIntegerNumberOfLeadingZeros(HInvoke* invoke) {
2528 CreateLeadingZeroLocations(arena_, invoke, /* is_long */ false);
2529}
2530
2531void IntrinsicCodeGeneratorX86::VisitIntegerNumberOfLeadingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002532 GenLeadingZeros(GetAssembler(), codegen_, invoke, /* is_long */ false);
Mark Mendelld5897672015-08-12 21:16:41 -04002533}
2534
2535void IntrinsicLocationsBuilderX86::VisitLongNumberOfLeadingZeros(HInvoke* invoke) {
2536 CreateLeadingZeroLocations(arena_, invoke, /* is_long */ true);
2537}
2538
2539void IntrinsicCodeGeneratorX86::VisitLongNumberOfLeadingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002540 GenLeadingZeros(GetAssembler(), codegen_, invoke, /* is_long */ true);
Mark Mendelld5897672015-08-12 21:16:41 -04002541}
2542
Mark Mendell2d554792015-09-15 21:45:18 -04002543static void CreateTrailingZeroLocations(ArenaAllocator* arena, HInvoke* invoke, bool is_long) {
2544 LocationSummary* locations = new (arena) LocationSummary(invoke,
2545 LocationSummary::kNoCall,
2546 kIntrinsified);
2547 if (is_long) {
2548 locations->SetInAt(0, Location::RequiresRegister());
2549 } else {
2550 locations->SetInAt(0, Location::Any());
2551 }
2552 locations->SetOut(Location::RequiresRegister());
2553}
2554
Aart Bika19616e2016-02-01 18:57:58 -08002555static void GenTrailingZeros(X86Assembler* assembler,
2556 CodeGeneratorX86* codegen,
2557 HInvoke* invoke, bool is_long) {
Mark Mendell2d554792015-09-15 21:45:18 -04002558 LocationSummary* locations = invoke->GetLocations();
2559 Location src = locations->InAt(0);
2560 Register out = locations->Out().AsRegister<Register>();
2561
2562 if (invoke->InputAt(0)->IsConstant()) {
2563 // Evaluate this at compile time.
2564 int64_t value = Int64FromConstant(invoke->InputAt(0)->AsConstant());
2565 if (value == 0) {
2566 value = is_long ? 64 : 32;
2567 } else {
2568 value = is_long ? CTZ(static_cast<uint64_t>(value)) : CTZ(static_cast<uint32_t>(value));
2569 }
Aart Bika19616e2016-02-01 18:57:58 -08002570 codegen->Load32BitValue(out, value);
Mark Mendell2d554792015-09-15 21:45:18 -04002571 return;
2572 }
2573
2574 // Handle the non-constant cases.
2575 if (!is_long) {
2576 if (src.IsRegister()) {
2577 __ bsfl(out, src.AsRegister<Register>());
2578 } else {
2579 DCHECK(src.IsStackSlot());
2580 __ bsfl(out, Address(ESP, src.GetStackIndex()));
2581 }
2582
2583 // BSF sets ZF if the input was zero, and the output is undefined.
2584 NearLabel done;
2585 __ j(kNotEqual, &done);
2586
2587 // Fix the zero case with the expected result.
2588 __ movl(out, Immediate(32));
2589
2590 __ Bind(&done);
2591 return;
2592 }
2593
2594 // 64 bit case needs to worry about both parts of the register.
2595 DCHECK(src.IsRegisterPair());
2596 Register src_lo = src.AsRegisterPairLow<Register>();
2597 Register src_hi = src.AsRegisterPairHigh<Register>();
2598 NearLabel done, all_zeroes;
2599
2600 // If the low word is zero, then ZF will be set. If not, we have the answer.
2601 __ bsfl(out, src_lo);
2602 __ j(kNotEqual, &done);
2603
2604 // Low word was zero. We have to compute the high word count and add 32.
2605 __ bsfl(out, src_hi);
2606 __ j(kEqual, &all_zeroes);
2607
2608 // We had a valid result. Add 32 to account for the low word being zero.
2609 __ addl(out, Immediate(32));
2610 __ jmp(&done);
2611
2612 // All zero case.
2613 __ Bind(&all_zeroes);
2614 __ movl(out, Immediate(64));
2615
2616 __ Bind(&done);
2617}
2618
2619void IntrinsicLocationsBuilderX86::VisitIntegerNumberOfTrailingZeros(HInvoke* invoke) {
2620 CreateTrailingZeroLocations(arena_, invoke, /* is_long */ false);
2621}
2622
2623void IntrinsicCodeGeneratorX86::VisitIntegerNumberOfTrailingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002624 GenTrailingZeros(GetAssembler(), codegen_, invoke, /* is_long */ false);
Mark Mendell2d554792015-09-15 21:45:18 -04002625}
2626
2627void IntrinsicLocationsBuilderX86::VisitLongNumberOfTrailingZeros(HInvoke* invoke) {
2628 CreateTrailingZeroLocations(arena_, invoke, /* is_long */ true);
2629}
2630
2631void IntrinsicCodeGeneratorX86::VisitLongNumberOfTrailingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002632 GenTrailingZeros(GetAssembler(), codegen_, invoke, /* is_long */ true);
Mark Mendell2d554792015-09-15 21:45:18 -04002633}
2634
Serguei Katkov288c7a82016-05-16 11:53:15 +06002635void IntrinsicLocationsBuilderX86::VisitReferenceGetReferent(HInvoke* invoke) {
2636 if (kEmitCompilerReadBarrier) {
2637 // Do not intrinsify this call with the read barrier configuration.
2638 return;
2639 }
2640 LocationSummary* locations = new (arena_) LocationSummary(invoke,
2641 LocationSummary::kCallOnSlowPath,
2642 kIntrinsified);
2643 locations->SetInAt(0, Location::RequiresRegister());
2644 locations->SetOut(Location::SameAsFirstInput());
2645 locations->AddTemp(Location::RequiresRegister());
2646}
2647
2648void IntrinsicCodeGeneratorX86::VisitReferenceGetReferent(HInvoke* invoke) {
2649 DCHECK(!kEmitCompilerReadBarrier);
2650 LocationSummary* locations = invoke->GetLocations();
2651 X86Assembler* assembler = GetAssembler();
2652
2653 Register obj = locations->InAt(0).AsRegister<Register>();
2654 Register out = locations->Out().AsRegister<Register>();
2655
2656 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
2657 codegen_->AddSlowPath(slow_path);
2658
2659 // Load ArtMethod first.
2660 HInvokeStaticOrDirect* invoke_direct = invoke->AsInvokeStaticOrDirect();
2661 DCHECK(invoke_direct != nullptr);
2662 Location temp_loc = codegen_->GenerateCalleeMethodStaticOrDirectCall(
2663 invoke_direct, locations->GetTemp(0));
2664 DCHECK(temp_loc.Equals(locations->GetTemp(0)));
2665 Register temp = temp_loc.AsRegister<Register>();
2666
2667 // Now get declaring class.
2668 __ movl(temp, Address(temp, ArtMethod::DeclaringClassOffset().Int32Value()));
2669
2670 uint32_t slow_path_flag_offset = codegen_->GetReferenceSlowFlagOffset();
2671 uint32_t disable_flag_offset = codegen_->GetReferenceDisableFlagOffset();
2672 DCHECK_NE(slow_path_flag_offset, 0u);
2673 DCHECK_NE(disable_flag_offset, 0u);
2674 DCHECK_NE(slow_path_flag_offset, disable_flag_offset);
2675
2676 // Check static flags preventing us for using intrinsic.
2677 if (slow_path_flag_offset == disable_flag_offset + 1) {
2678 __ cmpw(Address(temp, disable_flag_offset), Immediate(0));
2679 __ j(kNotEqual, slow_path->GetEntryLabel());
2680 } else {
2681 __ cmpb(Address(temp, disable_flag_offset), Immediate(0));
2682 __ j(kNotEqual, slow_path->GetEntryLabel());
2683 __ cmpb(Address(temp, slow_path_flag_offset), Immediate(0));
2684 __ j(kNotEqual, slow_path->GetEntryLabel());
2685 }
2686
2687 // Fast path.
2688 __ movl(out, Address(obj, mirror::Reference::ReferentOffset().Int32Value()));
2689 codegen_->MaybeRecordImplicitNullCheck(invoke);
2690 __ MaybeUnpoisonHeapReference(out);
2691 __ Bind(slow_path->GetExitLabel());
2692}
2693
Aart Bik2f9fcc92016-03-01 15:16:54 -08002694UNIMPLEMENTED_INTRINSIC(X86, MathRoundDouble)
Aart Bik2f9fcc92016-03-01 15:16:54 -08002695UNIMPLEMENTED_INTRINSIC(X86, SystemArrayCopy)
2696UNIMPLEMENTED_INTRINSIC(X86, FloatIsInfinite)
2697UNIMPLEMENTED_INTRINSIC(X86, DoubleIsInfinite)
2698UNIMPLEMENTED_INTRINSIC(X86, IntegerHighestOneBit)
2699UNIMPLEMENTED_INTRINSIC(X86, LongHighestOneBit)
2700UNIMPLEMENTED_INTRINSIC(X86, IntegerLowestOneBit)
2701UNIMPLEMENTED_INTRINSIC(X86, LongLowestOneBit)
Mark Mendell09ed1a32015-03-25 08:30:06 -04002702
Aart Bik0e54c012016-03-04 12:08:31 -08002703// 1.8.
2704UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndAddInt)
2705UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndAddLong)
2706UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndSetInt)
2707UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndSetLong)
2708UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndSetObject)
Aart Bik0e54c012016-03-04 12:08:31 -08002709
Aart Bik2f9fcc92016-03-01 15:16:54 -08002710UNREACHABLE_INTRINSICS(X86)
Roland Levillain4d027112015-07-01 15:41:14 +01002711
2712#undef __
2713
Mark Mendell09ed1a32015-03-25 08:30:06 -04002714} // namespace x86
2715} // namespace art