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

[Ian Wood]

IanWood1 wrote:

> I agree with, lets "silo" the use of backward slice in the case of hitting block arguments, but I think Ian's fix here is the right one. When you encounter a block argument whether you hit it from within an operation that is isolated from above or not should not make a difference. So this PR seems fine as is.

I think case about block arguments is a bit of a side-issue to my goal for this PR. I'm just trying to fix `mlir::moveValueDefinitions` which currently only allows traversing a single block. I made the change that @ftynse suggested since that maintains the current behavior with respect to traversing block arguments.


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