My Project
Functions
mlir::ops_assertions Namespace Reference

Functions

SDBMExpr operator+ (SDBMExpr lhs, SDBMExpr rhs)
 
SDBMExpr operator+ (SDBMExpr lhs, int64_t rhs)
 
SDBMExpr operator+ (int64_t lhs, SDBMExpr rhs)
 
SDBMExpr operator- (SDBMExpr lhs, SDBMExpr rhs)
 
SDBMExpr operator- (SDBMExpr lhs, int64_t rhs)
 
SDBMExpr operator- (int64_t lhs, SDBMExpr rhs)
 
SDBMExpr stripe (SDBMExpr expr, SDBMExpr factor)
 
SDBMExpr stripe (SDBMExpr expr, int64_t factor)
 

Detailed Description

Overloaded arithmetic operators for SDBM expressions asserting that their arguments have the proper SDBM expression subtype. Perform canonicalization and constant folding on these expressions.

Function Documentation

◆ operator+() [1/3]

SDBMExpr mlir::ops_assertions::operator+ ( SDBMExpr  lhs,
SDBMExpr  rhs 
)

Add two SDBM expressions. At least one of the expressions must be a constant or a negation, but both expressions cannot be negations simultaneously.

◆ operator+() [2/3]

SDBMExpr mlir::ops_assertions::operator+ ( SDBMExpr  lhs,
int64_t  rhs 
)
inline

◆ operator+() [3/3]

SDBMExpr mlir::ops_assertions::operator+ ( int64_t  lhs,
SDBMExpr  rhs 
)
inline

◆ operator-() [1/3]

SDBMExpr mlir::ops_assertions::operator- ( SDBMExpr  lhs,
SDBMExpr  rhs 
)

Subtract an SDBM expression from another SDBM expression. Both expressions must not be difference expressions.

◆ operator-() [2/3]

SDBMExpr mlir::ops_assertions::operator- ( SDBMExpr  lhs,
int64_t  rhs 
)
inline

◆ operator-() [3/3]

SDBMExpr mlir::ops_assertions::operator- ( int64_t  lhs,
SDBMExpr  rhs 
)
inline

◆ stripe() [1/2]

SDBMExpr mlir::ops_assertions::stripe ( SDBMExpr  expr,
SDBMExpr  factor 
)

Construct a stripe expression from a positive expression and a positive constant stripe factor.

◆ stripe() [2/2]

SDBMExpr mlir::ops_assertions::stripe ( SDBMExpr  expr,
int64_t  factor 
)
inline