From be4ced691f547a6f891f783a437fe94308bd5070 Mon Sep 17 00:00:00 2001 From: Uday Bondhugula Date: Sun, 14 May 2023 17:22:14 +0530 Subject: [PATCH] [MLIR] NFC. Make affine analysis utils method const correct Make isSliceValid const correct. NFC. --- mlir/include/mlir/Dialect/Affine/Analysis/Utils.h | 2 +- mlir/lib/Dialect/Affine/Analysis/Utils.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/mlir/include/mlir/Dialect/Affine/Analysis/Utils.h b/mlir/include/mlir/Dialect/Affine/Analysis/Utils.h index f86ae7a..518fd5c 100644 --- a/mlir/include/mlir/Dialect/Affine/Analysis/Utils.h +++ b/mlir/include/mlir/Dialect/Affine/Analysis/Utils.h @@ -312,7 +312,7 @@ struct ComputationSliceState { /// return false as it implies that the effective fusion results in at least /// one iteration of the slice that was not originally in the source's domain. /// If the validity cannot be determined, returns std::nullopt. - std::optional isSliceValid(); + std::optional isSliceValid() const; void dump() const; diff --git a/mlir/lib/Dialect/Affine/Analysis/Utils.cpp b/mlir/lib/Dialect/Affine/Analysis/Utils.cpp index 4433d94..f0caa2e 100644 --- a/mlir/lib/Dialect/Affine/Analysis/Utils.cpp +++ b/mlir/lib/Dialect/Affine/Analysis/Utils.cpp @@ -687,7 +687,7 @@ std::optional ComputationSliceState::isSliceMaximalFastCheck() const { /// Returns true if it is deterministically verified that the original iteration /// space of the slice is contained within the new iteration space that is /// created after fusing 'this' slice into its destination. -std::optional ComputationSliceState::isSliceValid() { +std::optional ComputationSliceState::isSliceValid() const { // Fast check to determine if the slice is valid. If the following conditions // are verified to be true, slice is declared valid by the fast check: // 1. Each slice loop is a single iteration loop bound in terms of a single -- 2.7.4