[llvm] [llvm][ir]: fix llc crashes on function definitions with label parameters (PR #136285)

[Nikita Popov via llvm-commits]

================
@@ -2931,6 +2931,8 @@ void Verifier::visitFunction(const Function &F) {
           FT->getParamType(i));
     Check(Arg.getType()->isFirstClassType(),
           "Function arguments must have first-class types!", &Arg);
+    Check(!Arg.getType()->isLabelTy(),
----------------
nikic wrote:

This is checking arguments on the function not calls.

Though really, we should not allow labels as inline asm operands either -- it looks like this is some leftover from an old implementation the predates both blockaddresses and callbr.

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