class GlobalsAAResult

Declaration

class GlobalsAAResult : public AAResultBase { /* full declaration omitted */ };

Description

An alias analysis result set for globals. This focuses on handling aliasing properties of globals and interprocedural function call mod/ref information.

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:31

Inherits from: AAResultBase

Method Overview

• public GlobalsAAResult(llvm::GlobalsAAResult && Arg)
• public llvm::AliasResult alias(const llvm::MemoryLocation & LocA, const llvm::MemoryLocation & LocB, llvm::AAQueryInfo & AAQI)
• public static llvm::GlobalsAAResult analyzeModule(llvm::Module & M, std::function<const TargetLibraryInfo &(Function &)> GetTLI, llvm::CallGraph & CG)
• public llvm::FunctionModRefBehavior getModRefBehavior(const llvm::Function * F)
• public llvm::FunctionModRefBehavior getModRefBehavior(const llvm::CallBase * Call)
• public llvm::ModRefInfo getModRefInfo(const llvm::CallBase * Call, const llvm::MemoryLocation & Loc, llvm::AAQueryInfo & AAQI)
• public ~GlobalsAAResult()

Methods

¶GlobalsAAResult(llvm::GlobalsAAResult&& Arg)

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:83

Parameters

llvm::GlobalsAAResult&& Arg

¶llvm::AliasResult alias(
    const llvm::MemoryLocation& LocA,
    const llvm::MemoryLocation& LocB,
    llvm::AAQueryInfo& AAQI)

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:94

Parameters

const llvm::MemoryLocation& LocA

const llvm::MemoryLocation& LocB

llvm::AAQueryInfo& AAQI

¶static llvm::GlobalsAAResult analyzeModule(
    llvm::Module& M,
    std::function<const TargetLibraryInfo&(
        Function&)> GetTLI,
    llvm::CallGraph& CG)

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:87

Parameters

llvm::Module& M

std::function<const TargetLibraryInfo&(Function&)> GetTLI

llvm::CallGraph& CG

¶llvm::FunctionModRefBehavior getModRefBehavior(
    const llvm::Function* F)

Description

getModRefBehavior - Return the behavior of the specified function if called from the specified call site. The call site may be null in which case the most generic behavior of this function should be returned.

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:104

Parameters

const llvm::Function* F

¶llvm::FunctionModRefBehavior getModRefBehavior(
    const llvm::CallBase* Call)

Description

getModRefBehavior - Return the behavior of the specified function if called from the specified call site. The call site may be null in which case the most generic behavior of this function should be returned.

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:109

Parameters

const llvm::CallBase* Call

¶llvm::ModRefInfo getModRefInfo(
    const llvm::CallBase* Call,
    const llvm::MemoryLocation& Loc,
    llvm::AAQueryInfo& AAQI)

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:98

Parameters

const llvm::CallBase* Call

const llvm::MemoryLocation& Loc

llvm::AAQueryInfo& AAQI

¶~GlobalsAAResult()

Declared at: llvm/include/llvm/Analysis/GlobalsModRef.h:84