WriteBarrierVerificationTest (Graal OpenJDK Project Documentation)

java.lang.Object
- com.oracle.graal.test.GraalTest
- - com.oracle.graal.compiler.test.GraalCompilerTest
  - - com.oracle.graal.hotspot.test.WriteBarrierVerificationTest

```
public class WriteBarrierVerificationTest
extends GraalCompilerTest
```
The following tests validate the write barrier verification phase. For every tested snippet, an array of write barrier indices and the total write barrier number are passed as parameters. The indices denote the barriers that will be manually removed. The write barrier verification phase runs after the write barrier removal and depending on the result an assertion might be generated. The tests anticipate the presence or not of an assertion generated by the verification phase.

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class WriteBarrierVerificationTest.Container

private static interface WriteBarrierVerificationTest.GraphPredicate
- 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

Nested Classes
Modifier and Type	Class and Description
`static class`	`WriteBarrierVerificationTest.Container`
`private static interface`	`WriteBarrierVerificationTest.GraphPredicate`

Field Summary

Fields
Modifier and Type Field and Description

static int barrierIndex

private HotSpotVMConfig config
- Fields inherited from class com.oracle.graal.compiler.test.GraalCompilerTest
  lastCompiledGraph

Fields
Modifier and Type	Field and Description
`static int`	`barrierIndex`
`private HotSpotVMConfig`	`config`

Constructor Summary

Constructors
Constructor and Description

WriteBarrierVerificationTest()

Constructors
Constructor and Description
`WriteBarrierVerificationTest()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private static void`	`safepoint()`
`private void`	`test(String snippet, int expectedBarriers, int... removedBarrierIndices)`
`void`	`test1()`
`void`	`test10()`
`static void`	`test10Snippet(WriteBarrierVerificationTest.Container main1, WriteBarrierVerificationTest.Container main2, boolean test)`
`void`	`test11()`
`static void`	`test11Snippet(WriteBarrierVerificationTest.Container main1, WriteBarrierVerificationTest.Container main2, WriteBarrierVerificationTest.Container main3, boolean test)`
`void`	`test12()`
`static void`	`test12Snippet(WriteBarrierVerificationTest.Container main, WriteBarrierVerificationTest.Container main1, boolean test)`
`void`	`test13()`
`static void`	`test13Snippet(Object[] a, Object[] b)`
`void`	`test14()`
`void`	`test15()`
`void`	`test16()`
`void`	`test17()`
`void`	`test18()`
`void`	`test19()`
`static void`	`test1Snippet(WriteBarrierVerificationTest.Container main)`
`void`	`test2()`
`void`	`test20()`
`void`	`test21()`
`void`	`test22()`
`void`	`test23()`
`void`	`test24()`
`void`	`test25()`
`void`	`test26()`
`void`	`test27()`
`void`	`test28()`
`void`	`test29()`
`static void`	`test2Snippet(WriteBarrierVerificationTest.Container main)`
`void`	`test3()`
`void`	`test30()`
`void`	`test31()`
`void`	`test32()`
`void`	`test33()`
`void`	`test34()`
`void`	`test35()`
`void`	`test36()`
`void`	`test37()`
`void`	`test38()`
`void`	`test39()`
`static void`	`test3Snippet(WriteBarrierVerificationTest.Container main, boolean test)`
`void`	`test4()`
`void`	`test40()`
`void`	`test41()`
`void`	`test42()`
`void`	`test43()`
`void`	`test44()`
`void`	`test45()`
`void`	`test46()`
`void`	`test47()`
`void`	`test48()`
`void`	`test49()`
`static void`	`test4Snippet(WriteBarrierVerificationTest.Container main, boolean test)`
`void`	`test5()`
`void`	`test50()`
`void`	`test51()`
`void`	`test52()`
`void`	`test53()`
`void`	`test54()`
`void`	`test55()`
`void`	`test56()`
`void`	`test57()`
`void`	`test58()`
`void`	`test59()`
`static void`	`test5Snippet(WriteBarrierVerificationTest.Container main)`
`void`	`test6()`
`void`	`test60()`
`void`	`test61()`
`static void`	`test6Snippet(WriteBarrierVerificationTest.Container main, boolean test)`
`void`	`test7()`
`static void`	`test7Snippet(WriteBarrierVerificationTest.Container main, boolean test)`
`void`	`test8()`
`static void`	`test8Snippet(WriteBarrierVerificationTest.Container main, boolean test)`
`void`	`test9()`
`static void`	`test9Snippet(WriteBarrierVerificationTest.Container main1, WriteBarrierVerificationTest.Container main2, boolean test)`
`private void`	`testPredicate(String snippet, WriteBarrierVerificationTest.GraphPredicate expectedBarriers, int... removedBarrierIndices)`

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

barrierIndex
```
public static int barrierIndex
```

config
```
private final HotSpotVMConfig config
```

