[PATCH] D103275: Update musttail verification to check all swiftasync->swiftasync tail calls.

[John McCall via Phabricator via llvm-commits]

rjmccall added a comment.

I would be uncomfortable with an invariant that all calls from `swifttailcc` to `swifttailcc` must be `musttail` because we might well want to make non-tail calls in some circumstances.  However, I think it would be fine to annotate all such calls as either `musttail` or a hypothetical `notail` — at least, I think we could achieve that coming out of the frontend, and we ought to be able to maintain it in IR transformations.  To do that, you'd need to actually add a `notail`, though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103275