[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