[Mlir-commits] [mlir] [MLIR] getBackwardSlice: don't bail on ops that are IsolatedFromAbove (PR #158135)

[Ian Wood]

https://github.com/IanWood1 created https://github.com/llvm/llvm-project/pull/158135

Ops with the `IsIsolatedFromAbove` trait can still have operands that would be useful to capture in the backwards slice.

>From aa4b2a1fb06f80585ccfe0fcbbc4ca1095e5da36 Mon Sep 17 00:00:00 2001
From: Ian Wood <ianwood at u.northwestern.edu>
Date: Thu, 11 Sep 2025 18:58:36 +0000
Subject: [PATCH] [MLIR] getBackwardSlice: don't bail on ops that are
 IsolatedFromAbove

Signed-off-by: Ian Wood <ianwood at u.northwestern.edu>
---
 mlir/lib/Analysis/SliceAnalysis.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mlir/lib/Analysis/SliceAnalysis.cpp b/mlir/lib/Analysis/SliceAnalysis.cpp
index 7037fa644c7be..d0e10626589ce 100644
--- a/mlir/lib/Analysis/SliceAnalysis.cpp
+++ b/mlir/lib/Analysis/SliceAnalysis.cpp
@@ -109,7 +109,7 @@ static LogicalResult getBackwardSliceImpl(Operation *op,
                                           DenseSet<Operation *> &visited,
                                           SetVector<Operation *> *backwardSlice,
                                           const BackwardSliceOptions &options) {
-  if (!op || op->hasTrait<OpTrait::IsIsolatedFromAbove>())
+  if (!op)
     return success();
 
   // Evaluate whether we should keep this def.