From b728f3712190a5efe9b49fd98809670876df2a19 Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Sat, 10 Aug 2024 16:33:41 -0700 Subject: [PATCH] [Analysis] Use llvm::set_is_subset (NFC) (#102766) --- 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 632b298576aabe..9ecdcbe2c5decf 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(