[PATCH] D65531: [ArgPromo][Tests] Examples to show missing 'tail' marker removal

[Vedant Kumar via Phabricator via llvm-commits]

vsk added a comment.

This looks reasonable to me. I wonder whether the verifier could be extended to ensure that pointer arguments to tail-calling sites don't point within an alloca? It could be useful to enforce even in control-dependent cases ('%Data2 = select %cond, <global>, <alloca>; tail call foo(%Data2)').


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D65531