CheckGraalIntrinsics.java revision 13082:72abda3e08b6
1115462Sdes/* 2115462Sdes * Copyright (c) 2014, 2016, Oracle and/or its affiliates. All rights reserved. 3115462Sdes * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4115462Sdes * 5115462Sdes * This code is free software; you can redistribute it and/or modify it 6115462Sdes * under the terms of the GNU General Public License version 2 only, as 7115462Sdes * 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 */ 23package org.graalvm.compiler.hotspot.test; 24 25import static org.graalvm.compiler.core.common.util.Util.JAVA_SPECIFICATION_VERSION; 26 27import java.lang.reflect.Method; 28import java.util.ArrayList; 29import java.util.Arrays; 30import java.util.Collection; 31import java.util.Collections; 32import java.util.HashMap; 33import java.util.List; 34import java.util.Map; 35import java.util.Set; 36import java.util.TreeSet; 37import java.util.stream.Collectors; 38 39import org.junit.Test; 40 41import org.graalvm.compiler.api.test.Graal; 42import org.graalvm.compiler.hotspot.GraalHotSpotVMConfig; 43import org.graalvm.compiler.hotspot.HotSpotGraalRuntimeProvider; 44import org.graalvm.compiler.hotspot.meta.HotSpotProviders; 45import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderConfiguration.Plugins; 46import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugin; 47import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins; 48import org.graalvm.compiler.runtime.RuntimeProvider; 49import org.graalvm.compiler.test.GraalTest; 50import org.graalvm.util.EconomicSet; 51 52import jdk.vm.ci.hotspot.HotSpotVMConfigStore; 53import jdk.vm.ci.hotspot.VMIntrinsicMethod; 54import jdk.vm.ci.meta.MetaAccessProvider; 55import jdk.vm.ci.meta.MethodHandleAccessProvider.IntrinsicMethod; 56import jdk.vm.ci.meta.ResolvedJavaMethod; 57 58/** 59 * Checks the set of intrinsics implemented by Graal against the set of intrinsics declared by 60 * HotSpot. The purpose of this test is to detect when new intrinsics are added to HotSpot and 61 * process them appropriately in Graal. This will be achieved by working through 62 * {@link #TO_BE_INVESTIGATED} and either implementing the intrinsic or moving it to {@link #IGNORE} 63 * . 64 */ 65public class CheckGraalIntrinsics extends GraalTest { 66 67 public static boolean match(ResolvedJavaMethod method, VMIntrinsicMethod intrinsic) { 68 if (intrinsic.name.equals(method.getName())) { 69 if (intrinsic.descriptor.equals(method.getSignature().toMethodDescriptor())) { 70 String declaringClass = method.getDeclaringClass().toClassName().replace('.', '/'); 71 if (declaringClass.equals(intrinsic.declaringClass)) { 72 return true; 73 } 74 } 75 } 76 return false; 77 } 78 79 private static ResolvedJavaMethod findMethod(EconomicSet<ResolvedJavaMethod> methods, VMIntrinsicMethod intrinsic) { 80 for (ResolvedJavaMethod method : methods) { 81 if (match(method, intrinsic)) { 82 return method; 83 } 84 } 85 return null; 86 } 87 88 private static ResolvedJavaMethod resolveIntrinsic(MetaAccessProvider metaAccess, VMIntrinsicMethod intrinsic) throws ClassNotFoundException { 89 Class<?> c = Class.forName(intrinsic.declaringClass.replace('/', '.'), false, CheckGraalIntrinsics.class.getClassLoader()); 90 for (Method javaMethod : c.getDeclaredMethods()) { 91 if (javaMethod.getName().equals(intrinsic.name)) { 92 ResolvedJavaMethod method = metaAccess.lookupJavaMethod(javaMethod); 93 if (intrinsic.descriptor.equals("*")) { 94 // Signature polymorphic method - name match is enough 95 return method; 96 } else { 97 if (method.getSignature().toMethodDescriptor().equals(intrinsic.descriptor)) { 98 return method; 99 } 100 } 101 } 102 } 103 return null; 104 } 105 106 /** 107 * The HotSpot intrinsics implemented without {@link InvocationPlugin}s or whose 108 * {@link InvocationPlugin} registration is guarded by a condition that is false in the current 109 * VM context. 110 */ 111 private static final Set<String> IGNORE = new TreeSet<>(); 112 113 /** 114 * The HotSpot intrinsics yet to be implemented or moved to {@link #IGNORE}. 115 */ 116 private static final Set<String> TO_BE_INVESTIGATED = new TreeSet<>(); 117 118 private static Collection<String> add(Collection<String> c, String... elements) { 119 String[] sorted = elements.clone(); 120 Arrays.sort(sorted); 121 for (int i = 0; i < elements.length; i++) { 122 if (!elements[i].equals(sorted[i])) { 123 // Let's keep the list sorted for easier visual inspection 124 fail("Element %d is out of order, \"%s\"", i, elements[i]); 125 } 126 } 127 c.addAll(Arrays.asList(elements)); 128 return c; 129 } 130 131 static { 132 add(IGNORE, 133 // dead 134 "java/lang/Math.atan2(DD)D", 135 // Used during stack walking 136 "java/lang/Throwable.fillInStackTrace()Ljava/lang/Throwable;", 137 // Marker intrinsic id 138 "java/lang/invoke/MethodHandle.<compiledLambdaForm>*", 139 // Marker intrinsic id 140 "java/lang/invoke/MethodHandle.invoke*", 141 // Implemented through lowering 142 "java/lang/ref/Reference.get()Ljava/lang/Object;", 143 // Used during stack walk 144 "java/lang/reflect/Method.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;", 145 // Only used by C1 146 "java/nio/Buffer.checkIndex(I)I", 147 // dead 148 "sun/misc/Unsafe.park(ZJ)V", 149 // dead 150 "sun/misc/Unsafe.prefetchRead(Ljava/lang/Object;J)V", 151 // dead 152 "sun/misc/Unsafe.prefetchReadStatic(Ljava/lang/Object;J)V", 153 // dead 154 "sun/misc/Unsafe.prefetchWrite(Ljava/lang/Object;J)V", 155 // dead 156 "sun/misc/Unsafe.prefetchWriteStatic(Ljava/lang/Object;J)V", 157 // dead 158 "sun/misc/Unsafe.unpark(Ljava/lang/Object;)V"); 159 160 add(TO_BE_INVESTIGATED, 161 // JDK 8 162 "java/lang/Double.doubleToLongBits(D)J", 163 "java/lang/Float.floatToIntBits(F)I", 164 "java/lang/Integer.toString(I)Ljava/lang/String;", 165 "java/lang/Math.decrementExact(I)I", 166 "java/lang/Math.decrementExact(J)J", 167 "java/lang/Math.incrementExact(I)I", 168 "java/lang/Math.incrementExact(J)J", 169 "java/lang/Math.max(II)I", 170 "java/lang/Math.min(II)I", 171 "java/lang/Math.negateExact(I)I", 172 "java/lang/Math.negateExact(J)J", 173 "java/lang/String.<init>(Ljava/lang/String;)V", 174 "java/lang/String.compareTo(Ljava/lang/String;)I", 175 "java/lang/String.indexOf(Ljava/lang/String;)I", 176 "java/lang/StringBuffer.<init>()V", 177 "java/lang/StringBuffer.<init>(I)V", 178 "java/lang/StringBuffer.<init>(Ljava/lang/String;)V", 179 "java/lang/StringBuffer.append(C)Ljava/lang/StringBuffer;", 180 "java/lang/StringBuffer.append(I)Ljava/lang/StringBuffer;", 181 "java/lang/StringBuffer.append(Ljava/lang/String;)Ljava/lang/StringBuffer;", 182 "java/lang/StringBuffer.toString()Ljava/lang/String;", 183 "java/lang/StringBuilder.<init>()V", 184 "java/lang/StringBuilder.<init>(I)V", 185 "java/lang/StringBuilder.<init>(Ljava/lang/String;)V", 186 "java/lang/StringBuilder.append(C)Ljava/lang/StringBuilder;", 187 "java/lang/StringBuilder.append(I)Ljava/lang/StringBuilder;", 188 "java/lang/StringBuilder.append(Ljava/lang/String;)Ljava/lang/StringBuilder;", 189 "java/lang/StringBuilder.toString()Ljava/lang/String;", 190 "java/lang/reflect/Array.newArray(Ljava/lang/Class;I)Ljava/lang/Object;", 191 "java/util/Arrays.copyOf([Ljava/lang/Object;ILjava/lang/Class;)[Ljava/lang/Object;", 192 "java/util/Arrays.copyOfRange([Ljava/lang/Object;IILjava/lang/Class;)[Ljava/lang/Object;", 193 "oracle/jrockit/jfr/Timing.counterTime()J", 194 "oracle/jrockit/jfr/VMJFR.classID0(Ljava/lang/Class;)J", 195 "oracle/jrockit/jfr/VMJFR.threadID()I", 196 "sun/misc/Unsafe.copyMemory(Ljava/lang/Object;JLjava/lang/Object;JJ)V", 197 "sun/nio/cs/ISO_8859_1$Encoder.encodeISOArray([CI[BII)I", 198 "sun/security/provider/DigestBase.implCompressMultiBlock([BII)I", 199 "sun/security/provider/SHA.implCompress([BI)V", 200 "sun/security/provider/SHA2.implCompress([BI)V", 201 "sun/security/provider/SHA5.implCompress([BI)V"); 202 203 add(TO_BE_INVESTIGATED, 204 // JDK 9 205 "com/sun/crypto/provider/CounterMode.implCrypt([BII[BI)I", 206 "com/sun/crypto/provider/GHASH.processBlocks([BII[J[J)V", 207 "java/lang/Math.fma(DDD)D", 208 "java/lang/Math.fma(FFF)F", 209 "java/lang/Object.notify()V", 210 "java/lang/Object.notifyAll()V", 211 "java/lang/StringCoding.hasNegatives([BII)Z", 212 "java/lang/StringCoding.implEncodeISOArray([BI[BII)I", 213 "java/lang/StringLatin1.compareTo([B[B)I", 214 "java/lang/StringLatin1.compareToUTF16([B[B)I", 215 "java/lang/StringLatin1.equals([B[B)Z", 216 "java/lang/StringLatin1.indexOf([BI[BII)I", 217 "java/lang/StringLatin1.indexOf([B[B)I", 218 "java/lang/StringLatin1.inflate([BI[BII)V", 219 "java/lang/StringLatin1.inflate([BI[CII)V", 220 "java/lang/StringUTF16.compareTo([B[B)I", 221 "java/lang/StringUTF16.compareToLatin1([B[B)I", 222 "java/lang/StringUTF16.compress([BI[BII)I", 223 "java/lang/StringUTF16.compress([CI[BII)I", 224 "java/lang/StringUTF16.equals([B[B)Z", 225 "java/lang/StringUTF16.getChar([BI)C", 226 "java/lang/StringUTF16.getChars([BII[CI)V", 227 "java/lang/StringUTF16.indexOf([BI[BII)I", 228 "java/lang/StringUTF16.indexOf([B[B)I", 229 "java/lang/StringUTF16.indexOfChar([BIII)I", 230 "java/lang/StringUTF16.indexOfLatin1([BI[BII)I", 231 "java/lang/StringUTF16.indexOfLatin1([B[B)I", 232 "java/lang/StringUTF16.putChar([BII)V", 233 "java/lang/StringUTF16.toBytes([CII)[B", 234 "java/lang/Thread.onSpinWait()V", 235 "java/lang/invoke/MethodHandleImpl.isCompileConstant(Ljava/lang/Object;)Z", 236 "java/math/BigInteger.implMontgomeryMultiply([I[I[IIJ[I)[I", 237 "java/math/BigInteger.implMontgomerySquare([I[IIJ[I)[I", 238 "java/math/BigInteger.implMulAdd([I[IIII)I", 239 "java/math/BigInteger.implSquareToLen([II[II)[I", 240 "java/util/ArraysSupport.vectorizedMismatch(Ljava/lang/Object;JLjava/lang/Object;JII)I", 241 "java/util/stream/Streams$RangeIntSpliterator.forEachRemaining(Ljava/util/function/IntConsumer;)V", 242 "java/util/zip/Adler32.updateByteBuffer(IJII)I", 243 "java/util/zip/Adler32.updateBytes(I[BII)I", 244 "jdk/internal/misc/Unsafe.allocateUninitializedArray0(Ljava/lang/Class;I)Ljava/lang/Object;", 245 "jdk/internal/misc/Unsafe.compareAndExchangeByteAcquire(Ljava/lang/Object;JBB)B", 246 "jdk/internal/misc/Unsafe.compareAndExchangeByteRelease(Ljava/lang/Object;JBB)B", 247 "jdk/internal/misc/Unsafe.compareAndExchangeByteVolatile(Ljava/lang/Object;JBB)B", 248 "jdk/internal/misc/Unsafe.compareAndExchangeIntAcquire(Ljava/lang/Object;JII)I", 249 "jdk/internal/misc/Unsafe.compareAndExchangeIntRelease(Ljava/lang/Object;JII)I", 250 "jdk/internal/misc/Unsafe.compareAndExchangeIntVolatile(Ljava/lang/Object;JII)I", 251 "jdk/internal/misc/Unsafe.compareAndExchangeLongAcquire(Ljava/lang/Object;JJJ)J", 252 "jdk/internal/misc/Unsafe.compareAndExchangeLongRelease(Ljava/lang/Object;JJJ)J", 253 "jdk/internal/misc/Unsafe.compareAndExchangeLongVolatile(Ljava/lang/Object;JJJ)J", 254 "jdk/internal/misc/Unsafe.compareAndExchangeObjectAcquire(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;", 255 "jdk/internal/misc/Unsafe.compareAndExchangeObjectRelease(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;", 256 "jdk/internal/misc/Unsafe.compareAndExchangeObjectVolatile(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;", 257 "jdk/internal/misc/Unsafe.compareAndExchangeShortAcquire(Ljava/lang/Object;JSS)S", 258 "jdk/internal/misc/Unsafe.compareAndExchangeShortRelease(Ljava/lang/Object;JSS)S", 259 "jdk/internal/misc/Unsafe.compareAndExchangeShortVolatile(Ljava/lang/Object;JSS)S", 260 "jdk/internal/misc/Unsafe.compareAndSwapByte(Ljava/lang/Object;JBB)Z", 261 "jdk/internal/misc/Unsafe.compareAndSwapShort(Ljava/lang/Object;JSS)Z", 262 "jdk/internal/misc/Unsafe.copyMemory0(Ljava/lang/Object;JLjava/lang/Object;JJ)V", 263 "jdk/internal/misc/Unsafe.getAndAddByte(Ljava/lang/Object;JB)B", 264 "jdk/internal/misc/Unsafe.getAndAddShort(Ljava/lang/Object;JS)S", 265 "jdk/internal/misc/Unsafe.getAndSetByte(Ljava/lang/Object;JB)B", 266 "jdk/internal/misc/Unsafe.getAndSetShort(Ljava/lang/Object;JS)S", 267 "jdk/internal/misc/Unsafe.getBooleanAcquire(Ljava/lang/Object;J)Z", 268 "jdk/internal/misc/Unsafe.getBooleanOpaque(Ljava/lang/Object;J)Z", 269 "jdk/internal/misc/Unsafe.getByteAcquire(Ljava/lang/Object;J)B", 270 "jdk/internal/misc/Unsafe.getByteOpaque(Ljava/lang/Object;J)B", 271 "jdk/internal/misc/Unsafe.getCharAcquire(Ljava/lang/Object;J)C", 272 "jdk/internal/misc/Unsafe.getCharOpaque(Ljava/lang/Object;J)C", 273 "jdk/internal/misc/Unsafe.getDoubleAcquire(Ljava/lang/Object;J)D", 274 "jdk/internal/misc/Unsafe.getDoubleOpaque(Ljava/lang/Object;J)D", 275 "jdk/internal/misc/Unsafe.getFloatAcquire(Ljava/lang/Object;J)F", 276 "jdk/internal/misc/Unsafe.getFloatOpaque(Ljava/lang/Object;J)F", 277 "jdk/internal/misc/Unsafe.getIntAcquire(Ljava/lang/Object;J)I", 278 "jdk/internal/misc/Unsafe.getIntOpaque(Ljava/lang/Object;J)I", 279 "jdk/internal/misc/Unsafe.getLongAcquire(Ljava/lang/Object;J)J", 280 "jdk/internal/misc/Unsafe.getLongOpaque(Ljava/lang/Object;J)J", 281 "jdk/internal/misc/Unsafe.getObjectAcquire(Ljava/lang/Object;J)Ljava/lang/Object;", 282 "jdk/internal/misc/Unsafe.getObjectOpaque(Ljava/lang/Object;J)Ljava/lang/Object;", 283 "jdk/internal/misc/Unsafe.getShortAcquire(Ljava/lang/Object;J)S", 284 "jdk/internal/misc/Unsafe.getShortOpaque(Ljava/lang/Object;J)S", 285 "jdk/internal/misc/Unsafe.park(ZJ)V", 286 "jdk/internal/misc/Unsafe.putBooleanOpaque(Ljava/lang/Object;JZ)V", 287 "jdk/internal/misc/Unsafe.putByteOpaque(Ljava/lang/Object;JB)V", 288 "jdk/internal/misc/Unsafe.putCharOpaque(Ljava/lang/Object;JC)V", 289 "jdk/internal/misc/Unsafe.putDoubleOpaque(Ljava/lang/Object;JD)V", 290 "jdk/internal/misc/Unsafe.putFloatOpaque(Ljava/lang/Object;JF)V", 291 "jdk/internal/misc/Unsafe.putIntOpaque(Ljava/lang/Object;JI)V", 292 "jdk/internal/misc/Unsafe.putLongOpaque(Ljava/lang/Object;JJ)V", 293 "jdk/internal/misc/Unsafe.putObjectOpaque(Ljava/lang/Object;JLjava/lang/Object;)V", 294 "jdk/internal/misc/Unsafe.putShortOpaque(Ljava/lang/Object;JS)V", 295 "jdk/internal/misc/Unsafe.unpark(Ljava/lang/Object;)V", 296 "jdk/internal/misc/Unsafe.weakCompareAndSwapByte(Ljava/lang/Object;JBB)Z", 297 "jdk/internal/misc/Unsafe.weakCompareAndSwapByteAcquire(Ljava/lang/Object;JBB)Z", 298 "jdk/internal/misc/Unsafe.weakCompareAndSwapByteRelease(Ljava/lang/Object;JBB)Z", 299 "jdk/internal/misc/Unsafe.weakCompareAndSwapByteVolatile(Ljava/lang/Object;JBB)Z", 300 "jdk/internal/misc/Unsafe.weakCompareAndSwapInt(Ljava/lang/Object;JII)Z", 301 "jdk/internal/misc/Unsafe.weakCompareAndSwapIntAcquire(Ljava/lang/Object;JII)Z", 302 "jdk/internal/misc/Unsafe.weakCompareAndSwapIntRelease(Ljava/lang/Object;JII)Z", 303 "jdk/internal/misc/Unsafe.weakCompareAndSwapIntVolatile(Ljava/lang/Object;JII)Z", 304 "jdk/internal/misc/Unsafe.weakCompareAndSwapLong(Ljava/lang/Object;JJJ)Z", 305 "jdk/internal/misc/Unsafe.weakCompareAndSwapLongAcquire(Ljava/lang/Object;JJJ)Z", 306 "jdk/internal/misc/Unsafe.weakCompareAndSwapLongRelease(Ljava/lang/Object;JJJ)Z", 307 "jdk/internal/misc/Unsafe.weakCompareAndSwapLongVolatile(Ljava/lang/Object;JJJ)Z", 308 "jdk/internal/misc/Unsafe.weakCompareAndSwapObject(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", 309 "jdk/internal/misc/Unsafe.weakCompareAndSwapObjectAcquire(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", 310 "jdk/internal/misc/Unsafe.weakCompareAndSwapObjectRelease(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", 311 "jdk/internal/misc/Unsafe.weakCompareAndSwapObjectVolatile(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z", 312 "jdk/internal/misc/Unsafe.weakCompareAndSwapShort(Ljava/lang/Object;JSS)Z", 313 "jdk/internal/misc/Unsafe.weakCompareAndSwapShortAcquire(Ljava/lang/Object;JSS)Z", 314 "jdk/internal/misc/Unsafe.weakCompareAndSwapShortRelease(Ljava/lang/Object;JSS)Z", 315 "jdk/internal/misc/Unsafe.weakCompareAndSwapShortVolatile(Ljava/lang/Object;JSS)Z", 316 "jdk/internal/util/Preconditions.checkIndex(IILjava/util/function/BiFunction;)I", 317 "jdk/jfr/internal/JVM.counterTime()J", 318 "jdk/jfr/internal/JVM.getBufferWriter()Ljava/lang/Object;", 319 "jdk/jfr/internal/JVM.getClassId(Ljava/lang/Class;)J", 320 "sun/nio/cs/ISO_8859_1$Encoder.implEncodeISOArray([CI[BII)I", 321 "sun/security/provider/DigestBase.implCompressMultiBlock0([BII)I", 322 "sun/security/provider/SHA.implCompress0([BI)V", 323 "sun/security/provider/SHA2.implCompress0([BI)V", 324 "sun/security/provider/SHA5.implCompress0([BI)V"); 325 326 if (!getHostArchitectureName().equals("amd64")) { 327 add(TO_BE_INVESTIGATED, 328 // Can we implement these on non-AMD64 platforms? C2 seems to. 329 "sun/misc/Unsafe.getAndAddInt(Ljava/lang/Object;JI)I", 330 "sun/misc/Unsafe.getAndAddLong(Ljava/lang/Object;JJ)J", 331 "sun/misc/Unsafe.getAndSetInt(Ljava/lang/Object;JI)I", 332 "sun/misc/Unsafe.getAndSetLong(Ljava/lang/Object;JJ)J", 333 "sun/misc/Unsafe.getAndSetObject(Ljava/lang/Object;JLjava/lang/Object;)Ljava/lang/Object;"); 334 // JDK 9 335 add(TO_BE_INVESTIGATED, 336 "jdk/internal/misc/Unsafe.getAndAddInt(Ljava/lang/Object;JI)I", 337 "jdk/internal/misc/Unsafe.getAndAddLong(Ljava/lang/Object;JJ)J", 338 "jdk/internal/misc/Unsafe.getAndSetInt(Ljava/lang/Object;JI)I", 339 "jdk/internal/misc/Unsafe.getAndSetLong(Ljava/lang/Object;JJ)J", 340 "jdk/internal/misc/Unsafe.getAndSetObject(Ljava/lang/Object;JLjava/lang/Object;)Ljava/lang/Object;", 341 "jdk/internal/misc/Unsafe.getCharUnaligned(Ljava/lang/Object;J)C", 342 "jdk/internal/misc/Unsafe.getIntUnaligned(Ljava/lang/Object;J)I", 343 "jdk/internal/misc/Unsafe.getLongUnaligned(Ljava/lang/Object;J)J", 344 "jdk/internal/misc/Unsafe.getShortUnaligned(Ljava/lang/Object;J)S", 345 "jdk/internal/misc/Unsafe.putCharUnaligned(Ljava/lang/Object;JC)V", 346 "jdk/internal/misc/Unsafe.putIntUnaligned(Ljava/lang/Object;JI)V", 347 "jdk/internal/misc/Unsafe.putLongUnaligned(Ljava/lang/Object;JJ)V", 348 "jdk/internal/misc/Unsafe.putShortUnaligned(Ljava/lang/Object;JS)V"); 349 } 350 351 HotSpotGraalRuntimeProvider rt = (HotSpotGraalRuntimeProvider) Graal.getRequiredCapability(RuntimeProvider.class); 352 GraalHotSpotVMConfig config = rt.getVMConfig(); 353 354 /* 355 * These are known to be implemented but the platform dependent conditions for when they are 356 * enabled are complex so just ignore them all the time. 357 */ 358 add(IGNORE, 359 "java/lang/Integer.bitCount(I)I", 360 "java/lang/Integer.numberOfLeadingZeros(I)I", 361 "java/lang/Integer.numberOfTrailingZeros(I)I", 362 "java/lang/Long.bitCount(J)I", 363 "java/lang/Long.numberOfLeadingZeros(J)I", 364 "java/lang/Long.numberOfTrailingZeros(J)I"); 365 366 if (!config.useCRC32Intrinsics) { 367 // Registration of the CRC32 plugins is guarded by UseCRC32Intrinsics 368 add(IGNORE, "java/util/zip/CRC32.update(II)I"); 369 if (JAVA_SPECIFICATION_VERSION < 9) { 370 add(IGNORE, 371 "java/util/zip/CRC32.updateByteBuffer(IJII)I", 372 "java/util/zip/CRC32.updateBytes(I[BII)I"); 373 } else { 374 add(IGNORE, 375 "java/util/zip/CRC32.updateByteBuffer0(IJII)I", 376 "java/util/zip/CRC32.updateBytes0(I[BII)I", 377 "java/util/zip/CRC32C.updateBytes(I[BII)I", 378 "java/util/zip/CRC32C.updateDirectByteBuffer(IJII)I"); 379 } 380 } else { 381 if (JAVA_SPECIFICATION_VERSION >= 9) { 382 add(TO_BE_INVESTIGATED, 383 "java/util/zip/CRC32C.updateBytes(I[BII)I", 384 "java/util/zip/CRC32C.updateDirectByteBuffer(IJII)I"); 385 } 386 } 387 388 if (!config.useAESIntrinsics) { 389 // Registration of the AES plugins is guarded by UseAESIntrinsics 390 if (JAVA_SPECIFICATION_VERSION < 9) { 391 add(IGNORE, 392 "com/sun/crypto/provider/AESCrypt.decryptBlock([BI[BI)V", 393 "com/sun/crypto/provider/AESCrypt.encryptBlock([BI[BI)V", 394 "com/sun/crypto/provider/CipherBlockChaining.decrypt([BII[BI)I", 395 "com/sun/crypto/provider/CipherBlockChaining.encrypt([BII[BI)I"); 396 } else { 397 add(IGNORE, 398 "com/sun/crypto/provider/AESCrypt.implDecryptBlock([BI[BI)V", 399 "com/sun/crypto/provider/AESCrypt.implEncryptBlock([BI[BI)V", 400 "com/sun/crypto/provider/CipherBlockChaining.implDecrypt([BII[BI)I", 401 "com/sun/crypto/provider/CipherBlockChaining.implEncrypt([BII[BI)I"); 402 } 403 } 404 if (!config.useMultiplyToLenIntrinsic()) { 405 // Registration of the AES plugins is guarded by UseAESIntrinsics 406 if (JAVA_SPECIFICATION_VERSION < 9) { 407 add(IGNORE, "java/math/BigInteger.multiplyToLen([II[II[I)[I"); 408 } else { 409 add(IGNORE, "java/math/BigInteger.implMultiplyToLen([II[II[I)[I"); 410 } 411 } 412 } 413 414 private static String getHostArchitectureName() { 415 String arch = System.getProperty("os.arch"); 416 if (arch.equals("x86_64")) { 417 arch = "amd64"; 418 } else if (arch.equals("sparcv9")) { 419 arch = "sparc"; 420 } 421 return arch; 422 } 423 424 @Test 425 @SuppressWarnings("try") 426 public void test() throws ClassNotFoundException { 427 HotSpotGraalRuntimeProvider rt = (HotSpotGraalRuntimeProvider) Graal.getRequiredCapability(RuntimeProvider.class); 428 HotSpotProviders providers = rt.getHostBackend().getProviders(); 429 Map<ResolvedJavaMethod, Object> impl = new HashMap<>(); 430 Plugins graphBuilderPlugins = providers.getGraphBuilderPlugins(); 431 InvocationPlugins invocationPlugins = graphBuilderPlugins.getInvocationPlugins(); 432 for (ResolvedJavaMethod method : invocationPlugins.getMethods()) { 433 InvocationPlugin plugin = invocationPlugins.lookupInvocation(method); 434 assert plugin != null; 435 impl.put(method, plugin); 436 } 437 438 EconomicSet<ResolvedJavaMethod> methods = invocationPlugins.getMethods(); 439 HotSpotVMConfigStore store = rt.getVMConfig().getStore(); 440 List<VMIntrinsicMethod> intrinsics = store.getIntrinsics(); 441 442 List<String> missing = new ArrayList<>(); 443 for (VMIntrinsicMethod intrinsic : intrinsics) { 444 ResolvedJavaMethod method = findMethod(methods, intrinsic); 445 if (method == null) { 446 method = resolveIntrinsic(providers.getMetaAccess(), intrinsic); 447 448 IntrinsicMethod intrinsicMethod = null; 449 if (method != null) { 450 intrinsicMethod = providers.getConstantReflection().getMethodHandleAccess().lookupMethodHandleIntrinsic(method); 451 if (intrinsicMethod != null) { 452 continue; 453 } 454 } 455 String m = String.format("%s.%s%s", intrinsic.declaringClass, intrinsic.name, intrinsic.descriptor); 456 if (!TO_BE_INVESTIGATED.contains(m) && !IGNORE.contains(m)) { 457 missing.add(m); 458 } 459 } 460 } 461 462 if (!missing.isEmpty()) { 463 Collections.sort(missing); 464 String missingString = missing.stream().collect(Collectors.joining(String.format("%n "))); 465 fail("missing Graal intrinsics for:%n %s", missingString); 466 } 467 } 468} 469