[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