[all-commits] [llvm/llvm-project] e253cd: [MustExecute] Add backward exploration for must-be...

[Hideto Ueno via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e253cdda35eb24f29170aaaf102caed94a85201c
      https://github.com/llvm/llvm-project/commit/e253cdda35eb24f29170aaaf102caed94a85201c
  Author: Hideto Ueno <uenoku.tokotoko at gmail.com>
  Date:   2020-02-20 (Thu, 20 Feb 2020)

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

  Log Message:
  -----------
  [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