org.graalvm.compiler.nodes

Enum StructuredGraph.FrameStateVerification

java.lang.Object

java.lang.Enum<StructuredGraph.FrameStateVerification>

org.graalvm.compiler.nodes.StructuredGraph.FrameStateVerification

All Implemented Interfaces:

Serializable, Comparable<StructuredGraph.FrameStateVerification>

Enclosing class:

StructuredGraph

public static enum StructuredGraph.FrameStateVerification
extends Enum<StructuredGraph.FrameStateVerification>

The different stages of the compilation of a Graph regarding the status of FrameState verification of AbstractStateSplit state after. Verification starts with the mode StructuredGraph.FrameStateVerification.ALL, i.e., all state splits with side-effects, merges and loop exits need a proper state after. The verification mode progresses monotonously until the StructuredGraph.FrameStateVerification.NONE mode is reached. From there on, no further AbstractStateSplit.stateAfter verification happens.

Enum Constant Summary

Enum Constants

Enum Constant and Description
ALL Verify all AbstractStateSplit nodes that return true for AbstractStateSplit.hasSideEffect() have a AbstractStateSplit.stateAfter assigned.
ALL_EXCEPT_LOOP_EXIT Same as StructuredGraph.FrameStateVerification.ALL except that LoopExitNode nodes are no longer verified.
ALL_EXCEPT_LOOPS Same as StructuredGraph.FrameStateVerification.ALL_EXCEPT_LOOP_EXIT except that LoopBeginNode are no longer verified.
NONE Verification is disabled.

Method Summary

Modifier and Type	Method and Description
static StructuredGraph.FrameStateVerification	valueOf(String name) Returns the enum constant of this type with the specified name.
static StructuredGraph.FrameStateVerification[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

ALL

public static final StructuredGraph.FrameStateVerification ALL

Verify all AbstractStateSplit nodes that return true for AbstractStateSplit.hasSideEffect() have a AbstractStateSplit.stateAfter assigned. Additionally, verify LoopExitNode and AbstractMergeNode have a valid AbstractStateSplit.stateAfter. This is necessary to avoid missing FrameState after optimizations. See GraphUtil.mayRemoveSplit(org.graalvm.compiler.nodes.IfNode) for more details. This stage is the initial verification stage for every graph.

ALL_EXCEPT_LOOP_EXIT

public static final StructuredGraph.FrameStateVerification ALL_EXCEPT_LOOP_EXIT

Same as StructuredGraph.FrameStateVerification.ALL except that LoopExitNode nodes are no longer verified.

ALL_EXCEPT_LOOPS

public static final StructuredGraph.FrameStateVerification ALL_EXCEPT_LOOPS

Same as StructuredGraph.FrameStateVerification.ALL_EXCEPT_LOOP_EXIT except that LoopBeginNode are no longer verified.

NONE

public static final StructuredGraph.FrameStateVerification NONE

Verification is disabled. Typically used after assigning FrameState to DeoptimizeNode or for Snippet compilations.

Method Detail

values

public static StructuredGraph.FrameStateVerification[] values()

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static StructuredGraph.FrameStateVerification valueOf(String name)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null