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

[via llvm-commits]

Author: Kazu Hirata
Date: 2024-08-10T16:33:41-07:00
New Revision: b728f3712190a5efe9b49fd98809670876df2a19

URL: https://github.com/llvm/llvm-project/commit/b728f3712190a5efe9b49fd98809670876df2a19
DIFF: https://github.com/llvm/llvm-project/commit/b728f3712190a5efe9b49fd98809670876df2a19.diff

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

Added: 
    

Modified: 
    llvm/lib/Analysis/ScalarEvolution.cpp

Removed: 
    


################################################################################
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(