LLVM  6.0.0svn
Public Member Functions | List of all members
llvm::ScopedNoAliasAAResult Class Reference

A simple AA result which uses scoped-noalias metadata to answer queries. More...

#include "llvm/Analysis/ScopedNoAliasAA.h"

Inheritance diagram for llvm::ScopedNoAliasAAResult:
Inheritance graph
[legend]
Collaboration diagram for llvm::ScopedNoAliasAAResult:
Collaboration graph
[legend]

Public Member Functions

bool invalidate (Function &, const PreservedAnalyses &, FunctionAnalysisManager::Invalidator &)
 Handle invalidation events from the new pass manager. More...
 
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB)
 
ModRefInfo getModRefInfo (ImmutableCallSite CS, const MemoryLocation &Loc)
 
ModRefInfo getModRefInfo (ImmutableCallSite CS1, ImmutableCallSite CS2)
 
- Public Member Functions inherited from llvm::AAResultBase< ScopedNoAliasAAResult >
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB)
 
bool pointsToConstantMemory (const MemoryLocation &Loc, bool OrLocal)
 
ModRefInfo getArgModRefInfo (ImmutableCallSite CS, unsigned ArgIdx)
 
FunctionModRefBehavior getModRefBehavior (ImmutableCallSite CS)
 
FunctionModRefBehavior getModRefBehavior (const Function *F)
 
ModRefInfo getModRefInfo (ImmutableCallSite CS, const MemoryLocation &Loc)
 
ModRefInfo getModRefInfo (ImmutableCallSite CS1, ImmutableCallSite CS2)
 

Additional Inherited Members

- Protected Member Functions inherited from llvm::AAResultBase< ScopedNoAliasAAResult >
 AAResultBase ()=default
 
 AAResultBase (const AAResultBase &Arg)
 
 AAResultBase (AAResultBase &&Arg)
 
AAResultsProxy getBestAAResults ()
 Get a proxy for the best AA result set to query at this time. More...
 

Detailed Description

A simple AA result which uses scoped-noalias metadata to answer queries.

Definition at line 31 of file ScopedNoAliasAA.h.

Member Function Documentation

◆ alias()

AliasResult ScopedNoAliasAAResult::alias ( const MemoryLocation LocA,
const MemoryLocation LocB 
)

◆ getModRefInfo() [1/2]

ModRefInfo ScopedNoAliasAAResult::getModRefInfo ( ImmutableCallSite  CS,
const MemoryLocation Loc 
)

◆ getModRefInfo() [2/2]

ModRefInfo ScopedNoAliasAAResult::getModRefInfo ( ImmutableCallSite  CS1,
ImmutableCallSite  CS2 
)

◆ invalidate()

bool llvm::ScopedNoAliasAAResult::invalidate ( Function ,
const PreservedAnalyses ,
FunctionAnalysisManager::Invalidator  
)
inline

Handle invalidation events from the new pass manager.

By definition, this result is stateless and so remains valid.

Definition at line 38 of file ScopedNoAliasAA.h.

References alias(), getModRefInfo(), and llvm::NoAlias.


The documentation for this class was generated from the following files: