MLIR  19.0.0git
Public Member Functions | Protected Member Functions | List of all members
mlir::LocalAliasAnalysis Class Reference

This class implements a local form of alias analysis that tries to identify the underlying values addressed by each value and performs a few basic checks to see if they alias. More...

#include "mlir/Analysis/AliasAnalysis/LocalAliasAnalysis.h"

Public Member Functions

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

Protected Member Functions

virtual AliasResult aliasImpl (Value lhs, Value rhs)
 Given the two values, return their aliasing behavior. More...
 

Detailed Description

This class implements a local form of alias analysis that tries to identify the underlying values addressed by each value and performs a few basic checks to see if they alias.

Definition at line 24 of file LocalAliasAnalysis.h.

Constructor & Destructor Documentation

◆ ~LocalAliasAnalysis()

virtual mlir::LocalAliasAnalysis::~LocalAliasAnalysis ( )
virtualdefault

Member Function Documentation

◆ alias()

AliasResult LocalAliasAnalysis::alias ( Value  lhs,
Value  rhs 
)

Given two values, return their aliasing behavior.

Given the two values, return their aliasing behavior.

Definition at line 331 of file LocalAliasAnalysis.cpp.

References aliasImpl(), collectUnderlyingAddressValues(), mlir::AliasResult::MayAlias, and mlir::AliasResult::MustAlias.

◆ aliasImpl()

AliasResult LocalAliasAnalysis::aliasImpl ( Value  lhs,
Value  rhs 
)
protectedvirtual

◆ getModRef()

ModRefResult LocalAliasAnalysis::getModRef ( Operation op,
Value  location 
)

Return the modify-reference behavior of op on location.

Definition at line 362 of file LocalAliasAnalysis.cpp.


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