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

[Arthur Eubanks via Phabricator via llvm-commits]

aeubanks added a comment.

In D80581#2055758 <https://reviews.llvm.org/D80581#2055758>, @efriedma wrote:

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


Reid has mentioned that it should be ok, if not weird, for IR to for example store then load the pointer.

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

Done


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80581