[PATCH] D80581: Modify verifier checks to support musttail + preallocated

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Should the verifier check that the preallocated argument to the call actually refers to the corresponding "preallocated" argument in the caller?

On a loosely related note, should we require that the argument to llvm.call.preallocated.setup is non-zero?



================
Comment at: llvm/docs/LangRef.rst:1079
+    ``musttail`` calls, or the corresponding caller parameter in ``musttail``
+    calls, although is ignored during codegen.
 
----------------
"although it is"


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80581