[PATCH] D99227: [Coroutine][Clang] Force emit lifetime intrinsics for Coroutines
John McCall via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Mar 23 19:02:27 PDT 2021
rjmccall added a comment.
In D99227#2646532 <https://reviews.llvm.org/D99227#2646532>, @rjmccall wrote:
> I am skeptical that it's reasonable to do this for *correctness*, however; I don't think the frontend unconditionally emits lifetime intrinsics.
Sorry, I re-read this after posting, and it's not exactly clear what I was saying. There are a lot of situations where Clang doesn't emit lifetime intrinsics for every `alloca` it emits, or emits unnecessarily weak bounds. Certain LLVM transforms can also introduce `alloca`s that don't have corresponding lifetime intrinsics. So I think it's problematic to consider it a correctness condition that we're emitting optimally-tight lifetimes.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D99227/new/
https://reviews.llvm.org/D99227
More information about the cfe-commits
mailing list