MLIR  19.0.0git
Public Member Functions | List of all members
mlir::detail::AliasAnalysisTraits::Concept Class Referenceabstract

This class represents the Concept of an alias analysis implementation. More...

#include "mlir/Analysis/AliasAnalysis.h"

+ Inheritance diagram for mlir::detail::AliasAnalysisTraits::Concept:

Public Member Functions

virtual ~Concept ()=default
 
virtual AliasResult alias (Value lhs, Value rhs)=0
 Given two values, return their aliasing behavior. More...
 
virtual ModRefResult getModRef (Operation *op, Value location)=0
 Return the modify-reference behavior of op on location. More...
 

Detailed Description

This class represents the Concept of an alias analysis implementation.

It is the abstract base class used by the AliasAnalysis class for querying into derived analysis implementations.

Definition at line 181 of file AliasAnalysis.h.

Constructor & Destructor Documentation

◆ ~Concept()

virtual mlir::detail::AliasAnalysisTraits::Concept::~Concept ( )
virtualdefault

Member Function Documentation

◆ alias()

virtual AliasResult mlir::detail::AliasAnalysisTraits::Concept::alias ( Value  lhs,
Value  rhs 
)
pure virtual

Given two values, return their aliasing behavior.

Implemented in mlir::detail::AliasAnalysisTraits::Model< ImplT >.

◆ getModRef()

virtual ModRefResult mlir::detail::AliasAnalysisTraits::Concept::getModRef ( Operation op,
Value  location 
)
pure virtual

Return the modify-reference behavior of op on location.

Implemented in mlir::detail::AliasAnalysisTraits::Model< ImplT >.


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