[llvm] [IR] Reject unhandled assume bundles and seperate them from normal attributes (PR #197007)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Jun 4 02:00:08 PDT 2026


================
@@ -856,26 +856,24 @@ void LazyValueInfoImpl::intersectAssumeOrGuardBlockValueConstantRange(
       continue;
 
     if (AssumeVH.Index != AssumptionCache::ExprResultIdx) {
-      if (RetainedKnowledge RK = getKnowledgeFromBundle(
-              *I, I->bundle_op_info_begin()[AssumeVH.Index])) {
-        if (RK.WasOn != Val)
-          continue;
-        switch (RK.AttrKind) {
-        case Attribute::NonNull:
-          BBLV = BBLV.intersect(ValueLatticeElement::getNot(
-              Constant::getNullValue(RK.WasOn->getType())));
-          break;
+      switch (auto OBU = I->getOperandBundleAt(AssumeVH.Index);
----------------
nikic wrote:

nit: Move declaration to separate line.

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


More information about the llvm-commits mailing list