[StackSafety] Add "Must Live" logic
authorVitaly Buka <vitalybuka@google.com>
Thu, 18 Jun 2020 09:24:00 +0000 (02:24 -0700)
committerVitaly Buka <vitalybuka@google.com>
Thu, 18 Jun 2020 23:53:37 +0000 (16:53 -0700)
commitfcd67665a8de61223313e1e1582faf17d9ee76b8
tree536ed174e71096feca68049f8e7cf1e3a1bb39e1
parent8b0df1c1a992d203212901c1139665261e0bbc1c
[StackSafety] Add "Must Live" logic

Summary:
Extend StackLifetime with option to calculate liveliness
where alloca is only considered alive on basic block entry
if all non-dead predecessors had it alive at terminators.

Depends on D82043.

Reviewers: eugenis

Reviewed By: eugenis

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D82124
llvm/include/llvm/Analysis/StackLifetime.h
llvm/lib/Analysis/StackLifetime.cpp
llvm/lib/CodeGen/SafeStack.cpp
llvm/lib/Passes/PassBuilder.cpp
llvm/lib/Passes/PassRegistry.def
llvm/test/Analysis/StackSafetyAnalysis/lifetime.ll