mlir::detail::AliasAnalysisTraits::Concept Class Reference

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.
virtual ModRefResult	getModRef (Operation *op, Value location)=0
	Return the modify-reference behavior of op on location.

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 >.

References lhs, and rhs.

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:

• include/mlir/Analysis/AliasAnalysis.h