[llvm] [LLVM][Verifier] Move intrinsic signature verification to declarations (PR #204478)

Jay Foad via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 26 03:41:32 PDT 2026


================
@@ -5883,31 +5911,6 @@ void Verifier::visitInstruction(Instruction &I) {
 /// Allow intrinsics to be verified in different ways.
 void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
   Function *IF = Call.getCalledFunction();
-  Check(IF->isDeclaration(), "Intrinsic functions should never be defined!",
-        IF);
----------------
jayfoad wrote:

Have we lost this check?

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


More information about the llvm-commits mailing list