author | chegar |
Thu, 17 Oct 2019 20:54:25 +0100 | |
branch | datagramsocketimpl-branch |
changeset 58679 | 9c3209ff7550 |
parent 58678 | 9cf78a70fa4f |
parent 58533 | 46b0b7fe255c |
permissions | -rw-r--r-- |
43972 | 1 |
/* |
54084 | 2 |
* Copyright (c) 2014, 2019, Oracle and/or its affiliates. All rights reserved. |
43972 | 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 |
*/ |
|
50858 | 23 |
|
24 |
||
43972 | 25 |
package org.graalvm.compiler.hotspot.test; |
26 |
||
57537 | 27 |
import static org.graalvm.compiler.hotspot.meta.HotSpotGraphBuilderPlugins.aesDecryptName; |
28 |
import static org.graalvm.compiler.hotspot.meta.HotSpotGraphBuilderPlugins.aesEncryptName; |
|
29 |
||
43972 | 30 |
import java.lang.reflect.Method; |
31 |
import java.util.ArrayList; |
|
32 |
import java.util.Arrays; |
|
33 |
import java.util.Collection; |
|
34 |
import java.util.Collections; |
|
50609 | 35 |
import java.util.Formatter; |
43972 | 36 |
import java.util.List; |
50609 | 37 |
import java.util.ServiceLoader; |
43972 | 38 |
import java.util.Set; |
39 |
import java.util.TreeSet; |
|
40 |
import java.util.stream.Collectors; |
|
41 |
||
49873 | 42 |
import jdk.internal.vm.compiler.collections.EconomicMap; |
43 |
import jdk.internal.vm.compiler.collections.MapCursor; |
|
43972 | 44 |
import org.graalvm.compiler.api.test.Graal; |
45 |
import org.graalvm.compiler.hotspot.GraalHotSpotVMConfig; |
|
46 |
import org.graalvm.compiler.hotspot.HotSpotGraalRuntimeProvider; |
|
57537 | 47 |
import org.graalvm.compiler.hotspot.meta.HotSpotGraphBuilderPlugins; |
43972 | 48 |
import org.graalvm.compiler.hotspot.meta.HotSpotProviders; |
49 |
import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderConfiguration.Plugins; |
|
50 |
import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugin; |
|
51 |
import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins; |
|
46459 | 52 |
import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins.Binding; |
43972 | 53 |
import org.graalvm.compiler.runtime.RuntimeProvider; |
54084 | 54 |
import org.graalvm.compiler.serviceprovider.JavaVersionUtil; |
43972 | 55 |
import org.graalvm.compiler.test.GraalTest; |
46459 | 56 |
import org.junit.Test; |
43972 | 57 |
|
50858 | 58 |
import jdk.vm.ci.aarch64.AArch64; |
50609 | 59 |
import jdk.vm.ci.amd64.AMD64; |
60 |
import jdk.vm.ci.code.Architecture; |
|
43972 | 61 |
import jdk.vm.ci.hotspot.HotSpotVMConfigStore; |
62 |
import jdk.vm.ci.hotspot.VMIntrinsicMethod; |
|
63 |
import jdk.vm.ci.meta.MetaAccessProvider; |
|
46459 | 64 |
import jdk.vm.ci.meta.MetaUtil; |
43972 | 65 |
import jdk.vm.ci.meta.MethodHandleAccessProvider.IntrinsicMethod; |
66 |
import jdk.vm.ci.meta.ResolvedJavaMethod; |
|
58533 | 67 |
import jdk.vm.ci.sparc.SPARC; |
43972 | 68 |
|
69 |
/** |
|
46459 | 70 |
* Checks the intrinsics implemented by Graal against the set of intrinsics declared by HotSpot. The |
71 |
* purpose of this test is to detect when new intrinsics are added to HotSpot and process them |
|
50609 | 72 |
* appropriately in Graal. This will be achieved by working through {@link #toBeInvestigated} and |
73 |
* either implementing the intrinsic or moving it to {@link #ignore} . |
|
43972 | 74 |
*/ |
75 |
public class CheckGraalIntrinsics extends GraalTest { |
|
76 |
||
46459 | 77 |
public static boolean match(String type, Binding binding, VMIntrinsicMethod intrinsic) { |
78 |
if (intrinsic.name.equals(binding.name)) { |
|
79 |
if (intrinsic.descriptor.startsWith(binding.argumentsDescriptor)) { |
|
80 |
if (type.equals(intrinsic.declaringClass)) { |
|
43972 | 81 |
return true; |
82 |
} |
|
83 |
} |
|
84 |
} |
|
85 |
return false; |
|
86 |
} |
|
87 |
||
46459 | 88 |
public static InvocationPlugin findPlugin(EconomicMap<String, List<Binding>> bindings, VMIntrinsicMethod intrinsic) { |
89 |
MapCursor<String, List<Binding>> cursor = bindings.getEntries(); |
|
90 |
while (cursor.advance()) { |
|
91 |
// Match format of VMIntrinsicMethod.declaringClass |
|
92 |
String type = MetaUtil.internalNameToJava(cursor.getKey(), true, false).replace('.', '/'); |
|
93 |
for (Binding binding : cursor.getValue()) { |
|
94 |
if (match(type, binding, intrinsic)) { |
|
95 |
return binding.plugin; |
|
96 |
} |
|
43972 | 97 |
} |
98 |
} |
|
99 |
return null; |
|
100 |
} |
|
101 |
||
46459 | 102 |
public static ResolvedJavaMethod resolveIntrinsic(MetaAccessProvider metaAccess, VMIntrinsicMethod intrinsic) throws ClassNotFoundException { |
46807 | 103 |
Class<?> c; |
104 |
try { |
|
105 |
c = Class.forName(intrinsic.declaringClass.replace('/', '.'), false, CheckGraalIntrinsics.class.getClassLoader()); |
|
106 |
} catch (ClassNotFoundException ex) { |
|
107 |
try { |
|
108 |
Class.forName("javax.naming.Reference"); |
|
109 |
} catch (ClassNotFoundException coreNamingMissing) { |
|
110 |
// if core JDK classes aren't found, we are probably running in a |
|
111 |
// JDK9 java.base environment and then missing class is OK |
|
112 |
return null; |
|
113 |
} |
|
114 |
throw ex; |
|
115 |
} |
|
43972 | 116 |
for (Method javaMethod : c.getDeclaredMethods()) { |
117 |
if (javaMethod.getName().equals(intrinsic.name)) { |
|
118 |
ResolvedJavaMethod method = metaAccess.lookupJavaMethod(javaMethod); |
|
119 |
if (intrinsic.descriptor.equals("*")) { |
|
120 |
// Signature polymorphic method - name match is enough |
|
121 |
return method; |
|
122 |
} else { |
|
123 |
if (method.getSignature().toMethodDescriptor().equals(intrinsic.descriptor)) { |
|
124 |
return method; |
|
125 |
} |
|
126 |
} |
|
127 |
} |
|
128 |
} |
|
129 |
return null; |
|
130 |
} |
|
131 |
||
132 |
/** |
|
50609 | 133 |
* The HotSpot intrinsics that: |
134 |
* <ul> |
|
135 |
* <li>will never implemented by Graal (comments must explain why)</li> |
|
136 |
* <li>are implemented without {@link InvocationPlugin}s, or</li> |
|
137 |
* <li>whose {@link InvocationPlugin} registration is guarded by a condition that is false in |
|
138 |
* the current VM context.</li> |
|
139 |
* </ul> |
|
43972 | 140 |
*/ |
50609 | 141 |
public final Set<String> ignore = new TreeSet<>(); |
43972 | 142 |
|
143 |
/** |
|
50609 | 144 |
* The HotSpot intrinsics whose {@link InvocationPlugin} registration is guarded by a condition |
145 |
* too complex to duplicate here. |
|
146 |
* </ul> |
|
43972 | 147 |
*/ |
50609 | 148 |
public final Set<String> complexGuard = new TreeSet<>(); |
149 |
||
150 |
/** |
|
151 |
* The HotSpot intrinsics implemented downstream. |
|
152 |
* </ul> |
|
153 |
*/ |
|
154 |
public final Set<String> downstream = new TreeSet<>(); |
|
155 |
||
156 |
/** |
|
157 |
* The HotSpot intrinsics yet to be implemented or moved to {@link #ignore}. |
|
158 |
*/ |
|
159 |
public final Set<String> toBeInvestigated = new TreeSet<>(); |
|
43972 | 160 |
|
161 |
private static Collection<String> add(Collection<String> c, String... elements) { |
|
162 |
String[] sorted = elements.clone(); |
|
163 |
Arrays.sort(sorted); |
|
164 |
for (int i = 0; i < elements.length; i++) { |
|
165 |
if (!elements[i].equals(sorted[i])) { |
|
166 |
// Let's keep the list sorted for easier visual inspection |
|
167 |
fail("Element %d is out of order, \"%s\"", i, elements[i]); |
|
168 |
} |
|
169 |
} |
|
170 |
c.addAll(Arrays.asList(elements)); |
|
171 |
return c; |
|
172 |
} |
|
173 |
||
50609 | 174 |
public final HotSpotGraalRuntimeProvider rt = (HotSpotGraalRuntimeProvider) Graal.getRequiredCapability(RuntimeProvider.class); |
175 |
public final Architecture arch = rt.getHostBackend().getTarget().arch; |
|
176 |
public final GraalHotSpotVMConfig config = rt.getVMConfig(); |
|
177 |
||
178 |
public CheckGraalIntrinsics() { |
|
48190 | 179 |
// These are dead |
50609 | 180 |
add(ignore, |
43972 | 181 |
"java/lang/Math.atan2(DD)D", |
48190 | 182 |
"jdk/internal/misc/Unsafe.park(ZJ)V", |
183 |
"jdk/internal/misc/Unsafe.unpark(Ljava/lang/Object;)V", |
|
43972 | 184 |
"sun/misc/Unsafe.park(ZJ)V", |
185 |
"sun/misc/Unsafe.prefetchRead(Ljava/lang/Object;J)V", |
|
186 |
"sun/misc/Unsafe.prefetchReadStatic(Ljava/lang/Object;J)V", |
|
187 |
"sun/misc/Unsafe.prefetchWrite(Ljava/lang/Object;J)V", |
|
188 |
"sun/misc/Unsafe.prefetchWriteStatic(Ljava/lang/Object;J)V", |
|
189 |
"sun/misc/Unsafe.unpark(Ljava/lang/Object;)V"); |
|
190 |
||
48190 | 191 |
// These only exist to assist escape analysis in C2 |
50609 | 192 |
add(ignore, |
48190 | 193 |
"java/lang/Throwable.fillInStackTrace()Ljava/lang/Throwable;"); |
194 |
||
195 |
// These are only used for the security handling during stack walking |
|
50609 | 196 |
add(ignore, |
48190 | 197 |
"java/lang/reflect/Method.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;"); |
198 |
||
199 |
// These are marker intrinsic ids only |
|
50609 | 200 |
add(ignore, |
48190 | 201 |
"java/lang/invoke/MethodHandle.<compiledLambdaForm>*", |
202 |
"java/lang/invoke/MethodHandle.invoke*"); |
|
203 |
||
204 |
// These are implemented through lowering |
|
50609 | 205 |
add(ignore, |
48190 | 206 |
"java/lang/ref/Reference.get()Ljava/lang/Object;"); |
207 |
||
208 |
// These are only used by C1 |
|
50609 | 209 |
add(ignore, |
48190 | 210 |
"java/nio/Buffer.checkIndex(I)I"); |
211 |
||
212 |
// These do general compiler optimizations and convert min/max to cmov instructions. We are |
|
213 |
// ignoring them as cmovs are not necessarily beneficial. |
|
50609 | 214 |
add(ignore, |
48190 | 215 |
"java/lang/Math.max(II)I", |
216 |
"java/lang/Math.min(II)I"); |
|
217 |
||
218 |
// These are known to be implemented down stream |
|
50609 | 219 |
add(downstream, |
43972 | 220 |
"java/lang/Integer.toString(I)Ljava/lang/String;", |
221 |
"java/lang/String.<init>(Ljava/lang/String;)V", |
|
222 |
"java/lang/StringBuffer.<init>()V", |
|
223 |
"java/lang/StringBuffer.<init>(I)V", |
|
224 |
"java/lang/StringBuffer.<init>(Ljava/lang/String;)V", |
|
225 |
"java/lang/StringBuffer.append(C)Ljava/lang/StringBuffer;", |
|
226 |
"java/lang/StringBuffer.append(I)Ljava/lang/StringBuffer;", |
|
227 |
"java/lang/StringBuffer.append(Ljava/lang/String;)Ljava/lang/StringBuffer;", |
|
228 |
"java/lang/StringBuffer.toString()Ljava/lang/String;", |
|
229 |
"java/lang/StringBuilder.<init>()V", |
|
230 |
"java/lang/StringBuilder.<init>(I)V", |
|
231 |
"java/lang/StringBuilder.<init>(Ljava/lang/String;)V", |
|
232 |
"java/lang/StringBuilder.append(C)Ljava/lang/StringBuilder;", |
|
233 |
"java/lang/StringBuilder.append(I)Ljava/lang/StringBuilder;", |
|
234 |
"java/lang/StringBuilder.append(Ljava/lang/String;)Ljava/lang/StringBuilder;", |
|
235 |
"java/lang/StringBuilder.toString()Ljava/lang/String;", |
|
236 |
"java/util/Arrays.copyOf([Ljava/lang/Object;ILjava/lang/Class;)[Ljava/lang/Object;", |
|
48190 | 237 |
"java/util/Arrays.copyOfRange([Ljava/lang/Object;IILjava/lang/Class;)[Ljava/lang/Object;"); |
43972 | 238 |
|
50609 | 239 |
add(complexGuard, |
43972 | 240 |
"java/lang/Integer.bitCount(I)I", |
241 |
"java/lang/Integer.numberOfLeadingZeros(I)I", |
|
242 |
"java/lang/Integer.numberOfTrailingZeros(I)I", |
|
243 |
"java/lang/Long.bitCount(J)I", |
|
244 |
"java/lang/Long.numberOfLeadingZeros(J)I", |
|
245 |
"java/lang/Long.numberOfTrailingZeros(J)I"); |
|
246 |
||
48190 | 247 |
// Relevant for Java flight recorder |
50609 | 248 |
add(toBeInvestigated, |
48190 | 249 |
"oracle/jrockit/jfr/Timing.counterTime()J", |
250 |
"oracle/jrockit/jfr/VMJFR.classID0(Ljava/lang/Class;)J", |
|
251 |
"oracle/jrockit/jfr/VMJFR.threadID()I"); |
|
252 |
||
50609 | 253 |
add(toBeInvestigated, |
48190 | 254 |
// Similar to addExact |
255 |
"java/lang/Math.negateExact(I)I", |
|
256 |
// Similar to addExact |
|
257 |
"java/lang/Math.negateExact(J)J", |
|
258 |
// HotSpot MacroAssembler-based intrinsic |
|
259 |
"java/lang/String.indexOf(Ljava/lang/String;)I", |
|
260 |
// Can share most implementation parts with with |
|
261 |
// Unsafe.allocateUninitializedArray0 |
|
262 |
"java/lang/reflect/Array.newArray(Ljava/lang/Class;I)Ljava/lang/Object;", |
|
263 |
// HotSpot MacroAssembler-based intrinsic |
|
264 |
"sun/nio/cs/ISO_8859_1$Encoder.encodeISOArray([CI[BII)I", |
|
54084 | 265 |
// We have implemented implCompressMultiBlock0 on JDK9+. Does it worth |
266 |
// backporting as corresponding HotSpot stubs are only generated on SPARC? |
|
48190 | 267 |
"sun/security/provider/DigestBase.implCompressMultiBlock([BII)I"); |
268 |
||
52578 | 269 |
// See JDK-8207146. |
270 |
String oopName = isJDK12OrHigher() ? "Reference" : "Object"; |
|
271 |
||
48190 | 272 |
if (isJDK9OrHigher()) { |
273 |
// Relevant for Java flight recorder |
|
50609 | 274 |
add(toBeInvestigated, |
48190 | 275 |
"jdk/jfr/internal/JVM.counterTime()J", |
276 |
"jdk/jfr/internal/JVM.getBufferWriter()Ljava/lang/Object;", |
|
277 |
"jdk/jfr/internal/JVM.getClassId(Ljava/lang/Class;)J"); |
|
278 |
||
50609 | 279 |
add(toBeInvestigated, |
48190 | 280 |
// Just check if the argument is a compile time constant |
281 |
"java/lang/invoke/MethodHandleImpl.isCompileConstant(Ljava/lang/Object;)Z", |
|
282 |
// Only used as a marker for vectorization? |
|
283 |
"java/util/stream/Streams$RangeIntSpliterator.forEachRemaining(Ljava/util/function/IntConsumer;)V", |
|
284 |
// Only implemented on non-AMD64 platforms (some logic and runtime call) |
|
285 |
"java/util/zip/Adler32.updateByteBuffer(IJII)I", |
|
286 |
// Only implemented on non-AMD64 platforms (some logic and runtime call) |
|
287 |
"java/util/zip/Adler32.updateBytes(I[BII)I", |
|
288 |
// Emits a slow and a fast path and some dispatching logic |
|
289 |
"jdk/internal/misc/Unsafe.allocateUninitializedArray0(Ljava/lang/Class;I)Ljava/lang/Object;", |
|
290 |
||
291 |
// Control flow, deopts, and a cast |
|
292 |
"jdk/internal/util/Preconditions.checkIndex(IILjava/util/function/BiFunction;)I", |
|
293 |
// HotSpot MacroAssembler-based intrinsic |
|
54084 | 294 |
"sun/nio/cs/ISO_8859_1$Encoder.implEncodeISOArray([CI[BII)I"); |
50609 | 295 |
|
48190 | 296 |
/* |
297 |
* Per default, all these operations are mapped to some generic method for which we |
|
298 |
* already have compiler intrinsics. Performance-wise it would be better to support them |
|
299 |
* explicitly as the more generic method might be more restrictive and therefore slower |
|
300 |
* than necessary. |
|
301 |
*/ |
|
52578 | 302 |
|
50609 | 303 |
add(toBeInvestigated, |
48190 | 304 |
// Mapped to compareAndExchange* |
305 |
"jdk/internal/misc/Unsafe.compareAndExchangeByteAcquire(Ljava/lang/Object;JBB)B", |
|
306 |
"jdk/internal/misc/Unsafe.compareAndExchangeByteRelease(Ljava/lang/Object;JBB)B", |
|
307 |
"jdk/internal/misc/Unsafe.compareAndExchangeIntAcquire(Ljava/lang/Object;JII)I", |
|
308 |
"jdk/internal/misc/Unsafe.compareAndExchangeIntRelease(Ljava/lang/Object;JII)I", |
|
309 |
"jdk/internal/misc/Unsafe.compareAndExchangeLongAcquire(Ljava/lang/Object;JJJ)J", |
|
310 |
"jdk/internal/misc/Unsafe.compareAndExchangeLongRelease(Ljava/lang/Object;JJJ)J", |
|
52578 | 311 |
"jdk/internal/misc/Unsafe.compareAndExchange" + oopName + "Acquire(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;", |
312 |
"jdk/internal/misc/Unsafe.compareAndExchange" + oopName + "Release(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;", |
|
48190 | 313 |
"jdk/internal/misc/Unsafe.compareAndExchangeShortAcquire(Ljava/lang/Object;JSS)S", |
314 |
"jdk/internal/misc/Unsafe.compareAndExchangeShortRelease(Ljava/lang/Object;JSS)S", |
|
315 |
||
316 |
// Mapped to compareAndSet* |
|
317 |
"jdk/internal/misc/Unsafe.weakCompareAndSetByte(Ljava/lang/Object;JBB)Z", |
|
318 |
"jdk/internal/misc/Unsafe.weakCompareAndSetByteAcquire(Ljava/lang/Object;JBB)Z", |
|
319 |
"jdk/internal/misc/Unsafe.weakCompareAndSetBytePlain(Ljava/lang/Object;JBB)Z", |
|
320 |
"jdk/internal/misc/Unsafe.weakCompareAndSetByteRelease(Ljava/lang/Object;JBB)Z", |
|
321 |
"jdk/internal/misc/Unsafe.weakCompareAndSetInt(Ljava/lang/Object;JII)Z", |
|
322 |
"jdk/internal/misc/Unsafe.weakCompareAndSetIntAcquire(Ljava/lang/Object;JII)Z", |
|
323 |
"jdk/internal/misc/Unsafe.weakCompareAndSetIntPlain(Ljava/lang/Object;JII)Z", |
|
324 |
"jdk/internal/misc/Unsafe.weakCompareAndSetIntRelease(Ljava/lang/Object;JII)Z", |
|
325 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLong(Ljava/lang/Object;JJJ)Z", |
|
326 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLongAcquire(Ljava/lang/Object;JJJ)Z", |
|
327 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLongPlain(Ljava/lang/Object;JJJ)Z", |
|
328 |
"jdk/internal/misc/Unsafe.weakCompareAndSetLongRelease(Ljava/lang/Object;JJJ)Z", |
|
52578 | 329 |
"jdk/internal/misc/Unsafe.weakCompareAndSet" + oopName + "(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", |
330 |
"jdk/internal/misc/Unsafe.weakCompareAndSet" + oopName + "Acquire(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", |
|
331 |
"jdk/internal/misc/Unsafe.weakCompareAndSet" + oopName + "Plain(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", |
|
332 |
"jdk/internal/misc/Unsafe.weakCompareAndSet" + oopName + "Release(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", |
|
48190 | 333 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShort(Ljava/lang/Object;JSS)Z", |
334 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShortAcquire(Ljava/lang/Object;JSS)Z", |
|
335 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShortPlain(Ljava/lang/Object;JSS)Z", |
|
336 |
"jdk/internal/misc/Unsafe.weakCompareAndSetShortRelease(Ljava/lang/Object;JSS)Z"); |
|
337 |
||
338 |
// Compact string support - HotSpot MacroAssembler-based intrinsic or complex C2 logic. |
|
50609 | 339 |
add(toBeInvestigated, |
48190 | 340 |
"java/lang/StringCoding.hasNegatives([BII)Z", |
54084 | 341 |
"java/lang/StringCoding.implEncodeISOArray([BI[BII)I"); |
342 |
add(ignore, |
|
343 |
// handled through an intrinsic for String.equals itself |
|
344 |
"java/lang/StringLatin1.equals([B[B)Z", |
|
345 |
||
346 |
// handled by an intrinsic for StringLatin1.indexOf([BI[BII)I |
|
48190 | 347 |
"java/lang/StringLatin1.indexOf([B[B)I", |
54084 | 348 |
|
349 |
// handled through an intrinsic for String.equals itself |
|
350 |
"java/lang/StringUTF16.equals([B[B)Z", |
|
351 |
||
352 |
// handled by an intrinsic for StringUTF16.indexOfUnsafe |
|
48190 | 353 |
"java/lang/StringUTF16.indexOf([BI[BII)I", |
354 |
"java/lang/StringUTF16.indexOf([B[B)I", |
|
54084 | 355 |
|
356 |
// handled by an intrinsic for StringUTF16.indexOfCharUnsafe |
|
48190 | 357 |
"java/lang/StringUTF16.indexOfChar([BIII)I", |
54084 | 358 |
|
359 |
// handled by an intrinsic for StringUTF16.indexOfLatin1Unsafe |
|
48190 | 360 |
"java/lang/StringUTF16.indexOfLatin1([BI[BII)I", |
54084 | 361 |
"java/lang/StringUTF16.indexOfLatin1([B[B)I"); |
362 |
||
363 |
if (!config.useAESCTRIntrinsics) { |
|
364 |
add(ignore, |
|
365 |
"com/sun/crypto/provider/CounterMode.implCrypt([BII[BI)I"); |
|
366 |
} |
|
367 |
if (!config.useGHASHIntrinsics()) { |
|
368 |
add(ignore, |
|
369 |
"com/sun/crypto/provider/GHASH.processBlocks([BII[J[J)V"); |
|
370 |
} |
|
371 |
if (!(config.useSHA1Intrinsics() || config.useSHA256Intrinsics() || config.useSHA512Intrinsics())) { |
|
372 |
add(ignore, |
|
373 |
"sun/security/provider/DigestBase.implCompressMultiBlock0([BII)I"); |
|
374 |
} |
|
54914 | 375 |
if (!config.useFMAIntrinsics) { |
376 |
add(ignore, |
|
377 |
"java/lang/Math.fma(DDD)D", |
|
378 |
"java/lang/Math.fma(FFF)F"); |
|
58533 | 379 |
} else if (arch instanceof SPARC) { |
54914 | 380 |
add(toBeInvestigated, |
381 |
"java/lang/Math.fma(DDD)D", |
|
382 |
"java/lang/Math.fma(FFF)F"); |
|
383 |
} |
|
48190 | 384 |
} |
385 |
||
48861 | 386 |
if (isJDK10OrHigher()) { |
50609 | 387 |
add(toBeInvestigated, |
54084 | 388 |
"java/lang/Math.multiplyHigh(JJ)J"); |
48861 | 389 |
} |
390 |
||
50330 | 391 |
if (isJDK11OrHigher()) { |
392 |
// Relevant for Java flight recorder |
|
50609 | 393 |
add(toBeInvestigated, |
55509 | 394 |
"java/lang/CharacterDataLatin1.isDigit(I)Z", |
395 |
"java/lang/CharacterDataLatin1.isLowerCase(I)Z", |
|
396 |
"java/lang/CharacterDataLatin1.isUpperCase(I)Z", |
|
397 |
"java/lang/CharacterDataLatin1.isWhitespace(I)Z", |
|
50330 | 398 |
"jdk/jfr/internal/JVM.getEventWriter()Ljava/lang/Object;"); |
54601 | 399 |
if (!config.useBase64Intrinsics()) { |
400 |
add(ignore, |
|
401 |
"java/util/Base64$Encoder.encodeBlock([BII[BIZ)V"); |
|
402 |
} |
|
50330 | 403 |
} |
404 |
||
53081
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
405 |
if (isJDK13OrHigher()) { |
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
406 |
add(toBeInvestigated, |
54750 | 407 |
"java/lang/Math.abs(I)I", |
408 |
"java/lang/Math.abs(J)J", |
|
53081
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
409 |
"java/lang/Math.max(DD)D", |
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
410 |
"java/lang/Math.max(FF)F", |
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
411 |
"java/lang/Math.min(DD)D", |
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
412 |
"java/lang/Math.min(FF)F"); |
57804 | 413 |
add(toBeInvestigated, |
414 |
"jdk/internal/misc/Unsafe.writeback0(J)V", |
|
415 |
"jdk/internal/misc/Unsafe.writebackPostSync0()V", |
|
416 |
"jdk/internal/misc/Unsafe.writebackPreSync0()V"); |
|
53081
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
417 |
} |
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
418 |
|
57831
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
419 |
if (isJDK14OrHigher()) { |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
420 |
add(toBeInvestigated, |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
421 |
"com/sun/crypto/provider/ElectronicCodeBook.implECBDecrypt([BII[BI)I", |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
422 |
"com/sun/crypto/provider/ElectronicCodeBook.implECBEncrypt([BII[BI)I"); |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
423 |
} |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
424 |
|
50609 | 425 |
if (!config.inlineNotify()) { |
426 |
add(ignore, "java/lang/Object.notify()V"); |
|
427 |
} |
|
428 |
if (!config.inlineNotifyAll()) { |
|
429 |
add(ignore, "java/lang/Object.notifyAll()V"); |
|
430 |
} |
|
431 |
||
432 |
if (!(arch instanceof AMD64)) { |
|
48190 | 433 |
// Can we implement these on non-AMD64 platforms? C2 seems to. |
50609 | 434 |
add(toBeInvestigated, |
435 |
"java/lang/String.compareTo(Ljava/lang/String;)I", |
|
54084 | 436 |
"java/lang/StringLatin1.indexOf([B[B)I", |
52578 | 437 |
"java/lang/StringLatin1.inflate([BI[BII)V", |
438 |
"java/lang/StringLatin1.inflate([BI[CII)V", |
|
439 |
"java/lang/StringUTF16.compress([BI[BII)I", |
|
440 |
"java/lang/StringUTF16.compress([CI[BII)I", |
|
54084 | 441 |
"java/lang/StringUTF16.indexOf([BI[BII)I", |
442 |
"java/lang/StringUTF16.indexOf([B[B)I", |
|
443 |
"java/lang/StringUTF16.indexOfChar([BIII)I", |
|
444 |
"java/lang/StringUTF16.indexOfLatin1([BI[BII)I", |
|
445 |
"java/lang/StringUTF16.indexOfLatin1([B[B)I", |
|
50609 | 446 |
"jdk/internal/misc/Unsafe.compareAndExchangeByte(Ljava/lang/Object;JBB)B", |
447 |
"jdk/internal/misc/Unsafe.compareAndExchangeShort(Ljava/lang/Object;JSS)S", |
|
448 |
"jdk/internal/misc/Unsafe.compareAndSetByte(Ljava/lang/Object;JBB)Z", |
|
449 |
"jdk/internal/misc/Unsafe.compareAndSetShort(Ljava/lang/Object;JSS)Z", |
|
450 |
"jdk/internal/misc/Unsafe.getAndAddByte(Ljava/lang/Object;JB)B", |
|
451 |
"jdk/internal/misc/Unsafe.getAndAddShort(Ljava/lang/Object;JS)S", |
|
452 |
"jdk/internal/misc/Unsafe.getAndSetByte(Ljava/lang/Object;JB)B", |
|
453 |
"jdk/internal/misc/Unsafe.getAndSetShort(Ljava/lang/Object;JS)S", |
|
48190 | 454 |
"sun/misc/Unsafe.getAndAddInt(Ljava/lang/Object;JI)I", |
455 |
"sun/misc/Unsafe.getAndAddLong(Ljava/lang/Object;JJ)J", |
|
456 |
"sun/misc/Unsafe.getAndSetInt(Ljava/lang/Object;JI)I", |
|
457 |
"sun/misc/Unsafe.getAndSetLong(Ljava/lang/Object;JJ)J", |
|
52578 | 458 |
"sun/misc/Unsafe.getAndSet" + oopName + "(Ljava/lang/Object;JLjava/lang/Object;)Ljava/lang/Object;"); |
48190 | 459 |
|
460 |
if (isJDK9OrHigher()) { |
|
50858 | 461 |
if (!(arch instanceof AArch64)) { |
462 |
add(toBeInvestigated, |
|
463 |
"java/lang/StringLatin1.compareTo([B[B)I", |
|
464 |
"java/lang/StringLatin1.compareToUTF16([B[B)I", |
|
465 |
"java/lang/StringUTF16.compareTo([B[B)I", |
|
466 |
"java/lang/StringUTF16.compareToLatin1([B[B)I", |
|
467 |
"jdk/internal/misc/Unsafe.getAndAddInt(Ljava/lang/Object;JI)I", |
|
468 |
"jdk/internal/misc/Unsafe.getAndAddLong(Ljava/lang/Object;JJ)J", |
|
469 |
"jdk/internal/misc/Unsafe.getAndSetInt(Ljava/lang/Object;JI)I", |
|
470 |
"jdk/internal/misc/Unsafe.getAndSetLong(Ljava/lang/Object;JJ)J", |
|
52578 | 471 |
"jdk/internal/misc/Unsafe.getAndSet" + oopName + "(Ljava/lang/Object;JLjava/lang/Object;)Ljava/lang/Object;"); |
50858 | 472 |
} |
50609 | 473 |
add(toBeInvestigated, |
54084 | 474 |
"com/sun/crypto/provider/CounterMode.implCrypt([BII[BI)I", |
52956 | 475 |
"java/lang/Thread.onSpinWait()V", |
54084 | 476 |
"java/util/ArraysSupport.vectorizedMismatch(Ljava/lang/Object;JLjava/lang/Object;JII)I", |
48190 | 477 |
"jdk/internal/misc/Unsafe.getCharUnaligned(Ljava/lang/Object;J)C", |
478 |
"jdk/internal/misc/Unsafe.getIntUnaligned(Ljava/lang/Object;J)I", |
|
479 |
"jdk/internal/misc/Unsafe.getLongUnaligned(Ljava/lang/Object;J)J", |
|
480 |
"jdk/internal/misc/Unsafe.getShortUnaligned(Ljava/lang/Object;J)S", |
|
481 |
"jdk/internal/misc/Unsafe.putCharUnaligned(Ljava/lang/Object;JC)V", |
|
482 |
"jdk/internal/misc/Unsafe.putIntUnaligned(Ljava/lang/Object;JI)V", |
|
483 |
"jdk/internal/misc/Unsafe.putLongUnaligned(Ljava/lang/Object;JJ)V", |
|
484 |
"jdk/internal/misc/Unsafe.putShortUnaligned(Ljava/lang/Object;JS)V"); |
|
485 |
} |
|
54084 | 486 |
if (isJDK10OrHigher()) { |
487 |
add(toBeInvestigated, |
|
488 |
"jdk/internal/util/ArraysSupport.vectorizedMismatch(Ljava/lang/Object;JLjava/lang/Object;JII)I"); |
|
489 |
} |
|
48190 | 490 |
} |
491 |
||
492 |
/* |
|
493 |
* The intrinsics down here are known to be implemented but they are not always enabled on |
|
494 |
* the HotSpot side (e.g., because they require certain CPU features). So, we are ignoring |
|
495 |
* them if the HotSpot config tells us that they can't be used. |
|
496 |
*/ |
|
497 |
||
498 |
// CRC32 intrinsics |
|
43972 | 499 |
if (!config.useCRC32Intrinsics) { |
50609 | 500 |
add(ignore, "java/util/zip/CRC32.update(II)I"); |
48190 | 501 |
if (isJDK9OrHigher()) { |
50609 | 502 |
add(ignore, |
48190 | 503 |
"java/util/zip/CRC32.updateByteBuffer0(IJII)I", |
504 |
"java/util/zip/CRC32.updateBytes0(I[BII)I"); |
|
505 |
} else { |
|
50609 | 506 |
add(ignore, |
43972 | 507 |
"java/util/zip/CRC32.updateByteBuffer(IJII)I", |
508 |
"java/util/zip/CRC32.updateBytes(I[BII)I"); |
|
509 |
} |
|
510 |
} |
|
511 |
||
48398 | 512 |
// CRC32C intrinsics |
513 |
if (!config.useCRC32CIntrinsics) { |
|
50609 | 514 |
add(ignore, |
48398 | 515 |
"java/util/zip/CRC32C.updateBytes(I[BII)I", |
516 |
"java/util/zip/CRC32C.updateDirectByteBuffer(IJII)I"); |
|
517 |
} |
|
518 |
||
57537 | 519 |
boolean implNames = HotSpotGraphBuilderPlugins.cbcUsesImplNames(config); |
520 |
String cbcEncryptName = implNames ? "implEncrypt" : "encrypt"; |
|
521 |
String cbcDecryptName = implNames ? "implDecrypt" : "decrypt"; |
|
522 |
||
48190 | 523 |
// AES intrinsics |
43972 | 524 |
if (!config.useAESIntrinsics) { |
57537 | 525 |
add(ignore, |
526 |
"com/sun/crypto/provider/AESCrypt." + aesDecryptName + "([BI[BI)V", |
|
527 |
"com/sun/crypto/provider/AESCrypt." + aesEncryptName + "([BI[BI)V", |
|
528 |
"com/sun/crypto/provider/CipherBlockChaining." + cbcDecryptName + "([BII[BI)I", |
|
529 |
"com/sun/crypto/provider/CipherBlockChaining." + cbcEncryptName + "([BII[BI)I"); |
|
48190 | 530 |
} |
531 |
||
532 |
// BigInteger intrinsics |
|
533 |
if (!config.useMultiplyToLenIntrinsic()) { |
|
534 |
if (isJDK9OrHigher()) { |
|
50609 | 535 |
add(ignore, "java/math/BigInteger.implMultiplyToLen([II[II[I)[I"); |
43972 | 536 |
} else { |
50609 | 537 |
add(ignore, "java/math/BigInteger.multiplyToLen([II[II[I)[I"); |
43972 | 538 |
} |
539 |
} |
|
48190 | 540 |
if (!config.useMulAddIntrinsic()) { |
50609 | 541 |
add(ignore, "java/math/BigInteger.implMulAdd([I[IIII)I"); |
48190 | 542 |
} |
543 |
if (!config.useMontgomeryMultiplyIntrinsic()) { |
|
50609 | 544 |
add(ignore, "java/math/BigInteger.implMontgomeryMultiply([I[I[IIJ[I)[I"); |
48190 | 545 |
} |
546 |
if (!config.useMontgomerySquareIntrinsic()) { |
|
50609 | 547 |
add(ignore, "java/math/BigInteger.implMontgomerySquare([I[IIJ[I)[I"); |
48190 | 548 |
} |
549 |
if (!config.useSquareToLenIntrinsic()) { |
|
50609 | 550 |
add(ignore, "java/math/BigInteger.implSquareToLen([II[II)[I"); |
48190 | 551 |
} |
552 |
||
553 |
// SHA intrinsics |
|
554 |
if (!config.useSHA1Intrinsics()) { |
|
555 |
if (isJDK9OrHigher()) { |
|
50609 | 556 |
add(ignore, "sun/security/provider/SHA.implCompress0([BI)V"); |
43972 | 557 |
} else { |
50609 | 558 |
add(ignore, "sun/security/provider/SHA.implCompress([BI)V"); |
43972 | 559 |
} |
560 |
} |
|
48190 | 561 |
if (!config.useSHA256Intrinsics()) { |
562 |
if (isJDK9OrHigher()) { |
|
50609 | 563 |
add(ignore, "sun/security/provider/SHA2.implCompress0([BI)V"); |
48190 | 564 |
} else { |
50609 | 565 |
add(ignore, "sun/security/provider/SHA2.implCompress([BI)V"); |
48190 | 566 |
} |
567 |
} |
|
568 |
if (!config.useSHA512Intrinsics()) { |
|
569 |
if (isJDK9OrHigher()) { |
|
50609 | 570 |
add(ignore, "sun/security/provider/SHA5.implCompress0([BI)V"); |
48190 | 571 |
} else { |
50609 | 572 |
add(ignore, "sun/security/provider/SHA5.implCompress([BI)V"); |
48190 | 573 |
} |
574 |
} |
|
575 |
} |
|
576 |
||
577 |
private static boolean isJDK9OrHigher() { |
|
55509 | 578 |
return JavaVersionUtil.JAVA_SPEC >= 9; |
43972 | 579 |
} |
580 |
||
48861 | 581 |
private static boolean isJDK10OrHigher() { |
55509 | 582 |
return JavaVersionUtil.JAVA_SPEC >= 10; |
48861 | 583 |
} |
584 |
||
50330 | 585 |
private static boolean isJDK11OrHigher() { |
55509 | 586 |
return JavaVersionUtil.JAVA_SPEC >= 11; |
50330 | 587 |
} |
588 |
||
52578 | 589 |
private static boolean isJDK12OrHigher() { |
55509 | 590 |
return JavaVersionUtil.JAVA_SPEC >= 12; |
52578 | 591 |
} |
592 |
||
53081
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
593 |
private static boolean isJDK13OrHigher() { |
55509 | 594 |
return JavaVersionUtil.JAVA_SPEC >= 13; |
53081
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
595 |
} |
3791fee4df3b
8215687: [Graal] unit test CheckGraalIntrinsics failed after 8212043
kvn
parents:
53000
diff
changeset
|
596 |
|
57831
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
597 |
private static boolean isJDK14OrHigher() { |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
598 |
return JavaVersionUtil.JAVA_SPEC >= 14; |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
599 |
} |
d41c18a68257
8229848: [Graal] missing Graal intrinsics for Electronic Code Book (ECB) encryption
kvn
parents:
57804
diff
changeset
|
600 |
|
50609 | 601 |
public interface Refiner { |
602 |
void refine(CheckGraalIntrinsics checker); |
|
43972 | 603 |
} |
604 |
||
605 |
@Test |
|
606 |
@SuppressWarnings("try") |
|
607 |
public void test() throws ClassNotFoundException { |
|
608 |
HotSpotProviders providers = rt.getHostBackend().getProviders(); |
|
609 |
Plugins graphBuilderPlugins = providers.getGraphBuilderPlugins(); |
|
610 |
InvocationPlugins invocationPlugins = graphBuilderPlugins.getInvocationPlugins(); |
|
611 |
||
50609 | 612 |
HotSpotVMConfigStore store = config.getStore(); |
43972 | 613 |
List<VMIntrinsicMethod> intrinsics = store.getIntrinsics(); |
614 |
||
50609 | 615 |
for (Refiner refiner : ServiceLoader.load(Refiner.class)) { |
616 |
refiner.refine(this); |
|
617 |
} |
|
618 |
||
43972 | 619 |
List<String> missing = new ArrayList<>(); |
50609 | 620 |
List<String> mischaracterizedAsToBeInvestigated = new ArrayList<>(); |
621 |
List<String> mischaracterizedAsIgnored = new ArrayList<>(); |
|
46459 | 622 |
EconomicMap<String, List<Binding>> bindings = invocationPlugins.getBindings(true); |
43972 | 623 |
for (VMIntrinsicMethod intrinsic : intrinsics) { |
46459 | 624 |
InvocationPlugin plugin = findPlugin(bindings, intrinsic); |
50609 | 625 |
String m = String.format("%s.%s%s", intrinsic.declaringClass, intrinsic.name, intrinsic.descriptor); |
46459 | 626 |
if (plugin == null) { |
627 |
ResolvedJavaMethod method = resolveIntrinsic(providers.getMetaAccess(), intrinsic); |
|
43972 | 628 |
if (method != null) { |
46459 | 629 |
IntrinsicMethod intrinsicMethod = providers.getConstantReflection().getMethodHandleAccess().lookupMethodHandleIntrinsic(method); |
43972 | 630 |
if (intrinsicMethod != null) { |
631 |
continue; |
|
632 |
} |
|
633 |
} |
|
50609 | 634 |
if (!toBeInvestigated.contains(m) && !ignore.contains(m) && !complexGuard.contains(m) && !downstream.contains(m)) { |
43972 | 635 |
missing.add(m); |
636 |
} |
|
50609 | 637 |
} else { |
638 |
if (toBeInvestigated.contains(m)) { |
|
639 |
mischaracterizedAsToBeInvestigated.add(m); |
|
640 |
} else if (ignore.contains(m)) { |
|
641 |
mischaracterizedAsIgnored.add(m); |
|
642 |
} |
|
43972 | 643 |
} |
644 |
} |
|
645 |
||
50609 | 646 |
Formatter errorMsgBuf = new Formatter(); |
43972 | 647 |
if (!missing.isEmpty()) { |
648 |
Collections.sort(missing); |
|
649 |
String missingString = missing.stream().collect(Collectors.joining(String.format("%n "))); |
|
50609 | 650 |
errorMsgBuf.format("missing Graal intrinsics for:%n %s%n", missingString); |
651 |
} |
|
652 |
if (!mischaracterizedAsToBeInvestigated.isEmpty()) { |
|
653 |
Collections.sort(mischaracterizedAsToBeInvestigated); |
|
654 |
String missingString = mischaracterizedAsToBeInvestigated.stream().collect(Collectors.joining(String.format("%n "))); |
|
655 |
errorMsgBuf.format("found plugins for intrinsics characterized as toBeInvestigated:%n %s%n", missingString); |
|
656 |
} |
|
657 |
if (!mischaracterizedAsIgnored.isEmpty()) { |
|
658 |
Collections.sort(mischaracterizedAsIgnored); |
|
659 |
String missingString = mischaracterizedAsIgnored.stream().collect(Collectors.joining(String.format("%n "))); |
|
660 |
errorMsgBuf.format("found plugins for intrinsics characterized as IGNORED:%n %s%n", missingString); |
|
661 |
} |
|
662 |
String errorMsg = errorMsgBuf.toString(); |
|
663 |
if (!errorMsg.isEmpty()) { |
|
664 |
fail(errorMsg); |
|
43972 | 665 |
} |
666 |
} |
|
667 |
} |