class DevirtSCCRepeatedPass

Declaration

template <typename PassT>
class DevirtSCCRepeatedPass { /* full declaration omitted */ };

Description

A helper that repeats an SCC pass each time an indirect call is refined to a direct call by that pass. While the CGSCC pass manager works to re-visit SCCs and RefSCCs as they change shape, we may also want to repeat an SCC pass if it simply refines an indirect call to a direct call, even if doing so does not alter the shape of the graph. Note that this only pertains to direct calls to functions where IPO across the SCC may be able to compute more precise results. For intrinsics, we assume scalar optimizations already can fully reason about them. This repetition has the potential to be very large however, as each one might refine a single call site. As a consequence, in practice we use an upper bound on the number of repetitions to limit things.

Declared at: llvm/include/llvm/Analysis/CGSCCPassManager.h:553

Templates

PassT

Method Overview

• public DevirtSCCRepeatedPass<PassT>(PassT Pass, int MaxIterations)
• public llvm::PreservedAnalyses run(LazyCallGraph::SCC & InitialC, llvm::CGSCCAnalysisManager & AM, llvm::LazyCallGraph & CG, llvm::CGSCCUpdateResult & UR)

Methods

¶DevirtSCCRepeatedPass<PassT>(PassT Pass,
                             int MaxIterations)

Declared at: llvm/include/llvm/Analysis/CGSCCPassManager.h:556

Parameters

PassT Pass

int MaxIterations

¶llvm::PreservedAnalyses run(
    LazyCallGraph::SCC& InitialC,
    llvm::CGSCCAnalysisManager& AM,
    llvm::LazyCallGraph& CG,
    llvm::CGSCCUpdateResult& UR)

Description

Runs the wrapped pass up to \c MaxIterations on the SCC, iterating whenever an indirect call is refined.

Declared at: llvm/include/llvm/Analysis/CGSCCPassManager.h:561

Parameters

LazyCallGraph::SCC& InitialC

llvm::CGSCCAnalysisManager& AM

llvm::LazyCallGraph& CG

llvm::CGSCCUpdateResult& UR