com.oracle.graal.compiler.test

Class ConcreteSubtypeTest

java.lang.Object

com.oracle.graal.test.GraalTest

com.oracle.graal.compiler.test.GraalCompilerTest

com.oracle.graal.compiler.test.GraalCompilerAssumptionsTest

com.oracle.graal.compiler.test.ConcreteSubtypeTest

public class ConcreteSubtypeTest
extends GraalCompilerAssumptionsTest

Ensure that abstract classes with a single implementor are properly optimized and that loading a subclass below the leaf type triggers invalidation.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	ConcreteSubtypeTest.AbstractBase
(package private) static class	ConcreteSubtypeTest.Subclass
(package private) static class	ConcreteSubtypeTest.SubSubclass

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.compiler.test.GraalCompilerTest

lastCompiledGraph

Constructor Summary

Constructors

Constructor and Description
ConcreteSubtypeTest()

Method Summary

Modifier and Type	Method and Description
void	callAbstractType(ConcreteSubtypeTest.AbstractBase object)
protected void	checkGraph(Assumptions.Assumption expectedAssumption, StructuredGraph graph)
void	testLeafAbstractType() Test that callAbstractType(com.oracle.graal.compiler.test.ConcreteSubtypeTest.AbstractBase) gets compiled into an empty method with a Assumptions.ConcreteSubtype assumption on ConcreteSubtypeTest.AbstractBase and ConcreteSubtypeTest.Subclass.

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

resolveAndInitialize, testAssumption, testAssumptionInvalidate

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, 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, parseForCompile, 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

ConcreteSubtypeTest

public ConcreteSubtypeTest()

Method Detail

callAbstractType

public void callAbstractType(ConcreteSubtypeTest.AbstractBase object)

checkGraph

protected void checkGraph(Assumptions.Assumption expectedAssumption,
                          StructuredGraph graph)

Overrides:

checkGraph in class GraalCompilerAssumptionsTest

testLeafAbstractType

public void testLeafAbstractType()

Test that callAbstractType(com.oracle.graal.compiler.test.ConcreteSubtypeTest.AbstractBase) gets compiled into an empty method with a Assumptions.ConcreteSubtype assumption on ConcreteSubtypeTest.AbstractBase and ConcreteSubtypeTest.Subclass. Then ensures that loading and initialization of ConcreteSubtypeTest.SubSubclass causes the compiled method to be invalidated.