org.graalvm.compiler.virtual.phases.ea

Class GraphEffectList

java.lang.Object

org.graalvm.compiler.virtual.phases.ea.EffectList

org.graalvm.compiler.virtual.phases.ea.GraphEffectList

All Implemented Interfaces:

Iterable<EffectList.Effect>

public final class GraphEffectList
extends EffectList

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.virtual.phases.ea.EffectList

EffectList.Effect, EffectList.SimpleEffect

Constructor Summary

Constructors

Constructor and Description
GraphEffectList(DebugContext debug)

Method Summary

Modifier and Type	Method and Description
void	addCounterAfter(String group, String name, int increment, boolean addContext, FixedWithNextNode position)
void	addCounterBefore(String group, String name, int increment, boolean addContext, FixedNode position)
void	addFixedNodeBefore(FixedWithNextNode node, FixedNode position) Adds the given fixed node to the graph's control flow, before position (so that the original predecessor of position will then be node's predecessor).
void	addFloatingNode(ValueNode node, String cause) Add the given floating node to the graph.
void	addVirtualizationDelta(int delta)
void	addVirtualMapping(FrameState node, EscapeObjectState state) Adds a virtual object's state to the given frame state.
void	addWeakCounterCounterBefore(String group, String name, int increment, boolean addContext, ValueNode checkedValue, FixedNode position)
void	clear()
void	deleteNode(Node node) Removes the given fixed node from the control flow and deletes it.
void	ensureAdded(ValueNode node, FixedNode position) Add node to the graph if it is not yet part of the graph.
void	ensureFloatingAdded(ValueNode node) Add node to the graph if it is not yet part of the graph.
int	getVirtualizationDelta()
void	initializePhiInput(PhiNode node, int index, ValueNode value) Sets the phi node's input at the given index to the given value, adding new phi inputs as needed.
void	killIfBranch(IfNode ifNode, boolean constantCondition)
void	replaceAtUsages(ValueNode node, ValueNode replacement, FixedNode insertBefore) Replaces the given node at its usages without deleting it.
void	replaceFirstInput(Node node, Node oldInput, Node newInput) Replaces the first occurrence of oldInput in node with newInput.
void	replaceWithSink(FixedWithNextNode node, ControlSinkNode sink)
void	updateVirtualMapping(VirtualObjectState state, int field, ValueNode newValue) Update a virtual object mapping for the given VirtualObjectState with a new value.

Methods inherited from class org.graalvm.compiler.virtual.phases.ea.EffectList

add, add, addAll, apply, backtrack, checkpoint, get, insertAll, isEmpty, iterator, size, toString

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

GraphEffectList

public GraphEffectList(DebugContext debug)

Method Detail

clear

public void clear()

Overrides:

clear in class EffectList

addCounterBefore

public void addCounterBefore(String group,
                             String name,
                             int increment,
                             boolean addContext,
                             FixedNode position)

addCounterAfter

public void addCounterAfter(String group,
                            String name,
                            int increment,
                            boolean addContext,
                            FixedWithNextNode position)

addWeakCounterCounterBefore

public void addWeakCounterCounterBefore(String group,
                                        String name,
                                        int increment,
                                        boolean addContext,
                                        ValueNode checkedValue,
                                        FixedNode position)

addFixedNodeBefore

public void addFixedNodeBefore(FixedWithNextNode node,
                               FixedNode position)

Adds the given fixed node to the graph's control flow, before position (so that the original predecessor of position will then be node's predecessor). The node must not yet be part of the graph.

Parameters:

node - The fixed node to be added to the graph.

position - The fixed node before which the node should be added.

ensureAdded

public void ensureAdded(ValueNode node,
                        FixedNode position)

Add node to the graph if it is not yet part of the graph. node must be a FixedNode. If it is not yet part of the graph, it is added before position.

Parameters:

node - The fixed node to be added to the graph if not yet present.

position - The fixed node before which the node should be added if not yet present.

addVirtualizationDelta

public void addVirtualizationDelta(int delta)

getVirtualizationDelta

public int getVirtualizationDelta()

addFloatingNode

public void addFloatingNode(ValueNode node,
                            String cause)

Add the given floating node to the graph. The node must not yet be part of the graph.

Parameters:

node - The floating node to be added.

ensureFloatingAdded

public void ensureFloatingAdded(ValueNode node)

Add node to the graph if it is not yet part of the graph. node must be a FloatingNode.

Parameters:

node - The floating node to be added to the graph if not yet present.

initializePhiInput

public void initializePhiInput(PhiNode node,
                               int index,
                               ValueNode value)

Sets the phi node's input at the given index to the given value, adding new phi inputs as needed.

Parameters:

node - The phi node whose input should be changed.

index - The index of the phi input to be changed.

value - The new value for the phi input.

addVirtualMapping

public void addVirtualMapping(FrameState node,
                              EscapeObjectState state)

Adds a virtual object's state to the given frame state. If the given frame state contains the virtual object then old states for this object will be removed.

Parameters:

node - The frame state to which the state should be added.

state - The virtual object state to add.

updateVirtualMapping

public void updateVirtualMapping(VirtualObjectState state,
                                 int field,
                                 ValueNode newValue)

Update a virtual object mapping for the given VirtualObjectState with a new value.

Parameters:

state - The virtual state previously constructed.

field - The field to update its value.

newValue - The new value of the field.

deleteNode

public void deleteNode(Node node)

Removes the given fixed node from the control flow and deletes it.

Parameters:

node - The fixed node that should be deleted.

killIfBranch

public void killIfBranch(IfNode ifNode,
                         boolean constantCondition)

replaceWithSink

public void replaceWithSink(FixedWithNextNode node,
                            ControlSinkNode sink)

replaceAtUsages

public void replaceAtUsages(ValueNode node,
                            ValueNode replacement,
                            FixedNode insertBefore)

Replaces the given node at its usages without deleting it. If the current node is a fixed node it will be disconnected from the control flow, so that it will be deleted by a subsequent DeadCodeEliminationPhase

Parameters:

node - The node to be replaced.

replacement - The node that should replace the original value. If the replacement is a non-connected FixedWithNextNode it will be added to the control flow.

insertBefore -

replaceFirstInput

public void replaceFirstInput(Node node,
                              Node oldInput,
                              Node newInput)

Replaces the first occurrence of oldInput in node with newInput.

Parameters:

node - The node whose input should be changed.

oldInput - The value to look for.

newInput - The value to replace with.