Fix

melior/src/dialect/llvm.rs

@@ -622,6 +622,42 @@ mod tests {
         insta::assert_snapshot!(module.as_operation());
     }
 
+    #[test]
+    fn compile_null_ptr() {
+        let context = create_test_context();
+
+        let location = Location::unknown(&context);
+        let mut module = Module::new(location);
+        let ptr_type = r#type::pointer(&context, 0);
+
+        module.body().append_operation(func::func(
+            &context,
+            StringAttribute::new(&context, "foo"),
+            TypeAttribute::new(FunctionType::new(&context, &[], &[ptr_type]).into()),
+            {
+                let block = Block::new(&[]);
+
+                let operation = block.append_operation(zero(ptr_type, location));
+
+                block.append_operation(func::r#return(
+                    &[operation.result(0).unwrap().into()],
+                    location,
+                ));
+
+                let region = Region::new();
+                region.append_block(block);
+                region
+            },
+            &[],
+            location,
+        ));
+
+        convert_module(&context, &mut module);
+
+        assert!(module.as_operation().verify());
+        insta::assert_snapshot!(module.as_operation());
+    }
+
     #[test]
     fn compile_undefined() {
         let context = create_test_context();

melior/src/dialect/snapshots/melior__dialect__llvm__tests__compile_zero.snap

@@ -0,0 +1,10 @@
+---
+source: melior/src/dialect/llvm.rs
+expression: module.as_operation()
+---
+module {
+  llvm.func @foo() -> i64 {
+    %0 = llvm.mlir.zero : i64
+    llvm.return %0 : i64
+  }
+}