Package com.tonic.analysis.ssa.ir

Class PhiInstruction

java.lang.Object

com.tonic.analysis.ssa.ir.IRInstruction

com.tonic.analysis.ssa.ir.PhiInstruction

public class PhiInstruction
extends IRInstruction

An SSA phi merging one incoming value per predecessor block.

Constructor Summary

Constructors

Constructor	Description
PhiInstruction(SSAValue result)	Creates a phi with no incoming values yet.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(IRVisitor<T> visitor)	Accepts a visitor for this instruction.
void	addIncoming(Value value, IRBlock fromBlock)	Adds an incoming value from a predecessor block.
Value	getIncoming(IRBlock fromBlock)	Gets the incoming value from a specific predecessor block.
Set<IRBlock>	getIncomingBlocks()	Gets all predecessor blocks with incoming values.
Map<IRBlock,Value>	getIncomingValues()
List<Value>	getOperands()	Gets the operands used by this instruction.
boolean	isPhi()	Checks if this is a phi instruction.
void	removeIncoming(IRBlock fromBlock)	Removes an incoming value from a predecessor block.
void	replaceOperand(Value oldValue, Value newValue)	Replaces an operand value with a new value.
String	toString()

Methods inherited from class com.tonic.analysis.ssa.ir.IRInstruction

copyWithNewOperands, equals, getBlock, getBytecodeOffset, getId, getResult, getResultType, hashCode, hasResult, isTerminator, replaceTarget, resetIdCounter, setBlock, setBytecodeOffset, setResult

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PhiInstruction

public PhiInstruction(SSAValue result)

Creates a phi with no incoming values yet.

Parameters:

result - the SSA value receiving the merged value

Method Detail

getIncomingValues

public Map<IRBlock,Value> getIncomingValues()

Returns:

the incoming values

addIncoming

public void addIncoming(Value value,
                        IRBlock fromBlock)

Adds an incoming value from a predecessor block.

Parameters:

value - the incoming value

fromBlock - the predecessor block

removeIncoming

public void removeIncoming(IRBlock fromBlock)

Removes an incoming value from a predecessor block.

Parameters:

fromBlock - the predecessor block

getIncoming

public Value getIncoming(IRBlock fromBlock)

Gets the incoming value from a specific predecessor block.

Parameters:

fromBlock - the predecessor block

Returns:

the incoming value, or null if not present

getIncomingBlocks

public Set<IRBlock> getIncomingBlocks()

Gets all predecessor blocks with incoming values.

Returns:

set of predecessor blocks

getOperands

public List<Value> getOperands()

Description copied from class: IRInstruction

Gets the operands used by this instruction.

Specified by:

getOperands in class IRInstruction

Returns:

list of operand values

replaceOperand

public void replaceOperand(Value oldValue,
                           Value newValue)

Description copied from class: IRInstruction

Replaces an operand value with a new value.

Specified by:

replaceOperand in class IRInstruction

Parameters:

oldValue - the value to replace

newValue - the replacement value

accept

public <T> T accept(IRVisitor<T> visitor)

Description copied from class: IRInstruction

Accepts a visitor for this instruction.

Specified by:

accept in class IRInstruction

Type Parameters:

T - the return type

Parameters:

visitor - the visitor to accept

Returns:

the visitor result

isPhi

public boolean isPhi()

Description copied from class: IRInstruction

Checks if this is a phi instruction.

Overrides:

isPhi in class IRInstruction

Returns:

true if this is a phi instruction

toString

public String toString()

Overrides:

toString in class Object