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

kazutakahirata · web-flow · commit b728f3712190 · 2024-08-10T16:33:41.000-07:00
diff --git 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(

Original file line number	Diff line number	Diff line change
`@@ -4146,9 +4146,7 @@ static bool impliesPoison(const SCEV AssumedPoison, const SCEV S) {`
`4146`	`4146`
`4147`	`4147`	`// Make sure that no matter which SCEV in PC1.MaybePoison is actually poison,`
`4148`	`4148`	`// it will also make S poison by being part of PC2.MaybePoison.`
`4149`		`- return all_of(PC1.MaybePoison, [&](const SCEVUnknown *S) {`
`4150`		`- return PC2.MaybePoison.contains(S);`
`4151`		`- });`
	`4149`	`+ return llvm::set_is_subset(PC1.MaybePoison, PC2.MaybePoison);`
`4152`	`4150`	`}`
`4153`	`4151`
`4154`	`4152`	`void ScalarEvolution::getPoisonGeneratingValues(`