Hideto Ueno 26e1302f3c [MustExecute] Add backward exploration for must-be-executed-context ...

Summary:
As mentioned in D71974, it is useful for must-be-executed-context to explore CFG backwardly.
This patch is ported from parts of D64975. We use a dominator tree to find the previous context if
a dominator tree is available.

Reviewers: jdoerfert, hfinkel, baziotis, sstefan1

Reviewed By: jdoerfert

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D74817

2020-02-20 14:49:30 +09:00

..

const-cond.ll

[LICM] Extend the MustExecute scope

2018-05-18 04:56:28 +00:00

infinite_loops.ll

[MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514

2018-08-17 06:19:17 +00:00

loop-header.ll

[MustExecute] Improve MustExecute to correctly handle loop nest

2019-05-27 13:57:28 +00:00

must_be_executed_context.ll

[MustExecute] Add backward exploration for must-be-executed-context

2020-02-20 14:49:30 +09:00