com.oracle.graal.compiler.test

Class MemoryScheduleTest

java.lang.Object

com.oracle.graal.test.GraalTest

com.oracle.graal.compiler.test.GraalCompilerTest

com.oracle.graal.compiler.test.GraphScheduleTest

com.oracle.graal.compiler.test.MemoryScheduleTest

public class MemoryScheduleTest
extends GraphScheduleTest

In these test the FrameStates are explicitly cleared out, so that the scheduling of FloatingReadNodes depends solely on the scheduling algorithm. The FrameStates normally keep the FloatingReadNodes above a certain point, so that they (most of the time...) magically do the right thing. The scheduling shouldn't depend on FrameStates, which is tested by this class.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MemoryScheduleTest.Container
private static class	MemoryScheduleTest.TestMode

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

Modifier and Type	Field and Description
private static MemoryScheduleTest.Container	container
private static List<MemoryScheduleTest.Container>	containerList
private int	hash
private char[]	value

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

lastCompiledGraph

Constructor Summary

Constructors

Constructor and Description
MemoryScheduleTest()

Method Summary

Modifier and Type	Method and Description
private static void	assertReadAndWriteInSameBlock(SchedulePhase schedule, boolean inSame)
private static void	assertReadBeforeAllWritesInStartBlock(SchedulePhase schedule)
private void	assertReadWithinAllReturnBlocks(SchedulePhase schedule, boolean withinReturnBlock)
private void	assertReadWithinStartBlock(SchedulePhase schedule, boolean withinStartBlock)
private SchedulePhase	getFinalSchedule(String snippet, MemoryScheduleTest.TestMode mode)
private SchedulePhase	getFinalSchedule(String snippet, MemoryScheduleTest.TestMode mode, SchedulePhase.SchedulingStrategy schedulingStrategy)
void	testAntiDependency()
static int	testAntiDependencySnippet(int a)
void	testArrayCopy()
static int	testArrayCopySnippet(Integer intValue, char[] a, char[] b, int len) Here the read should float to the end (into the same block as the return).
void	testBlockSchedule()
void	testBlockSchedule2()
static int	testBlockSchedule2Snippet(int value) read should move inside the loop (out of loop is disabled).
static int	testBlockScheduleSnippet() testing scheduling within a block.
void	testIfRead1()
static int	testIfRead1Snippet(int a) Here the read should not float to the end.
void	testIfRead2()
static int	testIfRead2Snippet(int a) Here the read should float in the else block.
void	testIfRead3()
static int	testIfRead3Snippet(int a) Here the read should float to the end, right before the write.
void	testIfRead4()
static int	testIfRead4Snippet(int a) Here the read should be just in the if branch (with the write).
void	testIfRead5()
static int	testIfRead5Snippet(int a) Here the read should float to the end.
void	testLoop1()
static int	testLoop1Snippet(int a, int b) Here the read should not float to the end.
void	testLoop2()
static int	testLoop2Snippet(int a, int b) Here the read should float to the end.
void	testLoop3()
static int	testLoop3Snippet(int a) Here the read should float out of the loop.
void	testLoop4()
static int	testLoop4Snippet(int count)
void	testLoop5()
static int	testLoop5Snippet(int a, int b, MemoryScheduleTest obj) Here the read should float out of the loop.
void	testLoop6()
static int	testLoop6Snippet(int a, int b, MemoryScheduleTest obj) Here the read should not float out of the loop.
void	testLoop7()
static int	testLoop7Snippet(int a, int b, MemoryScheduleTest obj) Here the read should not float out of the loop.
void	testLoop8()
static int	testLoop8Snippet(int a, int b) Here the read should not float to the end.
void	testLoop9()
static int	testLoop9Snippet(int a, int b) Here the read should float after the loop.
void	testProxy()
static void	testProxySnippet()
void	testSimple()
static int	testSimpleSnippet() In this test the read should be scheduled before the write.
void	testSplit1()
static int	testSplit1Snippet(int a) In this case the read should be scheduled in the first block.
void	testSplit2()
static int	testSplit2Snippet(int a) Here the read should float to the end.
void	testStringHashCode()
int	testStringHashCodeSnippet()
void	testStringReplace()
String	testStringReplaceSnippet(String input)

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

assertOrderedAfterSchedule, assertOrderedAfterSchedule

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

Field Detail

container

private static final MemoryScheduleTest.Container container

containerList

private static final List<MemoryScheduleTest.Container> containerList

hash

private int hash

value

private final char[] value

Constructor Detail

MemoryScheduleTest

public MemoryScheduleTest()

Method Detail

