blob: 21c5074a1cd7996f0b995ffdcee29e943f55f44c [file] [log] [blame]
Chris Larsen3039e382015-08-26 07:54:08 -07001/*
2 * Copyright (C) 2015 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "intrinsics_mips64.h"
18
19#include "arch/mips64/instruction_set_features_mips64.h"
20#include "art_method.h"
21#include "code_generator_mips64.h"
22#include "entrypoints/quick/quick_entrypoints.h"
23#include "intrinsics.h"
24#include "mirror/array-inl.h"
25#include "mirror/string.h"
26#include "thread.h"
27#include "utils/mips64/assembler_mips64.h"
28#include "utils/mips64/constants_mips64.h"
29
30namespace art {
31
32namespace mips64 {
33
34IntrinsicLocationsBuilderMIPS64::IntrinsicLocationsBuilderMIPS64(CodeGeneratorMIPS64* codegen)
35 : arena_(codegen->GetGraph()->GetArena()) {
36}
37
38Mips64Assembler* IntrinsicCodeGeneratorMIPS64::GetAssembler() {
39 return reinterpret_cast<Mips64Assembler*>(codegen_->GetAssembler());
40}
41
42ArenaAllocator* IntrinsicCodeGeneratorMIPS64::GetAllocator() {
43 return codegen_->GetGraph()->GetArena();
44}
45
Chris Larsen9701c2e2015-09-04 17:22:47 -070046#define __ codegen->GetAssembler()->
47
48static void MoveFromReturnRegister(Location trg,
49 Primitive::Type type,
50 CodeGeneratorMIPS64* codegen) {
51 if (!trg.IsValid()) {
52 DCHECK_EQ(type, Primitive::kPrimVoid);
53 return;
54 }
55
56 DCHECK_NE(type, Primitive::kPrimVoid);
57
58 if (Primitive::IsIntegralType(type) || type == Primitive::kPrimNot) {
59 GpuRegister trg_reg = trg.AsRegister<GpuRegister>();
60 if (trg_reg != V0) {
61 __ Move(V0, trg_reg);
62 }
63 } else {
64 FpuRegister trg_reg = trg.AsFpuRegister<FpuRegister>();
65 if (trg_reg != F0) {
66 if (type == Primitive::kPrimFloat) {
67 __ MovS(F0, trg_reg);
68 } else {
69 __ MovD(F0, trg_reg);
70 }
71 }
72 }
73}
74
75static void MoveArguments(HInvoke* invoke, CodeGeneratorMIPS64* codegen) {
76 InvokeDexCallingConventionVisitorMIPS64 calling_convention_visitor;
77 IntrinsicVisitor::MoveArguments(invoke, codegen, &calling_convention_visitor);
78}
79
80// Slow-path for fallback (calling the managed code to handle the
81// intrinsic) in an intrinsified call. This will copy the arguments
82// into the positions for a regular call.
83//
84// Note: The actual parameters are required to be in the locations
85// given by the invoke's location summary. If an intrinsic
86// modifies those locations before a slowpath call, they must be
87// restored!
88class IntrinsicSlowPathMIPS64 : public SlowPathCodeMIPS64 {
89 public:
David Srbecky9cd6d372016-02-09 15:24:47 +000090 explicit IntrinsicSlowPathMIPS64(HInvoke* invoke)
91 : SlowPathCodeMIPS64(invoke), invoke_(invoke) { }
Chris Larsen9701c2e2015-09-04 17:22:47 -070092
93 void EmitNativeCode(CodeGenerator* codegen_in) OVERRIDE {
94 CodeGeneratorMIPS64* codegen = down_cast<CodeGeneratorMIPS64*>(codegen_in);
95
96 __ Bind(GetEntryLabel());
97
98 SaveLiveRegisters(codegen, invoke_->GetLocations());
99
100 MoveArguments(invoke_, codegen);
101
102 if (invoke_->IsInvokeStaticOrDirect()) {
103 codegen->GenerateStaticOrDirectCall(invoke_->AsInvokeStaticOrDirect(),
104 Location::RegisterLocation(A0));
Chris Larsen9701c2e2015-09-04 17:22:47 -0700105 } else {
Alexey Frunze53afca12015-11-05 16:34:23 -0800106 codegen->GenerateVirtualCall(invoke_->AsInvokeVirtual(), Location::RegisterLocation(A0));
Chris Larsen9701c2e2015-09-04 17:22:47 -0700107 }
Alexey Frunze53afca12015-11-05 16:34:23 -0800108 codegen->RecordPcInfo(invoke_, invoke_->GetDexPc(), this);
Chris Larsen9701c2e2015-09-04 17:22:47 -0700109
110 // Copy the result back to the expected output.
111 Location out = invoke_->GetLocations()->Out();
112 if (out.IsValid()) {
113 DCHECK(out.IsRegister()); // TODO: Replace this when we support output in memory.
114 DCHECK(!invoke_->GetLocations()->GetLiveRegisters()->ContainsCoreRegister(out.reg()));
115 MoveFromReturnRegister(out, invoke_->GetType(), codegen);
116 }
117
118 RestoreLiveRegisters(codegen, invoke_->GetLocations());
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700119 __ Bc(GetExitLabel());
Chris Larsen9701c2e2015-09-04 17:22:47 -0700120 }
121
122 const char* GetDescription() const OVERRIDE { return "IntrinsicSlowPathMIPS64"; }
123
124 private:
125 // The instruction where this slow path is happening.
126 HInvoke* const invoke_;
127
128 DISALLOW_COPY_AND_ASSIGN(IntrinsicSlowPathMIPS64);
129};
130
131#undef __
132
Chris Larsen3039e382015-08-26 07:54:08 -0700133bool IntrinsicLocationsBuilderMIPS64::TryDispatch(HInvoke* invoke) {
134 Dispatch(invoke);
135 LocationSummary* res = invoke->GetLocations();
136 return res != nullptr && res->Intrinsified();
137}
138
139#define __ assembler->
140
141static void CreateFPToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
142 LocationSummary* locations = new (arena) LocationSummary(invoke,
143 LocationSummary::kNoCall,
144 kIntrinsified);
145 locations->SetInAt(0, Location::RequiresFpuRegister());
146 locations->SetOut(Location::RequiresRegister());
147}
148
149static void MoveFPToInt(LocationSummary* locations, bool is64bit, Mips64Assembler* assembler) {
150 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
151 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
152
153 if (is64bit) {
154 __ Dmfc1(out, in);
155 } else {
156 __ Mfc1(out, in);
157 }
158}
159
160// long java.lang.Double.doubleToRawLongBits(double)
161void IntrinsicLocationsBuilderMIPS64::VisitDoubleDoubleToRawLongBits(HInvoke* invoke) {
162 CreateFPToIntLocations(arena_, invoke);
163}
164
165void IntrinsicCodeGeneratorMIPS64::VisitDoubleDoubleToRawLongBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000166 MoveFPToInt(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Chris Larsen3039e382015-08-26 07:54:08 -0700167}
168
169// int java.lang.Float.floatToRawIntBits(float)
170void IntrinsicLocationsBuilderMIPS64::VisitFloatFloatToRawIntBits(HInvoke* invoke) {
171 CreateFPToIntLocations(arena_, invoke);
172}
173
174void IntrinsicCodeGeneratorMIPS64::VisitFloatFloatToRawIntBits(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000175 MoveFPToInt(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Chris Larsen3039e382015-08-26 07:54:08 -0700176}
177
178static void CreateIntToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
179 LocationSummary* locations = new (arena) LocationSummary(invoke,
180 LocationSummary::kNoCall,
181 kIntrinsified);
182 locations->SetInAt(0, Location::RequiresRegister());
183 locations->SetOut(Location::RequiresFpuRegister());
184}
185
186static void MoveIntToFP(LocationSummary* locations, bool is64bit, Mips64Assembler* assembler) {
187 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
188 FpuRegister out = locations->Out().AsFpuRegister<FpuRegister>();
189
190 if (is64bit) {
191 __ Dmtc1(in, out);
192 } else {
193 __ Mtc1(in, out);
194 }
195}
196
197// double java.lang.Double.longBitsToDouble(long)
198void IntrinsicLocationsBuilderMIPS64::VisitDoubleLongBitsToDouble(HInvoke* invoke) {
199 CreateIntToFPLocations(arena_, invoke);
200}
201
202void IntrinsicCodeGeneratorMIPS64::VisitDoubleLongBitsToDouble(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000203 MoveIntToFP(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Chris Larsen3039e382015-08-26 07:54:08 -0700204}
205
206// float java.lang.Float.intBitsToFloat(int)
207void IntrinsicLocationsBuilderMIPS64::VisitFloatIntBitsToFloat(HInvoke* invoke) {
208 CreateIntToFPLocations(arena_, invoke);
209}
210
211void IntrinsicCodeGeneratorMIPS64::VisitFloatIntBitsToFloat(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000212 MoveIntToFP(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Chris Larsen3039e382015-08-26 07:54:08 -0700213}
214
215static void CreateIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
216 LocationSummary* locations = new (arena) LocationSummary(invoke,
217 LocationSummary::kNoCall,
218 kIntrinsified);
219 locations->SetInAt(0, Location::RequiresRegister());
220 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
221}
222
223static void GenReverseBytes(LocationSummary* locations,
224 Primitive::Type type,
225 Mips64Assembler* assembler) {
226 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
227 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
228
229 switch (type) {
230 case Primitive::kPrimShort:
231 __ Dsbh(out, in);
232 __ Seh(out, out);
233 break;
234 case Primitive::kPrimInt:
235 __ Rotr(out, in, 16);
236 __ Wsbh(out, out);
237 break;
238 case Primitive::kPrimLong:
239 __ Dsbh(out, in);
240 __ Dshd(out, out);
241 break;
242 default:
243 LOG(FATAL) << "Unexpected size for reverse-bytes: " << type;
244 UNREACHABLE();
245 }
246}
247
248// int java.lang.Integer.reverseBytes(int)
249void IntrinsicLocationsBuilderMIPS64::VisitIntegerReverseBytes(HInvoke* invoke) {
250 CreateIntToIntLocations(arena_, invoke);
251}
252
253void IntrinsicCodeGeneratorMIPS64::VisitIntegerReverseBytes(HInvoke* invoke) {
254 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
255}
256
257// long java.lang.Long.reverseBytes(long)
258void IntrinsicLocationsBuilderMIPS64::VisitLongReverseBytes(HInvoke* invoke) {
259 CreateIntToIntLocations(arena_, invoke);
260}
261
262void IntrinsicCodeGeneratorMIPS64::VisitLongReverseBytes(HInvoke* invoke) {
263 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
264}
265
266// short java.lang.Short.reverseBytes(short)
267void IntrinsicLocationsBuilderMIPS64::VisitShortReverseBytes(HInvoke* invoke) {
268 CreateIntToIntLocations(arena_, invoke);
269}
270
271void IntrinsicCodeGeneratorMIPS64::VisitShortReverseBytes(HInvoke* invoke) {
272 GenReverseBytes(invoke->GetLocations(), Primitive::kPrimShort, GetAssembler());
273}
274
Chris Larsen81284372015-10-21 15:28:53 -0700275static void GenNumberOfLeadingZeroes(LocationSummary* locations,
276 bool is64bit,
277 Mips64Assembler* assembler) {
Chris Larsen3039e382015-08-26 07:54:08 -0700278 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
279 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
280
281 if (is64bit) {
282 __ Dclz(out, in);
283 } else {
284 __ Clz(out, in);
285 }
286}
287
288// int java.lang.Integer.numberOfLeadingZeros(int i)
289void IntrinsicLocationsBuilderMIPS64::VisitIntegerNumberOfLeadingZeros(HInvoke* invoke) {
290 CreateIntToIntLocations(arena_, invoke);
291}
292
293void IntrinsicCodeGeneratorMIPS64::VisitIntegerNumberOfLeadingZeros(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000294 GenNumberOfLeadingZeroes(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Chris Larsen3039e382015-08-26 07:54:08 -0700295}
296
297// int java.lang.Long.numberOfLeadingZeros(long i)
298void IntrinsicLocationsBuilderMIPS64::VisitLongNumberOfLeadingZeros(HInvoke* invoke) {
299 CreateIntToIntLocations(arena_, invoke);
300}
301
302void IntrinsicCodeGeneratorMIPS64::VisitLongNumberOfLeadingZeros(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000303 GenNumberOfLeadingZeroes(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Chris Larsen0646da72015-09-22 16:02:40 -0700304}
305
Chris Larsen81284372015-10-21 15:28:53 -0700306static void GenNumberOfTrailingZeroes(LocationSummary* locations,
307 bool is64bit,
308 Mips64Assembler* assembler) {
Chris Larsen0646da72015-09-22 16:02:40 -0700309 Location in = locations->InAt(0);
310 Location out = locations->Out();
311
312 if (is64bit) {
313 __ Dsbh(out.AsRegister<GpuRegister>(), in.AsRegister<GpuRegister>());
314 __ Dshd(out.AsRegister<GpuRegister>(), out.AsRegister<GpuRegister>());
315 __ Dbitswap(out.AsRegister<GpuRegister>(), out.AsRegister<GpuRegister>());
316 __ Dclz(out.AsRegister<GpuRegister>(), out.AsRegister<GpuRegister>());
317 } else {
318 __ Rotr(out.AsRegister<GpuRegister>(), in.AsRegister<GpuRegister>(), 16);
319 __ Wsbh(out.AsRegister<GpuRegister>(), out.AsRegister<GpuRegister>());
320 __ Bitswap(out.AsRegister<GpuRegister>(), out.AsRegister<GpuRegister>());
321 __ Clz(out.AsRegister<GpuRegister>(), out.AsRegister<GpuRegister>());
322 }
323}
324
325// int java.lang.Integer.numberOfTrailingZeros(int i)
326void IntrinsicLocationsBuilderMIPS64::VisitIntegerNumberOfTrailingZeros(HInvoke* invoke) {
327 CreateIntToIntLocations(arena_, invoke);
328}
329
330void IntrinsicCodeGeneratorMIPS64::VisitIntegerNumberOfTrailingZeros(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000331 GenNumberOfTrailingZeroes(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Chris Larsen0646da72015-09-22 16:02:40 -0700332}
333
334// int java.lang.Long.numberOfTrailingZeros(long i)
335void IntrinsicLocationsBuilderMIPS64::VisitLongNumberOfTrailingZeros(HInvoke* invoke) {
336 CreateIntToIntLocations(arena_, invoke);
337}
338
339void IntrinsicCodeGeneratorMIPS64::VisitLongNumberOfTrailingZeros(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000340 GenNumberOfTrailingZeroes(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Chris Larsen3039e382015-08-26 07:54:08 -0700341}
342
343static void GenReverse(LocationSummary* locations,
344 Primitive::Type type,
345 Mips64Assembler* assembler) {
346 DCHECK(type == Primitive::kPrimInt || type == Primitive::kPrimLong);
347
348 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
349 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
350
351 if (type == Primitive::kPrimInt) {
352 __ Rotr(out, in, 16);
353 __ Wsbh(out, out);
354 __ Bitswap(out, out);
355 } else {
356 __ Dsbh(out, in);
357 __ Dshd(out, out);
358 __ Dbitswap(out, out);
359 }
360}
361
362// int java.lang.Integer.reverse(int)
363void IntrinsicLocationsBuilderMIPS64::VisitIntegerReverse(HInvoke* invoke) {
364 CreateIntToIntLocations(arena_, invoke);
365}
366
367void IntrinsicCodeGeneratorMIPS64::VisitIntegerReverse(HInvoke* invoke) {
368 GenReverse(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
369}
370
371// long java.lang.Long.reverse(long)
372void IntrinsicLocationsBuilderMIPS64::VisitLongReverse(HInvoke* invoke) {
373 CreateIntToIntLocations(arena_, invoke);
374}
375
376void IntrinsicCodeGeneratorMIPS64::VisitLongReverse(HInvoke* invoke) {
377 GenReverse(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
378}
379
Chris Larsen0b7ac982015-09-04 12:54:28 -0700380static void CreateFPToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
381 LocationSummary* locations = new (arena) LocationSummary(invoke,
382 LocationSummary::kNoCall,
383 kIntrinsified);
384 locations->SetInAt(0, Location::RequiresFpuRegister());
385 locations->SetOut(Location::RequiresFpuRegister(), Location::kNoOutputOverlap);
386}
387
Chris Larsen7fda7852016-04-21 16:00:36 -0700388static void GenBitCount(LocationSummary* locations,
389 const Primitive::Type type,
390 Mips64Assembler* assembler) {
391 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
392 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
393
394 DCHECK(type == Primitive::kPrimInt || type == Primitive::kPrimLong);
395
396 // https://graphics.stanford.edu/~seander/bithacks.html#CountBitsSetParallel
397 //
398 // A generalization of the best bit counting method to integers of
399 // bit-widths up to 128 (parameterized by type T) is this:
400 //
401 // v = v - ((v >> 1) & (T)~(T)0/3); // temp
402 // v = (v & (T)~(T)0/15*3) + ((v >> 2) & (T)~(T)0/15*3); // temp
403 // v = (v + (v >> 4)) & (T)~(T)0/255*15; // temp
404 // c = (T)(v * ((T)~(T)0/255)) >> (sizeof(T) - 1) * BITS_PER_BYTE; // count
405 //
406 // For comparison, for 32-bit quantities, this algorithm can be executed
407 // using 20 MIPS instructions (the calls to LoadConst32() generate two
408 // machine instructions each for the values being used in this algorithm).
409 // A(n unrolled) loop-based algorithm requires 25 instructions.
410 //
411 // For a 64-bit operand this can be performed in 24 instructions compared
412 // to a(n unrolled) loop based algorithm which requires 38 instructions.
413 //
414 // There are algorithms which are faster in the cases where very few
415 // bits are set but the algorithm here attempts to minimize the total
416 // number of instructions executed even when a large number of bits
417 // are set.
418
419 if (type == Primitive::kPrimInt) {
420 __ Srl(TMP, in, 1);
421 __ LoadConst32(AT, 0x55555555);
422 __ And(TMP, TMP, AT);
423 __ Subu(TMP, in, TMP);
424 __ LoadConst32(AT, 0x33333333);
425 __ And(out, TMP, AT);
426 __ Srl(TMP, TMP, 2);
427 __ And(TMP, TMP, AT);
428 __ Addu(TMP, out, TMP);
429 __ Srl(out, TMP, 4);
430 __ Addu(out, out, TMP);
431 __ LoadConst32(AT, 0x0F0F0F0F);
432 __ And(out, out, AT);
433 __ LoadConst32(TMP, 0x01010101);
434 __ MulR6(out, out, TMP);
435 __ Srl(out, out, 24);
436 } else if (type == Primitive::kPrimLong) {
437 __ Dsrl(TMP, in, 1);
438 __ LoadConst64(AT, 0x5555555555555555L);
439 __ And(TMP, TMP, AT);
440 __ Dsubu(TMP, in, TMP);
441 __ LoadConst64(AT, 0x3333333333333333L);
442 __ And(out, TMP, AT);
443 __ Dsrl(TMP, TMP, 2);
444 __ And(TMP, TMP, AT);
445 __ Daddu(TMP, out, TMP);
446 __ Dsrl(out, TMP, 4);
447 __ Daddu(out, out, TMP);
448 __ LoadConst64(AT, 0x0F0F0F0F0F0F0F0FL);
449 __ And(out, out, AT);
450 __ LoadConst64(TMP, 0x0101010101010101L);
451 __ Dmul(out, out, TMP);
452 __ Dsrl32(out, out, 24);
453 }
454}
455
456// int java.lang.Integer.bitCount(int)
457void IntrinsicLocationsBuilderMIPS64::VisitIntegerBitCount(HInvoke* invoke) {
458 CreateIntToIntLocations(arena_, invoke);
459}
460
461void IntrinsicCodeGeneratorMIPS64::VisitIntegerBitCount(HInvoke* invoke) {
462 GenBitCount(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
463}
464
465// int java.lang.Long.bitCount(long)
466void IntrinsicLocationsBuilderMIPS64::VisitLongBitCount(HInvoke* invoke) {
467 CreateIntToIntLocations(arena_, invoke);
468}
469
470void IntrinsicCodeGeneratorMIPS64::VisitLongBitCount(HInvoke* invoke) {
471 GenBitCount(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
472}
473
Chris Larsen0b7ac982015-09-04 12:54:28 -0700474static void MathAbsFP(LocationSummary* locations, bool is64bit, Mips64Assembler* assembler) {
475 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
476 FpuRegister out = locations->Out().AsFpuRegister<FpuRegister>();
477
478 if (is64bit) {
479 __ AbsD(out, in);
480 } else {
481 __ AbsS(out, in);
482 }
483}
484
485// double java.lang.Math.abs(double)
486void IntrinsicLocationsBuilderMIPS64::VisitMathAbsDouble(HInvoke* invoke) {
487 CreateFPToFPLocations(arena_, invoke);
488}
489
490void IntrinsicCodeGeneratorMIPS64::VisitMathAbsDouble(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000491 MathAbsFP(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700492}
493
494// float java.lang.Math.abs(float)
495void IntrinsicLocationsBuilderMIPS64::VisitMathAbsFloat(HInvoke* invoke) {
496 CreateFPToFPLocations(arena_, invoke);
497}
498
499void IntrinsicCodeGeneratorMIPS64::VisitMathAbsFloat(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000500 MathAbsFP(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700501}
502
503static void CreateIntToInt(ArenaAllocator* arena, HInvoke* invoke) {
504 LocationSummary* locations = new (arena) LocationSummary(invoke,
505 LocationSummary::kNoCall,
506 kIntrinsified);
507 locations->SetInAt(0, Location::RequiresRegister());
508 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
509}
510
511static void GenAbsInteger(LocationSummary* locations, bool is64bit, Mips64Assembler* assembler) {
512 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
513 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
514
515 if (is64bit) {
516 __ Dsra32(AT, in, 31);
517 __ Xor(out, in, AT);
518 __ Dsubu(out, out, AT);
519 } else {
520 __ Sra(AT, in, 31);
521 __ Xor(out, in, AT);
522 __ Subu(out, out, AT);
523 }
524}
525
526// int java.lang.Math.abs(int)
527void IntrinsicLocationsBuilderMIPS64::VisitMathAbsInt(HInvoke* invoke) {
528 CreateIntToInt(arena_, invoke);
529}
530
531void IntrinsicCodeGeneratorMIPS64::VisitMathAbsInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000532 GenAbsInteger(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700533}
534
535// long java.lang.Math.abs(long)
536void IntrinsicLocationsBuilderMIPS64::VisitMathAbsLong(HInvoke* invoke) {
537 CreateIntToInt(arena_, invoke);
538}
539
540void IntrinsicCodeGeneratorMIPS64::VisitMathAbsLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000541 GenAbsInteger(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700542}
543
544static void GenMinMaxFP(LocationSummary* locations,
545 bool is_min,
Chris Larsenb74353a2015-11-20 09:07:09 -0800546 Primitive::Type type,
Chris Larsen0b7ac982015-09-04 12:54:28 -0700547 Mips64Assembler* assembler) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800548 FpuRegister a = locations->InAt(0).AsFpuRegister<FpuRegister>();
549 FpuRegister b = locations->InAt(1).AsFpuRegister<FpuRegister>();
Chris Larsen0b7ac982015-09-04 12:54:28 -0700550 FpuRegister out = locations->Out().AsFpuRegister<FpuRegister>();
551
Chris Larsenb74353a2015-11-20 09:07:09 -0800552 Mips64Label noNaNs;
553 Mips64Label done;
554 FpuRegister ftmp = ((out != a) && (out != b)) ? out : FTMP;
555
556 // When Java computes min/max it prefers a NaN to a number; the
557 // behavior of MIPSR6 is to prefer numbers to NaNs, i.e., if one of
558 // the inputs is a NaN and the other is a valid number, the MIPS
559 // instruction will return the number; Java wants the NaN value
560 // returned. This is why there is extra logic preceding the use of
561 // the MIPS min.fmt/max.fmt instructions. If either a, or b holds a
562 // NaN, return the NaN, otherwise return the min/max.
563 if (type == Primitive::kPrimDouble) {
564 __ CmpUnD(FTMP, a, b);
565 __ Bc1eqz(FTMP, &noNaNs);
566
567 // One of the inputs is a NaN
568 __ CmpEqD(ftmp, a, a);
569 // If a == a then b is the NaN, otherwise a is the NaN.
570 __ SelD(ftmp, a, b);
571
572 if (ftmp != out) {
573 __ MovD(out, ftmp);
574 }
575
576 __ Bc(&done);
577
578 __ Bind(&noNaNs);
579
Chris Larsen0b7ac982015-09-04 12:54:28 -0700580 if (is_min) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800581 __ MinD(out, a, b);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700582 } else {
Chris Larsenb74353a2015-11-20 09:07:09 -0800583 __ MaxD(out, a, b);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700584 }
585 } else {
Chris Larsenb74353a2015-11-20 09:07:09 -0800586 DCHECK_EQ(type, Primitive::kPrimFloat);
587 __ CmpUnS(FTMP, a, b);
588 __ Bc1eqz(FTMP, &noNaNs);
589
590 // One of the inputs is a NaN
591 __ CmpEqS(ftmp, a, a);
592 // If a == a then b is the NaN, otherwise a is the NaN.
593 __ SelS(ftmp, a, b);
594
595 if (ftmp != out) {
596 __ MovS(out, ftmp);
597 }
598
599 __ Bc(&done);
600
601 __ Bind(&noNaNs);
602
Chris Larsen0b7ac982015-09-04 12:54:28 -0700603 if (is_min) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800604 __ MinS(out, a, b);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700605 } else {
Chris Larsenb74353a2015-11-20 09:07:09 -0800606 __ MaxS(out, a, b);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700607 }
608 }
Chris Larsenb74353a2015-11-20 09:07:09 -0800609
610 __ Bind(&done);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700611}
612
613static void CreateFPFPToFPLocations(ArenaAllocator* arena, HInvoke* invoke) {
614 LocationSummary* locations = new (arena) LocationSummary(invoke,
615 LocationSummary::kNoCall,
616 kIntrinsified);
617 locations->SetInAt(0, Location::RequiresFpuRegister());
618 locations->SetInAt(1, Location::RequiresFpuRegister());
619 locations->SetOut(Location::RequiresFpuRegister(), Location::kNoOutputOverlap);
620}
621
622// double java.lang.Math.min(double, double)
623void IntrinsicLocationsBuilderMIPS64::VisitMathMinDoubleDouble(HInvoke* invoke) {
624 CreateFPFPToFPLocations(arena_, invoke);
625}
626
627void IntrinsicCodeGeneratorMIPS64::VisitMathMinDoubleDouble(HInvoke* invoke) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800628 GenMinMaxFP(invoke->GetLocations(), /* is_min */ true, Primitive::kPrimDouble, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700629}
630
631// float java.lang.Math.min(float, float)
632void IntrinsicLocationsBuilderMIPS64::VisitMathMinFloatFloat(HInvoke* invoke) {
633 CreateFPFPToFPLocations(arena_, invoke);
634}
635
636void IntrinsicCodeGeneratorMIPS64::VisitMathMinFloatFloat(HInvoke* invoke) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800637 GenMinMaxFP(invoke->GetLocations(), /* is_min */ true, Primitive::kPrimFloat, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700638}
639
640// double java.lang.Math.max(double, double)
641void IntrinsicLocationsBuilderMIPS64::VisitMathMaxDoubleDouble(HInvoke* invoke) {
642 CreateFPFPToFPLocations(arena_, invoke);
643}
644
645void IntrinsicCodeGeneratorMIPS64::VisitMathMaxDoubleDouble(HInvoke* invoke) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800646 GenMinMaxFP(invoke->GetLocations(), /* is_min */ false, Primitive::kPrimDouble, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700647}
648
649// float java.lang.Math.max(float, float)
650void IntrinsicLocationsBuilderMIPS64::VisitMathMaxFloatFloat(HInvoke* invoke) {
651 CreateFPFPToFPLocations(arena_, invoke);
652}
653
654void IntrinsicCodeGeneratorMIPS64::VisitMathMaxFloatFloat(HInvoke* invoke) {
Chris Larsenb74353a2015-11-20 09:07:09 -0800655 GenMinMaxFP(invoke->GetLocations(), /* is_min */ false, Primitive::kPrimFloat, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700656}
657
658static void GenMinMax(LocationSummary* locations,
659 bool is_min,
660 Mips64Assembler* assembler) {
661 GpuRegister lhs = locations->InAt(0).AsRegister<GpuRegister>();
662 GpuRegister rhs = locations->InAt(1).AsRegister<GpuRegister>();
663 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
664
Chris Larsenb74353a2015-11-20 09:07:09 -0800665 if (lhs == rhs) {
666 if (out != lhs) {
667 __ Move(out, lhs);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700668 }
669 } else {
Chris Larsenb74353a2015-11-20 09:07:09 -0800670 // Some architectures, such as ARM and MIPS (prior to r6), have a
671 // conditional move instruction which only changes the target
672 // (output) register if the condition is true (MIPS prior to r6 had
673 // MOVF, MOVT, and MOVZ). The SELEQZ and SELNEZ instructions always
674 // change the target (output) register. If the condition is true the
675 // output register gets the contents of the "rs" register; otherwise,
676 // the output register is set to zero. One consequence of this is
677 // that to implement something like "rd = c==0 ? rs : rt" MIPS64r6
678 // needs to use a pair of SELEQZ/SELNEZ instructions. After
679 // executing this pair of instructions one of the output registers
680 // from the pair will necessarily contain zero. Then the code ORs the
681 // output registers from the SELEQZ/SELNEZ instructions to get the
682 // final result.
683 //
684 // The initial test to see if the output register is same as the
685 // first input register is needed to make sure that value in the
686 // first input register isn't clobbered before we've finished
687 // computing the output value. The logic in the corresponding else
688 // clause performs the same task but makes sure the second input
689 // register isn't clobbered in the event that it's the same register
690 // as the output register; the else clause also handles the case
691 // where the output register is distinct from both the first, and the
692 // second input registers.
693 if (out == lhs) {
694 __ Slt(AT, rhs, lhs);
695 if (is_min) {
696 __ Seleqz(out, lhs, AT);
697 __ Selnez(AT, rhs, AT);
698 } else {
699 __ Selnez(out, lhs, AT);
700 __ Seleqz(AT, rhs, AT);
701 }
Chris Larsen0b7ac982015-09-04 12:54:28 -0700702 } else {
Chris Larsenb74353a2015-11-20 09:07:09 -0800703 __ Slt(AT, lhs, rhs);
704 if (is_min) {
705 __ Seleqz(out, rhs, AT);
706 __ Selnez(AT, lhs, AT);
707 } else {
708 __ Selnez(out, rhs, AT);
709 __ Seleqz(AT, lhs, AT);
710 }
Chris Larsen0b7ac982015-09-04 12:54:28 -0700711 }
Chris Larsenb74353a2015-11-20 09:07:09 -0800712 __ Or(out, out, AT);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700713 }
Chris Larsen0b7ac982015-09-04 12:54:28 -0700714}
715
716static void CreateIntIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
717 LocationSummary* locations = new (arena) LocationSummary(invoke,
718 LocationSummary::kNoCall,
719 kIntrinsified);
720 locations->SetInAt(0, Location::RequiresRegister());
721 locations->SetInAt(1, Location::RequiresRegister());
722 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
723}
724
725// int java.lang.Math.min(int, int)
726void IntrinsicLocationsBuilderMIPS64::VisitMathMinIntInt(HInvoke* invoke) {
727 CreateIntIntToIntLocations(arena_, invoke);
728}
729
730void IntrinsicCodeGeneratorMIPS64::VisitMathMinIntInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000731 GenMinMax(invoke->GetLocations(), /* is_min */ true, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700732}
733
734// long java.lang.Math.min(long, long)
735void IntrinsicLocationsBuilderMIPS64::VisitMathMinLongLong(HInvoke* invoke) {
736 CreateIntIntToIntLocations(arena_, invoke);
737}
738
739void IntrinsicCodeGeneratorMIPS64::VisitMathMinLongLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000740 GenMinMax(invoke->GetLocations(), /* is_min */ true, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700741}
742
743// int java.lang.Math.max(int, int)
744void IntrinsicLocationsBuilderMIPS64::VisitMathMaxIntInt(HInvoke* invoke) {
745 CreateIntIntToIntLocations(arena_, invoke);
746}
747
748void IntrinsicCodeGeneratorMIPS64::VisitMathMaxIntInt(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000749 GenMinMax(invoke->GetLocations(), /* is_min */ false, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700750}
751
752// long java.lang.Math.max(long, long)
753void IntrinsicLocationsBuilderMIPS64::VisitMathMaxLongLong(HInvoke* invoke) {
754 CreateIntIntToIntLocations(arena_, invoke);
755}
756
757void IntrinsicCodeGeneratorMIPS64::VisitMathMaxLongLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +0000758 GenMinMax(invoke->GetLocations(), /* is_min */ false, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700759}
760
761// double java.lang.Math.sqrt(double)
762void IntrinsicLocationsBuilderMIPS64::VisitMathSqrt(HInvoke* invoke) {
763 CreateFPToFPLocations(arena_, invoke);
764}
765
766void IntrinsicCodeGeneratorMIPS64::VisitMathSqrt(HInvoke* invoke) {
767 LocationSummary* locations = invoke->GetLocations();
768 Mips64Assembler* assembler = GetAssembler();
769 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
770 FpuRegister out = locations->Out().AsFpuRegister<FpuRegister>();
771
772 __ SqrtD(out, in);
773}
774
Chris Larsen81284372015-10-21 15:28:53 -0700775static void CreateFPToFP(ArenaAllocator* arena,
776 HInvoke* invoke,
777 Location::OutputOverlap overlaps = Location::kOutputOverlap) {
Chris Larsen0b7ac982015-09-04 12:54:28 -0700778 LocationSummary* locations = new (arena) LocationSummary(invoke,
779 LocationSummary::kNoCall,
780 kIntrinsified);
781 locations->SetInAt(0, Location::RequiresFpuRegister());
Chris Larsen81284372015-10-21 15:28:53 -0700782 locations->SetOut(Location::RequiresFpuRegister(), overlaps);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700783}
784
785// double java.lang.Math.rint(double)
786void IntrinsicLocationsBuilderMIPS64::VisitMathRint(HInvoke* invoke) {
Chris Larsen81284372015-10-21 15:28:53 -0700787 CreateFPToFP(arena_, invoke, Location::kNoOutputOverlap);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700788}
789
790void IntrinsicCodeGeneratorMIPS64::VisitMathRint(HInvoke* invoke) {
791 LocationSummary* locations = invoke->GetLocations();
792 Mips64Assembler* assembler = GetAssembler();
793 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
794 FpuRegister out = locations->Out().AsFpuRegister<FpuRegister>();
795
796 __ RintD(out, in);
797}
798
799// double java.lang.Math.floor(double)
800void IntrinsicLocationsBuilderMIPS64::VisitMathFloor(HInvoke* invoke) {
801 CreateFPToFP(arena_, invoke);
802}
803
Chris Larsen14500822015-10-01 11:35:18 -0700804const constexpr uint16_t kFPLeaveUnchanged = kPositiveZero |
805 kPositiveInfinity |
806 kNegativeZero |
807 kNegativeInfinity |
808 kQuietNaN |
809 kSignalingNaN;
Chris Larsen0b7ac982015-09-04 12:54:28 -0700810
Chris Larsen81284372015-10-21 15:28:53 -0700811enum FloatRoundingMode {
812 kFloor,
813 kCeil,
814};
815
816static void GenRoundingMode(LocationSummary* locations,
817 FloatRoundingMode mode,
818 Mips64Assembler* assembler) {
Chris Larsen0b7ac982015-09-04 12:54:28 -0700819 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
820 FpuRegister out = locations->Out().AsFpuRegister<FpuRegister>();
821
Chris Larsen81284372015-10-21 15:28:53 -0700822 DCHECK_NE(in, out);
823
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700824 Mips64Label done;
Chris Larsen0b7ac982015-09-04 12:54:28 -0700825
Chris Larsen81284372015-10-21 15:28:53 -0700826 // double floor/ceil(double in) {
Chris Larsen0b7ac982015-09-04 12:54:28 -0700827 // if in.isNaN || in.isInfinite || in.isZero {
828 // return in;
829 // }
830 __ ClassD(out, in);
831 __ Dmfc1(AT, out);
Chris Larsen14500822015-10-01 11:35:18 -0700832 __ Andi(AT, AT, kFPLeaveUnchanged); // +0.0 | +Inf | -0.0 | -Inf | qNaN | sNaN
Chris Larsen0b7ac982015-09-04 12:54:28 -0700833 __ MovD(out, in);
834 __ Bnezc(AT, &done);
835
Chris Larsen81284372015-10-21 15:28:53 -0700836 // Long outLong = floor/ceil(in);
Chris Larsen0b7ac982015-09-04 12:54:28 -0700837 // if outLong == Long.MAX_VALUE {
Chris Larsen81284372015-10-21 15:28:53 -0700838 // // floor()/ceil() has almost certainly returned a value
839 // // which can't be successfully represented as a signed
840 // // 64-bit number. Java expects that the input value will
841 // // be returned in these cases.
842 // // There is also a small probability that floor(in)/ceil(in)
843 // // correctly truncates/rounds up the input value to
844 // // Long.MAX_VALUE. In that case, this exception handling
845 // // code still does the correct thing.
Chris Larsen0b7ac982015-09-04 12:54:28 -0700846 // return in;
847 // }
Chris Larsen81284372015-10-21 15:28:53 -0700848 if (mode == kFloor) {
849 __ FloorLD(out, in);
850 } else if (mode == kCeil) {
851 __ CeilLD(out, in);
852 }
Chris Larsen0b7ac982015-09-04 12:54:28 -0700853 __ Dmfc1(AT, out);
854 __ MovD(out, in);
855 __ LoadConst64(TMP, kPrimLongMax);
856 __ Beqc(AT, TMP, &done);
857
858 // double out = outLong;
859 // return out;
860 __ Dmtc1(AT, out);
861 __ Cvtdl(out, out);
862 __ Bind(&done);
863 // }
864}
865
Chris Larsen81284372015-10-21 15:28:53 -0700866void IntrinsicCodeGeneratorMIPS64::VisitMathFloor(HInvoke* invoke) {
867 GenRoundingMode(invoke->GetLocations(), kFloor, GetAssembler());
868}
869
Chris Larsen0b7ac982015-09-04 12:54:28 -0700870// double java.lang.Math.ceil(double)
871void IntrinsicLocationsBuilderMIPS64::VisitMathCeil(HInvoke* invoke) {
872 CreateFPToFP(arena_, invoke);
873}
874
875void IntrinsicCodeGeneratorMIPS64::VisitMathCeil(HInvoke* invoke) {
Chris Larsen81284372015-10-21 15:28:53 -0700876 GenRoundingMode(invoke->GetLocations(), kCeil, GetAssembler());
Chris Larsen0b7ac982015-09-04 12:54:28 -0700877}
878
Chris Larsen7adaab02016-04-21 14:49:20 -0700879static void GenRound(LocationSummary* locations, Mips64Assembler* assembler, Primitive::Type type) {
880 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
881 FpuRegister half = locations->GetTemp(0).AsFpuRegister<FpuRegister>();
882 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
883
884 DCHECK(type == Primitive::kPrimFloat || type == Primitive::kPrimDouble);
885
886 Mips64Label done;
887 Mips64Label finite;
888 Mips64Label add;
889
890 // if (in.isNaN) {
891 // return 0;
892 // }
893 //
894 // out = floor(in);
895 //
896 // /*
897 // * TODO: Amend this code when emulator FCSR.NAN2008=1 bug is fixed.
898 // *
899 // * Starting with MIPSR6, which always sets FCSR.NAN2008=1, negative
900 // * numbers which are too large to be represented in a 32-/64-bit
901 // * signed integer will be processed by floor.X.Y to output
902 // * Integer.MIN_VALUE/Long.MIN_VALUE, and will no longer be
903 // * processed by this "if" statement.
904 // *
905 // * However, this bug in the 64-bit MIPS emulator causes the
906 // * behavior of floor.X.Y to be the same as pre-R6 implementations
907 // * of MIPS64. When that bug is fixed this logic should be amended.
908 // */
909 // if (out == MAX_VALUE) {
910 // TMP = (in < 0.0) ? 1 : 0;
911 // /*
912 // * If TMP is 1, then adding it to out will wrap its value from
913 // * MAX_VALUE to MIN_VALUE.
914 // */
915 // return out += TMP;
916 // }
917 //
918 // /*
919 // * For negative values not handled by the previous "if" statement the
920 // * test here will correctly set the value of TMP.
921 // */
922 // TMP = ((in - out) >= 0.5) ? 1 : 0;
923 // return out += TMP;
924
925 // Test for NaN.
926 if (type == Primitive::kPrimDouble) {
927 __ CmpUnD(FTMP, in, in);
928 } else {
929 __ CmpUnS(FTMP, in, in);
930 }
931
932 // Return zero for NaN.
933 __ Move(out, ZERO);
934 __ Bc1nez(FTMP, &done);
935
936 // out = floor(in);
937 if (type == Primitive::kPrimDouble) {
938 __ FloorLD(FTMP, in);
939 __ Dmfc1(out, FTMP);
940 } else {
941 __ FloorWS(FTMP, in);
942 __ Mfc1(out, FTMP);
943 }
944
945 // TMP = (out = java.lang.Integer.MAX_VALUE) ? 1 : 0;
946 if (type == Primitive::kPrimDouble) {
947 __ LoadConst64(AT, std::numeric_limits<int64_t>::max());
948 } else {
949 __ LoadConst32(AT, std::numeric_limits<int32_t>::max());
950 }
951 __ Bnec(AT, out, &finite);
952
953 if (type == Primitive::kPrimDouble) {
954 __ Dmtc1(ZERO, FTMP);
955 __ CmpLtD(FTMP, in, FTMP);
956 __ Dmfc1(AT, FTMP);
957 } else {
958 __ Mtc1(ZERO, FTMP);
959 __ CmpLtS(FTMP, in, FTMP);
960 __ Mfc1(AT, FTMP);
961 }
962
963 __ Bc(&add);
964
965 __ Bind(&finite);
966
967 // TMP = (0.5 <= (in - out)) ? -1 : 0;
968 if (type == Primitive::kPrimDouble) {
969 __ Cvtdl(FTMP, FTMP); // Convert output of floor.l.d back to "double".
970 __ LoadConst64(AT, bit_cast<int64_t, double>(0.5));
971 __ SubD(FTMP, in, FTMP);
972 __ Dmtc1(AT, half);
973 __ CmpLeD(FTMP, half, FTMP);
974 __ Dmfc1(AT, FTMP);
975 } else {
976 __ Cvtsw(FTMP, FTMP); // Convert output of floor.w.s back to "float".
977 __ LoadConst32(AT, bit_cast<int32_t, float>(0.5f));
978 __ SubS(FTMP, in, FTMP);
979 __ Mtc1(AT, half);
980 __ CmpLeS(FTMP, half, FTMP);
981 __ Mfc1(AT, FTMP);
982 }
983
984 __ Bind(&add);
985
986 // Return out -= TMP.
987 if (type == Primitive::kPrimDouble) {
988 __ Dsubu(out, out, AT);
989 } else {
990 __ Subu(out, out, AT);
991 }
992
993 __ Bind(&done);
994}
995
996// int java.lang.Math.round(float)
997void IntrinsicLocationsBuilderMIPS64::VisitMathRoundFloat(HInvoke* invoke) {
998 LocationSummary* locations = new (arena_) LocationSummary(invoke,
999 LocationSummary::kNoCall,
1000 kIntrinsified);
1001 locations->SetInAt(0, Location::RequiresFpuRegister());
1002 locations->AddTemp(Location::RequiresFpuRegister());
1003 locations->SetOut(Location::RequiresRegister());
1004}
1005
1006void IntrinsicCodeGeneratorMIPS64::VisitMathRoundFloat(HInvoke* invoke) {
1007 GenRound(invoke->GetLocations(), GetAssembler(), Primitive::kPrimFloat);
1008}
1009
1010// long java.lang.Math.round(double)
1011void IntrinsicLocationsBuilderMIPS64::VisitMathRoundDouble(HInvoke* invoke) {
1012 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1013 LocationSummary::kNoCall,
1014 kIntrinsified);
1015 locations->SetInAt(0, Location::RequiresFpuRegister());
1016 locations->AddTemp(Location::RequiresFpuRegister());
1017 locations->SetOut(Location::RequiresRegister());
1018}
1019
1020void IntrinsicCodeGeneratorMIPS64::VisitMathRoundDouble(HInvoke* invoke) {
1021 GenRound(invoke->GetLocations(), GetAssembler(), Primitive::kPrimDouble);
1022}
1023
Chris Larsen70fb1f42015-09-04 10:15:27 -07001024// byte libcore.io.Memory.peekByte(long address)
1025void IntrinsicLocationsBuilderMIPS64::VisitMemoryPeekByte(HInvoke* invoke) {
1026 CreateIntToIntLocations(arena_, invoke);
1027}
1028
1029void IntrinsicCodeGeneratorMIPS64::VisitMemoryPeekByte(HInvoke* invoke) {
1030 Mips64Assembler* assembler = GetAssembler();
1031 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1032 GpuRegister out = invoke->GetLocations()->Out().AsRegister<GpuRegister>();
1033
1034 __ Lb(out, adr, 0);
1035}
1036
1037// short libcore.io.Memory.peekShort(long address)
1038void IntrinsicLocationsBuilderMIPS64::VisitMemoryPeekShortNative(HInvoke* invoke) {
1039 CreateIntToIntLocations(arena_, invoke);
1040}
1041
1042void IntrinsicCodeGeneratorMIPS64::VisitMemoryPeekShortNative(HInvoke* invoke) {
1043 Mips64Assembler* assembler = GetAssembler();
1044 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1045 GpuRegister out = invoke->GetLocations()->Out().AsRegister<GpuRegister>();
1046
1047 __ Lh(out, adr, 0);
1048}
1049
1050// int libcore.io.Memory.peekInt(long address)
1051void IntrinsicLocationsBuilderMIPS64::VisitMemoryPeekIntNative(HInvoke* invoke) {
1052 CreateIntToIntLocations(arena_, invoke);
1053}
1054
1055void IntrinsicCodeGeneratorMIPS64::VisitMemoryPeekIntNative(HInvoke* invoke) {
1056 Mips64Assembler* assembler = GetAssembler();
1057 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1058 GpuRegister out = invoke->GetLocations()->Out().AsRegister<GpuRegister>();
1059
1060 __ Lw(out, adr, 0);
1061}
1062
1063// long libcore.io.Memory.peekLong(long address)
1064void IntrinsicLocationsBuilderMIPS64::VisitMemoryPeekLongNative(HInvoke* invoke) {
1065 CreateIntToIntLocations(arena_, invoke);
1066}
1067
1068void IntrinsicCodeGeneratorMIPS64::VisitMemoryPeekLongNative(HInvoke* invoke) {
1069 Mips64Assembler* assembler = GetAssembler();
1070 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1071 GpuRegister out = invoke->GetLocations()->Out().AsRegister<GpuRegister>();
1072
1073 __ Ld(out, adr, 0);
1074}
1075
1076static void CreateIntIntToVoidLocations(ArenaAllocator* arena, HInvoke* invoke) {
1077 LocationSummary* locations = new (arena) LocationSummary(invoke,
1078 LocationSummary::kNoCall,
1079 kIntrinsified);
1080 locations->SetInAt(0, Location::RequiresRegister());
1081 locations->SetInAt(1, Location::RequiresRegister());
1082}
1083
1084// void libcore.io.Memory.pokeByte(long address, byte value)
1085void IntrinsicLocationsBuilderMIPS64::VisitMemoryPokeByte(HInvoke* invoke) {
1086 CreateIntIntToVoidLocations(arena_, invoke);
1087}
1088
1089void IntrinsicCodeGeneratorMIPS64::VisitMemoryPokeByte(HInvoke* invoke) {
1090 Mips64Assembler* assembler = GetAssembler();
1091 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1092 GpuRegister val = invoke->GetLocations()->InAt(1).AsRegister<GpuRegister>();
1093
1094 __ Sb(val, adr, 0);
1095}
1096
1097// void libcore.io.Memory.pokeShort(long address, short value)
1098void IntrinsicLocationsBuilderMIPS64::VisitMemoryPokeShortNative(HInvoke* invoke) {
1099 CreateIntIntToVoidLocations(arena_, invoke);
1100}
1101
1102void IntrinsicCodeGeneratorMIPS64::VisitMemoryPokeShortNative(HInvoke* invoke) {
1103 Mips64Assembler* assembler = GetAssembler();
1104 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1105 GpuRegister val = invoke->GetLocations()->InAt(1).AsRegister<GpuRegister>();
1106
1107 __ Sh(val, adr, 0);
1108}
1109
1110// void libcore.io.Memory.pokeInt(long address, int value)
1111void IntrinsicLocationsBuilderMIPS64::VisitMemoryPokeIntNative(HInvoke* invoke) {
1112 CreateIntIntToVoidLocations(arena_, invoke);
1113}
1114
1115void IntrinsicCodeGeneratorMIPS64::VisitMemoryPokeIntNative(HInvoke* invoke) {
1116 Mips64Assembler* assembler = GetAssembler();
1117 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1118 GpuRegister val = invoke->GetLocations()->InAt(1).AsRegister<GpuRegister>();
1119
1120 __ Sw(val, adr, 00);
1121}
1122
1123// void libcore.io.Memory.pokeLong(long address, long value)
1124void IntrinsicLocationsBuilderMIPS64::VisitMemoryPokeLongNative(HInvoke* invoke) {
1125 CreateIntIntToVoidLocations(arena_, invoke);
1126}
1127
1128void IntrinsicCodeGeneratorMIPS64::VisitMemoryPokeLongNative(HInvoke* invoke) {
1129 Mips64Assembler* assembler = GetAssembler();
1130 GpuRegister adr = invoke->GetLocations()->InAt(0).AsRegister<GpuRegister>();
1131 GpuRegister val = invoke->GetLocations()->InAt(1).AsRegister<GpuRegister>();
1132
1133 __ Sd(val, adr, 0);
1134}
1135
Chris Larsen49e55392015-09-04 16:04:03 -07001136// Thread java.lang.Thread.currentThread()
1137void IntrinsicLocationsBuilderMIPS64::VisitThreadCurrentThread(HInvoke* invoke) {
1138 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1139 LocationSummary::kNoCall,
1140 kIntrinsified);
1141 locations->SetOut(Location::RequiresRegister());
1142}
1143
1144void IntrinsicCodeGeneratorMIPS64::VisitThreadCurrentThread(HInvoke* invoke) {
1145 Mips64Assembler* assembler = GetAssembler();
1146 GpuRegister out = invoke->GetLocations()->Out().AsRegister<GpuRegister>();
1147
1148 __ LoadFromOffset(kLoadUnsignedWord,
1149 out,
1150 TR,
1151 Thread::PeerOffset<kMips64PointerSize>().Int32Value());
1152}
1153
Chris Larsen1360ada2015-09-04 23:38:16 -07001154static void CreateIntIntIntToIntLocations(ArenaAllocator* arena, HInvoke* invoke) {
1155 LocationSummary* locations = new (arena) LocationSummary(invoke,
1156 LocationSummary::kNoCall,
1157 kIntrinsified);
1158 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1159 locations->SetInAt(1, Location::RequiresRegister());
1160 locations->SetInAt(2, Location::RequiresRegister());
1161 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
1162}
1163
1164static void GenUnsafeGet(HInvoke* invoke,
1165 Primitive::Type type,
1166 bool is_volatile,
1167 CodeGeneratorMIPS64* codegen) {
1168 LocationSummary* locations = invoke->GetLocations();
1169 DCHECK((type == Primitive::kPrimInt) ||
1170 (type == Primitive::kPrimLong) ||
1171 (type == Primitive::kPrimNot));
1172 Mips64Assembler* assembler = codegen->GetAssembler();
1173 // Object pointer.
1174 GpuRegister base = locations->InAt(1).AsRegister<GpuRegister>();
1175 // Long offset.
1176 GpuRegister offset = locations->InAt(2).AsRegister<GpuRegister>();
1177 GpuRegister trg = locations->Out().AsRegister<GpuRegister>();
1178
1179 __ Daddu(TMP, base, offset);
1180 if (is_volatile) {
1181 __ Sync(0);
1182 }
1183 switch (type) {
1184 case Primitive::kPrimInt:
1185 __ Lw(trg, TMP, 0);
1186 break;
1187
1188 case Primitive::kPrimNot:
1189 __ Lwu(trg, TMP, 0);
Alexey Frunzec061de12017-02-14 13:27:23 -08001190 __ MaybeUnpoisonHeapReference(trg);
Chris Larsen1360ada2015-09-04 23:38:16 -07001191 break;
1192
1193 case Primitive::kPrimLong:
1194 __ Ld(trg, TMP, 0);
1195 break;
1196
1197 default:
1198 LOG(FATAL) << "Unsupported op size " << type;
1199 UNREACHABLE();
1200 }
1201}
1202
1203// int sun.misc.Unsafe.getInt(Object o, long offset)
1204void IntrinsicLocationsBuilderMIPS64::VisitUnsafeGet(HInvoke* invoke) {
1205 CreateIntIntIntToIntLocations(arena_, invoke);
1206}
1207
1208void IntrinsicCodeGeneratorMIPS64::VisitUnsafeGet(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001209 GenUnsafeGet(invoke, Primitive::kPrimInt, /* is_volatile */ false, codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001210}
1211
1212// int sun.misc.Unsafe.getIntVolatile(Object o, long offset)
1213void IntrinsicLocationsBuilderMIPS64::VisitUnsafeGetVolatile(HInvoke* invoke) {
1214 CreateIntIntIntToIntLocations(arena_, invoke);
1215}
1216
1217void IntrinsicCodeGeneratorMIPS64::VisitUnsafeGetVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001218 GenUnsafeGet(invoke, Primitive::kPrimInt, /* is_volatile */ true, codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001219}
1220
1221// long sun.misc.Unsafe.getLong(Object o, long offset)
1222void IntrinsicLocationsBuilderMIPS64::VisitUnsafeGetLong(HInvoke* invoke) {
1223 CreateIntIntIntToIntLocations(arena_, invoke);
1224}
1225
1226void IntrinsicCodeGeneratorMIPS64::VisitUnsafeGetLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001227 GenUnsafeGet(invoke, Primitive::kPrimLong, /* is_volatile */ false, codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001228}
1229
1230// long sun.misc.Unsafe.getLongVolatile(Object o, long offset)
1231void IntrinsicLocationsBuilderMIPS64::VisitUnsafeGetLongVolatile(HInvoke* invoke) {
1232 CreateIntIntIntToIntLocations(arena_, invoke);
1233}
1234
1235void IntrinsicCodeGeneratorMIPS64::VisitUnsafeGetLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001236 GenUnsafeGet(invoke, Primitive::kPrimLong, /* is_volatile */ true, codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001237}
1238
1239// Object sun.misc.Unsafe.getObject(Object o, long offset)
1240void IntrinsicLocationsBuilderMIPS64::VisitUnsafeGetObject(HInvoke* invoke) {
1241 CreateIntIntIntToIntLocations(arena_, invoke);
1242}
1243
1244void IntrinsicCodeGeneratorMIPS64::VisitUnsafeGetObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001245 GenUnsafeGet(invoke, Primitive::kPrimNot, /* is_volatile */ false, codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001246}
1247
1248// Object sun.misc.Unsafe.getObjectVolatile(Object o, long offset)
1249void IntrinsicLocationsBuilderMIPS64::VisitUnsafeGetObjectVolatile(HInvoke* invoke) {
1250 CreateIntIntIntToIntLocations(arena_, invoke);
1251}
1252
1253void IntrinsicCodeGeneratorMIPS64::VisitUnsafeGetObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001254 GenUnsafeGet(invoke, Primitive::kPrimNot, /* is_volatile */ true, codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001255}
1256
1257static void CreateIntIntIntIntToVoid(ArenaAllocator* arena, HInvoke* invoke) {
1258 LocationSummary* locations = new (arena) LocationSummary(invoke,
1259 LocationSummary::kNoCall,
1260 kIntrinsified);
1261 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1262 locations->SetInAt(1, Location::RequiresRegister());
1263 locations->SetInAt(2, Location::RequiresRegister());
1264 locations->SetInAt(3, Location::RequiresRegister());
1265}
1266
1267static void GenUnsafePut(LocationSummary* locations,
1268 Primitive::Type type,
1269 bool is_volatile,
1270 bool is_ordered,
1271 CodeGeneratorMIPS64* codegen) {
1272 DCHECK((type == Primitive::kPrimInt) ||
1273 (type == Primitive::kPrimLong) ||
1274 (type == Primitive::kPrimNot));
1275 Mips64Assembler* assembler = codegen->GetAssembler();
1276 // Object pointer.
1277 GpuRegister base = locations->InAt(1).AsRegister<GpuRegister>();
1278 // Long offset.
1279 GpuRegister offset = locations->InAt(2).AsRegister<GpuRegister>();
1280 GpuRegister value = locations->InAt(3).AsRegister<GpuRegister>();
1281
1282 __ Daddu(TMP, base, offset);
1283 if (is_volatile || is_ordered) {
1284 __ Sync(0);
1285 }
1286 switch (type) {
1287 case Primitive::kPrimInt:
1288 case Primitive::kPrimNot:
Alexey Frunzec061de12017-02-14 13:27:23 -08001289 if (kPoisonHeapReferences && type == Primitive::kPrimNot) {
1290 __ PoisonHeapReference(AT, value);
1291 __ Sw(AT, TMP, 0);
1292 } else {
1293 __ Sw(value, TMP, 0);
1294 }
Chris Larsen1360ada2015-09-04 23:38:16 -07001295 break;
1296
1297 case Primitive::kPrimLong:
1298 __ Sd(value, TMP, 0);
1299 break;
1300
1301 default:
1302 LOG(FATAL) << "Unsupported op size " << type;
1303 UNREACHABLE();
1304 }
1305 if (is_volatile) {
1306 __ Sync(0);
1307 }
1308
1309 if (type == Primitive::kPrimNot) {
Goran Jakovljevic8ed18262016-01-22 13:01:00 +01001310 bool value_can_be_null = true; // TODO: Worth finding out this information?
1311 codegen->MarkGCCard(base, value, value_can_be_null);
Chris Larsen1360ada2015-09-04 23:38:16 -07001312 }
1313}
1314
1315// void sun.misc.Unsafe.putInt(Object o, long offset, int x)
1316void IntrinsicLocationsBuilderMIPS64::VisitUnsafePut(HInvoke* invoke) {
1317 CreateIntIntIntIntToVoid(arena_, invoke);
1318}
1319
1320void IntrinsicCodeGeneratorMIPS64::VisitUnsafePut(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001321 GenUnsafePut(invoke->GetLocations(),
1322 Primitive::kPrimInt,
1323 /* is_volatile */ false,
1324 /* is_ordered */ false,
1325 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001326}
1327
1328// void sun.misc.Unsafe.putOrderedInt(Object o, long offset, int x)
1329void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutOrdered(HInvoke* invoke) {
1330 CreateIntIntIntIntToVoid(arena_, invoke);
1331}
1332
1333void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001334 GenUnsafePut(invoke->GetLocations(),
1335 Primitive::kPrimInt,
1336 /* is_volatile */ false,
1337 /* is_ordered */ true,
1338 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001339}
1340
1341// void sun.misc.Unsafe.putIntVolatile(Object o, long offset, int x)
1342void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutVolatile(HInvoke* invoke) {
1343 CreateIntIntIntIntToVoid(arena_, invoke);
1344}
1345
1346void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001347 GenUnsafePut(invoke->GetLocations(),
1348 Primitive::kPrimInt,
1349 /* is_volatile */ true,
1350 /* is_ordered */ false,
1351 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001352}
1353
1354// void sun.misc.Unsafe.putObject(Object o, long offset, Object x)
1355void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutObject(HInvoke* invoke) {
1356 CreateIntIntIntIntToVoid(arena_, invoke);
1357}
1358
1359void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutObject(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001360 GenUnsafePut(invoke->GetLocations(),
1361 Primitive::kPrimNot,
1362 /* is_volatile */ false,
1363 /* is_ordered */ false,
1364 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001365}
1366
1367// void sun.misc.Unsafe.putOrderedObject(Object o, long offset, Object x)
1368void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutObjectOrdered(HInvoke* invoke) {
1369 CreateIntIntIntIntToVoid(arena_, invoke);
1370}
1371
1372void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutObjectOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001373 GenUnsafePut(invoke->GetLocations(),
1374 Primitive::kPrimNot,
1375 /* is_volatile */ false,
1376 /* is_ordered */ true,
1377 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001378}
1379
1380// void sun.misc.Unsafe.putObjectVolatile(Object o, long offset, Object x)
1381void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutObjectVolatile(HInvoke* invoke) {
1382 CreateIntIntIntIntToVoid(arena_, invoke);
1383}
1384
1385void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutObjectVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001386 GenUnsafePut(invoke->GetLocations(),
1387 Primitive::kPrimNot,
1388 /* is_volatile */ true,
1389 /* is_ordered */ false,
1390 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001391}
1392
1393// void sun.misc.Unsafe.putLong(Object o, long offset, long x)
1394void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutLong(HInvoke* invoke) {
1395 CreateIntIntIntIntToVoid(arena_, invoke);
1396}
1397
1398void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutLong(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001399 GenUnsafePut(invoke->GetLocations(),
1400 Primitive::kPrimLong,
1401 /* is_volatile */ false,
1402 /* is_ordered */ false,
1403 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001404}
1405
1406// void sun.misc.Unsafe.putOrderedLong(Object o, long offset, long x)
1407void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutLongOrdered(HInvoke* invoke) {
1408 CreateIntIntIntIntToVoid(arena_, invoke);
1409}
1410
1411void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutLongOrdered(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001412 GenUnsafePut(invoke->GetLocations(),
1413 Primitive::kPrimLong,
1414 /* is_volatile */ false,
1415 /* is_ordered */ true,
1416 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001417}
1418
1419// void sun.misc.Unsafe.putLongVolatile(Object o, long offset, long x)
1420void IntrinsicLocationsBuilderMIPS64::VisitUnsafePutLongVolatile(HInvoke* invoke) {
1421 CreateIntIntIntIntToVoid(arena_, invoke);
1422}
1423
1424void IntrinsicCodeGeneratorMIPS64::VisitUnsafePutLongVolatile(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001425 GenUnsafePut(invoke->GetLocations(),
1426 Primitive::kPrimLong,
1427 /* is_volatile */ true,
1428 /* is_ordered */ false,
1429 codegen_);
Chris Larsen1360ada2015-09-04 23:38:16 -07001430}
1431
Chris Larsen36427492015-10-23 02:19:38 -07001432static void CreateIntIntIntIntIntToInt(ArenaAllocator* arena, HInvoke* invoke) {
1433 LocationSummary* locations = new (arena) LocationSummary(invoke,
1434 LocationSummary::kNoCall,
1435 kIntrinsified);
1436 locations->SetInAt(0, Location::NoLocation()); // Unused receiver.
1437 locations->SetInAt(1, Location::RequiresRegister());
1438 locations->SetInAt(2, Location::RequiresRegister());
1439 locations->SetInAt(3, Location::RequiresRegister());
1440 locations->SetInAt(4, Location::RequiresRegister());
1441
1442 locations->SetOut(Location::RequiresRegister());
1443}
1444
1445static void GenCas(LocationSummary* locations, Primitive::Type type, CodeGeneratorMIPS64* codegen) {
1446 Mips64Assembler* assembler = codegen->GetAssembler();
1447 GpuRegister base = locations->InAt(1).AsRegister<GpuRegister>();
1448 GpuRegister offset = locations->InAt(2).AsRegister<GpuRegister>();
1449 GpuRegister expected = locations->InAt(3).AsRegister<GpuRegister>();
1450 GpuRegister value = locations->InAt(4).AsRegister<GpuRegister>();
1451 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
1452
1453 DCHECK_NE(base, out);
1454 DCHECK_NE(offset, out);
1455 DCHECK_NE(expected, out);
1456
Goran Jakovljevic8ed18262016-01-22 13:01:00 +01001457 if (type == Primitive::kPrimNot) {
1458 // Mark card for object assuming new value is stored.
1459 bool value_can_be_null = true; // TODO: Worth finding out this information?
1460 codegen->MarkGCCard(base, value, value_can_be_null);
1461 }
1462
Alexey Frunzec061de12017-02-14 13:27:23 -08001463 Mips64Label loop_head, exit_loop;
1464 __ Daddu(TMP, base, offset);
1465
1466 if (kPoisonHeapReferences && type == Primitive::kPrimNot) {
1467 __ PoisonHeapReference(expected);
1468 // Do not poison `value`, if it is the same register as
1469 // `expected`, which has just been poisoned.
1470 if (value != expected) {
1471 __ PoisonHeapReference(value);
1472 }
1473 }
1474
Chris Larsen36427492015-10-23 02:19:38 -07001475 // do {
1476 // tmp_value = [tmp_ptr] - expected;
1477 // } while (tmp_value == 0 && failure([tmp_ptr] <- r_new_value));
1478 // result = tmp_value != 0;
1479
Chris Larsen36427492015-10-23 02:19:38 -07001480 __ Sync(0);
1481 __ Bind(&loop_head);
1482 if (type == Primitive::kPrimLong) {
1483 __ Lld(out, TMP);
1484 } else {
Roland Levillain391b8662015-12-18 11:43:38 +00001485 // Note: We will need a read barrier here, when read barrier
1486 // support is added to the MIPS64 back end.
Chris Larsen36427492015-10-23 02:19:38 -07001487 __ Ll(out, TMP);
Alexey Frunzec061de12017-02-14 13:27:23 -08001488 if (type == Primitive::kPrimNot) {
1489 // The LL instruction sign-extends the 32-bit value, but
1490 // 32-bit references must be zero-extended. Zero-extend `out`.
1491 __ Dext(out, out, 0, 32);
1492 }
Chris Larsen36427492015-10-23 02:19:38 -07001493 }
1494 __ Dsubu(out, out, expected); // If we didn't get the 'expected'
1495 __ Sltiu(out, out, 1); // value, set 'out' to false, and
1496 __ Beqzc(out, &exit_loop); // return.
1497 __ Move(out, value); // Use 'out' for the 'store conditional' instruction.
1498 // If we use 'value' directly, we would lose 'value'
1499 // in the case that the store fails. Whether the
1500 // store succeeds, or fails, it will load the
Roland Levillain5e8d5f02016-10-18 18:03:43 +01001501 // correct Boolean value into the 'out' register.
Chris Larsen36427492015-10-23 02:19:38 -07001502 if (type == Primitive::kPrimLong) {
1503 __ Scd(out, TMP);
1504 } else {
1505 __ Sc(out, TMP);
1506 }
1507 __ Beqzc(out, &loop_head); // If we couldn't do the read-modify-write
1508 // cycle atomically then retry.
1509 __ Bind(&exit_loop);
1510 __ Sync(0);
Alexey Frunzec061de12017-02-14 13:27:23 -08001511
1512 if (kPoisonHeapReferences && type == Primitive::kPrimNot) {
1513 __ UnpoisonHeapReference(expected);
1514 // Do not unpoison `value`, if it is the same register as
1515 // `expected`, which has just been unpoisoned.
1516 if (value != expected) {
1517 __ UnpoisonHeapReference(value);
1518 }
1519 }
Chris Larsen36427492015-10-23 02:19:38 -07001520}
1521
1522// boolean sun.misc.Unsafe.compareAndSwapInt(Object o, long offset, int expected, int x)
1523void IntrinsicLocationsBuilderMIPS64::VisitUnsafeCASInt(HInvoke* invoke) {
1524 CreateIntIntIntIntIntToInt(arena_, invoke);
1525}
1526
1527void IntrinsicCodeGeneratorMIPS64::VisitUnsafeCASInt(HInvoke* invoke) {
1528 GenCas(invoke->GetLocations(), Primitive::kPrimInt, codegen_);
1529}
1530
1531// boolean sun.misc.Unsafe.compareAndSwapLong(Object o, long offset, long expected, long x)
1532void IntrinsicLocationsBuilderMIPS64::VisitUnsafeCASLong(HInvoke* invoke) {
1533 CreateIntIntIntIntIntToInt(arena_, invoke);
1534}
1535
1536void IntrinsicCodeGeneratorMIPS64::VisitUnsafeCASLong(HInvoke* invoke) {
1537 GenCas(invoke->GetLocations(), Primitive::kPrimLong, codegen_);
1538}
1539
1540// boolean sun.misc.Unsafe.compareAndSwapObject(Object o, long offset, Object expected, Object x)
1541void IntrinsicLocationsBuilderMIPS64::VisitUnsafeCASObject(HInvoke* invoke) {
1542 CreateIntIntIntIntIntToInt(arena_, invoke);
1543}
1544
1545void IntrinsicCodeGeneratorMIPS64::VisitUnsafeCASObject(HInvoke* invoke) {
1546 GenCas(invoke->GetLocations(), Primitive::kPrimNot, codegen_);
1547}
1548
Chris Larsen9701c2e2015-09-04 17:22:47 -07001549// int java.lang.String.compareTo(String anotherString)
1550void IntrinsicLocationsBuilderMIPS64::VisitStringCompareTo(HInvoke* invoke) {
1551 LocationSummary* locations = new (arena_) LocationSummary(invoke,
Serban Constantinescufc734082016-07-19 17:18:07 +01001552 LocationSummary::kCallOnMainAndSlowPath,
Chris Larsen9701c2e2015-09-04 17:22:47 -07001553 kIntrinsified);
1554 InvokeRuntimeCallingConvention calling_convention;
1555 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1556 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1557 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimInt);
1558 locations->SetOut(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1559}
1560
1561void IntrinsicCodeGeneratorMIPS64::VisitStringCompareTo(HInvoke* invoke) {
1562 Mips64Assembler* assembler = GetAssembler();
1563 LocationSummary* locations = invoke->GetLocations();
1564
1565 // Note that the null check must have been done earlier.
1566 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1567
1568 GpuRegister argument = locations->InAt(1).AsRegister<GpuRegister>();
1569 SlowPathCodeMIPS64* slow_path = new (GetAllocator()) IntrinsicSlowPathMIPS64(invoke);
1570 codegen_->AddSlowPath(slow_path);
1571 __ Beqzc(argument, slow_path->GetEntryLabel());
1572
Serban Constantinescufc734082016-07-19 17:18:07 +01001573 codegen_->InvokeRuntime(kQuickStringCompareTo, invoke, invoke->GetDexPc(), slow_path);
Chris Larsen9701c2e2015-09-04 17:22:47 -07001574 __ Bind(slow_path->GetExitLabel());
1575}
1576
Chris Larsen972d6d72015-10-20 11:29:12 -07001577// boolean java.lang.String.equals(Object anObject)
1578void IntrinsicLocationsBuilderMIPS64::VisitStringEquals(HInvoke* invoke) {
1579 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1580 LocationSummary::kNoCall,
1581 kIntrinsified);
1582 locations->SetInAt(0, Location::RequiresRegister());
1583 locations->SetInAt(1, Location::RequiresRegister());
1584 locations->SetOut(Location::RequiresRegister());
1585
1586 // Temporary registers to store lengths of strings and for calculations.
1587 locations->AddTemp(Location::RequiresRegister());
1588 locations->AddTemp(Location::RequiresRegister());
1589 locations->AddTemp(Location::RequiresRegister());
1590}
1591
1592void IntrinsicCodeGeneratorMIPS64::VisitStringEquals(HInvoke* invoke) {
1593 Mips64Assembler* assembler = GetAssembler();
1594 LocationSummary* locations = invoke->GetLocations();
1595
1596 GpuRegister str = locations->InAt(0).AsRegister<GpuRegister>();
1597 GpuRegister arg = locations->InAt(1).AsRegister<GpuRegister>();
1598 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
1599
1600 GpuRegister temp1 = locations->GetTemp(0).AsRegister<GpuRegister>();
1601 GpuRegister temp2 = locations->GetTemp(1).AsRegister<GpuRegister>();
1602 GpuRegister temp3 = locations->GetTemp(2).AsRegister<GpuRegister>();
1603
Alexey Frunzea0e87b02015-09-24 22:57:20 -07001604 Mips64Label loop;
1605 Mips64Label end;
1606 Mips64Label return_true;
1607 Mips64Label return_false;
Chris Larsen972d6d72015-10-20 11:29:12 -07001608
1609 // Get offsets of count, value, and class fields within a string object.
1610 const int32_t count_offset = mirror::String::CountOffset().Int32Value();
1611 const int32_t value_offset = mirror::String::ValueOffset().Int32Value();
1612 const int32_t class_offset = mirror::Object::ClassOffset().Int32Value();
1613
1614 // Note that the null check must have been done earlier.
1615 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1616
1617 // If the register containing the pointer to "this", and the register
1618 // containing the pointer to "anObject" are the same register then
1619 // "this", and "anObject" are the same object and we can
1620 // short-circuit the logic to a true result.
1621 if (str == arg) {
1622 __ LoadConst64(out, 1);
1623 return;
1624 }
1625
Goran Jakovljevic64fa84f2017-02-27 13:14:57 +01001626 StringEqualsOptimizations optimizations(invoke);
1627 if (!optimizations.GetArgumentNotNull()) {
1628 // Check if input is null, return false if it is.
1629 __ Beqzc(arg, &return_false);
1630 }
Chris Larsen972d6d72015-10-20 11:29:12 -07001631
1632 // Reference equality check, return true if same reference.
1633 __ Beqc(str, arg, &return_true);
1634
Goran Jakovljevic64fa84f2017-02-27 13:14:57 +01001635 if (!optimizations.GetArgumentIsString()) {
1636 // Instanceof check for the argument by comparing class fields.
1637 // All string objects must have the same type since String cannot be subclassed.
1638 // Receiver must be a string object, so its class field is equal to all strings' class fields.
1639 // If the argument is a string object, its class field must be equal to receiver's class field.
1640 __ Lw(temp1, str, class_offset);
1641 __ Lw(temp2, arg, class_offset);
1642 __ Bnec(temp1, temp2, &return_false);
1643 }
Chris Larsen972d6d72015-10-20 11:29:12 -07001644
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001645 // Load `count` fields of this and argument strings.
Chris Larsen972d6d72015-10-20 11:29:12 -07001646 __ Lw(temp1, str, count_offset);
1647 __ Lw(temp2, arg, count_offset);
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001648 // Check if `count` fields are equal, return false if they're not.
1649 // Also compares the compression style, if differs return false.
Chris Larsen972d6d72015-10-20 11:29:12 -07001650 __ Bnec(temp1, temp2, &return_false);
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001651 // Return true if both strings are empty. Even with string compression `count == 0` means empty.
1652 static_assert(static_cast<uint32_t>(mirror::StringCompressionFlag::kCompressed) == 0u,
1653 "Expecting 0=compressed, 1=uncompressed");
Chris Larsen972d6d72015-10-20 11:29:12 -07001654 __ Beqzc(temp1, &return_true);
1655
1656 // Don't overwrite input registers
1657 __ Move(TMP, str);
1658 __ Move(temp3, arg);
1659
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001660 // Assertions that must hold in order to compare strings 8 bytes at a time.
Chris Larsen972d6d72015-10-20 11:29:12 -07001661 DCHECK_ALIGNED(value_offset, 8);
1662 static_assert(IsAligned<8>(kObjectAlignment), "String of odd length is not zero padded");
1663
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001664 if (mirror::kUseStringCompression) {
1665 // For string compression, calculate the number of bytes to compare (not chars).
1666 __ Dext(temp2, temp1, 0, 1); // Extract compression flag.
1667 __ Srl(temp1, temp1, 1); // Extract length.
1668 __ Sllv(temp1, temp1, temp2); // Double the byte count if uncompressed.
1669 }
1670
1671 // Loop to compare strings 8 bytes at a time starting at the beginning of the string.
1672 // Ok to do this because strings are zero-padded to kObjectAlignment.
Chris Larsen972d6d72015-10-20 11:29:12 -07001673 __ Bind(&loop);
1674 __ Ld(out, TMP, value_offset);
1675 __ Ld(temp2, temp3, value_offset);
1676 __ Bnec(out, temp2, &return_false);
1677 __ Daddiu(TMP, TMP, 8);
1678 __ Daddiu(temp3, temp3, 8);
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001679 // With string compression, we have compared 8 bytes, otherwise 4 chars.
1680 __ Addiu(temp1, temp1, mirror::kUseStringCompression ? -8 : -4);
Chris Larsen972d6d72015-10-20 11:29:12 -07001681 __ Bgtzc(temp1, &loop);
1682
1683 // Return true and exit the function.
1684 // If loop does not result in returning false, we return true.
1685 __ Bind(&return_true);
1686 __ LoadConst64(out, 1);
Alexey Frunzea0e87b02015-09-24 22:57:20 -07001687 __ Bc(&end);
Chris Larsen972d6d72015-10-20 11:29:12 -07001688
1689 // Return false and exit the function.
1690 __ Bind(&return_false);
1691 __ LoadConst64(out, 0);
1692 __ Bind(&end);
1693}
1694
Chris Larsen9701c2e2015-09-04 17:22:47 -07001695static void GenerateStringIndexOf(HInvoke* invoke,
1696 Mips64Assembler* assembler,
1697 CodeGeneratorMIPS64* codegen,
1698 ArenaAllocator* allocator,
1699 bool start_at_zero) {
1700 LocationSummary* locations = invoke->GetLocations();
1701 GpuRegister tmp_reg = start_at_zero ? locations->GetTemp(0).AsRegister<GpuRegister>() : TMP;
1702
1703 // Note that the null check must have been done earlier.
1704 DCHECK(!invoke->CanDoImplicitNullCheckOn(invoke->InputAt(0)));
1705
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001706 // Check for code points > 0xFFFF. Either a slow-path check when we don't know statically,
1707 // or directly dispatch for a large constant, or omit slow-path for a small constant or a char.
Chris Larsen9701c2e2015-09-04 17:22:47 -07001708 SlowPathCodeMIPS64* slow_path = nullptr;
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001709 HInstruction* code_point = invoke->InputAt(1);
1710 if (code_point->IsIntConstant()) {
Vladimir Markoda051082016-05-17 16:10:20 +01001711 if (!IsUint<16>(code_point->AsIntConstant()->GetValue())) {
Chris Larsen9701c2e2015-09-04 17:22:47 -07001712 // Always needs the slow-path. We could directly dispatch to it,
1713 // but this case should be rare, so for simplicity just put the
1714 // full slow-path down and branch unconditionally.
1715 slow_path = new (allocator) IntrinsicSlowPathMIPS64(invoke);
1716 codegen->AddSlowPath(slow_path);
Alexey Frunzea0e87b02015-09-24 22:57:20 -07001717 __ Bc(slow_path->GetEntryLabel());
Chris Larsen9701c2e2015-09-04 17:22:47 -07001718 __ Bind(slow_path->GetExitLabel());
1719 return;
1720 }
Vladimir Markofb6c90a2016-05-06 15:52:12 +01001721 } else if (code_point->GetType() != Primitive::kPrimChar) {
Chris Larsen9701c2e2015-09-04 17:22:47 -07001722 GpuRegister char_reg = locations->InAt(1).AsRegister<GpuRegister>();
1723 __ LoadConst32(tmp_reg, std::numeric_limits<uint16_t>::max());
1724 slow_path = new (allocator) IntrinsicSlowPathMIPS64(invoke);
1725 codegen->AddSlowPath(slow_path);
1726 __ Bltuc(tmp_reg, char_reg, slow_path->GetEntryLabel()); // UTF-16 required
1727 }
1728
1729 if (start_at_zero) {
1730 DCHECK_EQ(tmp_reg, A2);
1731 // Start-index = 0.
1732 __ Clear(tmp_reg);
Chris Larsen9701c2e2015-09-04 17:22:47 -07001733 }
1734
Serban Constantinescufc734082016-07-19 17:18:07 +01001735 codegen->InvokeRuntime(kQuickIndexOf, invoke, invoke->GetDexPc(), slow_path);
Roland Levillain42ad2882016-02-29 18:26:54 +00001736 CheckEntrypointTypes<kQuickIndexOf, int32_t, void*, uint32_t, uint32_t>();
Chris Larsen9701c2e2015-09-04 17:22:47 -07001737
1738 if (slow_path != nullptr) {
1739 __ Bind(slow_path->GetExitLabel());
1740 }
1741}
1742
1743// int java.lang.String.indexOf(int ch)
1744void IntrinsicLocationsBuilderMIPS64::VisitStringIndexOf(HInvoke* invoke) {
1745 LocationSummary* locations = new (arena_) LocationSummary(invoke,
Serban Constantinescu806f0122016-03-09 11:10:16 +00001746 LocationSummary::kCallOnMainAndSlowPath,
Chris Larsen9701c2e2015-09-04 17:22:47 -07001747 kIntrinsified);
1748 // We have a hand-crafted assembly stub that follows the runtime
1749 // calling convention. So it's best to align the inputs accordingly.
1750 InvokeRuntimeCallingConvention calling_convention;
1751 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1752 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1753 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimInt);
1754 locations->SetOut(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1755
1756 // Need a temp for slow-path codepoint compare, and need to send start-index=0.
1757 locations->AddTemp(Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1758}
1759
1760void IntrinsicCodeGeneratorMIPS64::VisitStringIndexOf(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001761 GenerateStringIndexOf(invoke, GetAssembler(), codegen_, GetAllocator(), /* start_at_zero */ true);
Chris Larsen9701c2e2015-09-04 17:22:47 -07001762}
1763
1764// int java.lang.String.indexOf(int ch, int fromIndex)
1765void IntrinsicLocationsBuilderMIPS64::VisitStringIndexOfAfter(HInvoke* invoke) {
1766 LocationSummary* locations = new (arena_) LocationSummary(invoke,
Serban Constantinescu806f0122016-03-09 11:10:16 +00001767 LocationSummary::kCallOnMainAndSlowPath,
Chris Larsen9701c2e2015-09-04 17:22:47 -07001768 kIntrinsified);
1769 // We have a hand-crafted assembly stub that follows the runtime
1770 // calling convention. So it's best to align the inputs accordingly.
1771 InvokeRuntimeCallingConvention calling_convention;
1772 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1773 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1774 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1775 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimInt);
1776 locations->SetOut(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1777}
1778
1779void IntrinsicCodeGeneratorMIPS64::VisitStringIndexOfAfter(HInvoke* invoke) {
Roland Levillainbf84a3d2015-12-04 14:33:02 +00001780 GenerateStringIndexOf(
1781 invoke, GetAssembler(), codegen_, GetAllocator(), /* start_at_zero */ false);
Chris Larsen9701c2e2015-09-04 17:22:47 -07001782}
1783
Roland Levillaincc3839c2016-02-29 16:23:48 +00001784// java.lang.StringFactory.newStringFromBytes(byte[] data, int high, int offset, int byteCount)
Chris Larsen9701c2e2015-09-04 17:22:47 -07001785void IntrinsicLocationsBuilderMIPS64::VisitStringNewStringFromBytes(HInvoke* invoke) {
1786 LocationSummary* locations = new (arena_) LocationSummary(invoke,
Serban Constantinescu806f0122016-03-09 11:10:16 +00001787 LocationSummary::kCallOnMainAndSlowPath,
Chris Larsen9701c2e2015-09-04 17:22:47 -07001788 kIntrinsified);
1789 InvokeRuntimeCallingConvention calling_convention;
1790 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1791 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1792 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1793 locations->SetInAt(3, Location::RegisterLocation(calling_convention.GetRegisterAt(3)));
1794 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimInt);
1795 locations->SetOut(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1796}
1797
1798void IntrinsicCodeGeneratorMIPS64::VisitStringNewStringFromBytes(HInvoke* invoke) {
1799 Mips64Assembler* assembler = GetAssembler();
1800 LocationSummary* locations = invoke->GetLocations();
1801
1802 GpuRegister byte_array = locations->InAt(0).AsRegister<GpuRegister>();
1803 SlowPathCodeMIPS64* slow_path = new (GetAllocator()) IntrinsicSlowPathMIPS64(invoke);
1804 codegen_->AddSlowPath(slow_path);
1805 __ Beqzc(byte_array, slow_path->GetEntryLabel());
1806
Serban Constantinescufc734082016-07-19 17:18:07 +01001807 codegen_->InvokeRuntime(kQuickAllocStringFromBytes, invoke, invoke->GetDexPc(), slow_path);
Roland Levillainf969a202016-03-09 16:14:00 +00001808 CheckEntrypointTypes<kQuickAllocStringFromBytes, void*, void*, int32_t, int32_t, int32_t>();
Chris Larsen9701c2e2015-09-04 17:22:47 -07001809 __ Bind(slow_path->GetExitLabel());
1810}
1811
Roland Levillaincc3839c2016-02-29 16:23:48 +00001812// java.lang.StringFactory.newStringFromChars(int offset, int charCount, char[] data)
Chris Larsen9701c2e2015-09-04 17:22:47 -07001813void IntrinsicLocationsBuilderMIPS64::VisitStringNewStringFromChars(HInvoke* invoke) {
1814 LocationSummary* locations = new (arena_) LocationSummary(invoke,
Serban Constantinescu54ff4822016-07-07 18:03:19 +01001815 LocationSummary::kCallOnMainOnly,
Chris Larsen9701c2e2015-09-04 17:22:47 -07001816 kIntrinsified);
1817 InvokeRuntimeCallingConvention calling_convention;
1818 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1819 locations->SetInAt(1, Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1820 locations->SetInAt(2, Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1821 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimInt);
1822 locations->SetOut(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1823}
1824
1825void IntrinsicCodeGeneratorMIPS64::VisitStringNewStringFromChars(HInvoke* invoke) {
Roland Levillaincc3839c2016-02-29 16:23:48 +00001826 // No need to emit code checking whether `locations->InAt(2)` is a null
1827 // pointer, as callers of the native method
1828 //
1829 // java.lang.StringFactory.newStringFromChars(int offset, int charCount, char[] data)
1830 //
1831 // all include a null check on `data` before calling that method.
Serban Constantinescufc734082016-07-19 17:18:07 +01001832 codegen_->InvokeRuntime(kQuickAllocStringFromChars, invoke, invoke->GetDexPc());
Roland Levillainf969a202016-03-09 16:14:00 +00001833 CheckEntrypointTypes<kQuickAllocStringFromChars, void*, int32_t, int32_t, void*>();
Chris Larsen9701c2e2015-09-04 17:22:47 -07001834}
1835
Roland Levillainf969a202016-03-09 16:14:00 +00001836// java.lang.StringFactory.newStringFromString(String toCopy)
Chris Larsen9701c2e2015-09-04 17:22:47 -07001837void IntrinsicLocationsBuilderMIPS64::VisitStringNewStringFromString(HInvoke* invoke) {
1838 LocationSummary* locations = new (arena_) LocationSummary(invoke,
Serban Constantinescu806f0122016-03-09 11:10:16 +00001839 LocationSummary::kCallOnMainAndSlowPath,
Chris Larsen9701c2e2015-09-04 17:22:47 -07001840 kIntrinsified);
1841 InvokeRuntimeCallingConvention calling_convention;
1842 locations->SetInAt(0, Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
Chris Larsen9701c2e2015-09-04 17:22:47 -07001843 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimInt);
1844 locations->SetOut(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1845}
1846
1847void IntrinsicCodeGeneratorMIPS64::VisitStringNewStringFromString(HInvoke* invoke) {
1848 Mips64Assembler* assembler = GetAssembler();
1849 LocationSummary* locations = invoke->GetLocations();
1850
1851 GpuRegister string_to_copy = locations->InAt(0).AsRegister<GpuRegister>();
1852 SlowPathCodeMIPS64* slow_path = new (GetAllocator()) IntrinsicSlowPathMIPS64(invoke);
1853 codegen_->AddSlowPath(slow_path);
1854 __ Beqzc(string_to_copy, slow_path->GetEntryLabel());
1855
Serban Constantinescufc734082016-07-19 17:18:07 +01001856 codegen_->InvokeRuntime(kQuickAllocStringFromString, invoke, invoke->GetDexPc(), slow_path);
Roland Levillainf969a202016-03-09 16:14:00 +00001857 CheckEntrypointTypes<kQuickAllocStringFromString, void*, void*>();
Chris Larsen9701c2e2015-09-04 17:22:47 -07001858 __ Bind(slow_path->GetExitLabel());
1859}
1860
Chris Larsenddec7f92016-02-16 12:35:04 -08001861static void GenIsInfinite(LocationSummary* locations,
1862 bool is64bit,
1863 Mips64Assembler* assembler) {
1864 FpuRegister in = locations->InAt(0).AsFpuRegister<FpuRegister>();
1865 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
1866
1867 if (is64bit) {
1868 __ ClassD(FTMP, in);
1869 } else {
1870 __ ClassS(FTMP, in);
1871 }
1872 __ Mfc1(out, FTMP);
1873 __ Andi(out, out, kPositiveInfinity | kNegativeInfinity);
1874 __ Sltu(out, ZERO, out);
1875}
1876
1877// boolean java.lang.Float.isInfinite(float)
1878void IntrinsicLocationsBuilderMIPS64::VisitFloatIsInfinite(HInvoke* invoke) {
1879 CreateFPToIntLocations(arena_, invoke);
1880}
1881
1882void IntrinsicCodeGeneratorMIPS64::VisitFloatIsInfinite(HInvoke* invoke) {
1883 GenIsInfinite(invoke->GetLocations(), /* is64bit */ false, GetAssembler());
1884}
1885
1886// boolean java.lang.Double.isInfinite(double)
1887void IntrinsicLocationsBuilderMIPS64::VisitDoubleIsInfinite(HInvoke* invoke) {
1888 CreateFPToIntLocations(arena_, invoke);
1889}
1890
1891void IntrinsicCodeGeneratorMIPS64::VisitDoubleIsInfinite(HInvoke* invoke) {
1892 GenIsInfinite(invoke->GetLocations(), /* is64bit */ true, GetAssembler());
1893}
1894
Chris Larsene3660592016-11-09 11:13:42 -08001895// void java.lang.String.getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin)
1896void IntrinsicLocationsBuilderMIPS64::VisitStringGetCharsNoCheck(HInvoke* invoke) {
1897 LocationSummary* locations = new (arena_) LocationSummary(invoke,
1898 LocationSummary::kCallOnMainOnly,
1899 kIntrinsified);
1900 locations->SetInAt(0, Location::RequiresRegister());
1901 locations->SetInAt(1, Location::RequiresRegister());
1902 locations->SetInAt(2, Location::RequiresRegister());
1903 locations->SetInAt(3, Location::RequiresRegister());
1904 locations->SetInAt(4, Location::RequiresRegister());
1905
1906 // We will call memcpy() to do the actual work. Allocate the temporary
1907 // registers to use the correct input registers, and output register.
1908 // memcpy() uses the normal MIPS calling conventions.
1909 InvokeRuntimeCallingConvention calling_convention;
1910
1911 locations->AddTemp(Location::RegisterLocation(calling_convention.GetRegisterAt(0)));
1912 locations->AddTemp(Location::RegisterLocation(calling_convention.GetRegisterAt(1)));
1913 locations->AddTemp(Location::RegisterLocation(calling_convention.GetRegisterAt(2)));
1914
1915 Location outLocation = calling_convention.GetReturnLocation(Primitive::kPrimLong);
1916 locations->AddTemp(Location::RegisterLocation(outLocation.AsRegister<GpuRegister>()));
1917}
1918
1919void IntrinsicCodeGeneratorMIPS64::VisitStringGetCharsNoCheck(HInvoke* invoke) {
1920 Mips64Assembler* assembler = GetAssembler();
1921 LocationSummary* locations = invoke->GetLocations();
1922
1923 // Check assumption that sizeof(Char) is 2 (used in scaling below).
1924 const size_t char_size = Primitive::ComponentSize(Primitive::kPrimChar);
1925 DCHECK_EQ(char_size, 2u);
1926 const size_t char_shift = Primitive::ComponentSizeShift(Primitive::kPrimChar);
1927
1928 GpuRegister srcObj = locations->InAt(0).AsRegister<GpuRegister>();
1929 GpuRegister srcBegin = locations->InAt(1).AsRegister<GpuRegister>();
1930 GpuRegister srcEnd = locations->InAt(2).AsRegister<GpuRegister>();
1931 GpuRegister dstObj = locations->InAt(3).AsRegister<GpuRegister>();
1932 GpuRegister dstBegin = locations->InAt(4).AsRegister<GpuRegister>();
1933
1934 GpuRegister dstPtr = locations->GetTemp(0).AsRegister<GpuRegister>();
1935 DCHECK_EQ(dstPtr, A0);
1936 GpuRegister srcPtr = locations->GetTemp(1).AsRegister<GpuRegister>();
1937 DCHECK_EQ(srcPtr, A1);
1938 GpuRegister numChrs = locations->GetTemp(2).AsRegister<GpuRegister>();
1939 DCHECK_EQ(numChrs, A2);
1940
1941 GpuRegister dstReturn = locations->GetTemp(3).AsRegister<GpuRegister>();
1942 DCHECK_EQ(dstReturn, V0);
1943
1944 Mips64Label done;
1945
1946 // Location of data in char array buffer.
1947 const uint32_t data_offset = mirror::Array::DataOffset(char_size).Uint32Value();
1948
1949 // Get offset of value field within a string object.
1950 const int32_t value_offset = mirror::String::ValueOffset().Int32Value();
1951
1952 __ Beqc(srcEnd, srcBegin, &done); // No characters to move.
1953
1954 // Calculate number of characters to be copied.
1955 __ Dsubu(numChrs, srcEnd, srcBegin);
1956
1957 // Calculate destination address.
1958 __ Daddiu(dstPtr, dstObj, data_offset);
1959 __ Dlsa(dstPtr, dstBegin, dstPtr, char_shift);
1960
Goran Jakovljevicf94fa812017-02-10 17:48:52 +01001961 if (mirror::kUseStringCompression) {
1962 Mips64Label uncompressed_copy, compressed_loop;
1963 const uint32_t count_offset = mirror::String::CountOffset().Uint32Value();
1964 // Load count field and extract compression flag.
1965 __ LoadFromOffset(kLoadWord, TMP, srcObj, count_offset);
1966 __ Dext(TMP, TMP, 0, 1);
1967
1968 // If string is uncompressed, use memcpy() path.
1969 __ Bnezc(TMP, &uncompressed_copy);
1970
1971 // Copy loop for compressed src, copying 1 character (8-bit) to (16-bit) at a time.
1972 __ Daddu(srcPtr, srcObj, srcBegin);
1973 __ Bind(&compressed_loop);
1974 __ LoadFromOffset(kLoadUnsignedByte, TMP, srcPtr, value_offset);
1975 __ StoreToOffset(kStoreHalfword, TMP, dstPtr, 0);
1976 __ Daddiu(numChrs, numChrs, -1);
1977 __ Daddiu(srcPtr, srcPtr, 1);
1978 __ Daddiu(dstPtr, dstPtr, 2);
1979 __ Bnezc(numChrs, &compressed_loop);
1980
1981 __ Bc(&done);
1982 __ Bind(&uncompressed_copy);
1983 }
1984
Chris Larsene3660592016-11-09 11:13:42 -08001985 // Calculate source address.
1986 __ Daddiu(srcPtr, srcObj, value_offset);
1987 __ Dlsa(srcPtr, srcBegin, srcPtr, char_shift);
1988
1989 // Calculate number of bytes to copy from number of characters.
1990 __ Dsll(numChrs, numChrs, char_shift);
1991
1992 codegen_->InvokeRuntime(kQuickMemcpy, invoke, invoke->GetDexPc(), nullptr);
1993
1994 __ Bind(&done);
1995}
1996
Chris Larsenab922502016-04-15 10:00:56 -07001997static void GenHighestOneBit(LocationSummary* locations,
1998 Primitive::Type type,
1999 Mips64Assembler* assembler) {
2000 DCHECK(type == Primitive::kPrimInt || type == Primitive::kPrimLong) << PrettyDescriptor(type);
2001
2002 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
2003 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
2004
2005 if (type == Primitive::kPrimLong) {
2006 __ Dclz(TMP, in);
2007 __ LoadConst64(AT, INT64_C(0x8000000000000000));
Chris Larsen68db2a92016-09-14 15:41:29 -07002008 __ Dsrlv(AT, AT, TMP);
Chris Larsenab922502016-04-15 10:00:56 -07002009 } else {
2010 __ Clz(TMP, in);
2011 __ LoadConst32(AT, 0x80000000);
Chris Larsen68db2a92016-09-14 15:41:29 -07002012 __ Srlv(AT, AT, TMP);
Chris Larsenab922502016-04-15 10:00:56 -07002013 }
2014 // For either value of "type", when "in" is zero, "out" should also
2015 // be zero. Without this extra "and" operation, when "in" is zero,
2016 // "out" would be either Integer.MIN_VALUE, or Long.MIN_VALUE because
2017 // the MIPS logical shift operations "dsrlv", and "srlv" don't use
2018 // the shift amount (TMP) directly; they use either (TMP % 64) or
2019 // (TMP % 32), respectively.
Chris Larsen68db2a92016-09-14 15:41:29 -07002020 __ And(out, AT, in);
Chris Larsenab922502016-04-15 10:00:56 -07002021}
2022
2023// int java.lang.Integer.highestOneBit(int)
2024void IntrinsicLocationsBuilderMIPS64::VisitIntegerHighestOneBit(HInvoke* invoke) {
2025 CreateIntToIntLocations(arena_, invoke);
2026}
2027
2028void IntrinsicCodeGeneratorMIPS64::VisitIntegerHighestOneBit(HInvoke* invoke) {
2029 GenHighestOneBit(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
2030}
2031
2032// long java.lang.Long.highestOneBit(long)
2033void IntrinsicLocationsBuilderMIPS64::VisitLongHighestOneBit(HInvoke* invoke) {
2034 CreateIntToIntLocations(arena_, invoke);
2035}
2036
2037void IntrinsicCodeGeneratorMIPS64::VisitLongHighestOneBit(HInvoke* invoke) {
2038 GenHighestOneBit(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
2039}
2040
2041static void GenLowestOneBit(LocationSummary* locations,
2042 Primitive::Type type,
2043 Mips64Assembler* assembler) {
2044 DCHECK(type == Primitive::kPrimInt || type == Primitive::kPrimLong) << PrettyDescriptor(type);
2045
2046 GpuRegister in = locations->InAt(0).AsRegister<GpuRegister>();
2047 GpuRegister out = locations->Out().AsRegister<GpuRegister>();
2048
2049 if (type == Primitive::kPrimLong) {
2050 __ Dsubu(TMP, ZERO, in);
2051 } else {
2052 __ Subu(TMP, ZERO, in);
2053 }
2054 __ And(out, TMP, in);
2055}
2056
2057// int java.lang.Integer.lowestOneBit(int)
2058void IntrinsicLocationsBuilderMIPS64::VisitIntegerLowestOneBit(HInvoke* invoke) {
2059 CreateIntToIntLocations(arena_, invoke);
2060}
2061
2062void IntrinsicCodeGeneratorMIPS64::VisitIntegerLowestOneBit(HInvoke* invoke) {
2063 GenLowestOneBit(invoke->GetLocations(), Primitive::kPrimInt, GetAssembler());
2064}
2065
2066// long java.lang.Long.lowestOneBit(long)
2067void IntrinsicLocationsBuilderMIPS64::VisitLongLowestOneBit(HInvoke* invoke) {
2068 CreateIntToIntLocations(arena_, invoke);
2069}
2070
2071void IntrinsicCodeGeneratorMIPS64::VisitLongLowestOneBit(HInvoke* invoke) {
2072 GenLowestOneBit(invoke->GetLocations(), Primitive::kPrimLong, GetAssembler());
2073}
2074
Aart Bik2f9fcc92016-03-01 15:16:54 -08002075UNIMPLEMENTED_INTRINSIC(MIPS64, ReferenceGetReferent)
Aart Bik2f9fcc92016-03-01 15:16:54 -08002076UNIMPLEMENTED_INTRINSIC(MIPS64, SystemArrayCopyChar)
2077UNIMPLEMENTED_INTRINSIC(MIPS64, SystemArrayCopy)
Aart Bik3f67e692016-01-15 14:35:12 -08002078
Aart Bik2f9fcc92016-03-01 15:16:54 -08002079UNIMPLEMENTED_INTRINSIC(MIPS64, MathCos)
2080UNIMPLEMENTED_INTRINSIC(MIPS64, MathSin)
2081UNIMPLEMENTED_INTRINSIC(MIPS64, MathAcos)
2082UNIMPLEMENTED_INTRINSIC(MIPS64, MathAsin)
2083UNIMPLEMENTED_INTRINSIC(MIPS64, MathAtan)
2084UNIMPLEMENTED_INTRINSIC(MIPS64, MathAtan2)
2085UNIMPLEMENTED_INTRINSIC(MIPS64, MathCbrt)
2086UNIMPLEMENTED_INTRINSIC(MIPS64, MathCosh)
2087UNIMPLEMENTED_INTRINSIC(MIPS64, MathExp)
2088UNIMPLEMENTED_INTRINSIC(MIPS64, MathExpm1)
2089UNIMPLEMENTED_INTRINSIC(MIPS64, MathHypot)
2090UNIMPLEMENTED_INTRINSIC(MIPS64, MathLog)
2091UNIMPLEMENTED_INTRINSIC(MIPS64, MathLog10)
2092UNIMPLEMENTED_INTRINSIC(MIPS64, MathNextAfter)
2093UNIMPLEMENTED_INTRINSIC(MIPS64, MathSinh)
2094UNIMPLEMENTED_INTRINSIC(MIPS64, MathTan)
2095UNIMPLEMENTED_INTRINSIC(MIPS64, MathTanh)
Chris Larsen0b7ac982015-09-04 12:54:28 -07002096
Aart Bikff7d89c2016-11-07 08:49:28 -08002097UNIMPLEMENTED_INTRINSIC(MIPS64, StringStringIndexOf);
2098UNIMPLEMENTED_INTRINSIC(MIPS64, StringStringIndexOfAfter);
Aart Bik71bf7b42016-11-16 10:17:46 -08002099UNIMPLEMENTED_INTRINSIC(MIPS64, StringBufferAppend);
2100UNIMPLEMENTED_INTRINSIC(MIPS64, StringBufferLength);
2101UNIMPLEMENTED_INTRINSIC(MIPS64, StringBufferToString);
2102UNIMPLEMENTED_INTRINSIC(MIPS64, StringBuilderAppend);
2103UNIMPLEMENTED_INTRINSIC(MIPS64, StringBuilderLength);
2104UNIMPLEMENTED_INTRINSIC(MIPS64, StringBuilderToString);
Aart Bikff7d89c2016-11-07 08:49:28 -08002105
Aart Bik0e54c012016-03-04 12:08:31 -08002106// 1.8.
2107UNIMPLEMENTED_INTRINSIC(MIPS64, UnsafeGetAndAddInt)
2108UNIMPLEMENTED_INTRINSIC(MIPS64, UnsafeGetAndAddLong)
2109UNIMPLEMENTED_INTRINSIC(MIPS64, UnsafeGetAndSetInt)
2110UNIMPLEMENTED_INTRINSIC(MIPS64, UnsafeGetAndSetLong)
2111UNIMPLEMENTED_INTRINSIC(MIPS64, UnsafeGetAndSetObject)
Aart Bik0e54c012016-03-04 12:08:31 -08002112
Nicolas Geoffray331605a2017-03-01 11:01:41 +00002113UNIMPLEMENTED_INTRINSIC(MIPS64, IntegerValueOf)
2114
Aart Bik2f9fcc92016-03-01 15:16:54 -08002115UNREACHABLE_INTRINSICS(MIPS64)
Chris Larsen3039e382015-08-26 07:54:08 -07002116
2117#undef __
2118
2119} // namespace mips64
2120} // namespace art