org.graalvm.compiler.hotspot.replacements

Class InstanceOfSnippets

java.lang.Object

org.graalvm.compiler.hotspot.replacements.InstanceOfSnippets

All Implemented Interfaces:

Snippets

public class InstanceOfSnippets
extends Object
implements Snippets

Snippets used for implementing the type test of an instanceof instruction. Since instanceof is a floating node, it is lowered separately for each of its usages. The type tests implemented are described in the paper Fast subtype checking in the HotSpot JVM by Cliff Click and John Rose.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	InstanceOfSnippets.Templates

Constructor Summary

Constructors

Constructor and Description
InstanceOfSnippets()

Method Summary

Modifier and Type	Method and Description
static Object	instanceofDynamic(KlassPointer hub, Object object, Object trueValue, Object falseValue, boolean allowNull, boolean exact, org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters) Type test used when the type being tested against is not known at compile time.
static Object	instanceofExact(Object object, KlassPointer exactHub, Object trueValue, Object falseValue, org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters) A test against a final type.
static Object	instanceofPrimary(KlassPointer hub, Object object, int superCheckOffset, Object trueValue, Object falseValue, org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters) A test against a primary type.
static Object	instanceofSecondary(KlassPointer hub, Object object, KlassPointer[] hints, boolean[] hintIsPositive, Object trueValue, Object falseValue, org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters) A test against a restricted secondary type type.
static Object	instanceofWithProfile(Object object, KlassPointer[] hints, boolean[] hintIsPositive, Object trueValue, Object falseValue, boolean nullSeen, org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters) A test against a set of hints derived from a profile with 100% precise coverage of seen types.
static Object	isAssignableFrom(Class<?> thisClassNonNull, Class<?> otherClassNonNull, Object trueValue, Object falseValue, org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InstanceOfSnippets

public InstanceOfSnippets()

Method Detail

instanceofWithProfile

public static Object instanceofWithProfile(Object object,
                                           KlassPointer[] hints,
                                           boolean[] hintIsPositive,
                                           Object trueValue,
                                           Object falseValue,
                                           boolean nullSeen,
                                           org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)

A test against a set of hints derived from a profile with 100% precise coverage of seen types. This snippet deoptimizes on hint miss paths.

instanceofExact

public static Object instanceofExact(Object object,
                                     KlassPointer exactHub,
                                     Object trueValue,
                                     Object falseValue,
                                     org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)

A test against a final type.

instanceofPrimary

public static Object instanceofPrimary(KlassPointer hub,
                                       Object object,
                                       int superCheckOffset,
                                       Object trueValue,
                                       Object falseValue,
                                       org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)

A test against a primary type.

instanceofSecondary

public static Object instanceofSecondary(KlassPointer hub,
                                         Object object,
                                         KlassPointer[] hints,
                                         boolean[] hintIsPositive,
                                         Object trueValue,
                                         Object falseValue,
                                         org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)

A test against a restricted secondary type type.

instanceofDynamic

public static Object instanceofDynamic(KlassPointer hub,
                                       Object object,
                                       Object trueValue,
                                       Object falseValue,
                                       boolean allowNull,
                                       boolean exact,
                                       org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)

Type test used when the type being tested against is not known at compile time.

isAssignableFrom

public static Object isAssignableFrom(Class<?> thisClassNonNull,
                                      Class<?> otherClassNonNull,
                                      Object trueValue,
                                      Object falseValue,
                                      org.graalvm.compiler.hotspot.replacements.TypeCheckSnippetUtils.Counters counters)