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

Public Attributes

const rvsdg::OutputBasePointer
 
std::optional< int64_t > Offset
 

Detailed Description

Represents the result of tracing a pointer p to some origin, as a traced base pointer value plus an optional byte offset.

If the offset is present, that means p = base pointer + offset

If the offset is not present, that means p = base pointer + [unknown offset]

Definition at line 45 of file LocalAliasAnalysis.cpp.

Member Data Documentation

◆ BasePointer

const rvsdg::Output* jlm::llvm::aa::LocalAliasAnalysis::TracedPointerOrigin::BasePointer

Definition at line 47 of file LocalAliasAnalysis.cpp.

◆ Offset

std::optional<int64_t> jlm::llvm::aa::LocalAliasAnalysis::TracedPointerOrigin::Offset

Definition at line 48 of file LocalAliasAnalysis.cpp.


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