[llvm] [Analysis] Use llvm::set_is_subset (NFC) (PR #102766)

Kazu Hirata via llvm-commits llvm-commits at lists.llvm.org
Sat Aug 10 10:57:07 PDT 2024


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

None

>From 08a34bffe5303828ef09090296a681c32fcc5530 Mon Sep 17 00:00:00 2001
From: Kazu Hirata <kazu at google.com>
Date: Sat, 10 Aug 2024 09:08:20 -0700
Subject: [PATCH] [Analysis] Use llvm::set_is_subset (NFC)

---
 llvm/lib/Analysis/ScalarEvolution.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index 632b298576aab..9ecdcbe2c5dec 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -4146,9 +4146,7 @@ static bool impliesPoison(const SCEV *AssumedPoison, const SCEV *S) {
 
   // Make sure that no matter which SCEV in PC1.MaybePoison is actually poison,
   // it will also make S poison by being part of PC2.MaybePoison.
-  return all_of(PC1.MaybePoison, [&](const SCEVUnknown *S) {
-    return PC2.MaybePoison.contains(S);
-  });
+  return llvm::set_is_subset(PC1.MaybePoison, PC2.MaybePoison);
 }
 
 void ScalarEvolution::getPoisonGeneratingValues(



More information about the llvm-commits mailing list