org.graalvm.compiler.phases.common

Class UseTrappingOperationPhase

java.lang.Object

org.graalvm.compiler.phases.BasePhase<LowTierContext>

org.graalvm.compiler.phases.common.UseTrappingOperationPhase

All Implemented Interfaces:

PhaseSizeContract

Direct Known Subclasses:

UseTrappingNullChecksPhase

public abstract class UseTrappingOperationPhase
extends BasePhase<LowTierContext>

Abstract base class for phases that try to fold guards (in the form of fixed IfNode) into fixed DeoptimizingFixedWithNextNode that use implicit expections.

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.phases.BasePhase

BasePhase.ApplyScope, BasePhase.BasePhaseStatistics, BasePhase.PhaseOptions, BasePhase.SharedGlobalPhaseState

Constructor Summary

Constructors

Constructor and Description
UseTrappingOperationPhase()

Method Summary

Modifier and Type	Method and Description
abstract void	actionBeforeGuardRewrite(DeoptimizingFixedWithNextNode trappingVersionNode)
abstract boolean	canReplaceCondition(LogicNode condition, IfNode ifNode)
protected void	checkPredecessor(AbstractDeoptimizeNode deopt, Node predecessor, JavaConstant deoptReasonAndAction, JavaConstant deoptSpeculation, LowTierContext context)
abstract DeoptimizingFixedWithNextNode	createImplicitNode(StructuredGraph graph, LogicNode condition, JavaConstant deoptReasonAndAction, JavaConstant deoptSpeculation)
abstract void	finalAction(DeoptimizingFixedWithNextNode trappingVersionNode, LogicNode condition)
abstract boolean	isSupportedReason(DeoptimizationReason reason)
protected void	replaceWithTrappingVersion(AbstractDeoptimizeNode deopt, IfNode ifNode, LogicNode condition, JavaConstant deoptReasonAndAction, JavaConstant deoptSpeculation, LowTierContext context)
abstract boolean	trueSuccessorIsDeopt()
abstract DeoptimizingFixedWithNextNode	tryReplaceExisting(StructuredGraph graph, AbstractBeginNode nonTrappingContinuation, AbstractBeginNode trappingContinuation, LogicNode condition, IfNode ifNode, AbstractDeoptimizeNode deopt, JavaConstant deoptReasonAndAction, JavaConstant deoptSpeculation, LowTierContext context)
protected void	tryUseTrappingVersion(AbstractDeoptimizeNode deopt, Node predecessor, DeoptimizationReason deoptimizationReason, Speculation speculation, JavaConstant deoptReasonAndAction, JavaConstant deoptSpeculation, LowTierContext context)
protected void	tryUseTrappingVersion(MetaAccessProvider metaAccessProvider, DynamicDeoptimizeNode deopt, LowTierContext context)
abstract boolean	useAddressOptimization(AddressNode adr, LowTierContext context)

Methods inherited from class org.graalvm.compiler.phases.BasePhase

apply, apply, applyScope, codeSizeIncrease, contractorName, equals, getName, hashCode, run, shouldDumpAfterAtBasicLevel, shouldDumpBeforeAtBasicLevel

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.phases.contract.PhaseSizeContract

checkContract

Constructor Detail

UseTrappingOperationPhase

public UseTrappingOperationPhase()

Method Detail

isSupportedReason

public abstract boolean isSupportedReason(DeoptimizationReason reason)

canReplaceCondition

public abstract boolean canReplaceCondition(LogicNode condition,
                                            IfNode ifNode)

useAddressOptimization

public abstract boolean useAddressOptimization(AddressNode adr,
                                               LowTierContext context)

tryReplaceExisting

public abstract DeoptimizingFixedWithNextNode tryReplaceExisting(StructuredGraph graph,
                                                                 AbstractBeginNode nonTrappingContinuation,
                                                                 AbstractBeginNode trappingContinuation,
                                                                 LogicNode condition,
                                                                 IfNode ifNode,
                                                                 AbstractDeoptimizeNode deopt,
                                                                 JavaConstant deoptReasonAndAction,
                                                                 JavaConstant deoptSpeculation,
                                                                 LowTierContext context)

createImplicitNode

public abstract DeoptimizingFixedWithNextNode createImplicitNode(StructuredGraph graph,
                                                                 LogicNode condition,
                                                                 JavaConstant deoptReasonAndAction,
                                                                 JavaConstant deoptSpeculation)

trueSuccessorIsDeopt

public abstract boolean trueSuccessorIsDeopt()

finalAction

public abstract void finalAction(DeoptimizingFixedWithNextNode trappingVersionNode,
                                 LogicNode condition)

actionBeforeGuardRewrite

public abstract void actionBeforeGuardRewrite(DeoptimizingFixedWithNextNode trappingVersionNode)

tryUseTrappingVersion

protected void tryUseTrappingVersion(MetaAccessProvider metaAccessProvider,
                                     DynamicDeoptimizeNode deopt,
                                     LowTierContext context)

tryUseTrappingVersion

protected void tryUseTrappingVersion(AbstractDeoptimizeNode deopt,
                                     Node predecessor,
                                     DeoptimizationReason deoptimizationReason,
                                     Speculation speculation,
                                     JavaConstant deoptReasonAndAction,
                                     JavaConstant deoptSpeculation,
                                     LowTierContext context)

checkPredecessor

protected void checkPredecessor(AbstractDeoptimizeNode deopt,
                                Node predecessor,
                                JavaConstant deoptReasonAndAction,
                                JavaConstant deoptSpeculation,
                                LowTierContext context)

replaceWithTrappingVersion

protected void replaceWithTrappingVersion(AbstractDeoptimizeNode deopt,
                                          IfNode ifNode,
                                          LogicNode condition,
                                          JavaConstant deoptReasonAndAction,
                                          JavaConstant deoptSpeculation,
                                          LowTierContext context)