43972
|
1 |
/*
|
|
2 |
* Copyright (c) 2014, 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 org.graalvm.compiler.hotspot.test;
|
|
24 |
|
|
25 |
import java.lang.reflect.Method;
|
|
26 |
import java.util.ArrayList;
|
|
27 |
import java.util.Arrays;
|
|
28 |
import java.util.Collection;
|
|
29 |
import java.util.Collections;
|
|
30 |
import java.util.List;
|
|
31 |
import java.util.Set;
|
|
32 |
import java.util.TreeSet;
|
|
33 |
import java.util.stream.Collectors;
|
|
34 |
|
48861
|
35 |
import org.graalvm.collections.EconomicMap;
|
|
36 |
import org.graalvm.collections.MapCursor;
|
43972
|
37 |
import org.graalvm.compiler.api.test.Graal;
|
|
38 |
import org.graalvm.compiler.hotspot.GraalHotSpotVMConfig;
|
|
39 |
import org.graalvm.compiler.hotspot.HotSpotGraalRuntimeProvider;
|
|
40 |
import org.graalvm.compiler.hotspot.meta.HotSpotProviders;
|
|
41 |
import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderConfiguration.Plugins;
|
|
42 |
import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugin;
|
|
43 |
import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins;
|
46459
|
44 |
import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins.Binding;
|
43972
|
45 |
import org.graalvm.compiler.runtime.RuntimeProvider;
|
46459
|
46 |
import org.graalvm.compiler.serviceprovider.JDK9Method;
|
43972
|
47 |
import org.graalvm.compiler.test.GraalTest;
|
46459
|
48 |
import org.junit.Test;
|
43972
|
49 |
|
|
50 |
import jdk.vm.ci.hotspot.HotSpotVMConfigStore;
|
|
51 |
import jdk.vm.ci.hotspot.VMIntrinsicMethod;
|
|
52 |
import jdk.vm.ci.meta.MetaAccessProvider;
|
46459
|
53 |
import jdk.vm.ci.meta.MetaUtil;
|
43972
|
54 |
import jdk.vm.ci.meta.MethodHandleAccessProvider.IntrinsicMethod;
|
|
55 |
import jdk.vm.ci.meta.ResolvedJavaMethod;
|
|
56 |
|
|
57 |
/**
|
46459
|
58 |
* Checks the intrinsics implemented by Graal against the set of intrinsics declared by HotSpot. The
|
|
59 |
* purpose of this test is to detect when new intrinsics are added to HotSpot and process them
|
|
60 |
* appropriately in Graal. This will be achieved by working through {@link #TO_BE_INVESTIGATED} and
|
|
61 |
* either implementing the intrinsic or moving it to {@link #IGNORE} .
|
43972
|
62 |
*/
|
|
63 |
public class CheckGraalIntrinsics extends GraalTest {
|
|
64 |
|
46459
|
65 |
public static boolean match(String type, Binding binding, VMIntrinsicMethod intrinsic) {
|
|
66 |
if (intrinsic.name.equals(binding.name)) {
|
|
67 |
if (intrinsic.descriptor.startsWith(binding.argumentsDescriptor)) {
|
|
68 |
if (type.equals(intrinsic.declaringClass)) {
|
43972
|
69 |
return true;
|
|
70 |
}
|
|
71 |
}
|
|
72 |
}
|
|
73 |
return false;
|
|
74 |
}
|
|
75 |
|
46459
|
76 |
public static InvocationPlugin findPlugin(EconomicMap<String, List<Binding>> bindings, VMIntrinsicMethod intrinsic) {
|
|
77 |
MapCursor<String, List<Binding>> cursor = bindings.getEntries();
|
|
78 |
while (cursor.advance()) {
|
|
79 |
// Match format of VMIntrinsicMethod.declaringClass
|
|
80 |
String type = MetaUtil.internalNameToJava(cursor.getKey(), true, false).replace('.', '/');
|
|
81 |
for (Binding binding : cursor.getValue()) {
|
|
82 |
if (match(type, binding, intrinsic)) {
|
|
83 |
return binding.plugin;
|
|
84 |
}
|
43972
|
85 |
}
|
|
86 |
}
|
|
87 |
return null;
|
|
88 |
}
|
|
89 |
|
46459
|
90 |
public static ResolvedJavaMethod resolveIntrinsic(MetaAccessProvider metaAccess, VMIntrinsicMethod intrinsic) throws ClassNotFoundException {
|
46807
|
91 |
Class<?> c;
|
|
92 |
try {
|
|
93 |
c = Class.forName(intrinsic.declaringClass.replace('/', '.'), false, CheckGraalIntrinsics.class.getClassLoader());
|
|
94 |
} catch (ClassNotFoundException ex) {
|
|
95 |
try {
|
|
96 |
Class.forName("javax.naming.Reference");
|
|
97 |
} catch (ClassNotFoundException coreNamingMissing) {
|
|
98 |
// if core JDK classes aren't found, we are probably running in a
|
|
99 |
// JDK9 java.base environment and then missing class is OK
|
|
100 |
return null;
|
|
101 |
}
|
|
102 |
throw ex;
|
|
103 |
}
|
43972
|
104 |
for (Method javaMethod : c.getDeclaredMethods()) {
|
|
105 |
if (javaMethod.getName().equals(intrinsic.name)) {
|
|
106 |
ResolvedJavaMethod method = metaAccess.lookupJavaMethod(javaMethod);
|
|
107 |
if (intrinsic.descriptor.equals("*")) {
|
|
108 |
// Signature polymorphic method - name match is enough
|
|
109 |
return method;
|
|
110 |
} else {
|
|
111 |
if (method.getSignature().toMethodDescriptor().equals(intrinsic.descriptor)) {
|
|
112 |
return method;
|
|
113 |
}
|
|
114 |
}
|
|
115 |
}
|
|
116 |
}
|
|
117 |
return null;
|
|
118 |
}
|
|
119 |
|
|
120 |
/**
|
|
121 |
* The HotSpot intrinsics implemented without {@link InvocationPlugin}s or whose
|
|
122 |
* {@link InvocationPlugin} registration is guarded by a condition that is false in the current
|
|
123 |
* VM context.
|
|
124 |
*/
|
|
125 |
private static final Set<String> IGNORE = new TreeSet<>();
|
|
126 |
|
|
127 |
/**
|
|
128 |
* The HotSpot intrinsics yet to be implemented or moved to {@link #IGNORE}.
|
|
129 |
*/
|
|
130 |
private static final Set<String> TO_BE_INVESTIGATED = new TreeSet<>();
|
|
131 |
|
|
132 |
private static Collection<String> add(Collection<String> c, String... elements) {
|
|
133 |
String[] sorted = elements.clone();
|
|
134 |
Arrays.sort(sorted);
|
|
135 |
for (int i = 0; i < elements.length; i++) {
|
|
136 |
if (!elements[i].equals(sorted[i])) {
|
|
137 |
// Let's keep the list sorted for easier visual inspection
|
|
138 |
fail("Element %d is out of order, \"%s\"", i, elements[i]);
|
|
139 |
}
|
|
140 |
}
|
|
141 |
c.addAll(Arrays.asList(elements));
|
|
142 |
return c;
|
|
143 |
}
|
|
144 |
|
|
145 |
static {
|
48190
|
146 |
// These are dead
|
43972
|
147 |
add(IGNORE,
|
|
148 |
"java/lang/Math.atan2(DD)D",
|
48190
|
149 |
"jdk/internal/misc/Unsafe.park(ZJ)V",
|
|
150 |
"jdk/internal/misc/Unsafe.unpark(Ljava/lang/Object;)V",
|
43972
|
151 |
"sun/misc/Unsafe.park(ZJ)V",
|
|
152 |
"sun/misc/Unsafe.prefetchRead(Ljava/lang/Object;J)V",
|
|
153 |
"sun/misc/Unsafe.prefetchReadStatic(Ljava/lang/Object;J)V",
|
|
154 |
"sun/misc/Unsafe.prefetchWrite(Ljava/lang/Object;J)V",
|
|
155 |
"sun/misc/Unsafe.prefetchWriteStatic(Ljava/lang/Object;J)V",
|
|
156 |
"sun/misc/Unsafe.unpark(Ljava/lang/Object;)V");
|
|
157 |
|
48190
|
158 |
// These only exist to assist escape analysis in C2
|
|
159 |
add(IGNORE,
|
|
160 |
"java/lang/Throwable.fillInStackTrace()Ljava/lang/Throwable;");
|
|
161 |
|
|
162 |
// These are only used for the security handling during stack walking
|
|
163 |
add(IGNORE,
|
|
164 |
"java/lang/reflect/Method.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;");
|
|
165 |
|
|
166 |
// These are marker intrinsic ids only
|
|
167 |
add(IGNORE,
|
|
168 |
"java/lang/invoke/MethodHandle.<compiledLambdaForm>*",
|
|
169 |
"java/lang/invoke/MethodHandle.invoke*");
|
|
170 |
|
|
171 |
// These are implemented through lowering
|
|
172 |
add(IGNORE,
|
|
173 |
"java/lang/ref/Reference.get()Ljava/lang/Object;");
|
|
174 |
|
|
175 |
// These are only used by C1
|
|
176 |
add(IGNORE,
|
|
177 |
"java/nio/Buffer.checkIndex(I)I");
|
|
178 |
|
|
179 |
// These do general compiler optimizations and convert min/max to cmov instructions. We are
|
|
180 |
// ignoring them as cmovs are not necessarily beneficial.
|
|
181 |
add(IGNORE,
|
|
182 |
"java/lang/Math.max(II)I",
|
|
183 |
"java/lang/Math.min(II)I");
|
|
184 |
|
|
185 |
// These are known to be implemented down stream
|
|
186 |
add(IGNORE,
|
43972
|
187 |
"java/lang/Integer.toString(I)Ljava/lang/String;",
|
|
188 |
"java/lang/String.<init>(Ljava/lang/String;)V",
|
|
189 |
"java/lang/StringBuffer.<init>()V",
|
|
190 |
"java/lang/StringBuffer.<init>(I)V",
|
|
191 |
"java/lang/StringBuffer.<init>(Ljava/lang/String;)V",
|
|
192 |
"java/lang/StringBuffer.append(C)Ljava/lang/StringBuffer;",
|
|
193 |
"java/lang/StringBuffer.append(I)Ljava/lang/StringBuffer;",
|
|
194 |
"java/lang/StringBuffer.append(Ljava/lang/String;)Ljava/lang/StringBuffer;",
|
|
195 |
"java/lang/StringBuffer.toString()Ljava/lang/String;",
|
|
196 |
"java/lang/StringBuilder.<init>()V",
|
|
197 |
"java/lang/StringBuilder.<init>(I)V",
|
|
198 |
"java/lang/StringBuilder.<init>(Ljava/lang/String;)V",
|
|
199 |
"java/lang/StringBuilder.append(C)Ljava/lang/StringBuilder;",
|
|
200 |
"java/lang/StringBuilder.append(I)Ljava/lang/StringBuilder;",
|
|
201 |
"java/lang/StringBuilder.append(Ljava/lang/String;)Ljava/lang/StringBuilder;",
|
|
202 |
"java/lang/StringBuilder.toString()Ljava/lang/String;",
|
|
203 |
"java/util/Arrays.copyOf([Ljava/lang/Object;ILjava/lang/Class;)[Ljava/lang/Object;",
|
48190
|
204 |
"java/util/Arrays.copyOfRange([Ljava/lang/Object;IILjava/lang/Class;)[Ljava/lang/Object;");
|
43972
|
205 |
|
48190
|
206 |
// These are known to be implemented but the platform dependent conditions
|
|
207 |
// for when they are enabled are complex so just ignore them all the time.
|
43972
|
208 |
add(IGNORE,
|
|
209 |
"java/lang/Integer.bitCount(I)I",
|
|
210 |
"java/lang/Integer.numberOfLeadingZeros(I)I",
|
|
211 |
"java/lang/Integer.numberOfTrailingZeros(I)I",
|
|
212 |
"java/lang/Long.bitCount(J)I",
|
|
213 |
"java/lang/Long.numberOfLeadingZeros(J)I",
|
|
214 |
"java/lang/Long.numberOfTrailingZeros(J)I");
|
|
215 |
|
48190
|
216 |
// Relevant for Java flight recorder
|
|
217 |
add(TO_BE_INVESTIGATED,
|
|
218 |
"oracle/jrockit/jfr/Timing.counterTime()J",
|
|
219 |
"oracle/jrockit/jfr/VMJFR.classID0(Ljava/lang/Class;)J",
|
|
220 |
"oracle/jrockit/jfr/VMJFR.threadID()I");
|
|
221 |
|
|
222 |
add(TO_BE_INVESTIGATED,
|
|
223 |
// Should be fairly easy to implement - C2 intrinsifies these to use "v !=
|
|
224 |
// v" to check for NaN instead of looking at the bit pattern.
|
|
225 |
"java/lang/Double.doubleToLongBits(D)J",
|
|
226 |
"java/lang/Float.floatToIntBits(F)I",
|
|
227 |
|
|
228 |
// Should be trivial to implement because we already have existing nodes
|
|
229 |
"java/lang/Math.decrementExact(I)I",
|
|
230 |
"java/lang/Math.decrementExact(J)J",
|
|
231 |
"java/lang/Math.incrementExact(I)I",
|
|
232 |
"java/lang/Math.incrementExact(J)J",
|
|
233 |
|
|
234 |
// Similar to addExact
|
|
235 |
"java/lang/Math.negateExact(I)I",
|
|
236 |
// Similar to addExact
|
|
237 |
"java/lang/Math.negateExact(J)J",
|
|
238 |
// HotSpot MacroAssembler-based intrinsic
|
|
239 |
"java/lang/String.compareTo(Ljava/lang/String;)I",
|
|
240 |
// HotSpot MacroAssembler-based intrinsic
|
|
241 |
"java/lang/String.indexOf(Ljava/lang/String;)I",
|
|
242 |
// Can share most implementation parts with with
|
|
243 |
// Unsafe.allocateUninitializedArray0
|
|
244 |
"java/lang/reflect/Array.newArray(Ljava/lang/Class;I)Ljava/lang/Object;",
|
|
245 |
// HotSpot MacroAssembler-based intrinsic
|
|
246 |
"sun/nio/cs/ISO_8859_1$Encoder.encodeISOArray([CI[BII)I",
|
|
247 |
// Stub based intrinsics but implementation seems complex in C2
|
|
248 |
"sun/security/provider/DigestBase.implCompressMultiBlock([BII)I");
|
|
249 |
|
|
250 |
if (isJDK9OrHigher()) {
|
|
251 |
// Relevant for Java flight recorder
|
|
252 |
add(TO_BE_INVESTIGATED,
|
|
253 |
"jdk/jfr/internal/JVM.counterTime()J",
|
|
254 |
"jdk/jfr/internal/JVM.getBufferWriter()Ljava/lang/Object;",
|
|
255 |
"jdk/jfr/internal/JVM.getClassId(Ljava/lang/Class;)J");
|
|
256 |
|
|
257 |
add(TO_BE_INVESTIGATED,
|
|
258 |
// Some logic and a stub call
|
|
259 |
"com/sun/crypto/provider/CounterMode.implCrypt([BII[BI)I",
|
|
260 |
// Stub and very little logic
|
|
261 |
"com/sun/crypto/provider/GHASH.processBlocks([BII[J[J)V",
|
|
262 |
// HotSpot MacroAssembler-based intrinsic
|
|
263 |
"java/lang/Math.fma(DDD)D",
|
|
264 |
// HotSpot MacroAssembler-based intrinsic
|
|
265 |
"java/lang/Math.fma(FFF)F",
|
|
266 |
// Just a runtime call (the called C code has a better fast path)
|
|
267 |
"java/lang/Object.notify()V",
|
|
268 |
// Just a runtime call (the called C code has a better fast path)
|
|
269 |
"java/lang/Object.notifyAll()V",
|
|
270 |
// Emit pause instruction if os::is_MP()
|
|
271 |
"java/lang/Thread.onSpinWait()V",
|
|
272 |
// Just check if the argument is a compile time constant
|
|
273 |
"java/lang/invoke/MethodHandleImpl.isCompileConstant(Ljava/lang/Object;)Z",
|
|
274 |
// Some logic and a runtime call
|
|
275 |
"java/util/ArraysSupport.vectorizedMismatch(Ljava/lang/Object;JLjava/lang/Object;JII)I",
|
|
276 |
// Only used as a marker for vectorization?
|
|
277 |
"java/util/stream/Streams$RangeIntSpliterator.forEachRemaining(Ljava/util/function/IntConsumer;)V",
|
|
278 |
// Only implemented on non-AMD64 platforms (some logic and runtime call)
|
|
279 |
"java/util/zip/Adler32.updateByteBuffer(IJII)I",
|
|
280 |
// Only implemented on non-AMD64 platforms (some logic and runtime call)
|
|
281 |
"java/util/zip/Adler32.updateBytes(I[BII)I",
|
|
282 |
// similar to CRC32.updateBytes
|
|
283 |
"java/util/zip/CRC32C.updateBytes(I[BII)I",
|
|
284 |
// similar to CRC32.updateDirectByteBuffer
|
|
285 |
"java/util/zip/CRC32C.updateDirectByteBuffer(IJII)I",
|
|
286 |
// Emits a slow and a fast path and some dispatching logic
|
|
287 |
"jdk/internal/misc/Unsafe.allocateUninitializedArray0(Ljava/lang/Class;I)Ljava/lang/Object;",
|
|
288 |
|
|
289 |
// Should be easy to implement as it seems to match the logic that is
|
|
290 |
// already implemented in ValueCompareAndSwapNode. On the high-level, we
|
|
291 |
// would need something similar to UnsafeCompareAndSwapNode but with a
|
|
292 |
// different result type.
|
|
293 |
"jdk/internal/misc/Unsafe.compareAndExchangeByte(Ljava/lang/Object;JBB)B",
|
|
294 |
"jdk/internal/misc/Unsafe.compareAndExchangeInt(Ljava/lang/Object;JII)I",
|
|
295 |
"jdk/internal/misc/Unsafe.compareAndExchangeLong(Ljava/lang/Object;JJJ)J",
|
|
296 |
"jdk/internal/misc/Unsafe.compareAndExchangeObject(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;",
|
|
297 |
"jdk/internal/misc/Unsafe.compareAndExchangeShort(Ljava/lang/Object;JSS)S",
|
|
298 |
|
|
299 |
// Should be easy to implement as we already have an implementation for
|
|
300 |
// int, long, and Object.
|
|
301 |
"jdk/internal/misc/Unsafe.compareAndSetByte(Ljava/lang/Object;JBB)Z",
|
|
302 |
"jdk/internal/misc/Unsafe.compareAndSetShort(Ljava/lang/Object;JSS)Z",
|
|
303 |
|
|
304 |
// Should be easy to implement as we already have an implementation for
|
|
305 |
// int and long.
|
|
306 |
"jdk/internal/misc/Unsafe.getAndAddByte(Ljava/lang/Object;JB)B",
|
|
307 |
"jdk/internal/misc/Unsafe.getAndAddShort(Ljava/lang/Object;JS)S",
|
|
308 |
|
|
309 |
// Should be easy to implement as we already have an implementation for
|
|
310 |
// int, long, and Object.
|
|
311 |
"jdk/internal/misc/Unsafe.getAndSetByte(Ljava/lang/Object;JB)B",
|
|
312 |
"jdk/internal/misc/Unsafe.getAndSetShort(Ljava/lang/Object;JS)S",
|
|
313 |
|
|
314 |
// Control flow, deopts, and a cast
|
|
315 |
"jdk/internal/util/Preconditions.checkIndex(IILjava/util/function/BiFunction;)I",
|
|
316 |
// HotSpot MacroAssembler-based intrinsic
|
|
317 |
"sun/nio/cs/ISO_8859_1$Encoder.implEncodeISOArray([CI[BII)I",
|
|
318 |
// Runtime call and some complex compiler logic
|
|
319 |
"sun/security/provider/DigestBase.implCompressMultiBlock0([BII)I");
|
|
320 |
/*
|
|
321 |
* Per default, all these operations are mapped to some generic method for which we
|
|
322 |
* already have compiler intrinsics. Performance-wise it would be better to support them
|
|
323 |
* explicitly as the more generic method might be more restrictive and therefore slower
|
|
324 |
* than necessary.
|
|
325 |
*/
|
|
326 |
add(TO_BE_INVESTIGATED,
|
|
327 |
// Mapped to compareAndExchange*
|
|
328 |
"jdk/internal/misc/Unsafe.compareAndExchangeByteAcquire(Ljava/lang/Object;JBB)B",
|
|
329 |
"jdk/internal/misc/Unsafe.compareAndExchangeByteRelease(Ljava/lang/Object;JBB)B",
|
|
330 |
"jdk/internal/misc/Unsafe.compareAndExchangeIntAcquire(Ljava/lang/Object;JII)I",
|
|
331 |
"jdk/internal/misc/Unsafe.compareAndExchangeIntRelease(Ljava/lang/Object;JII)I",
|
|
332 |
"jdk/internal/misc/Unsafe.compareAndExchangeLongAcquire(Ljava/lang/Object;JJJ)J",
|
|
333 |
"jdk/internal/misc/Unsafe.compareAndExchangeLongRelease(Ljava/lang/Object;JJJ)J",
|
|
334 |
"jdk/internal/misc/Unsafe.compareAndExchangeObjectAcquire(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;",
|
|
335 |
"jdk/internal/misc/Unsafe.compareAndExchangeObjectRelease(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;",
|
|
336 |
"jdk/internal/misc/Unsafe.compareAndExchangeShortAcquire(Ljava/lang/Object;JSS)S",
|
|
337 |
"jdk/internal/misc/Unsafe.compareAndExchangeShortRelease(Ljava/lang/Object;JSS)S",
|
|
338 |
|
|
339 |
// Mapped to get*Volatile
|
|
340 |
"jdk/internal/misc/Unsafe.getBooleanAcquire(Ljava/lang/Object;J)Z",
|
|
341 |
"jdk/internal/misc/Unsafe.getBooleanOpaque(Ljava/lang/Object;J)Z",
|
|
342 |
"jdk/internal/misc/Unsafe.getByteAcquire(Ljava/lang/Object;J)B",
|
|
343 |
"jdk/internal/misc/Unsafe.getByteOpaque(Ljava/lang/Object;J)B",
|
|
344 |
"jdk/internal/misc/Unsafe.getCharAcquire(Ljava/lang/Object;J)C",
|
|
345 |
"jdk/internal/misc/Unsafe.getCharOpaque(Ljava/lang/Object;J)C",
|
|
346 |
"jdk/internal/misc/Unsafe.getDoubleAcquire(Ljava/lang/Object;J)D",
|
|
347 |
"jdk/internal/misc/Unsafe.getDoubleOpaque(Ljava/lang/Object;J)D",
|
|
348 |
"jdk/internal/misc/Unsafe.getFloatAcquire(Ljava/lang/Object;J)F",
|
|
349 |
"jdk/internal/misc/Unsafe.getFloatOpaque(Ljava/lang/Object;J)F",
|
|
350 |
"jdk/internal/misc/Unsafe.getIntAcquire(Ljava/lang/Object;J)I",
|
|
351 |
"jdk/internal/misc/Unsafe.getIntOpaque(Ljava/lang/Object;J)I",
|
|
352 |
"jdk/internal/misc/Unsafe.getLongAcquire(Ljava/lang/Object;J)J",
|
|
353 |
"jdk/internal/misc/Unsafe.getLongOpaque(Ljava/lang/Object;J)J",
|
|
354 |
"jdk/internal/misc/Unsafe.getObjectAcquire(Ljava/lang/Object;J)Ljava/lang/Object;",
|
|
355 |
"jdk/internal/misc/Unsafe.getObjectOpaque(Ljava/lang/Object;J)Ljava/lang/Object;",
|
|
356 |
"jdk/internal/misc/Unsafe.getShortAcquire(Ljava/lang/Object;J)S",
|
|
357 |
"jdk/internal/misc/Unsafe.getShortOpaque(Ljava/lang/Object;J)S",
|
|
358 |
|
|
359 |
// Mapped to put*Volatile
|
|
360 |
"jdk/internal/misc/Unsafe.putBooleanOpaque(Ljava/lang/Object;JZ)V",
|
|
361 |
"jdk/internal/misc/Unsafe.putByteOpaque(Ljava/lang/Object;JB)V",
|
|
362 |
"jdk/internal/misc/Unsafe.putCharOpaque(Ljava/lang/Object;JC)V",
|
|
363 |
"jdk/internal/misc/Unsafe.putDoubleOpaque(Ljava/lang/Object;JD)V",
|
|
364 |
"jdk/internal/misc/Unsafe.putFloatOpaque(Ljava/lang/Object;JF)V",
|
|
365 |
"jdk/internal/misc/Unsafe.putIntOpaque(Ljava/lang/Object;JI)V",
|
|
366 |
"jdk/internal/misc/Unsafe.putLongOpaque(Ljava/lang/Object;JJ)V",
|
|
367 |
"jdk/internal/misc/Unsafe.putObjectOpaque(Ljava/lang/Object;JLjava/lang/Object;)V",
|
|
368 |
"jdk/internal/misc/Unsafe.putShortOpaque(Ljava/lang/Object;JS)V",
|
|
369 |
|
|
370 |
// Mapped to compareAndSet*
|
|
371 |
"jdk/internal/misc/Unsafe.weakCompareAndSetByte(Ljava/lang/Object;JBB)Z",
|
|
372 |
"jdk/internal/misc/Unsafe.weakCompareAndSetByteAcquire(Ljava/lang/Object;JBB)Z",
|
|
373 |
"jdk/internal/misc/Unsafe.weakCompareAndSetBytePlain(Ljava/lang/Object;JBB)Z",
|
|
374 |
"jdk/internal/misc/Unsafe.weakCompareAndSetByteRelease(Ljava/lang/Object;JBB)Z",
|
|
375 |
"jdk/internal/misc/Unsafe.weakCompareAndSetInt(Ljava/lang/Object;JII)Z",
|
|
376 |
"jdk/internal/misc/Unsafe.weakCompareAndSetIntAcquire(Ljava/lang/Object;JII)Z",
|
|
377 |
"jdk/internal/misc/Unsafe.weakCompareAndSetIntPlain(Ljava/lang/Object;JII)Z",
|
|
378 |
"jdk/internal/misc/Unsafe.weakCompareAndSetIntRelease(Ljava/lang/Object;JII)Z",
|
|
379 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLong(Ljava/lang/Object;JJJ)Z",
|
|
380 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLongAcquire(Ljava/lang/Object;JJJ)Z",
|
|
381 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLongPlain(Ljava/lang/Object;JJJ)Z",
|
|
382 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLongRelease(Ljava/lang/Object;JJJ)Z",
|
|
383 |
"jdk/internal/misc/Unsafe.weakCompareAndSetObject(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z",
|
|
384 |
"jdk/internal/misc/Unsafe.weakCompareAndSetObjectAcquire(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z",
|
|
385 |
"jdk/internal/misc/Unsafe.weakCompareAndSetObjectPlain(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z",
|
|
386 |
"jdk/internal/misc/Unsafe.weakCompareAndSetObjectRelease(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z",
|
|
387 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShort(Ljava/lang/Object;JSS)Z",
|
|
388 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShortAcquire(Ljava/lang/Object;JSS)Z",
|
|
389 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShortPlain(Ljava/lang/Object;JSS)Z",
|
|
390 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShortRelease(Ljava/lang/Object;JSS)Z");
|
|
391 |
|
|
392 |
// Compact string support - HotSpot MacroAssembler-based intrinsic or complex C2 logic.
|
|
393 |
add(TO_BE_INVESTIGATED,
|
|
394 |
"java/lang/StringCoding.hasNegatives([BII)Z",
|
|
395 |
"java/lang/StringCoding.implEncodeISOArray([BI[BII)I",
|
|
396 |
"java/lang/StringLatin1.compareTo([B[B)I",
|
|
397 |
"java/lang/StringLatin1.compareToUTF16([B[B)I",
|
|
398 |
"java/lang/StringLatin1.equals([B[B)Z",
|
|
399 |
"java/lang/StringLatin1.indexOf([BI[BII)I",
|
|
400 |
"java/lang/StringLatin1.indexOf([B[B)I",
|
|
401 |
"java/lang/StringLatin1.inflate([BI[BII)V",
|
|
402 |
"java/lang/StringLatin1.inflate([BI[CII)V",
|
|
403 |
"java/lang/StringUTF16.compareTo([B[B)I",
|
|
404 |
"java/lang/StringUTF16.compareToLatin1([B[B)I",
|
|
405 |
"java/lang/StringUTF16.compress([BI[BII)I",
|
|
406 |
"java/lang/StringUTF16.compress([CI[BII)I",
|
|
407 |
"java/lang/StringUTF16.equals([B[B)Z",
|
|
408 |
"java/lang/StringUTF16.getChar([BI)C",
|
|
409 |
"java/lang/StringUTF16.getChars([BII[CI)V",
|
|
410 |
"java/lang/StringUTF16.indexOf([BI[BII)I",
|
|
411 |
"java/lang/StringUTF16.indexOf([B[B)I",
|
|
412 |
"java/lang/StringUTF16.indexOfChar([BIII)I",
|
|
413 |
"java/lang/StringUTF16.indexOfLatin1([BI[BII)I",
|
|
414 |
"java/lang/StringUTF16.indexOfLatin1([B[B)I",
|
|
415 |
"java/lang/StringUTF16.putChar([BII)V",
|
|
416 |
"java/lang/StringUTF16.toBytes([CII)[B");
|
|
417 |
}
|
|
418 |
|
48861
|
419 |
if (isJDK10OrHigher()) {
|
|
420 |
add(TO_BE_INVESTIGATED,
|
|
421 |
"java/lang/Math.multiplyHigh(JJ)J",
|
|
422 |
"jdk/internal/util/ArraysSupport.vectorizedMismatch(Ljava/lang/Object;JLjava/lang/Object;JII)I");
|
|
423 |
}
|
|
424 |
|
48190
|
425 |
if (!getHostArchitectureName().equals("amd64")) {
|
|
426 |
// Can we implement these on non-AMD64 platforms? C2 seems to.
|
|
427 |
add(TO_BE_INVESTIGATED,
|
|
428 |
"sun/misc/Unsafe.getAndAddInt(Ljava/lang/Object;JI)I",
|
|
429 |
"sun/misc/Unsafe.getAndAddLong(Ljava/lang/Object;JJ)J",
|
|
430 |
"sun/misc/Unsafe.getAndSetInt(Ljava/lang/Object;JI)I",
|
|
431 |
"sun/misc/Unsafe.getAndSetLong(Ljava/lang/Object;JJ)J",
|
|
432 |
"sun/misc/Unsafe.getAndSetObject(Ljava/lang/Object;JLjava/lang/Object;)Ljava/lang/Object;");
|
|
433 |
|
|
434 |
if (isJDK9OrHigher()) {
|
|
435 |
add(TO_BE_INVESTIGATED,
|
|
436 |
"jdk/internal/misc/Unsafe.getAndAddInt(Ljava/lang/Object;JI)I",
|
|
437 |
"jdk/internal/misc/Unsafe.getAndAddLong(Ljava/lang/Object;JJ)J",
|
|
438 |
"jdk/internal/misc/Unsafe.getAndSetInt(Ljava/lang/Object;JI)I",
|
|
439 |
"jdk/internal/misc/Unsafe.getAndSetLong(Ljava/lang/Object;JJ)J",
|
|
440 |
"jdk/internal/misc/Unsafe.getAndSetObject(Ljava/lang/Object;JLjava/lang/Object;)Ljava/lang/Object;",
|
|
441 |
"jdk/internal/misc/Unsafe.getCharUnaligned(Ljava/lang/Object;J)C",
|
|
442 |
"jdk/internal/misc/Unsafe.getIntUnaligned(Ljava/lang/Object;J)I",
|
|
443 |
"jdk/internal/misc/Unsafe.getLongUnaligned(Ljava/lang/Object;J)J",
|
|
444 |
"jdk/internal/misc/Unsafe.getShortUnaligned(Ljava/lang/Object;J)S",
|
|
445 |
"jdk/internal/misc/Unsafe.putCharUnaligned(Ljava/lang/Object;JC)V",
|
|
446 |
"jdk/internal/misc/Unsafe.putIntUnaligned(Ljava/lang/Object;JI)V",
|
|
447 |
"jdk/internal/misc/Unsafe.putLongUnaligned(Ljava/lang/Object;JJ)V",
|
|
448 |
"jdk/internal/misc/Unsafe.putShortUnaligned(Ljava/lang/Object;JS)V");
|
|
449 |
}
|
|
450 |
}
|
|
451 |
|
|
452 |
HotSpotGraalRuntimeProvider rt = (HotSpotGraalRuntimeProvider) Graal.getRequiredCapability(RuntimeProvider.class);
|
|
453 |
GraalHotSpotVMConfig config = rt.getVMConfig();
|
|
454 |
|
|
455 |
/*
|
|
456 |
* The intrinsics down here are known to be implemented but they are not always enabled on
|
|
457 |
* the HotSpot side (e.g., because they require certain CPU features). So, we are ignoring
|
|
458 |
* them if the HotSpot config tells us that they can't be used.
|
|
459 |
*/
|
|
460 |
|
|
461 |
// CRC32 intrinsics
|
43972
|
462 |
if (!config.useCRC32Intrinsics) {
|
|
463 |
add(IGNORE, "java/util/zip/CRC32.update(II)I");
|
48190
|
464 |
if (isJDK9OrHigher()) {
|
|
465 |
add(IGNORE,
|
|
466 |
"java/util/zip/CRC32.updateByteBuffer0(IJII)I",
|
|
467 |
"java/util/zip/CRC32.updateBytes0(I[BII)I");
|
|
468 |
} else {
|
43972
|
469 |
add(IGNORE,
|
|
470 |
"java/util/zip/CRC32.updateByteBuffer(IJII)I",
|
|
471 |
"java/util/zip/CRC32.updateBytes(I[BII)I");
|
|
472 |
}
|
|
473 |
}
|
|
474 |
|
48398
|
475 |
// CRC32C intrinsics
|
|
476 |
if (!config.useCRC32CIntrinsics) {
|
|
477 |
add(IGNORE,
|
|
478 |
"java/util/zip/CRC32C.updateBytes(I[BII)I",
|
|
479 |
"java/util/zip/CRC32C.updateDirectByteBuffer(IJII)I");
|
|
480 |
}
|
|
481 |
|
48190
|
482 |
// AES intrinsics
|
43972
|
483 |
if (!config.useAESIntrinsics) {
|
48190
|
484 |
if (isJDK9OrHigher()) {
|
|
485 |
add(IGNORE,
|
|
486 |
"com/sun/crypto/provider/AESCrypt.implDecryptBlock([BI[BI)V",
|
|
487 |
"com/sun/crypto/provider/AESCrypt.implEncryptBlock([BI[BI)V",
|
|
488 |
"com/sun/crypto/provider/CipherBlockChaining.implDecrypt([BII[BI)I",
|
|
489 |
"com/sun/crypto/provider/CipherBlockChaining.implEncrypt([BII[BI)I");
|
|
490 |
} else {
|
43972
|
491 |
add(IGNORE,
|
|
492 |
"com/sun/crypto/provider/AESCrypt.decryptBlock([BI[BI)V",
|
|
493 |
"com/sun/crypto/provider/AESCrypt.encryptBlock([BI[BI)V",
|
|
494 |
"com/sun/crypto/provider/CipherBlockChaining.decrypt([BII[BI)I",
|
|
495 |
"com/sun/crypto/provider/CipherBlockChaining.encrypt([BII[BI)I");
|
48190
|
496 |
}
|
|
497 |
}
|
|
498 |
|
|
499 |
// BigInteger intrinsics
|
|
500 |
if (!config.useMultiplyToLenIntrinsic()) {
|
|
501 |
if (isJDK9OrHigher()) {
|
|
502 |
add(IGNORE, "java/math/BigInteger.implMultiplyToLen([II[II[I)[I");
|
43972
|
503 |
} else {
|
48190
|
504 |
add(IGNORE, "java/math/BigInteger.multiplyToLen([II[II[I)[I");
|
43972
|
505 |
}
|
|
506 |
}
|
48190
|
507 |
if (!config.useMulAddIntrinsic()) {
|
|
508 |
add(IGNORE, "java/math/BigInteger.implMulAdd([I[IIII)I");
|
|
509 |
}
|
|
510 |
if (!config.useMontgomeryMultiplyIntrinsic()) {
|
|
511 |
add(IGNORE, "java/math/BigInteger.implMontgomeryMultiply([I[I[IIJ[I)[I");
|
|
512 |
}
|
|
513 |
if (!config.useMontgomerySquareIntrinsic()) {
|
|
514 |
add(IGNORE, "java/math/BigInteger.implMontgomerySquare([I[IIJ[I)[I");
|
|
515 |
}
|
|
516 |
if (!config.useSquareToLenIntrinsic()) {
|
|
517 |
add(IGNORE, "java/math/BigInteger.implSquareToLen([II[II)[I");
|
|
518 |
}
|
|
519 |
|
|
520 |
// SHA intrinsics
|
|
521 |
if (!config.useSHA1Intrinsics()) {
|
|
522 |
if (isJDK9OrHigher()) {
|
|
523 |
add(IGNORE, "sun/security/provider/SHA.implCompress0([BI)V");
|
43972
|
524 |
} else {
|
48190
|
525 |
add(IGNORE, "sun/security/provider/SHA.implCompress([BI)V");
|
43972
|
526 |
}
|
|
527 |
}
|
48190
|
528 |
if (!config.useSHA256Intrinsics()) {
|
|
529 |
if (isJDK9OrHigher()) {
|
|
530 |
add(IGNORE, "sun/security/provider/SHA2.implCompress0([BI)V");
|
|
531 |
} else {
|
|
532 |
add(IGNORE, "sun/security/provider/SHA2.implCompress([BI)V");
|
|
533 |
}
|
|
534 |
}
|
|
535 |
if (!config.useSHA512Intrinsics()) {
|
|
536 |
if (isJDK9OrHigher()) {
|
|
537 |
add(IGNORE, "sun/security/provider/SHA5.implCompress0([BI)V");
|
|
538 |
} else {
|
|
539 |
add(IGNORE, "sun/security/provider/SHA5.implCompress([BI)V");
|
|
540 |
}
|
|
541 |
}
|
|
542 |
}
|
|
543 |
|
|
544 |
private static boolean isJDK9OrHigher() {
|
|
545 |
return JDK9Method.JAVA_SPECIFICATION_VERSION >= 9;
|
43972
|
546 |
}
|
|
547 |
|
48861
|
548 |
private static boolean isJDK10OrHigher() {
|
|
549 |
return JDK9Method.JAVA_SPECIFICATION_VERSION >= 10;
|
|
550 |
}
|
|
551 |
|
43972
|
552 |
private static String getHostArchitectureName() {
|
|
553 |
String arch = System.getProperty("os.arch");
|
|
554 |
if (arch.equals("x86_64")) {
|
|
555 |
arch = "amd64";
|
|
556 |
} else if (arch.equals("sparcv9")) {
|
|
557 |
arch = "sparc";
|
|
558 |
}
|
|
559 |
return arch;
|
|
560 |
}
|
|
561 |
|
|
562 |
@Test
|
|
563 |
@SuppressWarnings("try")
|
|
564 |
public void test() throws ClassNotFoundException {
|
|
565 |
HotSpotGraalRuntimeProvider rt = (HotSpotGraalRuntimeProvider) Graal.getRequiredCapability(RuntimeProvider.class);
|
|
566 |
HotSpotProviders providers = rt.getHostBackend().getProviders();
|
|
567 |
Plugins graphBuilderPlugins = providers.getGraphBuilderPlugins();
|
|
568 |
InvocationPlugins invocationPlugins = graphBuilderPlugins.getInvocationPlugins();
|
|
569 |
|
|
570 |
HotSpotVMConfigStore store = rt.getVMConfig().getStore();
|
|
571 |
List<VMIntrinsicMethod> intrinsics = store.getIntrinsics();
|
|
572 |
|
|
573 |
List<String> missing = new ArrayList<>();
|
46459
|
574 |
EconomicMap<String, List<Binding>> bindings = invocationPlugins.getBindings(true);
|
43972
|
575 |
for (VMIntrinsicMethod intrinsic : intrinsics) {
|
46459
|
576 |
InvocationPlugin plugin = findPlugin(bindings, intrinsic);
|
|
577 |
if (plugin == null) {
|
|
578 |
ResolvedJavaMethod method = resolveIntrinsic(providers.getMetaAccess(), intrinsic);
|
43972
|
579 |
if (method != null) {
|
46459
|
580 |
IntrinsicMethod intrinsicMethod = providers.getConstantReflection().getMethodHandleAccess().lookupMethodHandleIntrinsic(method);
|
43972
|
581 |
if (intrinsicMethod != null) {
|
|
582 |
continue;
|
|
583 |
}
|
|
584 |
}
|
|
585 |
String m = String.format("%s.%s%s", intrinsic.declaringClass, intrinsic.name, intrinsic.descriptor);
|
|
586 |
if (!TO_BE_INVESTIGATED.contains(m) && !IGNORE.contains(m)) {
|
|
587 |
missing.add(m);
|
|
588 |
}
|
|
589 |
}
|
|
590 |
}
|
|
591 |
|
|
592 |
if (!missing.isEmpty()) {
|
|
593 |
Collections.sort(missing);
|
|
594 |
String missingString = missing.stream().collect(Collectors.joining(String.format("%n ")));
|
|
595 |
fail("missing Graal intrinsics for:%n %s", missingString);
|
|
596 |
}
|
|
597 |
}
|
|
598 |
}
|