Skip to content

Commit d07aacc

Browse files
lxfindmemfrob
authored andcommitted
[Coroutine] Properly determine whether an alloca should live on the frame
The existing logic in determining whether an alloca should live on the frame only looks explicit def-use relationships. However a value defined by an alloca may be implicitly needed across suspension points, either because an alias has across-suspension-point def-use relationship, or escaped by store/call/memory intrinsics. To properly handle all these cases, we have to properly visit the alloca pointer up-front. Thie patch extends the exisiting alloca use visitor to determine whether an alloca should live on the frame. Differential Revision: https://reviews.llvm.org/D89768
1 parent f0b0c53 commit d07aacc

File tree

6 files changed

+470
-141
lines changed

6 files changed

+470
-141
lines changed

0 commit comments

Comments
 (0)