com.oracle.graal.phases.common

Class ConditionalEliminationPhase.State

java.lang.Object

com.oracle.graal.phases.graph.MergeableState<ConditionalEliminationPhase.State>

com.oracle.graal.phases.common.ConditionalEliminationPhase.State

All Implemented Interfaces:

Cloneable

Enclosing class:

ConditionalEliminationPhase

public static class ConditionalEliminationPhase.State
extends MergeableState<ConditionalEliminationPhase.State>
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
private Map<LogicNode,GuardingNode>	falseConditions
private Set<ValueNode>	knownNonNull
private Set<ValueNode>	knownNull
private Map<ValueNode,ResolvedJavaType>	knownTypes
private Map<LogicNode,GuardingNode>	trueConditions
private Map<ValueNode,ConditionalEliminationPhase.GuardedStamp>	valueConstraints

Constructor Summary

Constructors

Constructor and Description
State()
State(ConditionalEliminationPhase.State other)

Method Summary

Modifier and Type	Method and Description
void	addCondition(boolean isTrue, LogicNode condition, GuardingNode anchor) Adds information about a condition.
void	addNullness(boolean isNull, ValueNode value) Adds information about the nullness of a value.
void	addType(ResolvedJavaType type, ValueNode value)
void	clear()
ConditionalEliminationPhase.State	clone()
ResolvedJavaType	getNodeType(ValueNode node)
boolean	isNonNull(ValueNode value)
boolean	isNull(ValueNode value)
boolean	merge(AbstractMergeNode merge, List<ConditionalEliminationPhase.State> withStates) This method is called on merge on the state of the first branch.

Methods inherited from class com.oracle.graal.phases.graph.MergeableState

afterSplit, loopBegin, loopEnds

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

knownTypes

private Map<ValueNode,ResolvedJavaType> knownTypes

knownNonNull

private Set<ValueNode> knownNonNull

knownNull

private Set<ValueNode> knownNull

trueConditions

private Map<LogicNode,GuardingNode> trueConditions

falseConditions

private Map<LogicNode,GuardingNode> falseConditions

valueConstraints

private Map<ValueNode,ConditionalEliminationPhase.GuardedStamp> valueConstraints

Constructor Detail

State

public State()

State

public State(ConditionalEliminationPhase.State other)

Method Detail

merge

public boolean merge(AbstractMergeNode merge,
                     List<ConditionalEliminationPhase.State> withStates)

Description copied from class: MergeableState

This method is called on merge on the state of the first branch. The withStates list contains the states of the of the other branches in the order of the merge's end nodes.

Specified by:

merge in class MergeableState<ConditionalEliminationPhase.State>

Parameters:

merge - the merge node

withStates - the state at the the merge's end node except the first one.

getNodeType

public ResolvedJavaType getNodeType(ValueNode node)

isNull

public boolean isNull(ValueNode value)

isNonNull

public boolean isNonNull(ValueNode value)

clone

public ConditionalEliminationPhase.State clone()

Specified by:

clone in class MergeableState<ConditionalEliminationPhase.State>

addCondition

public void addCondition(boolean isTrue,
                         LogicNode condition,
                         GuardingNode anchor)

Adds information about a condition. If isTrue is true then the condition is known to hold, otherwise the condition is known not to hold.

addNullness

public void addNullness(boolean isNull,
                        ValueNode value)

Adds information about the nullness of a value. If isNull is true then the value is known to be null, otherwise the value is known to be non-null.

addType

public void addType(ResolvedJavaType type,
                    ValueNode value)

clear

public void clear()