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

[Nikita Popov 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(),
----------------
nikic wrote:

I don't understand the question. dyn_cast returns nullptr if the type is not ConstantInt.

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