MLIR  19.0.0git
Public Member Functions | List of all members
mlir::detail::AliasAnalysisTraits::Model< ImplT > Class Template Referencefinal

This class represents the Model of an alias analysis implementation ImplT. More...

#include "mlir/Analysis/AliasAnalysis.h"

+ Inheritance diagram for mlir::detail::AliasAnalysisTraits::Model< ImplT >:

Public Member Functions

 Model (ImplT &&impl)
 
 ~Model () override=default
 
AliasResult alias (Value lhs, Value rhs) final
 Given two values, return their aliasing behavior. More...
 
ModRefResult getModRef (Operation *op, Value location) final
 Return the modify-reference behavior of op on location. More...
 
- Public Member Functions inherited from mlir::detail::AliasAnalysisTraits::Concept
virtual ~Concept ()=default
 

Detailed Description

template<typename ImplT>
class mlir::detail::AliasAnalysisTraits::Model< ImplT >

This class represents the Model of an alias analysis implementation ImplT.

A model is instantiated for each alias analysis implementation to implement the Concept without the need for the derived implementation to inherit from the Concept class.

Definition at line 197 of file AliasAnalysis.h.

Constructor & Destructor Documentation

◆ Model()

template<typename ImplT >
mlir::detail::AliasAnalysisTraits::Model< ImplT >::Model ( ImplT &&  impl)
inlineexplicit

Definition at line 199 of file AliasAnalysis.h.

◆ ~Model()

template<typename ImplT >
mlir::detail::AliasAnalysisTraits::Model< ImplT >::~Model ( )
overridedefault

Member Function Documentation

◆ alias()

template<typename ImplT >
AliasResult mlir::detail::AliasAnalysisTraits::Model< ImplT >::alias ( Value  lhs,
Value  rhs 
)
inlinefinalvirtual

Given two values, return their aliasing behavior.

Implements mlir::detail::AliasAnalysisTraits::Concept.

Definition at line 203 of file AliasAnalysis.h.

◆ getModRef()

template<typename ImplT >
ModRefResult mlir::detail::AliasAnalysisTraits::Model< ImplT >::getModRef ( Operation op,
Value  location 
)
inlinefinalvirtual

Return the modify-reference behavior of op on location.

Implements mlir::detail::AliasAnalysisTraits::Concept.

Definition at line 208 of file AliasAnalysis.h.


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