com.oracle.graal.replacements.test

Class InstanceOfTest

java.lang.Object

com.oracle.graal.test.GraalTest

com.oracle.graal.compiler.test.GraalCompilerTest

com.oracle.graal.replacements.test.TypeCheckTest

com.oracle.graal.replacements.test.InstanceOfTest

public class InstanceOfTest
extends TypeCheckTest

Tests the implementation of instanceof, allowing profiling information to be manually specified.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	InstanceOfTest.A
(package private) static class	InstanceOfTest.B
(package private) static class	InstanceOfTest.C
(package private) static class	InstanceOfTest.D
(package private) static class	InstanceOfTest.MyCall
(package private) static class	InstanceOfTest.MyMark
(package private) static class	InstanceOfTest.MySafepoint
(package private) static class	InstanceOfTest.MySite

Nested classes/interfaces inherited from class com.oracle.graal.compiler.test.GraalCompilerTest

GraalCompilerTest.ArgSupplier, GraalCompilerTest.Result

Nested classes/interfaces inherited from class com.oracle.graal.test.GraalTest

GraalTest.MultiCauseAssertionError

Field Summary

Fields inherited from class com.oracle.graal.replacements.test.TypeCheckTest

currentProfile

Fields inherited from class com.oracle.graal.compiler.test.GraalCompilerTest

lastCompiledGraph

Constructor Summary

Constructors

Constructor and Description
InstanceOfTest()

Method Summary

Modifier and Type	Method and Description
static <T> String	arrayCopyTypeName(T[] original)
protected StructuredGraph	buildGraph(String snippet)
static int	compareMySites(InstanceOfTest.MySite s1, InstanceOfTest.MySite s2)
static int	compareSites(CompilationResult.Site s1, CompilationResult.Site s2)
int	conditionalInstantiation(Object o)
boolean	exactlyObject(Thread thread)
boolean	exactlyObjectArray(Thread[] threads)
boolean	exactlyString(Thread thread)
boolean	exactlyStringArray(Thread[] threads)
static int	id(int value)
boolean	instanceofString(Thread thread)
boolean	instanceofStringArray(Thread[] threads)
static boolean	isArrayOfA(Object o)
static boolean	isArrayOfB(Object o)
static boolean	isArrayOfC(Object o)
static boolean	isArrayOfD(Object o)
static boolean	isDepth12(Object o)
static int	isDepth12Int(Object o)
static boolean	isMap(Object o)
static int	isMapInt(Object o)
static boolean	isString(Object o)
static int	isStringInt(Object o)
static int	isStringIntComplex(Object o)
static boolean	isThrowable(Object o)
static int	isThrowableInt(Object o)
static int	onlyFirstIsException(Throwable t1, Throwable t2)
static String	removeIntermediateMaterialization(List<Object> list, Object e, String a, String b)
protected void	replaceProfile(StructuredGraph graph, JavaTypeProfile profile)
void	test1()
void	test10()
void	test2()
void	test201()
void	test3()
void	test301()
void	test4()
void	test5()
void	test6()
void	test7()
void	test8()
void	test9()
void	testArray()
void	testArrayCopy()
private void	testConstantReturn(String name, Object value)
void	testInstantiation()
void	testRemoveIntermediateMaterialization() This test exists to show the kind of pattern that is be optimizable by removeIntermediateMaterialization() in IfNode.
void	testTypeCheck() TypeCheckNode and InstanceOfNode should be equivalently powerful when comparing disjoint types.

Methods inherited from class com.oracle.graal.replacements.test.TypeCheckTest

getCode, parseForCompile, profile, profile, test

Methods inherited from class com.oracle.graal.compiler.test.GraalCompilerTest

