MLIR  16.0.0git
Public Member Functions | Public Attributes | List of all members
mlir::presburger::MaybeLocalRepr Struct Reference

MaybeLocalRepr contains the indices of the constraints that can be expressed as a floordiv of an affine function. More...

#include "mlir/Analysis/Presburger/Utils.h"

+ Collaboration diagram for mlir::presburger::MaybeLocalRepr:

Public Member Functions

 operator bool () const
 

Public Attributes

ReprKind kind = ReprKind::None
 
union {
   unsigned   equalityIdx
 
   struct {
      unsigned   lowerBoundIdx
 
      unsigned   upperBoundIdx
 
   }   inequalityPair
 
repr
 

Detailed Description

MaybeLocalRepr contains the indices of the constraints that can be expressed as a floordiv of an affine function.

If it's an equality constraint, equalityIdx is set, in case of inequality the lowerBoundIdx and upperBoundIdx is set. By default the kind attribute is set to None.

Definition at line 97 of file Utils.h.

Member Function Documentation

◆ operator bool()

mlir::presburger::MaybeLocalRepr::operator bool ( ) const
inlineexplicit

Definition at line 99 of file Utils.h.

References mlir::presburger::None.

Member Data Documentation

◆ equalityIdx

unsigned mlir::presburger::MaybeLocalRepr::equalityIdx

Definition at line 101 of file Utils.h.

◆ inequalityPair

struct { ... } mlir::presburger::MaybeLocalRepr::inequalityPair

◆ kind

ReprKind mlir::presburger::MaybeLocalRepr::kind = ReprKind::None

Definition at line 98 of file Utils.h.

Referenced by mlir::presburger::computeSingleVarRepr().

◆ lowerBoundIdx

unsigned mlir::presburger::MaybeLocalRepr::lowerBoundIdx

Definition at line 103 of file Utils.h.

◆ repr

union { ... } mlir::presburger::MaybeLocalRepr::repr

◆ upperBoundIdx

unsigned mlir::presburger::MaybeLocalRepr::upperBoundIdx

Definition at line 103 of file Utils.h.


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