[PATCH] D66753: [MustExec] Add simple backward support to MustBeExecutedContextExplorer

[Hideto Ueno via Phabricator via llvm-commits]

uenoku created this revision.
uenoku added reviewers: jdoerfert, hfinkel.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.

This patch introduces backward support to MustBeExecutedContext. For a given program point P, MustBeExecutedContextExplorer will explore until one can't go backward(In this patch, the condition is that predecessor block is only one). While exploration, store the instruction to stack.


https://reviews.llvm.org/D66753

Files:
  llvm/include/llvm/Analysis/MustExecute.h
  llvm/lib/Analysis/MustExecute.cpp
  llvm/test/Analysis/MustExecute/must_be_executed_context.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D66753.217186.patch
Type: text/x-patch
Size: 11760 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190826/4e016dee/attachment.bin>