package org.graalvm.compiler.lir.alloc.lsra.ssa;
import org.graalvm.compiler.core.common.alloc.RegisterAllocationConfig;
import org.graalvm.compiler.core.common.cfg.AbstractBlockBase;
import org.graalvm.compiler.debug.DebugContext;
import org.graalvm.compiler.lir.alloc.lsra.LinearScan;
import org.graalvm.compiler.lir.alloc.lsra.LinearScanEliminateSpillMovePhase;
import org.graalvm.compiler.lir.alloc.lsra.LinearScanLifetimeAnalysisPhase;
import org.graalvm.compiler.lir.alloc.lsra.LinearScanResolveDataFlowPhase;
import org.graalvm.compiler.lir.alloc.lsra.MoveResolver;
import org.graalvm.compiler.lir.gen.LIRGenerationResult;
import org.graalvm.compiler.lir.gen.LIRGeneratorTool.MoveFactory;
import org.graalvm.compiler.lir.ssa.SSAUtil;
import jdk.vm.ci.code.TargetDescription;
public final class SSALinearScan extends LinearScan {
public SSALinearScan(TargetDescription target, LIRGenerationResult res, MoveFactory spillMoveFactory, RegisterAllocationConfig regAllocConfig, AbstractBlockBase<?>[] sortedBlocks,
boolean neverSpillConstants) {
super(target, res, spillMoveFactory, regAllocConfig, sortedBlocks, neverSpillConstants);
}
@Override
protected MoveResolver createMoveResolver() {
SSAMoveResolver moveResolver = new SSAMoveResolver(this);
assert moveResolver.checkEmpty();
return moveResolver;
}
@Override
protected LinearScanLifetimeAnalysisPhase createLifetimeAnalysisPhase() {
return new SSALinearScanLifetimeAnalysisPhase(this);
}
@Override
protected LinearScanResolveDataFlowPhase createResolveDataFlowPhase() {
return new SSALinearScanResolveDataFlowPhase(this);
}
@Override
protected LinearScanEliminateSpillMovePhase createSpillMoveEliminationPhase() {
return new SSALinearScanEliminateSpillMovePhase(this);
}
@Override
@SuppressWarnings("try")
protected void beforeSpillMoveElimination() {
try (DebugContext.Scope s1 = debug.scope("Remove Phi In")) {
for (AbstractBlockBase<?> toBlock : sortedBlocks()) {
if (toBlock.getPredecessorCount() > 1) {
SSAUtil.removePhiIn(getLIR(), toBlock);
}
}
}
}
}