org.graalvm.compiler.truffle.compiler.phases

Class FrameAccessVerificationPhase

java.lang.Object

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

org.graalvm.compiler.truffle.compiler.phases.FrameAccessVerificationPhase

All Implemented Interfaces:

PhaseSizeContract

public final class FrameAccessVerificationPhase
extends BasePhase<TruffleTierContext>

This phase performs a pass over the control flow graph and checks whether the frame slot tags match at all merges. If they do not match, then a deoptimization is inserted that invalidates the frame intrinsic speculation. This analysis will insert VirtualFrameSetNodes to change the type of uninitialized slots whenever this is necessary to produce matching types at merges.

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
FrameAccessVerificationPhase()

Method Summary

Modifier and Type	Method and Description
protected void	run(StructuredGraph graph, TruffleTierContext context)

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

apply, apply, applyScope, codeSizeIncrease, contractorName, equals, getName, hashCode, 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

FrameAccessVerificationPhase

public FrameAccessVerificationPhase()

Method Detail

run

protected void run(StructuredGraph graph,
                   TruffleTierContext context)

Specified by:

run in class BasePhase<TruffleTierContext>