[all-commits] [llvm/llvm-project] 0be9cf: [Attributor] Add "free"-based heap2stack deduction

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0be9cf2da9c1400eea720f0c6bead3df07c98a9c
      https://github.com/llvm/llvm-project/commit/0be9cf2da9c1400eea720f0c6bead3df07c98a9c
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2019-10-30 (Wed, 30 Oct 2019)

  Changed paths:
    M llvm/include/llvm/Analysis/MustExecute.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/FunctionAttrs/heap_to_stack.ll
    M llvm/test/Transforms/FunctionAttrs/noalias_returned.ll

  Log Message:
  -----------
  [Attributor] Add "free"-based heap2stack deduction

Summary:
If there is a unique free of the allocated that has to be reached from
the malloc, we can apply the heap-2-stack transformation even if the
pointer escapes.

Reviewers: hfinkel, sstefan1, uenoku

Subscribers: hiraditya, bollu, llvm-commits

Tags: #llvm

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