[llvm] [mlir] [IR] Forbid mixing condition and operand bundle assumes (PR #160460)

[Florian Hahn via llvm-commits]

================
@@ -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(),
----------------
fhahn wrote:

I guess this could use `m_One()`, but not sure if it would be really more compact

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