This is an archive of the discontinued LLVM Phabricator instance.

Differential D74203

Add NoSideEffect to Affine min max
ClosedPublic

Authored by OuHangKresnik on Feb 7 2020, 1:41 AM.

Details

Reviewers
ftynse
nicolasvasilache
Commits
rG7edf27f7a75a: [mlir] Add NoSideEffect to Affine min max
Summary

Add NoSideEffect

Diff Detail

Event Timeline

OuHangKresnik created this revision.Feb 7 2020, 1:41 AM
Herald added a reviewer: nicolasvasilache. · View Herald TranscriptFeb 7 2020, 1:41 AM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: llvm-commits, Joonsoo, liufengdb and 10 others. · View Herald Transcript
Harbormaster completed remote builds in B45929: Diff 243099.Feb 7 2020, 1:51 AM
ftynse accepted this revision.Feb 7 2020, 4:33 AM

Thanks!

This revision is now accepted and ready to land.Feb 7 2020, 4:33 AM
Closed by commit rG7edf27f7a75a: [mlir] Add NoSideEffect to Affine min max (authored by OuHangKresnik, committed by ftynse). · Explain WhyFeb 7 2020, 6:20 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
mlir/
include/
mlir/
Dialect/
AffineOps/
4 lines

Diff 243099

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

Show First 20 Lines • Show All 241 Lines • ▼ Show 20 Lines let extraClassDeclaration = [{
static StringRef getMapAttrName() { return "map"; } static StringRef getMapAttrName() { return "map"; }
}]; }];
let verifier = [{ return ::verifyAffineMinMaxOp(*this); }]; let verifier = [{ return ::verifyAffineMinMaxOp(*this); }];
let printer = [{ return ::printAffineMinMaxOp(p, *this); }]; let printer = [{ return ::printAffineMinMaxOp(p, *this); }];
let parser = [{ return ::parseAffineMinMaxOp<$cppClass>(parser, result); }]; let parser = [{ return ::parseAffineMinMaxOp<$cppClass>(parser, result); }];
let hasFolder = 1; let hasFolder = 1;
} }
def AffineMinOp : AffineMinMaxOpBase<"min"> { def AffineMinOp : AffineMinMaxOpBase<"min", [NoSideEffect]> {
let summary = "min operation"; let summary = "min operation";
let description = [{ let description = [{
The "min" operation computes the minimum value result from a multi-result The "min" operation computes the minimum value result from a multi-result
affine map. affine map.
Example: Example:
%0 = affine.min (d0) -> (1000, d0 + 512) (%i0) : index %0 = affine.min (d0) -> (1000, d0 + 512) (%i0) : index
}]; }];
} }
def AffineMaxOp : AffineMinMaxOpBase<"max"> { def AffineMaxOp : AffineMinMaxOpBase<"max", [NoSideEffect]> {
let summary = "max operation"; let summary = "max operation";
let description = [{ let description = [{
The "max" operation computes the maximum value result from a multi-result The "max" operation computes the maximum value result from a multi-result
affine map. affine map.
Example: Example:
%0 = affine.max (d0) -> (1000, d0 + 512) (%i0) : index %0 = affine.max (d0) -> (1000, d0 + 512) (%i0) : index
▲ Show 20 Lines • Show All 99 Lines • Show Last 20 Lines