From 1769316dd51940baaded5d715762b7cda90aea71 Mon Sep 17 00:00:00 2001
From: Yota Toyama <raviqqe@gmail.com>
Date: Wed, 17 Jan 2024 20:59:08 +0800
Subject: [PATCH] Test dynamic dimension of `memref` type (#401)

---
 melior/src/ir/type/mem_ref.rs | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/melior/src/ir/type/mem_ref.rs b/melior/src/ir/type/mem_ref.rs
index ec668abfa5..4815be9e5c 100644
--- a/melior/src/ir/type/mem_ref.rs
+++ b/melior/src/ir/type/mem_ref.rs
@@ -96,6 +96,21 @@ mod tests {
         );
     }
 
+    #[test]
+    fn dynamic_dimension() {
+        let context = Context::new();
+
+        assert_eq!(
+            Type::from(MemRefType::new(
+                Type::float64(&context),
+                &[i64::MIN],
+                None,
+                None,
+            )),
+            Type::parse(&context, "memref<?xf64>").unwrap()
+        );
+    }
+
     #[test]
     fn layout() {
         let context = Context::new();