[PATCH] D106013: [Verifier] Require same signature for intrinsic calls

[Duncan P. N. Exon Smith via Phabricator via llvm-commits]

dexonsmith added a comment.

> We probably can't enforce this in general due to unreachable (possibly de-indirected) calls, but I don't see a reason why we can't enforce this for intrinsics at least.

Might be good to refine this in the commit message to say "not correct in general because there are no bitcasts for pointers-to-functions" (or something like that), since the limitation doesn't really have much to do with unreachable code.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D106013/new/

https://reviews.llvm.org/D106013