1 /*
2 * Copyright (c) 2009, 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.amd64;
24
25 import static jdk.vm.ci.code.MemoryBarriers.LOAD_LOAD;
26 import static jdk.vm.ci.code.MemoryBarriers.LOAD_STORE;
27 import static jdk.vm.ci.code.MemoryBarriers.STORE_STORE;
28 import static jdk.vm.ci.code.Register.SPECIAL;
29
30 import java.nio.ByteOrder;
31 import java.util.EnumSet;
32
33 import jdk.vm.ci.code.Architecture;
34 import jdk.vm.ci.code.Register;
35 import jdk.vm.ci.code.Register.RegisterCategory;
36 import jdk.vm.ci.code.RegisterArray;
37 import jdk.vm.ci.meta.JavaKind;
38 import jdk.vm.ci.meta.PlatformKind;
39
40 /**
41 * Represents the AMD64 architecture.
42 */
43 public class AMD64 extends Architecture {
44
45 public static final RegisterCategory CPU = new RegisterCategory("CPU");
46
47 // @formatter:off
48
49 // General purpose CPU registers
50 public static final Register rax = new Register(0, 0, "rax", CPU);
51 public static final Register rcx = new Register(1, 1, "rcx", CPU);
52 public static final Register rdx = new Register(2, 2, "rdx", CPU);
53 public static final Register rbx = new Register(3, 3, "rbx", CPU);
54 public static final Register rsp = new Register(4, 4, "rsp", CPU);
55 public static final Register rbp = new Register(5, 5, "rbp", CPU);
56 public static final Register rsi = new Register(6, 6, "rsi", CPU);
57 public static final Register rdi = new Register(7, 7, "rdi", CPU);
58
59 public static final Register r8 = new Register(8, 8, "r8", CPU);
60 public static final Register r9 = new Register(9, 9, "r9", CPU);
61 public static final Register r10 = new Register(10, 10, "r10", CPU);
62 public static final Register r11 = new Register(11, 11, "r11", CPU);
63 public static final Register r12 = new Register(12, 12, "r12", CPU);
64 public static final Register r13 = new Register(13, 13, "r13", CPU);
65 public static final Register r14 = new Register(14, 14, "r14", CPU);
66 public static final Register r15 = new Register(15, 15, "r15", CPU);
67
68 public static final Register[] cpuRegisters = {
69 rax, rcx, rdx, rbx, rsp, rbp, rsi, rdi,
70 r8, r9, r10, r11, r12, r13, r14, r15
71 };
72
73 public static final RegisterCategory XMM = new RegisterCategory("XMM");
74
75 // XMM registers
76 public static final Register xmm0 = new Register(16, 0, "xmm0", XMM);
77 public static final Register xmm1 = new Register(17, 1, "xmm1", XMM);
78 public static final Register xmm2 = new Register(18, 2, "xmm2", XMM);
79 public static final Register xmm3 = new Register(19, 3, "xmm3", XMM);
80 public static final Register xmm4 = new Register(20, 4, "xmm4", XMM);
81 public static final Register xmm5 = new Register(21, 5, "xmm5", XMM);
82 public static final Register xmm6 = new Register(22, 6, "xmm6", XMM);
83 public static final Register xmm7 = new Register(23, 7, "xmm7", XMM);
84
85 public static final Register xmm8 = new Register(24, 8, "xmm8", XMM);
86 public static final Register xmm9 = new Register(25, 9, "xmm9", XMM);
87 public static final Register xmm10 = new Register(26, 10, "xmm10", XMM);
88 public static final Register xmm11 = new Register(27, 11, "xmm11", XMM);
89 public static final Register xmm12 = new Register(28, 12, "xmm12", XMM);
90 public static final Register xmm13 = new Register(29, 13, "xmm13", XMM);
91 public static final Register xmm14 = new Register(30, 14, "xmm14", XMM);
92 public static final Register xmm15 = new Register(31, 15, "xmm15", XMM);
93
94 public static final Register xmm16 = new Register(32, 16, "xmm16", XMM);
95 public static final Register xmm17 = new Register(33, 17, "xmm17", XMM);
96 public static final Register xmm18 = new Register(34, 18, "xmm18", XMM);
97 public static final Register xmm19 = new Register(35, 19, "xmm19", XMM);
98 public static final Register xmm20 = new Register(36, 20, "xmm20", XMM);
99 public static final Register xmm21 = new Register(37, 21, "xmm21", XMM);
100 public static final Register xmm22 = new Register(38, 22, "xmm22", XMM);
101 public static final Register xmm23 = new Register(39, 23, "xmm23", XMM);
102
103 public static final Register xmm24 = new Register(40, 24, "xmm24", XMM);
104 public static final Register xmm25 = new Register(41, 25, "xmm25", XMM);
105 public static final Register xmm26 = new Register(42, 26, "xmm26", XMM);
106 public static final Register xmm27 = new Register(43, 27, "xmm27", XMM);
107 public static final Register xmm28 = new Register(44, 28, "xmm28", XMM);
108 public static final Register xmm29 = new Register(45, 29, "xmm29", XMM);
109 public static final Register xmm30 = new Register(46, 30, "xmm30", XMM);
110 public static final Register xmm31 = new Register(47, 31, "xmm31", XMM);
111
112 public static final Register[] xmmRegistersSSE = {
113 xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7,
114 xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15
115 };
116
117 public static final Register[] xmmRegistersAVX512 = {
118 xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7,
119 xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15,
120 xmm16, xmm17, xmm18, xmm19, xmm20, xmm21, xmm22, xmm23,
121 xmm24, xmm25, xmm26, xmm27, xmm28, xmm29, xmm30, xmm31
122 };
123
124 public static final RegisterCategory MASK = new RegisterCategory("MASK", false);
125
126 public static final Register k0 = new Register(48, 0, "k0", MASK);
127 public static final Register k1 = new Register(49, 1, "k1", MASK);
128 public static final Register k2 = new Register(50, 2, "k2", MASK);
129 public static final Register k3 = new Register(51, 3, "k3", MASK);
130 public static final Register k4 = new Register(52, 4, "k4", MASK);
131 public static final Register k5 = new Register(53, 5, "k5", MASK);
132 public static final Register k6 = new Register(54, 6, "k6", MASK);
133 public static final Register k7 = new Register(55, 7, "k7", MASK);
134
135 public static final RegisterArray valueRegistersSSE = new RegisterArray(
136 rax, rcx, rdx, rbx, rsp, rbp, rsi, rdi,
137 r8, r9, r10, r11, r12, r13, r14, r15,
138 xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7,
139 xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15
140 );
141
142 public static final RegisterArray valueRegistersAVX512 = new RegisterArray(
143 rax, rcx, rdx, rbx, rsp, rbp, rsi, rdi,
144 r8, r9, r10, r11, r12, r13, r14, r15,
145 xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7,
146 xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15,
147 xmm16, xmm17, xmm18, xmm19, xmm20, xmm21, xmm22, xmm23,
148 xmm24, xmm25, xmm26, xmm27, xmm28, xmm29, xmm30, xmm31,
149 k0, k1, k2, k3, k4, k5, k6, k7
150 );
151
152 /**
153 * Register used to construct an instruction-relative address.
154 */
155 public static final Register rip = new Register(56, -1, "rip", SPECIAL);
156
157 public static final RegisterArray allRegisters = new RegisterArray(
158 rax, rcx, rdx, rbx, rsp, rbp, rsi, rdi,
159 r8, r9, r10, r11, r12, r13, r14, r15,
160 xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7,
161 xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15,
162 xmm16, xmm17, xmm18, xmm19, xmm20, xmm21, xmm22, xmm23,
163 xmm24, xmm25, xmm26, xmm27, xmm28, xmm29, xmm30, xmm31,
164 k0, k1, k2, k3, k4, k5, k6, k7,
165 rip
166 );
167
168 // @formatter:on
169
170 /**
171 * Basic set of CPU features mirroring what is returned from the cpuid instruction. See:
172 * {@code VM_Version::cpuFeatureFlags}.
173 */
174 public enum CPUFeature {
175 CX8,
176 CMOV,
177 FXSR,
178 HT,
179 MMX,
180 AMD_3DNOW_PREFETCH,
181 SSE,
182 SSE2,
183 SSE3,
184 SSSE3,
185 SSE4A,
186 SSE4_1,
187 SSE4_2,
188 POPCNT,
189 LZCNT,
190 TSC,
191 TSCINV,
192 AVX,
193 AVX2,
194 AES,
195 ERMS,
196 CLMUL,
197 BMI1,
198 BMI2,
199 RTM,
200 ADX,
201 AVX512F,
202 AVX512DQ,
203 AVX512PF,
204 AVX512ER,
205 AVX512CD,
206 AVX512BW,
207 AVX512VL,
208 SHA
209 }
210
211 private final EnumSet<CPUFeature> features;
212
213 /**
214 * Set of flags to control code emission.
215 */
216 public enum Flag {
217 UseCountLeadingZerosInstruction,
218 UseCountTrailingZerosInstruction
219 }
220
221 private final EnumSet<Flag> flags;
222
223 private final AMD64Kind largestKind;
224
225 public AMD64(EnumSet<CPUFeature> features, EnumSet<Flag> flags) {
226 super("AMD64", AMD64Kind.QWORD, ByteOrder.LITTLE_ENDIAN, true, allRegisters, LOAD_LOAD | LOAD_STORE | STORE_STORE, 1, 8);
227 this.features = features;
228 this.flags = flags;
229 assert features.contains(CPUFeature.SSE2) : "minimum config for x64";
230
231 if (features.contains(CPUFeature.AVX512F)) {
232 largestKind = AMD64Kind.V512_QWORD;
233 } else if (features.contains(CPUFeature.AVX)) {
234 largestKind = AMD64Kind.V256_QWORD;
235 } else {
236 largestKind = AMD64Kind.V128_QWORD;
237 }
238 }
239
240 public EnumSet<CPUFeature> getFeatures() {
241 return features;
242 }
243
244 public EnumSet<Flag> getFlags() {
245 return flags;
246 }
247
248 @Override
249 public RegisterArray getAvailableValueRegisters() {
250 if (features.contains(CPUFeature.AVX512F)) {
251 return valueRegistersAVX512;
252 } else {
253 return valueRegistersSSE;
254 }
255 }
256
257 @Override
258 public PlatformKind getPlatformKind(JavaKind javaKind) {
259 switch (javaKind) {
260 case Boolean:
261 case Byte:
262 return AMD64Kind.BYTE;
263 case Short:
264 case Char:
265 return AMD64Kind.WORD;
266 case Int:
267 return AMD64Kind.DWORD;
268 case Long:
269 case Object:
270 return AMD64Kind.QWORD;
271 case Float:
272 return AMD64Kind.SINGLE;
273 case Double:
274 return AMD64Kind.DOUBLE;
275 default:
276 return null;
277 }
278 }
279
280 @Override
281 public boolean canStoreValue(RegisterCategory category, PlatformKind platformKind) {
282 AMD64Kind kind = (AMD64Kind) platformKind;
283 if (kind.isInteger()) {
284 return category.equals(CPU);
285 } else if (kind.isXMM()) {
286 return category.equals(XMM);
287 } else {
288 assert kind.isMask();
289 return category.equals(MASK);
290 }
291 }
292
293 @Override
294 public AMD64Kind getLargestStorableKind(RegisterCategory category) {
295 if (category.equals(CPU)) {
296 return AMD64Kind.QWORD;
297 } else if (category.equals(XMM)) {
298 return largestKind;
299 } else if (category.equals(MASK)) {
300 return AMD64Kind.MASK64;
301 } else {
302 return null;
303 }
304 }
305 }