[all-commits] [llvm/llvm-project] 2ff560: [WIP] Build assume from call

[Ralender via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 2ff5602cb52969d3273062f36340fe95ac4e82da
      https://github.com/llvm/llvm-project/commit/2ff5602cb52969d3273062f36340fe95ac4e82da
  Author: Tyker <tyker1 at outlook.com>
  Date:   2020-02-02 (Sun, 02 Feb 2020)

  Changed paths:
    M llvm/include/llvm/IR/Attributes.h
    A llvm/include/llvm/Transforms/Utils/KnowledgeRetention.h
    M llvm/lib/IR/Attributes.cpp
    M llvm/lib/IR/Core.cpp
    M llvm/lib/Passes/PassBuilder.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/lib/Transforms/Utils/CMakeLists.txt
    A llvm/lib/Transforms/Utils/KnowledgeRetention.cpp
    A llvm/test/Transforms/Util/assume-builder.ll

  Log Message:
  -----------
  [WIP] Build assume from call

Summary:
this is part of the implementation of http://lists.llvm.org/pipermail/llvm-dev/2019-December/137632.html

this patch gives the basis of building an assume to preserve all information from an instruction and add support for building an assume that preserve the information from a call.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: mgrang, fhahn, mgorny, hiraditya, llvm-commits

Tags: #llvm

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