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

Arthur Eubanks via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue May 26 15:50:21 PDT 2020


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





More information about the llvm-commits mailing list