[libc-commits] [libc] [libc] Add `IN6_IS_ADDR_V4COMPAT` (PR #172646)

Connector Switch via libc-commits libc-commits at lists.llvm.org
Thu Dec 18 07:13:35 PST 2025


https://github.com/c8ef updated https://github.com/llvm/llvm-project/pull/172646

>From db2ebdaffba2c2ba9d76a92ed06b7c6c946f05a2 Mon Sep 17 00:00:00 2001
From: c8ef <c8ef at outlook.com>
Date: Mon, 15 Dec 2025 22:47:59 +0800
Subject: [PATCH 1/6] [libc] Add `IN6_IS_ADDR_UNSPECIFIED`

---
 libc/include/llvm-libc-macros/netinet-in-macros.h | 6 ++++++
 libc/test/include/netinet_in_test.cpp             | 7 +++++++
 2 files changed, 13 insertions(+)

diff --git a/libc/include/llvm-libc-macros/netinet-in-macros.h b/libc/include/llvm-libc-macros/netinet-in-macros.h
index b04d6aa4b6781..f97a2dd0c3fda 100644
--- a/libc/include/llvm-libc-macros/netinet-in-macros.h
+++ b/libc/include/llvm-libc-macros/netinet-in-macros.h
@@ -38,6 +38,12 @@
 // int and takes a single argument of type const struct in6_addr *:
 // https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/netinet_in.h.html
 
+#define IN6_IS_ADDR_UNSPECIFIED(a)                                             \
+  ((__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[0]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[1]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[2]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[3]) == 0)
+
 #define IN6_IS_ADDR_LINKLOCAL(a)                                               \
   ((__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[0]) == 0xfe &&            \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xc0) == 0x80)
diff --git a/libc/test/include/netinet_in_test.cpp b/libc/test/include/netinet_in_test.cpp
index 6937262f92e90..d70c780800858 100644
--- a/libc/test/include/netinet_in_test.cpp
+++ b/libc/test/include/netinet_in_test.cpp
@@ -12,6 +12,13 @@
 TEST(LlvmLibcNetinetInTest, IN6Macro) {
   char buff[16] = {};
 
+  EXPECT_TRUE(IN6_IS_ADDR_UNSPECIFIED(buff));
+  for (int i = 0; i < 16; ++i) {
+    buff[i] = 1;
+    EXPECT_FALSE(IN6_IS_ADDR_UNSPECIFIED(buff));
+    buff[i] = 0;
+  }
+
   buff[0] = 0xfe;
   buff[1] = 0x80;
   EXPECT_TRUE(IN6_IS_ADDR_LINKLOCAL(buff));

>From 77c407bc401353723cc0a5d684c9e17102d0559b Mon Sep 17 00:00:00 2001
From: c8ef <c8ef at outlook.com>
Date: Mon, 15 Dec 2025 23:01:04 +0800
Subject: [PATCH 2/6] [libc] Add `IN6_IS_ADDR_LOOPBACK`

---
 libc/include/llvm-libc-macros/netinet-in-macros.h | 9 +++++++++
 libc/test/include/netinet_in_test.cpp             | 5 +++++
 2 files changed, 14 insertions(+)

diff --git a/libc/include/llvm-libc-macros/netinet-in-macros.h b/libc/include/llvm-libc-macros/netinet-in-macros.h
index f97a2dd0c3fda..3148aed6bb112 100644
--- a/libc/include/llvm-libc-macros/netinet-in-macros.h
+++ b/libc/include/llvm-libc-macros/netinet-in-macros.h
@@ -44,6 +44,15 @@
    (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[2]) == 0 &&              \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[3]) == 0)
 
+#define IN6_IS_ADDR_LOOPBACK(a)                                                \
+  ((__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[0]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[1]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[2]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[12]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[13]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[14]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[15]) == 1)
+
 #define IN6_IS_ADDR_LINKLOCAL(a)                                               \
   ((__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[0]) == 0xfe &&            \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xc0) == 0x80)
diff --git a/libc/test/include/netinet_in_test.cpp b/libc/test/include/netinet_in_test.cpp
index d70c780800858..15e57ccef7ac5 100644
--- a/libc/test/include/netinet_in_test.cpp
+++ b/libc/test/include/netinet_in_test.cpp
@@ -19,6 +19,11 @@ TEST(LlvmLibcNetinetInTest, IN6Macro) {
     buff[i] = 0;
   }
 
+  EXPECT_FALSE(IN6_IS_ADDR_LOOPBACK(buff));
+  buff[15] = 1;
+  EXPECT_TRUE(IN6_IS_ADDR_LOOPBACK(buff));
+  buff[15] = 0;
+
   buff[0] = 0xfe;
   buff[1] = 0x80;
   EXPECT_TRUE(IN6_IS_ADDR_LINKLOCAL(buff));

>From 8e34a2da81601b39d5ae78d51e0e45be7067d00c Mon Sep 17 00:00:00 2001
From: c8ef <c8ef at outlook.com>
Date: Tue, 16 Dec 2025 23:11:31 +0800
Subject: [PATCH 3/6] [libc] Add `IN6_IS_ADDR_MULTICAST`

---
 libc/include/llvm-libc-macros/netinet-in-macros.h | 3 +++
 libc/test/include/netinet_in_test.cpp             | 5 +++++
 2 files changed, 8 insertions(+)

diff --git a/libc/include/llvm-libc-macros/netinet-in-macros.h b/libc/include/llvm-libc-macros/netinet-in-macros.h
index 3148aed6bb112..863ff8759e446 100644
--- a/libc/include/llvm-libc-macros/netinet-in-macros.h
+++ b/libc/include/llvm-libc-macros/netinet-in-macros.h
@@ -53,6 +53,9 @@
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[14]) == 0 &&              \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[15]) == 1)
 
+#define IN6_IS_ADDR_MULTICAST(a)                                               \
+  (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[0]) == 0xff
+
 #define IN6_IS_ADDR_LINKLOCAL(a)                                               \
   ((__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[0]) == 0xfe &&            \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xc0) == 0x80)
diff --git a/libc/test/include/netinet_in_test.cpp b/libc/test/include/netinet_in_test.cpp
index 15e57ccef7ac5..e8cb8e48ff4b4 100644
--- a/libc/test/include/netinet_in_test.cpp
+++ b/libc/test/include/netinet_in_test.cpp
@@ -24,6 +24,11 @@ TEST(LlvmLibcNetinetInTest, IN6Macro) {
   EXPECT_TRUE(IN6_IS_ADDR_LOOPBACK(buff));
   buff[15] = 0;
 
+  EXPECT_FALSE(IN6_IS_ADDR_MULTICAST(buff));
+  buff[0] = 0xff;
+  EXPECT_TRUE(IN6_IS_ADDR_MULTICAST(buff));
+  buff[0] = 0;
+
   buff[0] = 0xfe;
   buff[1] = 0x80;
   EXPECT_TRUE(IN6_IS_ADDR_LINKLOCAL(buff));

>From 27557d0d8ab2d9e3bb6c6e2a97160f6e60eb513a Mon Sep 17 00:00:00 2001
From: c8ef <c8ef at outlook.com>
Date: Wed, 17 Dec 2025 20:32:55 +0800
Subject: [PATCH 4/6] [libc] Add `IN6_IS_ADDR_MC*`

---
 .../llvm-libc-macros/netinet-in-macros.h      | 20 +++++++++++++++++++
 libc/test/include/netinet_in_test.cpp         | 14 +++++++++++++
 2 files changed, 34 insertions(+)

diff --git a/libc/include/llvm-libc-macros/netinet-in-macros.h b/libc/include/llvm-libc-macros/netinet-in-macros.h
index 863ff8759e446..88ffe92756b16 100644
--- a/libc/include/llvm-libc-macros/netinet-in-macros.h
+++ b/libc/include/llvm-libc-macros/netinet-in-macros.h
@@ -64,4 +64,24 @@
   ((__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[0]) == 0xfe &&            \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xc0) == 0xc0)
 
+#define IN6_IS_ADDR_MC_NODELOCAL(a)                                            \
+  (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0x1)
+
+#define IN6_IS_ADDR_MC_LINKLOCAL(a)                                            \
+  (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0x2)
+
+#define IN6_IS_ADDR_MC_SITELOCAL(a)                                            \
+  (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0x5)
+
+#define IN6_IS_ADDR_MC_ORGLOCAL(a)                                             \
+  (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0x8)
+
+#define IN6_IS_ADDR_MC_GLOBAL(a)                                               \
+  (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0xe)
+
 #endif // LLVM_LIBC_MACROS_NETINET_IN_MACROS_H
diff --git a/libc/test/include/netinet_in_test.cpp b/libc/test/include/netinet_in_test.cpp
index e8cb8e48ff4b4..72500c4d51438 100644
--- a/libc/test/include/netinet_in_test.cpp
+++ b/libc/test/include/netinet_in_test.cpp
@@ -42,4 +42,18 @@ TEST(LlvmLibcNetinetInTest, IN6Macro) {
   buff[0] = 0xff;
   buff[1] = 0x80;
   EXPECT_FALSE(IN6_IS_ADDR_SITELOCAL(buff));
+
+  buff[0] = 0xff;
+  buff[1] = 0x1;
+  EXPECT_TRUE(IN6_IS_ADDR_MC_NODELOCAL(buff));
+  buff[1] = 0x2;
+  EXPECT_TRUE(IN6_IS_ADDR_MC_LINKLOCAL(buff));
+  buff[1] = 0x5;
+  EXPECT_TRUE(IN6_IS_ADDR_MC_SITELOCAL(buff));
+  buff[1] = 0x8;
+  EXPECT_TRUE(IN6_IS_ADDR_MC_ORGLOCAL(buff));
+  buff[1] = 0xe;
+  EXPECT_TRUE(IN6_IS_ADDR_MC_GLOBAL(buff));
+  buff[1] = 0;
+  buff[0] = 0;
 }

