Mercurial > hg > graal-jvmci-8
annotate jvmci/jdk.vm.ci.hotspot.aarch64/src/jdk/vm/ci/hotspot/aarch64/AArch64HotSpotRegisterConfig.java @ 22783:d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
| author | Christian Wimmer <christian.wimmer@oracle.com> |
|---|---|
| date | Thu, 21 Jan 2016 13:53:26 -0800 |
| parents | 577a4a8caa72 |
| children | 0ab4d816a7f0 |
| rev | line source |
|---|---|
| 22759 | 1 /* |
| 2 * Copyright (c) 2015, 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.r4; | |
| 35 import static jdk.vm.ci.aarch64.AArch64.r5; | |
| 36 import static jdk.vm.ci.aarch64.AArch64.r6; | |
| 37 import static jdk.vm.ci.aarch64.AArch64.r7; | |
| 38 import static jdk.vm.ci.aarch64.AArch64.r9; | |
| 39 import static jdk.vm.ci.aarch64.AArch64.sp; | |
| 40 import static jdk.vm.ci.aarch64.AArch64.v0; | |
| 41 import static jdk.vm.ci.aarch64.AArch64.v1; | |
| 42 import static jdk.vm.ci.aarch64.AArch64.v2; | |
| 43 import static jdk.vm.ci.aarch64.AArch64.v3; | |
| 44 import static jdk.vm.ci.aarch64.AArch64.v4; | |
| 45 import static jdk.vm.ci.aarch64.AArch64.v5; | |
| 46 import static jdk.vm.ci.aarch64.AArch64.v6; | |
| 47 import static jdk.vm.ci.aarch64.AArch64.v7; | |
| 48 | |
| 49 import java.util.ArrayList; | |
| 50 import java.util.Arrays; | |
| 51 import java.util.Collections; | |
| 52 import java.util.HashSet; | |
| 53 import java.util.Set; | |
| 54 | |
| 55 import jdk.vm.ci.aarch64.AArch64; | |
| 56 import jdk.vm.ci.code.Architecture; | |
| 57 import jdk.vm.ci.code.CallingConvention; | |
| 58 import jdk.vm.ci.code.CallingConvention.Type; | |
| 59 import jdk.vm.ci.code.Register; | |
| 60 import jdk.vm.ci.code.RegisterAttributes; | |
| 61 import jdk.vm.ci.code.RegisterConfig; | |
| 62 import jdk.vm.ci.code.StackSlot; | |
| 63 import jdk.vm.ci.code.TargetDescription; | |
| 64 import jdk.vm.ci.common.JVMCIError; | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
65 import jdk.vm.ci.hotspot.HotSpotCallingConventionType; |
| 22759 | 66 import jdk.vm.ci.hotspot.HotSpotVMConfig; |
| 67 import jdk.vm.ci.meta.AllocatableValue; | |
| 68 import jdk.vm.ci.meta.JavaKind; | |
| 69 import jdk.vm.ci.meta.JavaType; | |
| 70 import jdk.vm.ci.meta.LIRKind; | |
| 71 import jdk.vm.ci.meta.PlatformKind; | |
| 72 import jdk.vm.ci.meta.Value; | |
| 73 | |
| 74 public class AArch64HotSpotRegisterConfig implements RegisterConfig { | |
| 75 | |
| 76 private final Architecture architecture; | |
| 77 | |
| 78 private final Register[] allocatable; | |
| 79 | |
| 80 private final int maxFrameSize; | |
| 81 | |
| 82 /** | |
| 83 * The caller saved registers always include all parameter registers. | |
| 84 */ | |
| 85 private final Register[] callerSaved; | |
| 86 | |
| 87 private final boolean allAllocatableAreCallerSaved; | |
| 88 | |
| 89 private final RegisterAttributes[] attributesMap; | |
| 90 | |
| 91 public int getMaximumFrameSize() { | |
| 92 return maxFrameSize; | |
| 93 } | |
| 94 | |
| 95 @Override | |
| 96 public Register[] getAllocatableRegisters() { | |
| 97 return allocatable.clone(); | |
| 98 } | |
| 99 | |
| 100 public Register[] filterAllocatableRegisters(PlatformKind kind, Register[] registers) { | |
| 101 ArrayList<Register> list = new ArrayList<>(); | |
| 102 for (Register reg : registers) { | |
| 103 if (architecture.canStoreValue(reg.getRegisterCategory(), kind)) { | |
| 104 list.add(reg); | |
| 105 } | |
| 106 } | |
| 107 | |
| 108 Register[] ret = list.toArray(new Register[list.size()]); | |
| 109 return ret; | |
| 110 } | |
| 111 | |
| 112 @Override | |
| 113 public RegisterAttributes[] getAttributesMap() { | |
| 114 return attributesMap.clone(); | |
| 115 } | |
| 116 | |
| 117 private final Register[] javaGeneralParameterRegisters = {r1, r2, r3, r4, r5, r6, r7, r0}; | |
| 118 private final Register[] nativeGeneralParameterRegisters = {r0, r1, r2, r3, r4, r5, r6, r7}; | |
| 119 private final Register[] simdParameterRegisters = {v0, v1, v2, v3, v4, v5, v6, v7}; | |
| 120 | |
| 121 public static final Register inlineCacheRegister = r9; | |
| 122 | |
| 123 /** | |
| 124 * Vtable stubs expect the metaspace Method in r12. | |
| 125 */ | |
| 126 public static final Register metaspaceMethodRegister = r12; | |
| 127 | |
| 128 public static final Register heapBaseRegister = r27; | |
| 129 public static final Register threadRegister = r28; | |
| 130 public static final Register fp = r29; | |
| 131 | |
| 132 private static Register[] initAllocatable(Architecture arch, boolean reserveForHeapBase) { | |
| 133 Register[] allRegisters = arch.getAvailableValueRegisters(); | |
| 134 Register[] registers = new Register[allRegisters.length - (reserveForHeapBase ? 5 : 4)]; | |
| 135 | |
| 136 int idx = 0; | |
| 137 for (Register reg : allRegisters) { | |
| 138 if (reg.equals(threadRegister) || reg.equals(fp) || reg.equals(lr) || reg.equals(sp)) { | |
| 139 // skip thread register, frame pointer, link register and stack pointer | |
| 140 continue; | |
| 141 } | |
| 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 registers; | |
| 152 } | |
| 153 | |
| 154 public AArch64HotSpotRegisterConfig(Architecture architecture, HotSpotVMConfig config) { | |
| 155 this(architecture, config, initAllocatable(architecture, config.useCompressedOops)); | |
| 156 assert callerSaved.length >= allocatable.length; | |
| 157 } | |
| 158 | |
| 159 public AArch64HotSpotRegisterConfig(Architecture architecture, HotSpotVMConfig config, Register[] allocatable) { | |
| 160 this.architecture = architecture; | |
| 161 this.maxFrameSize = config.maxFrameSize; | |
| 162 | |
| 163 this.allocatable = allocatable.clone(); | |
| 164 Set<Register> callerSaveSet = new HashSet<>(); | |
| 165 Collections.addAll(callerSaveSet, allocatable); | |
| 166 Collections.addAll(callerSaveSet, simdParameterRegisters); | |
| 167 Collections.addAll(callerSaveSet, javaGeneralParameterRegisters); | |
| 168 Collections.addAll(callerSaveSet, nativeGeneralParameterRegisters); | |
| 169 callerSaved = callerSaveSet.toArray(new Register[callerSaveSet.size()]); | |
| 170 | |
| 171 allAllocatableAreCallerSaved = true; | |
| 172 attributesMap = RegisterAttributes.createMap(this, AArch64.allRegisters); | |
| 173 } | |
| 174 | |
| 175 @Override | |
| 176 public Register[] getCallerSaveRegisters() { | |
| 177 return callerSaved; | |
| 178 } | |
| 179 | |
| 180 public Register[] getCalleeSaveRegisters() { | |
| 181 return null; | |
| 182 } | |
| 183 | |
| 184 @Override | |
| 185 public boolean areAllAllocatableRegistersCallerSaved() { | |
| 186 return allAllocatableAreCallerSaved; | |
| 187 } | |
| 188 | |
| 189 @Override | |
| 190 public Register getRegisterForRole(int index) { | |
| 191 throw new UnsupportedOperationException(); | |
| 192 } | |
| 193 | |
| 194 @Override | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
195 public CallingConvention getCallingConvention(Type type, JavaType returnType, JavaType[] parameterTypes, TargetDescription target) { |
|
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
196 if (type == HotSpotCallingConventionType.NativeCall) { |
|
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
197 return callingConvention(nativeGeneralParameterRegisters, returnType, parameterTypes, (HotSpotCallingConventionType) type, target); |
| 22759 | 198 } |
| 199 // On x64, parameter locations are the same whether viewed | |
| 200 // from the caller or callee perspective | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
201 return callingConvention(javaGeneralParameterRegisters, returnType, parameterTypes, (HotSpotCallingConventionType) type, target); |
| 22759 | 202 } |
| 203 | |
| 204 public Register[] getCallingConventionRegisters(Type type, JavaKind kind) { | |
| 205 switch (kind) { | |
| 206 case Boolean: | |
| 207 case Byte: | |
| 208 case Short: | |
| 209 case Char: | |
| 210 case Int: | |
| 211 case Long: | |
| 212 case Object: | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
213 return type == HotSpotCallingConventionType.NativeCall ? nativeGeneralParameterRegisters : javaGeneralParameterRegisters; |
| 22759 | 214 case Float: |
| 215 case Double: | |
| 216 return simdParameterRegisters; | |
| 217 default: | |
| 218 throw JVMCIError.shouldNotReachHere(); | |
| 219 } | |
| 220 } | |
| 221 | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
222 private CallingConvention callingConvention(Register[] generalParameterRegisters, JavaType returnType, JavaType[] parameterTypes, HotSpotCallingConventionType type, TargetDescription target) { |
| 22759 | 223 AllocatableValue[] locations = new AllocatableValue[parameterTypes.length]; |
| 224 | |
| 225 int currentGeneral = 0; | |
| 226 int currentSIMD = 0; | |
| 227 int currentStackOffset = 0; | |
| 228 | |
| 229 for (int i = 0; i < parameterTypes.length; i++) { | |
| 230 final JavaKind kind = parameterTypes[i].getJavaKind().getStackKind(); | |
| 231 | |
| 232 switch (kind) { | |
| 233 case Byte: | |
| 234 case Boolean: | |
| 235 case Short: | |
| 236 case Char: | |
| 237 case Int: | |
| 238 case Long: | |
| 239 case Object: | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
240 if (currentGeneral < generalParameterRegisters.length) { |
| 22759 | 241 Register register = generalParameterRegisters[currentGeneral++]; |
| 242 locations[i] = register.asValue(target.getLIRKind(kind)); | |
| 243 } | |
| 244 break; | |
| 245 case Float: | |
| 246 case Double: | |
|
22783
d63506bb5237
Make CallingConvention.Type extensible; remove unused stackOnly parameter
Christian Wimmer <christian.wimmer@oracle.com>
parents:
22759
diff
changeset
|
247 if (currentSIMD < simdParameterRegisters.length) { |
| 22759 | 248 Register register = simdParameterRegisters[currentSIMD++]; |
| 249 locations[i] = register.asValue(target.getLIRKind(kind)); | |
| 250 } | |
| 251 break; | |
| 252 default: | |
| 253 throw JVMCIError.shouldNotReachHere(); | |
| 254 } | |
| 255 | |
| 256 if (locations[i] == null) { | |
| 257 LIRKind lirKind = target.getLIRKind(kind); | |
| 258 locations[i] = StackSlot.get(lirKind, currentStackOffset, !type.out); | |
| 259 currentStackOffset += Math.max(lirKind.getPlatformKind().getSizeInBytes(), target.wordSize); | |
| 260 } | |
| 261 } | |
| 262 | |
| 263 JavaKind returnKind = returnType == null ? JavaKind.Void : returnType.getJavaKind(); | |
| 264 AllocatableValue returnLocation = returnKind == JavaKind.Void ? Value.ILLEGAL : getReturnRegister(returnKind).asValue(target.getLIRKind(returnKind.getStackKind())); | |
| 265 return new CallingConvention(currentStackOffset, returnLocation, locations); | |
| 266 } | |
| 267 | |
| 268 @Override | |
| 269 public Register getReturnRegister(JavaKind kind) { | |
| 270 switch (kind) { | |
| 271 case Boolean: | |
| 272 case Byte: | |
| 273 case Char: | |
| 274 case Short: | |
| 275 case Int: | |
| 276 case Long: | |
| 277 case Object: | |
| 278 return r0; | |
| 279 case Float: | |
| 280 case Double: | |
| 281 return v0; | |
| 282 case Void: | |
| 283 case Illegal: | |
| 284 return null; | |
| 285 default: | |
| 286 throw new UnsupportedOperationException("no return register for type " + kind); | |
| 287 } | |
| 288 } | |
| 289 | |
| 290 @Override | |
| 291 public Register getFrameRegister() { | |
| 292 return sp; | |
| 293 } | |
| 294 | |
| 295 @Override | |
| 296 public String toString() { | |
| 297 return String.format("Allocatable: " + Arrays.toString(getAllocatableRegisters()) + "%n" + "CallerSave: " + Arrays.toString(getCallerSaveRegisters()) + "%n"); | |
| 298 } | |
| 299 } |