WriteBarrierVerificationPhase (Graal OpenJDK Project Documentation)

```
public class WriteBarrierVerificationPhase
extends Phase
```
Verification phase that checks if, for every write, at least one write barrier is present at all paths leading to the previous safepoint. For every write, necessitating a write barrier, a bottom-up traversal of the graph is performed up to the previous safepoints via all possible paths. If, for a certain path, no write barrier satisfying the processed write is found, an assertion is generated.

Field Summary
- Fields inherited from class com.oracle.graal.phases.BasePhase
  BEFORE_PHASE_DUMP_LEVEL, PHASE_DUMP_LEVEL

Constructors
Constructor and Description
`WriteBarrierVerificationPhase()`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private static void`	`expandFrontier(NodeFlood frontier, Node node)`
`private static ValueNode`	`getValueWritten(FixedWithNextNode write)`
`private static boolean`	`hasAttachedBarrier(FixedWithNextNode node)`
`private static boolean`	`isArrayBarrier(FixedWithNextNode node, Node next)`
`private static boolean`	`isObjectArrayRangeWrite(Node node)`
`private static boolean`	`isObjectBarrier(FixedWithNextNode node, Node next)`
`private static boolean`	`isObjectWrite(Node node)`
`private static boolean`	`isSafepoint(Node node)`
`private static void`	`processWrites(StructuredGraph graph)`
`protected void`	`run(StructuredGraph graph)`
`private static boolean`	`validateBarrier(FixedAccessNode write, ObjectWriteBarrier barrier)`
`private static void`	`validateWrite(Node write)`

Methods inherited from class com.oracle.graal.phases.BasePhase
apply, apply, createName, getName

Constructor Detail
- WriteBarrierVerificationPhase
```
public WriteBarrierVerificationPhase()
```

protected void run(StructuredGraph graph)

private static void processWrites(StructuredGraph graph)

private static void validateWrite(Node write)

private static boolean hasAttachedBarrier(FixedWithNextNode node)

private static boolean isObjectBarrier(FixedWithNextNode node,
                                       Node next)

private static boolean isArrayBarrier(FixedWithNextNode node,
                                      Node next)

private static boolean isObjectWrite(Node node)

private static boolean isObjectArrayRangeWrite(Node node)

private static void expandFrontier(NodeFlood frontier,
                                   Node node)

private static boolean isSafepoint(Node node)

private static ValueNode getValueWritten(FixedWithNextNode write)

private static boolean validateBarrier(FixedAccessNode write,
                                       ObjectWriteBarrier barrier)

Class WriteBarrierVerificationPhase