Jlm
Public Attributes | List of all members
jlm::llvm::aa::AliasAnalysisPrecisionEvaluator::Context Struct Reference
Collaboration diagram for jlm::llvm::aa::AliasAnalysisPrecisionEvaluator::Context:
Collaboration graph
[legend]

Public Attributes

util::graph::GraphAliasingGraph_ = {}
 
std::unordered_map< const rvsdg::LambdaNode *, PrecisionInfoPerFunctionPrecision
 
std::vector< std::tuple< const rvsdg::Output *, size_t, bool, size_t > > PointerOperations
 

Detailed Description

Definition at line 262 of file AliasAnalysisPrecisionEvaluator.hpp.

Member Data Documentation

◆ AliasingGraph_

util::graph::Graph* jlm::llvm::aa::AliasAnalysisPrecisionEvaluator::Context::AliasingGraph_ = {}

Definition at line 265 of file AliasAnalysisPrecisionEvaluator.hpp.

◆ PerFunctionPrecision

std::unordered_map<const rvsdg::LambdaNode *, PrecisionInfo> jlm::llvm::aa::AliasAnalysisPrecisionEvaluator::Context::PerFunctionPrecision

Definition at line 268 of file AliasAnalysisPrecisionEvaluator.hpp.

◆ PointerOperations

std::vector<std::tuple<const rvsdg::Output *, size_t, bool, size_t> > jlm::llvm::aa::AliasAnalysisPrecisionEvaluator::Context::PointerOperations

During traversal of the current function, collects relevant operations on pointers. Each operation is represented by a tuple (pointer value, byte size, isClobber, multiplier). The multiplier is used by AggregateDuplicates() to represent duplicates efficiently.

Definition at line 275 of file AliasAnalysisPrecisionEvaluator.hpp.


The documentation for this struct was generated from the following file: