org.jruby.ir.instructions

Class ModuleVersionGuardInstr

java.lang.Object

org.jruby.ir.instructions.Instr

org.jruby.ir.instructions.ModuleVersionGuardInstr

public class ModuleVersionGuardInstr
extends Instr

This instruction will be generated whenever speculative optimizations are performed based on assuming that an object's metaclass is C (as determined by the version number of C -- where the version number changes every time C's class structure changes).

Field Summary

Fields

Modifier and Type	Field and Description
private Operand	candidateObj The object whose metaclass token has to be verified
private int	expectedVersion The token value that has been assumed
private Label	failurePathLabel Where to jump if the version assumption fails?
private RubyModule	module The module whose version we are testing

Fields inherited from class org.jruby.ir.instructions.Instr

EMPTY_OPERANDS

Constructor Summary

Constructors

Constructor and Description
ModuleVersionGuardInstr(RubyModule module, int expectedVersion, Operand candidateObj, Label failurePathLabel)

Method Summary

Modifier and Type	Method and Description
Instr	cloneForBlockCloning(InlinerInfo ii) Clone the instruction so it can be used in a cloned block which is present in a scope that itself or an ancestor scope (in the case of nested blocks) is being inlined.
Instr	cloneForInlinedScope(InlinerInfo ii) Clone the instruction (present in a method/closure) so it can be inlined into another scope.
Label	getFailurePathLabel()
Operand[]	getOperands()
int	interpretAndGetNewIPC(ThreadContext context, DynamicScope currDynScope, IRubyObject self, java.lang.Object[] temp, int ipc)
void	simplifyOperands(java.util.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.
java.lang.String	toString()
private boolean	versionMatches(ThreadContext context, DynamicScope currDynScope, IRubyObject self, java.lang.Object[] temp)
void	visit(IRVisitor visitor)

Methods inherited from class org.jruby.ir.instructions.Instr

canBeDeleted, canRaiseException, cloneForInlinedClosure, cloneForInlining, getOperation, getUsedVariables, hasSideEffects, hasUnusedResult, interpret, isDead, markDead, markUnusedResult, renameVars, simplifyAndGetResult, transfersControl

Methods inherited from class java.lang.Object

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

Field Detail

expectedVersion

private final int expectedVersion

The token value that has been assumed

module

private final RubyModule module

The module whose version we are testing

candidateObj

private Operand candidateObj

The object whose metaclass token has to be verified

failurePathLabel

private Label failurePathLabel

Where to jump if the version assumption fails?

Constructor Detail

ModuleVersionGuardInstr

public ModuleVersionGuardInstr(RubyModule module,
                               int expectedVersion,
                               Operand candidateObj,
                               Label failurePathLabel)

Method Detail

getFailurePathLabel

public Label getFailurePathLabel()

getOperands

public Operand[] getOperands()

Specified by:

getOperands in class Instr

simplifyOperands

public void simplifyOperands(java.util.Map<Operand,Operand> valueMap,
                             boolean force)

Description copied from class: Instr

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

Overrides:

simplifyOperands in class Instr

toString

public java.lang.String toString()

Overrides:

toString in class Instr

cloneForInlinedScope

public Instr cloneForInlinedScope(InlinerInfo ii)

Description copied from class: Instr

Clone the instruction (present in a method/closure) so it can be inlined into another scope. This requires renaming variables and labels to eliminate naming conflicts.

Overrides:

cloneForInlinedScope in class Instr

Returns:

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

cloneForBlockCloning

public Instr cloneForBlockCloning(InlinerInfo ii)

Description copied from class: Instr

Clone the instruction so it can be used in a cloned block which is present in a scope that itself or an ancestor scope (in the case of nested blocks) is being inlined. This requires renaming variables to eliminate naming conflicts. Labels need not be renamed.

Overrides:

cloneForBlockCloning in class Instr

Returns:

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

versionMatches

private boolean versionMatches(ThreadContext context,
                               DynamicScope currDynScope,
                               IRubyObject self,
                               java.lang.Object[] temp)

interpretAndGetNewIPC

public int interpretAndGetNewIPC(ThreadContext context,
                                 DynamicScope currDynScope,
                                 IRubyObject self,
                                 java.lang.Object[] temp,
                                 int ipc)

Overrides:

interpretAndGetNewIPC in class Instr

visit

public void visit(IRVisitor visitor)

Overrides:

visit in class Instr