testSimpleSnippet

public static int testSimpleSnippet()

In this test the read should be scheduled before the write.

testSimple

public void testSimple()

testSplit1Snippet

public static int testSplit1Snippet(int a)

In this case the read should be scheduled in the first block.

testSplit1

public void testSplit1()

testSplit2Snippet

public static int testSplit2Snippet(int a)

Here the read should float to the end.

testSplit2

public void testSplit2()

testLoop1Snippet

public static int testLoop1Snippet(int a,
                                   int b)

Here the read should not float to the end.

testLoop1

public void testLoop1()

testLoop2Snippet

public static int testLoop2Snippet(int a,
                                   int b)

Here the read should float to the end.

testLoop2

public void testLoop2()

testLoop3Snippet

public static int testLoop3Snippet(int a)

Here the read should float out of the loop.

testLoop3

public void testLoop3()

testStringReplaceSnippet

public String testStringReplaceSnippet(String input)

testStringReplace

public void testStringReplace()

testLoop5Snippet

public static int testLoop5Snippet(int a,
                                   int b,
                                   MemoryScheduleTest obj)

Here the read should float out of the loop.

testLoop5

public void testLoop5()

testLoop6Snippet

public static int testLoop6Snippet(int a,
                                   int b,
                                   MemoryScheduleTest obj)

Here the read should not float out of the loop.

testLoop6

public void testLoop6()

testLoop7Snippet

public static int testLoop7Snippet(int a,
                                   int b,
                                   MemoryScheduleTest obj)

Here the read should not float out of the loop.

testLoop7

public void testLoop7()

testLoop8Snippet

public static int testLoop8Snippet(int a,
                                   int b)

Here the read should not float to the end.

testLoop8

public void testLoop8()

testLoop9Snippet

public static int testLoop9Snippet(int a,
                                   int b)

Here the read should float after the loop.

testLoop9

public void testLoop9()

testArrayCopySnippet

public static int testArrayCopySnippet(Integer intValue,
                                       char[] a,
                                       char[] b,
                                       int len)

Here the read should float to the end (into the same block as the return).

testArrayCopy

public void testArrayCopy()

testIfRead1Snippet

public static int testIfRead1Snippet(int a)

Here the read should not float to the end.

testIfRead1

public void testIfRead1()

testIfRead2Snippet

public static int testIfRead2Snippet(int a)

Here the read should float in the else block.

testIfRead2

public void testIfRead2()

testIfRead3Snippet

public static int testIfRead3Snippet(int a)

Here the read should float to the end, right before the write.

testIfRead3

public void testIfRead3()

testIfRead4Snippet

public static int testIfRead4Snippet(int a)

Here the read should be just in the if branch (with the write).

testIfRead4

public void testIfRead4()

testIfRead5Snippet

public static int testIfRead5Snippet(int a)

Here the read should float to the end.

testIfRead5

public void testIfRead5()

testAntiDependencySnippet

public static int testAntiDependencySnippet(int a)

testAntiDependency

public void testAntiDependency()

testBlockScheduleSnippet

public static int testBlockScheduleSnippet()

testing scheduling within a block.

testBlockSchedule

public void testBlockSchedule()

testBlockSchedule2Snippet

public static int testBlockSchedule2Snippet(int value)

read should move inside the loop (out of loop is disabled).

testBlockSchedule2

public void testBlockSchedule2()

testProxySnippet

public static void testProxySnippet()

testProxy

public void testProxy()

testStringHashCodeSnippet

public int testStringHashCodeSnippet()

testStringHashCode

public void testStringHashCode()

testLoop4Snippet

public static int testLoop4Snippet(int count)

testLoop4

public void testLoop4()

assertReadWithinAllReturnBlocks

private void assertReadWithinAllReturnBlocks(SchedulePhase schedule,
                                             boolean withinReturnBlock)

assertReadWithinStartBlock

private void assertReadWithinStartBlock(SchedulePhase schedule,
                                        boolean withinStartBlock)

assertReadAndWriteInSameBlock

private static void assertReadAndWriteInSameBlock(SchedulePhase schedule,
                                                  boolean inSame)

assertReadBeforeAllWritesInStartBlock

private static void assertReadBeforeAllWritesInStartBlock(SchedulePhase schedule)

getFinalSchedule

private SchedulePhase getFinalSchedule(String snippet,
                                       MemoryScheduleTest.TestMode mode)

getFinalSchedule

private SchedulePhase getFinalSchedule(String snippet,
                                       MemoryScheduleTest.TestMode mode,
                                       SchedulePhase.SchedulingStrategy schedulingStrategy)