fix error message

Author: cxy-1993

mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp

@@ -1894,8 +1894,10 @@ LogicalResult ReinterpretCastOp::verify() {
        llvm::enumerate(resultType.getShape(), getStaticSizes())) {
     if (!ShapedType::isDynamic(resultSize) && resultSize != expectedSize)
       return emitError("expected result type with size = ")
-             << expectedSize << " instead of " << resultSize
-             << " in dim = " << idx;
+             << (ShapedType::isDynamic(expectedSize)
+                     ? std::string("dynamic")
+                     : std::to_string(expectedSize))
+             << " instead of " << resultSize << " in dim = " << idx;
   }
 
   // Match offset and strides in static_offset and static_strides attributes. If
@@ -1911,15 +1913,20 @@ LogicalResult ReinterpretCastOp::verify() {
   int64_t expectedOffset = getStaticOffsets().front();
   if (!ShapedType::isDynamic(resultOffset) && resultOffset != expectedOffset)
     return emitError("expected result type with offset = ")
-           << expectedOffset << " instead of " << resultOffset;
+           << (ShapedType::isDynamic(expectedOffset)
+                   ? std::string("dynamic")
+                   : std::to_string(expectedOffset))
+           << " instead of " << resultOffset;
 
   // Match strides in result memref type and in static_strides attribute.
   for (auto [idx, resultStride, expectedStride] :
        llvm::enumerate(resultStrides, getStaticStrides())) {
     if (!ShapedType::isDynamic(resultStride) && resultStride != expectedStride)
       return emitError("expected result type with stride = ")
-             << expectedStride << " instead of " << resultStride
-             << " in dim = " << idx;
+             << (ShapedType::isDynamic(expectedStride)
+                     ? std::string("dynamic")
+                     : std::to_string(expectedStride))
+             << " instead of " << resultStride << " in dim = " << idx;
   }
 
   return success();

mlir/test/Dialect/MemRef/invalid.mlir

@@ -218,7 +218,7 @@ func.func @memref_reinterpret_cast_no_map_but_offset(%in: memref<?xf32>) {
 // -----
 
 func.func @memref_reinterpret_cast_offset_mismatch_dynamic(%in: memref<?xf32>, %offset : index) {
-  // expected-error @+1 {{expected result type with offset = -9223372036854775808 instead of 0}}
+  // expected-error @+1 {{expected result type with offset = dynamic instead of 0}}
   %out = memref.reinterpret_cast %in to offset: [%offset], sizes: [10], strides: [1]
          : memref<?xf32> to memref<10xf32>
   return