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

[Eli Friedman via Phabricator via llvm-commits]

efriedma accepted this revision.
efriedma added a comment.
This revision is now accepted and ready to land.

LGTM

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

Okay, I guess it's fine if a mismatch is always just undefined behavior, not invalid IR.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80581