[llvm] [ADT] Consolidate SparseSetValFunctor implementations (NFC) (PR #164926)

Kazu Hirata via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 23 21:57:07 PDT 2025


https://github.com/kazutakahirata created https://github.com/llvm/llvm-project/pull/164926

This patch consolidates the two implementations of SparseSetValFunctor
with "if constexpr".  std::is_same_v<KeyT, ValueT> is more readable
than "KeyT, KeyT" in the template parameter list.


>From b6050b57b4c4a49d1fe8d446ef3f51dcaa78b722 Mon Sep 17 00:00:00 2001
From: Kazu Hirata <kazu at google.com>
Date: Sun, 19 Oct 2025 22:23:04 -0700
Subject: [PATCH] [ADT] Consolidate SparseSetValFunctor implementations (NFC)

This patch consolidates the two implementations of SparseSetValFunctor
with "if constexpr".  std::is_same_v<KeyT, ValueT> is more readable
than "KeyT, KeyT" in the template parameter list.
---
 llvm/include/llvm/ADT/SparseSet.h | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/llvm/include/llvm/ADT/SparseSet.h b/llvm/include/llvm/ADT/SparseSet.h
index 4697de097e7eb..2ac23cc4cfa13 100644
--- a/llvm/include/llvm/ADT/SparseSet.h
+++ b/llvm/include/llvm/ADT/SparseSet.h
@@ -59,24 +59,20 @@ template <typename ValueT> struct SparseSetValTraits {
   }
 };
 
-/// SparseSetValFunctor - Helper class for selecting SparseSetValTraits. The
-/// generic implementation handles ValueT classes which either provide
-/// getSparseSetIndex() or specialize SparseSetValTraits<>.
+/// SparseSetValFunctor - Helper class for getting a value's index.
 ///
+/// In the generic case, this is done via SparseSetValTraits. When the value
+/// type is the same as the key type, the KeyFunctor is used directly.
 template <typename KeyT, typename ValueT, typename KeyFunctorT>
 struct SparseSetValFunctor {
   unsigned operator()(const ValueT &Val) const {
-    return SparseSetValTraits<ValueT>::getValIndex(Val);
+    if constexpr (std::is_same_v<KeyT, ValueT>)
+      return KeyFunctorT()(Val);
+    else
+      return SparseSetValTraits<ValueT>::getValIndex(Val);
   }
 };
 
-/// SparseSetValFunctor<KeyT, KeyT> - Helper class for the common case of
-/// identity key/value sets.
-template <typename KeyT, typename KeyFunctorT>
-struct SparseSetValFunctor<KeyT, KeyT, KeyFunctorT> {
-  unsigned operator()(const KeyT &Key) const { return KeyFunctorT()(Key); }
-};
-
 /// SparseSet - Fast set implementation for objects that can be identified by
 /// small unsigned keys.
 ///



More information about the llvm-commits mailing list