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"

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 kind, and mlir::presburger::None.

Member Data Documentation

◆ equalityIdx

unsigned mlir::presburger::MaybeLocalRepr::equalityIdx

Definition at line 101 of file Utils.h.

◆

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(), and operator bool().

◆ lowerBoundIdx

unsigned mlir::presburger::MaybeLocalRepr::lowerBoundIdx

Definition at line 103 of file Utils.h.

◆

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

◆ upperBoundIdx

unsigned mlir::presburger::MaybeLocalRepr::upperBoundIdx