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