blob: 031cd1313c847a273c1ea0e63ac3942e9893c4d6 [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 }
Roland Levillain0d5a2812015-11-13 10:07:31 +000063 return res->Intrinsified();
Mark Mendell09ed1a32015-03-25 08:30:06 -040064}
65
Roland Levillainec525fc2015-04-28 15:50:20 +010066static void MoveArguments(HInvoke* invoke, CodeGeneratorX86* codegen) {
Roland Levillain2d27c8e2015-04-28 15:48:45 +010067 InvokeDexCallingConventionVisitorX86 calling_convention_visitor;
Roland Levillainec525fc2015-04-28 15:50:20 +010068 IntrinsicVisitor::MoveArguments(invoke, codegen, &calling_convention_visitor);
Mark Mendell09ed1a32015-03-25 08:30:06 -040069}
70
Andreas Gampe85b62f22015-09-09 13:15:38 -070071using IntrinsicSlowPathX86 = IntrinsicSlowPath<InvokeDexCallingConventionVisitorX86>;
Mark Mendell09ed1a32015-03-25 08:30:06 -040072
Mark Mendell09ed1a32015-03-25 08:30:06 -040073#define __ assembler->
74
75static void CreateFPToIntLocations(ArenaAllocator* arena, HInvoke* invoke, bool is64bit) {
76 LocationSummary* locations = new (arena) LocationSummary(invoke,
77 LocationSummary::kNoCall,
78 kIntrinsified);
79 locations->SetInAt(0, Location::RequiresFpuRegister());
80 locations->SetOut(Location::RequiresRegister());
81 if (is64bit) {
82 locations->AddTemp(Location::RequiresFpuRegister());
83 }
84}
85
86static void CreateIntToFPLocations(ArenaAllocator* arena, HInvoke* invoke, bool is64bit) {
87 LocationSummary* locations = new (arena) LocationSummary(invoke,
88 LocationSummary::kNoCall,
89 kIntrinsified);
90 locations->SetInAt(0, Location::RequiresRegister());
91 locations->SetOut(Location::RequiresFpuRegister());
92 if (is64bit) {
93 locations->AddTemp(Location::RequiresFpuRegister());
94 locations->AddTemp(Location::RequiresFpuRegister());
95 }
96}
97
98static void MoveFPToInt(LocationSummary* locations, bool is64bit, X86Assembler* assembler) {
99 Location input = locations->InAt(0);
100 Location output = locations->Out();
101 if (is64bit) {
102 // Need to use the temporary.
103 XmmRegister temp = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
104 __ movsd(temp, input.AsFpuRegister<XmmRegister>());
105 __ movd(output.AsRegisterPairLow<Register>(), temp);
106 __ psrlq(temp, Immediate(32));
107 __ movd(output.AsRegisterPairHigh<Register>(), temp);
108 } else {
109 __ movd(output.AsRegister<Register>(), input.AsFpuRegister<XmmRegister>());
110 }
111}
112
113static void MoveIntToFP(LocationSummary* locations, bool is64bit, X86Assembler* assembler) {
114 Location input = locations->InAt(0);
115 Location output = locations->Out();
116 if (is64bit) {
117 // Need to use the temporary.
118 XmmRegister temp1 = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
119 XmmRegister temp2 = locations->GetTemp(1).AsFpuRegister<XmmRegister>();
120 __ movd(temp1, input.AsRegisterPairLow<Register>());
121 __ movd(temp2, input.AsRegisterPairHigh<Register>());
122 __ punpckldq(temp1, temp2);
123 __ movsd(output.AsFpuRegister<XmmRegister>(), temp1);
124 } else {
125 __ movd(output.AsFpuRegister<XmmRegister>(), input.AsRegister<Register>());
126 }
127}
128
129void IntrinsicLocationsBuilderX86::VisitDoubleDoubleToRawLongBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000130 CreateFPToIntLocations(arena_, invoke, /* is64bit */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400131}
132void IntrinsicLocationsBuilderX86::VisitDoubleLongBitsToDouble(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000133 CreateIntToFPLocations(arena_, invoke, /* is64bit */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400134}
135
136void IntrinsicCodeGeneratorX86::VisitDoubleDoubleToRawLongBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000137 MoveFPToInt(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400138}
139void IntrinsicCodeGeneratorX86::VisitDoubleLongBitsToDouble(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000140 MoveIntToFP(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400141}
142
143void IntrinsicLocationsBuilderX86::VisitFloatFloatToRawIntBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000144 CreateFPToIntLocations(arena_, invoke, /* is64bit */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400145}
146void IntrinsicLocationsBuilderX86::VisitFloatIntBitsToFloat(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000147 CreateIntToFPLocations(arena_, invoke, /* is64bit */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400148}
149
150void IntrinsicCodeGeneratorX86::VisitFloatFloatToRawIntBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000151 MoveFPToInt(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400152}
153void IntrinsicCodeGeneratorX86::VisitFloatIntBitsToFloat(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000154 MoveIntToFP(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400155}
156
157static void CreateIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
158 LocationSummary* locations = new (arena) LocationSummary(invoke,
159 LocationSummary::kNoCall,
160 kIntrinsified);
161 locations->SetInAt(0, Location::RequiresRegister());
162 locations->SetOut(Location::SameAsFirstInput());
163}
164
165static void CreateLongToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
166 LocationSummary* locations = new (arena) LocationSummary(invoke,
167 LocationSummary::kNoCall,
168 kIntrinsified);
169 locations->SetInAt(0, Location::RequiresRegister());
170 locations->SetOut(Location::RequiresRegister());
171}
172
173static void CreateLongToLongLocations(ArenaAllocator* arena, HInvoke* invoke) {
174 LocationSummary* locations = new (arena) LocationSummary(invoke,
175 LocationSummary::kNoCall,
176 kIntrinsified);
177 locations->SetInAt(0, Location::RequiresRegister());
178 locations->SetOut(Location::RequiresRegister(), Location::kOutputOverlap);
179}
180
181static void GenReverseBytes(LocationSummary* locations,
182 Primitive::Type size,
183 X86Assembler* assembler) {
184 Register out = locations->Out().AsRegister<Register>();
185
186 switch (size) {
187 case Primitive::kPrimShort:
188 // TODO: Can be done with an xchg of 8b registers. This is straight from Quick.
189 __ bswapl(out);
190 __ sarl(out, Immediate(16));
191 break;
192 case Primitive::kPrimInt:
193 __ bswapl(out);
194 break;
195 default:
196 LOG(FATAL) << "Unexpected size for reverse-bytes: " << size;
197 UNREACHABLE();
198 }
199}
200
201void IntrinsicLocationsBuilderX86::VisitIntegerReverseBytes(HInvoke* invoke) {
202 CreateIntToIntLocations(arena_, invoke);
203}
204
205void IntrinsicCodeGeneratorX86::VisitIntegerReverseBytes(HInvoke* invoke) {
206 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
207}
208
Mark Mendell58d25fd2015-04-03 14:52:31 -0400209void IntrinsicLocationsBuilderX86::VisitLongReverseBytes(HInvoke* invoke) {
210 CreateLongToLongLocations(arena_, invoke);
211}
212
213void IntrinsicCodeGeneratorX86::VisitLongReverseBytes(HInvoke* invoke) {
214 LocationSummary* locations = invoke->GetLocations();
215 Location input = locations->InAt(0);
216 Register input_lo = input.AsRegisterPairLow<Register>();
217 Register input_hi = input.AsRegisterPairHigh<Register>();
218 Location output = locations->Out();
219 Register output_lo = output.AsRegisterPairLow<Register>();
220 Register output_hi = output.AsRegisterPairHigh<Register>();
221
222 X86Assembler* assembler = GetAssembler();
223 // Assign the inputs to the outputs, mixing low/high.
224 __ movl(output_lo, input_hi);
225 __ movl(output_hi, input_lo);
226 __ bswapl(output_lo);
227 __ bswapl(output_hi);
228}
229
Mark Mendell09ed1a32015-03-25 08:30:06 -0400230void IntrinsicLocationsBuilderX86::VisitShortReverseBytes(HInvoke* invoke) {
231 CreateIntToIntLocations(arena_, invoke);
232}
233
234void IntrinsicCodeGeneratorX86::VisitShortReverseBytes(HInvoke* invoke) {
235 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
236}
237
238
239// TODO: Consider Quick's way of doing Double abs through integer operations, as the immediate we
240// need is 64b.
241
242static void CreateFloatToFloat(ArenaAllocator* arena, HInvoke* invoke) {
243 // TODO: Enable memory operations when the assembler supports them.
244 LocationSummary* locations = new (arena) LocationSummary(invoke,
245 LocationSummary::kNoCall,
246 kIntrinsified);
247 locations->SetInAt(0, Location::RequiresFpuRegister());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400248 locations->SetOut(Location::SameAsFirstInput());
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000249 HInvokeStaticOrDirect* static_or_direct = invoke->AsInvokeStaticOrDirect();
250 DCHECK(static_or_direct != nullptr);
Nicolas Geoffray97793072016-02-16 15:33:54 +0000251 if (static_or_direct->HasSpecialInput() &&
252 invoke->InputAt(static_or_direct->GetSpecialInputIndex())->IsX86ComputeBaseMethodAddress()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000253 // We need addressibility for the constant area.
254 locations->SetInAt(1, Location::RequiresRegister());
255 // We need a temporary to hold the constant.
256 locations->AddTemp(Location::RequiresFpuRegister());
257 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400258}
259
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000260static void MathAbsFP(LocationSummary* locations,
261 bool is64bit,
262 X86Assembler* assembler,
263 CodeGeneratorX86* codegen) {
Mark Mendell09ed1a32015-03-25 08:30:06 -0400264 Location output = locations->Out();
265
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000266 DCHECK(output.IsFpuRegister());
Nicolas Geoffray97793072016-02-16 15:33:54 +0000267 if (locations->GetInputCount() == 2 && locations->InAt(1).IsValid()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000268 DCHECK(locations->InAt(1).IsRegister());
269 // We also have a constant area pointer.
270 Register constant_area = locations->InAt(1).AsRegister<Register>();
271 XmmRegister temp = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
272 if (is64bit) {
273 __ movsd(temp, codegen->LiteralInt64Address(INT64_C(0x7FFFFFFFFFFFFFFF), constant_area));
274 __ andpd(output.AsFpuRegister<XmmRegister>(), temp);
275 } else {
276 __ movss(temp, codegen->LiteralInt32Address(INT32_C(0x7FFFFFFF), constant_area));
277 __ andps(output.AsFpuRegister<XmmRegister>(), temp);
278 }
279 } else {
Mark Mendell09ed1a32015-03-25 08:30:06 -0400280 // Create the right constant on an aligned stack.
281 if (is64bit) {
282 __ subl(ESP, Immediate(8));
283 __ pushl(Immediate(0x7FFFFFFF));
284 __ pushl(Immediate(0xFFFFFFFF));
285 __ andpd(output.AsFpuRegister<XmmRegister>(), Address(ESP, 0));
286 } else {
287 __ subl(ESP, Immediate(12));
288 __ pushl(Immediate(0x7FFFFFFF));
289 __ andps(output.AsFpuRegister<XmmRegister>(), Address(ESP, 0));
290 }
291 __ addl(ESP, Immediate(16));
Mark Mendell09ed1a32015-03-25 08:30:06 -0400292 }
293}
294
295void IntrinsicLocationsBuilderX86::VisitMathAbsDouble(HInvoke* invoke) {
296 CreateFloatToFloat(arena_, invoke);
297}
298
299void IntrinsicCodeGeneratorX86::VisitMathAbsDouble(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000300 MathAbsFP(invoke->GetLocations(), /* is64bit */ true, GetAssembler(), codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400301}
302
303void IntrinsicLocationsBuilderX86::VisitMathAbsFloat(HInvoke* invoke) {
304 CreateFloatToFloat(arena_, invoke);
305}
306
307void IntrinsicCodeGeneratorX86::VisitMathAbsFloat(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000308 MathAbsFP(invoke->GetLocations(), /* is64bit */ false, GetAssembler(), codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400309}
310
311static void CreateAbsIntLocation(ArenaAllocator* arena, HInvoke* invoke) {
312 LocationSummary* locations = new (arena) LocationSummary(invoke,
313 LocationSummary::kNoCall,
314 kIntrinsified);
315 locations->SetInAt(0, Location::RegisterLocation(EAX));
316 locations->SetOut(Location::SameAsFirstInput());
317 locations->AddTemp(Location::RegisterLocation(EDX));
318}
319
320static void GenAbsInteger(LocationSummary* locations, X86Assembler* assembler) {
321 Location output = locations->Out();
322 Register out = output.AsRegister<Register>();
323 DCHECK_EQ(out, EAX);
324 Register temp = locations->GetTemp(0).AsRegister<Register>();
325 DCHECK_EQ(temp, EDX);
326
327 // Sign extend EAX into EDX.
328 __ cdq();
329
330 // XOR EAX with sign.
331 __ xorl(EAX, EDX);
332
333 // Subtract out sign to correct.
334 __ subl(EAX, EDX);
335
336 // The result is in EAX.
337}
338
339static void CreateAbsLongLocation(ArenaAllocator* arena, HInvoke* invoke) {
340 LocationSummary* locations = new (arena) LocationSummary(invoke,
341 LocationSummary::kNoCall,
342 kIntrinsified);
343 locations->SetInAt(0, Location::RequiresRegister());
344 locations->SetOut(Location::RequiresRegister(), Location::kOutputOverlap);
345 locations->AddTemp(Location::RequiresRegister());
346}
347
348static void GenAbsLong(LocationSummary* locations, X86Assembler* assembler) {
349 Location input = locations->InAt(0);
350 Register input_lo = input.AsRegisterPairLow<Register>();
351 Register input_hi = input.AsRegisterPairHigh<Register>();
352 Location output = locations->Out();
353 Register output_lo = output.AsRegisterPairLow<Register>();
354 Register output_hi = output.AsRegisterPairHigh<Register>();
355 Register temp = locations->GetTemp(0).AsRegister<Register>();
356
357 // Compute the sign into the temporary.
358 __ movl(temp, input_hi);
359 __ sarl(temp, Immediate(31));
360
361 // Store the sign into the output.
362 __ movl(output_lo, temp);
363 __ movl(output_hi, temp);
364
365 // XOR the input to the output.
366 __ xorl(output_lo, input_lo);
367 __ xorl(output_hi, input_hi);
368
369 // Subtract the sign.
370 __ subl(output_lo, temp);
371 __ sbbl(output_hi, temp);
372}
373
374void IntrinsicLocationsBuilderX86::VisitMathAbsInt(HInvoke* invoke) {
375 CreateAbsIntLocation(arena_, invoke);
376}
377
378void IntrinsicCodeGeneratorX86::VisitMathAbsInt(HInvoke* invoke) {
379 GenAbsInteger(invoke->GetLocations(), GetAssembler());
380}
381
382void IntrinsicLocationsBuilderX86::VisitMathAbsLong(HInvoke* invoke) {
383 CreateAbsLongLocation(arena_, invoke);
384}
385
386void IntrinsicCodeGeneratorX86::VisitMathAbsLong(HInvoke* invoke) {
387 GenAbsLong(invoke->GetLocations(), GetAssembler());
388}
389
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000390static void GenMinMaxFP(LocationSummary* locations,
391 bool is_min,
392 bool is_double,
393 X86Assembler* assembler,
394 CodeGeneratorX86* codegen) {
Mark Mendell09ed1a32015-03-25 08:30:06 -0400395 Location op1_loc = locations->InAt(0);
396 Location op2_loc = locations->InAt(1);
397 Location out_loc = locations->Out();
398 XmmRegister out = out_loc.AsFpuRegister<XmmRegister>();
399
400 // Shortcut for same input locations.
401 if (op1_loc.Equals(op2_loc)) {
402 DCHECK(out_loc.Equals(op1_loc));
403 return;
404 }
405
406 // (out := op1)
407 // out <=? op2
408 // if Nan jmp Nan_label
409 // if out is min jmp done
410 // if op2 is min jmp op2_label
411 // handle -0/+0
412 // jmp done
413 // Nan_label:
414 // out := NaN
415 // op2_label:
416 // out := op2
417 // done:
418 //
419 // This removes one jmp, but needs to copy one input (op1) to out.
420 //
421 // TODO: This is straight from Quick (except literal pool). Make NaN an out-of-line slowpath?
422
423 XmmRegister op2 = op2_loc.AsFpuRegister<XmmRegister>();
424
Mark Mendell0c9497d2015-08-21 09:30:05 -0400425 NearLabel nan, done, op2_label;
Mark Mendell09ed1a32015-03-25 08:30:06 -0400426 if (is_double) {
427 __ ucomisd(out, op2);
428 } else {
429 __ ucomiss(out, op2);
430 }
431
432 __ j(Condition::kParityEven, &nan);
433
434 __ j(is_min ? Condition::kAbove : Condition::kBelow, &op2_label);
435 __ j(is_min ? Condition::kBelow : Condition::kAbove, &done);
436
437 // Handle 0.0/-0.0.
438 if (is_min) {
439 if (is_double) {
440 __ orpd(out, op2);
441 } else {
442 __ orps(out, op2);
443 }
444 } else {
445 if (is_double) {
446 __ andpd(out, op2);
447 } else {
448 __ andps(out, op2);
449 }
450 }
451 __ jmp(&done);
452
453 // NaN handling.
454 __ Bind(&nan);
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000455 // Do we have a constant area pointer?
Nicolas Geoffray97793072016-02-16 15:33:54 +0000456 if (locations->GetInputCount() == 3 && locations->InAt(2).IsValid()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000457 DCHECK(locations->InAt(2).IsRegister());
458 Register constant_area = locations->InAt(2).AsRegister<Register>();
459 if (is_double) {
460 __ movsd(out, codegen->LiteralInt64Address(kDoubleNaN, constant_area));
461 } else {
462 __ movss(out, codegen->LiteralInt32Address(kFloatNaN, constant_area));
463 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400464 } else {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000465 if (is_double) {
466 __ pushl(Immediate(kDoubleNaNHigh));
467 __ pushl(Immediate(kDoubleNaNLow));
468 __ movsd(out, Address(ESP, 0));
469 __ addl(ESP, Immediate(8));
470 } else {
471 __ pushl(Immediate(kFloatNaN));
472 __ movss(out, Address(ESP, 0));
473 __ addl(ESP, Immediate(4));
474 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400475 }
476 __ jmp(&done);
477
478 // out := op2;
479 __ Bind(&op2_label);
480 if (is_double) {
481 __ movsd(out, op2);
482 } else {
483 __ movss(out, op2);
484 }
485
486 // Done.
487 __ Bind(&done);
488}
489
490static void CreateFPFPToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
491 LocationSummary* locations = new (arena) LocationSummary(invoke,
492 LocationSummary::kNoCall,
493 kIntrinsified);
494 locations->SetInAt(0, Location::RequiresFpuRegister());
495 locations->SetInAt(1, Location::RequiresFpuRegister());
496 // The following is sub-optimal, but all we can do for now. It would be fine to also accept
497 // the second input to be the output (we can simply swap inputs).
498 locations->SetOut(Location::SameAsFirstInput());
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000499 HInvokeStaticOrDirect* static_or_direct = invoke->AsInvokeStaticOrDirect();
500 DCHECK(static_or_direct != nullptr);
Nicolas Geoffray97793072016-02-16 15:33:54 +0000501 if (static_or_direct->HasSpecialInput() &&
502 invoke->InputAt(static_or_direct->GetSpecialInputIndex())->IsX86ComputeBaseMethodAddress()) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000503 locations->SetInAt(2, Location::RequiresRegister());
504 }
Mark Mendell09ed1a32015-03-25 08:30:06 -0400505}
506
507void IntrinsicLocationsBuilderX86::VisitMathMinDoubleDouble(HInvoke* invoke) {
508 CreateFPFPToFPLocations(arena_, invoke);
509}
510
511void IntrinsicCodeGeneratorX86::VisitMathMinDoubleDouble(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000512 GenMinMaxFP(invoke->GetLocations(),
513 /* is_min */ true,
514 /* is_double */ true,
515 GetAssembler(),
516 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400517}
518
519void IntrinsicLocationsBuilderX86::VisitMathMinFloatFloat(HInvoke* invoke) {
520 CreateFPFPToFPLocations(arena_, invoke);
521}
522
523void IntrinsicCodeGeneratorX86::VisitMathMinFloatFloat(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000524 GenMinMaxFP(invoke->GetLocations(),
525 /* is_min */ true,
526 /* is_double */ false,
527 GetAssembler(),
528 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400529}
530
531void IntrinsicLocationsBuilderX86::VisitMathMaxDoubleDouble(HInvoke* invoke) {
532 CreateFPFPToFPLocations(arena_, invoke);
533}
534
535void IntrinsicCodeGeneratorX86::VisitMathMaxDoubleDouble(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000536 GenMinMaxFP(invoke->GetLocations(),
537 /* is_min */ false,
538 /* is_double */ true,
539 GetAssembler(),
540 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400541}
542
543void IntrinsicLocationsBuilderX86::VisitMathMaxFloatFloat(HInvoke* invoke) {
544 CreateFPFPToFPLocations(arena_, invoke);
545}
546
547void IntrinsicCodeGeneratorX86::VisitMathMaxFloatFloat(HInvoke* invoke) {
Mark P Mendell2f10a5f2016-01-25 14:47:50 +0000548 GenMinMaxFP(invoke->GetLocations(),
549 /* is_min */ false,
550 /* is_double */ false,
551 GetAssembler(),
552 codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400553}
554
555static void GenMinMax(LocationSummary* locations, bool is_min, bool is_long,
556 X86Assembler* assembler) {
557 Location op1_loc = locations->InAt(0);
558 Location op2_loc = locations->InAt(1);
559
560 // Shortcut for same input locations.
561 if (op1_loc.Equals(op2_loc)) {
562 // Can return immediately, as op1_loc == out_loc.
563 // Note: if we ever support separate registers, e.g., output into memory, we need to check for
564 // a copy here.
565 DCHECK(locations->Out().Equals(op1_loc));
566 return;
567 }
568
569 if (is_long) {
570 // Need to perform a subtract to get the sign right.
571 // op1 is already in the same location as the output.
572 Location output = locations->Out();
573 Register output_lo = output.AsRegisterPairLow<Register>();
574 Register output_hi = output.AsRegisterPairHigh<Register>();
575
576 Register op2_lo = op2_loc.AsRegisterPairLow<Register>();
577 Register op2_hi = op2_loc.AsRegisterPairHigh<Register>();
578
579 // Spare register to compute the subtraction to set condition code.
580 Register temp = locations->GetTemp(0).AsRegister<Register>();
581
582 // Subtract off op2_low.
583 __ movl(temp, output_lo);
584 __ subl(temp, op2_lo);
585
586 // Now use the same tempo and the borrow to finish the subtraction of op2_hi.
587 __ movl(temp, output_hi);
588 __ sbbl(temp, op2_hi);
589
590 // Now the condition code is correct.
591 Condition cond = is_min ? Condition::kGreaterEqual : Condition::kLess;
592 __ cmovl(cond, output_lo, op2_lo);
593 __ cmovl(cond, output_hi, op2_hi);
594 } else {
595 Register out = locations->Out().AsRegister<Register>();
596 Register op2 = op2_loc.AsRegister<Register>();
597
598 // (out := op1)
599 // out <=? op2
600 // if out is min jmp done
601 // out := op2
602 // done:
603
604 __ cmpl(out, op2);
605 Condition cond = is_min ? Condition::kGreater : Condition::kLess;
606 __ cmovl(cond, out, op2);
607 }
608}
609
610static void CreateIntIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
611 LocationSummary* locations = new (arena) LocationSummary(invoke,
612 LocationSummary::kNoCall,
613 kIntrinsified);
614 locations->SetInAt(0, Location::RequiresRegister());
615 locations->SetInAt(1, Location::RequiresRegister());
616 locations->SetOut(Location::SameAsFirstInput());
617}
618
619static void CreateLongLongToLongLocations(ArenaAllocator* arena, HInvoke* invoke) {
620 LocationSummary* locations = new (arena) LocationSummary(invoke,
621 LocationSummary::kNoCall,
622 kIntrinsified);
623 locations->SetInAt(0, Location::RequiresRegister());
624 locations->SetInAt(1, Location::RequiresRegister());
625 locations->SetOut(Location::SameAsFirstInput());
626 // Register to use to perform a long subtract to set cc.
627 locations->AddTemp(Location::RequiresRegister());
628}
629
630void IntrinsicLocationsBuilderX86::VisitMathMinIntInt(HInvoke* invoke) {
631 CreateIntIntToIntLocations(arena_, invoke);
632}
633
634void IntrinsicCodeGeneratorX86::VisitMathMinIntInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000635 GenMinMax(invoke->GetLocations(), /* is_min */ true, /* is_long */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400636}
637
638void IntrinsicLocationsBuilderX86::VisitMathMinLongLong(HInvoke* invoke) {
639 CreateLongLongToLongLocations(arena_, invoke);
640}
641
642void IntrinsicCodeGeneratorX86::VisitMathMinLongLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000643 GenMinMax(invoke->GetLocations(), /* is_min */ true, /* is_long */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400644}
645
646void IntrinsicLocationsBuilderX86::VisitMathMaxIntInt(HInvoke* invoke) {
647 CreateIntIntToIntLocations(arena_, invoke);
648}
649
650void IntrinsicCodeGeneratorX86::VisitMathMaxIntInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000651 GenMinMax(invoke->GetLocations(), /* is_min */ false, /* is_long */ false, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400652}
653
654void IntrinsicLocationsBuilderX86::VisitMathMaxLongLong(HInvoke* invoke) {
655 CreateLongLongToLongLocations(arena_, invoke);
656}
657
658void IntrinsicCodeGeneratorX86::VisitMathMaxLongLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000659 GenMinMax(invoke->GetLocations(), /* is_min */ false, /* is_long */ true, GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -0400660}
661
662static void CreateFPToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
663 LocationSummary* locations = new (arena) LocationSummary(invoke,
664 LocationSummary::kNoCall,
665 kIntrinsified);
666 locations->SetInAt(0, Location::RequiresFpuRegister());
667 locations->SetOut(Location::RequiresFpuRegister());
668}
669
670void IntrinsicLocationsBuilderX86::VisitMathSqrt(HInvoke* invoke) {
671 CreateFPToFPLocations(arena_, invoke);
672}
673
674void IntrinsicCodeGeneratorX86::VisitMathSqrt(HInvoke* invoke) {
675 LocationSummary* locations = invoke->GetLocations();
676 XmmRegister in = locations->InAt(0).AsFpuRegister<XmmRegister>();
677 XmmRegister out = locations->Out().AsFpuRegister<XmmRegister>();
678
679 GetAssembler()->sqrtsd(out, in);
680}
681
Mark Mendellfb8d2792015-03-31 22:16:59 -0400682static void InvokeOutOfLineIntrinsic(CodeGeneratorX86* codegen, HInvoke* invoke) {
Roland Levillainec525fc2015-04-28 15:50:20 +0100683 MoveArguments(invoke, codegen);
Mark Mendellfb8d2792015-03-31 22:16:59 -0400684
685 DCHECK(invoke->IsInvokeStaticOrDirect());
Nicolas Geoffray94015b92015-06-04 18:21:04 +0100686 codegen->GenerateStaticOrDirectCall(invoke->AsInvokeStaticOrDirect(),
687 Location::RegisterLocation(EAX));
Mingyao Yange90db122015-04-03 17:56:54 -0700688 codegen->RecordPcInfo(invoke, invoke->GetDexPc());
Mark Mendellfb8d2792015-03-31 22:16:59 -0400689
690 // Copy the result back to the expected output.
691 Location out = invoke->GetLocations()->Out();
692 if (out.IsValid()) {
693 DCHECK(out.IsRegister());
Andreas Gampe85b62f22015-09-09 13:15:38 -0700694 codegen->MoveFromReturnRegister(out, invoke->GetType());
Mark Mendellfb8d2792015-03-31 22:16:59 -0400695 }
696}
697
698static void CreateSSE41FPToFPLocations(ArenaAllocator* arena,
699 HInvoke* invoke,
700 CodeGeneratorX86* codegen) {
701 // Do we have instruction support?
702 if (codegen->GetInstructionSetFeatures().HasSSE4_1()) {
703 CreateFPToFPLocations(arena, invoke);
704 return;
705 }
706
707 // We have to fall back to a call to the intrinsic.
708 LocationSummary* locations = new (arena) LocationSummary(invoke,
709 LocationSummary::kCall);
710 InvokeRuntimeCallingConvention calling_convention;
711 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetFpuRegisterAt(0)));
712 locations->SetOut(Location::FpuRegisterLocation(XMM0));
713 // Needs to be EAX for the invoke.
714 locations->AddTemp(Location::RegisterLocation(EAX));
715}
716
717static void GenSSE41FPToFPIntrinsic(CodeGeneratorX86* codegen,
718 HInvoke* invoke,
719 X86Assembler* assembler,
720 int round_mode) {
721 LocationSummary* locations = invoke->GetLocations();
722 if (locations->WillCall()) {
723 InvokeOutOfLineIntrinsic(codegen, invoke);
724 } else {
725 XmmRegister in = locations->InAt(0).AsFpuRegister<XmmRegister>();
726 XmmRegister out = locations->Out().AsFpuRegister<XmmRegister>();
727 __ roundsd(out, in, Immediate(round_mode));
728 }
729}
730
731void IntrinsicLocationsBuilderX86::VisitMathCeil(HInvoke* invoke) {
732 CreateSSE41FPToFPLocations(arena_, invoke, codegen_);
733}
734
735void IntrinsicCodeGeneratorX86::VisitMathCeil(HInvoke* invoke) {
736 GenSSE41FPToFPIntrinsic(codegen_, invoke, GetAssembler(), 2);
737}
738
739void IntrinsicLocationsBuilderX86::VisitMathFloor(HInvoke* invoke) {
740 CreateSSE41FPToFPLocations(arena_, invoke, codegen_);
741}
742
743void IntrinsicCodeGeneratorX86::VisitMathFloor(HInvoke* invoke) {
744 GenSSE41FPToFPIntrinsic(codegen_, invoke, GetAssembler(), 1);
745}
746
747void IntrinsicLocationsBuilderX86::VisitMathRint(HInvoke* invoke) {
748 CreateSSE41FPToFPLocations(arena_, invoke, codegen_);
749}
750
751void IntrinsicCodeGeneratorX86::VisitMathRint(HInvoke* invoke) {
752 GenSSE41FPToFPIntrinsic(codegen_, invoke, GetAssembler(), 0);
753}
754
755// Note that 32 bit x86 doesn't have the capability to inline MathRoundDouble,
756// as it needs 64 bit instructions.
757void IntrinsicLocationsBuilderX86::VisitMathRoundFloat(HInvoke* invoke) {
Andreas Gampee6d0d8d2015-12-28 09:54:29 -0800758 // See intrinsics.h.
759 if (!kRoundIsPlusPointFive) {
760 return;
761 }
762
Mark Mendellfb8d2792015-03-31 22:16:59 -0400763 // Do we have instruction support?
764 if (codegen_->GetInstructionSetFeatures().HasSSE4_1()) {
765 LocationSummary* locations = new (arena_) LocationSummary(invoke,
766 LocationSummary::kNoCall,
767 kIntrinsified);
768 locations->SetInAt(0, Location::RequiresFpuRegister());
Nicolas Geoffrayd9b92402015-04-21 10:02:22 +0100769 locations->SetOut(Location::RequiresRegister());
Mark Mendellfb8d2792015-03-31 22:16:59 -0400770 locations->AddTemp(Location::RequiresFpuRegister());
771 locations->AddTemp(Location::RequiresFpuRegister());
772 return;
773 }
774
775 // We have to fall back to a call to the intrinsic.
776 LocationSummary* locations = new (arena_) LocationSummary(invoke,
777 LocationSummary::kCall);
778 InvokeRuntimeCallingConvention calling_convention;
779 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetFpuRegisterAt(0)));
780 locations->SetOut(Location::RegisterLocation(EAX));
781 // Needs to be EAX for the invoke.
782 locations->AddTemp(Location::RegisterLocation(EAX));
783}
784
785void IntrinsicCodeGeneratorX86::VisitMathRoundFloat(HInvoke* invoke) {
786 LocationSummary* locations = invoke->GetLocations();
787 if (locations->WillCall()) {
788 InvokeOutOfLineIntrinsic(codegen_, invoke);
789 return;
790 }
791
792 // Implement RoundFloat as t1 = floor(input + 0.5f); convert to int.
793 XmmRegister in = locations->InAt(0).AsFpuRegister<XmmRegister>();
794 Register out = locations->Out().AsRegister<Register>();
795 XmmRegister maxInt = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
796 XmmRegister inPlusPointFive = locations->GetTemp(1).AsFpuRegister<XmmRegister>();
Mark Mendell0c9497d2015-08-21 09:30:05 -0400797 NearLabel done, nan;
Mark Mendellfb8d2792015-03-31 22:16:59 -0400798 X86Assembler* assembler = GetAssembler();
799
800 // Generate 0.5 into inPlusPointFive.
801 __ movl(out, Immediate(bit_cast<int32_t, float>(0.5f)));
802 __ movd(inPlusPointFive, out);
803
804 // Add in the input.
805 __ addss(inPlusPointFive, in);
806
807 // And truncate to an integer.
808 __ roundss(inPlusPointFive, inPlusPointFive, Immediate(1));
809
810 __ movl(out, Immediate(kPrimIntMax));
811 // maxInt = int-to-float(out)
812 __ cvtsi2ss(maxInt, out);
813
814 // if inPlusPointFive >= maxInt goto done
815 __ comiss(inPlusPointFive, maxInt);
816 __ j(kAboveEqual, &done);
817
818 // if input == NaN goto nan
819 __ j(kUnordered, &nan);
820
821 // output = float-to-int-truncate(input)
822 __ cvttss2si(out, inPlusPointFive);
823 __ jmp(&done);
824 __ Bind(&nan);
825
826 // output = 0
827 __ xorl(out, out);
828 __ Bind(&done);
829}
830
Mark Mendella4f12202015-08-06 15:23:34 -0400831static void CreateFPToFPCallLocations(ArenaAllocator* arena,
832 HInvoke* invoke) {
833 LocationSummary* locations = new (arena) LocationSummary(invoke,
834 LocationSummary::kCall,
835 kIntrinsified);
836 InvokeRuntimeCallingConvention calling_convention;
837 locations->SetInAt(0, Location::FpuRegisterLocation(calling_convention.GetFpuRegisterAt(0)));
838 locations->SetOut(Location::FpuRegisterLocation(XMM0));
839}
840
841static void GenFPToFPCall(HInvoke* invoke, CodeGeneratorX86* codegen, QuickEntrypointEnum entry) {
842 LocationSummary* locations = invoke->GetLocations();
843 DCHECK(locations->WillCall());
844 DCHECK(invoke->IsInvokeStaticOrDirect());
845 X86Assembler* assembler = codegen->GetAssembler();
846
847 // We need some place to pass the parameters.
848 __ subl(ESP, Immediate(16));
849 __ cfi().AdjustCFAOffset(16);
850
851 // Pass the parameters at the bottom of the stack.
852 __ movsd(Address(ESP, 0), XMM0);
853
854 // If we have a second parameter, pass it next.
855 if (invoke->GetNumberOfArguments() == 2) {
856 __ movsd(Address(ESP, 8), XMM1);
857 }
858
859 // Now do the actual call.
860 __ fs()->call(Address::Absolute(GetThreadOffset<kX86WordSize>(entry)));
861
862 // Extract the return value from the FP stack.
863 __ fstpl(Address(ESP, 0));
864 __ movsd(XMM0, Address(ESP, 0));
865
866 // And clean up the stack.
867 __ addl(ESP, Immediate(16));
868 __ cfi().AdjustCFAOffset(-16);
869
870 codegen->RecordPcInfo(invoke, invoke->GetDexPc());
871}
872
873void IntrinsicLocationsBuilderX86::VisitMathCos(HInvoke* invoke) {
874 CreateFPToFPCallLocations(arena_, invoke);
875}
876
877void IntrinsicCodeGeneratorX86::VisitMathCos(HInvoke* invoke) {
878 GenFPToFPCall(invoke, codegen_, kQuickCos);
879}
880
881void IntrinsicLocationsBuilderX86::VisitMathSin(HInvoke* invoke) {
882 CreateFPToFPCallLocations(arena_, invoke);
883}
884
885void IntrinsicCodeGeneratorX86::VisitMathSin(HInvoke* invoke) {
886 GenFPToFPCall(invoke, codegen_, kQuickSin);
887}
888
889void IntrinsicLocationsBuilderX86::VisitMathAcos(HInvoke* invoke) {
890 CreateFPToFPCallLocations(arena_, invoke);
891}
892
893void IntrinsicCodeGeneratorX86::VisitMathAcos(HInvoke* invoke) {
894 GenFPToFPCall(invoke, codegen_, kQuickAcos);
895}
896
897void IntrinsicLocationsBuilderX86::VisitMathAsin(HInvoke* invoke) {
898 CreateFPToFPCallLocations(arena_, invoke);
899}
900
901void IntrinsicCodeGeneratorX86::VisitMathAsin(HInvoke* invoke) {
902 GenFPToFPCall(invoke, codegen_, kQuickAsin);
903}
904
905void IntrinsicLocationsBuilderX86::VisitMathAtan(HInvoke* invoke) {
906 CreateFPToFPCallLocations(arena_, invoke);
907}
908
909void IntrinsicCodeGeneratorX86::VisitMathAtan(HInvoke* invoke) {
910 GenFPToFPCall(invoke, codegen_, kQuickAtan);
911}
912
913void IntrinsicLocationsBuilderX86::VisitMathCbrt(HInvoke* invoke) {
914 CreateFPToFPCallLocations(arena_, invoke);
915}
916
917void IntrinsicCodeGeneratorX86::VisitMathCbrt(HInvoke* invoke) {
918 GenFPToFPCall(invoke, codegen_, kQuickCbrt);
919}
920
921void IntrinsicLocationsBuilderX86::VisitMathCosh(HInvoke* invoke) {
922 CreateFPToFPCallLocations(arena_, invoke);
923}
924
925void IntrinsicCodeGeneratorX86::VisitMathCosh(HInvoke* invoke) {
926 GenFPToFPCall(invoke, codegen_, kQuickCosh);
927}
928
929void IntrinsicLocationsBuilderX86::VisitMathExp(HInvoke* invoke) {
930 CreateFPToFPCallLocations(arena_, invoke);
931}
932
933void IntrinsicCodeGeneratorX86::VisitMathExp(HInvoke* invoke) {
934 GenFPToFPCall(invoke, codegen_, kQuickExp);
935}
936
937void IntrinsicLocationsBuilderX86::VisitMathExpm1(HInvoke* invoke) {
938 CreateFPToFPCallLocations(arena_, invoke);
939}
940
941void IntrinsicCodeGeneratorX86::VisitMathExpm1(HInvoke* invoke) {
942 GenFPToFPCall(invoke, codegen_, kQuickExpm1);
943}
944
945void IntrinsicLocationsBuilderX86::VisitMathLog(HInvoke* invoke) {
946 CreateFPToFPCallLocations(arena_, invoke);
947}
948
949void IntrinsicCodeGeneratorX86::VisitMathLog(HInvoke* invoke) {
950 GenFPToFPCall(invoke, codegen_, kQuickLog);
951}
952
953void IntrinsicLocationsBuilderX86::VisitMathLog10(HInvoke* invoke) {
954 CreateFPToFPCallLocations(arena_, invoke);
955}
956
957void IntrinsicCodeGeneratorX86::VisitMathLog10(HInvoke* invoke) {
958 GenFPToFPCall(invoke, codegen_, kQuickLog10);
959}
960
961void IntrinsicLocationsBuilderX86::VisitMathSinh(HInvoke* invoke) {
962 CreateFPToFPCallLocations(arena_, invoke);
963}
964
965void IntrinsicCodeGeneratorX86::VisitMathSinh(HInvoke* invoke) {
966 GenFPToFPCall(invoke, codegen_, kQuickSinh);
967}
968
969void IntrinsicLocationsBuilderX86::VisitMathTan(HInvoke* invoke) {
970 CreateFPToFPCallLocations(arena_, invoke);
971}
972
973void IntrinsicCodeGeneratorX86::VisitMathTan(HInvoke* invoke) {
974 GenFPToFPCall(invoke, codegen_, kQuickTan);
975}
976
977void IntrinsicLocationsBuilderX86::VisitMathTanh(HInvoke* invoke) {
978 CreateFPToFPCallLocations(arena_, invoke);
979}
980
981void IntrinsicCodeGeneratorX86::VisitMathTanh(HInvoke* invoke) {
982 GenFPToFPCall(invoke, codegen_, kQuickTanh);
983}
984
985static void CreateFPFPToFPCallLocations(ArenaAllocator* arena,
986 HInvoke* invoke) {
987 LocationSummary* locations = new (arena) LocationSummary(invoke,
988 LocationSummary::kCall,
989 kIntrinsified);
990 InvokeRuntimeCallingConvention calling_convention;
991 locations->SetInAt(0, Location::FpuRegisterLocation(calling_convention.GetFpuRegisterAt(0)));
992 locations->SetInAt(1, Location::FpuRegisterLocation(calling_convention.GetFpuRegisterAt(1)));
993 locations->SetOut(Location::FpuRegisterLocation(XMM0));
994}
995
996void IntrinsicLocationsBuilderX86::VisitMathAtan2(HInvoke* invoke) {
997 CreateFPFPToFPCallLocations(arena_, invoke);
998}
999
1000void IntrinsicCodeGeneratorX86::VisitMathAtan2(HInvoke* invoke) {
1001 GenFPToFPCall(invoke, codegen_, kQuickAtan2);
1002}
1003
1004void IntrinsicLocationsBuilderX86::VisitMathHypot(HInvoke* invoke) {
1005 CreateFPFPToFPCallLocations(arena_, invoke);
1006}
1007
1008void IntrinsicCodeGeneratorX86::VisitMathHypot(HInvoke* invoke) {
1009 GenFPToFPCall(invoke, codegen_, kQuickHypot);
1010}
1011
1012void IntrinsicLocationsBuilderX86::VisitMathNextAfter(HInvoke* invoke) {
1013 CreateFPFPToFPCallLocations(arena_, invoke);
1014}
1015
1016void IntrinsicCodeGeneratorX86::VisitMathNextAfter(HInvoke* invoke) {
1017 GenFPToFPCall(invoke, codegen_, kQuickNextAfter);
1018}
1019
Mark Mendell6bc53a92015-07-01 14:26:52 -04001020void IntrinsicLocationsBuilderX86::VisitSystemArrayCopyChar(HInvoke* invoke) {
1021 // We need at least two of the positions or length to be an integer constant,
1022 // or else we won't have enough free registers.
1023 HIntConstant* src_pos = invoke->InputAt(1)->AsIntConstant();
1024 HIntConstant* dest_pos = invoke->InputAt(3)->AsIntConstant();
1025 HIntConstant* length = invoke->InputAt(4)->AsIntConstant();
1026
1027 int num_constants =
1028 ((src_pos != nullptr) ? 1 : 0)
1029 + ((dest_pos != nullptr) ? 1 : 0)
1030 + ((length != nullptr) ? 1 : 0);
1031
1032 if (num_constants < 2) {
1033 // Not enough free registers.
1034 return;
1035 }
1036
1037 // As long as we are checking, we might as well check to see if the src and dest
1038 // positions are >= 0.
1039 if ((src_pos != nullptr && src_pos->GetValue() < 0) ||
1040 (dest_pos != nullptr && dest_pos->GetValue() < 0)) {
1041 // We will have to fail anyways.
1042 return;
1043 }
1044
1045 // And since we are already checking, check the length too.
1046 if (length != nullptr) {
1047 int32_t len = length->GetValue();
1048 if (len < 0) {
1049 // Just call as normal.
1050 return;
1051 }
1052 }
1053
1054 // Okay, it is safe to generate inline code.
1055 LocationSummary* locations =
1056 new (arena_) LocationSummary(invoke, LocationSummary::kCallOnSlowPath, kIntrinsified);
1057 // arraycopy(Object src, int srcPos, Object dest, int destPos, int length).
1058 locations->SetInAt(0, Location::RequiresRegister());
1059 locations->SetInAt(1, Location::RegisterOrConstant(invoke->InputAt(1)));
1060 locations->SetInAt(2, Location::RequiresRegister());
1061 locations->SetInAt(3, Location::RegisterOrConstant(invoke->InputAt(3)));
1062 locations->SetInAt(4, Location::RegisterOrConstant(invoke->InputAt(4)));
1063
1064 // And we need some temporaries. We will use REP MOVSW, so we need fixed registers.
1065 locations->AddTemp(Location::RegisterLocation(ESI));
1066 locations->AddTemp(Location::RegisterLocation(EDI));
1067 locations->AddTemp(Location::RegisterLocation(ECX));
1068}
1069
1070static void CheckPosition(X86Assembler* assembler,
1071 Location pos,
1072 Register input,
1073 Register length,
Andreas Gampe85b62f22015-09-09 13:15:38 -07001074 SlowPathCode* slow_path,
Mark Mendell6bc53a92015-07-01 14:26:52 -04001075 Register input_len,
1076 Register temp) {
1077 // Where is the length in the String?
1078 const uint32_t length_offset = mirror::Array::LengthOffset().Uint32Value();
1079
1080 if (pos.IsConstant()) {
1081 int32_t pos_const = pos.GetConstant()->AsIntConstant()->GetValue();
1082 if (pos_const == 0) {
1083 // Check that length(input) >= length.
1084 __ cmpl(Address(input, length_offset), length);
1085 __ j(kLess, slow_path->GetEntryLabel());
1086 } else {
1087 // Check that length(input) >= pos.
1088 __ movl(input_len, Address(input, length_offset));
1089 __ cmpl(input_len, Immediate(pos_const));
1090 __ j(kLess, slow_path->GetEntryLabel());
1091
1092 // Check that (length(input) - pos) >= length.
1093 __ leal(temp, Address(input_len, -pos_const));
1094 __ cmpl(temp, length);
1095 __ j(kLess, slow_path->GetEntryLabel());
1096 }
1097 } else {
1098 // Check that pos >= 0.
1099 Register pos_reg = pos.AsRegister<Register>();
1100 __ testl(pos_reg, pos_reg);
1101 __ j(kLess, slow_path->GetEntryLabel());
1102
1103 // Check that pos <= length(input).
1104 __ cmpl(Address(input, length_offset), pos_reg);
1105 __ j(kLess, slow_path->GetEntryLabel());
1106
1107 // Check that (length(input) - pos) >= length.
1108 __ movl(temp, Address(input, length_offset));
1109 __ subl(temp, pos_reg);
1110 __ cmpl(temp, length);
1111 __ j(kLess, slow_path->GetEntryLabel());
1112 }
1113}
1114
1115void IntrinsicCodeGeneratorX86::VisitSystemArrayCopyChar(HInvoke* invoke) {
1116 X86Assembler* assembler = GetAssembler();
1117 LocationSummary* locations = invoke->GetLocations();
1118
1119 Register src = locations->InAt(0).AsRegister<Register>();
1120 Location srcPos = locations->InAt(1);
1121 Register dest = locations->InAt(2).AsRegister<Register>();
1122 Location destPos = locations->InAt(3);
1123 Location length = locations->InAt(4);
1124
1125 // Temporaries that we need for MOVSW.
1126 Register src_base = locations->GetTemp(0).AsRegister<Register>();
1127 DCHECK_EQ(src_base, ESI);
1128 Register dest_base = locations->GetTemp(1).AsRegister<Register>();
1129 DCHECK_EQ(dest_base, EDI);
1130 Register count = locations->GetTemp(2).AsRegister<Register>();
1131 DCHECK_EQ(count, ECX);
1132
Andreas Gampe85b62f22015-09-09 13:15:38 -07001133 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Mark Mendell6bc53a92015-07-01 14:26:52 -04001134 codegen_->AddSlowPath(slow_path);
1135
1136 // Bail out if the source and destination are the same (to handle overlap).
1137 __ cmpl(src, dest);
1138 __ j(kEqual, slow_path->GetEntryLabel());
1139
1140 // Bail out if the source is null.
1141 __ testl(src, src);
1142 __ j(kEqual, slow_path->GetEntryLabel());
1143
1144 // Bail out if the destination is null.
1145 __ testl(dest, dest);
1146 __ j(kEqual, slow_path->GetEntryLabel());
1147
1148 // If the length is negative, bail out.
1149 // We have already checked in the LocationsBuilder for the constant case.
1150 if (!length.IsConstant()) {
1151 __ cmpl(length.AsRegister<Register>(), length.AsRegister<Register>());
1152 __ j(kLess, slow_path->GetEntryLabel());
1153 }
1154
1155 // We need the count in ECX.
1156 if (length.IsConstant()) {
1157 __ movl(count, Immediate(length.GetConstant()->AsIntConstant()->GetValue()));
1158 } else {
1159 __ movl(count, length.AsRegister<Register>());
1160 }
1161
1162 // Validity checks: source.
1163 CheckPosition(assembler, srcPos, src, count, slow_path, src_base, dest_base);
1164
1165 // Validity checks: dest.
1166 CheckPosition(assembler, destPos, dest, count, slow_path, src_base, dest_base);
1167
1168 // Okay, everything checks out. Finally time to do the copy.
1169 // Check assumption that sizeof(Char) is 2 (used in scaling below).
1170 const size_t char_size = Primitive::ComponentSize(Primitive::kPrimChar);
1171 DCHECK_EQ(char_size, 2u);
1172
1173 const uint32_t data_offset = mirror::Array::DataOffset(char_size).Uint32Value();
1174
1175 if (srcPos.IsConstant()) {
1176 int32_t srcPos_const = srcPos.GetConstant()->AsIntConstant()->GetValue();
1177 __ leal(src_base, Address(src, char_size * srcPos_const + data_offset));
1178 } else {
1179 __ leal(src_base, Address(src, srcPos.AsRegister<Register>(),
1180 ScaleFactor::TIMES_2, data_offset));
1181 }
1182 if (destPos.IsConstant()) {
1183 int32_t destPos_const = destPos.GetConstant()->AsIntConstant()->GetValue();
1184
1185 __ leal(dest_base, Address(dest, char_size * destPos_const + data_offset));
1186 } else {
1187 __ leal(dest_base, Address(dest, destPos.AsRegister<Register>(),
1188 ScaleFactor::TIMES_2, data_offset));
1189 }
1190
1191 // Do the move.
1192 __ rep_movsw();
1193
1194 __ Bind(slow_path->GetExitLabel());
1195}
1196
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001197void IntrinsicLocationsBuilderX86::VisitStringCompareTo(HInvoke* invoke) {
1198 // The inputs plus one temp.
1199 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1200 LocationSummary::kCall,
1201 kIntrinsified);
1202 InvokeRuntimeCallingConvention calling_convention;
1203 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1204 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1205 locations->SetOut(Location::RegisterLocation(EAX));
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001206}
1207
1208void IntrinsicCodeGeneratorX86::VisitStringCompareTo(HInvoke* invoke) {
1209 X86Assembler* assembler = GetAssembler();
1210 LocationSummary* locations = invoke->GetLocations();
1211
Nicolas Geoffray512e04d2015-03-27 17:21:24 +00001212 // Note that the null check must have been done earlier.
Calin Juravle641547a2015-04-21 22:08:51 +01001213 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001214
1215 Register argument = locations->InAt(1).AsRegister<Register>();
1216 __ testl(argument, argument);
Andreas Gampe85b62f22015-09-09 13:15:38 -07001217 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Nicolas Geoffrayd75948a2015-03-27 09:53:16 +00001218 codegen_->AddSlowPath(slow_path);
1219 __ j(kEqual, slow_path->GetEntryLabel());
1220
1221 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pStringCompareTo)));
1222 __ Bind(slow_path->GetExitLabel());
1223}
1224
Agi Csakid7138c82015-08-13 17:46:44 -07001225void IntrinsicLocationsBuilderX86::VisitStringEquals(HInvoke* invoke) {
1226 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1227 LocationSummary::kNoCall,
1228 kIntrinsified);
1229 locations->SetInAt(0, Location::RequiresRegister());
1230 locations->SetInAt(1, Location::RequiresRegister());
1231
1232 // Request temporary registers, ECX and EDI needed for repe_cmpsl instruction.
1233 locations->AddTemp(Location::RegisterLocation(ECX));
1234 locations->AddTemp(Location::RegisterLocation(EDI));
1235
1236 // Set output, ESI needed for repe_cmpsl instruction anyways.
1237 locations->SetOut(Location::RegisterLocation(ESI), Location::kOutputOverlap);
1238}
1239
1240void IntrinsicCodeGeneratorX86::VisitStringEquals(HInvoke* invoke) {
1241 X86Assembler* assembler = GetAssembler();
1242 LocationSummary* locations = invoke->GetLocations();
1243
1244 Register str = locations->InAt(0).AsRegister<Register>();
1245 Register arg = locations->InAt(1).AsRegister<Register>();
1246 Register ecx = locations->GetTemp(0).AsRegister<Register>();
1247 Register edi = locations->GetTemp(1).AsRegister<Register>();
1248 Register esi = locations->Out().AsRegister<Register>();
1249
Mark Mendell0c9497d2015-08-21 09:30:05 -04001250 NearLabel end, return_true, return_false;
Agi Csakid7138c82015-08-13 17:46:44 -07001251
1252 // Get offsets of count, value, and class fields within a string object.
1253 const uint32_t count_offset = mirror::String::CountOffset().Uint32Value();
1254 const uint32_t value_offset = mirror::String::ValueOffset().Uint32Value();
1255 const uint32_t class_offset = mirror::Object::ClassOffset().Uint32Value();
1256
1257 // Note that the null check must have been done earlier.
1258 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1259
Nicolas Geoffraya83a54d2015-10-02 17:30:26 +01001260 StringEqualsOptimizations optimizations(invoke);
1261 if (!optimizations.GetArgumentNotNull()) {
1262 // Check if input is null, return false if it is.
1263 __ testl(arg, arg);
1264 __ j(kEqual, &return_false);
1265 }
Agi Csakid7138c82015-08-13 17:46:44 -07001266
Nicolas Geoffraya83a54d2015-10-02 17:30:26 +01001267 if (!optimizations.GetArgumentIsString()) {
Vladimir Marko53b52002016-05-24 19:30:45 +01001268 // Instanceof check for the argument by comparing class fields.
1269 // All string objects must have the same type since String cannot be subclassed.
1270 // Receiver must be a string object, so its class field is equal to all strings' class fields.
1271 // 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 +01001272 __ movl(ecx, Address(str, class_offset));
1273 __ cmpl(ecx, Address(arg, class_offset));
1274 __ j(kNotEqual, &return_false);
1275 }
Agi Csakid7138c82015-08-13 17:46:44 -07001276
1277 // Reference equality check, return true if same reference.
1278 __ cmpl(str, arg);
1279 __ j(kEqual, &return_true);
1280
1281 // Load length of receiver string.
1282 __ movl(ecx, Address(str, count_offset));
1283 // Check if lengths are equal, return false if they're not.
1284 __ cmpl(ecx, Address(arg, count_offset));
1285 __ j(kNotEqual, &return_false);
1286 // Return true if both strings are empty.
Mark Mendell0c9497d2015-08-21 09:30:05 -04001287 __ jecxz(&return_true);
Agi Csakid7138c82015-08-13 17:46:44 -07001288
1289 // Load starting addresses of string values into ESI/EDI as required for repe_cmpsl instruction.
1290 __ leal(esi, Address(str, value_offset));
1291 __ leal(edi, Address(arg, value_offset));
1292
1293 // Divide string length by 2 to compare characters 2 at a time and adjust for odd lengths.
1294 __ addl(ecx, Immediate(1));
1295 __ shrl(ecx, Immediate(1));
1296
1297 // Assertions that must hold in order to compare strings 2 characters at a time.
1298 DCHECK_ALIGNED(value_offset, 4);
1299 static_assert(IsAligned<4>(kObjectAlignment), "String of odd length is not zero padded");
1300
1301 // Loop to compare strings two characters at a time starting at the beginning of the string.
1302 __ repe_cmpsl();
1303 // If strings are not equal, zero flag will be cleared.
1304 __ j(kNotEqual, &return_false);
1305
1306 // Return true and exit the function.
1307 // If loop does not result in returning false, we return true.
1308 __ Bind(&return_true);
1309 __ movl(esi, Immediate(1));
1310 __ jmp(&end);
1311
1312 // Return false and exit the function.
1313 __ Bind(&return_false);
1314 __ xorl(esi, esi);
1315 __ Bind(&end);
1316}
1317
Andreas Gampe21030dd2015-05-07 14:46:15 -07001318static void CreateStringIndexOfLocations(HInvoke* invoke,
1319 ArenaAllocator* allocator,
1320 bool start_at_zero) {
1321 LocationSummary* locations = new (allocator) LocationSummary(invoke,
1322 LocationSummary::kCallOnSlowPath,
1323 kIntrinsified);
1324 // The data needs to be in EDI for scasw. So request that the string is there, anyways.
1325 locations->SetInAt(0, Location::RegisterLocation(EDI));
1326 // If we look for a constant char, we'll still have to copy it into EAX. So just request the
1327 // allocator to do that, anyways. We can still do the constant check by checking the parameter
1328 // of the instruction explicitly.
1329 // Note: This works as we don't clobber EAX anywhere.
1330 locations->SetInAt(1, Location::RegisterLocation(EAX));
1331 if (!start_at_zero) {
1332 locations->SetInAt(2, Location::RequiresRegister()); // The starting index.
1333 }
1334 // As we clobber EDI during execution anyways, also use it as the output.
1335 locations->SetOut(Location::SameAsFirstInput());
1336
1337 // repne scasw uses ECX as the counter.
1338 locations->AddTemp(Location::RegisterLocation(ECX));
1339 // Need another temporary to be able to compute the result.
1340 locations->AddTemp(Location::RequiresRegister());
1341}
1342
1343static void GenerateStringIndexOf(HInvoke* invoke,
1344 X86Assembler* assembler,
1345 CodeGeneratorX86* codegen,
1346 ArenaAllocator* allocator,
1347 bool start_at_zero) {
1348 LocationSummary* locations = invoke->GetLocations();
1349
1350 // Note that the null check must have been done earlier.
1351 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1352
1353 Register string_obj = locations->InAt(0).AsRegister<Register>();
1354 Register search_value = locations->InAt(1).AsRegister<Register>();
1355 Register counter = locations->GetTemp(0).AsRegister<Register>();
1356 Register string_length = locations->GetTemp(1).AsRegister<Register>();
1357 Register out = locations->Out().AsRegister<Register>();
1358
1359 // Check our assumptions for registers.
1360 DCHECK_EQ(string_obj, EDI);
1361 DCHECK_EQ(search_value, EAX);
1362 DCHECK_EQ(counter, ECX);
1363 DCHECK_EQ(out, EDI);
1364
1365 // Check for code points > 0xFFFF. Either a slow-path check when we don't know statically,
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001366 // 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 -07001367 SlowPathCode* slow_path = nullptr;
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001368 HInstruction* code_point = invoke->InputAt(1);
1369 if (code_point->IsIntConstant()) {
Vladimir Markoda051082016-05-17 16:10:20 +01001370 if (static_cast<uint32_t>(code_point->AsIntConstant()->GetValue()) >
Andreas Gampe21030dd2015-05-07 14:46:15 -07001371 std::numeric_limits<uint16_t>::max()) {
1372 // Always needs the slow-path. We could directly dispatch to it, but this case should be
1373 // rare, so for simplicity just put the full slow-path down and branch unconditionally.
1374 slow_path = new (allocator) IntrinsicSlowPathX86(invoke);
1375 codegen->AddSlowPath(slow_path);
1376 __ jmp(slow_path->GetEntryLabel());
1377 __ Bind(slow_path->GetExitLabel());
1378 return;
1379 }
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001380 } else if (code_point->GetType() != Primitive::kPrimChar) {
Andreas Gampe21030dd2015-05-07 14:46:15 -07001381 __ cmpl(search_value, Immediate(std::numeric_limits<uint16_t>::max()));
1382 slow_path = new (allocator) IntrinsicSlowPathX86(invoke);
1383 codegen->AddSlowPath(slow_path);
1384 __ j(kAbove, slow_path->GetEntryLabel());
1385 }
1386
1387 // From here down, we know that we are looking for a char that fits in 16 bits.
1388 // Location of reference to data array within the String object.
1389 int32_t value_offset = mirror::String::ValueOffset().Int32Value();
1390 // Location of count within the String object.
1391 int32_t count_offset = mirror::String::CountOffset().Int32Value();
1392
1393 // Load string length, i.e., the count field of the string.
1394 __ movl(string_length, Address(string_obj, count_offset));
1395
1396 // Do a zero-length check.
1397 // TODO: Support jecxz.
Mark Mendell0c9497d2015-08-21 09:30:05 -04001398 NearLabel not_found_label;
Andreas Gampe21030dd2015-05-07 14:46:15 -07001399 __ testl(string_length, string_length);
1400 __ j(kEqual, &not_found_label);
1401
1402 if (start_at_zero) {
1403 // Number of chars to scan is the same as the string length.
1404 __ movl(counter, string_length);
1405
1406 // Move to the start of the string.
1407 __ addl(string_obj, Immediate(value_offset));
1408 } else {
1409 Register start_index = locations->InAt(2).AsRegister<Register>();
1410
1411 // Do a start_index check.
1412 __ cmpl(start_index, string_length);
1413 __ j(kGreaterEqual, &not_found_label);
1414
1415 // Ensure we have a start index >= 0;
1416 __ xorl(counter, counter);
1417 __ cmpl(start_index, Immediate(0));
1418 __ cmovl(kGreater, counter, start_index);
1419
1420 // Move to the start of the string: string_obj + value_offset + 2 * start_index.
1421 __ leal(string_obj, Address(string_obj, counter, ScaleFactor::TIMES_2, value_offset));
1422
1423 // Now update ecx (the repne scasw work counter). We have string.length - start_index left to
1424 // compare.
1425 __ negl(counter);
1426 __ leal(counter, Address(string_length, counter, ScaleFactor::TIMES_1, 0));
1427 }
1428
1429 // Everything is set up for repne scasw:
1430 // * Comparison address in EDI.
1431 // * Counter in ECX.
1432 __ repne_scasw();
1433
1434 // Did we find a match?
1435 __ j(kNotEqual, &not_found_label);
1436
1437 // Yes, we matched. Compute the index of the result.
1438 __ subl(string_length, counter);
1439 __ leal(out, Address(string_length, -1));
1440
Mark Mendell0c9497d2015-08-21 09:30:05 -04001441 NearLabel done;
Andreas Gampe21030dd2015-05-07 14:46:15 -07001442 __ jmp(&done);
1443
1444 // Failed to match; return -1.
1445 __ Bind(&not_found_label);
1446 __ movl(out, Immediate(-1));
1447
1448 // And join up at the end.
1449 __ Bind(&done);
1450 if (slow_path != nullptr) {
1451 __ Bind(slow_path->GetExitLabel());
1452 }
1453}
1454
1455void IntrinsicLocationsBuilderX86::VisitStringIndexOf(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001456 CreateStringIndexOfLocations(invoke, arena_, /* start_at_zero */ true);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001457}
1458
1459void IntrinsicCodeGeneratorX86::VisitStringIndexOf(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001460 GenerateStringIndexOf(invoke, GetAssembler(), codegen_, GetAllocator(), /* start_at_zero */ true);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001461}
1462
1463void IntrinsicLocationsBuilderX86::VisitStringIndexOfAfter(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001464 CreateStringIndexOfLocations(invoke, arena_, /* start_at_zero */ false);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001465}
1466
1467void IntrinsicCodeGeneratorX86::VisitStringIndexOfAfter(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001468 GenerateStringIndexOf(
1469 invoke, GetAssembler(), codegen_, GetAllocator(), /* start_at_zero */ false);
Andreas Gampe21030dd2015-05-07 14:46:15 -07001470}
1471
Jeff Hao848f70a2014-01-15 13:49:50 -08001472void IntrinsicLocationsBuilderX86::VisitStringNewStringFromBytes(HInvoke* invoke) {
1473 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1474 LocationSummary::kCall,
1475 kIntrinsified);
1476 InvokeRuntimeCallingConvention calling_convention;
1477 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1478 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1479 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1480 locations->SetInAt(3, Location::RegisterLocation(calling_convention.GetRegisterAt(3)));
1481 locations->SetOut(Location::RegisterLocation(EAX));
Jeff Hao848f70a2014-01-15 13:49:50 -08001482}
1483
1484void IntrinsicCodeGeneratorX86::VisitStringNewStringFromBytes(HInvoke* invoke) {
1485 X86Assembler* assembler = GetAssembler();
1486 LocationSummary* locations = invoke->GetLocations();
1487
1488 Register byte_array = locations->InAt(0).AsRegister<Register>();
1489 __ testl(byte_array, byte_array);
Andreas Gampe85b62f22015-09-09 13:15:38 -07001490 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Jeff Hao848f70a2014-01-15 13:49:50 -08001491 codegen_->AddSlowPath(slow_path);
1492 __ j(kEqual, slow_path->GetEntryLabel());
1493
1494 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pAllocStringFromBytes)));
Roland Levillainf969a202016-03-09 16:14:00 +00001495 CheckEntrypointTypes<kQuickAllocStringFromBytes, void*, void*, int32_t, int32_t, int32_t>();
Jeff Hao848f70a2014-01-15 13:49:50 -08001496 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1497 __ Bind(slow_path->GetExitLabel());
1498}
1499
1500void IntrinsicLocationsBuilderX86::VisitStringNewStringFromChars(HInvoke* invoke) {
1501 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1502 LocationSummary::kCall,
1503 kIntrinsified);
1504 InvokeRuntimeCallingConvention calling_convention;
1505 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1506 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1507 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1508 locations->SetOut(Location::RegisterLocation(EAX));
1509}
1510
1511void IntrinsicCodeGeneratorX86::VisitStringNewStringFromChars(HInvoke* invoke) {
1512 X86Assembler* assembler = GetAssembler();
1513
Roland Levillaincc3839c2016-02-29 16:23:48 +00001514 // No need to emit code checking whether `locations->InAt(2)` is a null
1515 // pointer, as callers of the native method
1516 //
1517 // java.lang.StringFactory.newStringFromChars(int offset, int charCount, char[] data)
1518 //
1519 // all include a null check on `data` before calling that method.
Jeff Hao848f70a2014-01-15 13:49:50 -08001520 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pAllocStringFromChars)));
Roland Levillainf969a202016-03-09 16:14:00 +00001521 CheckEntrypointTypes<kQuickAllocStringFromChars, void*, int32_t, int32_t, void*>();
Jeff Hao848f70a2014-01-15 13:49:50 -08001522 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1523}
1524
1525void IntrinsicLocationsBuilderX86::VisitStringNewStringFromString(HInvoke* invoke) {
1526 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1527 LocationSummary::kCall,
1528 kIntrinsified);
1529 InvokeRuntimeCallingConvention calling_convention;
1530 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1531 locations->SetOut(Location::RegisterLocation(EAX));
Jeff Hao848f70a2014-01-15 13:49:50 -08001532}
1533
1534void IntrinsicCodeGeneratorX86::VisitStringNewStringFromString(HInvoke* invoke) {
1535 X86Assembler* assembler = GetAssembler();
1536 LocationSummary* locations = invoke->GetLocations();
1537
1538 Register string_to_copy = locations->InAt(0).AsRegister<Register>();
1539 __ testl(string_to_copy, string_to_copy);
Andreas Gampe85b62f22015-09-09 13:15:38 -07001540 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
Jeff Hao848f70a2014-01-15 13:49:50 -08001541 codegen_->AddSlowPath(slow_path);
1542 __ j(kEqual, slow_path->GetEntryLabel());
1543
1544 __ fs()->call(Address::Absolute(QUICK_ENTRYPOINT_OFFSET(kX86WordSize, pAllocStringFromString)));
Roland Levillainf969a202016-03-09 16:14:00 +00001545 CheckEntrypointTypes<kQuickAllocStringFromString, void*, void*>();
Jeff Hao848f70a2014-01-15 13:49:50 -08001546 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1547 __ Bind(slow_path->GetExitLabel());
1548}
1549
Mark Mendell8f8926a2015-08-17 11:39:06 -04001550void IntrinsicLocationsBuilderX86::VisitStringGetCharsNoCheck(HInvoke* invoke) {
1551 // public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin);
1552 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1553 LocationSummary::kNoCall,
1554 kIntrinsified);
1555 locations->SetInAt(0, Location::RequiresRegister());
1556 locations->SetInAt(1, Location::RegisterOrConstant(invoke->InputAt(1)));
1557 // Place srcEnd in ECX to save a move below.
1558 locations->SetInAt(2, Location::RegisterLocation(ECX));
1559 locations->SetInAt(3, Location::RequiresRegister());
1560 locations->SetInAt(4, Location::RequiresRegister());
1561
1562 // And we need some temporaries. We will use REP MOVSW, so we need fixed registers.
1563 // We don't have enough registers to also grab ECX, so handle below.
1564 locations->AddTemp(Location::RegisterLocation(ESI));
1565 locations->AddTemp(Location::RegisterLocation(EDI));
1566}
1567
1568void IntrinsicCodeGeneratorX86::VisitStringGetCharsNoCheck(HInvoke* invoke) {
1569 X86Assembler* assembler = GetAssembler();
1570 LocationSummary* locations = invoke->GetLocations();
1571
1572 size_t char_component_size = Primitive::ComponentSize(Primitive::kPrimChar);
1573 // Location of data in char array buffer.
1574 const uint32_t data_offset = mirror::Array::DataOffset(char_component_size).Uint32Value();
1575 // Location of char array data in string.
1576 const uint32_t value_offset = mirror::String::ValueOffset().Uint32Value();
1577
1578 // public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin);
1579 Register obj = locations->InAt(0).AsRegister<Register>();
1580 Location srcBegin = locations->InAt(1);
1581 int srcBegin_value =
1582 srcBegin.IsConstant() ? srcBegin.GetConstant()->AsIntConstant()->GetValue() : 0;
1583 Register srcEnd = locations->InAt(2).AsRegister<Register>();
1584 Register dst = locations->InAt(3).AsRegister<Register>();
1585 Register dstBegin = locations->InAt(4).AsRegister<Register>();
1586
1587 // Check assumption that sizeof(Char) is 2 (used in scaling below).
1588 const size_t char_size = Primitive::ComponentSize(Primitive::kPrimChar);
1589 DCHECK_EQ(char_size, 2u);
1590
1591 // Compute the address of the destination buffer.
1592 __ leal(EDI, Address(dst, dstBegin, ScaleFactor::TIMES_2, data_offset));
1593
1594 // Compute the address of the source string.
1595 if (srcBegin.IsConstant()) {
1596 // Compute the address of the source string by adding the number of chars from
1597 // the source beginning to the value offset of a string.
1598 __ leal(ESI, Address(obj, srcBegin_value * char_size + value_offset));
1599 } else {
1600 __ leal(ESI, Address(obj, srcBegin.AsRegister<Register>(),
1601 ScaleFactor::TIMES_2, value_offset));
1602 }
1603
1604 // Compute the number of chars (words) to move.
1605 // Now is the time to save ECX, since we don't know if it will be used later.
1606 __ pushl(ECX);
1607 int stack_adjust = kX86WordSize;
1608 __ cfi().AdjustCFAOffset(stack_adjust);
1609 DCHECK_EQ(srcEnd, ECX);
1610 if (srcBegin.IsConstant()) {
1611 if (srcBegin_value != 0) {
1612 __ subl(ECX, Immediate(srcBegin_value));
1613 }
1614 } else {
1615 DCHECK(srcBegin.IsRegister());
1616 __ subl(ECX, srcBegin.AsRegister<Register>());
1617 }
1618
1619 // Do the move.
1620 __ rep_movsw();
1621
1622 // And restore ECX.
1623 __ popl(ECX);
1624 __ cfi().AdjustCFAOffset(-stack_adjust);
1625}
1626
Mark Mendell09ed1a32015-03-25 08:30:06 -04001627static void GenPeek(LocationSummary* locations, Primitive::Type size, X86Assembler* assembler) {
1628 Register address = locations->InAt(0).AsRegisterPairLow<Register>();
1629 Location out_loc = locations->Out();
1630 // x86 allows unaligned access. We do not have to check the input or use specific instructions
1631 // to avoid a SIGBUS.
1632 switch (size) {
1633 case Primitive::kPrimByte:
1634 __ movsxb(out_loc.AsRegister<Register>(), Address(address, 0));
1635 break;
1636 case Primitive::kPrimShort:
1637 __ movsxw(out_loc.AsRegister<Register>(), Address(address, 0));
1638 break;
1639 case Primitive::kPrimInt:
1640 __ movl(out_loc.AsRegister<Register>(), Address(address, 0));
1641 break;
1642 case Primitive::kPrimLong:
1643 __ movl(out_loc.AsRegisterPairLow<Register>(), Address(address, 0));
1644 __ movl(out_loc.AsRegisterPairHigh<Register>(), Address(address, 4));
1645 break;
1646 default:
1647 LOG(FATAL) << "Type not recognized for peek: " << size;
1648 UNREACHABLE();
1649 }
1650}
1651
1652void IntrinsicLocationsBuilderX86::VisitMemoryPeekByte(HInvoke* invoke) {
1653 CreateLongToIntLocations(arena_, invoke);
1654}
1655
1656void IntrinsicCodeGeneratorX86::VisitMemoryPeekByte(HInvoke* invoke) {
1657 GenPeek(invoke->GetLocations(), Primitive::kPrimByte, GetAssembler());
1658}
1659
1660void IntrinsicLocationsBuilderX86::VisitMemoryPeekIntNative(HInvoke* invoke) {
1661 CreateLongToIntLocations(arena_, invoke);
1662}
1663
1664void IntrinsicCodeGeneratorX86::VisitMemoryPeekIntNative(HInvoke* invoke) {
1665 GenPeek(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
1666}
1667
1668void IntrinsicLocationsBuilderX86::VisitMemoryPeekLongNative(HInvoke* invoke) {
1669 CreateLongToLongLocations(arena_, invoke);
1670}
1671
1672void IntrinsicCodeGeneratorX86::VisitMemoryPeekLongNative(HInvoke* invoke) {
1673 GenPeek(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
1674}
1675
1676void IntrinsicLocationsBuilderX86::VisitMemoryPeekShortNative(HInvoke* invoke) {
1677 CreateLongToIntLocations(arena_, invoke);
1678}
1679
1680void IntrinsicCodeGeneratorX86::VisitMemoryPeekShortNative(HInvoke* invoke) {
1681 GenPeek(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
1682}
1683
1684static void CreateLongIntToVoidLocations(ArenaAllocator* arena, Primitive::Type size,
1685 HInvoke* invoke) {
1686 LocationSummary* locations = new (arena) LocationSummary(invoke,
1687 LocationSummary::kNoCall,
1688 kIntrinsified);
1689 locations->SetInAt(0, Location::RequiresRegister());
Roland Levillain4c0eb422015-04-24 16:43:49 +01001690 HInstruction* value = invoke->InputAt(1);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001691 if (size == Primitive::kPrimByte) {
1692 locations->SetInAt(1, Location::ByteRegisterOrConstant(EDX, value));
1693 } else {
1694 locations->SetInAt(1, Location::RegisterOrConstant(value));
1695 }
1696}
1697
1698static void GenPoke(LocationSummary* locations, Primitive::Type size, X86Assembler* assembler) {
1699 Register address = locations->InAt(0).AsRegisterPairLow<Register>();
1700 Location value_loc = locations->InAt(1);
1701 // x86 allows unaligned access. We do not have to check the input or use specific instructions
1702 // to avoid a SIGBUS.
1703 switch (size) {
1704 case Primitive::kPrimByte:
1705 if (value_loc.IsConstant()) {
1706 __ movb(Address(address, 0),
1707 Immediate(value_loc.GetConstant()->AsIntConstant()->GetValue()));
1708 } else {
1709 __ movb(Address(address, 0), value_loc.AsRegister<ByteRegister>());
1710 }
1711 break;
1712 case Primitive::kPrimShort:
1713 if (value_loc.IsConstant()) {
1714 __ movw(Address(address, 0),
1715 Immediate(value_loc.GetConstant()->AsIntConstant()->GetValue()));
1716 } else {
1717 __ movw(Address(address, 0), value_loc.AsRegister<Register>());
1718 }
1719 break;
1720 case Primitive::kPrimInt:
1721 if (value_loc.IsConstant()) {
1722 __ movl(Address(address, 0),
1723 Immediate(value_loc.GetConstant()->AsIntConstant()->GetValue()));
1724 } else {
1725 __ movl(Address(address, 0), value_loc.AsRegister<Register>());
1726 }
1727 break;
1728 case Primitive::kPrimLong:
1729 if (value_loc.IsConstant()) {
1730 int64_t value = value_loc.GetConstant()->AsLongConstant()->GetValue();
1731 __ movl(Address(address, 0), Immediate(Low32Bits(value)));
1732 __ movl(Address(address, 4), Immediate(High32Bits(value)));
1733 } else {
1734 __ movl(Address(address, 0), value_loc.AsRegisterPairLow<Register>());
1735 __ movl(Address(address, 4), value_loc.AsRegisterPairHigh<Register>());
1736 }
1737 break;
1738 default:
1739 LOG(FATAL) << "Type not recognized for poke: " << size;
1740 UNREACHABLE();
1741 }
1742}
1743
1744void IntrinsicLocationsBuilderX86::VisitMemoryPokeByte(HInvoke* invoke) {
1745 CreateLongIntToVoidLocations(arena_, Primitive::kPrimByte, invoke);
1746}
1747
1748void IntrinsicCodeGeneratorX86::VisitMemoryPokeByte(HInvoke* invoke) {
1749 GenPoke(invoke->GetLocations(), Primitive::kPrimByte, GetAssembler());
1750}
1751
1752void IntrinsicLocationsBuilderX86::VisitMemoryPokeIntNative(HInvoke* invoke) {
1753 CreateLongIntToVoidLocations(arena_, Primitive::kPrimInt, invoke);
1754}
1755
1756void IntrinsicCodeGeneratorX86::VisitMemoryPokeIntNative(HInvoke* invoke) {
1757 GenPoke(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
1758}
1759
1760void IntrinsicLocationsBuilderX86::VisitMemoryPokeLongNative(HInvoke* invoke) {
1761 CreateLongIntToVoidLocations(arena_, Primitive::kPrimLong, invoke);
1762}
1763
1764void IntrinsicCodeGeneratorX86::VisitMemoryPokeLongNative(HInvoke* invoke) {
1765 GenPoke(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
1766}
1767
1768void IntrinsicLocationsBuilderX86::VisitMemoryPokeShortNative(HInvoke* invoke) {
1769 CreateLongIntToVoidLocations(arena_, Primitive::kPrimShort, invoke);
1770}
1771
1772void IntrinsicCodeGeneratorX86::VisitMemoryPokeShortNative(HInvoke* invoke) {
1773 GenPoke(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
1774}
1775
1776void IntrinsicLocationsBuilderX86::VisitThreadCurrentThread(HInvoke* invoke) {
1777 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1778 LocationSummary::kNoCall,
1779 kIntrinsified);
1780 locations->SetOut(Location::RequiresRegister());
1781}
1782
1783void IntrinsicCodeGeneratorX86::VisitThreadCurrentThread(HInvoke* invoke) {
1784 Register out = invoke->GetLocations()->Out().AsRegister<Register>();
1785 GetAssembler()->fs()->movl(out, Address::Absolute(Thread::PeerOffset<kX86WordSize>()));
1786}
1787
Roland Levillain0d5a2812015-11-13 10:07:31 +00001788static void GenUnsafeGet(HInvoke* invoke,
1789 Primitive::Type type,
1790 bool is_volatile,
1791 CodeGeneratorX86* codegen) {
1792 X86Assembler* assembler = down_cast<X86Assembler*>(codegen->GetAssembler());
1793 LocationSummary* locations = invoke->GetLocations();
1794 Location base_loc = locations->InAt(1);
1795 Register base = base_loc.AsRegister<Register>();
1796 Location offset_loc = locations->InAt(2);
1797 Register offset = offset_loc.AsRegisterPairLow<Register>();
1798 Location output_loc = locations->Out();
Mark Mendell09ed1a32015-03-25 08:30:06 -04001799
1800 switch (type) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001801 case Primitive::kPrimInt: {
Roland Levillain0d5a2812015-11-13 10:07:31 +00001802 Register output = output_loc.AsRegister<Register>();
1803 __ movl(output, Address(base, offset, ScaleFactor::TIMES_1, 0));
Roland Levillain7c1559a2015-12-15 10:55:36 +00001804 break;
1805 }
1806
1807 case Primitive::kPrimNot: {
1808 Register output = output_loc.AsRegister<Register>();
1809 if (kEmitCompilerReadBarrier) {
1810 if (kUseBakerReadBarrier) {
1811 Location temp = locations->GetTemp(0);
Sang, Chunlei0fcd2b82016-04-05 17:12:59 +08001812 Address src(base, offset, ScaleFactor::TIMES_1, 0);
1813 codegen->GenerateReferenceLoadWithBakerReadBarrier(
1814 invoke, output_loc, base, src, temp, /* needs_null_check */ false);
Roland Levillain7c1559a2015-12-15 10:55:36 +00001815 } else {
1816 __ movl(output, Address(base, offset, ScaleFactor::TIMES_1, 0));
1817 codegen->GenerateReadBarrierSlow(
1818 invoke, output_loc, output_loc, base_loc, 0U, offset_loc);
1819 }
1820 } else {
1821 __ movl(output, Address(base, offset, ScaleFactor::TIMES_1, 0));
1822 __ MaybeUnpoisonHeapReference(output);
Roland Levillain4d027112015-07-01 15:41:14 +01001823 }
Mark Mendell09ed1a32015-03-25 08:30:06 -04001824 break;
Roland Levillain4d027112015-07-01 15:41:14 +01001825 }
Mark Mendell09ed1a32015-03-25 08:30:06 -04001826
1827 case Primitive::kPrimLong: {
Roland Levillain0d5a2812015-11-13 10:07:31 +00001828 Register output_lo = output_loc.AsRegisterPairLow<Register>();
1829 Register output_hi = output_loc.AsRegisterPairHigh<Register>();
Mark Mendell09ed1a32015-03-25 08:30:06 -04001830 if (is_volatile) {
1831 // Need to use a XMM to read atomically.
1832 XmmRegister temp = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
1833 __ movsd(temp, Address(base, offset, ScaleFactor::TIMES_1, 0));
1834 __ movd(output_lo, temp);
1835 __ psrlq(temp, Immediate(32));
1836 __ movd(output_hi, temp);
1837 } else {
1838 __ movl(output_lo, Address(base, offset, ScaleFactor::TIMES_1, 0));
1839 __ movl(output_hi, Address(base, offset, ScaleFactor::TIMES_1, 4));
1840 }
1841 }
1842 break;
1843
1844 default:
1845 LOG(FATAL) << "Unsupported op size " << type;
1846 UNREACHABLE();
1847 }
1848}
1849
Roland Levillain7c1559a2015-12-15 10:55:36 +00001850static void CreateIntIntIntToIntLocations(ArenaAllocator* arena,
1851 HInvoke* invoke,
1852 Primitive::Type type,
1853 bool is_volatile) {
Roland Levillain0d5a2812015-11-13 10:07:31 +00001854 bool can_call = kEmitCompilerReadBarrier &&
1855 (invoke->GetIntrinsic() == Intrinsics::kUnsafeGetObject ||
1856 invoke->GetIntrinsic() == Intrinsics::kUnsafeGetObjectVolatile);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001857 LocationSummary* locations = new (arena) LocationSummary(invoke,
Roland Levillain0d5a2812015-11-13 10:07:31 +00001858 can_call ?
1859 LocationSummary::kCallOnSlowPath :
1860 LocationSummary::kNoCall,
Mark Mendell09ed1a32015-03-25 08:30:06 -04001861 kIntrinsified);
1862 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1863 locations->SetInAt(1, Location::RequiresRegister());
1864 locations->SetInAt(2, Location::RequiresRegister());
Roland Levillain7c1559a2015-12-15 10:55:36 +00001865 if (type == Primitive::kPrimLong) {
Mark Mendell09ed1a32015-03-25 08:30:06 -04001866 if (is_volatile) {
1867 // Need to use XMM to read volatile.
1868 locations->AddTemp(Location::RequiresFpuRegister());
Roland Levillain3d312422016-06-23 13:53:42 +01001869 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001870 } else {
1871 locations->SetOut(Location::RequiresRegister(), Location::kOutputOverlap);
1872 }
1873 } else {
Roland Levillain3d312422016-06-23 13:53:42 +01001874 locations->SetOut(Location::RequiresRegister(),
1875 can_call ? Location::kOutputOverlap : Location::kNoOutputOverlap);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001876 }
Roland Levillain7c1559a2015-12-15 10:55:36 +00001877 if (type == Primitive::kPrimNot && kEmitCompilerReadBarrier && kUseBakerReadBarrier) {
1878 // We need a temporary register for the read barrier marking slow
Sang, Chunlei0fcd2b82016-04-05 17:12:59 +08001879 // path in InstructionCodeGeneratorX86::GenerateReferenceLoadWithBakerReadBarrier.
Roland Levillain7c1559a2015-12-15 10:55:36 +00001880 locations->AddTemp(Location::RequiresRegister());
1881 }
Mark Mendell09ed1a32015-03-25 08:30:06 -04001882}
1883
1884void IntrinsicLocationsBuilderX86::VisitUnsafeGet(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001885 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimInt, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001886}
1887void IntrinsicLocationsBuilderX86::VisitUnsafeGetVolatile(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001888 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimInt, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001889}
1890void IntrinsicLocationsBuilderX86::VisitUnsafeGetLong(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001891 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimLong, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001892}
1893void IntrinsicLocationsBuilderX86::VisitUnsafeGetLongVolatile(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001894 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimLong, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001895}
1896void IntrinsicLocationsBuilderX86::VisitUnsafeGetObject(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001897 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimNot, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001898}
1899void IntrinsicLocationsBuilderX86::VisitUnsafeGetObjectVolatile(HInvoke* invoke) {
Roland Levillain7c1559a2015-12-15 10:55:36 +00001900 CreateIntIntIntToIntLocations(arena_, invoke, Primitive::kPrimNot, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001901}
1902
1903
1904void IntrinsicCodeGeneratorX86::VisitUnsafeGet(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001905 GenUnsafeGet(invoke, Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001906}
1907void IntrinsicCodeGeneratorX86::VisitUnsafeGetVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001908 GenUnsafeGet(invoke, Primitive::kPrimInt, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001909}
1910void IntrinsicCodeGeneratorX86::VisitUnsafeGetLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001911 GenUnsafeGet(invoke, Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001912}
1913void IntrinsicCodeGeneratorX86::VisitUnsafeGetLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001914 GenUnsafeGet(invoke, Primitive::kPrimLong, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001915}
1916void IntrinsicCodeGeneratorX86::VisitUnsafeGetObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001917 GenUnsafeGet(invoke, Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001918}
1919void IntrinsicCodeGeneratorX86::VisitUnsafeGetObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001920 GenUnsafeGet(invoke, Primitive::kPrimNot, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001921}
1922
1923
1924static void CreateIntIntIntIntToVoidPlusTempsLocations(ArenaAllocator* arena,
1925 Primitive::Type type,
1926 HInvoke* invoke,
1927 bool is_volatile) {
1928 LocationSummary* locations = new (arena) LocationSummary(invoke,
1929 LocationSummary::kNoCall,
1930 kIntrinsified);
1931 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1932 locations->SetInAt(1, Location::RequiresRegister());
1933 locations->SetInAt(2, Location::RequiresRegister());
1934 locations->SetInAt(3, Location::RequiresRegister());
1935 if (type == Primitive::kPrimNot) {
1936 // Need temp registers for card-marking.
Roland Levillain4d027112015-07-01 15:41:14 +01001937 locations->AddTemp(Location::RequiresRegister()); // Possibly used for reference poisoning too.
Mark Mendell09ed1a32015-03-25 08:30:06 -04001938 // Ensure the value is in a byte register.
1939 locations->AddTemp(Location::RegisterLocation(ECX));
1940 } else if (type == Primitive::kPrimLong && is_volatile) {
1941 locations->AddTemp(Location::RequiresFpuRegister());
1942 locations->AddTemp(Location::RequiresFpuRegister());
1943 }
1944}
1945
1946void IntrinsicLocationsBuilderX86::VisitUnsafePut(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001947 CreateIntIntIntIntToVoidPlusTempsLocations(
1948 arena_, Primitive::kPrimInt, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001949}
1950void IntrinsicLocationsBuilderX86::VisitUnsafePutOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001951 CreateIntIntIntIntToVoidPlusTempsLocations(
1952 arena_, Primitive::kPrimInt, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001953}
1954void IntrinsicLocationsBuilderX86::VisitUnsafePutVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001955 CreateIntIntIntIntToVoidPlusTempsLocations(
1956 arena_, Primitive::kPrimInt, invoke, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001957}
1958void IntrinsicLocationsBuilderX86::VisitUnsafePutObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001959 CreateIntIntIntIntToVoidPlusTempsLocations(
1960 arena_, Primitive::kPrimNot, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001961}
1962void IntrinsicLocationsBuilderX86::VisitUnsafePutObjectOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001963 CreateIntIntIntIntToVoidPlusTempsLocations(
1964 arena_, Primitive::kPrimNot, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001965}
1966void IntrinsicLocationsBuilderX86::VisitUnsafePutObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001967 CreateIntIntIntIntToVoidPlusTempsLocations(
1968 arena_, Primitive::kPrimNot, invoke, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001969}
1970void IntrinsicLocationsBuilderX86::VisitUnsafePutLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001971 CreateIntIntIntIntToVoidPlusTempsLocations(
1972 arena_, Primitive::kPrimLong, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001973}
1974void IntrinsicLocationsBuilderX86::VisitUnsafePutLongOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001975 CreateIntIntIntIntToVoidPlusTempsLocations(
1976 arena_, Primitive::kPrimLong, invoke, /* is_volatile */ false);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001977}
1978void IntrinsicLocationsBuilderX86::VisitUnsafePutLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001979 CreateIntIntIntIntToVoidPlusTempsLocations(
1980 arena_, Primitive::kPrimLong, invoke, /* is_volatile */ true);
Mark Mendell09ed1a32015-03-25 08:30:06 -04001981}
1982
1983// We don't care for ordered: it requires an AnyStore barrier, which is already given by the x86
1984// memory model.
1985static void GenUnsafePut(LocationSummary* locations,
1986 Primitive::Type type,
1987 bool is_volatile,
1988 CodeGeneratorX86* codegen) {
Roland Levillainb488b782015-10-22 11:38:49 +01001989 X86Assembler* assembler = down_cast<X86Assembler*>(codegen->GetAssembler());
Mark Mendell09ed1a32015-03-25 08:30:06 -04001990 Register base = locations->InAt(1).AsRegister<Register>();
1991 Register offset = locations->InAt(2).AsRegisterPairLow<Register>();
1992 Location value_loc = locations->InAt(3);
1993
1994 if (type == Primitive::kPrimLong) {
1995 Register value_lo = value_loc.AsRegisterPairLow<Register>();
1996 Register value_hi = value_loc.AsRegisterPairHigh<Register>();
1997 if (is_volatile) {
1998 XmmRegister temp1 = locations->GetTemp(0).AsFpuRegister<XmmRegister>();
1999 XmmRegister temp2 = locations->GetTemp(1).AsFpuRegister<XmmRegister>();
2000 __ movd(temp1, value_lo);
2001 __ movd(temp2, value_hi);
2002 __ punpckldq(temp1, temp2);
2003 __ movsd(Address(base, offset, ScaleFactor::TIMES_1, 0), temp1);
2004 } else {
2005 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 0), value_lo);
2006 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 4), value_hi);
2007 }
Roland Levillain4d027112015-07-01 15:41:14 +01002008 } else if (kPoisonHeapReferences && type == Primitive::kPrimNot) {
2009 Register temp = locations->GetTemp(0).AsRegister<Register>();
2010 __ movl(temp, value_loc.AsRegister<Register>());
2011 __ PoisonHeapReference(temp);
2012 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 0), temp);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002013 } else {
2014 __ movl(Address(base, offset, ScaleFactor::TIMES_1, 0), value_loc.AsRegister<Register>());
2015 }
2016
2017 if (is_volatile) {
Mark P Mendell17077d82015-12-16 19:15:59 +00002018 codegen->MemoryFence();
Mark Mendell09ed1a32015-03-25 08:30:06 -04002019 }
2020
2021 if (type == Primitive::kPrimNot) {
Nicolas Geoffray07276db2015-05-18 14:22:09 +01002022 bool value_can_be_null = true; // TODO: Worth finding out this information?
Mark Mendell09ed1a32015-03-25 08:30:06 -04002023 codegen->MarkGCCard(locations->GetTemp(0).AsRegister<Register>(),
2024 locations->GetTemp(1).AsRegister<Register>(),
2025 base,
Nicolas Geoffray07276db2015-05-18 14:22:09 +01002026 value_loc.AsRegister<Register>(),
2027 value_can_be_null);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002028 }
2029}
2030
2031void IntrinsicCodeGeneratorX86::VisitUnsafePut(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002032 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002033}
2034void IntrinsicCodeGeneratorX86::VisitUnsafePutOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002035 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002036}
2037void IntrinsicCodeGeneratorX86::VisitUnsafePutVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002038 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimInt, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002039}
2040void IntrinsicCodeGeneratorX86::VisitUnsafePutObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002041 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002042}
2043void IntrinsicCodeGeneratorX86::VisitUnsafePutObjectOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002044 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002045}
2046void IntrinsicCodeGeneratorX86::VisitUnsafePutObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002047 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimNot, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002048}
2049void IntrinsicCodeGeneratorX86::VisitUnsafePutLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002050 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002051}
2052void IntrinsicCodeGeneratorX86::VisitUnsafePutLongOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002053 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002054}
2055void IntrinsicCodeGeneratorX86::VisitUnsafePutLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00002056 GenUnsafePut(invoke->GetLocations(), Primitive::kPrimLong, /* is_volatile */ true, codegen_);
Mark Mendell09ed1a32015-03-25 08:30:06 -04002057}
2058
Mark Mendell58d25fd2015-04-03 14:52:31 -04002059static void CreateIntIntIntIntIntToInt(ArenaAllocator* arena, Primitive::Type type,
2060 HInvoke* invoke) {
2061 LocationSummary* locations = new (arena) LocationSummary(invoke,
2062 LocationSummary::kNoCall,
2063 kIntrinsified);
2064 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
2065 locations->SetInAt(1, Location::RequiresRegister());
2066 // Offset is a long, but in 32 bit mode, we only need the low word.
2067 // Can we update the invoke here to remove a TypeConvert to Long?
2068 locations->SetInAt(2, Location::RequiresRegister());
2069 // Expected value must be in EAX or EDX:EAX.
2070 // For long, new value must be in ECX:EBX.
2071 if (type == Primitive::kPrimLong) {
2072 locations->SetInAt(3, Location::RegisterPairLocation(EAX, EDX));
2073 locations->SetInAt(4, Location::RegisterPairLocation(EBX, ECX));
2074 } else {
2075 locations->SetInAt(3, Location::RegisterLocation(EAX));
2076 locations->SetInAt(4, Location::RequiresRegister());
2077 }
2078
2079 // Force a byte register for the output.
2080 locations->SetOut(Location::RegisterLocation(EAX));
2081 if (type == Primitive::kPrimNot) {
2082 // Need temp registers for card-marking.
Roland Levillainb488b782015-10-22 11:38:49 +01002083 locations->AddTemp(Location::RequiresRegister()); // Possibly used for reference poisoning too.
Mark Mendell58d25fd2015-04-03 14:52:31 -04002084 // Need a byte register for marking.
2085 locations->AddTemp(Location::RegisterLocation(ECX));
2086 }
2087}
2088
2089void IntrinsicLocationsBuilderX86::VisitUnsafeCASInt(HInvoke* invoke) {
2090 CreateIntIntIntIntIntToInt(arena_, Primitive::kPrimInt, invoke);
2091}
2092
2093void IntrinsicLocationsBuilderX86::VisitUnsafeCASLong(HInvoke* invoke) {
2094 CreateIntIntIntIntIntToInt(arena_, Primitive::kPrimLong, invoke);
2095}
2096
2097void IntrinsicLocationsBuilderX86::VisitUnsafeCASObject(HInvoke* invoke) {
Roland Levillain391b8662015-12-18 11:43:38 +00002098 // The UnsafeCASObject intrinsic is missing a read barrier, and
2099 // therefore sometimes does not work as expected (b/25883050).
2100 // Turn it off temporarily as a quick fix, until the read barrier is
Roland Levillain3d312422016-06-23 13:53:42 +01002101 // implemented (see TODO in GenCAS).
Roland Levillain391b8662015-12-18 11:43:38 +00002102 //
Roland Levillain3d312422016-06-23 13:53:42 +01002103 // TODO(rpl): Implement read barrier support in GenCAS and re-enable
Roland Levillain391b8662015-12-18 11:43:38 +00002104 // this intrinsic.
2105 if (kEmitCompilerReadBarrier) {
2106 return;
2107 }
2108
Mark Mendell58d25fd2015-04-03 14:52:31 -04002109 CreateIntIntIntIntIntToInt(arena_, Primitive::kPrimNot, invoke);
2110}
2111
2112static void GenCAS(Primitive::Type type, HInvoke* invoke, CodeGeneratorX86* codegen) {
Roland Levillainb488b782015-10-22 11:38:49 +01002113 X86Assembler* assembler = down_cast<X86Assembler*>(codegen->GetAssembler());
Mark Mendell58d25fd2015-04-03 14:52:31 -04002114 LocationSummary* locations = invoke->GetLocations();
2115
2116 Register base = locations->InAt(1).AsRegister<Register>();
2117 Register offset = locations->InAt(2).AsRegisterPairLow<Register>();
2118 Location out = locations->Out();
2119 DCHECK_EQ(out.AsRegister<Register>(), EAX);
2120
Roland Levillainb488b782015-10-22 11:38:49 +01002121 if (type == Primitive::kPrimNot) {
Roland Levillain4d027112015-07-01 15:41:14 +01002122 Register expected = locations->InAt(3).AsRegister<Register>();
Roland Levillainb488b782015-10-22 11:38:49 +01002123 // Ensure `expected` is in EAX (required by the CMPXCHG instruction).
Roland Levillain4d027112015-07-01 15:41:14 +01002124 DCHECK_EQ(expected, EAX);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002125 Register value = locations->InAt(4).AsRegister<Register>();
Roland Levillain4d027112015-07-01 15:41:14 +01002126
Roland Levillainb488b782015-10-22 11:38:49 +01002127 // Mark card for object assuming new value is stored.
2128 bool value_can_be_null = true; // TODO: Worth finding out this information?
2129 codegen->MarkGCCard(locations->GetTemp(0).AsRegister<Register>(),
2130 locations->GetTemp(1).AsRegister<Register>(),
2131 base,
2132 value,
2133 value_can_be_null);
2134
2135 bool base_equals_value = (base == value);
2136 if (kPoisonHeapReferences) {
2137 if (base_equals_value) {
2138 // If `base` and `value` are the same register location, move
2139 // `value` to a temporary register. This way, poisoning
2140 // `value` won't invalidate `base`.
2141 value = locations->GetTemp(0).AsRegister<Register>();
2142 __ movl(value, base);
Roland Levillain4d027112015-07-01 15:41:14 +01002143 }
Roland Levillainb488b782015-10-22 11:38:49 +01002144
2145 // Check that the register allocator did not assign the location
2146 // of `expected` (EAX) to `value` nor to `base`, so that heap
2147 // poisoning (when enabled) works as intended below.
2148 // - If `value` were equal to `expected`, both references would
2149 // be poisoned twice, meaning they would not be poisoned at
2150 // all, as heap poisoning uses address negation.
2151 // - If `base` were equal to `expected`, poisoning `expected`
2152 // would invalidate `base`.
2153 DCHECK_NE(value, expected);
2154 DCHECK_NE(base, expected);
2155
2156 __ PoisonHeapReference(expected);
2157 __ PoisonHeapReference(value);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002158 }
2159
Roland Levillain391b8662015-12-18 11:43:38 +00002160 // TODO: Add a read barrier for the reference stored in the object
2161 // before attempting the CAS, similar to the one in the
2162 // art::Unsafe_compareAndSwapObject JNI implementation.
2163 //
2164 // Note that this code is not (yet) used when read barriers are
2165 // enabled (see IntrinsicLocationsBuilderX86::VisitUnsafeCASObject).
2166 DCHECK(!kEmitCompilerReadBarrier);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002167 __ LockCmpxchgl(Address(base, offset, TIMES_1, 0), value);
Mark Mendell58d25fd2015-04-03 14:52:31 -04002168
Roland Levillain0d5a2812015-11-13 10:07:31 +00002169 // LOCK CMPXCHG has full barrier semantics, and we don't need
Roland Levillainb488b782015-10-22 11:38:49 +01002170 // scheduling barriers at this time.
Mark Mendell58d25fd2015-04-03 14:52:31 -04002171
Roland Levillainb488b782015-10-22 11:38:49 +01002172 // Convert ZF into the boolean result.
2173 __ setb(kZero, out.AsRegister<Register>());
2174 __ movzxb(out.AsRegister<Register>(), out.AsRegister<ByteRegister>());
Roland Levillain4d027112015-07-01 15:41:14 +01002175
Roland Levillain391b8662015-12-18 11:43:38 +00002176 // If heap poisoning is enabled, we need to unpoison the values
2177 // that were poisoned earlier.
Roland Levillainb488b782015-10-22 11:38:49 +01002178 if (kPoisonHeapReferences) {
2179 if (base_equals_value) {
2180 // `value` has been moved to a temporary register, no need to
2181 // unpoison it.
2182 } else {
2183 // Ensure `value` is different from `out`, so that unpoisoning
2184 // the former does not invalidate the latter.
2185 DCHECK_NE(value, out.AsRegister<Register>());
2186 __ UnpoisonHeapReference(value);
2187 }
2188 // Do not unpoison the reference contained in register
2189 // `expected`, as it is the same as register `out` (EAX).
2190 }
2191 } else {
2192 if (type == Primitive::kPrimInt) {
2193 // Ensure the expected value is in EAX (required by the CMPXCHG
2194 // instruction).
2195 DCHECK_EQ(locations->InAt(3).AsRegister<Register>(), EAX);
2196 __ LockCmpxchgl(Address(base, offset, TIMES_1, 0),
2197 locations->InAt(4).AsRegister<Register>());
2198 } else if (type == Primitive::kPrimLong) {
2199 // Ensure the expected value is in EAX:EDX and that the new
2200 // value is in EBX:ECX (required by the CMPXCHG8B instruction).
2201 DCHECK_EQ(locations->InAt(3).AsRegisterPairLow<Register>(), EAX);
2202 DCHECK_EQ(locations->InAt(3).AsRegisterPairHigh<Register>(), EDX);
2203 DCHECK_EQ(locations->InAt(4).AsRegisterPairLow<Register>(), EBX);
2204 DCHECK_EQ(locations->InAt(4).AsRegisterPairHigh<Register>(), ECX);
2205 __ LockCmpxchg8b(Address(base, offset, TIMES_1, 0));
2206 } else {
2207 LOG(FATAL) << "Unexpected CAS type " << type;
2208 }
2209
Roland Levillain0d5a2812015-11-13 10:07:31 +00002210 // LOCK CMPXCHG/LOCK CMPXCHG8B have full barrier semantics, and we
2211 // don't need scheduling barriers at this time.
Roland Levillainb488b782015-10-22 11:38:49 +01002212
2213 // Convert ZF into the boolean result.
2214 __ setb(kZero, out.AsRegister<Register>());
2215 __ movzxb(out.AsRegister<Register>(), out.AsRegister<ByteRegister>());
Roland Levillain4d027112015-07-01 15:41:14 +01002216 }
Mark Mendell58d25fd2015-04-03 14:52:31 -04002217}
2218
2219void IntrinsicCodeGeneratorX86::VisitUnsafeCASInt(HInvoke* invoke) {
2220 GenCAS(Primitive::kPrimInt, invoke, codegen_);
2221}
2222
2223void IntrinsicCodeGeneratorX86::VisitUnsafeCASLong(HInvoke* invoke) {
2224 GenCAS(Primitive::kPrimLong, invoke, codegen_);
2225}
2226
2227void IntrinsicCodeGeneratorX86::VisitUnsafeCASObject(HInvoke* invoke) {
Roland Levillain3d312422016-06-23 13:53:42 +01002228 // The UnsafeCASObject intrinsic is missing a read barrier, and
2229 // therefore sometimes does not work as expected (b/25883050).
2230 // Turn it off temporarily as a quick fix, until the read barrier is
2231 // implemented (see TODO in GenCAS).
2232 //
2233 // TODO(rpl): Implement read barrier support in GenCAS and re-enable
2234 // this intrinsic.
2235 DCHECK(!kEmitCompilerReadBarrier);
2236
Mark Mendell58d25fd2015-04-03 14:52:31 -04002237 GenCAS(Primitive::kPrimNot, invoke, codegen_);
2238}
2239
2240void IntrinsicLocationsBuilderX86::VisitIntegerReverse(HInvoke* invoke) {
2241 LocationSummary* locations = new (arena_) LocationSummary(invoke,
2242 LocationSummary::kNoCall,
2243 kIntrinsified);
2244 locations->SetInAt(0, Location::RequiresRegister());
2245 locations->SetOut(Location::SameAsFirstInput());
2246 locations->AddTemp(Location::RequiresRegister());
2247}
2248
2249static void SwapBits(Register reg, Register temp, int32_t shift, int32_t mask,
2250 X86Assembler* assembler) {
2251 Immediate imm_shift(shift);
2252 Immediate imm_mask(mask);
2253 __ movl(temp, reg);
2254 __ shrl(reg, imm_shift);
2255 __ andl(temp, imm_mask);
2256 __ andl(reg, imm_mask);
2257 __ shll(temp, imm_shift);
2258 __ orl(reg, temp);
2259}
2260
2261void IntrinsicCodeGeneratorX86::VisitIntegerReverse(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002262 X86Assembler* assembler = GetAssembler();
Mark Mendell58d25fd2015-04-03 14:52:31 -04002263 LocationSummary* locations = invoke->GetLocations();
2264
2265 Register reg = locations->InAt(0).AsRegister<Register>();
2266 Register temp = locations->GetTemp(0).AsRegister<Register>();
2267
2268 /*
2269 * Use one bswap instruction to reverse byte order first and then use 3 rounds of
2270 * swapping bits to reverse bits in a number x. Using bswap to save instructions
2271 * compared to generic luni implementation which has 5 rounds of swapping bits.
2272 * x = bswap x
2273 * x = (x & 0x55555555) << 1 | (x >> 1) & 0x55555555;
2274 * x = (x & 0x33333333) << 2 | (x >> 2) & 0x33333333;
2275 * x = (x & 0x0F0F0F0F) << 4 | (x >> 4) & 0x0F0F0F0F;
2276 */
2277 __ bswapl(reg);
2278 SwapBits(reg, temp, 1, 0x55555555, assembler);
2279 SwapBits(reg, temp, 2, 0x33333333, assembler);
2280 SwapBits(reg, temp, 4, 0x0f0f0f0f, assembler);
2281}
2282
2283void IntrinsicLocationsBuilderX86::VisitLongReverse(HInvoke* invoke) {
2284 LocationSummary* locations = new (arena_) LocationSummary(invoke,
2285 LocationSummary::kNoCall,
2286 kIntrinsified);
2287 locations->SetInAt(0, Location::RequiresRegister());
2288 locations->SetOut(Location::SameAsFirstInput());
2289 locations->AddTemp(Location::RequiresRegister());
2290}
2291
2292void IntrinsicCodeGeneratorX86::VisitLongReverse(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002293 X86Assembler* assembler = GetAssembler();
Mark Mendell58d25fd2015-04-03 14:52:31 -04002294 LocationSummary* locations = invoke->GetLocations();
2295
2296 Register reg_low = locations->InAt(0).AsRegisterPairLow<Register>();
2297 Register reg_high = locations->InAt(0).AsRegisterPairHigh<Register>();
2298 Register temp = locations->GetTemp(0).AsRegister<Register>();
2299
2300 // We want to swap high/low, then bswap each one, and then do the same
2301 // as a 32 bit reverse.
2302 // Exchange high and low.
2303 __ movl(temp, reg_low);
2304 __ movl(reg_low, reg_high);
2305 __ movl(reg_high, temp);
2306
2307 // bit-reverse low
2308 __ bswapl(reg_low);
2309 SwapBits(reg_low, temp, 1, 0x55555555, assembler);
2310 SwapBits(reg_low, temp, 2, 0x33333333, assembler);
2311 SwapBits(reg_low, temp, 4, 0x0f0f0f0f, assembler);
2312
2313 // bit-reverse high
2314 __ bswapl(reg_high);
2315 SwapBits(reg_high, temp, 1, 0x55555555, assembler);
2316 SwapBits(reg_high, temp, 2, 0x33333333, assembler);
2317 SwapBits(reg_high, temp, 4, 0x0f0f0f0f, assembler);
2318}
2319
Aart Bikc39dac12016-01-21 08:59:48 -08002320static void CreateBitCountLocations(
2321 ArenaAllocator* arena, CodeGeneratorX86* codegen, HInvoke* invoke, bool is_long) {
2322 if (!codegen->GetInstructionSetFeatures().HasPopCnt()) {
2323 // Do nothing if there is no popcnt support. This results in generating
2324 // a call for the intrinsic rather than direct code.
2325 return;
2326 }
2327 LocationSummary* locations = new (arena) LocationSummary(invoke,
2328 LocationSummary::kNoCall,
2329 kIntrinsified);
2330 if (is_long) {
Aart Bikc39dac12016-01-21 08:59:48 -08002331 locations->AddTemp(Location::RequiresRegister());
Aart Bikc39dac12016-01-21 08:59:48 -08002332 }
Aart Bik2a946072016-01-21 12:49:00 -08002333 locations->SetInAt(0, Location::Any());
Aart Bikc39dac12016-01-21 08:59:48 -08002334 locations->SetOut(Location::RequiresRegister());
2335}
2336
Aart Bika19616e2016-02-01 18:57:58 -08002337static void GenBitCount(X86Assembler* assembler,
2338 CodeGeneratorX86* codegen,
2339 HInvoke* invoke, bool is_long) {
Aart Bikc39dac12016-01-21 08:59:48 -08002340 LocationSummary* locations = invoke->GetLocations();
2341 Location src = locations->InAt(0);
2342 Register out = locations->Out().AsRegister<Register>();
2343
2344 if (invoke->InputAt(0)->IsConstant()) {
2345 // Evaluate this at compile time.
2346 int64_t value = Int64FromConstant(invoke->InputAt(0)->AsConstant());
Roland Levillainfa3912e2016-04-01 18:21:55 +01002347 int32_t result = is_long
Aart Bikc39dac12016-01-21 08:59:48 -08002348 ? POPCOUNT(static_cast<uint64_t>(value))
2349 : POPCOUNT(static_cast<uint32_t>(value));
Roland Levillainfa3912e2016-04-01 18:21:55 +01002350 codegen->Load32BitValue(out, result);
Aart Bikc39dac12016-01-21 08:59:48 -08002351 return;
2352 }
2353
2354 // Handle the non-constant cases.
2355 if (!is_long) {
2356 if (src.IsRegister()) {
2357 __ popcntl(out, src.AsRegister<Register>());
2358 } else {
2359 DCHECK(src.IsStackSlot());
2360 __ popcntl(out, Address(ESP, src.GetStackIndex()));
2361 }
Aart Bik2a946072016-01-21 12:49:00 -08002362 } else {
2363 // The 64-bit case needs to worry about two parts.
2364 Register temp = locations->GetTemp(0).AsRegister<Register>();
2365 if (src.IsRegisterPair()) {
2366 __ popcntl(temp, src.AsRegisterPairLow<Register>());
2367 __ popcntl(out, src.AsRegisterPairHigh<Register>());
2368 } else {
2369 DCHECK(src.IsDoubleStackSlot());
2370 __ popcntl(temp, Address(ESP, src.GetStackIndex()));
2371 __ popcntl(out, Address(ESP, src.GetHighStackIndex(kX86WordSize)));
2372 }
2373 __ addl(out, temp);
Aart Bikc39dac12016-01-21 08:59:48 -08002374 }
Aart Bikc39dac12016-01-21 08:59:48 -08002375}
2376
2377void IntrinsicLocationsBuilderX86::VisitIntegerBitCount(HInvoke* invoke) {
2378 CreateBitCountLocations(arena_, codegen_, invoke, /* is_long */ false);
2379}
2380
2381void IntrinsicCodeGeneratorX86::VisitIntegerBitCount(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002382 GenBitCount(GetAssembler(), codegen_, invoke, /* is_long */ false);
Aart Bikc39dac12016-01-21 08:59:48 -08002383}
2384
2385void IntrinsicLocationsBuilderX86::VisitLongBitCount(HInvoke* invoke) {
2386 CreateBitCountLocations(arena_, codegen_, invoke, /* is_long */ true);
2387}
2388
2389void IntrinsicCodeGeneratorX86::VisitLongBitCount(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002390 GenBitCount(GetAssembler(), codegen_, invoke, /* is_long */ true);
Aart Bikc39dac12016-01-21 08:59:48 -08002391}
2392
Mark Mendelld5897672015-08-12 21:16:41 -04002393static void CreateLeadingZeroLocations(ArenaAllocator* arena, HInvoke* invoke, bool is_long) {
2394 LocationSummary* locations = new (arena) LocationSummary(invoke,
2395 LocationSummary::kNoCall,
2396 kIntrinsified);
2397 if (is_long) {
2398 locations->SetInAt(0, Location::RequiresRegister());
2399 } else {
2400 locations->SetInAt(0, Location::Any());
2401 }
2402 locations->SetOut(Location::RequiresRegister());
2403}
2404
Aart Bika19616e2016-02-01 18:57:58 -08002405static void GenLeadingZeros(X86Assembler* assembler,
2406 CodeGeneratorX86* codegen,
2407 HInvoke* invoke, bool is_long) {
Mark Mendelld5897672015-08-12 21:16:41 -04002408 LocationSummary* locations = invoke->GetLocations();
2409 Location src = locations->InAt(0);
2410 Register out = locations->Out().AsRegister<Register>();
2411
2412 if (invoke->InputAt(0)->IsConstant()) {
2413 // Evaluate this at compile time.
2414 int64_t value = Int64FromConstant(invoke->InputAt(0)->AsConstant());
2415 if (value == 0) {
2416 value = is_long ? 64 : 32;
2417 } else {
2418 value = is_long ? CLZ(static_cast<uint64_t>(value)) : CLZ(static_cast<uint32_t>(value));
2419 }
Aart Bika19616e2016-02-01 18:57:58 -08002420 codegen->Load32BitValue(out, value);
Mark Mendelld5897672015-08-12 21:16:41 -04002421 return;
2422 }
2423
2424 // Handle the non-constant cases.
2425 if (!is_long) {
2426 if (src.IsRegister()) {
2427 __ bsrl(out, src.AsRegister<Register>());
2428 } else {
2429 DCHECK(src.IsStackSlot());
2430 __ bsrl(out, Address(ESP, src.GetStackIndex()));
2431 }
2432
2433 // BSR sets ZF if the input was zero, and the output is undefined.
Mark Mendell0c9497d2015-08-21 09:30:05 -04002434 NearLabel all_zeroes, done;
Mark Mendelld5897672015-08-12 21:16:41 -04002435 __ j(kEqual, &all_zeroes);
2436
2437 // Correct the result from BSR to get the final CLZ result.
2438 __ xorl(out, Immediate(31));
2439 __ jmp(&done);
2440
2441 // Fix the zero case with the expected result.
2442 __ Bind(&all_zeroes);
2443 __ movl(out, Immediate(32));
2444
2445 __ Bind(&done);
2446 return;
2447 }
2448
2449 // 64 bit case needs to worry about both parts of the register.
2450 DCHECK(src.IsRegisterPair());
2451 Register src_lo = src.AsRegisterPairLow<Register>();
2452 Register src_hi = src.AsRegisterPairHigh<Register>();
Mark Mendell0c9497d2015-08-21 09:30:05 -04002453 NearLabel handle_low, done, all_zeroes;
Mark Mendelld5897672015-08-12 21:16:41 -04002454
2455 // Is the high word zero?
2456 __ testl(src_hi, src_hi);
2457 __ j(kEqual, &handle_low);
2458
2459 // High word is not zero. We know that the BSR result is defined in this case.
2460 __ bsrl(out, src_hi);
2461
2462 // Correct the result from BSR to get the final CLZ result.
2463 __ xorl(out, Immediate(31));
2464 __ jmp(&done);
2465
2466 // High word was zero. We have to compute the low word count and add 32.
2467 __ Bind(&handle_low);
2468 __ bsrl(out, src_lo);
2469 __ j(kEqual, &all_zeroes);
2470
2471 // We had a valid result. Use an XOR to both correct the result and add 32.
2472 __ xorl(out, Immediate(63));
2473 __ jmp(&done);
2474
2475 // All zero case.
2476 __ Bind(&all_zeroes);
2477 __ movl(out, Immediate(64));
2478
2479 __ Bind(&done);
2480}
2481
2482void IntrinsicLocationsBuilderX86::VisitIntegerNumberOfLeadingZeros(HInvoke* invoke) {
2483 CreateLeadingZeroLocations(arena_, invoke, /* is_long */ false);
2484}
2485
2486void IntrinsicCodeGeneratorX86::VisitIntegerNumberOfLeadingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002487 GenLeadingZeros(GetAssembler(), codegen_, invoke, /* is_long */ false);
Mark Mendelld5897672015-08-12 21:16:41 -04002488}
2489
2490void IntrinsicLocationsBuilderX86::VisitLongNumberOfLeadingZeros(HInvoke* invoke) {
2491 CreateLeadingZeroLocations(arena_, invoke, /* is_long */ true);
2492}
2493
2494void IntrinsicCodeGeneratorX86::VisitLongNumberOfLeadingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002495 GenLeadingZeros(GetAssembler(), codegen_, invoke, /* is_long */ true);
Mark Mendelld5897672015-08-12 21:16:41 -04002496}
2497
Mark Mendell2d554792015-09-15 21:45:18 -04002498static void CreateTrailingZeroLocations(ArenaAllocator* arena, HInvoke* invoke, bool is_long) {
2499 LocationSummary* locations = new (arena) LocationSummary(invoke,
2500 LocationSummary::kNoCall,
2501 kIntrinsified);
2502 if (is_long) {
2503 locations->SetInAt(0, Location::RequiresRegister());
2504 } else {
2505 locations->SetInAt(0, Location::Any());
2506 }
2507 locations->SetOut(Location::RequiresRegister());
2508}
2509
Aart Bika19616e2016-02-01 18:57:58 -08002510static void GenTrailingZeros(X86Assembler* assembler,
2511 CodeGeneratorX86* codegen,
2512 HInvoke* invoke, bool is_long) {
Mark Mendell2d554792015-09-15 21:45:18 -04002513 LocationSummary* locations = invoke->GetLocations();
2514 Location src = locations->InAt(0);
2515 Register out = locations->Out().AsRegister<Register>();
2516
2517 if (invoke->InputAt(0)->IsConstant()) {
2518 // Evaluate this at compile time.
2519 int64_t value = Int64FromConstant(invoke->InputAt(0)->AsConstant());
2520 if (value == 0) {
2521 value = is_long ? 64 : 32;
2522 } else {
2523 value = is_long ? CTZ(static_cast<uint64_t>(value)) : CTZ(static_cast<uint32_t>(value));
2524 }
Aart Bika19616e2016-02-01 18:57:58 -08002525 codegen->Load32BitValue(out, value);
Mark Mendell2d554792015-09-15 21:45:18 -04002526 return;
2527 }
2528
2529 // Handle the non-constant cases.
2530 if (!is_long) {
2531 if (src.IsRegister()) {
2532 __ bsfl(out, src.AsRegister<Register>());
2533 } else {
2534 DCHECK(src.IsStackSlot());
2535 __ bsfl(out, Address(ESP, src.GetStackIndex()));
2536 }
2537
2538 // BSF sets ZF if the input was zero, and the output is undefined.
2539 NearLabel done;
2540 __ j(kNotEqual, &done);
2541
2542 // Fix the zero case with the expected result.
2543 __ movl(out, Immediate(32));
2544
2545 __ Bind(&done);
2546 return;
2547 }
2548
2549 // 64 bit case needs to worry about both parts of the register.
2550 DCHECK(src.IsRegisterPair());
2551 Register src_lo = src.AsRegisterPairLow<Register>();
2552 Register src_hi = src.AsRegisterPairHigh<Register>();
2553 NearLabel done, all_zeroes;
2554
2555 // If the low word is zero, then ZF will be set. If not, we have the answer.
2556 __ bsfl(out, src_lo);
2557 __ j(kNotEqual, &done);
2558
2559 // Low word was zero. We have to compute the high word count and add 32.
2560 __ bsfl(out, src_hi);
2561 __ j(kEqual, &all_zeroes);
2562
2563 // We had a valid result. Add 32 to account for the low word being zero.
2564 __ addl(out, Immediate(32));
2565 __ jmp(&done);
2566
2567 // All zero case.
2568 __ Bind(&all_zeroes);
2569 __ movl(out, Immediate(64));
2570
2571 __ Bind(&done);
2572}
2573
2574void IntrinsicLocationsBuilderX86::VisitIntegerNumberOfTrailingZeros(HInvoke* invoke) {
2575 CreateTrailingZeroLocations(arena_, invoke, /* is_long */ false);
2576}
2577
2578void IntrinsicCodeGeneratorX86::VisitIntegerNumberOfTrailingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002579 GenTrailingZeros(GetAssembler(), codegen_, invoke, /* is_long */ false);
Mark Mendell2d554792015-09-15 21:45:18 -04002580}
2581
2582void IntrinsicLocationsBuilderX86::VisitLongNumberOfTrailingZeros(HInvoke* invoke) {
2583 CreateTrailingZeroLocations(arena_, invoke, /* is_long */ true);
2584}
2585
2586void IntrinsicCodeGeneratorX86::VisitLongNumberOfTrailingZeros(HInvoke* invoke) {
Aart Bika19616e2016-02-01 18:57:58 -08002587 GenTrailingZeros(GetAssembler(), codegen_, invoke, /* is_long */ true);
Mark Mendell2d554792015-09-15 21:45:18 -04002588}
2589
Serguei Katkov288c7a82016-05-16 11:53:15 +06002590void IntrinsicLocationsBuilderX86::VisitReferenceGetReferent(HInvoke* invoke) {
2591 if (kEmitCompilerReadBarrier) {
2592 // Do not intrinsify this call with the read barrier configuration.
2593 return;
2594 }
2595 LocationSummary* locations = new (arena_) LocationSummary(invoke,
2596 LocationSummary::kCallOnSlowPath,
2597 kIntrinsified);
2598 locations->SetInAt(0, Location::RequiresRegister());
2599 locations->SetOut(Location::SameAsFirstInput());
2600 locations->AddTemp(Location::RequiresRegister());
2601}
2602
2603void IntrinsicCodeGeneratorX86::VisitReferenceGetReferent(HInvoke* invoke) {
2604 DCHECK(!kEmitCompilerReadBarrier);
2605 LocationSummary* locations = invoke->GetLocations();
2606 X86Assembler* assembler = GetAssembler();
2607
2608 Register obj = locations->InAt(0).AsRegister<Register>();
2609 Register out = locations->Out().AsRegister<Register>();
2610
2611 SlowPathCode* slow_path = new (GetAllocator()) IntrinsicSlowPathX86(invoke);
2612 codegen_->AddSlowPath(slow_path);
2613
2614 // Load ArtMethod first.
2615 HInvokeStaticOrDirect* invoke_direct = invoke->AsInvokeStaticOrDirect();
2616 DCHECK(invoke_direct != nullptr);
2617 Location temp_loc = codegen_->GenerateCalleeMethodStaticOrDirectCall(
2618 invoke_direct, locations->GetTemp(0));
2619 DCHECK(temp_loc.Equals(locations->GetTemp(0)));
2620 Register temp = temp_loc.AsRegister<Register>();
2621
2622 // Now get declaring class.
2623 __ movl(temp, Address(temp, ArtMethod::DeclaringClassOffset().Int32Value()));
2624
2625 uint32_t slow_path_flag_offset = codegen_->GetReferenceSlowFlagOffset();
2626 uint32_t disable_flag_offset = codegen_->GetReferenceDisableFlagOffset();
2627 DCHECK_NE(slow_path_flag_offset, 0u);
2628 DCHECK_NE(disable_flag_offset, 0u);
2629 DCHECK_NE(slow_path_flag_offset, disable_flag_offset);
2630
2631 // Check static flags preventing us for using intrinsic.
2632 if (slow_path_flag_offset == disable_flag_offset + 1) {
2633 __ cmpw(Address(temp, disable_flag_offset), Immediate(0));
2634 __ j(kNotEqual, slow_path->GetEntryLabel());
2635 } else {
2636 __ cmpb(Address(temp, disable_flag_offset), Immediate(0));
2637 __ j(kNotEqual, slow_path->GetEntryLabel());
2638 __ cmpb(Address(temp, slow_path_flag_offset), Immediate(0));
2639 __ j(kNotEqual, slow_path->GetEntryLabel());
2640 }
2641
2642 // Fast path.
2643 __ movl(out, Address(obj, mirror::Reference::ReferentOffset().Int32Value()));
2644 codegen_->MaybeRecordImplicitNullCheck(invoke);
2645 __ MaybeUnpoisonHeapReference(out);
2646 __ Bind(slow_path->GetExitLabel());
2647}
2648
Aart Bik2f9fcc92016-03-01 15:16:54 -08002649UNIMPLEMENTED_INTRINSIC(X86, MathRoundDouble)
Aart Bik2f9fcc92016-03-01 15:16:54 -08002650UNIMPLEMENTED_INTRINSIC(X86, SystemArrayCopy)
2651UNIMPLEMENTED_INTRINSIC(X86, FloatIsInfinite)
2652UNIMPLEMENTED_INTRINSIC(X86, DoubleIsInfinite)
2653UNIMPLEMENTED_INTRINSIC(X86, IntegerHighestOneBit)
2654UNIMPLEMENTED_INTRINSIC(X86, LongHighestOneBit)
2655UNIMPLEMENTED_INTRINSIC(X86, IntegerLowestOneBit)
2656UNIMPLEMENTED_INTRINSIC(X86, LongLowestOneBit)
Mark Mendell09ed1a32015-03-25 08:30:06 -04002657
Aart Bik0e54c012016-03-04 12:08:31 -08002658// 1.8.
2659UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndAddInt)
2660UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndAddLong)
2661UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndSetInt)
2662UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndSetLong)
2663UNIMPLEMENTED_INTRINSIC(X86, UnsafeGetAndSetObject)
Aart Bik0e54c012016-03-04 12:08:31 -08002664
Aart Bik2f9fcc92016-03-01 15:16:54 -08002665UNREACHABLE_INTRINSICS(X86)
Roland Levillain4d027112015-07-01 15:41:14 +01002666
2667#undef __
2668
Mark Mendell09ed1a32015-03-25 08:30:06 -04002669} // namespace x86
2670} // namespace art