[mlir][vector] Simplify ExtractSliceOp/TransferWriteOp swapping pattern

[springerm]

Summary

No need to compute the in_bounds attribute. The folder will infer it.

mlir/lib/Dialect/Vector/IR/VectorOps.cpp

LogicalResult matchAndRewrite(tensor::InsertSliceOp insertOp,
     SmallVector<int64_t> resultShape = applyPermutationMap(
         transferOp.getPermutationMap(), transferOp.getShapedType().getShape());
     if (transferOp.getMask() || !vectorShape.equals(resultShape)) {
       return rewriter.notifyMatchFailure(
           insertOp, "TransferWriteOp may not write the full tensor.");
     }
 
     // Swap the tensor::ExtractSliceOp in front of the vector::TransferWriteOp.
-    SmallVector<int64_t> newResultShape = applyPermutationMap(
-        transferOp.getPermutationMap(), insertOp.getSourceType().getShape());
-    SmallVector<bool> newInBounds;
-    for (const auto &en : enumerate(newResultShape))
-      newInBounds.push_back(en.value() == vectorShape[en.index()]);
+    // Set all in_bounds to false and let the folder infer them.
+    SmallVector<bool> newInBounds(vectorShape.size(), false);
     auto newExtractOp = rewriter.create<tensor::ExtractSliceOp>(
         extractOp.getLoc(), insertOp.getSourceType(), insertOp.getDest(),
         insertOp.getMixedOffsets(), insertOp.getMixedSizes(),
         insertOp.getMixedStrides());
     auto newTransferWriteOp = rewriter.create<TransferWriteOp>(
         transferOp.getLoc(), transferOp.getVector(), newExtractOp.getResult(),
         transferOp.getIndices(), transferOp.getPermutationMapAttr(),
         rewriter.getBoolArrayAttr(newInBounds));