[mlir] Add NoSideEffect to Affine min max
authorOuHangKresnik <ouhang.kresnik.zero@gmail.com>
Fri, 7 Feb 2020 14:18:55 +0000 (15:18 +0100)
committerAlex Zinenko <zinenko@google.com>
Fri, 7 Feb 2020 14:19:48 +0000 (15:19 +0100)
Add NoSideEffect to Affine min and max operations.

Differential Revision: https://reviews.llvm.org/D74203

mlir/include/mlir/Dialect/AffineOps/AffineOps.td

index 6b55261..9514fdc 100644 (file)
@@ -247,7 +247,7 @@ class AffineMinMaxOpBase<string mnemonic, list<OpTrait> traits = []> :
   let hasFolder = 1;
 }
 
-def AffineMinOp : AffineMinMaxOpBase<"min"> {
+def AffineMinOp : AffineMinMaxOpBase<"min", [NoSideEffect]> {
   let summary = "min operation";
   let description = [{
     The "min" operation computes the minimum value result from a multi-result
@@ -259,7 +259,7 @@ def AffineMinOp : AffineMinMaxOpBase<"min"> {
   }];
 }
 
-def AffineMaxOp : AffineMinMaxOpBase<"max"> {
+def AffineMaxOp : AffineMinMaxOpBase<"max", [NoSideEffect]> {
   let summary = "max operation";
   let description = [{
     The "max" operation computes the maximum value result from a multi-result