addMethod, after, afterTest, applyArgSuppliers, argsWithReceiver, asResolvedJavaMethod, assertConstantReturn, assertEquals, assertEquals, assertEquals, before, beforeTest, branchProbability, breakpoint, breakpoint, checkArgs, checkHighTierGraph, checkLowTierGraph, checkMidTierGraph, compile, countUnusedConstants, createLIRSuites, createSuites, editGraphBuilderConfiguration, executeActual, executeActualCheckDeopt, executeExpected, getBackend, getCanonicalGraphString, getCode, getCode, getCodeCache, getConstantReflection, getCustomGraphBuilderSuite, getDefaultGraphBuilderPlugins, getDefaultGraphBuilderSuite, getDefaultHighTierContext, getLIRSuites, getLowerer, getMetaAccess, getNodeCountExcludingUnusedConstants, getProviders, getReplacements, getResolvedJavaMethod, getResolvedJavaMethod, getResolvedJavaMethod, getSnippetReflection, getSpeculationLog, getSuites, getTarget, initializeDebugging, invoke, isArchitecture, iterationCount, lookupMethod, parseDebug, parseEager, parseEager, parseProfiled, parseProfiled, referenceInvoke, supply, test, test, testAgainstExpected, testAgainstExpected, testN

Methods inherited from class com.oracle.graal.test.GraalTest

assertDeepEquals, assertDeepEquals, assertDeepEquals, assertDeepEquals, assertFalse, assertFalse, assertFalse, assertTrue, assertTrue, assertTrue, equalFloatsOrDoublesDelta, fail, getMethod, getMethod, getMethod, ulpsDelta

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceOfTest

public InstanceOfTest()

Method Detail

replaceProfile

protected void replaceProfile(StructuredGraph graph,
                              JavaTypeProfile profile)

Specified by:

replaceProfile in class TypeCheckTest

test1

public void test1()

test2

public void test2()

test201

public void test201()

test3

public void test3()

test301

public void test301()

test4

public void test4()

test5

public void test5()

test6

public void test6()

test7

public void test7()

test8

public void test8()

isString

public static boolean isString(Object o)

isStringInt

public static int isStringInt(Object o)

isStringIntComplex

public static int isStringIntComplex(Object o)

id

public static int id(int value)

isThrowable

public static boolean isThrowable(Object o)

onlyFirstIsException

public static int onlyFirstIsException(Throwable t1,
                                       Throwable t2)

isThrowableInt

public static int isThrowableInt(Object o)

isMap

public static boolean isMap(Object o)

isMapInt

public static int isMapInt(Object o)

isDepth12

public static boolean isDepth12(Object o)

isDepth12Int

public static int isDepth12Int(Object o)

test9

public void test9()

compareMySites

public static int compareMySites(InstanceOfTest.MySite s1,
                                 InstanceOfTest.MySite s2)

test10

public void test10()

compareSites

public static int compareSites(CompilationResult.Site s1,
                               CompilationResult.Site s2)

testRemoveIntermediateMaterialization

public void testRemoveIntermediateMaterialization()

This test exists to show the kind of pattern that is be optimizable by removeIntermediateMaterialization() in IfNode.

The test exists in this source file as the transformation was originally motivated by the need to remove use of special JumpNodes in the InstanceOfSnippets.

removeIntermediateMaterialization

public static String removeIntermediateMaterialization(List<Object> list,
                                                       Object e,
                                                       String a,
                                                       String b)

isArrayOfA

public static boolean isArrayOfA(Object o)

isArrayOfB

public static boolean isArrayOfB(Object o)

isArrayOfC

public static boolean isArrayOfC(Object o)

isArrayOfD

public static boolean isArrayOfD(Object o)

testArray

public void testArray()

arrayCopyTypeName

public static <T> String arrayCopyTypeName(T[] original)

testArrayCopy

public void testArrayCopy()

conditionalInstantiation

public int conditionalInstantiation(Object o)

testInstantiation

public void testInstantiation()

exactlyObject

public boolean exactlyObject(Thread thread)

exactlyObjectArray

public boolean exactlyObjectArray(Thread[] threads)

exactlyString

public boolean exactlyString(Thread thread)

exactlyStringArray

public boolean exactlyStringArray(Thread[] threads)

instanceofStringArray

public boolean instanceofStringArray(Thread[] threads)

instanceofString

public boolean instanceofString(Thread thread)

testTypeCheck

public void testTypeCheck()

TypeCheckNode and InstanceOfNode should be equivalently powerful when comparing disjoint types.

testConstantReturn

private void testConstantReturn(String name,
                                Object value)

buildGraph

protected StructuredGraph buildGraph(String snippet)