Johannes Doerfert 1ae20d6fd6 [MustExec] Add a generic "must-be-executed-context" explorer ...

Given an instruction I, the MustBeExecutedContextExplorer allows to
easily traverse instructions that are guaranteed to be executed whenever
I is. For now, these instruction have to be statically "after" I, in
the same or different basic blocks.

This patch also adds a pass which prints the must-be-executed-context
for each instruction in a module. It is used to test the
MustBeExecutedContextExplorer, for now on the examples given in the
class comment of the MustBeExecutedIterator.

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

llvm-svn: 369765

2019-08-23 15:17:27 +00: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

[MustExec] Add a generic "must-be-executed-context" explorer

2019-08-23 15:17:27 +00:00