Constructor Detail
- WriteBarrierVerificationTest
```
public WriteBarrierVerificationTest()
```

Method Detail

safepoint
```
private static void safepoint()
```

test1Snippet

public static void test1Snippet(WriteBarrierVerificationTest.Container main)

test1
```
public void test1()
```

test2
```
public void test2()
```

test2Snippet

public static void test2Snippet(WriteBarrierVerificationTest.Container main)

test3
```
public void test3()
```

test4
```
public void test4()
```

test3Snippet

public static void test3Snippet(WriteBarrierVerificationTest.Container main,
                                boolean test)

test5
```
public void test5()
```

test6
```
public void test6()
```

test7
```
public void test7()
```

test8
```
public void test8()
```

test9
```
public void test9()
```

test10
```
public void test10()
```

test4Snippet

public static void test4Snippet(WriteBarrierVerificationTest.Container main,
                                boolean test)

test11
```
public void test11()
```

test12
```
public void test12()
```

test13
```
public void test13()
```

test5Snippet

public static void test5Snippet(WriteBarrierVerificationTest.Container main)

test14
```
public void test14()
```

test15
```
public void test15()
```

test16
```
public void test16()
```

test17
```
public void test17()
```

test18
```
public void test18()
```

test19
```
public void test19()
```

test20
```
public void test20()
```

test6Snippet

public static void test6Snippet(WriteBarrierVerificationTest.Container main,
                                boolean test)

test21
```
public void test21()
```

test22
```
public void test22()
```

test23
```
public void test23()
```

test24
```
public void test24()
```

test7Snippet

public static void test7Snippet(WriteBarrierVerificationTest.Container main,
                                boolean test)

test25
```
public void test25()
```

test26
```
public void test26()
```

test27
```
public void test27()
```

test28
```
public void test28()
```

test8Snippet

public static void test8Snippet(WriteBarrierVerificationTest.Container main,
                                boolean test)

test29
```
public void test29()
```

test30
```
public void test30()
```

test31
```
public void test31()
```

test9Snippet

public static void test9Snippet(WriteBarrierVerificationTest.Container main1,
                                WriteBarrierVerificationTest.Container main2,
                                boolean test)

test32
```
public void test32()
```

test33
```
public void test33()
```

test34
```
public void test34()
```

test35
```
public void test35()
```

test36
```
public void test36()
```

test37
```
public void test37()
```

test10Snippet

public static void test10Snippet(WriteBarrierVerificationTest.Container main1,
                                 WriteBarrierVerificationTest.Container main2,
                                 boolean test)

test38
```
public void test38()
```

test39
```
public void test39()
```

test40
```
public void test40()
```

test41
```
public void test41()
```

test42
```
public void test42()
```

test43
```
public void test43()
```

test44
```
public void test44()
```

test45
```
public void test45()
```

test11Snippet

public static void test11Snippet(WriteBarrierVerificationTest.Container main1,
                                 WriteBarrierVerificationTest.Container main2,
                                 WriteBarrierVerificationTest.Container main3,
                                 boolean test)

test46
```
public void test46()
```

test47
```
public void test47()
```

test48
```
public void test48()
```

test49
```
public void test49()
```

test50
```
public void test50()
```

test51
```
public void test51()
```

test52
```
public void test52()
```

test53
```
public void test53()
```

test54
```
public void test54()
```

test55
```
public void test55()
```

test56
```
public void test56()
```

test12Snippet

public static void test12Snippet(WriteBarrierVerificationTest.Container main,
                                 WriteBarrierVerificationTest.Container main1,
                                 boolean test)

test57
```
public void test57()
```

test58
```
public void test58()
```

test59
```
public void test59()
```

test60
```
public void test60()
```

test13Snippet

public static void test13Snippet(Object[] a,
                                 Object[] b)

test61
```
public void test61()
```

test

private void test(String snippet,
                  int expectedBarriers,
                  int... removedBarrierIndices)

testPredicate

private void testPredicate(String snippet,
                           WriteBarrierVerificationTest.GraphPredicate expectedBarriers,
                           int... removedBarrierIndices)

Class WriteBarrierVerificationTest

Nested Class Summary

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

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

Field Summary

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

Constructor Summary

Method Summary

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

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

Methods inherited from class java.lang.Object

Field Detail

barrierIndex

config

Constructor Detail

WriteBarrierVerificationTest

Method Detail

safepoint

test1Snippet

test1

test2

test2Snippet

test3

test4

test3Snippet

test5

test6

test7

test8

test9

test10

test4Snippet

test11

test12

test13

test5Snippet

test14

test15

test16

test17

test18

test19

test20

test6Snippet

test21

test22

test23

test24

test7Snippet

test25

test26

test27

test28

test8Snippet

test29

test30

test31

test9Snippet

test32

test33

test34

test35

test36

test37

test10Snippet

test38

test39

test40

test41

test42

test43

test44

test45

test11Snippet

test46

test47

test48

test49

test50

test51