[llvm] [DataLayout] Add isNullPointerAllZeroes (PR #165314)

Robert Imschweiler via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 27 13:46:01 PDT 2025


https://github.com/ro-i created https://github.com/llvm/llvm-project/pull/165314

Add a function to check for a given address space if its null pointer has an all-zero bit representation.

---------

See https://github.com/llvm/llvm-project/pull/140802#discussion_r2466373958
Maybe something like `getNullPointerValue` would be more useful, but would depend on https://github.com/llvm/llvm-project/pull/131557 and the open questions around it.

>From 1721831722e6614c4b7be6b5b66ab4131776facd Mon Sep 17 00:00:00 2001
From: Robert Imschweiler <robert.imschweiler at amd.com>
Date: Mon, 27 Oct 2025 15:41:10 -0500
Subject: [PATCH] [DataLayout] Add isNullPointerAllZeroes

Add a function to check for a given address space if its null pointer
has an all-zero bit representation.
---
 llvm/include/llvm/IR/DataLayout.h    | 6 ++++++
 llvm/unittests/IR/DataLayoutTest.cpp | 9 +++++++++
 2 files changed, 15 insertions(+)

diff --git a/llvm/include/llvm/IR/DataLayout.h b/llvm/include/llvm/IR/DataLayout.h
index 56fc749838ef9..b8dcd6647f877 100644
--- a/llvm/include/llvm/IR/DataLayout.h
+++ b/llvm/include/llvm/IR/DataLayout.h
@@ -398,6 +398,12 @@ class DataLayout {
            PS.HasExternalState;
   }
 
+  /// Returns if the null pointer for this address space has an all-zero bit
+  /// representation.
+  bool isNullPointerAllZeroes(unsigned AddrSpace) const {
+    return AddrSpace == 0;
+  }
+
   /// Returns whether this address space has an "unstable" pointer
   /// representation. The bitwise pattern of such pointers is allowed to change
   /// in a target-specific way. For example, this could be used for copying
diff --git a/llvm/unittests/IR/DataLayoutTest.cpp b/llvm/unittests/IR/DataLayoutTest.cpp
index 9ca88141ca0eb..d5336a89c5859 100644
--- a/llvm/unittests/IR/DataLayoutTest.cpp
+++ b/llvm/unittests/IR/DataLayoutTest.cpp
@@ -700,6 +700,15 @@ TEST(DataLayout, NonIntegralHelpers) {
   }
 }
 
+TEST(DataLayoutTest, IsNullPointerAllZeroes) {
+  EXPECT_TRUE(DataLayout("").isNullPointerAllZeroes(0));
+  EXPECT_FALSE(DataLayout("").isNullPointerAllZeroes(1));
+  EXPECT_TRUE(DataLayout("p:32:32").isNullPointerAllZeroes(0));
+  EXPECT_FALSE(DataLayout("p:32:32").isNullPointerAllZeroes(1));
+  EXPECT_TRUE(DataLayout("p:64:64").isNullPointerAllZeroes(0));
+  EXPECT_FALSE(DataLayout("p:64:64").isNullPointerAllZeroes(1));
+}
+
 TEST(DataLayoutTest, CopyAssignmentInvalidatesStructLayout) {
   DataLayout DL1 = cantFail(DataLayout::parse("p:32:32"));
   DataLayout DL2 = cantFail(DataLayout::parse("p:64:64"));



More information about the llvm-commits mailing list