class AssumptionCacheTracker

Declaration

class AssumptionCacheTracker : public ImmutablePass { /* full declaration omitted */ };

Description

An immutable pass that tracks lazily created \c AssumptionCache objects. 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.

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:185

Inherits from: ImmutablePass

Member Variables

public static char ID

Method Overview

• public AssumptionCacheTracker()
• public bool doFinalization(llvm::Module &)
• public llvm::AssumptionCache & getAssumptionCache(llvm::Function & F)
• public llvm::AssumptionCache * lookupAssumptionCache(llvm::Function & F)
• public void releaseMemory()
• public void verifyAnalysis() const
• public ~AssumptionCacheTracker()

Inherited from ImmutablePass:

• public getAsImmutablePass
• public initializePass
• public runOnModule

Inherited from ModulePass:

• public assignPassManager
• public createPrinterPass
• public getPotentialPassManagerType
• public runOnModule
• protected skipModule

Inherited from Pass:

• public assignPassManager
• public createPass
• public createPrinterPass
• public doFinalization
• public doInitialization
• public dump
• public dumpPassStructure
• public getAdjustedAnalysisPointer
• public getAnalysis
• public getAnalysis
• public getAnalysisID
• public getAnalysisID
• public getAnalysisIfAvailable
• public getAnalysisUsage
• public getAsImmutablePass
• public getAsPMDataManager
• public getPassID
• public getPassKind
• public getPassName
• public getPotentialPassManagerType
• public getResolver
• public lookupPassInfo
• public lookupPassInfo
• public mustPreserveAnalysisID
• public preparePassManager
• public print
• public releaseMemory
• public setResolver
• public verifyAnalysis

Methods

¶AssumptionCacheTracker()

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:219

¶bool doFinalization(llvm::Module&)

Description

doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run.

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:229

Parameters

llvm::Module&

¶llvm::AssumptionCache& getAssumptionCache(
    llvm::Function& F)

Description

Get the cached assumptions for a function. If no assumptions are cached, this will scan the function. Otherwise, the existing cache will be returned.

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:213

Parameters

llvm::Function& F

¶llvm::AssumptionCache* lookupAssumptionCache(
    llvm::Function& F)

Description

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

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:217

Parameters

llvm::Function& F

¶void releaseMemory()

Description

releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed. The default behavior of passes is to hold onto memory for the entire duration of their lifetime (which is the entire compile time). For pipelined passes, this is not a big deal because that memory gets recycled every time the pass is invoked on another program unit. For IP passes, it is more important to free memory when it is unused. Optionally implement this function to release pass memory when it is no longer used.

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:222

¶void verifyAnalysis() const

Description

verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information.

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:227

¶~AssumptionCacheTracker()

Declared at: llvm/include/llvm/Analysis/AssumptionCache.h:220