[llvm] [DropUnnecessaryAssumes] Add support for operand bundles (PR #160311)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 24 05:14:13 PDT 2025


================
@@ -26,8 +37,41 @@ DropUnnecessaryAssumesPass::run(Function &F, FunctionAnalysisManager &FAM) {
     if (!Assume)
       continue;
 
-    // TODO: Handle assumes with operand bundles.
-    if (Assume->hasOperandBundles())
+    SmallVector<WeakTrackingVH> DeadBundleArgs;
+    SmallVector<OperandBundleDef> KeptBundles;
+    unsigned NumBundles = Assume->getNumOperandBundles();
+    for (unsigned I = 0; I != NumBundles; ++I) {
+      // Handle operand bundle assumptions.
+      OperandBundleUse Bundle = Assume->getOperandBundleAt(I);
----------------
nikic wrote:

Added support for dropping ignore.

https://github.com/llvm/llvm-project/pull/160311


More information about the llvm-commits mailing list