diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2019-10-12 20:46:49 -0500 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2019-10-31 00:06:43 -0500 |
| commit | fe799c97fae0729e5952c6a8edf41e67bf60048f (patch) | |
| tree | dbd5f4a11bb4937d6927c933ac0584976992d743 /llvm/lib/Analysis/Analysis.cpp | |
| parent | 4138fc9567f74d23ae4b3658e925da53b8368a44 (diff) | |
| download | bcm5719-llvm-fe799c97fae0729e5952c6a8edf41e67bf60048f.tar.gz bcm5719-llvm-fe799c97fae0729e5952c6a8edf41e67bf60048f.zip | |
[MustExecute] Forward iterate over conditional branches
Summary:
If a conditional branch is encountered we can try to find a join block
where the execution is known to continue. This means finding a suitable
block, e.g., the immediate post dominator of the conditional branch, and
proofing control will always reach that block.
This patch implements different techniques that work with and without
provided analysis.
Reviewers: uenoku, sstefan1, hfinkel
Subscribers: hiraditya, bollu, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D68933
Diffstat (limited to 'llvm/lib/Analysis/Analysis.cpp')
0 files changed, 0 insertions, 0 deletions
