Jlm
Loading...
Searching...
No Matches
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::Graph * AliasingGraph_ = {}
 
std::unordered_map< const rvsdg::LambdaNode *, PrecisionInfo > PerFunctionPrecision
 
std::vector< std::tuple< const rvsdg::Output *, size_t, bool, size_t > > PointerOperations
 

Detailed Description

Definition at line 257 of file AliasAnalysisPrecisionEvaluator.hpp.

Member Data Documentation

◆ AliasingGraph_

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

Definition at line 260 of file AliasAnalysisPrecisionEvaluator.hpp.

◆ PerFunctionPrecision

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

Definition at line 263 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 270 of file AliasAnalysisPrecisionEvaluator.hpp.


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