>From 0a03867534b22394304030c6f933781b8bb60ea8 Mon Sep 17 00:00:00 2001
From: c8ef <c8ef at outlook.com>
Date: Wed, 17 Dec 2025 20:47:11 +0800
Subject: [PATCH 5/6] [libc] Add `IN6_IS_ADDR_V4MAPPED`

---
 libc/include/llvm-libc-macros/netinet-in-macros.h | 8 ++++++++
 libc/test/include/netinet_in_test.cpp             | 7 +++++++
 2 files changed, 15 insertions(+)

diff --git a/libc/include/llvm-libc-macros/netinet-in-macros.h b/libc/include/llvm-libc-macros/netinet-in-macros.h
index 88ffe92756b16..1d7bef833f2b8 100644
--- a/libc/include/llvm-libc-macros/netinet-in-macros.h
+++ b/libc/include/llvm-libc-macros/netinet-in-macros.h
@@ -64,6 +64,14 @@
   ((__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[0]) == 0xfe &&            \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xc0) == 0xc0)
 
+#define IN6_IS_ADDR_V4MAPPED(a)                                                \
+  ((__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[0]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[1]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[8]) == 0 &&               \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[9]) == 0 &&               \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[10]) == 0xff &&           \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[11]) == 0xff)
+
 #define IN6_IS_ADDR_MC_NODELOCAL(a)                                            \
   (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0x1)
diff --git a/libc/test/include/netinet_in_test.cpp b/libc/test/include/netinet_in_test.cpp
index 72500c4d51438..2f57080ef8b77 100644
--- a/libc/test/include/netinet_in_test.cpp
+++ b/libc/test/include/netinet_in_test.cpp
@@ -56,4 +56,11 @@ TEST(LlvmLibcNetinetInTest, IN6Macro) {
   EXPECT_TRUE(IN6_IS_ADDR_MC_GLOBAL(buff));
   buff[1] = 0;
   buff[0] = 0;
+
+  EXPECT_FALSE(IN6_IS_ADDR_V4MAPPED(buff));
+  buff[10] = 0xff;
+  buff[11] = 0xff;
+  EXPECT_TRUE(IN6_IS_ADDR_V4MAPPED(buff));
+  buff[10] = 0;
+  buff[11] = 0;
 }

>From 886d2a0d7bbc21173a6731de0d6bea04d612b050 Mon Sep 17 00:00:00 2001
From: c8ef <c8ef at outlook.com>
Date: Wed, 17 Dec 2025 20:57:20 +0800
Subject: [PATCH 6/6] [libc] Add `IN6_IS_ADDR_V4COMPAT`

---
 libc/include/llvm-libc-macros/netinet-in-macros.h |  6 ++++++
 libc/test/include/netinet_in_test.cpp             | 11 +++++++++++
 2 files changed, 17 insertions(+)

diff --git a/libc/include/llvm-libc-macros/netinet-in-macros.h b/libc/include/llvm-libc-macros/netinet-in-macros.h
index 1d7bef833f2b8..f22f0bab33772 100644
--- a/libc/include/llvm-libc-macros/netinet-in-macros.h
+++ b/libc/include/llvm-libc-macros/netinet-in-macros.h
@@ -72,6 +72,12 @@
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[10]) == 0xff &&           \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[11]) == 0xff)
 
+#define IN6_IS_ADDR_V4COMPAT(a)                                                \
+  ((__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[0]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[1]) == 0 &&              \
+   (__LLVM_LIBC_CAST(reinterpret_cast, uint32_t *, a)[2]) == 0 &&              \
+   !IN6_IS_ADDR_UNSPECIFIED(a) && !IN6_IS_ADDR_LOOPBACK(a))
+
 #define IN6_IS_ADDR_MC_NODELOCAL(a)                                            \
   (IN6_IS_ADDR_MULTICAST(a) &&                                                 \
    (__LLVM_LIBC_CAST(reinterpret_cast, uint8_t *, a)[1] & 0xf) == 0x1)
diff --git a/libc/test/include/netinet_in_test.cpp b/libc/test/include/netinet_in_test.cpp
index 2f57080ef8b77..2fb46a9227c07 100644
--- a/libc/test/include/netinet_in_test.cpp
+++ b/libc/test/include/netinet_in_test.cpp
@@ -63,4 +63,15 @@ TEST(LlvmLibcNetinetInTest, IN6Macro) {
   EXPECT_TRUE(IN6_IS_ADDR_V4MAPPED(buff));
   buff[10] = 0;
   buff[11] = 0;
+
+  for (int i = 12; i < 16; ++i) {
+    buff[i] ^= 42;
+    EXPECT_TRUE(IN6_IS_ADDR_V4COMPAT(buff));
+    buff[i] ^= 42;
+  }
+  for (int i = 0; i < 12; ++i) {
+    buff[i] ^= 42;
+    EXPECT_FALSE(IN6_IS_ADDR_V4COMPAT(buff));
+    buff[i] ^= 42;
+  }
 }



More information about the libc-commits mailing list