class PreservedAnalyses::PreservedAnalysisChecker

Declaration

class PreservedAnalyses::PreservedAnalysisChecker { /* full declaration omitted */ };

Description

A checker object that makes it easy to query for whether an analysis or some set covering it is preserved.

Declared at: llvm/include/llvm/IR/PassManager.h:266

Member Variables

private const llvm::PreservedAnalyses& PA

private llvm::AnalysisKey* const ID

private const bool IsAbandoned

Method Overview

• private PreservedAnalysisChecker(const llvm::PreservedAnalyses & PA, llvm::AnalysisKey * ID)
• public bool preserved()
• public template <typename AnalysisSetT>bool preservedSet()
• public bool preservedWhenStateless()

Methods

¶PreservedAnalysisChecker(
    const llvm::PreservedAnalyses& PA,
    llvm::AnalysisKey* ID)

Description

A PreservedAnalysisChecker is tied to a particular Analysis because `preserved()` and `preservedSet()` both return false if the Analysis was abandoned.

Declared at: llvm/include/llvm/IR/PassManager.h:276

Parameters

const llvm::PreservedAnalyses& PA

llvm::AnalysisKey* ID

¶bool preserved()

Description

Returns true if the checker's analysis was not abandoned and either - the analysis is explicitly preserved or - all analyses are preserved.

Declared at: llvm/include/llvm/IR/PassManager.h:283

¶template <typename AnalysisSetT>
bool preservedSet()

Description

Returns true if the checker's analysis was not abandoned and either - \p AnalysisSetT is explicitly preserved or - all analyses are preserved.

Declared at: llvm/include/llvm/IR/PassManager.h:298

Templates

AnalysisSetT

¶bool preservedWhenStateless()

Description

Return true if the checker's analysis was not abandoned, i.e. it was not explicitly invalidated. Even if the analysis is not explicitly preserved, if the analysis is known stateless, then it is preserved.

Declared at: llvm/include/llvm/IR/PassManager.h:291