1 /* 2 * Copyright (c) 2015, 2016, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 package jdk.vm.ci.hotspot.aarch64; 24 25 import static jdk.vm.ci.aarch64.AArch64.lr; 26 import static jdk.vm.ci.aarch64.AArch64.r0; 27 import static jdk.vm.ci.aarch64.AArch64.r1; 28 import static jdk.vm.ci.aarch64.AArch64.r12; 29 import static jdk.vm.ci.aarch64.AArch64.r2; 30 import static jdk.vm.ci.aarch64.AArch64.r27; 31 import static jdk.vm.ci.aarch64.AArch64.r28; 32 import static jdk.vm.ci.aarch64.AArch64.r29; 33 import static jdk.vm.ci.aarch64.AArch64.r3; 34 import static jdk.vm.ci.aarch64.AArch64.r31; 35 import static jdk.vm.ci.aarch64.AArch64.r4; 36 import static jdk.vm.ci.aarch64.AArch64.r5; 37 import static jdk.vm.ci.aarch64.AArch64.r6; 38 import static jdk.vm.ci.aarch64.AArch64.r7; 39 import static jdk.vm.ci.aarch64.AArch64.r9; 40 import static jdk.vm.ci.aarch64.AArch64.sp; 41 import static jdk.vm.ci.aarch64.AArch64.v0; 42 import static jdk.vm.ci.aarch64.AArch64.v1; 43 import static jdk.vm.ci.aarch64.AArch64.v2; 44 import static jdk.vm.ci.aarch64.AArch64.v3; 45 import static jdk.vm.ci.aarch64.AArch64.v4; 46 import static jdk.vm.ci.aarch64.AArch64.v5; 47 import static jdk.vm.ci.aarch64.AArch64.v6; 48 import static jdk.vm.ci.aarch64.AArch64.v7; 49 import static jdk.vm.ci.aarch64.AArch64.zr; 50 51 import java.util.ArrayList; 52 import java.util.HashSet; 53 import java.util.List; 54 import java.util.Set; 55 56 import jdk.vm.ci.aarch64.AArch64; 57 import jdk.vm.ci.code.Architecture; 58 import jdk.vm.ci.code.CallingConvention; 59 import jdk.vm.ci.code.CallingConvention.Type; 60 import jdk.vm.ci.code.Register; 61 import jdk.vm.ci.code.RegisterArray; 62 import jdk.vm.ci.code.RegisterAttributes; 63 import jdk.vm.ci.code.RegisterConfig; 64 import jdk.vm.ci.code.StackSlot; 65 import jdk.vm.ci.code.TargetDescription; 66 import jdk.vm.ci.code.ValueKindFactory; 67 import jdk.vm.ci.common.JVMCIError; 68 import jdk.vm.ci.hotspot.HotSpotCallingConventionType; 69 import jdk.vm.ci.meta.AllocatableValue; 70 import jdk.vm.ci.meta.JavaKind; 71 import jdk.vm.ci.meta.JavaType; 72 import jdk.vm.ci.meta.PlatformKind; 73 import jdk.vm.ci.meta.Value; 74 import jdk.vm.ci.meta.ValueKind; 75 76 public class AArch64HotSpotRegisterConfig implements RegisterConfig { 77 78 private final TargetDescription target; 79 80 private final RegisterArray allocatable; 81 82 /** 83 * The caller saved registers always include all parameter registers. 84 */ 85 private final RegisterArray callerSaved; 86 87 private final boolean allAllocatableAreCallerSaved; 88 89 private final RegisterAttributes[] attributesMap; 90 91 @Override 92 public RegisterArray getAllocatableRegisters() { 93 return allocatable; 94 } 95 96 @Override 97 public RegisterArray filterAllocatableRegisters(PlatformKind kind, RegisterArray registers) { 98 ArrayList<Register> list = new ArrayList<>(); 99 for (Register reg : registers) { 100 if (target.arch.canStoreValue(reg.getRegisterCategory(), kind)) { 101 list.add(reg); 102 } 103 } 104 105 return new RegisterArray(list); 106 } 107 108 @Override 109 public RegisterAttributes[] getAttributesMap() { 110 return attributesMap.clone(); 111 } 112 113 private final RegisterArray javaGeneralParameterRegisters = new RegisterArray(r1, r2, r3, r4, r5, r6, r7, r0); 114 private final RegisterArray nativeGeneralParameterRegisters = new RegisterArray(r0, r1, r2, r3, r4, r5, r6, r7); 115 private final RegisterArray simdParameterRegisters = new RegisterArray(v0, v1, v2, v3, v4, v5, v6, v7); 116 117 public static final Register inlineCacheRegister = r9; 118 119 /** 120 * Vtable stubs expect the metaspace Method in r12. 121 */ 122 public static final Register metaspaceMethodRegister = r12; 123 124 public static final Register heapBaseRegister = r27; 125 public static final Register threadRegister = r28; 126 public static final Register fp = r29; 127 128 private static final RegisterArray reservedRegisters = new RegisterArray(threadRegister, fp, lr, r31, zr, sp); 129 130 private static RegisterArray initAllocatable(Architecture arch, boolean reserveForHeapBase) { 131 RegisterArray allRegisters = arch.getAvailableValueRegisters(); 132 Register[] registers = new Register[allRegisters.size() - reservedRegisters.size() - (reserveForHeapBase ? 1 : 0)]; 133 List<Register> reservedRegistersList = reservedRegisters.asList(); 134 135 int idx = 0; 136 for (Register reg : allRegisters) { 137 if (reservedRegistersList.contains(reg)) { 138 // skip reserved registers 139 continue; 140 } 141 assert !(reg.equals(threadRegister) || reg.equals(fp) || reg.equals(lr) || reg.equals(r31) || reg.equals(zr) || reg.equals(sp)); 142 if (reserveForHeapBase && reg.equals(heapBaseRegister)) { 143 // skip heap base register 144 continue; 145 } 146 147 registers[idx++] = reg; 148 } 149 150 assert idx == registers.length; 151 return new RegisterArray(registers); 152 } 153 154 public AArch64HotSpotRegisterConfig(TargetDescription target, boolean useCompressedOops) { 155 this(target, initAllocatable(target.arch, useCompressedOops)); 156 assert callerSaved.size() >= allocatable.size(); 157 } 158 159 public AArch64HotSpotRegisterConfig(TargetDescription target, RegisterArray allocatable) { 160 this.target = target; 161 162 this.allocatable = allocatable; 163 Set<Register> callerSaveSet = new HashSet<>(); 164 allocatable.addTo(callerSaveSet); 165 simdParameterRegisters.addTo(callerSaveSet); 166 javaGeneralParameterRegisters.addTo(callerSaveSet); 167 nativeGeneralParameterRegisters.addTo(callerSaveSet); 168 callerSaved = new RegisterArray(callerSaveSet); 169 170 allAllocatableAreCallerSaved = true; 171 attributesMap = RegisterAttributes.createMap(this, AArch64.allRegisters); 172 } 173 174 @Override 175 public RegisterArray getCallerSaveRegisters() { 176 return callerSaved; 177 } 178 179 public RegisterArray getCalleeSaveRegisters() { 180 return null; 181 } 182 183 @Override 184 public boolean areAllAllocatableRegistersCallerSaved() { 185 return allAllocatableAreCallerSaved; 186 } 187 188 @Override 189 public CallingConvention getCallingConvention(Type type, JavaType returnType, JavaType[] parameterTypes, ValueKindFactory<?> valueKindFactory) { 190 HotSpotCallingConventionType hotspotType = (HotSpotCallingConventionType) type; 191 if (type == HotSpotCallingConventionType.NativeCall) { 192 return callingConvention(nativeGeneralParameterRegisters, returnType, parameterTypes, hotspotType, valueKindFactory); 193 } 194 // On x64, parameter locations are the same whether viewed 195 // from the caller or callee perspective 196 return callingConvention(javaGeneralParameterRegisters, returnType, parameterTypes, hotspotType, valueKindFactory); 197 } 198 199 @Override 200 public RegisterArray getCallingConventionRegisters(Type type, JavaKind kind) { 201 HotSpotCallingConventionType hotspotType = (HotSpotCallingConventionType) type; 202 switch (kind) { 203 case Boolean: 204 case Byte: 205 case Short: 206 case Char: 207 case Int: 208 case Long: 209 case Object: 210 return hotspotType == HotSpotCallingConventionType.NativeCall ? nativeGeneralParameterRegisters : javaGeneralParameterRegisters; 211 case Float: 212 case Double: 213 return simdParameterRegisters; 214 default: 215 throw JVMCIError.shouldNotReachHere(); 216 } 217 } 218 219 private CallingConvention callingConvention(RegisterArray generalParameterRegisters, JavaType returnType, JavaType[] parameterTypes, HotSpotCallingConventionType type, 220 ValueKindFactory<?> valueKindFactory) { 221 AllocatableValue[] locations = new AllocatableValue[parameterTypes.length]; 222 223 int currentGeneral = 0; 224 int currentSIMD = 0; 225 int currentStackOffset = 0; 226 227 for (int i = 0; i < parameterTypes.length; i++) { 228 final JavaKind kind = parameterTypes[i].getJavaKind().getStackKind(); 229 230 switch (kind) { 231 case Byte: 232 case Boolean: 233 case Short: 234 case Char: 235 case Int: 236 case Long: 237 case Object: 238 if (currentGeneral < generalParameterRegisters.size()) { 239 Register register = generalParameterRegisters.get(currentGeneral++); 240 locations[i] = register.asValue(valueKindFactory.getValueKind(kind)); 241 } 242 break; 243 case Float: 244 case Double: 245 if (currentSIMD < simdParameterRegisters.size()) { 246 Register register = simdParameterRegisters.get(currentSIMD++); 247 locations[i] = register.asValue(valueKindFactory.getValueKind(kind)); 248 } 249 break; 250 default: 251 throw JVMCIError.shouldNotReachHere(); 252 } 253 254 if (locations[i] == null) { 255 ValueKind<?> valueKind = valueKindFactory.getValueKind(kind); 256 locations[i] = StackSlot.get(valueKind, currentStackOffset, !type.out); 257 currentStackOffset += Math.max(valueKind.getPlatformKind().getSizeInBytes(), target.wordSize); 258 } 259 } 260 261 JavaKind returnKind = returnType == null ? JavaKind.Void : returnType.getJavaKind(); 262 AllocatableValue returnLocation = returnKind == JavaKind.Void ? Value.ILLEGAL : getReturnRegister(returnKind).asValue(valueKindFactory.getValueKind(returnKind.getStackKind())); 263 return new CallingConvention(currentStackOffset, returnLocation, locations); 264 } 265 266 @Override 267 public Register getReturnRegister(JavaKind kind) { 268 switch (kind) { 269 case Boolean: 270 case Byte: 271 case Char: 272 case Short: 273 case Int: 274 case Long: 275 case Object: 276 return r0; 277 case Float: 278 case Double: 279 return v0; 280 case Void: 281 case Illegal: 282 return null; 283 default: 284 throw new UnsupportedOperationException("no return register for type " + kind); 285 } 286 } 287 288 @Override 289 public Register getFrameRegister() { 290 return sp; 291 } 292 293 @Override 294 public String toString() { 295 return String.format("Allocatable: " + getAllocatableRegisters() + "%n" + "CallerSave: " + getCallerSaveRegisters() + "%n"); 296 } 297 }