[Mlir-commits] [llvm] [mlir] [IR] Forbid mixing condition and operand bundle assumes (PR #160460)
Ramkumar Ramachandra
llvmlistbot at llvm.org
Wed Sep 24 02:16:20 PDT 2025
================
@@ -5675,6 +5675,11 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
default:
break;
case Intrinsic::assume: {
+ if (Call.hasOperandBundles()) {
+ auto *Cond = dyn_cast<ConstantInt>(Call.getArgOperand(0));
+ Check(Cond && Cond->isOne(),
----------------
artagnon wrote:
Sorry, thinko there.
https://github.com/llvm/llvm-project/pull/160460
More information about the Mlir-commits
mailing list