blob: 5d63dd0ee2a22e245e379a45a21da391d15c7eed [file] [log] [blame]
Matteo Franchin43ec8732014-03-31 15:00:14 +01001/*
2 * Copyright (C) 2011 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 "arm64_lir.h"
18#include "codegen_arm64.h"
19#include "dex/quick/mir_to_lir-inl.h"
Serban Constantinescu2eba1fa2014-07-31 19:07:17 +010020#include "utils.h"
Matteo Franchin43ec8732014-03-31 15:00:14 +010021
22namespace art {
23
24void Arm64Mir2Lir::GenArithOpFloat(Instruction::Code opcode, RegLocation rl_dest,
Matteo Franchine45fb9e2014-05-06 10:10:30 +010025 RegLocation rl_src1, RegLocation rl_src2) {
26 int op = kA64Brk1d;
Matteo Franchin43ec8732014-03-31 15:00:14 +010027 RegLocation rl_result;
28
Matteo Franchin43ec8732014-03-31 15:00:14 +010029 switch (opcode) {
30 case Instruction::ADD_FLOAT_2ADDR:
31 case Instruction::ADD_FLOAT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010032 op = kA64Fadd3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010033 break;
34 case Instruction::SUB_FLOAT_2ADDR:
35 case Instruction::SUB_FLOAT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010036 op = kA64Fsub3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010037 break;
38 case Instruction::DIV_FLOAT_2ADDR:
39 case Instruction::DIV_FLOAT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010040 op = kA64Fdiv3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010041 break;
42 case Instruction::MUL_FLOAT_2ADDR:
43 case Instruction::MUL_FLOAT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010044 op = kA64Fmul3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010045 break;
46 case Instruction::REM_FLOAT_2ADDR:
47 case Instruction::REM_FLOAT:
48 FlushAllRegs(); // Send everything to home location
Andreas Gampe98430592014-07-27 19:44:50 -070049 CallRuntimeHelperRegLocationRegLocation(kQuickFmodf, rl_src1, rl_src2, false);
buzbeea0cd2d72014-06-01 09:33:49 -070050 rl_result = GetReturn(kFPReg);
Matteo Franchin43ec8732014-03-31 15:00:14 +010051 StoreValue(rl_dest, rl_result);
52 return;
53 case Instruction::NEG_FLOAT:
54 GenNegFloat(rl_dest, rl_src1);
55 return;
56 default:
57 LOG(FATAL) << "Unexpected opcode: " << opcode;
58 }
59 rl_src1 = LoadValue(rl_src1, kFPReg);
60 rl_src2 = LoadValue(rl_src2, kFPReg);
61 rl_result = EvalLoc(rl_dest, kFPReg, true);
62 NewLIR3(op, rl_result.reg.GetReg(), rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
63 StoreValue(rl_dest, rl_result);
64}
65
66void Arm64Mir2Lir::GenArithOpDouble(Instruction::Code opcode,
Matteo Franchine45fb9e2014-05-06 10:10:30 +010067 RegLocation rl_dest, RegLocation rl_src1, RegLocation rl_src2) {
68 int op = kA64Brk1d;
Matteo Franchin43ec8732014-03-31 15:00:14 +010069 RegLocation rl_result;
70
71 switch (opcode) {
72 case Instruction::ADD_DOUBLE_2ADDR:
73 case Instruction::ADD_DOUBLE:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010074 op = kA64Fadd3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010075 break;
76 case Instruction::SUB_DOUBLE_2ADDR:
77 case Instruction::SUB_DOUBLE:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010078 op = kA64Fsub3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010079 break;
80 case Instruction::DIV_DOUBLE_2ADDR:
81 case Instruction::DIV_DOUBLE:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010082 op = kA64Fdiv3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010083 break;
84 case Instruction::MUL_DOUBLE_2ADDR:
85 case Instruction::MUL_DOUBLE:
Matteo Franchine45fb9e2014-05-06 10:10:30 +010086 op = kA64Fmul3fff;
Matteo Franchin43ec8732014-03-31 15:00:14 +010087 break;
88 case Instruction::REM_DOUBLE_2ADDR:
89 case Instruction::REM_DOUBLE:
90 FlushAllRegs(); // Send everything to home location
Zheng Xu2d41a652014-06-09 11:05:31 +080091 {
Andreas Gampe98430592014-07-27 19:44:50 -070092 RegStorage r_tgt = CallHelperSetup(kQuickFmod);
Zheng Xu2d41a652014-06-09 11:05:31 +080093 LoadValueDirectWideFixed(rl_src1, rs_d0);
94 LoadValueDirectWideFixed(rl_src2, rs_d1);
95 ClobberCallerSave();
Andreas Gampe98430592014-07-27 19:44:50 -070096 CallHelper(r_tgt, kQuickFmod, false);
Zheng Xu2d41a652014-06-09 11:05:31 +080097 }
buzbeea0cd2d72014-06-01 09:33:49 -070098 rl_result = GetReturnWide(kFPReg);
Matteo Franchin43ec8732014-03-31 15:00:14 +010099 StoreValueWide(rl_dest, rl_result);
100 return;
101 case Instruction::NEG_DOUBLE:
102 GenNegDouble(rl_dest, rl_src1);
103 return;
104 default:
105 LOG(FATAL) << "Unexpected opcode: " << opcode;
106 }
107
108 rl_src1 = LoadValueWide(rl_src1, kFPReg);
109 DCHECK(rl_src1.wide);
110 rl_src2 = LoadValueWide(rl_src2, kFPReg);
111 DCHECK(rl_src2.wide);
112 rl_result = EvalLoc(rl_dest, kFPReg, true);
113 DCHECK(rl_dest.wide);
114 DCHECK(rl_result.wide);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100115 NewLIR3(FWIDE(op), rl_result.reg.GetReg(), rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100116 StoreValueWide(rl_dest, rl_result);
117}
118
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100119void Arm64Mir2Lir::GenConversion(Instruction::Code opcode,
120 RegLocation rl_dest, RegLocation rl_src) {
121 int op = kA64Brk1d;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100122 RegLocation rl_result;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100123 RegisterClass src_reg_class = kInvalidRegClass;
124 RegisterClass dst_reg_class = kInvalidRegClass;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100125
126 switch (opcode) {
127 case Instruction::INT_TO_FLOAT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100128 op = kA64Scvtf2fw;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100129 src_reg_class = kCoreReg;
130 dst_reg_class = kFPReg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100131 break;
132 case Instruction::FLOAT_TO_INT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100133 op = kA64Fcvtzs2wf;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100134 src_reg_class = kFPReg;
135 dst_reg_class = kCoreReg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100136 break;
137 case Instruction::DOUBLE_TO_FLOAT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100138 op = kA64Fcvt2sS;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100139 src_reg_class = kFPReg;
140 dst_reg_class = kFPReg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100141 break;
142 case Instruction::FLOAT_TO_DOUBLE:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100143 op = kA64Fcvt2Ss;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100144 src_reg_class = kFPReg;
145 dst_reg_class = kFPReg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100146 break;
147 case Instruction::INT_TO_DOUBLE:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100148 op = FWIDE(kA64Scvtf2fw);
Serban Constantinescu032d3772014-05-23 17:38:18 +0100149 src_reg_class = kCoreReg;
150 dst_reg_class = kFPReg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100151 break;
152 case Instruction::DOUBLE_TO_INT:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100153 op = FWIDE(kA64Fcvtzs2wf);
Serban Constantinescu032d3772014-05-23 17:38:18 +0100154 src_reg_class = kFPReg;
155 dst_reg_class = kCoreReg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100156 break;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100157 case Instruction::LONG_TO_DOUBLE:
158 op = FWIDE(kA64Scvtf2fx);
Serban Constantinescu032d3772014-05-23 17:38:18 +0100159 src_reg_class = kCoreReg;
160 dst_reg_class = kFPReg;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100161 break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100162 case Instruction::FLOAT_TO_LONG:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100163 op = kA64Fcvtzs2xf;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100164 src_reg_class = kFPReg;
165 dst_reg_class = kCoreReg;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100166 break;
167 case Instruction::LONG_TO_FLOAT:
168 op = kA64Scvtf2fx;
Serban Constantinescu032d3772014-05-23 17:38:18 +0100169 src_reg_class = kCoreReg;
170 dst_reg_class = kFPReg;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100171 break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100172 case Instruction::DOUBLE_TO_LONG:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100173 op = FWIDE(kA64Fcvtzs2xf);
Serban Constantinescu032d3772014-05-23 17:38:18 +0100174 src_reg_class = kFPReg;
175 dst_reg_class = kCoreReg;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100176 break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100177 default:
178 LOG(FATAL) << "Unexpected opcode: " << opcode;
179 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100180
Serban Constantinescu032d3772014-05-23 17:38:18 +0100181 DCHECK_NE(src_reg_class, kInvalidRegClass);
182 DCHECK_NE(dst_reg_class, kInvalidRegClass);
183 DCHECK_NE(op, kA64Brk1d);
184
Matteo Franchin43ec8732014-03-31 15:00:14 +0100185 if (rl_src.wide) {
Serban Constantinescu032d3772014-05-23 17:38:18 +0100186 rl_src = LoadValueWide(rl_src, src_reg_class);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100187 } else {
Serban Constantinescu032d3772014-05-23 17:38:18 +0100188 rl_src = LoadValue(rl_src, src_reg_class);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100189 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100190
Serban Constantinescu032d3772014-05-23 17:38:18 +0100191 rl_result = EvalLoc(rl_dest, dst_reg_class, true);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100192 NewLIR2(op, rl_result.reg.GetReg(), rl_src.reg.GetReg());
193
Matteo Franchin43ec8732014-03-31 15:00:14 +0100194 if (rl_dest.wide) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100195 StoreValueWide(rl_dest, rl_result);
196 } else {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100197 StoreValue(rl_dest, rl_result);
198 }
199}
200
201void Arm64Mir2Lir::GenFusedFPCmpBranch(BasicBlock* bb, MIR* mir, bool gt_bias,
202 bool is_double) {
203 LIR* target = &block_label_list_[bb->taken];
204 RegLocation rl_src1;
205 RegLocation rl_src2;
206 if (is_double) {
207 rl_src1 = mir_graph_->GetSrcWide(mir, 0);
208 rl_src2 = mir_graph_->GetSrcWide(mir, 2);
209 rl_src1 = LoadValueWide(rl_src1, kFPReg);
210 rl_src2 = LoadValueWide(rl_src2, kFPReg);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100211 NewLIR2(FWIDE(kA64Fcmp2ff), rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100212 } else {
213 rl_src1 = mir_graph_->GetSrc(mir, 0);
214 rl_src2 = mir_graph_->GetSrc(mir, 1);
215 rl_src1 = LoadValue(rl_src1, kFPReg);
216 rl_src2 = LoadValue(rl_src2, kFPReg);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100217 NewLIR2(kA64Fcmp2ff, rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100218 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100219 ConditionCode ccode = mir->meta.ccode;
220 switch (ccode) {
221 case kCondEq:
222 case kCondNe:
223 break;
224 case kCondLt:
225 if (gt_bias) {
226 ccode = kCondMi;
227 }
228 break;
229 case kCondLe:
230 if (gt_bias) {
231 ccode = kCondLs;
232 }
233 break;
234 case kCondGt:
235 if (gt_bias) {
236 ccode = kCondHi;
237 }
238 break;
239 case kCondGe:
240 if (gt_bias) {
241 ccode = kCondUge;
242 }
243 break;
244 default:
245 LOG(FATAL) << "Unexpected ccode: " << ccode;
246 }
247 OpCondBranch(ccode, target);
248}
249
250
251void Arm64Mir2Lir::GenCmpFP(Instruction::Code opcode, RegLocation rl_dest,
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100252 RegLocation rl_src1, RegLocation rl_src2) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100253 bool is_double = false;
254 int default_result = -1;
255 RegLocation rl_result;
256
257 switch (opcode) {
258 case Instruction::CMPL_FLOAT:
259 is_double = false;
260 default_result = -1;
261 break;
262 case Instruction::CMPG_FLOAT:
263 is_double = false;
264 default_result = 1;
265 break;
266 case Instruction::CMPL_DOUBLE:
267 is_double = true;
268 default_result = -1;
269 break;
270 case Instruction::CMPG_DOUBLE:
271 is_double = true;
272 default_result = 1;
273 break;
274 default:
275 LOG(FATAL) << "Unexpected opcode: " << opcode;
276 }
277 if (is_double) {
278 rl_src1 = LoadValueWide(rl_src1, kFPReg);
279 rl_src2 = LoadValueWide(rl_src2, kFPReg);
280 // In case result vreg is also a src vreg, break association to avoid useless copy by EvalLoc()
281 ClobberSReg(rl_dest.s_reg_low);
282 rl_result = EvalLoc(rl_dest, kCoreReg, true);
283 LoadConstant(rl_result.reg, default_result);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100284 NewLIR2(FWIDE(kA64Fcmp2ff), rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100285 } else {
286 rl_src1 = LoadValue(rl_src1, kFPReg);
287 rl_src2 = LoadValue(rl_src2, kFPReg);
288 // In case result vreg is also a srcvreg, break association to avoid useless copy by EvalLoc()
289 ClobberSReg(rl_dest.s_reg_low);
290 rl_result = EvalLoc(rl_dest, kCoreReg, true);
291 LoadConstant(rl_result.reg, default_result);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100292 NewLIR2(kA64Fcmp2ff, rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100293 }
294 DCHECK(!rl_result.reg.IsFloat());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100295
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100296 // TODO(Arm64): should we rather do this?
297 // csinc wD, wzr, wzr, eq
298 // csneg wD, wD, wD, le
299 // (which requires 2 instructions rather than 3)
Matteo Franchin43ec8732014-03-31 15:00:14 +0100300
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100301 // Rd = if cond then Rd else -Rd.
302 NewLIR4(kA64Csneg4rrrc, rl_result.reg.GetReg(), rl_result.reg.GetReg(),
303 rl_result.reg.GetReg(), (default_result == 1) ? kArmCondPl : kArmCondLe);
304 NewLIR4(kA64Csel4rrrc, rl_result.reg.GetReg(), rwzr, rl_result.reg.GetReg(),
305 kArmCondEq);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100306 StoreValue(rl_dest, rl_result);
307}
308
309void Arm64Mir2Lir::GenNegFloat(RegLocation rl_dest, RegLocation rl_src) {
310 RegLocation rl_result;
311 rl_src = LoadValue(rl_src, kFPReg);
312 rl_result = EvalLoc(rl_dest, kFPReg, true);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100313 NewLIR2(kA64Fneg2ff, rl_result.reg.GetReg(), rl_src.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100314 StoreValue(rl_dest, rl_result);
315}
316
317void Arm64Mir2Lir::GenNegDouble(RegLocation rl_dest, RegLocation rl_src) {
318 RegLocation rl_result;
319 rl_src = LoadValueWide(rl_src, kFPReg);
320 rl_result = EvalLoc(rl_dest, kFPReg, true);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100321 NewLIR2(FWIDE(kA64Fneg2ff), rl_result.reg.GetReg(), rl_src.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100322 StoreValueWide(rl_dest, rl_result);
323}
324
Vladimir Marko5030d3e2014-07-17 10:43:08 +0100325static RegisterClass RegClassForAbsFP(RegLocation rl_src, RegLocation rl_dest) {
326 // If src is in a core reg or, unlikely, dest has been promoted to a core reg, use core reg.
327 if ((rl_src.location == kLocPhysReg && !rl_src.reg.IsFloat()) ||
328 (rl_dest.location == kLocPhysReg && !rl_dest.reg.IsFloat())) {
329 return kCoreReg;
330 }
331 // If src is in an fp reg or dest has been promoted to an fp reg, use fp reg.
332 if (rl_src.location == kLocPhysReg || rl_dest.location == kLocPhysReg) {
333 return kFPReg;
334 }
335 // With both src and dest in the stack frame we have to perform load+abs+store. Whether this
336 // is faster using a core reg or fp reg depends on the particular CPU. For example, on A53
337 // it's faster using core reg while on A57 it's faster with fp reg, the difference being
338 // bigger on the A53. Without further investigation and testing we prefer core register.
339 // (If the result is subsequently used in another fp operation, the dalvik reg will probably
340 // get promoted and that should be handled by the cases above.)
341 return kCoreReg;
342}
343
344bool Arm64Mir2Lir::GenInlinedAbsFloat(CallInfo* info) {
345 if (info->result.location == kLocInvalid) {
346 return true; // Result is unused: inlining successful, no code generated.
347 }
348 RegLocation rl_dest = info->result;
349 RegLocation rl_src = UpdateLoc(info->args[0]);
350 RegisterClass reg_class = RegClassForAbsFP(rl_src, rl_dest);
351 rl_src = LoadValue(rl_src, reg_class);
352 RegLocation rl_result = EvalLoc(rl_dest, reg_class, true);
353 if (reg_class == kFPReg) {
354 NewLIR2(kA64Fabs2ff, rl_result.reg.GetReg(), rl_src.reg.GetReg());
355 } else {
Martyn Capewell9a8a5062014-08-07 11:31:48 +0100356 // Clear the sign bit in an integer register.
357 OpRegRegImm(kOpAnd, rl_result.reg, rl_src.reg, 0x7fffffff);
Vladimir Marko5030d3e2014-07-17 10:43:08 +0100358 }
359 StoreValue(rl_dest, rl_result);
360 return true;
361}
362
Serban Constantinescu63fe93d2014-06-30 17:10:28 +0100363bool Arm64Mir2Lir::GenInlinedAbsDouble(CallInfo* info) {
Vladimir Marko5030d3e2014-07-17 10:43:08 +0100364 if (info->result.location == kLocInvalid) {
365 return true; // Result is unused: inlining successful, no code generated.
366 }
367 RegLocation rl_dest = info->result;
368 RegLocation rl_src = UpdateLocWide(info->args[0]);
369 RegisterClass reg_class = RegClassForAbsFP(rl_src, rl_dest);
370 rl_src = LoadValueWide(rl_src, reg_class);
371 RegLocation rl_result = EvalLoc(rl_dest, reg_class, true);
372 if (reg_class == kFPReg) {
373 NewLIR2(FWIDE(kA64Fabs2ff), rl_result.reg.GetReg(), rl_src.reg.GetReg());
374 } else {
Martyn Capewell9a8a5062014-08-07 11:31:48 +0100375 // Clear the sign bit in an integer register.
376 OpRegRegImm64(kOpAnd, rl_result.reg, rl_src.reg, 0x7fffffffffffffff);
Vladimir Marko5030d3e2014-07-17 10:43:08 +0100377 }
Serban Constantinescu63fe93d2014-06-30 17:10:28 +0100378 StoreValueWide(rl_dest, rl_result);
379 return true;
380}
381
Matteo Franchin43ec8732014-03-31 15:00:14 +0100382bool Arm64Mir2Lir::GenInlinedSqrt(CallInfo* info) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100383 RegLocation rl_src = info->args[0];
384 RegLocation rl_dest = InlineTargetWide(info); // double place for result
385 rl_src = LoadValueWide(rl_src, kFPReg);
386 RegLocation rl_result = EvalLoc(rl_dest, kFPReg, true);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100387 NewLIR2(FWIDE(kA64Fsqrt2ff), rl_result.reg.GetReg(), rl_src.reg.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100388 StoreValueWide(rl_dest, rl_result);
389 return true;
390}
391
Serban Constantinescu2eba1fa2014-07-31 19:07:17 +0100392bool Arm64Mir2Lir::GenInlinedCeil(CallInfo* info) {
393 RegLocation rl_src = info->args[0];
394 RegLocation rl_dest = InlineTargetWide(info);
395 rl_src = LoadValueWide(rl_src, kFPReg);
396 RegLocation rl_result = EvalLoc(rl_dest, kFPReg, true);
397 NewLIR2(FWIDE(kA64Frintp2ff), rl_result.reg.GetReg(), rl_src.reg.GetReg());
398 StoreValueWide(rl_dest, rl_result);
399 return true;
400}
401
402bool Arm64Mir2Lir::GenInlinedFloor(CallInfo* info) {
403 RegLocation rl_src = info->args[0];
404 RegLocation rl_dest = InlineTargetWide(info);
405 rl_src = LoadValueWide(rl_src, kFPReg);
406 RegLocation rl_result = EvalLoc(rl_dest, kFPReg, true);
407 NewLIR2(FWIDE(kA64Frintm2ff), rl_result.reg.GetReg(), rl_src.reg.GetReg());
408 StoreValueWide(rl_dest, rl_result);
409 return true;
410}
411
412bool Arm64Mir2Lir::GenInlinedRint(CallInfo* info) {
413 RegLocation rl_src = info->args[0];
414 RegLocation rl_dest = InlineTargetWide(info);
415 rl_src = LoadValueWide(rl_src, kFPReg);
416 RegLocation rl_result = EvalLoc(rl_dest, kFPReg, true);
417 NewLIR2(FWIDE(kA64Frintn2ff), rl_result.reg.GetReg(), rl_src.reg.GetReg());
418 StoreValueWide(rl_dest, rl_result);
419 return true;
420}
421
422bool Arm64Mir2Lir::GenInlinedRound(CallInfo* info, bool is_double) {
423 int32_t encoded_imm = EncodeImmSingle(bit_cast<float, uint32_t>(0.5f));
424 ArmOpcode wide = (is_double) ? FWIDE(0) : FUNWIDE(0);
425 RegLocation rl_src = info->args[0];
426 RegLocation rl_dest = (is_double) ? InlineTargetWide(info) : InlineTarget(info);
427 rl_src = (is_double) ? LoadValueWide(rl_src, kFPReg) : LoadValue(rl_src, kFPReg);
428 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
429 RegStorage r_tmp = (is_double) ? AllocTempDouble() : AllocTempSingle();
430 // 0.5f and 0.5d are encoded in the same way.
431 NewLIR2(kA64Fmov2fI | wide, r_tmp.GetReg(), encoded_imm);
432 NewLIR3(kA64Fadd3fff | wide, rl_src.reg.GetReg(), rl_src.reg.GetReg(), r_tmp.GetReg());
433 NewLIR2((is_double) ? kA64Fcvtms2xS : kA64Fcvtms2ws, rl_result.reg.GetReg(), rl_src.reg.GetReg());
434 (is_double) ? StoreValueWide(rl_dest, rl_result) : StoreValue(rl_dest, rl_result);
435 return true;
436}
437
Serban Constantinescu23abec92014-07-02 16:13:38 +0100438bool Arm64Mir2Lir::GenInlinedMinMaxFP(CallInfo* info, bool is_min, bool is_double) {
439 DCHECK_EQ(cu_->instruction_set, kArm64);
440 int op = (is_min) ? kA64Fmin3fff : kA64Fmax3fff;
441 ArmOpcode wide = (is_double) ? FWIDE(0) : FUNWIDE(0);
442 RegLocation rl_src1 = info->args[0];
443 RegLocation rl_src2 = (is_double) ? info->args[2] : info->args[1];
444 rl_src1 = (is_double) ? LoadValueWide(rl_src1, kFPReg) : LoadValue(rl_src1, kFPReg);
445 rl_src2 = (is_double) ? LoadValueWide(rl_src2, kFPReg) : LoadValue(rl_src2, kFPReg);
446 RegLocation rl_dest = (is_double) ? InlineTargetWide(info) : InlineTarget(info);
447 RegLocation rl_result = EvalLoc(rl_dest, kFPReg, true);
448 NewLIR3(op | wide, rl_result.reg.GetReg(), rl_src1.reg.GetReg(), rl_src2.reg.GetReg());
449 (is_double) ? StoreValueWide(rl_dest, rl_result) : StoreValue(rl_dest, rl_result);
450 return true;
451}
452
Matteo Franchin43ec8732014-03-31 15:00:14 +0100453} // namespace art