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

[Hideto Ueno via Phabricator via llvm-commits]

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

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


https://reviews.llvm.org/D74817

Files:
  llvm/include/llvm/Analysis/MustExecute.h
  llvm/lib/Analysis/MustExecute.cpp
  llvm/test/Analysis/MustExecute/must_be_executed_context.ll
  llvm/test/Transforms/Attributor/dereferenceable-1.ll
  llvm/test/Transforms/Attributor/heap_to_stack.ll
  llvm/test/Transforms/Attributor/misc.ll
  llvm/test/Transforms/Attributor/nonnull.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D74817.245337.patch
Type: text/x-patch
Size: 41291 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200219/093f2057/attachment.bin>