Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 1 | /* |
| 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 | #ifndef ART_COMPILER_OPTIMIZING_COMMON_ARM64_H_ |
| 18 | #define ART_COMPILER_OPTIMIZING_COMMON_ARM64_H_ |
| 19 | |
Vladimír Marko | 434d968 | 2022-11-04 14:04:17 +0000 | [diff] [blame] | 20 | #include "base/macros.h" |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 21 | #include "code_generator.h" |
Anton Kirilov | 74234da | 2017-01-13 14:42:47 +0000 | [diff] [blame] | 22 | #include "instruction_simplifier_shared.h" |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 23 | #include "locations.h" |
| 24 | #include "nodes.h" |
| 25 | #include "utils/arm64/assembler_arm64.h" |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 26 | |
Artem Serov | af4e42a | 2016-08-08 15:11:24 +0100 | [diff] [blame] | 27 | // TODO(VIXL): Make VIXL compile with -Wshadow. |
| 28 | #pragma GCC diagnostic push |
| 29 | #pragma GCC diagnostic ignored "-Wshadow" |
| 30 | #include "aarch64/disasm-aarch64.h" |
| 31 | #include "aarch64/macro-assembler-aarch64.h" |
| 32 | #include "aarch64/simulator-aarch64.h" |
| 33 | #pragma GCC diagnostic pop |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 34 | |
Vladimír Marko | 434d968 | 2022-11-04 14:04:17 +0000 | [diff] [blame] | 35 | namespace art HIDDEN { |
Anton Kirilov | 74234da | 2017-01-13 14:42:47 +0000 | [diff] [blame] | 36 | |
| 37 | using helpers::CanFitInShifterOperand; |
| 38 | using helpers::HasShifterOperand; |
| 39 | |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 40 | namespace arm64 { |
| 41 | namespace helpers { |
| 42 | |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 43 | // Convenience helpers to ease conversion to and from VIXL operands. |
| 44 | static_assert((SP == 31) && (WSP == 31) && (XZR == 32) && (WZR == 32), |
| 45 | "Unexpected values for register codes."); |
| 46 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 47 | inline int VIXLRegCodeFromART(int code) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 48 | if (code == SP) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 49 | return vixl::aarch64::kSPRegInternalCode; |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 50 | } |
| 51 | if (code == XZR) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 52 | return vixl::aarch64::kZeroRegCode; |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 53 | } |
| 54 | return code; |
| 55 | } |
| 56 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 57 | inline int ARTRegCodeFromVIXL(int code) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 58 | if (code == vixl::aarch64::kSPRegInternalCode) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 59 | return SP; |
| 60 | } |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 61 | if (code == vixl::aarch64::kZeroRegCode) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 62 | return XZR; |
| 63 | } |
| 64 | return code; |
| 65 | } |
| 66 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 67 | inline vixl::aarch64::Register XRegisterFrom(Location location) { |
Roland Levillain | 3a448e4 | 2016-04-01 18:37:46 +0100 | [diff] [blame] | 68 | DCHECK(location.IsRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 69 | return vixl::aarch64::XRegister(VIXLRegCodeFromART(location.reg())); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 70 | } |
| 71 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 72 | inline vixl::aarch64::Register WRegisterFrom(Location location) { |
Roland Levillain | 3a448e4 | 2016-04-01 18:37:46 +0100 | [diff] [blame] | 73 | DCHECK(location.IsRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 74 | return vixl::aarch64::WRegister(VIXLRegCodeFromART(location.reg())); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 75 | } |
| 76 | |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 77 | inline vixl::aarch64::Register RegisterFrom(Location location, DataType::Type type) { |
| 78 | DCHECK(type != DataType::Type::kVoid && !DataType::IsFloatingPointType(type)) << type; |
| 79 | return type == DataType::Type::kInt64 ? XRegisterFrom(location) : WRegisterFrom(location); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 80 | } |
| 81 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 82 | inline vixl::aarch64::Register OutputRegister(HInstruction* instr) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 83 | return RegisterFrom(instr->GetLocations()->Out(), instr->GetType()); |
| 84 | } |
| 85 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 86 | inline vixl::aarch64::Register InputRegisterAt(HInstruction* instr, int input_index) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 87 | return RegisterFrom(instr->GetLocations()->InAt(input_index), |
| 88 | instr->InputAt(input_index)->GetType()); |
| 89 | } |
| 90 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 91 | inline vixl::aarch64::VRegister DRegisterFrom(Location location) { |
Roland Levillain | 3a448e4 | 2016-04-01 18:37:46 +0100 | [diff] [blame] | 92 | DCHECK(location.IsFpuRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 93 | return vixl::aarch64::DRegister(location.reg()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 94 | } |
| 95 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 96 | inline vixl::aarch64::VRegister QRegisterFrom(Location location) { |
Artem Serov | d4bccf1 | 2017-04-03 18:47:32 +0100 | [diff] [blame] | 97 | DCHECK(location.IsFpuRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 98 | return vixl::aarch64::QRegister(location.reg()); |
Artem Serov | d4bccf1 | 2017-04-03 18:47:32 +0100 | [diff] [blame] | 99 | } |
| 100 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 101 | inline vixl::aarch64::VRegister VRegisterFrom(Location location) { |
Artem Serov | b31f91f | 2017-04-05 11:31:19 +0100 | [diff] [blame] | 102 | DCHECK(location.IsFpuRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 103 | return vixl::aarch64::VRegister(location.reg()); |
Artem Serov | b31f91f | 2017-04-05 11:31:19 +0100 | [diff] [blame] | 104 | } |
| 105 | |
Artem Serov | 8ba4de1 | 2019-12-04 21:10:23 +0000 | [diff] [blame] | 106 | inline vixl::aarch64::ZRegister ZRegisterFrom(Location location) { |
| 107 | DCHECK(location.IsFpuRegister()) << location; |
| 108 | return vixl::aarch64::ZRegister(location.reg()); |
| 109 | } |
| 110 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 111 | inline vixl::aarch64::VRegister SRegisterFrom(Location location) { |
Roland Levillain | 3a448e4 | 2016-04-01 18:37:46 +0100 | [diff] [blame] | 112 | DCHECK(location.IsFpuRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 113 | return vixl::aarch64::SRegister(location.reg()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 114 | } |
| 115 | |
Roland Levillain | 4f2e088 | 2019-12-01 09:57:10 +0000 | [diff] [blame] | 116 | inline vixl::aarch64::VRegister HRegisterFrom(Location location) { |
Usama Arif | 457e9fa | 2019-11-11 15:29:59 +0000 | [diff] [blame] | 117 | DCHECK(location.IsFpuRegister()) << location; |
Artem Serov | a07de55 | 2020-11-01 22:42:43 +0000 | [diff] [blame] | 118 | return vixl::aarch64::HRegister(location.reg()); |
Usama Arif | 457e9fa | 2019-11-11 15:29:59 +0000 | [diff] [blame] | 119 | } |
| 120 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 121 | inline vixl::aarch64::VRegister FPRegisterFrom(Location location, DataType::Type type) { |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 122 | DCHECK(DataType::IsFloatingPointType(type)) << type; |
| 123 | return type == DataType::Type::kFloat64 ? DRegisterFrom(location) : SRegisterFrom(location); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 124 | } |
| 125 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 126 | inline vixl::aarch64::VRegister OutputFPRegister(HInstruction* instr) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 127 | return FPRegisterFrom(instr->GetLocations()->Out(), instr->GetType()); |
| 128 | } |
| 129 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 130 | inline vixl::aarch64::VRegister InputFPRegisterAt(HInstruction* instr, int input_index) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 131 | return FPRegisterFrom(instr->GetLocations()->InAt(input_index), |
| 132 | instr->InputAt(input_index)->GetType()); |
| 133 | } |
| 134 | |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 135 | inline vixl::aarch64::CPURegister CPURegisterFrom(Location location, DataType::Type type) { |
| 136 | return DataType::IsFloatingPointType(type) |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 137 | ? vixl::aarch64::CPURegister(FPRegisterFrom(location, type)) |
| 138 | : vixl::aarch64::CPURegister(RegisterFrom(location, type)); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 139 | } |
| 140 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 141 | inline vixl::aarch64::CPURegister OutputCPURegister(HInstruction* instr) { |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 142 | return DataType::IsFloatingPointType(instr->GetType()) |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 143 | ? static_cast<vixl::aarch64::CPURegister>(OutputFPRegister(instr)) |
| 144 | : static_cast<vixl::aarch64::CPURegister>(OutputRegister(instr)); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 145 | } |
| 146 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 147 | inline vixl::aarch64::CPURegister InputCPURegisterAt(HInstruction* instr, int index) { |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 148 | return DataType::IsFloatingPointType(instr->InputAt(index)->GetType()) |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 149 | ? static_cast<vixl::aarch64::CPURegister>(InputFPRegisterAt(instr, index)) |
| 150 | : static_cast<vixl::aarch64::CPURegister>(InputRegisterAt(instr, index)); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 151 | } |
| 152 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 153 | inline vixl::aarch64::CPURegister InputCPURegisterOrZeroRegAt(HInstruction* instr, |
Alexandre Rames | be919d9 | 2016-08-23 18:33:36 +0100 | [diff] [blame] | 154 | int index) { |
| 155 | HInstruction* input = instr->InputAt(index); |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 156 | DataType::Type input_type = input->GetType(); |
Vladimir Marko | d2be01c | 2023-04-05 12:21:09 +0000 | [diff] [blame] | 157 | if (IsZeroBitPattern(input)) { |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 158 | return (DataType::Size(input_type) >= vixl::aarch64::kXRegSizeInBytes) |
Scott Wakeling | 79db997 | 2017-01-19 14:08:42 +0000 | [diff] [blame] | 159 | ? vixl::aarch64::Register(vixl::aarch64::xzr) |
| 160 | : vixl::aarch64::Register(vixl::aarch64::wzr); |
Alexandre Rames | be919d9 | 2016-08-23 18:33:36 +0100 | [diff] [blame] | 161 | } |
| 162 | return InputCPURegisterAt(instr, index); |
| 163 | } |
| 164 | |
Evgeny Astigeevich | f9e9054 | 2018-06-25 13:43:53 +0100 | [diff] [blame] | 165 | inline int64_t Int64FromLocation(Location location) { |
| 166 | return Int64FromConstant(location.GetConstant()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 167 | } |
| 168 | |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 169 | inline vixl::aarch64::Operand OperandFrom(Location location, DataType::Type type) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 170 | if (location.IsRegister()) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 171 | return vixl::aarch64::Operand(RegisterFrom(location, type)); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 172 | } else { |
Evgeny Astigeevich | f9e9054 | 2018-06-25 13:43:53 +0100 | [diff] [blame] | 173 | return vixl::aarch64::Operand(Int64FromLocation(location)); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 174 | } |
| 175 | } |
| 176 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 177 | inline vixl::aarch64::Operand InputOperandAt(HInstruction* instr, int input_index) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 178 | return OperandFrom(instr->GetLocations()->InAt(input_index), |
| 179 | instr->InputAt(input_index)->GetType()); |
| 180 | } |
| 181 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 182 | inline vixl::aarch64::MemOperand StackOperandFrom(Location location) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 183 | return vixl::aarch64::MemOperand(vixl::aarch64::sp, location.GetStackIndex()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 184 | } |
| 185 | |
Artem Serov | 55ab7e8 | 2020-04-27 21:02:28 +0100 | [diff] [blame] | 186 | inline vixl::aarch64::SVEMemOperand SveStackOperandFrom(Location location) { |
| 187 | return vixl::aarch64::SVEMemOperand(vixl::aarch64::sp, location.GetStackIndex()); |
| 188 | } |
| 189 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 190 | inline vixl::aarch64::MemOperand HeapOperand(const vixl::aarch64::Register& base, |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 191 | size_t offset = 0) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 192 | // A heap reference must be 32bit, so fit in a W register. |
| 193 | DCHECK(base.IsW()); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 194 | return vixl::aarch64::MemOperand(base.X(), offset); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 195 | } |
| 196 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 197 | inline vixl::aarch64::MemOperand HeapOperand(const vixl::aarch64::Register& base, |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 198 | const vixl::aarch64::Register& regoffset, |
| 199 | vixl::aarch64::Shift shift = vixl::aarch64::LSL, |
| 200 | unsigned shift_amount = 0) { |
Alexandre Rames | 82000b0 | 2015-07-07 11:34:16 +0100 | [diff] [blame] | 201 | // A heap reference must be 32bit, so fit in a W register. |
| 202 | DCHECK(base.IsW()); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 203 | return vixl::aarch64::MemOperand(base.X(), regoffset, shift, shift_amount); |
Alexandre Rames | 82000b0 | 2015-07-07 11:34:16 +0100 | [diff] [blame] | 204 | } |
| 205 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 206 | inline vixl::aarch64::MemOperand HeapOperand(const vixl::aarch64::Register& base, |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 207 | Offset offset) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 208 | return HeapOperand(base, offset.SizeValue()); |
| 209 | } |
| 210 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 211 | inline vixl::aarch64::MemOperand HeapOperandFrom(Location location, Offset offset) { |
Vladimir Marko | 0ebe0d8 | 2017-09-21 22:50:39 +0100 | [diff] [blame] | 212 | return HeapOperand(RegisterFrom(location, DataType::Type::kReference), offset); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 213 | } |
| 214 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 215 | inline Location LocationFrom(const vixl::aarch64::Register& reg) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 216 | return Location::RegisterLocation(ARTRegCodeFromVIXL(reg.GetCode())); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 217 | } |
| 218 | |
Evgeny Astigeevich | 7d48dcd | 2019-10-16 12:46:28 +0100 | [diff] [blame] | 219 | inline Location LocationFrom(const vixl::aarch64::VRegister& fpreg) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 220 | return Location::FpuRegisterLocation(fpreg.GetCode()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 221 | } |
| 222 | |
Artem Serov | 55ab7e8 | 2020-04-27 21:02:28 +0100 | [diff] [blame] | 223 | inline Location LocationFrom(const vixl::aarch64::ZRegister& zreg) { |
| 224 | return Location::FpuRegisterLocation(zreg.GetCode()); |
| 225 | } |
| 226 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 227 | inline vixl::aarch64::Operand OperandFromMemOperand( |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 228 | const vixl::aarch64::MemOperand& mem_op) { |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 229 | if (mem_op.IsImmediateOffset()) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 230 | return vixl::aarch64::Operand(mem_op.GetOffset()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 231 | } else { |
| 232 | DCHECK(mem_op.IsRegisterOffset()); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 233 | if (mem_op.GetExtend() != vixl::aarch64::NO_EXTEND) { |
| 234 | return vixl::aarch64::Operand(mem_op.GetRegisterOffset(), |
| 235 | mem_op.GetExtend(), |
| 236 | mem_op.GetShiftAmount()); |
| 237 | } else if (mem_op.GetShift() != vixl::aarch64::NO_SHIFT) { |
| 238 | return vixl::aarch64::Operand(mem_op.GetRegisterOffset(), |
| 239 | mem_op.GetShift(), |
| 240 | mem_op.GetShiftAmount()); |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 241 | } else { |
| 242 | LOG(FATAL) << "Should not reach here"; |
| 243 | UNREACHABLE(); |
| 244 | } |
| 245 | } |
| 246 | } |
| 247 | |
Petre-Ionut Tudor | 2227fe4 | 2018-04-20 17:12:05 +0100 | [diff] [blame] | 248 | inline bool AddSubCanEncodeAsImmediate(int64_t value) { |
| 249 | // If `value` does not fit but `-value` does, VIXL will automatically use |
| 250 | // the 'opposite' instruction. |
| 251 | return vixl::aarch64::Assembler::IsImmAddSub(value) |
| 252 | || vixl::aarch64::Assembler::IsImmAddSub(-value); |
| 253 | } |
| 254 | |
Artem Serov | 8dfe746 | 2017-06-01 14:28:48 +0100 | [diff] [blame] | 255 | inline bool Arm64CanEncodeConstantAsImmediate(HConstant* constant, HInstruction* instr) { |
| 256 | int64_t value = CodeGenerator::GetInt64ValueOf(constant); |
| 257 | |
| 258 | // TODO: Improve this when IsSIMDConstantEncodable method is implemented in VIXL. |
| 259 | if (instr->IsVecReplicateScalar()) { |
| 260 | if (constant->IsLongConstant()) { |
| 261 | return false; |
| 262 | } else if (constant->IsFloatConstant()) { |
Vladimir Marko | cde6497 | 2023-04-25 16:40:06 +0000 | [diff] [blame] | 263 | return vixl::aarch64::Assembler::IsImmFP32(constant->AsFloatConstant()->GetValue()); |
Artem Serov | 8dfe746 | 2017-06-01 14:28:48 +0100 | [diff] [blame] | 264 | } else if (constant->IsDoubleConstant()) { |
Vladimir Marko | cde6497 | 2023-04-25 16:40:06 +0000 | [diff] [blame] | 265 | return vixl::aarch64::Assembler::IsImmFP64(constant->AsDoubleConstant()->GetValue()); |
Artem Serov | 8dfe746 | 2017-06-01 14:28:48 +0100 | [diff] [blame] | 266 | } |
| 267 | return IsUint<8>(value); |
| 268 | } |
Serban Constantinescu | 2d35d9d | 2015-02-22 22:08:01 +0000 | [diff] [blame] | 269 | |
Petre-Ionut Tudor | 2227fe4 | 2018-04-20 17:12:05 +0100 | [diff] [blame] | 270 | // Code generation for Min/Max: |
| 271 | // Cmp left_op, right_op |
| 272 | // Csel dst, left_op, right_op, cond |
| 273 | if (instr->IsMin() || instr->IsMax()) { |
| 274 | if (constant->GetUses().HasExactlyOneElement()) { |
| 275 | // If value can be encoded as immediate for the Cmp, then let VIXL handle |
| 276 | // the constant generation for the Csel. |
| 277 | return AddSubCanEncodeAsImmediate(value); |
| 278 | } |
| 279 | // These values are encodable as immediates for Cmp and VIXL will use csinc and csinv |
| 280 | // with the zr register as right_op, hence no constant generation is required. |
| 281 | return constant->IsZeroBitPattern() || constant->IsOne() || constant->IsMinusOne(); |
| 282 | } |
| 283 | |
Serban Constantinescu | 2d35d9d | 2015-02-22 22:08:01 +0000 | [diff] [blame] | 284 | // For single uses we let VIXL handle the constant generation since it will |
| 285 | // use registers that are not managed by the register allocator (wip0, wip1). |
Vladimir Marko | 46817b8 | 2016-03-29 12:21:58 +0100 | [diff] [blame] | 286 | if (constant->GetUses().HasExactlyOneElement()) { |
Serban Constantinescu | 2d35d9d | 2015-02-22 22:08:01 +0000 | [diff] [blame] | 287 | return true; |
| 288 | } |
| 289 | |
Scott Wakeling | 40a04bf | 2015-12-11 09:50:36 +0000 | [diff] [blame] | 290 | // Our code generator ensures shift distances are within an encodable range. |
| 291 | if (instr->IsRor()) { |
| 292 | return true; |
| 293 | } |
| 294 | |
Alexandre Rames | e6dbf48 | 2015-10-19 10:10:41 +0100 | [diff] [blame] | 295 | if (instr->IsAnd() || instr->IsOr() || instr->IsXor()) { |
| 296 | // Uses logical operations. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 297 | return vixl::aarch64::Assembler::IsImmLogical(value, vixl::aarch64::kXRegSize); |
Alexandre Rames | e6dbf48 | 2015-10-19 10:10:41 +0100 | [diff] [blame] | 298 | } else if (instr->IsNeg()) { |
| 299 | // Uses mov -immediate. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 300 | return vixl::aarch64::Assembler::IsImmMovn(value, vixl::aarch64::kXRegSize); |
Alexandre Rames | e6dbf48 | 2015-10-19 10:10:41 +0100 | [diff] [blame] | 301 | } else { |
| 302 | DCHECK(instr->IsAdd() || |
Artem Serov | 328429f | 2016-07-06 16:23:04 +0100 | [diff] [blame] | 303 | instr->IsIntermediateAddress() || |
Alexandre Rames | e6dbf48 | 2015-10-19 10:10:41 +0100 | [diff] [blame] | 304 | instr->IsBoundsCheck() || |
| 305 | instr->IsCompare() || |
| 306 | instr->IsCondition() || |
Roland Levillain | 22c4922 | 2016-03-18 14:04:28 +0000 | [diff] [blame] | 307 | instr->IsSub()) |
| 308 | << instr->DebugName(); |
Serban Constantinescu | 2d35d9d | 2015-02-22 22:08:01 +0000 | [diff] [blame] | 309 | // Uses aliases of ADD/SUB instructions. |
Petre-Ionut Tudor | 2227fe4 | 2018-04-20 17:12:05 +0100 | [diff] [blame] | 310 | return AddSubCanEncodeAsImmediate(value); |
Serban Constantinescu | 2d35d9d | 2015-02-22 22:08:01 +0000 | [diff] [blame] | 311 | } |
| 312 | } |
| 313 | |
Vladimir Marko | f2eef5f | 2023-04-06 10:29:19 +0000 | [diff] [blame] | 314 | inline Location ARM64EncodableConstantOrRegister(HInstruction* constant, HInstruction* instr) { |
Vladimir Marko | cde6497 | 2023-04-25 16:40:06 +0000 | [diff] [blame] | 315 | if (constant->IsConstant() && Arm64CanEncodeConstantAsImmediate(constant->AsConstant(), instr)) { |
Vladimir Marko | f76ca8c | 2023-04-05 15:24:41 +0000 | [diff] [blame] | 316 | return Location::ConstantLocation(constant); |
Serban Constantinescu | 2d35d9d | 2015-02-22 22:08:01 +0000 | [diff] [blame] | 317 | } |
| 318 | |
| 319 | return Location::RequiresRegister(); |
| 320 | } |
| 321 | |
Zheng Xu | da40309 | 2015-04-24 17:35:39 +0800 | [diff] [blame] | 322 | // Check if registers in art register set have the same register code in vixl. If the register |
| 323 | // codes are same, we can initialize vixl register list simply by the register masks. Currently, |
| 324 | // only SP/WSP and ZXR/WZR codes are different between art and vixl. |
| 325 | // Note: This function is only used for debug checks. |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 326 | inline bool ArtVixlRegCodeCoherentForRegSet(uint32_t art_core_registers, |
Vladimir Marko | 804b03f | 2016-09-14 16:26:36 +0100 | [diff] [blame] | 327 | size_t num_core, |
| 328 | uint32_t art_fpu_registers, |
| 329 | size_t num_fpu) { |
Zheng Xu | da40309 | 2015-04-24 17:35:39 +0800 | [diff] [blame] | 330 | // The register masks won't work if the number of register is larger than 32. |
| 331 | DCHECK_GE(sizeof(art_core_registers) * 8, num_core); |
| 332 | DCHECK_GE(sizeof(art_fpu_registers) * 8, num_fpu); |
| 333 | for (size_t art_reg_code = 0; art_reg_code < num_core; ++art_reg_code) { |
| 334 | if (RegisterSet::Contains(art_core_registers, art_reg_code)) { |
| 335 | if (art_reg_code != static_cast<size_t>(VIXLRegCodeFromART(art_reg_code))) { |
| 336 | return false; |
| 337 | } |
| 338 | } |
| 339 | } |
| 340 | // There is no register code translation for float registers. |
| 341 | return true; |
| 342 | } |
| 343 | |
Anton Kirilov | 74234da | 2017-01-13 14:42:47 +0000 | [diff] [blame] | 344 | inline vixl::aarch64::Shift ShiftFromOpKind(HDataProcWithShifterOp::OpKind op_kind) { |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 345 | switch (op_kind) { |
Anton Kirilov | 74234da | 2017-01-13 14:42:47 +0000 | [diff] [blame] | 346 | case HDataProcWithShifterOp::kASR: return vixl::aarch64::ASR; |
| 347 | case HDataProcWithShifterOp::kLSL: return vixl::aarch64::LSL; |
| 348 | case HDataProcWithShifterOp::kLSR: return vixl::aarch64::LSR; |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 349 | default: |
| 350 | LOG(FATAL) << "Unexpected op kind " << op_kind; |
| 351 | UNREACHABLE(); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 352 | return vixl::aarch64::NO_SHIFT; |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 353 | } |
| 354 | } |
| 355 | |
Anton Kirilov | 74234da | 2017-01-13 14:42:47 +0000 | [diff] [blame] | 356 | inline vixl::aarch64::Extend ExtendFromOpKind(HDataProcWithShifterOp::OpKind op_kind) { |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 357 | switch (op_kind) { |
Anton Kirilov | 74234da | 2017-01-13 14:42:47 +0000 | [diff] [blame] | 358 | case HDataProcWithShifterOp::kUXTB: return vixl::aarch64::UXTB; |
| 359 | case HDataProcWithShifterOp::kUXTH: return vixl::aarch64::UXTH; |
| 360 | case HDataProcWithShifterOp::kUXTW: return vixl::aarch64::UXTW; |
| 361 | case HDataProcWithShifterOp::kSXTB: return vixl::aarch64::SXTB; |
| 362 | case HDataProcWithShifterOp::kSXTH: return vixl::aarch64::SXTH; |
| 363 | case HDataProcWithShifterOp::kSXTW: return vixl::aarch64::SXTW; |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 364 | default: |
| 365 | LOG(FATAL) << "Unexpected op kind " << op_kind; |
| 366 | UNREACHABLE(); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 367 | return vixl::aarch64::NO_EXTEND; |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 368 | } |
| 369 | } |
| 370 | |
Alexandre Rames | badf2b2 | 2016-08-24 17:08:49 +0100 | [diff] [blame] | 371 | inline bool ShifterOperandSupportsExtension(HInstruction* instruction) { |
Vladimir Marko | 33bff25 | 2017-11-01 14:35:42 +0000 | [diff] [blame] | 372 | DCHECK(HasShifterOperand(instruction, InstructionSet::kArm64)); |
Alexandre Rames | 8626b74 | 2015-11-25 16:28:08 +0000 | [diff] [blame] | 373 | // Although the `neg` instruction is an alias of the `sub` instruction, `HNeg` |
| 374 | // does *not* support extension. This is because the `extended register` form |
| 375 | // of the `sub` instruction interprets the left register with code 31 as the |
| 376 | // stack pointer and not the zero register. (So does the `immediate` form.) In |
| 377 | // the other form `shifted register, the register with code 31 is interpreted |
| 378 | // as the zero register. |
| 379 | return instruction->IsAdd() || instruction->IsSub(); |
| 380 | } |
| 381 | |
Andreas Gampe | 878d58c | 2015-01-15 23:24:00 -0800 | [diff] [blame] | 382 | } // namespace helpers |
| 383 | } // namespace arm64 |
| 384 | } // namespace art |
| 385 | |
| 386 | #endif // ART_COMPILER_OPTIMIZING_COMMON_ARM64_H_ |