[Mlir-commits] [mlir] [mlir] Canonicalize extract_slice(unpack) (PR #133777)

[Han-Chung Wang]

================
@@ -5243,6 +5243,26 @@ LogicalResult UnPackOp::canonicalize(UnPackOp unPackOp,
                              [&]() { unPackOp.setDpsInitOperand(0, newDest); });
     return success();
   }
+  /// extract_slice(unpack(x)) -> unpack(x)
----------------
hanhanW wrote:

The comment is not clear enough to me because there is a `destination` in unpack. How about forming it this way?

```
/// extract_slice(unpack(x into y)) -> unpack(x into extract_slice(y))
```

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