[llvm] [ADT] Simplify check_options with std::conjunction (NFC) (PR #159509)

Kazu Hirata via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 17 23:00:12 PDT 2025


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

This patch replaces the recursion with std::conjunction for
readability and brevity.


>From d454141adc224735b2c28add8ffc9ad61788f787 Mon Sep 17 00:00:00 2001
From: Kazu Hirata <kazu at google.com>
Date: Tue, 16 Sep 2025 22:54:01 -0700
Subject: [PATCH] [ADT] Simplify check_options with std::conjunction (NFC)

This patch replaces the recursion with std::conjunction for
readability and brevity.
---
 llvm/include/llvm/ADT/ilist_node_options.h | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/llvm/include/llvm/ADT/ilist_node_options.h b/llvm/include/llvm/ADT/ilist_node_options.h
index 143195aa9c647..003d5dabce897 100644
--- a/llvm/include/llvm/ADT/ilist_node_options.h
+++ b/llvm/include/llvm/ADT/ilist_node_options.h
@@ -145,12 +145,8 @@ struct is_valid_option<ilist_parent<ParentTy>> : std::true_type {};
 /// Check whether options are valid.
 ///
 /// The conjunction of \a is_valid_option on each individual option.
-template <class... Options> struct check_options;
-template <> struct check_options<> : std::true_type {};
-template <class Option1, class... Options>
-struct check_options<Option1, Options...>
-    : std::bool_constant<is_valid_option<Option1>::value &&
-                         check_options<Options...>::value> {};
+template <class... Options>
+struct check_options : std::conjunction<is_valid_option<Options>...> {};
 
 /// Traits for options for \a ilist_node.
 ///



More information about the llvm-commits mailing list