An immutable pass that tracks lazily created AssumptionCache objects.

Synopsis

Declared in <llvm/Analysis/AssumptionCache.h>

class AssumptionCacheTracker
    : public ImmutablePass

Description

This is essentially a workaround for the legacy pass manager's weaknesses which associates each assumption cache with Function and clears it if the function is deleted. The nature of the AssumptionCache is that it is not invalidated by any changes to the function body and so this is sufficient to be conservatively correct.

Base Classes

Name

Description

ImmutablePass

ImmutablePass class ‐ This class is used to provide information that does not need to be run. This is useful for things like target information.

Member Functions

Name

Description

AssumptionCacheTracker [constructor]

Construct an AssumptionCacheTracker pass.

~AssumptionCacheTracker [destructor] [virtual]

Destroy this AssumptionCacheTracker and its cached data.

operator= [deleted]

Passes are not assignable.

assignPassManager

assignPassManager overloads

createPrinterPass [virtual]

createPrinterPass ‐ Get a module printer pass.

doFinalization [virtual]

Finalize the pass for module M by verifying analysis state.

doInitialization [virtual]

Perform any initialization needed before any pass is run.

dump

Print this pass's state to stderr for debugging.

dumpPassStructure [virtual]

Print the pass nesting structure for ‐debug‐passes=PassStructure.

getAnalysis

getAnalysis overloads

getAnalysisID

getAnalysisID overloads

getAnalysisIfAvailable

Get an optional analysis result that may already be available.

getAnalysisUsage [virtual]

Declare which analyses this pass requires and preserves.

getAsImmutablePass [virtual]

Return this pass as an ImmutablePass.

getAsPMDataManager [virtual]

Return this pass as a PMDataManager when it is a nested pass manager.

getAssumptionCache

Get the cached assumptions for a function.

getPassArgument

Return a nice clean name for a pass corresponding to that used to enable the pass in opt.

getPassID

getPassID ‐ Return the PassID number that corresponds to this pass.

getPassKind

Return the kind of pass (module, function, loop, etc.).

getPassName [virtual]

Return a human‐readable name for this pass.

getPotentialPassManagerType [virtual]

Return what kind of Pass Manager can manage this pass.

getResolver

Return the analysis resolver installed for this pass.

initializePass [virtual]

Perform initialization for this immutable pass.

lookupAssumptionCache

Return the cached assumptions for a function if it has already been scanned. Otherwise return nullptr.

mustPreserveAnalysisID

Report whether the analysis identified by AID must be preserved.

preparePassManager [virtual]

Check whether available pass managers are suitable for this pass.

print [virtual]

Print the internal state of this pass for analysis dumping.

releaseMemory [virtual]

Release all cached AssumptionCache objects.

runOnModule [virtual]

ImmutablePasses are never run.

setResolver

Install the analysis resolver used to satisfy this pass's dependencies.

verifyAnalysis [virtual]

Verify the integrity of cached assumption data.

Static Member Functions

Name

Description

createPass

Construct a new instance of the pass identified by ID.

lookupPassInfo

lookupPassInfo overloads

Static Data Members

Name

Description

ID

Pass identification, replacement for typeid.

Protected Member Functions

Name

Description

skipModule

Optional passes call this function to check whether the pass should be skipped. This is the case when optimization bisect is over the limit.

Friends

Name

Description

llvm::AssumptionCacheTracker::FunctionCallbackVH

Non-Member Functions

Name

Description

getBestSimplifyQuery

Build a SimplifyQuery from analyses currently valid in a pass.

getPassTimer

Request the timer for this legacy‐pass‐manager's pass instance.

isBitcodeWriterPass

Check whether a pass is a BitcodeWriterPass.

isIRPrintingPass

Return true if a pass is for IR printing.

Created with MrDocs