com.oracle.graal.lir.sparc

Class SPARCControlFlow.CompareBranchOp

java.lang.Object

com.oracle.graal.lir.LIRInstruction

com.oracle.graal.lir.sparc.SPARCLIRInstruction

com.oracle.graal.lir.sparc.SPARCBlockEndOp

com.oracle.graal.lir.sparc.SPARCControlFlow.CompareBranchOp

All Implemented Interfaces:

SPARCDelayedControlTransfer, StandardOp.BlockEndOp

Enclosing class:

SPARCControlFlow

public static final class SPARCControlFlow.CompareBranchOp
extends SPARCBlockEndOp
implements SPARCDelayedControlTransfer

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.lir.sparc.SPARCLIRInstruction

SPARCLIRInstruction.SizeEstimate

Nested classes/interfaces inherited from class com.oracle.graal.lir.LIRInstruction

LIRInstruction.Alive, LIRInstruction.Def, LIRInstruction.OperandFlag, LIRInstruction.OperandMode, LIRInstruction.State, LIRInstruction.Temp, LIRInstruction.Use

Field Summary

Fields

Modifier and Type	Field and Description
private SPARCAssembler.ConditionFlag	conditionFlag
private int	delaySlotPosition
private boolean	emitted
protected LabelRef	falseDestination
protected Assembler.LabelHint	falseDestinationHint
protected Kind	kind
private SPARCCompare	opcode
static SPARCLIRInstruction.SizeEstimate	SIZE
(package private) static EnumSet<Kind>	SUPPORTED_KINDS
protected LabelRef	trueDestination
protected Assembler.LabelHint	trueDestinationHint
private double	trueDestinationProbability
static LIRInstructionClass<SPARCControlFlow.CompareBranchOp>	TYPE
protected boolean	unorderedIsTrue
protected Value	x
protected Value	y

Fields inherited from class com.oracle.graal.lir.sparc.SPARCLIRInstruction

delayedControlTransfer

Fields inherited from class com.oracle.graal.lir.LIRInstruction

ADDRESS_FLAGS, ALLOWED_FLAGS

Fields inherited from interface com.oracle.graal.lir.sparc.SPARCDelayedControlTransfer

DUMMY

Constructor Summary

Constructors

Constructor and Description
CompareBranchOp(SPARCCompare opcode, Value x, Value y, Condition condition, LabelRef trueDestination, LabelRef falseDestination, Kind kind, boolean unorderedIsTrue, double trueDestinationProbability)

Method Summary

Modifier and Type	Method and Description
private boolean	canUseShortBranch(CompilationResultBuilder crb, SPARCAssembler asm, int position)
private static void	emitCBCond(SPARCMacroAssembler masm, Value actualX, Value actualY, Label actualTrueTarget, SPARCAssembler.ConditionFlag conditionFlag)
void	emitCode(CompilationResultBuilder crb, SPARCMacroAssembler masm)
void	emitControlTransfer(CompilationResultBuilder crb, SPARCMacroAssembler masm) This method must be called, to generate the control transfer, but without any Nop in the delay slot.
private boolean	emitShortCompareBranch(CompilationResultBuilder crb, SPARCMacroAssembler masm) Tries to use the emit the compare/branch instruction.
private static int	getTargetPosition(Assembler asm)
private void	requestHints(SPARCMacroAssembler masm)
void	resetState()
void	verify()

Methods inherited from class com.oracle.graal.lir.sparc.SPARCBlockEndOp

addOutgoingValues, clearOutgoingValues, getOutgoingSize, getOutgoingValue, setOutgoingValues

Methods inherited from class com.oracle.graal.lir.sparc.SPARCLIRInstruction

emitCode, estimateSize, leavesRegisterWindow, setDelayedControlTransfer

Methods inherited from class com.oracle.graal.lir.LIRInstruction

destroysCallerSavedRegisters, forEachAlive, forEachAlive, forEachInput, forEachInput, forEachOutput, forEachOutput, forEachRegisterHint, forEachRegisterHint, forEachState, forEachState, forEachState, forEachState, forEachTemp, forEachTemp, getLIRInstructionClass, hasOperands, hasState, id, name, setId, toString, toStringWithIdPrefix, visitEachAlive, visitEachAlive, visitEachInput, visitEachInput, visitEachOutput, visitEachOutput, visitEachState, visitEachState, visitEachTemp, visitEachTemp

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final LIRInstructionClass<SPARCControlFlow.CompareBranchOp> TYPE

SIZE

public static final SPARCLIRInstruction.SizeEstimate SIZE

SUPPORTED_KINDS

static final EnumSet<Kind> SUPPORTED_KINDS

opcode

private final SPARCCompare opcode

x

protected Value x

y

protected Value y

conditionFlag

private SPARCAssembler.ConditionFlag conditionFlag

trueDestination

protected final LabelRef trueDestination

trueDestinationHint

protected Assembler.LabelHint trueDestinationHint

falseDestination

protected final LabelRef falseDestination

falseDestinationHint

protected Assembler.LabelHint falseDestinationHint

kind

protected final Kind kind

unorderedIsTrue

protected final boolean unorderedIsTrue

emitted

private boolean emitted

delaySlotPosition

private int delaySlotPosition

trueDestinationProbability

private double trueDestinationProbability

Constructor Detail

CompareBranchOp

public CompareBranchOp(SPARCCompare opcode,
                       Value x,
                       Value y,
                       Condition condition,
                       LabelRef trueDestination,
                       LabelRef falseDestination,
                       Kind kind,
                       boolean unorderedIsTrue,
                       double trueDestinationProbability)

Method Detail

emitCode

public void emitCode(CompilationResultBuilder crb,
                     SPARCMacroAssembler masm)

Specified by:

emitCode in class SPARCLIRInstruction

getTargetPosition

private static int getTargetPosition(Assembler asm)

emitControlTransfer

public void emitControlTransfer(CompilationResultBuilder crb,
                                SPARCMacroAssembler masm)

Description copied from interface: SPARCDelayedControlTransfer

This method must be called, to generate the control transfer, but without any Nop in the delay slot.

Specified by:

emitControlTransfer in interface SPARCDelayedControlTransfer

requestHints

private void requestHints(SPARCMacroAssembler masm)

emitShortCompareBranch

private boolean emitShortCompareBranch(CompilationResultBuilder crb,
                                       SPARCMacroAssembler masm)

Tries to use the emit the compare/branch instruction.

CBcond has follwing limitations

• Immediate field is only 5 bit and is on the right
• Jump offset is maximum of -+512 instruction

  We get from outside

  • at least one of trueDestination falseDestination is within reach of +-512 instructions
  • two registers OR one register and a constant which fits simm13

    We do:

    • find out which target needs to be branched conditionally
    • find out if fall-through is possible, if not, a unconditional branch is needed after cbcond (needJump=true)
    • if no fall through: we need to put the closer jump into the cbcond branch and the farther into the jmp (unconditional branch)
    • if constant on the left side, mirror to be on the right
    • if constant on right does not fit into simm5, put it into a scratch register

Parameters:

crb -

masm -

Returns:

true if the branch could be emitted

emitCBCond

private static void emitCBCond(SPARCMacroAssembler masm,
                               Value actualX,
                               Value actualY,
                               Label actualTrueTarget,
                               SPARCAssembler.ConditionFlag conditionFlag)

canUseShortBranch

private boolean canUseShortBranch(CompilationResultBuilder crb,
                                  SPARCAssembler asm,
                                  int position)

resetState

public void resetState()

Specified by:

resetState in interface SPARCDelayedControlTransfer

verify

public void verify()

Overrides:

verify in class LIRInstruction