[Mlir-commits] [mlir] [mlir][tensor] Refine the semantics of `createPadHighOp` (PR #109667)

[llvmlistbot at llvm.org]

================
@@ -24,12 +24,16 @@ using namespace mlir::tensor;
 PadOp mlir::tensor::createPadHighOp(RankedTensorType type, Value source,
                                     Value pad, bool nofold, Location loc,
                                     OpBuilder &b) {
+
+  assert(!ShapedType::isDynamicShape(type.getShape()) &&
----------------
MaheshRavishankar wrote:

Instead cant we make the semantics here that the dynamic shapes of the output are same as the dynamic shapes of the input?

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