[Mlir-commits] [mlir] [mlir][memref] Enforce consistent reinterpret_cast metadata (PR #217338)

[ioana ghiban]

================
@@ -72,6 +72,29 @@ func.func @simplify_subview_all_dynamic(
 
 // -----
 
+// Check that constant folding of the descriptor is reflected in the result
+// type of the reinterpret_cast. The subview sizes remain dynamic because they
+// are SSA operands, while its offset and strides fold to static values.
----------------
ioghiban wrote:

But you're right "because they are SSA operands" is not the right motivation here. I will update the comment.

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