com.oracle.graal.lir.dfa

Class LocationMarker<T extends AbstractBlockBase<T>,S extends ValueSet<S>>

java.lang.Object

com.oracle.graal.lir.dfa.LocationMarker<T,S>

Direct Known Subclasses:

LocationMarkerPhase.Marker, MarkBasePointersPhase.Marker

public abstract class LocationMarker<T extends AbstractBlockBase<T>,S extends ValueSet<S>>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private S	currentSet
(package private) ValueConsumer	defConsumer
protected FrameMap	frameMap
private LIR	lir
private BlockMap<S>	liveInMap
private BlockMap<S>	liveOutMap
private static LIRKind	REFERENCE_KIND
private static EnumSet<LIRInstruction.OperandFlag>	REGISTER_FLAG_SET
(package private) InstructionStateProcedure	stateConsumer
(package private) ValueConsumer	useConsumer

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LocationMarker(LIR lir, FrameMap frameMap)

Method Summary

Modifier and Type	Method and Description
(package private) void	build()
protected abstract S	newLiveValueSet()
private void	processBlock(AbstractBlockBase<T> block, UniqueWorkList<T> worklist)
private void	processInstructionBottomUp(LIRInstruction op) Process all values of an instruction bottom-up, i.e.
protected abstract void	processState(LIRInstruction op, LIRFrameState info, S values)
protected abstract boolean	shouldProcessValue(Value operand)
private boolean	updateOutBlock(AbstractBlockBase<T> block) Merge outSet with in-set of successors.

Methods inherited from class java.lang.Object

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

Field Detail

lir

private final LIR lir

liveInMap

private final BlockMap<S extends ValueSet<S>> liveInMap

liveOutMap

private final BlockMap<S extends ValueSet<S>> liveOutMap

frameMap

protected final FrameMap frameMap

REGISTER_FLAG_SET

private static final EnumSet<LIRInstruction.OperandFlag> REGISTER_FLAG_SET

REFERENCE_KIND

private static final LIRKind REFERENCE_KIND

currentSet

private S extends ValueSet<S> currentSet

stateConsumer

InstructionStateProcedure stateConsumer

useConsumer

ValueConsumer useConsumer

defConsumer

ValueConsumer defConsumer

Constructor Detail

LocationMarker

protected LocationMarker(LIR lir,
                         FrameMap frameMap)

Method Detail

newLiveValueSet

protected abstract S newLiveValueSet()

shouldProcessValue

protected abstract boolean shouldProcessValue(Value operand)

processState

protected abstract void processState(LIRInstruction op,
                                     LIRFrameState info,
                                     S values)

build

void build()

updateOutBlock

private boolean updateOutBlock(AbstractBlockBase<T> block)

Merge outSet with in-set of successors.

processBlock

private void processBlock(AbstractBlockBase<T> block,
                          UniqueWorkList<T> worklist)

processInstructionBottomUp

private void processInstructionBottomUp(LIRInstruction op)

Process all values of an instruction bottom-up, i.e. definitions before usages. Values that start or end at the current operation are not included.