Test dynamic dimension of memref type (#401)

raviqqe · Jan 17, 2024 · 1769316 · 1769316
1 parent 030074a
commit 1769316
Showing 1 changed file with 15 additions and 0 deletions.
diff --git 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();