class CFLAndersAAResult::FunctionInfo

Declaration

class CFLAndersAAResult::FunctionInfo { /* full declaration omitted */ };

Declared at: llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp:323

Member Variables

private DenseMap<const llvm::Value*, std::vector<OffsetValue>> AliasMap

Map a value to other values that may alias it Since the alias relation is symmetric, to save some space we assume values are properly ordered: if a and b alias each other, and a < b, then b is in AliasMap[a] but not vice versa.

private DenseMap<const llvm::Value*, llvm::cflaa::AliasAttrs> AttrMap

Map a value to its corresponding AliasAttrs

private llvm::cflaa::AliasSummary Summary

Summary of externally visible effects.

Method Overview

• public FunctionInfo(const llvm::Function &, const SmallVectorImpl<llvm::Value *> &, const (anonymous namespace)::ReachabilitySet &, const (anonymous namespace)::AliasAttrMap &)
• public const llvm::cflaa::AliasSummary & getAliasSummary() const
• private Optional<llvm::cflaa::AliasAttrs> getAttrs(const llvm::Value *) const
• public bool mayAlias(const llvm::Value *, llvm::LocationSize, const llvm::Value *, llvm::LocationSize) const

Methods

¶FunctionInfo(
    const llvm::Function&,
    const SmallVectorImpl<llvm::Value*>&,
    const(anonymous namespace)::ReachabilitySet&,
    const(anonymous namespace)::AliasAttrMap&)

Declared at: llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp:339

Parameters

const llvm::Function&

const SmallVectorImpl<llvm::Value*>&

const(anonymous namespace)::ReachabilitySet&

const(anonymous namespace)::AliasAttrMap&

¶const llvm::cflaa::AliasSummary& getAliasSummary()
    const

Declared at: llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp:343

¶Optional<llvm::cflaa::AliasAttrs> getAttrs(
    const llvm::Value*) const

Declared at: llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp:336

Parameters

const llvm::Value*

¶bool mayAlias(const llvm::Value*,
              llvm::LocationSize,
              const llvm::Value*,
              llvm::LocationSize) const

Declared at: llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp:342

Parameters

const llvm::Value*

llvm::LocationSize

const llvm::Value*

llvm::LocationSize