JRuby Base 10.0.0.0 · org.jruby.ir.instructions.Instr

Modifier and Type	Field and Description
private static final ClassValue<Field[]>	dumpableFields A ClassValue wrapping an array of dumpable Field references for a given Instr type.
private static final Field[]	EMPTY_FIELD_ARRAY
public static final Operand[]	EMPTY_OPERANDS
private boolean	isDead
private final transient Operation	operation

Access	Constructor and Description
public	Instr(Operation operation)

Method Summary

Modifier and Type	Method and Description
public boolean	canBeDeletedFromScope(FullInterpreterContext fic)
public boolean	canRaiseException()
public abstract Instr	Returns: a new instruction that can be used in the target scope. clone(CloneInfo This object manages renaming of variables and labels, handles args and return values. info) Clone the instruction for use in an inlining context (either when a scope is inlined into another scope, or when a block has to be cloned because its associated call belongs to an inlined scope).
public Operand[]	cloneOperands(CloneInfo info)
public boolean	Returns: true if it modified the scope or set any flags. computeScopeFlags(IRScope scope, EnumSet<IRFlags> flags) Does this instruction do anything the scope is interested in?
public Field[]	dumpableFields()
public void	encode(IRWriterEncoder e)
public abstract Operand[]	getOperands()
public Operation	getOperation()
public List<Variable>	getUsedVariables()
public boolean	hasSideEffects()
public Object	interpret(ThreadContext context, StaticScope currScope, DynamicScope currDynScope, IRubyObject self, Object[] temp)
public int	interpretAndGetNewIPC(ThreadContext context, DynamicScope currDynScope, StaticScope currScope, IRubyObject self, Object[] temp, int ipc)
public boolean	isDead()
public boolean	isDeletable() Can this instruction be deleted?
public void	markDead()
public void	renameVars(Map<Operand, Operand> renameMap)
public abstract void	setOperand(int i, Operand operand)
public Instr	simplifyInstr(IRManager manager)
protected void	simplifyOperands(Map<Operand, Operand> valueMap, boolean force) This method takes as input a map of operands to their values, and outputs If the value map provides a value for any of the instruction's operands this method is expected to replace the original operands with the simplified values.
public Operand	Returns: simplified result / output of this instruction simplifyOperands(IRScope where this instr exists scope, Map<Operand, Operand> Mapping from operands to their simplified values valueMap) This method takes as input a map of operands to their values, and outputs the result of this instruction.
private StringBuilder	toArgList(StringBuilder buf, Object[] args)
public String	Returns: a String toString() Overrides java.lang.Object.toString. Instructions are meant to be in a machine-readable format so offline tooling can parse the debugging output.
public String[]	toStringNonOperandArgs()
public boolean	transfersControl()
public void	visit(IRVisitor visitor)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll wait wait wait

dumpableFields	back to summary
private static final ClassValue<Field[]> dumpableFields A ClassValue wrapping an array of dumpable Field references for a given Instr type.

EMPTY_FIELD_ARRAY	back to summary
private static final Field[] EMPTY_FIELD_ARRAY

EMPTY_OPERANDS	back to summary
public static final Operand[] EMPTY_OPERANDS

isDead	back to summary
private boolean isDead

operation	back to summary
private final transient Operation operation

Instr	back to summary
public Instr(Operation operation)

Method Detail

canBeDeletedFromScope	back to summary
public boolean canBeDeletedFromScope(FullInterpreterContext fic)

canRaiseException	back to summary
public boolean canRaiseException()

clone	back to summary
public abstract Instr clone(CloneInfo info) Clone the instruction for use in an inlining context (either when a scope is inlined into another scope, or when a block has to be cloned because its associated call belongs to an inlined scope). This might renaming variables and labels to eliminate naming conflicts. The implementation might vary on the cloning mode. Parameters info:CloneInfo This object manages renaming of variables and labels, handles args and return values. Returns:Instr a new instruction that can be used in the target scope.

clone

back to summary

public abstract Instr clone(CloneInfo info)

Clone the instruction for use in an inlining context (either when a scope is inlined into another scope, or when a block has to be cloned because its associated call belongs to an inlined scope). This might renaming variables and labels to eliminate naming conflicts. The implementation might vary on the cloning mode.

Parameters

info:CloneInfo: This object manages renaming of variables and labels, handles args and return values.

Returns:Instr

a new instruction that can be used in the target scope.

cloneOperands	back to summary
public Operand[] cloneOperands(CloneInfo info)

computeScopeFlags	back to summary
public boolean computeScopeFlags(IRScope scope, EnumSet<IRFlags> flags) Does this instruction do anything the scope is interested in? Returns:boolean true if it modified the scope or set any flags.

computeScopeFlags

back to summary

public boolean computeScopeFlags(IRScope scope, EnumSet<IRFlags> flags)

Does this instruction do anything the scope is interested in?

Returns:boolean: true if it modified the scope or set any flags.

dumpableFields	back to summary
public Field[] dumpableFields()

encode	back to summary
public void encode(IRWriterEncoder e)

getOperands	back to summary
public abstract Operand[] getOperands()

getOperation	back to summary
public Operation getOperation() Annotations @Interp

getUsedVariables	back to summary
public List<Variable> getUsedVariables()

hasSideEffects	back to summary
public boolean hasSideEffects()

interpret	back to summary
public Object interpret(ThreadContext context, StaticScope currScope, DynamicScope currDynScope, IRubyObject self, Object[] temp) Annotations @Interp

interpretAndGetNewIPC	back to summary
public int interpretAndGetNewIPC(ThreadContext context, DynamicScope currDynScope, StaticScope currScope, IRubyObject self, Object[] temp, int ipc) Annotations @Interp

isDead	back to summary
public boolean isDead() Annotations @Interp

isDeletable	back to summary
public boolean isDeletable() Can this instruction be deleted? LVA will preserve instructions based on whether operands (variables) are living but even if there are no living variables then the instruction itself may not be able to be removed during DCE for other reasons (like if it unconditionally has a side-effect)

markDead	back to summary
public void markDead()

renameVars	back to summary
public void renameVars(Map<Operand, Operand> renameMap)

setOperand	back to summary
public abstract void setOperand(int i, Operand operand)

simplifyInstr	back to summary
public Instr simplifyInstr(IRManager manager)

simplifyOperands	back to summary
protected void simplifyOperands(Map<Operand, Operand> valueMap, boolean force) This method takes as input a map of operands to their values, and outputs If the value map provides a value for any of the instruction's operands this method is expected to replace the original operands with the simplified values. It is not required that it do so -- code correctness is not compromised by failure to simplify

simplifyOperands

back to summary

protected void simplifyOperands(Map<Operand, Operand> valueMap, boolean force)

This method takes as input a map of operands to their values, and outputs If the value map provides a value for any of the instruction's operands this method is expected to replace the original operands with the simplified values. It is not required that it do so -- code correctness is not compromised by failure to simplify

simplifyOperands	back to summary
public Operand simplifyOperands(IRScope scope, Map<Operand, Operand> valueMap) This method takes as input a map of operands to their values, and outputs the result of this instruction. If the value map provides a value for any of the instruction's operands the expectation is that the operand will be replaced with the simplified value. It is not required that it do so -- code correctness is not compromised by failure to simplify. Parameters scope:IRScope where this instr exists valueMap:Map<Operand, Operand> Mapping from operands to their simplified values Returns:Operand simplified result / output of this instruction

simplifyOperands

back to summary

public Operand simplifyOperands(IRScope scope, Map<Operand, Operand> valueMap)

This method takes as input a map of operands to their values, and outputs the result of this instruction. If the value map provides a value for any of the instruction's operands the expectation is that the operand will be replaced with the simplified value. It is not required that it do so -- code correctness is not compromised by failure to simplify.

Parameters

scope:IRScope: where this instr exists
valueMap:Map<Operand, Operand>: Mapping from operands to their simplified values

Returns:Operand

simplified result / output of this instruction

toArgList	back to summary
private StringBuilder toArgList(StringBuilder buf, Object[] args)

toString	back to summary
public String toString() Overrides java.lang.Object.toString. Instructions are meant to be in a machine-readable format so offline tooling can parse the debugging output. The format is: (result_op '=')? instr '(' (operand ',' )* operand? ';' (extra_arg ',')* extra_arg? ')' extra_arg can either be plain value or in a key: value format. Returns:String a String Annotations @Override

toString

back to summary

public String toString()

Overrides java.lang.Object.toString.

Instructions are meant to be in a machine-readable format so offline tooling can parse the debugging output. The format is: (result_op '=')? instr '(' (operand ',' )* operand? ';' (extra_arg ',')* extra_arg? ')' extra_arg can either be plain value or in a key: value format.

Returns:String

a String

Annotations

@Override

toStringNonOperandArgs	back to summary
public String[] toStringNonOperandArgs()

transfersControl	back to summary
public boolean transfersControl()

visit	back to summary
public void visit(IRVisitor visitor)

public abstract Class Instr

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail